Trace number 3710297

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)-26710 1800.01 1794.07

General information on the benchmark

Name/OPT-BIGINT-LIN/heinz/
normalized-opm2-z11-s8.opb
MD5SUM9014f307b4266a1d3ed4d1915c3fbd07
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-28803
Best CPU time to get the best result obtained on this benchmark1800.67
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8019
Total number of constraints223082
Number of constraints which are clauses223074
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint2
Maximum length of a constraint8018
Number of terms in the objective function 7959
Biggest coefficient in the objective function 526
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 1025025
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 2853664
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 19481292
Number of bits of the biggest sum of numbers25
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.06/0.30	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.30	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.30	c See www.sat4j.org for details.
0.06/0.30	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.06/0.31	c version 2.3.2.v20120418
0.06/0.31	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.31	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.31	c java.vm.version	19.1-b02
0.06/0.31	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.31	c sun.arch.data.model	64
0.06/0.31	c java.version		1.6.0_24
0.06/0.31	c os.name		Linux
0.06/0.31	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.31	c os.arch		amd64
0.06/0.31	c Free memory 		501472288
0.06/0.31	c Max memory 		7480803328
0.06/0.31	c Total memory 		504102912
0.06/0.31	c Number of processors 	8
0.06/0.36	c read org.sat4j.minisat.orders.VarOrderHeap
0.06/0.36	c configuring ORDERS
0.06/0.37	c --- Begin Solver configuration ---
0.06/0.37	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.06/0.37	c Learn all clauses as in MiniSAT
0.06/0.37	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.37	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.06/0.37	c Expensive reason simplification
0.06/0.37	c Armin Biere (Picosat) restarts strategy
0.06/0.37	c Glucose learned constraints deletion strategy
0.06/0.37	c timeout=2147483s
0.06/0.37	c DB Simplification allowed=true
0.06/0.37	c Heuristics kept accross calls (keep the solver "hot")
0.06/0.37	c --- End Solver configuration ---
0.06/0.37	c solving HOME/instance-3710297-1338207428.opb
0.06/0.37	c reading problem ... 
1.99/1.54	c ... done. Wall clock time 1.171s.
1.99/1.54	c declared #vars     8019
1.99/1.54	c #constraints  223082
1.99/1.54	c constraints type 
1.99/1.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 223074
1.99/1.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 8
1.99/1.54	c 223082 constraints processed.
2.15/1.66	c SATISFIABLE
2.15/1.66	c OPTIMIZING...
2.15/1.66	c Got one! Elapsed wall clock time (in seconds):1.292
2.15/1.66	o 0
2.36/1.77	c Got one! Elapsed wall clock time (in seconds):1.381
2.36/1.77	o -28
2.62/1.80	c Got one! Elapsed wall clock time (in seconds):1.433
2.62/1.80	o -41
2.62/1.84	c Got one! Elapsed wall clock time (in seconds):1.468
2.62/1.84	o -73
2.62/1.87	c Got one! Elapsed wall clock time (in seconds):1.501
2.62/1.87	o -85
2.85/1.90	c Got one! Elapsed wall clock time (in seconds):1.531
2.85/1.90	o -106
2.85/1.93	c Got one! Elapsed wall clock time (in seconds):1.56
2.85/1.93	o -109
2.85/1.96	c Got one! Elapsed wall clock time (in seconds):1.588
2.85/1.96	o -111
2.85/1.98	c Got one! Elapsed wall clock time (in seconds):1.616
2.85/1.98	o -112
2.95/2.01	c Got one! Elapsed wall clock time (in seconds):1.644
2.95/2.01	o -114
2.95/2.04	c Got one! Elapsed wall clock time (in seconds):1.672
2.95/2.04	o -119
2.95/2.07	c Got one! Elapsed wall clock time (in seconds):1.7
2.95/2.07	o -121
2.95/2.10	c Got one! Elapsed wall clock time (in seconds):1.729
2.95/2.10	o -123
3.06/2.13	c Got one! Elapsed wall clock time (in seconds):1.757
3.06/2.13	o -130
3.06/2.15	c Got one! Elapsed wall clock time (in seconds):1.785
3.06/2.15	o -142
3.06/2.18	c Got one! Elapsed wall clock time (in seconds):1.813
3.06/2.18	o -148
3.16/2.21	c Got one! Elapsed wall clock time (in seconds):1.842
3.16/2.21	o -150
3.16/2.24	c Got one! Elapsed wall clock time (in seconds):1.87
3.16/2.24	o -153
3.16/2.27	c Got one! Elapsed wall clock time (in seconds):1.9
3.16/2.27	o -162
3.16/2.30	c Got one! Elapsed wall clock time (in seconds):1.928
3.16/2.30	o -167
3.25/2.32	c Got one! Elapsed wall clock time (in seconds):1.956
3.25/2.32	o -176
3.25/2.35	c Got one! Elapsed wall clock time (in seconds):1.984
3.25/2.35	o -177
3.25/2.38	c Got one! Elapsed wall clock time (in seconds):2.013
3.25/2.38	o -180
3.35/2.41	c Got one! Elapsed wall clock time (in seconds):2.041
3.35/2.41	o -186
3.35/2.44	c Got one! Elapsed wall clock time (in seconds):2.069
3.35/2.44	o -188
3.35/2.47	c Got one! Elapsed wall clock time (in seconds):2.098
3.35/2.47	o -194
3.35/2.49	c Got one! Elapsed wall clock time (in seconds):2.126
3.35/2.49	o -197
3.45/2.52	c Got one! Elapsed wall clock time (in seconds):2.154
3.45/2.52	o -203
3.45/2.55	c Got one! Elapsed wall clock time (in seconds):2.182
3.45/2.55	o -206
3.45/2.58	c Got one! Elapsed wall clock time (in seconds):2.211
3.45/2.58	o -218
3.55/2.61	c Got one! Elapsed wall clock time (in seconds):2.239
3.55/2.61	o -221
3.55/2.64	c Got one! Elapsed wall clock time (in seconds):2.268
3.55/2.64	o -227
3.55/2.66	c Got one! Elapsed wall clock time (in seconds):2.296
3.55/2.66	o -229
3.55/2.69	c Got one! Elapsed wall clock time (in seconds):2.324
3.55/2.69	o -243
3.65/2.72	c Got one! Elapsed wall clock time (in seconds):2.352
3.65/2.72	o -248
3.65/2.75	c Got one! Elapsed wall clock time (in seconds):2.38
3.65/2.75	o -256
3.65/2.78	c Got one! Elapsed wall clock time (in seconds):2.409
3.65/2.78	o -257
3.75/2.81	c Got one! Elapsed wall clock time (in seconds):2.437
3.75/2.81	o -269
3.75/2.83	c Got one! Elapsed wall clock time (in seconds):2.465
3.75/2.83	o -271
3.75/2.86	c Got one! Elapsed wall clock time (in seconds):2.493
3.75/2.86	o -272
3.94/2.92	c Got one! Elapsed wall clock time (in seconds):2.554
3.94/2.92	o -297
3.94/2.94	c Got one! Elapsed wall clock time (in seconds):2.574
3.94/2.94	o -318
3.94/2.96	c Got one! Elapsed wall clock time (in seconds):2.594
3.94/2.96	o -319
3.94/2.98	c Got one! Elapsed wall clock time (in seconds):2.615
3.94/2.98	o -326
4.04/3.00	c Got one! Elapsed wall clock time (in seconds):2.635
4.04/3.00	o -328
4.04/3.02	c Got one! Elapsed wall clock time (in seconds):2.655
4.04/3.02	o -335
4.04/3.04	c Got one! Elapsed wall clock time (in seconds):2.676
4.04/3.04	o -338
4.04/3.06	c Got one! Elapsed wall clock time (in seconds):2.696
4.04/3.06	o -341
4.04/3.08	c Got one! Elapsed wall clock time (in seconds):2.716
4.04/3.08	o -344
4.14/3.11	c Got one! Elapsed wall clock time (in seconds):2.737
4.14/3.11	o -346
4.14/3.13	c Got one! Elapsed wall clock time (in seconds):2.757
4.14/3.13	o -348
4.14/3.15	c Got one! Elapsed wall clock time (in seconds):2.777
4.14/3.15	o -349
4.14/3.17	c Got one! Elapsed wall clock time (in seconds):2.797
4.14/3.17	o -357
4.14/3.19	c Got one! Elapsed wall clock time (in seconds):2.818
4.14/3.19	o -360
4.25/3.21	c Got one! Elapsed wall clock time (in seconds):2.839
4.25/3.21	o -361
4.25/3.23	c Got one! Elapsed wall clock time (in seconds):2.859
4.25/3.23	o -365
4.25/3.25	c Got one! Elapsed wall clock time (in seconds):2.879
4.25/3.25	o -366
4.25/3.27	c Got one! Elapsed wall clock time (in seconds):2.899
4.25/3.27	o -381
4.25/3.29	c Got one! Elapsed wall clock time (in seconds):2.92
4.25/3.29	o -390
4.35/3.31	c Got one! Elapsed wall clock time (in seconds):2.94
4.35/3.31	o -399
4.35/3.33	c Got one! Elapsed wall clock time (in seconds):2.96
4.35/3.33	o -402
4.35/3.35	c Got one! Elapsed wall clock time (in seconds):2.98
4.35/3.35	o -408
4.35/3.37	c Got one! Elapsed wall clock time (in seconds):3.0
4.35/3.37	o -426
4.35/3.39	c Got one! Elapsed wall clock time (in seconds):3.021
4.35/3.39	o -429
4.45/3.41	c Got one! Elapsed wall clock time (in seconds):3.042
4.45/3.41	o -447
4.45/3.43	c Got one! Elapsed wall clock time (in seconds):3.062
4.45/3.43	o -448
4.45/3.45	c Got one! Elapsed wall clock time (in seconds):3.083
4.45/3.45	o -451
4.45/3.47	c Got one! Elapsed wall clock time (in seconds):3.103
4.45/3.47	o -470
4.45/3.49	c Got one! Elapsed wall clock time (in seconds):3.123
4.45/3.49	o -471
4.56/3.51	c Got one! Elapsed wall clock time (in seconds):3.144
4.56/3.51	o -474
4.56/3.53	c Got one! Elapsed wall clock time (in seconds):3.164
4.56/3.53	o -476
4.56/3.55	c Got one! Elapsed wall clock time (in seconds):3.185
4.56/3.55	o -488
4.56/3.57	c Got one! Elapsed wall clock time (in seconds):3.205
4.56/3.57	o -490
4.56/3.59	c Got one! Elapsed wall clock time (in seconds):3.225
4.56/3.59	o -493
4.66/3.61	c Got one! Elapsed wall clock time (in seconds):3.246
4.66/3.61	o -494
4.66/3.63	c Got one! Elapsed wall clock time (in seconds):3.266
4.66/3.63	o -496
4.66/3.66	c Got one! Elapsed wall clock time (in seconds):3.286
4.66/3.66	o -497
4.66/3.68	c Got one! Elapsed wall clock time (in seconds):3.307
4.66/3.68	o -498
4.66/3.70	c Got one! Elapsed wall clock time (in seconds):3.327
4.66/3.70	o -500
4.76/3.72	c Got one! Elapsed wall clock time (in seconds):3.348
4.76/3.72	o -501
4.76/3.74	c Got one! Elapsed wall clock time (in seconds):3.368
4.76/3.74	o -502
4.76/3.76	c Got one! Elapsed wall clock time (in seconds):3.388
4.76/3.76	o -503
4.76/3.78	c Got one! Elapsed wall clock time (in seconds):3.408
4.76/3.78	o -505
4.86/3.80	c Got one! Elapsed wall clock time (in seconds):3.429
4.86/3.80	o -506
4.86/3.82	c Got one! Elapsed wall clock time (in seconds):3.449
4.86/3.82	o -507
4.86/3.84	c Got one! Elapsed wall clock time (in seconds):3.47
4.86/3.84	o -508
4.86/3.86	c Got one! Elapsed wall clock time (in seconds):3.49
4.86/3.86	o -511
4.86/3.88	c Got one! Elapsed wall clock time (in seconds):3.511
4.86/3.88	o -513
4.96/3.90	c Got one! Elapsed wall clock time (in seconds):3.531
4.96/3.90	o -514
4.96/3.92	c Got one! Elapsed wall clock time (in seconds):3.552
4.96/3.92	o -515
4.96/3.94	c Got one! Elapsed wall clock time (in seconds):3.572
4.96/3.94	o -516
4.96/3.96	c Got one! Elapsed wall clock time (in seconds):3.593
4.96/3.96	o -521
4.96/3.98	c Got one! Elapsed wall clock time (in seconds):3.613
4.96/3.98	o -525
5.06/4.00	c Got one! Elapsed wall clock time (in seconds):3.634
5.06/4.00	o -527
5.06/4.02	c Got one! Elapsed wall clock time (in seconds):3.654
5.06/4.02	o -529
5.06/4.04	c Got one! Elapsed wall clock time (in seconds):3.675
5.06/4.04	o -531
5.06/4.06	c Got one! Elapsed wall clock time (in seconds):3.695
5.06/4.06	o -532
5.06/4.08	c Got one! Elapsed wall clock time (in seconds):3.716
5.06/4.08	o -534
5.16/4.10	c Got one! Elapsed wall clock time (in seconds):3.736
5.16/4.10	o -535
5.16/4.13	c Got one! Elapsed wall clock time (in seconds):3.757
5.16/4.13	o -537
5.16/4.15	c Got one! Elapsed wall clock time (in seconds):3.777
5.16/4.15	o -539
5.16/4.17	c Got one! Elapsed wall clock time (in seconds):3.797
5.16/4.17	o -544
5.16/4.19	c Got one! Elapsed wall clock time (in seconds):3.818
5.16/4.19	o -546
5.26/4.21	c Got one! Elapsed wall clock time (in seconds):3.838
5.26/4.21	o -548
5.26/4.23	c Got one! Elapsed wall clock time (in seconds):3.858
5.26/4.23	o -550
5.26/4.25	c Got one! Elapsed wall clock time (in seconds):3.879
5.26/4.25	o -551
5.26/4.27	c Got one! Elapsed wall clock time (in seconds):3.899
5.26/4.27	o -553
5.26/4.29	c Got one! Elapsed wall clock time (in seconds):3.92
5.26/4.29	o -555
5.37/4.31	c Got one! Elapsed wall clock time (in seconds):3.94
5.37/4.31	o -557
5.37/4.33	c Got one! Elapsed wall clock time (in seconds):3.96
5.37/4.33	o -559
5.37/4.35	c Got one! Elapsed wall clock time (in seconds):3.98
5.37/4.35	o -560
5.37/4.37	c Got one! Elapsed wall clock time (in seconds):4.001
5.37/4.37	o -562
5.37/4.39	c Got one! Elapsed wall clock time (in seconds):4.022
5.37/4.39	o -564
5.47/4.41	c Got one! Elapsed wall clock time (in seconds):4.043
5.47/4.41	o -565
5.47/4.43	c Got one! Elapsed wall clock time (in seconds):4.063
5.47/4.43	o -566
5.47/4.45	c Got one! Elapsed wall clock time (in seconds):4.083
5.47/4.45	o -567
5.47/4.47	c Got one! Elapsed wall clock time (in seconds):4.104
5.47/4.47	o -569
5.47/4.49	c Got one! Elapsed wall clock time (in seconds):4.124
5.47/4.49	o -571
5.56/4.51	c Got one! Elapsed wall clock time (in seconds):4.144
5.56/4.51	o -572
5.56/4.53	c Got one! Elapsed wall clock time (in seconds):4.164
5.56/4.53	o -574
5.56/4.55	c Got one! Elapsed wall clock time (in seconds):4.185
5.56/4.55	o -576
5.56/4.57	c Got one! Elapsed wall clock time (in seconds):4.205
5.56/4.57	o -578
5.56/4.59	c Got one! Elapsed wall clock time (in seconds):4.225
5.56/4.59	o -579
5.66/4.61	c Got one! Elapsed wall clock time (in seconds):4.245
5.66/4.61	o -580
5.66/4.63	c Got one! Elapsed wall clock time (in seconds):4.266
5.66/4.63	o -582
5.66/4.65	c Got one! Elapsed wall clock time (in seconds):4.286
5.66/4.65	o -583
5.66/4.67	c Got one! Elapsed wall clock time (in seconds):4.306
5.66/4.67	o -585
5.66/4.70	c Got one! Elapsed wall clock time (in seconds):4.327
5.66/4.70	o -586
5.76/4.72	c Got one! Elapsed wall clock time (in seconds):4.347
5.76/4.72	o -588
5.76/4.74	c Got one! Elapsed wall clock time (in seconds):4.367
5.76/4.74	o -590
5.76/4.76	c Got one! Elapsed wall clock time (in seconds):4.387
5.76/4.76	o -591
5.76/4.78	c Got one! Elapsed wall clock time (in seconds):4.408
5.76/4.78	o -592
5.95/4.83	c Got one! Elapsed wall clock time (in seconds):4.46
5.95/4.83	o -593
5.95/4.85	c Got one! Elapsed wall clock time (in seconds):4.481
5.95/4.85	o -596
5.95/4.87	c Got one! Elapsed wall clock time (in seconds):4.501
5.95/4.87	o -599
5.95/4.89	c Got one! Elapsed wall clock time (in seconds):4.521
5.95/4.89	o -605
6.05/4.91	c Got one! Elapsed wall clock time (in seconds):4.542
6.05/4.91	o -606
6.05/4.93	c Got one! Elapsed wall clock time (in seconds):4.562
6.05/4.93	o -609
6.05/4.95	c Got one! Elapsed wall clock time (in seconds):4.583
6.05/4.95	o -610
6.05/4.97	c Got one! Elapsed wall clock time (in seconds):4.603
6.05/4.97	o -611
6.05/4.99	c Got one! Elapsed wall clock time (in seconds):4.624
6.05/4.99	o -612
6.15/5.01	c Got one! Elapsed wall clock time (in seconds):4.644
6.15/5.01	o -613
6.15/5.03	c Got one! Elapsed wall clock time (in seconds):4.664
6.15/5.03	o -615
6.15/5.05	c Got one! Elapsed wall clock time (in seconds):4.685
6.15/5.05	o -618
6.15/5.07	c Got one! Elapsed wall clock time (in seconds):4.705
6.15/5.07	o -623
6.15/5.09	c Got one! Elapsed wall clock time (in seconds):4.725
6.15/5.09	o -624
6.25/5.11	c Got one! Elapsed wall clock time (in seconds):4.746
6.25/5.11	o -626
6.25/5.13	c Got one! Elapsed wall clock time (in seconds):4.766
6.25/5.13	o -628
6.25/5.15	c Got one! Elapsed wall clock time (in seconds):4.786
6.25/5.15	o -630
6.25/5.18	c Got one! Elapsed wall clock time (in seconds):4.807
6.25/5.18	o -636
6.25/5.20	c Got one! Elapsed wall clock time (in seconds):4.827
6.25/5.20	o -642
6.35/5.22	c Got one! Elapsed wall clock time (in seconds):4.847
6.35/5.22	o -646
6.35/5.24	c Got one! Elapsed wall clock time (in seconds):4.867
6.35/5.24	o -647
6.35/5.26	c Got one! Elapsed wall clock time (in seconds):4.888
6.35/5.26	o -648
6.35/5.28	c Got one! Elapsed wall clock time (in seconds):4.908
6.35/5.28	o -649
6.45/5.30	c Got one! Elapsed wall clock time (in seconds):4.928
6.45/5.30	o -651
6.45/5.32	c Got one! Elapsed wall clock time (in seconds):4.948
6.45/5.32	o -654
6.45/5.34	c Got one! Elapsed wall clock time (in seconds):4.969
6.45/5.34	o -659
6.45/5.36	c Got one! Elapsed wall clock time (in seconds):4.989
6.45/5.36	o -662
6.45/5.38	c Got one! Elapsed wall clock time (in seconds):5.009
6.45/5.38	o -663
6.45/5.40	c Got one! Elapsed wall clock time (in seconds):5.029
6.45/5.40	o -664
6.56/5.42	c Got one! Elapsed wall clock time (in seconds):5.049
6.56/5.42	o -665
6.56/5.44	c Got one! Elapsed wall clock time (in seconds):5.07
6.56/5.44	o -666
6.56/5.46	c Got one! Elapsed wall clock time (in seconds):5.09
6.56/5.46	o -669
6.56/5.48	c Got one! Elapsed wall clock time (in seconds):5.11
6.56/5.48	o -670
6.56/5.50	c Got one! Elapsed wall clock time (in seconds):5.13
6.56/5.50	o -673
6.66/5.52	c Got one! Elapsed wall clock time (in seconds):5.15
6.66/5.52	o -674
6.66/5.54	c Got one! Elapsed wall clock time (in seconds):5.171
6.66/5.54	o -679
6.66/5.56	c Got one! Elapsed wall clock time (in seconds):5.191
6.66/5.56	o -682
6.66/5.58	c Got one! Elapsed wall clock time (in seconds):5.211
6.66/5.58	o -685
6.75/5.60	c Got one! Elapsed wall clock time (in seconds):5.231
6.75/5.60	o -686
6.75/5.62	c Got one! Elapsed wall clock time (in seconds):5.251
6.75/5.62	o -688
6.75/5.64	c Got one! Elapsed wall clock time (in seconds):5.271
6.75/5.64	o -690
6.75/5.66	c Got one! Elapsed wall clock time (in seconds):5.291
6.75/5.66	o -691
6.75/5.68	c Got one! Elapsed wall clock time (in seconds):5.312
6.75/5.68	o -692
6.85/5.70	c Got one! Elapsed wall clock time (in seconds):5.332
6.85/5.70	o -694
6.85/5.72	c Got one! Elapsed wall clock time (in seconds):5.352
6.85/5.72	o -700
6.85/5.74	c Got one! Elapsed wall clock time (in seconds):5.372
6.85/5.74	o -702
6.85/5.76	c Got one! Elapsed wall clock time (in seconds):5.393
6.85/5.76	o -703
6.85/5.78	c Got one! Elapsed wall clock time (in seconds):5.413
6.85/5.78	o -704
6.95/5.80	c Got one! Elapsed wall clock time (in seconds):5.433
6.95/5.80	o -705
6.95/5.82	c Got one! Elapsed wall clock time (in seconds):5.453
6.95/5.82	o -706
6.95/5.84	c Got one! Elapsed wall clock time (in seconds):5.474
6.95/5.84	o -707
6.95/5.86	c Got one! Elapsed wall clock time (in seconds):5.494
6.95/5.86	o -709
6.95/5.88	c Got one! Elapsed wall clock time (in seconds):5.514
6.95/5.88	o -710
7.05/5.90	c Got one! Elapsed wall clock time (in seconds):5.534
7.05/5.90	o -711
7.05/5.92	c Got one! Elapsed wall clock time (in seconds):5.555
7.05/5.92	o -714
7.05/5.94	c Got one! Elapsed wall clock time (in seconds):5.575
7.05/5.94	o -715
7.05/5.96	c Got one! Elapsed wall clock time (in seconds):5.595
7.05/5.96	o -718
7.05/5.98	c Got one! Elapsed wall clock time (in seconds):5.615
7.05/5.98	o -720
7.15/6.00	c Got one! Elapsed wall clock time (in seconds):5.636
7.15/6.00	o -722
7.15/6.02	c Got one! Elapsed wall clock time (in seconds):5.656
7.15/6.02	o -724
7.15/6.05	c Got one! Elapsed wall clock time (in seconds):5.677
7.15/6.05	o -725
7.15/6.07	c Got one! Elapsed wall clock time (in seconds):5.697
7.15/6.07	o -729
7.15/6.09	c Got one! Elapsed wall clock time (in seconds):5.718
7.15/6.09	o -732
7.25/6.11	c Got one! Elapsed wall clock time (in seconds):5.738
7.25/6.11	o -733
7.25/6.13	c Got one! Elapsed wall clock time (in seconds):5.758
7.25/6.13	o -734
7.25/6.15	c Got one! Elapsed wall clock time (in seconds):5.779
7.25/6.15	o -738
7.25/6.17	c Got one! Elapsed wall clock time (in seconds):5.799
7.25/6.17	o -742
7.25/6.19	c Got one! Elapsed wall clock time (in seconds):5.819
7.25/6.19	o -744
7.35/6.21	c Got one! Elapsed wall clock time (in seconds):5.839
7.35/6.21	o -748
7.35/6.23	c Got one! Elapsed wall clock time (in seconds):5.86
7.35/6.23	o -749
7.35/6.25	c Got one! Elapsed wall clock time (in seconds):5.88
7.35/6.25	o -753
7.35/6.27	c Got one! Elapsed wall clock time (in seconds):5.9
7.35/6.27	o -758
7.35/6.29	c Got one! Elapsed wall clock time (in seconds):5.92
7.35/6.29	o -760
7.45/6.31	c Got one! Elapsed wall clock time (in seconds):5.941
7.45/6.31	o -764
7.45/6.33	c Got one! Elapsed wall clock time (in seconds):5.961
7.45/6.33	o -768
7.45/6.35	c Got one! Elapsed wall clock time (in seconds):5.981
7.45/6.35	o -771
7.45/6.37	c Got one! Elapsed wall clock time (in seconds):6.002
7.45/6.37	o -773
7.45/6.39	c Got one! Elapsed wall clock time (in seconds):6.022
7.45/6.39	o -778
7.55/6.41	c Got one! Elapsed wall clock time (in seconds):6.042
7.55/6.41	o -783
7.55/6.43	c Got one! Elapsed wall clock time (in seconds):6.063
7.55/6.43	o -784
7.55/6.45	c Got one! Elapsed wall clock time (in seconds):6.083
7.55/6.45	o -788
7.55/6.47	c Got one! Elapsed wall clock time (in seconds):6.103
7.55/6.47	o -790
7.55/6.49	c Got one! Elapsed wall clock time (in seconds):6.124
7.55/6.49	o -793
7.65/6.51	c Got one! Elapsed wall clock time (in seconds):6.145
7.65/6.51	o -795
7.65/6.53	c Got one! Elapsed wall clock time (in seconds):6.165
7.65/6.53	o -797
7.65/6.55	c Got one! Elapsed wall clock time (in seconds):6.185
7.65/6.55	o -798
7.65/6.57	c Got one! Elapsed wall clock time (in seconds):6.205
7.65/6.57	o -800
7.65/6.59	c Got one! Elapsed wall clock time (in seconds):6.226
7.65/6.59	o -806
7.75/6.61	c Got one! Elapsed wall clock time (in seconds):6.246
7.75/6.61	o -807
7.75/6.63	c Got one! Elapsed wall clock time (in seconds):6.266
7.75/6.63	o -808
7.75/6.65	c Got one! Elapsed wall clock time (in seconds):6.286
7.75/6.65	o -810
7.75/6.67	c Got one! Elapsed wall clock time (in seconds):6.306
7.75/6.67	o -812
7.75/6.70	c Got one! Elapsed wall clock time (in seconds):6.327
7.75/6.70	o -813
7.85/6.72	c Got one! Elapsed wall clock time (in seconds):6.347
7.85/6.72	o -818
7.85/6.74	c Got one! Elapsed wall clock time (in seconds):6.367
7.85/6.74	o -820
7.85/6.76	c Got one! Elapsed wall clock time (in seconds):6.387
7.85/6.76	o -821
7.85/6.78	c Got one! Elapsed wall clock time (in seconds):6.407
7.85/6.78	o -822
7.85/6.80	c Got one! Elapsed wall clock time (in seconds):6.428
7.85/6.80	o -826
7.95/6.82	c Got one! Elapsed wall clock time (in seconds):6.448
7.95/6.82	o -830
7.95/6.84	c Got one! Elapsed wall clock time (in seconds):6.468
7.95/6.84	o -831
7.95/6.86	c Got one! Elapsed wall clock time (in seconds):6.488
7.95/6.86	o -833
7.95/6.88	c Got one! Elapsed wall clock time (in seconds):6.508
7.95/6.88	o -834
8.05/6.90	c Got one! Elapsed wall clock time (in seconds):6.529
8.05/6.90	o -836
8.05/6.92	c Got one! Elapsed wall clock time (in seconds):6.549
8.05/6.92	o -837
8.05/6.94	c Got one! Elapsed wall clock time (in seconds):6.569
8.05/6.94	o -839
8.05/6.96	c Got one! Elapsed wall clock time (in seconds):6.59
8.05/6.96	o -840
8.05/6.98	c Got one! Elapsed wall clock time (in seconds):6.611
8.05/6.98	o -841
8.15/7.00	c Got one! Elapsed wall clock time (in seconds):6.631
8.15/7.00	o -842
8.15/7.02	c Got one! Elapsed wall clock time (in seconds):6.652
8.15/7.02	o -844
8.15/7.04	c Got one! Elapsed wall clock time (in seconds):6.673
8.15/7.04	o -845
8.15/7.06	c Got one! Elapsed wall clock time (in seconds):6.694
8.15/7.06	o -846
8.15/7.08	c Got one! Elapsed wall clock time (in seconds):6.715
8.15/7.08	o -854
8.24/7.10	c Got one! Elapsed wall clock time (in seconds):6.736
8.24/7.10	o -855
8.24/7.12	c Got one! Elapsed wall clock time (in seconds):6.756
8.24/7.12	o -856
8.24/7.15	c Got one! Elapsed wall clock time (in seconds):6.777
8.24/7.15	o -860
8.24/7.17	c Got one! Elapsed wall clock time (in seconds):6.798
8.24/7.17	o -867
8.24/7.19	c Got one! Elapsed wall clock time (in seconds):6.819
8.24/7.19	o -870
8.34/7.21	c Got one! Elapsed wall clock time (in seconds):6.839
8.34/7.21	o -871
8.34/7.23	c Got one! Elapsed wall clock time (in seconds):6.86
8.34/7.23	o -872
8.34/7.25	c Got one! Elapsed wall clock time (in seconds):6.881
8.34/7.25	o -873
8.34/7.27	c Got one! Elapsed wall clock time (in seconds):6.902
8.34/7.27	o -874
8.34/7.29	c Got one! Elapsed wall clock time (in seconds):6.922
8.34/7.29	o -876
8.45/7.31	c Got one! Elapsed wall clock time (in seconds):6.943
8.45/7.31	o -877
8.45/7.33	c Got one! Elapsed wall clock time (in seconds):6.964
8.45/7.33	o -878
8.45/7.35	c Got one! Elapsed wall clock time (in seconds):6.984
8.45/7.35	o -880
8.45/7.37	c Got one! Elapsed wall clock time (in seconds):7.005
8.45/7.37	o -881
8.45/7.39	c Got one! Elapsed wall clock time (in seconds):7.026
8.45/7.39	o -882
8.55/7.42	c Got one! Elapsed wall clock time (in seconds):7.047
8.55/7.42	o -883
8.55/7.44	c Got one! Elapsed wall clock time (in seconds):7.068
8.55/7.44	o -889
8.55/7.46	c Got one! Elapsed wall clock time (in seconds):7.088
8.55/7.46	o -891
8.55/7.48	c Got one! Elapsed wall clock time (in seconds):7.109
8.55/7.48	o -893
8.64/7.50	c Got one! Elapsed wall clock time (in seconds):7.13
8.64/7.50	o -894
8.64/7.52	c Got one! Elapsed wall clock time (in seconds):7.151
8.64/7.52	o -895
8.64/7.54	c Got one! Elapsed wall clock time (in seconds):7.172
8.64/7.54	o -897
8.64/7.56	c Got one! Elapsed wall clock time (in seconds):7.192
8.64/7.56	o -899
8.64/7.58	c Got one! Elapsed wall clock time (in seconds):7.213
8.64/7.58	o -900
8.75/7.60	c Got one! Elapsed wall clock time (in seconds):7.235
8.75/7.60	o -901
8.75/7.62	c Got one! Elapsed wall clock time (in seconds):7.255
8.75/7.62	o -902
8.75/7.65	c Got one! Elapsed wall clock time (in seconds):7.276
8.75/7.65	o -903
8.75/7.67	c Got one! Elapsed wall clock time (in seconds):7.297
8.75/7.67	o -912
8.75/7.69	c Got one! Elapsed wall clock time (in seconds):7.318
8.75/7.69	o -913
8.85/7.71	c Got one! Elapsed wall clock time (in seconds):7.339
8.85/7.71	o -914
8.85/7.73	c Got one! Elapsed wall clock time (in seconds):7.36
8.85/7.73	o -915
8.85/7.75	c Got one! Elapsed wall clock time (in seconds):7.381
8.85/7.75	o -916
8.85/7.77	c Got one! Elapsed wall clock time (in seconds):7.402
8.85/7.77	o -917
8.85/7.79	c Got one! Elapsed wall clock time (in seconds):7.423
8.85/7.79	o -918
8.95/7.81	c Got one! Elapsed wall clock time (in seconds):7.444
8.95/7.81	o -919
8.95/7.83	c Got one! Elapsed wall clock time (in seconds):7.465
8.95/7.83	o -921
8.95/7.85	c Got one! Elapsed wall clock time (in seconds):7.486
8.95/7.85	o -924
8.95/7.88	c Got one! Elapsed wall clock time (in seconds):7.507
8.95/7.88	o -927
8.95/7.90	c Got one! Elapsed wall clock time (in seconds):7.527
8.95/7.90	o -930
9.05/7.92	c Got one! Elapsed wall clock time (in seconds):7.548
9.05/7.92	o -931
9.05/7.94	c Got one! Elapsed wall clock time (in seconds):7.569
9.05/7.94	o -933
9.05/7.96	c Got one! Elapsed wall clock time (in seconds):7.59
9.05/7.96	o -935
9.05/7.98	c Got one! Elapsed wall clock time (in seconds):7.611
9.05/7.98	o -936
9.15/8.00	c Got one! Elapsed wall clock time (in seconds):7.632
9.15/8.00	o -937
9.15/8.02	c Got one! Elapsed wall clock time (in seconds):7.653
9.15/8.02	o -938
9.15/8.04	c Got one! Elapsed wall clock time (in seconds):7.674
9.15/8.04	o -939
9.15/8.06	c Got one! Elapsed wall clock time (in seconds):7.695
9.15/8.06	o -941
9.15/8.08	c Got one! Elapsed wall clock time (in seconds):7.716
9.15/8.08	o -942
9.24/8.11	c Got one! Elapsed wall clock time (in seconds):7.737
9.24/8.11	o -947
9.24/8.13	c Got one! Elapsed wall clock time (in seconds):7.758
9.24/8.13	o -948
9.24/8.15	c Got one! Elapsed wall clock time (in seconds):7.779
9.24/8.15	o -949
9.24/8.17	c Got one! Elapsed wall clock time (in seconds):7.8
9.24/8.17	o -951
9.24/8.19	c Got one! Elapsed wall clock time (in seconds):7.821
9.24/8.19	o -953
9.35/8.21	c Got one! Elapsed wall clock time (in seconds):7.842
9.35/8.21	o -954
9.35/8.23	c Got one! Elapsed wall clock time (in seconds):7.862
9.35/8.23	o -955
9.35/8.25	c Got one! Elapsed wall clock time (in seconds):7.884
9.35/8.25	o -958
9.35/8.27	c Got one! Elapsed wall clock time (in seconds):7.905
9.35/8.27	o -959
9.35/8.29	c Got one! Elapsed wall clock time (in seconds):7.926
9.35/8.29	o -960
9.45/8.31	c Got one! Elapsed wall clock time (in seconds):7.946
9.45/8.31	o -969
9.45/8.34	c Got one! Elapsed wall clock time (in seconds):7.967
9.45/8.34	o -974
9.45/8.36	c Got one! Elapsed wall clock time (in seconds):7.988
9.45/8.36	o -975
9.45/8.38	c Got one! Elapsed wall clock time (in seconds):8.008
9.45/8.38	o -977
9.55/8.40	c Got one! Elapsed wall clock time (in seconds):8.029
9.55/8.40	o -979
9.55/8.42	c Got one! Elapsed wall clock time (in seconds):8.05
9.55/8.42	o -980
9.55/8.44	c Got one! Elapsed wall clock time (in seconds):8.071
9.55/8.44	o -981
9.55/8.46	c Got one! Elapsed wall clock time (in seconds):8.092
9.55/8.46	o -983
9.55/8.48	c Got one! Elapsed wall clock time (in seconds):8.112
9.55/8.48	o -984
9.64/8.50	c Got one! Elapsed wall clock time (in seconds):8.133
9.64/8.50	o -987
9.64/8.52	c Got one! Elapsed wall clock time (in seconds):8.154
9.64/8.52	o -990
9.64/8.54	c Got one! Elapsed wall clock time (in seconds):8.175
9.64/8.54	o -991
9.83/8.60	c Got one! Elapsed wall clock time (in seconds):8.228
9.83/8.60	o -995
9.83/8.62	c Got one! Elapsed wall clock time (in seconds):8.248
9.83/8.62	o -1000
9.83/8.64	c Got one! Elapsed wall clock time (in seconds):8.268
9.83/8.64	o -1001
9.83/8.66	c Got one! Elapsed wall clock time (in seconds):8.289
9.83/8.66	o -1002
9.83/8.68	c Got one! Elapsed wall clock time (in seconds):8.309
9.83/8.68	o -1003
9.83/8.70	c Got one! Elapsed wall clock time (in seconds):8.329
9.83/8.70	o -1006
9.93/8.72	c Got one! Elapsed wall clock time (in seconds):8.35
9.93/8.72	o -1007
9.93/8.74	c Got one! Elapsed wall clock time (in seconds):8.37
9.93/8.74	o -1008
9.93/8.76	c Got one! Elapsed wall clock time (in seconds):8.39
9.93/8.76	o -1009
9.93/8.78	c Got one! Elapsed wall clock time (in seconds):8.41
9.93/8.78	o -1010
9.93/8.80	c Got one! Elapsed wall clock time (in seconds):8.431
9.93/8.80	o -1012
10.04/8.82	c Got one! Elapsed wall clock time (in seconds):8.451
10.04/8.82	o -1013
10.04/8.84	c Got one! Elapsed wall clock time (in seconds):8.471
10.04/8.84	o -1014
10.04/8.86	c Got one! Elapsed wall clock time (in seconds):8.491
10.04/8.86	o -1015
10.04/8.88	c Got one! Elapsed wall clock time (in seconds):8.512
10.04/8.88	o -1022
10.14/8.90	c Got one! Elapsed wall clock time (in seconds):8.532
10.14/8.90	o -1023
10.14/8.92	c Got one! Elapsed wall clock time (in seconds):8.553
10.14/8.92	o -1024
10.14/8.94	c Got one! Elapsed wall clock time (in seconds):8.573
10.14/8.94	o -1025
10.14/8.96	c Got one! Elapsed wall clock time (in seconds):8.594
10.14/8.96	o -1026
10.14/8.98	c Got one! Elapsed wall clock time (in seconds):8.614
10.14/8.98	o -1027
10.24/9.00	c Got one! Elapsed wall clock time (in seconds):8.634
10.24/9.00	o -1030
10.24/9.02	c Got one! Elapsed wall clock time (in seconds):8.655
10.24/9.02	o -1033
10.24/9.04	c Got one! Elapsed wall clock time (in seconds):8.675
10.24/9.04	o -1036
10.24/9.06	c Got one! Elapsed wall clock time (in seconds):8.695
10.24/9.06	o -1037
10.24/9.08	c Got one! Elapsed wall clock time (in seconds):8.716
10.24/9.08	o -1038
10.34/9.11	c Got one! Elapsed wall clock time (in seconds):8.737
10.34/9.11	o -1039
10.34/9.13	c Got one! Elapsed wall clock time (in seconds):8.757
10.34/9.13	o -1040
10.34/9.15	c Got one! Elapsed wall clock time (in seconds):8.777
10.34/9.15	o -1041
10.34/9.17	c Got one! Elapsed wall clock time (in seconds):8.798
10.34/9.17	o -1042
10.34/9.19	c Got one! Elapsed wall clock time (in seconds):8.818
10.34/9.19	o -1043
10.44/9.21	c Got one! Elapsed wall clock time (in seconds):8.838
10.44/9.21	o -1045
10.44/9.23	c Got one! Elapsed wall clock time (in seconds):8.859
10.44/9.23	o -1046
10.44/9.25	c Got one! Elapsed wall clock time (in seconds):8.879
10.44/9.25	o -1048
10.44/9.27	c Got one! Elapsed wall clock time (in seconds):8.899
10.44/9.27	o -1049
10.44/9.29	c Got one! Elapsed wall clock time (in seconds):8.92
10.44/9.29	o -1050
10.54/9.31	c Got one! Elapsed wall clock time (in seconds):8.941
10.54/9.31	o -1056
10.54/9.33	c Got one! Elapsed wall clock time (in seconds):8.961
10.54/9.33	o -1061
10.54/9.35	c Got one! Elapsed wall clock time (in seconds):8.981
10.54/9.35	o -1062
10.54/9.37	c Got one! Elapsed wall clock time (in seconds):9.002
10.54/9.37	o -1063
10.54/9.39	c Got one! Elapsed wall clock time (in seconds):9.022
10.54/9.39	o -1065
10.64/9.41	c Got one! Elapsed wall clock time (in seconds):9.043
10.64/9.41	o -1068
10.64/9.43	c Got one! Elapsed wall clock time (in seconds):9.063
10.64/9.43	o -1069
10.64/9.45	c Got one! Elapsed wall clock time (in seconds):9.084
10.64/9.45	o -1070
10.64/9.47	c Got one! Elapsed wall clock time (in seconds):9.104
10.64/9.47	o -1071
10.64/9.49	c Got one! Elapsed wall clock time (in seconds):9.124
10.64/9.49	o -1072
10.74/9.51	c Got one! Elapsed wall clock time (in seconds):9.145
10.74/9.51	o -1075
10.74/9.53	c Got one! Elapsed wall clock time (in seconds):9.165
10.74/9.53	o -1079
10.74/9.55	c Got one! Elapsed wall clock time (in seconds):9.186
10.74/9.55	o -1083
10.74/9.57	c Got one! Elapsed wall clock time (in seconds):9.206
10.74/9.57	o -1087
10.74/9.59	c Got one! Elapsed wall clock time (in seconds):9.226
10.74/9.59	o -1091
10.84/9.62	c Got one! Elapsed wall clock time (in seconds):9.247
10.84/9.62	o -1095
10.84/9.64	c Got one! Elapsed wall clock time (in seconds):9.267
10.84/9.64	o -1096
10.84/9.66	c Got one! Elapsed wall clock time (in seconds):9.288
10.84/9.66	o -1097
10.84/9.68	c Got one! Elapsed wall clock time (in seconds):9.308
10.84/9.68	o -1100
10.94/9.70	c Got one! Elapsed wall clock time (in seconds):9.33
10.94/9.70	o -1101
10.94/9.72	c Got one! Elapsed wall clock time (in seconds):9.351
10.94/9.72	o -1102
10.94/9.74	c Got one! Elapsed wall clock time (in seconds):9.371
10.94/9.74	o -1106
10.94/9.76	c Got one! Elapsed wall clock time (in seconds):9.392
10.94/9.76	o -1115
10.94/9.78	c Got one! Elapsed wall clock time (in seconds):9.412
10.94/9.78	o -1118
10.94/9.80	c Got one! Elapsed wall clock time (in seconds):9.433
10.94/9.80	o -1122
11.04/9.82	c Got one! Elapsed wall clock time (in seconds):9.454
11.04/9.82	o -1123
11.04/9.84	c Got one! Elapsed wall clock time (in seconds):9.474
11.04/9.84	o -1127
11.04/9.86	c Got one! Elapsed wall clock time (in seconds):9.494
11.04/9.86	o -1128
11.04/9.88	c Got one! Elapsed wall clock time (in seconds):9.515
11.04/9.88	o -1133
11.14/9.90	c Got one! Elapsed wall clock time (in seconds):9.535
11.14/9.90	o -1134
11.14/9.92	c Got one! Elapsed wall clock time (in seconds):9.556
11.14/9.92	o -1135
11.14/9.94	c Got one! Elapsed wall clock time (in seconds):9.576
11.14/9.94	o -1136
11.14/9.96	c Got one! Elapsed wall clock time (in seconds):9.596
11.14/9.96	o -1137
11.14/9.99	c Got one! Elapsed wall clock time (in seconds):9.617
11.14/9.99	o -1139
11.24/10.01	c Got one! Elapsed wall clock time (in seconds):9.637
11.24/10.01	o -1140
11.24/10.03	c Got one! Elapsed wall clock time (in seconds):9.658
11.24/10.03	o -1141
11.24/10.05	c Got one! Elapsed wall clock time (in seconds):9.678
11.24/10.05	o -1151
11.24/10.07	c Got one! Elapsed wall clock time (in seconds):9.699
11.24/10.07	o -1152
11.24/10.09	c Got one! Elapsed wall clock time (in seconds):9.719
11.24/10.09	o -1153
11.34/10.11	c Got one! Elapsed wall clock time (in seconds):9.74
11.34/10.11	o -1155
11.34/10.13	c Got one! Elapsed wall clock time (in seconds):9.761
11.34/10.13	o -1157
11.34/10.15	c Got one! Elapsed wall clock time (in seconds):9.781
11.34/10.15	o -1162
11.34/10.17	c Got one! Elapsed wall clock time (in seconds):9.801
11.34/10.17	o -1163
11.34/10.19	c Got one! Elapsed wall clock time (in seconds):9.822
11.34/10.19	o -1168
11.44/10.21	c Got one! Elapsed wall clock time (in seconds):9.842
11.44/10.21	o -1173
11.44/10.23	c Got one! Elapsed wall clock time (in seconds):9.863
11.44/10.23	o -1176
11.44/10.25	c Got one! Elapsed wall clock time (in seconds):9.883
11.44/10.25	o -1181
11.44/10.27	c Got one! Elapsed wall clock time (in seconds):9.904
11.44/10.27	o -1185
11.44/10.29	c Got one! Elapsed wall clock time (in seconds):9.924
11.44/10.29	o -1186
11.54/10.31	c Got one! Elapsed wall clock time (in seconds):9.945
11.54/10.31	o -1187
11.54/10.33	c Got one! Elapsed wall clock time (in seconds):9.965
11.54/10.33	o -1188
11.54/10.35	c Got one! Elapsed wall clock time (in seconds):9.986
11.54/10.35	o -1189
11.54/10.37	c Got one! Elapsed wall clock time (in seconds):10.006
11.54/10.37	o -1190
11.54/10.40	c Got one! Elapsed wall clock time (in seconds):10.027
11.54/10.40	o -1191
11.64/10.42	c Got one! Elapsed wall clock time (in seconds):10.047
11.64/10.42	o -1192
11.64/10.44	c Got one! Elapsed wall clock time (in seconds):10.068
11.64/10.44	o -1197
11.64/10.46	c Got one! Elapsed wall clock time (in seconds):10.089
11.64/10.46	o -1198
11.64/10.48	c Got one! Elapsed wall clock time (in seconds):10.109
11.64/10.48	o -1199
11.74/10.50	c Got one! Elapsed wall clock time (in seconds):10.13
11.74/10.50	o -1205
11.74/10.52	c Got one! Elapsed wall clock time (in seconds):10.151
11.74/10.52	o -1206
11.74/10.54	c Got one! Elapsed wall clock time (in seconds):10.172
11.74/10.54	o -1207
11.74/10.56	c Got one! Elapsed wall clock time (in seconds):10.193
11.74/10.56	o -1208
11.74/10.58	c Got one! Elapsed wall clock time (in seconds):10.214
11.74/10.58	o -1209
11.84/10.60	c Got one! Elapsed wall clock time (in seconds):10.234
11.84/10.60	o -1210
11.84/10.62	c Got one! Elapsed wall clock time (in seconds):10.256
11.84/10.62	o -1217
11.84/10.64	c Got one! Elapsed wall clock time (in seconds):10.276
11.84/10.64	o -1219
11.84/10.67	c Got one! Elapsed wall clock time (in seconds):10.297
11.84/10.67	o -1220
11.84/10.69	c Got one! Elapsed wall clock time (in seconds):10.317
11.84/10.69	o -1221
11.94/10.71	c Got one! Elapsed wall clock time (in seconds):10.338
11.94/10.71	o -1222
11.94/10.73	c Got one! Elapsed wall clock time (in seconds):10.358
11.94/10.73	o -1223
11.94/10.75	c Got one! Elapsed wall clock time (in seconds):10.379
11.94/10.75	o -1224
11.94/10.77	c Got one! Elapsed wall clock time (in seconds):10.4
11.94/10.77	o -1225
11.94/10.79	c Got one! Elapsed wall clock time (in seconds):10.42
11.94/10.79	o -1226
12.04/10.81	c Got one! Elapsed wall clock time (in seconds):10.441
12.04/10.81	o -1227
12.04/10.83	c Got one! Elapsed wall clock time (in seconds):10.462
12.04/10.83	o -1228
12.04/10.85	c Got one! Elapsed wall clock time (in seconds):10.482
12.04/10.85	o -1229
12.04/10.87	c Got one! Elapsed wall clock time (in seconds):10.503
12.04/10.87	o -1230
12.04/10.89	c Got one! Elapsed wall clock time (in seconds):10.523
12.04/10.89	o -1231
12.14/10.91	c Got one! Elapsed wall clock time (in seconds):10.545
12.14/10.91	o -1233
12.14/10.93	c Got one! Elapsed wall clock time (in seconds):10.565
12.14/10.93	o -1234
12.14/10.95	c Got one! Elapsed wall clock time (in seconds):10.586
12.14/10.95	o -1235
12.14/10.97	c Got one! Elapsed wall clock time (in seconds):10.606
12.14/10.97	o -1236
12.14/11.00	c Got one! Elapsed wall clock time (in seconds):10.627
12.14/11.00	o -1237
12.24/11.02	c Got one! Elapsed wall clock time (in seconds):10.647
12.24/11.02	o -1238
12.24/11.04	c Got one! Elapsed wall clock time (in seconds):10.668
12.24/11.04	o -1239
12.24/11.06	c Got one! Elapsed wall clock time (in seconds):10.688
12.24/11.06	o -1240
12.24/11.08	c Got one! Elapsed wall clock time (in seconds):10.708
12.24/11.08	o -1242
12.34/11.10	c Got one! Elapsed wall clock time (in seconds):10.729
12.34/11.10	o -1244
12.34/11.12	c Got one! Elapsed wall clock time (in seconds):10.749
12.34/11.12	o -1245
12.34/11.14	c Got one! Elapsed wall clock time (in seconds):10.77
12.34/11.14	o -1246
12.34/11.16	c Got one! Elapsed wall clock time (in seconds):10.79
12.34/11.16	o -1247
12.34/11.18	c Got one! Elapsed wall clock time (in seconds):10.811
12.34/11.18	o -1251
12.44/11.20	c Got one! Elapsed wall clock time (in seconds):10.831
12.44/11.20	o -1252
12.44/11.22	c Got one! Elapsed wall clock time (in seconds):10.852
12.44/11.22	o -1253
12.44/11.24	c Got one! Elapsed wall clock time (in seconds):10.872
12.44/11.24	o -1254
12.44/11.26	c Got one! Elapsed wall clock time (in seconds):10.893
12.44/11.26	o -1255
12.44/11.28	c Got one! Elapsed wall clock time (in seconds):10.913
12.44/11.28	o -1256
12.54/11.30	c Got one! Elapsed wall clock time (in seconds):10.934
12.54/11.30	o -1257
12.54/11.32	c Got one! Elapsed wall clock time (in seconds):10.954
12.54/11.32	o -1258
12.54/11.34	c Got one! Elapsed wall clock time (in seconds):10.975
12.54/11.34	o -1259
12.54/11.36	c Got one! Elapsed wall clock time (in seconds):10.995
12.54/11.36	o -1262
12.54/11.38	c Got one! Elapsed wall clock time (in seconds):11.016
12.54/11.38	o -1264
12.64/11.40	c Got one! Elapsed wall clock time (in seconds):11.036
12.64/11.40	o -1265
12.64/11.43	c Got one! Elapsed wall clock time (in seconds):11.057
12.64/11.43	o -1266
12.64/11.45	c Got one! Elapsed wall clock time (in seconds):11.077
12.64/11.45	o -1267
12.64/11.47	c Got one! Elapsed wall clock time (in seconds):11.097
12.64/11.47	o -1268
12.64/11.49	c Got one! Elapsed wall clock time (in seconds):11.118
12.64/11.49	o -1269
12.74/11.51	c Got one! Elapsed wall clock time (in seconds):11.139
12.74/11.51	o -1270
12.74/11.53	c Got one! Elapsed wall clock time (in seconds):11.159
12.74/11.53	o -1272
12.74/11.55	c Got one! Elapsed wall clock time (in seconds):11.179
12.74/11.55	o -1274
12.74/11.57	c Got one! Elapsed wall clock time (in seconds):11.2
12.74/11.57	o -1275
12.74/11.59	c Got one! Elapsed wall clock time (in seconds):11.22
12.74/11.59	o -1276
12.84/11.61	c Got one! Elapsed wall clock time (in seconds):11.241
12.84/11.61	o -1277
12.84/11.63	c Got one! Elapsed wall clock time (in seconds):11.261
12.84/11.63	o -1278
12.84/11.65	c Got one! Elapsed wall clock time (in seconds):11.281
12.84/11.65	o -1280
12.84/11.67	c Got one! Elapsed wall clock time (in seconds):11.302
12.84/11.67	o -1284
12.84/11.69	c Got one! Elapsed wall clock time (in seconds):11.322
12.84/11.69	o -1289
12.94/11.71	c Got one! Elapsed wall clock time (in seconds):11.343
12.94/11.71	o -1290
12.94/11.73	c Got one! Elapsed wall clock time (in seconds):11.363
12.94/11.73	o -1291
12.94/11.75	c Got one! Elapsed wall clock time (in seconds):11.383
12.94/11.75	o -1292
12.94/11.77	c Got one! Elapsed wall clock time (in seconds):11.404
12.94/11.77	o -1293
12.94/11.79	c Got one! Elapsed wall clock time (in seconds):11.424
12.94/11.79	o -1294
13.04/11.81	c Got one! Elapsed wall clock time (in seconds):11.445
13.04/11.81	o -1295
13.04/11.83	c Got one! Elapsed wall clock time (in seconds):11.465
13.04/11.83	o -1297
13.04/11.85	c Got one! Elapsed wall clock time (in seconds):11.485
13.04/11.85	o -1302
13.04/11.87	c Got one! Elapsed wall clock time (in seconds):11.506
13.04/11.87	o -1304
13.04/11.89	c Got one! Elapsed wall clock time (in seconds):11.526
13.04/11.89	o -1306
13.14/11.91	c Got one! Elapsed wall clock time (in seconds):11.546
13.14/11.91	o -1307
13.14/11.94	c Got one! Elapsed wall clock time (in seconds):11.567
13.14/11.94	o -1308
13.14/11.96	c Got one! Elapsed wall clock time (in seconds):11.587
13.14/11.96	o -1309
13.14/11.98	c Got one! Elapsed wall clock time (in seconds):11.607
13.14/11.98	o -1311
13.14/12.00	c Got one! Elapsed wall clock time (in seconds):11.628
13.14/12.00	o -1316
13.24/12.02	c Got one! Elapsed wall clock time (in seconds):11.649
13.24/12.02	o -1317
13.24/12.04	c Got one! Elapsed wall clock time (in seconds):11.669
13.24/12.04	o -1318
13.24/12.06	c Got one! Elapsed wall clock time (in seconds):11.69
13.24/12.06	o -1319
13.24/12.08	c Got one! Elapsed wall clock time (in seconds):11.71
13.24/12.08	o -1323
13.24/12.10	c Got one! Elapsed wall clock time (in seconds):11.731
13.24/12.10	o -1327
13.34/12.12	c Got one! Elapsed wall clock time (in seconds):11.752
13.34/12.12	o -1329
13.34/12.14	c Got one! Elapsed wall clock time (in seconds):11.772
13.34/12.14	o -1330
13.34/12.16	c Got one! Elapsed wall clock time (in seconds):11.793
13.34/12.16	o -1331
13.34/12.18	c Got one! Elapsed wall clock time (in seconds):11.813
13.34/12.18	o -1332
13.43/12.20	c Got one! Elapsed wall clock time (in seconds):11.834
13.43/12.20	o -1334
13.43/12.22	c Got one! Elapsed wall clock time (in seconds):11.855
13.43/12.22	o -1336
13.43/12.24	c Got one! Elapsed wall clock time (in seconds):11.875
13.43/12.24	o -1341
13.43/12.26	c Got one! Elapsed wall clock time (in seconds):11.896
13.43/12.26	o -1342
13.43/12.28	c Got one! Elapsed wall clock time (in seconds):11.916
13.43/12.28	o -1343
13.53/12.31	c Got one! Elapsed wall clock time (in seconds):11.936
13.53/12.31	o -1344
13.53/12.35	c Got one! Elapsed wall clock time (in seconds):11.986
13.53/12.35	o -1345
13.53/12.37	c Got one! Elapsed wall clock time (in seconds):12.006
13.53/12.37	o -1346
13.53/12.40	c Got one! Elapsed wall clock time (in seconds):12.027
13.53/12.40	o -1347
13.71/12.42	c Got one! Elapsed wall clock time (in seconds):12.047
13.71/12.42	o -1351
13.71/12.44	c Got one! Elapsed wall clock time (in seconds):12.068
13.71/12.44	o -1352
13.71/12.46	c Got one! Elapsed wall clock time (in seconds):12.088
13.71/12.46	o -1358
13.71/12.48	c Got one! Elapsed wall clock time (in seconds):12.109
13.71/12.48	o -1359
13.81/12.50	c Got one! Elapsed wall clock time (in seconds):12.129
13.81/12.50	o -1365
13.81/12.52	c Got one! Elapsed wall clock time (in seconds):12.15
13.81/12.52	o -1366
13.81/12.54	c Got one! Elapsed wall clock time (in seconds):12.17
13.81/12.54	o -1367
13.81/12.56	c Got one! Elapsed wall clock time (in seconds):12.191
13.81/12.56	o -1369
13.81/12.58	c Got one! Elapsed wall clock time (in seconds):12.211
13.81/12.58	o -1370
13.91/12.60	c Got one! Elapsed wall clock time (in seconds):12.232
13.91/12.60	o -1372
13.91/12.62	c Got one! Elapsed wall clock time (in seconds):12.252
13.91/12.62	o -1374
13.91/12.64	c Got one! Elapsed wall clock time (in seconds):12.272
13.91/12.64	o -1385
13.91/12.66	c Got one! Elapsed wall clock time (in seconds):12.293
13.91/12.66	o -1389
13.91/12.68	c Got one! Elapsed wall clock time (in seconds):12.313
13.91/12.68	o -1390
14.01/12.70	c Got one! Elapsed wall clock time (in seconds):12.334
14.01/12.70	o -1397
14.01/12.72	c Got one! Elapsed wall clock time (in seconds):12.354
14.01/12.72	o -1408
14.01/12.74	c Got one! Elapsed wall clock time (in seconds):12.375
14.01/12.74	o -1410
14.01/12.76	c Got one! Elapsed wall clock time (in seconds):12.395
14.01/12.76	o -1421
14.01/12.78	c Got one! Elapsed wall clock time (in seconds):12.416
14.01/12.78	o -1422
14.11/12.80	c Got one! Elapsed wall clock time (in seconds):12.436
14.11/12.80	o -1423
14.11/12.83	c Got one! Elapsed wall clock time (in seconds):12.457
14.11/12.83	o -1428
14.11/12.85	c Got one! Elapsed wall clock time (in seconds):12.477
14.11/12.85	o -1429
14.11/12.87	c Got one! Elapsed wall clock time (in seconds):12.498
14.11/12.87	o -1430
14.11/12.89	c Got one! Elapsed wall clock time (in seconds):12.518
14.11/12.89	o -1431
14.21/12.91	c Got one! Elapsed wall clock time (in seconds):12.539
14.21/12.91	o -1432
14.21/12.93	c Got one! Elapsed wall clock time (in seconds):12.559
14.21/12.93	o -1435
14.21/12.95	c Got one! Elapsed wall clock time (in seconds):12.58
14.21/12.95	o -1436
14.21/12.97	c Got one! Elapsed wall clock time (in seconds):12.6
14.21/12.97	o -1441
14.21/12.99	c Got one! Elapsed wall clock time (in seconds):12.62
14.21/12.99	o -1442
14.31/13.01	c Got one! Elapsed wall clock time (in seconds):12.641
14.31/13.01	o -1443
14.31/13.03	c Got one! Elapsed wall clock time (in seconds):12.661
14.31/13.03	o -1444
14.31/13.05	c Got one! Elapsed wall clock time (in seconds):12.681
14.31/13.05	o -1446
14.31/13.07	c Got one! Elapsed wall clock time (in seconds):12.702
14.31/13.07	o -1447
14.31/13.09	c Got one! Elapsed wall clock time (in seconds):12.722
14.31/13.09	o -1448
14.42/13.11	c Got one! Elapsed wall clock time (in seconds):12.743
14.42/13.11	o -1449
14.42/13.13	c Got one! Elapsed wall clock time (in seconds):12.763
14.42/13.13	o -1450
14.42/13.15	c Got one! Elapsed wall clock time (in seconds):12.784
14.42/13.15	o -1451
14.42/13.17	c Got one! Elapsed wall clock time (in seconds):12.804
14.42/13.17	o -1453
14.42/13.19	c Got one! Elapsed wall clock time (in seconds):12.825
14.42/13.19	o -1454
14.52/13.21	c Got one! Elapsed wall clock time (in seconds):12.846
14.52/13.21	o -1455
14.52/13.23	c Got one! Elapsed wall clock time (in seconds):12.866
14.52/13.23	o -1457
14.52/13.26	c Got one! Elapsed wall clock time (in seconds):12.886
14.52/13.26	o -1459
14.52/13.28	c Got one! Elapsed wall clock time (in seconds):12.907
14.52/13.28	o -1460
14.52/13.30	c Got one! Elapsed wall clock time (in seconds):12.927
14.52/13.30	o -1462
14.61/13.32	c Got one! Elapsed wall clock time (in seconds):12.947
14.61/13.32	o -1463
14.61/13.34	c Got one! Elapsed wall clock time (in seconds):12.968
14.61/13.34	o -1464
14.61/13.36	c Got one! Elapsed wall clock time (in seconds):12.988
14.61/13.36	o -1465
14.61/13.38	c Got one! Elapsed wall clock time (in seconds):13.009
14.61/13.38	o -1466
14.71/13.40	c Got one! Elapsed wall clock time (in seconds):13.029
14.71/13.40	o -1468
14.71/13.42	c Got one! Elapsed wall clock time (in seconds):13.05
14.71/13.42	o -1470
14.71/13.44	c Got one! Elapsed wall clock time (in seconds):13.07
14.71/13.44	o -1471
14.71/13.46	c Got one! Elapsed wall clock time (in seconds):13.091
14.71/13.46	o -1473
14.71/13.48	c Got one! Elapsed wall clock time (in seconds):13.111
14.71/13.48	o -1474
14.81/13.50	c Got one! Elapsed wall clock time (in seconds):13.131
14.81/13.50	o -1475
14.81/13.52	c Got one! Elapsed wall clock time (in seconds):13.152
14.81/13.52	o -1480
14.81/13.54	c Got one! Elapsed wall clock time (in seconds):13.172
14.81/13.54	o -1482
14.81/13.56	c Got one! Elapsed wall clock time (in seconds):13.193
14.81/13.56	o -1487
14.81/13.58	c Got one! Elapsed wall clock time (in seconds):13.213
14.81/13.58	o -1488
14.91/13.60	c Got one! Elapsed wall clock time (in seconds):13.234
14.91/13.60	o -1490
14.91/13.62	c Got one! Elapsed wall clock time (in seconds):13.254
14.91/13.62	o -1495
14.91/13.64	c Got one! Elapsed wall clock time (in seconds):13.275
14.91/13.64	o -1496
14.91/13.66	c Got one! Elapsed wall clock time (in seconds):13.295
14.91/13.66	o -1497
14.91/13.68	c Got one! Elapsed wall clock time (in seconds):13.316
14.91/13.68	o -1498
15.01/13.71	c Got one! Elapsed wall clock time (in seconds):13.337
15.01/13.71	o -1499
15.01/13.73	c Got one! Elapsed wall clock time (in seconds):13.357
15.01/13.73	o -1502
15.01/13.75	c Got one! Elapsed wall clock time (in seconds):13.377
15.01/13.75	o -1504
15.01/13.77	c Got one! Elapsed wall clock time (in seconds):13.398
15.01/13.77	o -1505
15.01/13.79	c Got one! Elapsed wall clock time (in seconds):13.418
15.01/13.79	o -1506
15.11/13.81	c Got one! Elapsed wall clock time (in seconds):13.439
15.11/13.81	o -1507
15.11/13.83	c Got one! Elapsed wall clock time (in seconds):13.459
15.11/13.83	o -1509
15.11/13.85	c Got one! Elapsed wall clock time (in seconds):13.48
15.11/13.85	o -1510
15.11/13.87	c Got one! Elapsed wall clock time (in seconds):13.5
15.11/13.87	o -1511
15.11/13.89	c Got one! Elapsed wall clock time (in seconds):13.521
15.11/13.89	o -1512
15.21/13.91	c Got one! Elapsed wall clock time (in seconds):13.541
15.21/13.91	o -1513
15.21/13.93	c Got one! Elapsed wall clock time (in seconds):13.562
15.21/13.93	o -1514
15.21/13.95	c Got one! Elapsed wall clock time (in seconds):13.582
15.21/13.95	o -1515
15.21/13.97	c Got one! Elapsed wall clock time (in seconds):13.603
15.21/13.97	o -1517
15.21/13.99	c Got one! Elapsed wall clock time (in seconds):13.623
15.21/13.99	o -1518
15.31/14.01	c Got one! Elapsed wall clock time (in seconds):13.644
15.31/14.01	o -1520
15.31/14.03	c Got one! Elapsed wall clock time (in seconds):13.664
15.31/14.03	o -1522
15.31/14.05	c Got one! Elapsed wall clock time (in seconds):13.685
15.31/14.05	o -1523
15.31/14.07	c Got one! Elapsed wall clock time (in seconds):13.705
15.31/14.07	o -1524
15.31/14.09	c Got one! Elapsed wall clock time (in seconds):13.726
15.31/14.09	o -1525
15.41/14.11	c Got one! Elapsed wall clock time (in seconds):13.746
15.41/14.11	o -1526
15.41/14.14	c Got one! Elapsed wall clock time (in seconds):13.766
15.41/14.14	o -1527
15.41/14.16	c Got one! Elapsed wall clock time (in seconds):13.787
15.41/14.16	o -1530
15.41/14.18	c Got one! Elapsed wall clock time (in seconds):13.807
15.41/14.18	o -1532
15.41/14.20	c Got one! Elapsed wall clock time (in seconds):13.828
15.41/14.20	o -1533
15.52/14.22	c Got one! Elapsed wall clock time (in seconds):13.848
15.52/14.22	o -1535
15.52/14.24	c Got one! Elapsed wall clock time (in seconds):13.869
15.52/14.24	o -1538
15.52/14.26	c Got one! Elapsed wall clock time (in seconds):13.889
15.52/14.26	o -1539
15.52/14.28	c Got one! Elapsed wall clock time (in seconds):13.91
15.52/14.28	o -1541
15.52/14.30	c Got one! Elapsed wall clock time (in seconds):13.93
15.52/14.30	o -1544
15.62/14.32	c Got one! Elapsed wall clock time (in seconds):13.951
15.62/14.32	o -1545
15.62/14.34	c Got one! Elapsed wall clock time (in seconds):13.971
15.62/14.34	o -1547
15.62/14.36	c Got one! Elapsed wall clock time (in seconds):13.992
15.62/14.36	o -1550
15.62/14.38	c Got one! Elapsed wall clock time (in seconds):14.012
15.62/14.38	o -1556
15.71/14.40	c Got one! Elapsed wall clock time (in seconds):14.033
15.71/14.40	o -1559
15.71/14.42	c Got one! Elapsed wall clock time (in seconds):14.053
15.71/14.42	o -1560
15.71/14.44	c Got one! Elapsed wall clock time (in seconds):14.073
15.71/14.44	o -1561
15.71/14.46	c Got one! Elapsed wall clock time (in seconds):14.094
15.71/14.46	o -1562
15.71/14.48	c Got one! Elapsed wall clock time (in seconds):14.114
15.71/14.48	o -1567
15.81/14.50	c Got one! Elapsed wall clock time (in seconds):14.134
15.81/14.50	o -1570
15.81/14.52	c Got one! Elapsed wall clock time (in seconds):14.155
15.81/14.52	o -1571
15.81/14.54	c Got one! Elapsed wall clock time (in seconds):14.175
15.81/14.54	o -1572
15.81/14.56	c Got one! Elapsed wall clock time (in seconds):14.196
15.81/14.56	o -1573
15.81/14.58	c Got one! Elapsed wall clock time (in seconds):14.216
15.81/14.58	o -1575
15.91/14.61	c Got one! Elapsed wall clock time (in seconds):14.237
15.91/14.61	o -1576
15.91/14.63	c Got one! Elapsed wall clock time (in seconds):14.257
15.91/14.63	o -1581
15.91/14.66	c Got one! Elapsed wall clock time (in seconds):14.29
15.91/14.66	o -1584
16.08/14.72	c Got one! Elapsed wall clock time (in seconds):14.347
16.08/14.72	o -21271
21.43/19.80	c cleaning 2511 clauses out of 5021 with flag 5001/5021
27.07/25.36	c cleaning 4255 clauses out of 8510 with flag 11001/11021
27.69/25.92	c Got one! Elapsed wall clock time (in seconds):25.55
27.69/25.92	o -25475
30.90/29.12	c Got one! Elapsed wall clock time (in seconds):28.754
30.90/29.12	o -25502
32.50/30.80	c cleaning 5233 clauses out of 10552 with flag 2001/17318
38.12/36.32	c cleaning 5652 clauses out of 11319 with flag 8001/23318
44.29/42.41	c cleaning 6324 clauses out of 12667 with flag 15001/30318
49.89/48.09	c Got one! Elapsed wall clock time (in seconds):47.722
49.89/48.09	o -26710
54.19/52.33	c cleaning 8980 clauses out of 18018 with flag 5003/41993
60.02/58.17	c cleaning 7507 clauses out of 15035 with flag 11000/47990
67.15/65.21	c cleaning 7252 clauses out of 14528 with flag 18000/54990
73.57/71.68	c cleaning 7631 clauses out of 15276 with flag 26000/62990
80.98/79.02	c cleaning 8312 clauses out of 16648 with flag 35003/71993
89.31/87.31	c cleaning 9122 clauses out of 18333 with flag 45000/81990
99.74/97.71	c cleaning 10099 clauses out of 20211 with flag 56000/92990
108.26/106.27	c cleaning 11041 clauses out of 22112 with flag 68000/104990
118.17/116.10	c cleaning 12036 clauses out of 24071 with flag 81000/117990
129.79/127.78	c cleaning 13005 clauses out of 26035 with flag 95000/131990
142.76/140.60	c cleaning 13988 clauses out of 28030 with flag 110000/146990
156.77/154.63	c cleaning 15018 clauses out of 30043 with flag 126001/162991
172.99/170.82	c cleaning 16013 clauses out of 32025 with flag 143001/179991
189.46/187.27	c cleaning 17003 clauses out of 34012 with flag 161001/197991
205.19/202.92	c cleaning 17973 clauses out of 36008 with flag 180000/216990
219.72/217.42	c cleaning 19000 clauses out of 38035 with flag 200000/236990
232.65/230.39	c cleaning 20002 clauses out of 40037 with flag 221002/257992
251.98/249.64	c cleaning 21017 clauses out of 42033 with flag 243000/279990
269.45/267.04	c cleaning 22001 clauses out of 44017 with flag 266001/302991
288.38/285.95	c cleaning 23006 clauses out of 46015 with flag 290000/326990
315.03/312.52	c cleaning 23939 clauses out of 48009 with flag 315000/351990
333.77/331.15	c cleaning 25023 clauses out of 50072 with flag 341002/377992
356.10/353.46	c cleaning 26011 clauses out of 52047 with flag 368000/404990
378.14/375.43	c cleaning 26997 clauses out of 54036 with flag 396000/432990
402.76/400.05	c cleaning 28013 clauses out of 56039 with flag 425000/461990
429.71/426.95	c cleaning 28982 clauses out of 58027 with flag 455001/491991
452.60/449.77	c cleaning 30002 clauses out of 60044 with flag 486000/522990
471.76/468.80	c cleaning 31008 clauses out of 62042 with flag 518000/554990
491.68/488.74	c cleaning 32017 clauses out of 64034 with flag 551000/587990
520.64/517.67	c cleaning 33003 clauses out of 66017 with flag 585000/621990
549.22/546.19	c cleaning 33996 clauses out of 68015 with flag 620001/656991
587.20/584.08	c cleaning 34975 clauses out of 70018 with flag 656000/692990
622.60/619.32	c cleaning 36014 clauses out of 72043 with flag 693000/729990
650.26/646.91	c cleaning 36961 clauses out of 74029 with flag 731000/767990
679.71/676.40	c cleaning 38020 clauses out of 76071 with flag 770003/806993
713.58/710.14	c cleaning 39013 clauses out of 78048 with flag 810000/846990
749.47/745.91	c cleaning 40013 clauses out of 80035 with flag 851000/887990
786.49/782.89	c cleaning 40999 clauses out of 82022 with flag 893000/929990
823.38/819.67	c cleaning 42009 clauses out of 84023 with flag 936000/972990
854.28/850.49	c cleaning 42962 clauses out of 86014 with flag 980000/1016990
884.03/880.13	c cleaning 43998 clauses out of 88054 with flag 1025002/1061992
925.46/921.54	c cleaning 45012 clauses out of 90055 with flag 1071001/1107991
978.22/974.21	c cleaning 46011 clauses out of 92042 with flag 1118000/1154990
1032.66/1028.49	c cleaning 47016 clauses out of 94031 with flag 1166000/1202990
1092.37/1088.09	c cleaning 48001 clauses out of 96015 with flag 1215000/1251990
1156.16/1151.56	c cleaning 49000 clauses out of 98016 with flag 1265002/1301992
1207.70/1202.99	c cleaning 50000 clauses out of 100014 with flag 1316000/1352990
1248.51/1243.50	c cleaning 50993 clauses out of 102014 with flag 1368000/1404990
1299.19/1294.16	c cleaning 52011 clauses out of 104021 with flag 1421000/1457990
1344.91/1339.80	c cleaning 52909 clauses out of 106010 with flag 1475000/1511990
1383.88/1378.65	c cleaning 54040 clauses out of 108103 with flag 1530002/1566992
1422.27/1416.95	c cleaning 55031 clauses out of 110061 with flag 1586000/1622990
1484.56/1479.15	c cleaning 56013 clauses out of 112030 with flag 1643000/1679990
1546.68/1541.16	c cleaning 57008 clauses out of 114019 with flag 1701002/1737992
1601.71/1596.09	c cleaning 57991 clauses out of 116009 with flag 1760000/1796990
1649.67/1643.90	c cleaning 58991 clauses out of 118020 with flag 1820002/1856992
1696.72/1690.95	c cleaning 59953 clauses out of 120027 with flag 1881000/1917990
1741.28/1735.49	c cleaning 61014 clauses out of 122074 with flag 1943000/1979990
1791.82/1785.91	c cleaning 62016 clauses out of 124062 with flag 2006002/2042992
1800.01/1794.02	c starts		: 838
1800.01/1794.02	c conflicts		: 2050946
1800.01/1794.02	c decisions		: 9784112
1800.01/1794.02	c propagations		: 142419720
1800.01/1794.02	c inspects		: 6447015691
1800.01/1794.02	c shortcuts		: 0
1800.01/1794.02	c learnt literals	: 0
1800.01/1794.02	c learnt binary clauses	: 0
1800.01/1794.02	c learnt ternary clauses	: 0
1800.01/1794.02	c learnt constraints	: 2050946
1800.01/1794.02	c ignored constraints	: 0
1800.01/1794.02	c root simplifications	: 838
1800.01/1794.02	c removed literals (reason simplification)	: 4845328929
1800.01/1794.02	c reason swapping (by a shorter reason)	: 0
1800.01/1794.02	c Calls to reduceDB	: 64
1800.01/1794.02	c number of reductions to clauses (during analyze)	: 0
1800.01/1794.02	c number of learned constraints concerned by reduction	: 0
1800.01/1794.02	c number of learning phase by resolution	: 0
1800.01/1794.02	c number of learning phase by cutting planes	: 0
1800.01/1794.02	c speed (assignments/second)	: 79454.95768661932
1800.01/1794.02	c non guided choices	759550
1800.01/1794.04	c learnt constraints type 
1800.01/1794.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 70019
1800.01/1794.04	c constraints type 
1800.01/1794.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 223074
1800.01/1794.04	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 9
1800.01/1794.04	c 223083 constraints processed.
1800.01/1794.04	s SATISFIABLE
1800.01/1794.05	v x1 x2 x3 x4 x5 x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 x68 x69 -x70 -x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 -x138 -x139 -x140 x141 x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 -x162 -x163 -x164 x165 x166 x167 x168 x169 -x170 -x171 -x172 x173 -x174 -x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 -x188 -x189 x190 x191 x192 x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 x219 x220 x221 x222 -x223 -x224 -x225 x226 x227 x228 -x229 x230 x231 x232 x233 x234 x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 x244 x245 x246 x247 x248 -x249 -x250 x251 x252 x253 x254 x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 x270 x271 x272 x273 x274 -x275 -x276 -x277 -x278 x279 x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 x298 x299 x300 x301 -x302 -x303 -x304 -x305 x306 x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 x327 x328 x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 x353 x354 x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 x380 x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 x396 x397 x398 x399 -x400 -x401 -x402 -x403 x404 -x405 x406 x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 -x428 x429 x430 -x431 -x432 -x433 -x434 x435 x436 x437 -x438 -x439 -x440 -x441 -x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 x456 x457 x458 x459 -x460 -x461 -x462 x463 -x464 -x465 x466 -x467 -x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 -x536 -x537 -x538 x539 x540 x541 -x542 -x543 x544 -x545 x546 x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562 -x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 -x590 x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 -x616 -x617 -x618 x619 x620 x621 x622 x623 x624 x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 -x642 -x643 -x644 x645 -x646 x647 x648 x649 x650 x651 x652 x653 x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 x703 x704 x705 x706 x707 x708 x709 x710 x711 x712 x713 x714 x715 x716 x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 x732 x733 x734 x735 x736 x737 x738 x739 x740 x741 x742 x743 x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 x785 x786 x787 x788 x789 x790 x791 x792 x793 x794 x795 x796 x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 x813 x814 x815 x816 x817 x818 x819 x820 x821 x822 x823 x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 x839 x840 x841 x842 x843 x844 x845 x846 x847 x848 x849 x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 x868 x869 x870 x871 x872 x873 x874 x875 x876 x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 x895 x896 x897 x898 x899 x900 x901 x902 -x903 -x904 -x905 -x906 -x907 x908 x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 x922 x923 x924 x925 x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 x963 x964 x965 x966 -x967 -x968 -x969 -x970 x971 x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 x990 x991 x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 x1138 x1139 x1140 x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 x1161 x1162 x1163 x1164 x1165 x1166 x1167 x1168 x1169 -x1170 -x1171 x1172 x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 x1188 x1189 x1190 x1191 x1192 x1193 x1194 x1195 x1196 x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 x1213 x1214 x1215 x1216 x1217 x1218 x1219 x1220 x1221 x1222 x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 x1239 x1240 x1241 x1242 x1243 x1244 x1245 x1246 x1247 x1248 x1249 x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x1264 x1265 x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 x1275 x1276 x1277 -x1278 -x1279 -x1280 -x1281 x1282 x1283 x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x1290 x1291 x1292 x1293 x1294 x1295 x1296 x1297 x1298 x1299 x1300 x1301 x1302 x1303 x1304 x1305 -x1306 -x1307 -x1308 x1309 x1310 x1311 -x1312 x1313 x1314 x1315 -x1316 -x1317 x1318 x1319 x1320 x1321 x1322 x1323 x1324 x1325 x1326 x1327 x1328 x1329 x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 x1339 x1340 x1341 x1342 x1343 x1344 x1345 x1346 x1347 x1348 x1349 x1350 x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 x1368 x1369 -x1370 x1371 x1372 x1373 x1374 x1375 x1376 x1377 x1378 x1379 x1380 x1381 x1382 x1383 x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 x1396 x1397 x1398 x1399 x1400 x1401 x1402 x1403 x1404 x1405 x1406 x1407 x1408 x1409 x1410 x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 x1424 x1425 x1426 x1427 x1428 x1429 x1430 x1431 x1432 x1433 x1434 x1435 x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 x1452 x1453 x1454 x1455 x1456 x1457 x1458 x1459 x1460 x1461 x1462 x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 x1479 x1480 x1481 x1482 x1483 x1484 x1485 x1486 x1487 x1488 x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 x1507 x1508 x1509 x1510 x1511 x1512 x1513 x1514 x1515 x1516 x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 x1534 x1535 x1536 x1537 x1538 x1539 x1540 x1541 x1542 x1543 x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x1560 x1561 x1562 x1563 x1564 x1565 x1566 x1567 x1568 x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 x1589 x1590 x1591 x1592 x1593 x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 x1615 x1616 x1617 x1618 x1619 x1620 x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 -x1682 x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1885 -x1886 x1887 x1888 x1889 x1890 -x1891 -x1892 -x1893 x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 x1909 x1910 x1911 x1912 x1913 x1914 x1915 x1916 x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 x1936 x1937 x1938 x1939 x1940 x1941 x1942 x1943 x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 x1962 x1963 x1964 x1965 x1966 x1967 x1968 x1969 x1970 x1971 x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 x1989 x1990 x1991 x1992 x1993 x1994 x1995 x1996 x1997 x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 x2015 x2016 x2017 x2018 x2019 x2020 x2021 x2022 x2023 x2024 x2025 x2026 -x2027 -x2028 -x2029 -x2030 -x2031 x2032 -x2033 -x2034 -x2035 x2036 -x2037 -x2038 -x2039 -x2040 x2041 x2042 x2043 x2044 x2045 x2046 x2047 x2048 x2049 x2050 x2051 x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 x2062 x2063 x2064 -x2065 -x2066 x2067 x2068 x2069 x2070 x2071 x2072 x2073 x2074 x2075 x2076 x2077 x2078 x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089 -x2090 -x2091 -x2092 -x2093 x2094 x2095 x2096 x2097 x2098 x2099 x2100 x2101 x2102 x2103 x2104 x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 x2120 x2121 x2122 x2123 x2124 x2125 x2126 x2127 x2128 x2129 x2130 x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 x2146 x2147 x2148 x2149 x2150 x2151 x2152 x2153 x2154 x2155 x2156 x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 x2174 x2175 x2176 x2177 x2178 x2179 x2180 x2181 x2182 x2183 x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x2200 x2201 x2202 x2203 x2204 x2205 x2206 x2207 x2208 x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 x2229 x2230 x2231 x2232 x2233 x2234 x2235 x2236 x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 x2256 x2257 x2258 x2259 x2260 x2261 x2262 x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 x2282 x2283 x2284 x2285 x2286 x2287 x2288 x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 x2311 x2312 x2313 x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 x2636 x2637 x2638 x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 x2660 x2661 x2662 x2663 x2664 x2665 x2666 x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 x2686 x2687 x2688 x2689 x2690 x2691 x2692 x2693 x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 x2712 x2713 x2714 x2715 x2716 x2717 x2718 x2719 x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 x2739 x2740 x2741 x2742 x2743 x2744 x2745 x2746 x2747 x2748 x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 x2765 x2766 x2767 x2768 x2769 x2770 x2771 x2772 x2773 x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 x2786 -x2787 -x2788 -x2789 -x2790 x2791 x2792 x2793 x2794 x2795 x2796 x2797 x2798 x2799 x2800 x2801 x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 x2819 x2820 x2821 x2822 x2823 x2824 x2825 x2826 x2827 x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 x2845 x2846 x2847 x2848 x2849 x2850 x2851 x2852 x2853 x2854 x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 x2872 x2873 x2874 x2875 x2876 x2877 x2878 x2879 x2880 x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 x2900 x2901 x2902 x2903 x2904 x2905 x2906 x2907 x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 x2926 x2927 x2928 x2929 x2930 x2931 x2932 x2933 x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 x2954 x2955 x2956 x2957 x2958 x2959 x2960 x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 x2981 x2982 x2983 x2984 x2985 x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 x3009 x3010 x3011 x3012 x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 x3389 x3390 x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 x3413 x3414 x3415 x3416 x3417 x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 x3437 x3438 x3439 x3440 x3441 x3442 x3443 x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 x3464 x3465 x3466 x3467 x3468 x3469 x3470 x3471 x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 x3491 x3492 x3493 x3494 x3495 x3496 x3497 x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 x3517 x3518 x3519 x3520 x3521 x3522 x3523 x3524 x3525 x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 x3544 x3545 x3546 x3547 x3548 x3549 x3550 x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 x3571 x3572 x3573 x3574 x3575 x3576 x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 x3597 x3598 x3599 x3600 x3601 x3602 x3603 x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 x3625 x3626 x3627 x3628 x3629 x3630 x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 x3651 x3652 x3653 x3654 x3655 x3656 x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 x3679 x3680 x3681 x3682 x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 x3706 x3707 x3708 x3709 x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 x4139 x4140 x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 x4164 x4165 x4166 x4167 x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 x4189 x4190 x4191 x4192 x4193 x4194 x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 x4216 x4217 x4218 x4219 x4220 x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 x4242 x4243 x4244 x4245 x4246 x4247 x4248 x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 x4270 x4271 x4272 x4273 x4274 x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 x4297 x4298 x4299 x4300 x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 x4323 x4324 x4325 x4326 x4327 x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 x4351 x4352 x4353 x4354 x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 x4377 x4378 x4379 x4380 x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 x4405 x4406 x4407 x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 x4890 x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 x4916 x4917 x4918 x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 x4942 x4943 x4944 x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 x4968 x4969 x4970 x4971 -x4972 x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 x4996 x4997 x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 x5023 x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 x5049 x5050 x5051 x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 x5077 -x5078 x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 x5103 x5104 x5105 x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 x5643 x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 x5669 x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 x5695 x5696 x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 x7987 x7988 -x7989 -x7990 -x7991 -x7992 -x7993 x7994 -x7995 x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 x8003 x8004 x8005 x8006 -x8007 x8008 x8009 -x8010 -x8011 x8012 -x8013 -x8014 x8015 -x8016 x8017 x8018 x8019 
1800.01/1794.06	c objective function=-26710
1800.01/1794.06	c Total wall clock time (in seconds): 1793.691

Verifier Data

OK	-26710

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3710297-1338207428/watcher-3710297-1338207428 -o /tmp/evaluation-result-3710297-1338207428/solver-3710297-1338207428 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710297-1338207428.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.19 3.31 3.74 3/173 23088
/proc/meminfo: memFree=31117780/32873844 swapFree=6080/6080
[pid=23088] ppid=23086 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/23088/stat : 23088 (java) D 23086 23088 20249 0 -1 4202496 80 0 1 0 0 0 0 0 20 0 1 0 286867363 278528 33 33554432000 1073741824 1073778376 140736481965056 140736481962232 248781040935 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/23088/statm: 68 33 25 9 0 25 0

[startup+0.017823 s]
/proc/loadavg: 2.19 3.31 3.74 3/173 23088
/proc/meminfo: memFree=31117780/32873844 swapFree=6080/6080
[pid=23088] ppid=23086 vsize=5632 CPUtime=0 cores=0,2,4,6
/proc/23088/stat : 23088 (java) R 23086 23088 20249 0 -1 4202496 306 0 2 0 0 0 0 0 20 0 1 0 286867363 5767168 55 33554432000 1073741824 1073778376 140734312351232 140734312348312 248781040935 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23088/statm: 1408 55 43 9 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5632

[startup+0.100173 s]
/proc/loadavg: 2.19 3.31 3.74 3/173 23088
/proc/meminfo: memFree=31117780/32873844 swapFree=6080/6080
[pid=23088] ppid=23086 vsize=23236 CPUtime=0.01 cores=0,2,4,6
/proc/23088/stat : 23088 (java) D 23086 23088 20249 0 -1 4202496 1067 0 21 0 0 1 0 0 20 0 1 0 286867363 23793664 814 33554432000 1073741824 1073778376 140734312351232 140734312341224 140461184173776 0 0 4096 0 18446744071579943789 0 0 17 0 0 0 7 0 0
/proc/23088/statm: 5809 814 608 9 0 128 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 23236

[startup+0.300278 s]
/proc/loadavg: 2.19 3.31 3.74 3/173 23088
/proc/meminfo: memFree=31117780/32873844 swapFree=6080/6080
[pid=23088] ppid=23086 vsize=9558440 CPUtime=0.06 cores=0,2,4,6
/proc/23088/stat : 23088 (java) S 23086 23088 20249 0 -1 4202496 3330 0 29 0 4 2 0 0 20 0 18 0 286867363 9787842560 4565 33554432000 1073741824 1073778376 140734312351232 140734312342368 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/23088/statm: 2389610 4568 1778 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558440

[startup+0.700267 s]
/proc/loadavg: 2.19 3.31 3.74 3/173 23088
/proc/meminfo: memFree=31117780/32873844 swapFree=6080/6080
[pid=23088] ppid=23086 vsize=9558440 CPUtime=0.8 cores=0,2,4,6
/proc/23088/stat : 23088 (java) S 23086 23088 20249 0 -1 4202496 5896 0 30 0 76 4 0 0 20 0 18 0 286867363 9787842560 21217 33554432000 1073741824 1073778376 140734312351232 140734312342368 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/23088/statm: 2389610 21217 2238 9 0 2380296 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 9558440

[startup+1.50071 s]
/proc/loadavg: 2.19 3.31 3.74 3/211 23133
/proc/meminfo: memFree=30773344/32873844 swapFree=6080/6080
[pid=23088] ppid=23086 vsize=9558440 CPUtime=1.99 cores=0,2,4,6
/proc/23088/stat : 23088 (java) S 23086 23088 20249 0 -1 4202496 9179 0 30 0 188 11 0 0 20 0 18 0 286867363 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140734312342368 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/23088/statm: 2389610 47435 2261 9 0 2380296 0
[pid=23088/tid=23100] ppid=23086 vsize=9558440 CPUtime=1.16 cores=0,2,4,6
/proc/23088/task/23100/stat : 23100 (java) R 23086 23088 20249 0 -1 4202560 2548 0 6 0 111 5 0 0 20 0 18 0 286867373 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461179854184 248793589005 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0
[pid=23088/tid=23102] ppid=23086 vsize=9558440 CPUtime=0.02 cores=0,2,4,6
/proc/23088/task/23102/stat : 23102 (java) S 23086 23088 20249 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 286867376 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461141347368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23088/tid=23103] ppid=23086 vsize=9558440 CPUtime=0.01 cores=0,2,4,6
/proc/23088/task/23103/stat : 23103 (java) S 23086 23088 20249 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 18 0 286867376 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461140294568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23105] ppid=23086 vsize=9558440 CPUtime=0.02 cores=0,2,4,6
/proc/23088/task/23105/stat : 23105 (java) S 23086 23088 20249 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 18 0 286867376 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461139241768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23088/tid=23106] ppid=23086 vsize=9558440 CPUtime=0.02 cores=0,2,4,6
/proc/23088/task/23106/stat : 23106 (java) S 23086 23088 20249 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 286867376 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461138188968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23107] ppid=23086 vsize=9558440 CPUtime=0.01 cores=0,2,4,6
/proc/23088/task/23107/stat : 23107 (java) S 23086 23088 20249 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 18 0 286867376 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461137136168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23109] ppid=23086 vsize=9558440 CPUtime=0.02 cores=0,2,4,6
/proc/23088/task/23109/stat : 23109 (java) S 23086 23088 20249 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 18 0 286867376 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461136083368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23110] ppid=23086 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23110/stat : 23110 (java) S 23086 23088 20249 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 286867376 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461016607016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23088/tid=23112] ppid=23086 vsize=9558440 CPUtime=0.01 cores=0,2,4,6
/proc/23088/task/23112/stat : 23112 (java) S 23086 23088 20249 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 18 0 286867376 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461015554216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23088/tid=23118] ppid=23086 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23118/stat : 23118 (java) S 23086 23088 20249 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 286867379 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461003357160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23120] ppid=23086 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23120/stat : 23120 (java) S 23086 23088 20249 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 286867381 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461002303224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23122] ppid=23086 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23122/stat : 23122 (java) S 23086 23088 20249 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 286867381 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461001250312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23124] ppid=23086 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23124/stat : 23124 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 286867389 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140460261632656 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23126] ppid=23086 vsize=9558440 CPUtime=0.27 cores=0,2,4,6
/proc/23088/task/23126/stat : 23126 (java) S 23086 23088 20249 0 -1 4202560 2598 0 0 0 27 0 0 0 20 0 18 0 286867389 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140460260579768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23127] ppid=23086 vsize=9558440 CPUtime=0.28 cores=0,2,4,6
/proc/23088/task/23127/stat : 23127 (java) S 23086 23088 20249 0 -1 4202560 2736 0 1 0 28 0 0 0 20 0 18 0 286867389 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140460259526968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23088/tid=23130] ppid=23086 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23130/stat : 23130 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 286867389 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140460258474360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23088/tid=23131] ppid=23086 vsize=9558440 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23131/stat : 23131 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 286867389 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140460257421768 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 9558440

[startup+3.10076 s]
/proc/loadavg: 2.19 3.31 3.74 5/213 23135
/proc/meminfo: memFree=30552512/32873844 swapFree=6080/6080
[pid=23088] ppid=23086 vsize=9625004 CPUtime=4.14 cores=0,2,4,6
/proc/23088/stat : 23088 (java) S 23086 23088 20249 0 -1 4202496 10634 0 30 0 398 16 0 0 20 0 19 0 286867363 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140734312342368 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/23088/statm: 2406251 82487 2275 9 0 2396937 0
[pid=23088/tid=23100] ppid=23086 vsize=9625004 CPUtime=2.72 cores=0,2,4,6
/proc/23088/task/23100/stat : 23100 (java) R 23086 23088 20249 0 -1 4202560 2618 0 6 0 265 7 0 0 20 0 19 0 286867373 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461179847104 140461017451925 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0
[pid=23088/tid=23102] ppid=23086 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/23088/task/23102/stat : 23102 (java) S 23086 23088 20249 0 -1 4202560 21 0 0 0 2 2 0 0 20 0 19 0 286867376 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461141347368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23088/tid=23103] ppid=23086 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/23088/task/23103/stat : 23103 (java) S 23086 23088 20249 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 286867376 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461140294568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23105] ppid=23086 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/23088/task/23105/stat : 23105 (java) S 23086 23088 20249 0 -1 4202560 14 0 0 0 2 1 0 0 20 0 19 0 286867376 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461139241768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23088/tid=23106] ppid=23086 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/23088/task/23106/stat : 23106 (java) S 23086 23088 20249 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 19 0 286867376 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461138188968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23107] ppid=23086 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/23088/task/23107/stat : 23107 (java) S 23086 23088 20249 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 286867376 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461137136168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23109] ppid=23086 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/23088/task/23109/stat : 23109 (java) S 23086 23088 20249 0 -1 4202560 21 0 0 0 3 2 0 0 20 0 19 0 286867376 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461136083368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23110] ppid=23086 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/23088/task/23110/stat : 23110 (java) S 23086 23088 20249 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 286867376 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461016607016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23088/tid=23112] ppid=23086 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/23088/task/23112/stat : 23112 (java) S 23086 23088 20249 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 286867376 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461015554216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23088/tid=23118] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23118/stat : 23118 (java) S 23086 23088 20249 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 286867379 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461003357160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23120] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23120/stat : 23120 (java) S 23086 23088 20249 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286867381 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461002303224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23122] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23122/stat : 23122 (java) S 23086 23088 20249 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286867381 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461001250312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23124] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23124/stat : 23124 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140460261632656 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23126] ppid=23086 vsize=9625004 CPUtime=0.53 cores=0,2,4,6
/proc/23088/task/23126/stat : 23126 (java) S 23086 23088 20249 0 -1 4202560 3610 0 0 0 53 0 0 0 20 0 19 0 286867389 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140460260579768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23088/tid=23127] ppid=23086 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/23088/task/23127/stat : 23127 (java) S 23086 23088 20249 0 -1 4202560 2935 0 1 0 50 0 0 0 20 0 19 0 286867389 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140460259526968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23130] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23130/stat : 23130 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140460258474360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23088/tid=23131] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23131/stat : 23131 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140460257421768 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23134] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23134/stat : 23134 (java) S 23086 23088 20249 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286867519 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140460256368296 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 9625004

[startup+6.30076 s]
/proc/loadavg: 2.17 3.28 3.73 3/213 23135
/proc/meminfo: memFree=30403576/32873844 swapFree=6080/6080
[pid=23088] ppid=23086 vsize=9625004 CPUtime=7.45 cores=0,2,4,6
/proc/23088/stat : 23088 (java) S 23086 23088 20249 0 -1 4202496 10737 0 30 0 726 19 0 0 20 0 19 0 286867363 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140734312342368 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/23088/statm: 2406251 88071 2276 9 0 2396937 0
[pid=23088/tid=23100] ppid=23086 vsize=9625004 CPUtime=5.88 cores=0,2,4,6
/proc/23088/task/23100/stat : 23100 (java) R 23086 23088 20249 0 -1 4202560 2620 0 6 0 581 7 0 0 20 0 19 0 286867373 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461179847104 140461017409526 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0
[pid=23088/tid=23102] ppid=23086 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/23088/task/23102/stat : 23102 (java) S 23086 23088 20249 0 -1 4202560 33 0 0 0 3 2 0 0 20 0 19 0 286867376 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461141347368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23103] ppid=23086 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/23088/task/23103/stat : 23103 (java) S 23086 23088 20249 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 286867376 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461140294568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23105] ppid=23086 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/23088/task/23105/stat : 23105 (java) S 23086 23088 20249 0 -1 4202560 20 0 0 0 3 1 0 0 20 0 19 0 286867376 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461139241768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23088/tid=23106] ppid=23086 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/23088/task/23106/stat : 23106 (java) S 23086 23088 20249 0 -1 4202560 28 0 0 0 4 0 0 0 20 0 19 0 286867376 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461138188968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23107] ppid=23086 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/23088/task/23107/stat : 23107 (java) S 23086 23088 20249 0 -1 4202560 24 0 0 0 3 2 0 0 20 0 19 0 286867376 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461137136168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23109] ppid=23086 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/23088/task/23109/stat : 23109 (java) S 23086 23088 20249 0 -1 4202560 33 0 0 0 4 2 0 0 20 0 19 0 286867376 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461136083368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23110] ppid=23086 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/23088/task/23110/stat : 23110 (java) S 23086 23088 20249 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 286867376 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461016607016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23112] ppid=23086 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/23088/task/23112/stat : 23112 (java) S 23086 23088 20249 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 19 0 286867376 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461015554216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23088/tid=23118] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23118/stat : 23118 (java) S 23086 23088 20249 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 286867379 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461003357160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23120] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23120/stat : 23120 (java) S 23086 23088 20249 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286867381 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461002303224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23122] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23122/stat : 23122 (java) S 23086 23088 20249 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286867381 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461001250312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23124] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23124/stat : 23124 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140460261632656 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23126] ppid=23086 vsize=9625004 CPUtime=0.53 cores=0,2,4,6
/proc/23088/task/23126/stat : 23126 (java) S 23086 23088 20249 0 -1 4202560 3610 0 0 0 53 0 0 0 20 0 19 0 286867389 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140460260579768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23088/tid=23127] ppid=23086 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/23088/task/23127/stat : 23127 (java) S 23086 23088 20249 0 -1 4202560 2962 0 1 0 52 0 0 0 20 0 19 0 286867389 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140460259526968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23130] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23130/stat : 23130 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140460258474360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23088/tid=23131] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23131/stat : 23131 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140460257421768 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23134] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23134/stat : 23134 (java) S 23086 23088 20249 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286867519 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140460256368296 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 9625004

[startup+12.7008 s]
/proc/loadavg: 2.16 3.26 3.72 3/213 23135
/proc/meminfo: memFree=29919244/32873844 swapFree=6080/6080

################
# More data... #
################

[pid=23088/tid=23126] ppid=23086 vsize=9625004 CPUtime=0.72 cores=0,2,4,6
/proc/23088/task/23126/stat : 23126 (java) S 23086 23088 20249 0 -1 4202560 3635 0 0 0 72 0 0 0 20 0 19 0 286867389 9856004096 324378 33554432000 1073741824 1073778376 140734312351232 140460260579768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23088/tid=23127] ppid=23086 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/23088/task/23127/stat : 23127 (java) S 23086 23088 20249 0 -1 4202560 3229 0 1 0 78 0 0 0 20 0 19 0 286867389 9856004096 324378 33554432000 1073741824 1073778376 140734312351232 140460259526968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23130] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23130/stat : 23130 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 324378 33554432000 1073741824 1073778376 140734312351232 140460258474360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23088/tid=23131] ppid=23086 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/23088/task/23131/stat : 23131 (java) S 23086 23088 20249 0 -1 4202560 95 0 0 0 18 22 0 0 20 0 19 0 286867389 9856004096 324378 33554432000 1073741824 1073778376 140734312351232 140460257421768 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23088/tid=23134] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23134/stat : 23134 (java) S 23086 23088 20249 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286867519 9856004096 324378 33554432000 1073741824 1073778376 140734312351232 140460256368296 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1668.12
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.26 3/213 23151
/proc/meminfo: memFree=28358100/32873844 swapFree=6080/6080
[pid=23088] ppid=23086 vsize=9625004 CPUtime=1728.17 cores=0,2,4,6
/proc/23088/stat : 23088 (java) S 23086 23088 20249 0 -1 4202496 16677 0 30 0 172685 132 0 0 20 0 19 0 286867363 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140734312342368 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/23088/statm: 2406251 324382 2291 9 0 2396937 0
[pid=23088/tid=23100] ppid=23086 vsize=9625004 CPUtime=1710.59 cores=0,2,4,6
/proc/23088/task/23100/stat : 23100 (java) R 23086 23088 20249 0 -1 4202560 2824 0 6 0 171020 39 0 0 20 0 19 0 286867373 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461179855168 140461017463772 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0
[pid=23088/tid=23102] ppid=23086 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/23088/task/23102/stat : 23102 (java) S 23086 23088 20249 0 -1 4202560 506 0 0 0 54 9 0 0 20 0 19 0 286867376 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461141347368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23088/tid=23103] ppid=23086 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/23088/task/23103/stat : 23103 (java) S 23086 23088 20249 0 -1 4202560 246 0 0 0 60 9 0 0 20 0 19 0 286867376 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461140294568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23105] ppid=23086 vsize=9625004 CPUtime=0.82 cores=0,2,4,6
/proc/23088/task/23105/stat : 23105 (java) S 23086 23088 20249 0 -1 4202560 842 0 0 0 68 14 0 0 20 0 19 0 286867376 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461139241768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23088/tid=23106] ppid=23086 vsize=9625004 CPUtime=0.72 cores=0,2,4,6
/proc/23088/task/23106/stat : 23106 (java) S 23086 23088 20249 0 -1 4202560 269 0 0 0 62 10 0 0 20 0 19 0 286867376 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461138188968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23107] ppid=23086 vsize=9625004 CPUtime=0.81 cores=0,2,4,6
/proc/23088/task/23107/stat : 23107 (java) S 23086 23088 20249 0 -1 4202560 662 0 0 0 68 13 0 0 20 0 19 0 286867376 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461137136168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23109] ppid=23086 vsize=9625004 CPUtime=0.84 cores=0,2,4,6
/proc/23088/task/23109/stat : 23109 (java) S 23086 23088 20249 0 -1 4202560 920 0 0 0 71 13 0 0 20 0 19 0 286867376 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461136083368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23110] ppid=23086 vsize=9625004 CPUtime=0.71 cores=0,2,4,6
/proc/23088/task/23110/stat : 23110 (java) S 23086 23088 20249 0 -1 4202560 441 0 0 0 61 10 0 0 20 0 19 0 286867376 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461016607016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23088/tid=23112] ppid=23086 vsize=9625004 CPUtime=0.8 cores=0,2,4,6
/proc/23088/task/23112/stat : 23112 (java) S 23086 23088 20249 0 -1 4202560 902 0 0 0 67 13 0 0 20 0 19 0 286867376 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461015554216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23088/tid=23118] ppid=23086 vsize=9625004 CPUtime=5.32 cores=0,2,4,6
/proc/23088/task/23118/stat : 23118 (java) S 23086 23088 20249 0 -1 4202560 943 0 0 0 529 3 0 0 20 0 19 0 286867379 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461003357160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23120] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23120/stat : 23120 (java) S 23086 23088 20249 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286867381 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461002303224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23122] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23122/stat : 23122 (java) S 23086 23088 20249 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286867381 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461001250312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23124] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23124/stat : 23124 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140460261632656 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23126] ppid=23086 vsize=9625004 CPUtime=0.72 cores=0,2,4,6
/proc/23088/task/23126/stat : 23126 (java) S 23086 23088 20249 0 -1 4202560 3635 0 0 0 72 0 0 0 20 0 19 0 286867389 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140460260579768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23088/tid=23127] ppid=23086 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/23088/task/23127/stat : 23127 (java) S 23086 23088 20249 0 -1 4202560 3229 0 1 0 78 0 0 0 20 0 19 0 286867389 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140460259526968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23130] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23130/stat : 23130 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140460258474360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23088/tid=23131] ppid=23086 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/23088/task/23131/stat : 23131 (java) S 23086 23088 20249 0 -1 4202560 99 0 0 0 19 23 0 0 20 0 19 0 286867389 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140460257421768 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23134] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23134/stat : 23134 (java) S 23086 23088 20249 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286867519 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140460256368296 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1728.17
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.24 3/213 23151
/proc/meminfo: memFree=28357664/32873844 swapFree=6080/6080
[pid=23088] ppid=23086 vsize=9625004 CPUtime=1788.22 cores=0,2,4,6
/proc/23088/stat : 23088 (java) S 23086 23088 20249 0 -1 4202496 16692 0 30 0 178688 134 0 0 20 0 19 0 286867363 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140734312342368 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/23088/statm: 2406251 324385 2291 9 0 2396937 0
[pid=23088/tid=23100] ppid=23086 vsize=9625004 CPUtime=1770.31 cores=0,2,4,6
/proc/23088/task/23100/stat : 23100 (java) R 23086 23088 20249 0 -1 4202560 2825 0 6 0 176991 40 0 0 20 0 19 0 286867373 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461179855168 140461017681658 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0
[pid=23088/tid=23102] ppid=23086 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/23088/task/23102/stat : 23102 (java) S 23086 23088 20249 0 -1 4202560 510 0 0 0 56 9 0 0 20 0 19 0 286867376 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461141347368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23088/tid=23103] ppid=23086 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/23088/task/23103/stat : 23103 (java) S 23086 23088 20249 0 -1 4202560 250 0 0 0 61 9 0 0 20 0 19 0 286867376 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461140294568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23105] ppid=23086 vsize=9625004 CPUtime=0.83 cores=0,2,4,6
/proc/23088/task/23105/stat : 23105 (java) S 23086 23088 20249 0 -1 4202560 842 0 0 0 69 14 0 0 20 0 19 0 286867376 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461139241768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23088/tid=23106] ppid=23086 vsize=9625004 CPUtime=0.72 cores=0,2,4,6
/proc/23088/task/23106/stat : 23106 (java) S 23086 23088 20249 0 -1 4202560 269 0 0 0 62 10 0 0 20 0 19 0 286867376 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461138188968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23088/tid=23107] ppid=23086 vsize=9625004 CPUtime=0.81 cores=0,2,4,6
/proc/23088/task/23107/stat : 23107 (java) S 23086 23088 20249 0 -1 4202560 662 0 0 0 68 13 0 0 20 0 19 0 286867376 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461137136168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23109] ppid=23086 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/23088/task/23109/stat : 23109 (java) S 23086 23088 20249 0 -1 4202560 920 0 0 0 71 14 0 0 20 0 19 0 286867376 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461136083368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23110] ppid=23086 vsize=9625004 CPUtime=0.71 cores=0,2,4,6
/proc/23088/task/23110/stat : 23110 (java) S 23086 23088 20249 0 -1 4202560 441 0 0 0 61 10 0 0 20 0 19 0 286867376 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461016607016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23088/tid=23112] ppid=23086 vsize=9625004 CPUtime=0.82 cores=0,2,4,6
/proc/23088/task/23112/stat : 23112 (java) S 23086 23088 20249 0 -1 4202560 902 0 0 0 69 13 0 0 20 0 19 0 286867376 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461015554216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23088/tid=23118] ppid=23086 vsize=9625004 CPUtime=5.41 cores=0,2,4,6
/proc/23088/task/23118/stat : 23118 (java) S 23086 23088 20249 0 -1 4202560 945 0 0 0 538 3 0 0 20 0 19 0 286867379 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461003357160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23120] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23120/stat : 23120 (java) S 23086 23088 20249 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286867381 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461002303224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23122] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23122/stat : 23122 (java) S 23086 23088 20249 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286867381 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461001250312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23124] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23124/stat : 23124 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140460261632656 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23126] ppid=23086 vsize=9625004 CPUtime=0.72 cores=0,2,4,6
/proc/23088/task/23126/stat : 23126 (java) S 23086 23088 20249 0 -1 4202560 3635 0 0 0 72 0 0 0 20 0 19 0 286867389 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140460260579768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23088/tid=23127] ppid=23086 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/23088/task/23127/stat : 23127 (java) S 23086 23088 20249 0 -1 4202560 3229 0 1 0 78 0 0 0 20 0 19 0 286867389 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140460259526968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23130] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23130/stat : 23130 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140460258474360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23088/tid=23131] ppid=23086 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/23088/task/23131/stat : 23131 (java) S 23086 23088 20249 0 -1 4202560 103 0 0 0 20 23 0 0 20 0 19 0 286867389 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140460257421768 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23088/tid=23134] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23134/stat : 23134 (java) S 23086 23088 20249 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286867519 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140460256368296 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1788.22
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794 s]
/proc/loadavg: 2.00 2.00 2.24 3/213 23151
/proc/meminfo: memFree=28357788/32873844 swapFree=6080/6080
[pid=23088] ppid=23086 vsize=9625004 CPUtime=1800.01 cores=0,2,4,6
/proc/23088/stat : 23088 (java) S 23086 23088 20249 0 -1 4202496 16698 0 30 0 179867 134 0 0 20 0 19 0 286867363 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140734312342368 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0
/proc/23088/statm: 2406251 324373 2291 9 0 2396937 0
[pid=23088/tid=23100] ppid=23086 vsize=9625004 CPUtime=1781.82 cores=0,2,4,6
/proc/23088/task/23100/stat : 23100 (java) R 23086 23088 20249 0 -1 4202560 2826 0 6 0 178141 41 0 0 20 0 19 0 286867373 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461179855168 140461017452221 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0
[pid=23088/tid=23102] ppid=23086 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/23088/task/23102/stat : 23102 (java) S 23086 23088 20249 0 -1 4202560 510 0 0 0 57 9 0 0 20 0 19 0 286867376 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461141347368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23088/tid=23103] ppid=23086 vsize=9625004 CPUtime=0.71 cores=0,2,4,6
/proc/23088/task/23103/stat : 23103 (java) S 23086 23088 20249 0 -1 4202560 250 0 0 0 62 9 0 0 20 0 19 0 286867376 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461140294568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23105] ppid=23086 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/23088/task/23105/stat : 23105 (java) S 23086 23088 20249 0 -1 4202560 842 0 0 0 72 14 0 0 20 0 19 0 286867376 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461139241768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23088/tid=23106] ppid=23086 vsize=9625004 CPUtime=0.74 cores=0,2,4,6
/proc/23088/task/23106/stat : 23106 (java) S 23086 23088 20249 0 -1 4202560 269 0 0 0 64 10 0 0 20 0 19 0 286867376 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461138188968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23088/tid=23107] ppid=23086 vsize=9625004 CPUtime=0.82 cores=0,2,4,6
/proc/23088/task/23107/stat : 23107 (java) S 23086 23088 20249 0 -1 4202560 662 0 0 0 69 13 0 0 20 0 19 0 286867376 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461137136168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23109] ppid=23086 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/23088/task/23109/stat : 23109 (java) S 23086 23088 20249 0 -1 4202560 923 0 0 0 72 14 0 0 20 0 19 0 286867376 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461136083368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23088/tid=23110] ppid=23086 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/23088/task/23110/stat : 23110 (java) S 23086 23088 20249 0 -1 4202560 441 0 0 0 63 10 0 0 20 0 19 0 286867376 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461016607016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23088/tid=23112] ppid=23086 vsize=9625004 CPUtime=0.83 cores=0,2,4,6
/proc/23088/task/23112/stat : 23112 (java) S 23086 23088 20249 0 -1 4202560 902 0 0 0 70 13 0 0 20 0 19 0 286867376 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461015554216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23088/tid=23118] ppid=23086 vsize=9625004 CPUtime=5.56 cores=0,2,4,6
/proc/23088/task/23118/stat : 23118 (java) S 23086 23088 20249 0 -1 4202560 947 0 0 0 553 3 0 0 20 0 19 0 286867379 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461003357160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23120] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23120/stat : 23120 (java) S 23086 23088 20249 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286867381 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461002303224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23122] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23122/stat : 23122 (java) S 23086 23088 20249 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286867381 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461001250312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23124] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23124/stat : 23124 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140460261632656 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23088/tid=23126] ppid=23086 vsize=9625004 CPUtime=0.72 cores=0,2,4,6
/proc/23088/task/23126/stat : 23126 (java) S 23086 23088 20249 0 -1 4202560 3635 0 0 0 72 0 0 0 20 0 19 0 286867389 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140460260579768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23088/tid=23127] ppid=23086 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/23088/task/23127/stat : 23127 (java) S 23086 23088 20249 0 -1 4202560 3229 0 1 0 78 0 0 0 20 0 19 0 286867389 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140460259526968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23088/tid=23130] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23130/stat : 23130 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140460258474360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23088/tid=23131] ppid=23086 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/23088/task/23131/stat : 23131 (java) S 23086 23088 20249 0 -1 4202560 103 0 0 0 20 23 0 0 20 0 19 0 286867389 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140460257421768 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23088/tid=23134] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/23088/task/23134/stat : 23134 (java) S 23086 23088 20249 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286867519 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140460256368296 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625004

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23088 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=190241
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=740735
# CPU time returned by wait4() is 1795.93
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.07
CPU time (s): 1800.01
CPU user time (s): 1798.67
CPU system time (s): 1.34
CPU usage (%): 100.331
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.19
system time used= 1.74073
maximum resident set size= 1297616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16732
page faults= 30
swaps= 0
block input operations= 25144
block output operations= 1592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40291
involuntary context switches= 12004

runsolver used 6.33104 second user time and 14.1229 second system time

The end

Launcher Data

Begin job on node139 at 2012-05-28 14:17:08
IDJOB=3710297
IDBENCH=89893
IDSOLVER=2289
FILE ID=node139/3710297-1338207428
RUNJOBID= node139-1338207428-23070
PBS_JOBID= 14624580
Free space on /tmp= 71640 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-opm2-z11-s8.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710297-1338207428/watcher-3710297-1338207428 -o /tmp/evaluation-result-3710297-1338207428/solver-3710297-1338207428 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710297-1338207428.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9014f307b4266a1d3ed4d1915c3fbd07
RANDOM SEED=1155374544

node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31118788 kB
Buffers:          429608 kB
Cached:           458564 kB
SwapCached:          828 kB
Active:           684108 kB
Inactive:         216392 kB
Active(anon):       5960 kB
Inactive(anon):     7968 kB
Active(file):     678148 kB
Inactive(file):   208424 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67104692 kB
Dirty:             13960 kB
Writeback:             0 kB
AnonPages:         14300 kB
Mapped:            11096 kB
Shmem:                 8 kB
Slab:             717164 kB
SReclaimable:     159540 kB
SUnreclaim:       557624 kB
KernelStack:        1376 kB
PageTables:         3932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     107340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71636 MiB
End job on node139 at 2012-05-28 14:47:04