Trace number 4118308

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 2.3.6 Resolution PB16SAT (TO)-207 1800.67 1777.34

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-06.lin.opb
MD5SUMe4ba4a3f2bd79be3a11f0c3bfef48c76
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-270
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables882
Total number of constraints1664
Number of constraints which are clauses832
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints832
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 882
Biggest coefficient in the objective function 34
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 13140
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 34
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 13140
Number of bits of the biggest sum of numbers14
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.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4118308-1467227649.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  objective function found
0.26/0.28	c ... done. Wall clock time 0.163s.
0.26/0.28	c declared #vars     882
0.26/0.28	c #constraints  1664
0.26/0.28	c constraints type 
0.26/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 832
0.26/0.28	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 832
0.26/0.28	c 1664 constraints processed.
0.26/0.28	c objective function length is 882 literals
0.26/0.30	c SATISFIABLE
0.26/0.30	c OPTIMIZING...
0.43/0.30	c Got one! Elapsed wall clock time (in seconds):0.183
0.43/0.30	o -55
0.43/0.32	c Got one! Elapsed wall clock time (in seconds):0.206
0.43/0.32	o -57
0.43/0.34	c Got one! Elapsed wall clock time (in seconds):0.227
0.43/0.34	o -58
1.03/0.58	c Got one! Elapsed wall clock time (in seconds):0.463
1.03/0.58	o -67
1.03/0.58	c Got one! Elapsed wall clock time (in seconds):0.469
1.03/0.58	o -89
1.03/0.59	c Got one! Elapsed wall clock time (in seconds):0.474
1.03/0.59	o -91
1.03/0.59	c Got one! Elapsed wall clock time (in seconds):0.479
1.03/0.59	o -92
1.23/0.66	c Got one! Elapsed wall clock time (in seconds):0.545
1.23/0.66	o -93
1.35/0.73	c Got one! Elapsed wall clock time (in seconds):0.615
1.35/0.73	o -94
1.35/0.79	c Got one! Elapsed wall clock time (in seconds):0.677
1.35/0.79	o -113
1.48/0.83	c Got one! Elapsed wall clock time (in seconds):0.715
1.48/0.83	o -115
1.48/0.83	c Got one! Elapsed wall clock time (in seconds):0.718
1.48/0.83	o -123
1.48/0.83	c Got one! Elapsed wall clock time (in seconds):0.721
1.48/0.83	o -125
1.48/0.84	c Got one! Elapsed wall clock time (in seconds):0.724
1.48/0.84	o -126
1.71/0.91	c Got one! Elapsed wall clock time (in seconds):0.796
1.71/0.91	o -127
1.71/0.98	c Got one! Elapsed wall clock time (in seconds):0.869
1.71/0.98	o -128
1.82/1.05	c Got one! Elapsed wall clock time (in seconds):0.936
1.82/1.05	o -129
1.96/1.16	c Got one! Elapsed wall clock time (in seconds):1.047
1.96/1.16	o -130
2.06/1.23	c Got one! Elapsed wall clock time (in seconds):1.114
2.06/1.23	o -132
2.06/1.23	c Got one! Elapsed wall clock time (in seconds):1.115
2.06/1.23	o -133
2.06/1.23	c Got one! Elapsed wall clock time (in seconds):1.117
2.06/1.23	o -135
2.06/1.23	c Got one! Elapsed wall clock time (in seconds):1.119
2.06/1.23	o -136
2.25/1.46	c Got one! Elapsed wall clock time (in seconds):1.345
2.25/1.46	o -140
2.60/1.72	c cleaning 5700 clauses out of 11400 with flag 4001/11400
2.60/1.74	c Got one! Elapsed wall clock time (in seconds):1.627
2.60/1.74	o -141
2.80/1.83	c Got one! Elapsed wall clock time (in seconds):1.715
2.80/1.83	o -142
3.12/2.16	c Got one! Elapsed wall clock time (in seconds):2.048
3.12/2.16	o -143
3.42/2.40	c cleaning 6097 clauses out of 12196 with flag 4003/17896
3.92/2.90	c Got one! Elapsed wall clock time (in seconds):2.788
3.92/2.90	o -144
4.53/3.50	c cleaning 8059 clauses out of 16117 with flag 10021/27914
4.85/3.88	c Got one! Elapsed wall clock time (in seconds):3.763
4.85/3.88	o -147
5.05/4.06	c Got one! Elapsed wall clock time (in seconds):3.95
5.05/4.06	o -149
5.15/4.16	c Got one! Elapsed wall clock time (in seconds):4.045
5.15/4.16	o -150
5.25/4.30	c cleaning 7561 clauses out of 15133 with flag 2010/34989
5.95/4.93	c cleaning 6785 clauses out of 13573 with flag 14012/40990
6.65/5.67	c cleaning 6894 clauses out of 13788 with flag 28012/47990
7.60/6.51	c cleaning 7445 clauses out of 14894 with flag 44012/55990
7.70/6.63	c Got one! Elapsed wall clock time (in seconds):6.517
7.70/6.63	o -152
8.10/7.05	c cleaning 6380 clauses out of 12765 with flag 8073/61306
8.30/7.24	c Got one! Elapsed wall clock time (in seconds):7.126
8.30/7.24	o -154
8.40/7.39	c Got one! Elapsed wall clock time (in seconds):7.275
8.40/7.39	o -155
8.50/7.44	c Got one! Elapsed wall clock time (in seconds):7.325
8.50/7.44	o -156
8.70/7.66	c cleaning 6255 clauses out of 12519 with flag 4044/67440
9.30/8.26	c cleaning 6129 clauses out of 12264 with flag 16044/73440
9.60/8.57	c Got one! Elapsed wall clock time (in seconds):8.454
9.60/8.57	o -157
9.80/8.78	c cleaning 5756 clauses out of 11518 with flag 4038/78823
9.91/8.88	c Got one! Elapsed wall clock time (in seconds):8.763
9.91/8.88	o -158
10.30/9.28	c cleaning 5453 clauses out of 10907 with flag 8007/83968
10.90/9.86	c cleaning 5726 clauses out of 11453 with flag 20005/89967
11.60/10.55	c cleaning 6359 clauses out of 12727 with flag 34005/96967
12.40/11.35	c cleaning 7182 clauses out of 14369 with flag 50007/104968
13.47/12.33	c cleaning 8091 clauses out of 16188 with flag 68009/113969
14.07/12.92	c Got one! Elapsed wall clock time (in seconds):12.808
14.07/12.92	o -160
14.67/13.52	c cleaning 9453 clauses out of 18923 with flag 10001/124795
15.37/14.20	c cleaning 7732 clauses out of 15471 with flag 22003/130796
16.07/14.93	c cleaning 7366 clauses out of 14739 with flag 36003/137796
16.87/15.78	c cleaning 7680 clauses out of 15372 with flag 52001/145795
17.87/16.78	c cleaning 8343 clauses out of 16692 with flag 70001/154795
19.07/17.90	c cleaning 9172 clauses out of 18351 with flag 90005/164797
20.32/19.14	c cleaning 10085 clauses out of 20177 with flag 112001/175795
20.62/19.48	c Got one! Elapsed wall clock time (in seconds):19.363
20.62/19.48	o -161
20.92/19.71	c cleaning 7737 clauses out of 15486 with flag 4004/181189
20.92/19.73	c Got one! Elapsed wall clock time (in seconds):19.615
20.92/19.73	o -164
20.92/19.75	c Got one! Elapsed wall clock time (in seconds):19.641
20.92/19.75	o -165
20.92/19.76	c Got one! Elapsed wall clock time (in seconds):19.643
20.92/19.76	o -166
21.42/20.27	c cleaning 6618 clauses out of 13242 with flag 10104/186682
22.04/20.87	c cleaning 6309 clauses out of 12623 with flag 22438/192681
22.74/21.59	c cleaning 6655 clauses out of 13315 with flag 36607/199682
23.64/22.42	c cleaning 7324 clauses out of 14660 with flag 53015/207682
24.54/23.39	c cleaning 8163 clauses out of 16336 with flag 71442/216682
25.74/24.54	c cleaning 9083 clauses out of 18172 with flag 91716/226681
26.98/25.79	c cleaning 10037 clauses out of 20089 with flag 113793/237681
28.38/27.17	c cleaning 11024 clauses out of 22053 with flag 137795/249682
29.89/28.69	c cleaning 12011 clauses out of 24028 with flag 163793/262681
31.68/30.48	c cleaning 13004 clauses out of 26018 with flag 191795/276682
33.78/32.40	c cleaning 14004 clauses out of 28014 with flag 221795/291682
35.88/34.50	c cleaning 15002 clauses out of 30009 with flag 253793/307681
38.18/36.82	c cleaning 16004 clauses out of 32007 with flag 287793/324681
38.58/37.26	c Got one! Elapsed wall clock time (in seconds):37.145
38.58/37.26	o -168
38.89/37.53	c cleaning 10901 clauses out of 21811 with flag 4009/330489
39.48/38.17	c cleaning 8450 clauses out of 16910 with flag 16009/336489
40.28/38.90	c cleaning 7724 clauses out of 15459 with flag 30007/343488
41.18/39.76	c cleaning 7868 clauses out of 15735 with flag 46007/351488
42.18/40.71	c cleaning 8428 clauses out of 16867 with flag 64007/360488
43.28/41.81	c cleaning 9213 clauses out of 18439 with flag 84007/370488
44.48/43.07	c cleaning 10112 clauses out of 20226 with flag 106007/381488
45.18/43.80	c Got one! Elapsed wall clock time (in seconds):43.684
45.18/43.80	o -169
45.38/43.92	c Got one! Elapsed wall clock time (in seconds):43.81
45.38/43.92	o -170
45.88/44.48	c cleaning 10957 clauses out of 21928 with flag 8105/393302
46.58/45.15	c cleaning 8479 clauses out of 16972 with flag 20286/399303
47.45/45.93	c cleaning 7739 clauses out of 15494 with flag 34522/406304
47.45/45.96	c Got one! Elapsed wall clock time (in seconds):45.851
47.45/45.96	o -171
47.86/46.35	c Got one! Elapsed wall clock time (in seconds):46.234
47.86/46.35	o -172
48.05/46.58	c cleaning 7021 clauses out of 14049 with flag 4163/412598
48.65/47.17	c cleaning 6507 clauses out of 13028 with flag 16560/418598
49.35/47.88	c cleaning 6753 clauses out of 13520 with flag 30800/425597
50.15/48.68	c cleaning 7381 clauses out of 14768 with flag 46975/433598
51.16/49.64	c cleaning 8194 clauses out of 16387 with flag 65008/442598
52.26/50.76	c cleaning 9096 clauses out of 18192 with flag 85006/452597
53.62/52.01	c cleaning 10046 clauses out of 20097 with flag 107008/463598
55.02/53.43	c cleaning 11024 clauses out of 22050 with flag 131006/475597
55.82/54.20	c Got one! Elapsed wall clock time (in seconds):54.084
55.82/54.20	o -174
56.42/54.85	c cleaning 11558 clauses out of 23122 with flag 10001/487693
57.12/55.51	c cleaning 8774 clauses out of 17565 with flag 22003/493694
57.83/56.27	c cleaning 7887 clauses out of 15790 with flag 36001/500693
58.72/57.13	c cleaning 7946 clauses out of 15904 with flag 52003/508694
59.82/58.12	c cleaning 8473 clauses out of 16957 with flag 70001/517693
60.92/59.22	c cleaning 9240 clauses out of 18484 with flag 90001/527693
62.12/60.44	c cleaning 10118 clauses out of 20244 with flag 112001/538693
63.52/61.84	c cleaning 11058 clauses out of 22126 with flag 136001/550693
65.22/63.44	c cleaning 12030 clauses out of 24068 with flag 162001/563693
66.92/65.16	c cleaning 13020 clauses out of 26039 with flag 190003/577694
68.82/67.10	c cleaning 14008 clauses out of 28018 with flag 220001/592693
70.92/69.17	c cleaning 15000 clauses out of 30010 with flag 252001/608693
73.29/71.45	c cleaning 16002 clauses out of 32011 with flag 286003/625694
75.79/73.97	c cleaning 17003 clauses out of 34009 with flag 322003/643694
78.58/76.64	c cleaning 18003 clauses out of 36006 with flag 360003/662694
78.68/76.74	c Got one! Elapsed wall clock time (in seconds):76.631
78.68/76.74	o -176
79.28/77.37	c cleaning 11955 clauses out of 23919 with flag 10006/668610
79.98/78.04	c cleaning 8980 clauses out of 17964 with flag 22006/674610
80.68/78.72	c Got one! Elapsed wall clock time (in seconds):78.609
80.68/78.72	o -177
81.28/79.34	c cleaning 10331 clauses out of 20667 with flag 10007/686293
81.58/79.68	c Got one! Elapsed wall clock time (in seconds):79.565
81.58/79.68	o -178
81.88/79.91	c cleaning 7853 clauses out of 15717 with flag 4030/691674
82.48/80.52	c cleaning 6926 clauses out of 13865 with flag 16125/697675
83.08/81.20	c cleaning 6964 clauses out of 13939 with flag 30125/704675
84.04/82.05	c cleaning 7485 clauses out of 14976 with flag 46139/712676
85.04/83.02	c cleaning 8245 clauses out of 16490 with flag 64137/721675
86.14/84.13	c cleaning 9118 clauses out of 18245 with flag 84137/731675
87.34/85.35	c cleaning 10061 clauses out of 20127 with flag 106137/742675
88.74/86.73	c cleaning 11028 clauses out of 22066 with flag 130137/754675
90.38/88.36	c cleaning 12019 clauses out of 24038 with flag 156137/767675
92.18/90.11	c cleaning 13008 clauses out of 26018 with flag 184135/781674
94.08/92.03	c cleaning 14004 clauses out of 28011 with flag 214137/796675
96.34/94.29	c cleaning 15001 clauses out of 30007 with flag 246137/812675
98.74/96.61	c cleaning 16000 clauses out of 32005 with flag 280138/829674
101.24/99.13	c cleaning 17000 clauses out of 34005 with flag 316138/847674
104.00/101.85	c cleaning 17998 clauses out of 36005 with flag 354138/866674
107.00/104.85	c cleaning 18999 clauses out of 38008 with flag 394141/886675
110.37/108.12	c cleaning 20003 clauses out of 40009 with flag 436141/907675
113.87/111.61	c cleaning 21003 clauses out of 42006 with flag 480141/929675
117.58/115.26	c cleaning 21999 clauses out of 44003 with flag 526141/952675
121.48/119.15	c cleaning 22998 clauses out of 46004 with flag 574141/976675
125.79/123.32	c cleaning 23999 clauses out of 48006 with flag 624141/1001675
130.47/127.96	c cleaning 25003 clauses out of 50006 with flag 676139/1027674
135.47/132.95	c cleaning 26002 clauses out of 52004 with flag 730141/1054675
140.83/138.28	c cleaning 26998 clauses out of 54001 with flag 786139/1082674
143.90/141.22	c Got one! Elapsed wall clock time (in seconds):141.11
143.90/141.22	o -179
144.90/142.22	c cleaning 24469 clauses out of 48952 with flag 10091/1104623
145.70/143.09	c cleaning 15233 clauses out of 30484 with flag 22297/1110624
146.60/143.94	c cleaning 11119 clauses out of 22250 with flag 36347/1117623
147.50/144.85	c cleaning 9560 clauses out of 19132 with flag 52349/1125624
148.51/145.83	c cleaning 9279 clauses out of 18572 with flag 70349/1134624
149.61/146.95	c cleaning 9643 clauses out of 19292 with flag 90353/1144623
150.91/148.22	c cleaning 10324 clauses out of 20650 with flag 112489/1155624
152.36/149.68	c cleaning 11156 clauses out of 22325 with flag 136488/1167623
153.85/151.18	c cleaning 12080 clauses out of 24169 with flag 162488/1180623
155.55/152.84	c cleaning 13043 clauses out of 26090 with flag 190490/1194624
157.47/154.70	c cleaning 14019 clauses out of 28046 with flag 220489/1209623
159.47/156.76	c cleaning 15010 clauses out of 30027 with flag 252489/1225623
161.70/158.98	c cleaning 16004 clauses out of 32018 with flag 286491/1242624
164.10/161.32	c cleaning 17004 clauses out of 34013 with flag 322489/1260623
166.83/164.02	c cleaning 18000 clauses out of 36009 with flag 360490/1279623
169.72/166.94	c cleaning 19002 clauses out of 38010 with flag 400493/1299624
172.75/169.97	c cleaning 20001 clauses out of 40009 with flag 442501/1320625
176.10/173.25	c cleaning 21000 clauses out of 42007 with flag 486775/1342624
179.60/176.72	c cleaning 22000 clauses out of 44006 with flag 532854/1365623
183.34/180.42	c cleaning 22999 clauses out of 46007 with flag 580857/1389624
184.64/181.76	c Got one! Elapsed wall clock time (in seconds):181.648
184.64/181.76	o -180
185.43/182.57	c cleaning 18865 clauses out of 37743 with flag 10084/1404359
185.54/182.65	c Got one! Elapsed wall clock time (in seconds):182.535
185.54/182.65	o -181
186.16/183.28	c cleaning 12289 clauses out of 24585 with flag 10221/1410066
186.26/183.30	c Got one! Elapsed wall clock time (in seconds):183.187
186.26/183.30	o -182
186.77/183.83	c cleaning 8752 clauses out of 17520 with flag 10098/1415290
187.36/184.43	c cleaning 7377 clauses out of 14768 with flag 22227/1421290
188.06/185.10	c cleaning 7187 clauses out of 14390 with flag 36238/1428289
188.87/185.91	c cleaning 7602 clauses out of 15203 with flag 52318/1436289
189.69/186.71	c Got one! Elapsed wall clock time (in seconds):186.602
189.69/186.71	o -184
190.28/187.33	c cleaning 10214 clauses out of 20437 with flag 10083/1449125
190.88/187.94	c cleaning 8109 clauses out of 16223 with flag 22133/1455125
191.58/188.66	c cleaning 7554 clauses out of 15115 with flag 36264/1462126
192.41/189.47	c cleaning 7778 clauses out of 15562 with flag 52311/1470127
193.41/190.45	c cleaning 8387 clauses out of 16782 with flag 70453/1479125
194.61/191.63	c cleaning 9195 clauses out of 18396 with flag 90683/1489126
195.93/192.94	c cleaning 10100 clauses out of 20200 with flag 112681/1500125
197.43/194.43	c cleaning 11050 clauses out of 22100 with flag 136681/1512125
199.03/196.09	c cleaning 12021 clauses out of 24051 with flag 162683/1525126
200.95/197.91	c cleaning 13011 clauses out of 26029 with flag 190879/1539125
202.85/199.80	c cleaning 14008 clauses out of 28018 with flag 221177/1554125
204.97/201.95	c cleaning 15000 clauses out of 30011 with flag 253240/1570126
207.37/204.33	c cleaning 15998 clauses out of 32010 with flag 287240/1587125
209.91/206.85	c cleaning 17006 clauses out of 34012 with flag 323360/1605125
212.74/209.63	c cleaning 18001 clauses out of 36006 with flag 361607/1624125
215.64/212.51	c cleaning 19002 clauses out of 38006 with flag 401703/1644126
218.77/215.65	c cleaning 19997 clauses out of 40004 with flag 443718/1665126
222.40/219.24	c cleaning 21000 clauses out of 42006 with flag 487911/1687125
226.14/222.95	c cleaning 21998 clauses out of 44006 with flag 534277/1710125
230.17/226.92	c cleaning 23003 clauses out of 46008 with flag 582277/1734125
234.40/231.13	c cleaning 24003 clauses out of 48005 with flag 632277/1759125
238.88/235.55	c cleaning 24997 clauses out of 50003 with flag 684279/1785126
243.49/240.17	c cleaning 26001 clauses out of 52006 with flag 738279/1812126
248.82/245.45	c cleaning 26997 clauses out of 54004 with flag 794277/1840125
254.54/251.12	c cleaning 27995 clauses out of 56008 with flag 852279/1869126
260.60/257.11	c cleaning 29002 clauses out of 58013 with flag 912279/1899126
267.23/263.72	c cleaning 30002 clauses out of 60011 with flag 974279/1930126
273.83/270.20	c cleaning 31000 clauses out of 62009 with flag 1038279/1962126
277.66/274.09	c Got one! Elapsed wall clock time (in seconds):273.974
277.66/274.09	o -185
278.95/275.33	c cleaning 28972 clauses out of 57962 with flag 10001/1989079
279.86/276.24	c cleaning 17490 clauses out of 34991 with flag 22003/1995080
280.78/277.13	c cleaning 12244 clauses out of 24500 with flag 36001/2002079
281.68/278.01	c cleaning 10119 clauses out of 20256 with flag 52001/2010079
282.58/278.98	c cleaning 9564 clauses out of 19138 with flag 70003/2019080
283.70/280.08	c cleaning 9782 clauses out of 19574 with flag 90003/2029080
285.01/281.39	c cleaning 10393 clauses out of 20791 with flag 112001/2040079
286.42/282.76	c cleaning 11197 clauses out of 22398 with flag 136001/2052079
287.94/284.28	c cleaning 12096 clauses out of 24202 with flag 162003/2065080
289.76/286.00	c cleaning 13048 clauses out of 26106 with flag 190003/2079080
291.66/287.99	c cleaning 14027 clauses out of 28058 with flag 220003/2094080
293.87/290.11	c cleaning 15011 clauses out of 30030 with flag 252001/2110079
296.29/292.50	c cleaning 16003 clauses out of 32019 with flag 286001/2127079
298.89/295.16	c cleaning 17006 clauses out of 34016 with flag 322001/2145079
301.73/297.99	c cleaning 17999 clauses out of 36010 with flag 360001/2164079
304.75/300.99	c cleaning 19000 clauses out of 38012 with flag 400003/2184080
308.10/304.25	c cleaning 20003 clauses out of 40011 with flag 442001/2205079
311.55/307.68	c cleaning 21002 clauses out of 42008 with flag 486001/2227079
315.47/311.52	c cleaning 22003 clauses out of 44008 with flag 532005/2250081
319.64/315.70	c cleaning 22997 clauses out of 46004 with flag 580003/2274080
324.18/320.15	c cleaning 24002 clauses out of 48007 with flag 630003/2299080
329.05/324.99	c cleaning 25001 clauses out of 50004 with flag 682001/2325079
334.16/329.97	c cleaning 25998 clauses out of 52004 with flag 736003/2352080
339.68/335.49	c cleaning 26996 clauses out of 54005 with flag 792001/2380079
345.25/340.96	c cleaning 28001 clauses out of 56009 with flag 850001/2409079
351.26/346.83	c cleaning 29000 clauses out of 58009 with flag 910003/2439080
357.30/352.83	c cleaning 30002 clauses out of 60009 with flag 972003/2470080
362.28/357.77	c Got one! Elapsed wall clock time (in seconds):357.662
362.28/357.77	o -186
363.78/359.21	c cleaning 31340 clauses out of 62691 with flag 10004/2502764
364.71/360.17	c cleaning 18666 clauses out of 37350 with flag 22002/2508763
365.61/361.04	c cleaning 12834 clauses out of 25684 with flag 36002/2515763
366.54/361.94	c cleaning 10417 clauses out of 20850 with flag 52002/2523763
367.53/362.92	c cleaning 9710 clauses out of 19434 with flag 70004/2532764
368.65/364.10	c cleaning 9854 clauses out of 19723 with flag 90002/2542763
369.99/365.32	c cleaning 10430 clauses out of 20869 with flag 112002/2553763
371.39/366.76	c cleaning 11217 clauses out of 22440 with flag 136004/2565764
373.00/368.37	c cleaning 12112 clauses out of 24224 with flag 162006/2578765
374.82/370.17	c cleaning 13052 clauses out of 26111 with flag 190004/2592764
376.84/372.13	c cleaning 14024 clauses out of 28058 with flag 220002/2607763
379.08/374.31	c cleaning 15011 clauses out of 30034 with flag 252002/2623763
381.41/376.63	c cleaning 16008 clauses out of 32023 with flag 286002/2640763
383.96/379.16	c cleaning 17008 clauses out of 34017 with flag 322006/2658765
385.06/380.20	c Got one! Elapsed wall clock time (in seconds):380.085
385.06/380.20	o -187
385.51/380.68	c Got one! Elapsed wall clock time (in seconds):380.564
385.51/380.68	o -188
385.90/381.01	c cleaning 15527 clauses out of 31064 with flag 4010/2672820
386.61/381.71	c cleaning 10765 clauses out of 21538 with flag 16012/2678821
387.32/382.47	c cleaning 8879 clauses out of 17772 with flag 30010/2685820
388.14/383.29	c cleaning 8439 clauses out of 16894 with flag 46012/2693821
389.14/384.22	c cleaning 8725 clauses out of 17455 with flag 64012/2702821
389.65/384.76	c Got one! Elapsed wall clock time (in seconds):384.645
389.65/384.76	o -190
390.25/385.35	c cleaning 9617 clauses out of 19235 with flag 10007/2713326
390.86/385.96	c cleaning 7800 clauses out of 15617 with flag 22005/2719325
391.56/386.66	c cleaning 7406 clauses out of 14818 with flag 36007/2726326
392.39/387.49	c cleaning 7703 clauses out of 15412 with flag 52007/2734326
393.42/388.43	c cleaning 8348 clauses out of 16708 with flag 70006/2743325
394.52/389.50	c cleaning 9177 clauses out of 18361 with flag 90008/2753326
395.72/390.72	c cleaning 10091 clauses out of 20185 with flag 112010/2764327
397.14/392.12	c cleaning 11045 clauses out of 22094 with flag 136010/2776327
398.65/393.67	c cleaning 12022 clauses out of 24048 with flag 162008/2789326
400.50/395.50	c cleaning 13007 clauses out of 26025 with flag 190006/2803325
402.62/397.51	c cleaning 14005 clauses out of 28019 with flag 220010/2818326
404.97/399.83	c cleaning 15006 clauses out of 30014 with flag 252010/2834326
407.44/402.27	c cleaning 15998 clauses out of 32007 with flag 286008/2851325
410.17/404.94	c cleaning 17004 clauses out of 34009 with flag 322008/2869325
413.15/407.83	c cleaning 17997 clauses out of 36006 with flag 360010/2888326
416.19/410.83	c cleaning 18999 clauses out of 38009 with flag 400010/2908326
419.41/414.05	c cleaning 20000 clauses out of 40009 with flag 442008/2929325
422.95/417.52	c cleaning 20999 clauses out of 42010 with flag 486010/2951326
426.69/421.28	c cleaning 22003 clauses out of 44010 with flag 532008/2974325
430.93/425.47	c cleaning 23001 clauses out of 46007 with flag 580008/2998325
435.47/429.94	c cleaning 23999 clauses out of 48007 with flag 630011/3023326
439.95/434.39	c cleaning 24997 clauses out of 50008 with flag 682011/3049326
444.82/439.11	c cleaning 26001 clauses out of 52010 with flag 736009/3076325
449.97/444.28	c cleaning 27001 clauses out of 54009 with flag 792009/3104325
454.41/448.66	c Got one! Elapsed wall clock time (in seconds):448.546
454.41/448.66	o -191
455.62/449.87	c cleaning 28529 clauses out of 57070 with flag 10011/3134387
456.52/450.74	c cleaning 17267 clauses out of 34542 with flag 22013/3140388
457.42/451.62	c cleaning 12131 clauses out of 24275 with flag 36013/3147388
458.32/452.57	c cleaning 10066 clauses out of 20143 with flag 52011/3155387
459.34/453.58	c cleaning 9531 clauses out of 19079 with flag 70015/3164389
460.54/454.72	c cleaning 9769 clauses out of 19546 with flag 90011/3174387
461.74/455.99	c cleaning 10385 clauses out of 20778 with flag 112013/3185388
463.28/457.42	c cleaning 11193 clauses out of 22393 with flag 136014/3197388
464.79/458.99	c cleaning 12095 clauses out of 24199 with flag 162012/3210387
466.60/460.75	c cleaning 13049 clauses out of 26105 with flag 190014/3224388
468.62/462.70	c cleaning 14028 clauses out of 28055 with flag 220012/3239387
470.83/464.92	c cleaning 15011 clauses out of 30027 with flag 252012/3255387
473.15/467.25	c cleaning 16004 clauses out of 32016 with flag 286013/3272387
475.67/469.79	c cleaning 17003 clauses out of 34014 with flag 322018/3290389
478.61/472.68	c cleaning 18002 clauses out of 36010 with flag 360016/3309388
481.88/475.83	c cleaning 19004 clauses out of 38008 with flag 400017/3329388
485.31/479.19	c cleaning 20000 clauses out of 40004 with flag 442017/3350388
489.16/482.98	c cleaning 21001 clauses out of 42004 with flag 486018/3372388
492.28/486.08	c Got one! Elapsed wall clock time (in seconds):485.963
492.28/486.08	o -192
493.43/487.15	c cleaning 22975 clauses out of 45962 with flag 10026/3397347
494.33/488.00	c cleaning 14492 clauses out of 28986 with flag 22382/3403346
495.14/488.83	c cleaning 10742 clauses out of 21495 with flag 36445/3410347
496.05/489.73	c cleaning 9370 clauses out of 18752 with flag 52669/3418346
497.06/490.72	c cleaning 9188 clauses out of 18383 with flag 71096/3427347
498.20/491.83	c cleaning 9594 clauses out of 19195 with flag 91321/3437347
499.40/493.06	c cleaning 10300 clauses out of 20600 with flag 113579/3448346
500.82/494.41	c cleaning 11147 clauses out of 22301 with flag 138197/3460347
502.33/495.94	c cleaning 12075 clauses out of 24153 with flag 164852/3473346
502.64/496.28	c Got one! Elapsed wall clock time (in seconds):496.171
502.64/496.28	o -195
502.93/496.53	c cleaning 8727 clauses out of 17465 with flag 4001/3478733
503.54/497.15	c cleaning 7365 clauses out of 14738 with flag 16001/3484733
504.25/497.88	c cleaning 7178 clauses out of 14373 with flag 30001/3491733
505.15/498.73	c cleaning 7591 clauses out of 15195 with flag 46001/3499733
506.15/499.73	c cleaning 8301 clauses out of 16605 with flag 64003/3508734
507.28/500.88	c cleaning 9148 clauses out of 18304 with flag 84003/3518734
508.60/502.13	c cleaning 10075 clauses out of 20155 with flag 106001/3529733
510.12/503.60	c cleaning 11036 clauses out of 22080 with flag 130001/3541733
511.74/505.27	c cleaning 12019 clauses out of 24045 with flag 156003/3554734
513.70/507.12	c cleaning 13011 clauses out of 26025 with flag 184001/3568733
515.72/509.19	c cleaning 14007 clauses out of 28015 with flag 214003/3583734
518.06/511.49	c cleaning 15002 clauses out of 30007 with flag 246001/3599733
520.53/513.88	c cleaning 15999 clauses out of 32005 with flag 280001/3616733
523.26/516.57	c cleaning 17000 clauses out of 34007 with flag 316003/3634734
526.21/519.46	c cleaning 18000 clauses out of 36007 with flag 354003/3653734
529.45/522.63	c cleaning 19003 clauses out of 38006 with flag 394001/3673733
532.98/526.19	c cleaning 20000 clauses out of 40003 with flag 436001/3694733
536.78/529.87	c cleaning 21000 clauses out of 42004 with flag 480003/3716734
540.63/533.65	c cleaning 22001 clauses out of 44003 with flag 526001/3739733
545.00/537.95	c cleaning 23001 clauses out of 46002 with flag 574001/3763733
549.59/542.44	c cleaning 23995 clauses out of 48002 with flag 624003/3788734
554.22/547.05	c cleaning 25001 clauses out of 50007 with flag 676003/3814734
559.20/552.00	c cleaning 26002 clauses out of 52005 with flag 730001/3841733
564.39/557.01	c cleaning 26999 clauses out of 54003 with flag 786001/3869733
569.95/562.50	c cleaning 27999 clauses out of 56004 with flag 844001/3898733
575.74/568.28	c cleaning 28996 clauses out of 58005 with flag 904001/3928733
582.21/574.69	c cleaning 30000 clauses out of 60009 with flag 966001/3959733
589.43/581.72	c cleaning 31000 clauses out of 62009 with flag 1030001/3991733
596.53/588.73	c cleaning 32000 clauses out of 64010 with flag 1096003/4024734
604.47/596.60	c cleaning 33005 clauses out of 66009 with flag 1164001/4058733
612.70/604.60	c cleaning 33999 clauses out of 68004 with flag 1234001/4093733
620.69/612.59	c cleaning 35000 clauses out of 70005 with flag 1306001/4129733
629.55/621.22	c cleaning 36000 clauses out of 72005 with flag 1380001/4166733
638.29/629.85	c cleaning 36996 clauses out of 74005 with flag 1456001/4204733
647.09/638.56	c cleaning 38001 clauses out of 76010 with flag 1534003/4243734
656.10/647.41	c cleaning 39000 clauses out of 78009 with flag 1614003/4283734
666.31/657.56	c cleaning 40000 clauses out of 80008 with flag 1696001/4324733
676.13/667.22	c cleaning 41002 clauses out of 82009 with flag 1780003/4366734
686.25/677.26	c cleaning 42003 clauses out of 84008 with flag 1866005/4409735
697.40/688.25	c cleaning 42998 clauses out of 86004 with flag 1954003/4453734
709.33/700.07	c cleaning 43999 clauses out of 88005 with flag 2044001/4498733
721.19/711.75	c cleaning 44996 clauses out of 90006 with flag 2136001/4544733
733.97/724.45	c cleaning 46001 clauses out of 92011 with flag 2230003/4591734
747.27/737.56	c cleaning 47002 clauses out of 94010 with flag 2326003/4639734
760.56/750.67	c cleaning 48004 clauses out of 96007 with flag 2424001/4688733
775.14/765.01	c cleaning 48999 clauses out of 98003 with flag 2524001/4738733
787.38/777.17	c Got one! Elapsed wall clock time (in seconds):777.054
787.38/777.17	o -196
789.88/779.62	c cleaning 48650 clauses out of 97309 with flag 10002/4787038
791.20/780.97	c cleaning 27322 clauses out of 54660 with flag 22004/4793039
792.43/782.14	c cleaning 17162 clauses out of 34338 with flag 36004/4800039
793.53/783.20	c cleaning 12584 clauses out of 25175 with flag 52002/4808038
794.65/784.35	c cleaning 10788 clauses out of 21592 with flag 70004/4817039
795.88/785.52	c cleaning 10395 clauses out of 20804 with flag 90004/4827039
797.19/786.83	c cleaning 10699 clauses out of 21408 with flag 112002/4838038
798.62/788.30	c cleaning 11355 clauses out of 22710 with flag 136004/4850039
800.25/789.87	c cleaning 12172 clauses out of 24355 with flag 162004/4863039
801.97/791.59	c cleaning 13091 clauses out of 26182 with flag 190002/4877038
804.01/793.54	c cleaning 14041 clauses out of 28092 with flag 220004/4892039
806.15/795.63	c cleaning 15020 clauses out of 30050 with flag 252002/4908038
808.71/798.10	c cleaning 16014 clauses out of 32030 with flag 286002/4925038
811.35/800.76	c cleaning 17008 clauses out of 34017 with flag 322004/4943039
814.19/803.57	c cleaning 18002 clauses out of 36008 with flag 360002/4962038
817.38/806.69	c cleaning 19002 clauses out of 38006 with flag 400002/4982038
820.92/810.19	c cleaning 19998 clauses out of 40005 with flag 442004/5003039
824.73/813.98	c cleaning 20999 clauses out of 42006 with flag 486003/5025038
828.68/817.87	c cleaning 21997 clauses out of 44007 with flag 532007/5048038
832.96/822.03	c cleaning 22998 clauses out of 46010 with flag 580007/5072038
837.27/826.25	c cleaning 24002 clauses out of 48012 with flag 630007/5097038
841.96/830.83	c cleaning 25002 clauses out of 50011 with flag 682009/5123039
847.10/835.99	c cleaning 25999 clauses out of 52008 with flag 736007/5150038
852.35/841.14	c cleaning 27002 clauses out of 54010 with flag 792009/5178039
857.94/846.60	c cleaning 27998 clauses out of 56008 with flag 850009/5207039
863.71/852.36	c cleaning 29000 clauses out of 58010 with flag 910009/5237039
870.02/858.56	c cleaning 30004 clauses out of 60010 with flag 972009/5268039
876.72/865.10	c cleaning 30997 clauses out of 62006 with flag 1036009/5300039
883.51/871.81	c cleaning 32000 clauses out of 64008 with flag 1102007/5333038
890.29/878.56	c cleaning 33005 clauses out of 66010 with flag 1170011/5367040
897.74/885.82	c cleaning 33995 clauses out of 68003 with flag 1240018/5402038
906.36/894.35	c cleaning 35001 clauses out of 70009 with flag 1312021/5438039
914.48/902.34	c cleaning 36000 clauses out of 72007 with flag 1386019/5475038
923.10/910.81	c cleaning 36997 clauses out of 74007 with flag 1462020/5513038
931.89/919.54	c cleaning 38002 clauses out of 76010 with flag 1540063/5552038
942.90/930.41	c cleaning 38998 clauses out of 78008 with flag 1620065/5592038
953.61/941.01	c cleaning 40000 clauses out of 80011 with flag 1702075/5633039
964.39/951.74	c cleaning 41003 clauses out of 82011 with flag 1786075/5675039
975.52/962.72	c cleaning 42000 clauses out of 84008 with flag 1872075/5718039
987.17/974.23	c cleaning 43000 clauses out of 86007 with flag 1960073/5762038
1000.17/987.08	c cleaning 43999 clauses out of 88007 with flag 2050073/5807038
1012.32/999.05	c cleaning 45002 clauses out of 90009 with flag 2142105/5853039
1025.56/1012.18	c cleaning 46003 clauses out of 92006 with flag 2236103/5900038
1038.31/1024.71	c cleaning 47002 clauses out of 94004 with flag 2332105/5948039
1051.60/1037.88	c cleaning 47998 clauses out of 96001 with flag 2430134/5997038
1066.54/1052.65	c cleaning 48998 clauses out of 98003 with flag 2530145/6047038
1082.67/1068.56	c cleaning 49997 clauses out of 100005 with flag 2632145/6098038
1099.14/1084.84	c cleaning 50997 clauses out of 102008 with flag 2736145/6150038
1116.13/1101.60	c cleaning 52000 clauses out of 104011 with flag 2842145/6203038
1128.67/1114.02	c Got one! Elapsed wall clock time (in seconds):1113.911
1128.67/1114.02	o -198
1130.68/1116.03	c cleaning 50018 clauses out of 100040 with flag 10061/6251067
1131.89/1117.28	c cleaning 28004 clauses out of 56022 with flag 22128/6257067
1133.00/1118.30	c cleaning 17505 clauses out of 35019 with flag 36287/6264068
1133.90/1119.28	c cleaning 12748 clauses out of 25513 with flag 52354/6272067
1135.01/1120.35	c cleaning 10877 clauses out of 21765 with flag 70354/6281067
1136.14/1121.49	c cleaning 10436 clauses out of 20888 with flag 90483/6291067
1137.49/1122.73	c cleaning 10721 clauses out of 21452 with flag 112589/6302067
1138.82/1124.07	c cleaning 11360 clauses out of 22733 with flag 136806/6314069
1140.48/1125.66	c cleaning 12183 clauses out of 24371 with flag 163173/6327067
1142.20/1127.37	c cleaning 13092 clauses out of 26189 with flag 191371/6341068
1144.14/1129.26	c cleaning 14042 clauses out of 28098 with flag 221373/6356069
1146.38/1131.44	c cleaning 15023 clauses out of 30054 with flag 253375/6372067
1148.72/1133.78	c cleaning 16013 clauses out of 32032 with flag 287377/6389068
1151.16/1136.18	c cleaning 17006 clauses out of 34018 with flag 323391/6407067
1154.11/1139.01	c cleaning 18003 clauses out of 36012 with flag 361798/6426067
1157.13/1142.02	c cleaning 19003 clauses out of 38010 with flag 402103/6446068
1158.34/1143.20	c Got one! Elapsed wall clock time (in seconds):1143.087
1158.34/1143.20	o -200
1159.04/1143.99	c cleaning 16520 clauses out of 33052 with flag 10003/6460113
1159.86/1144.73	c cleaning 11259 clauses out of 22533 with flag 22005/6466114
1160.66/1145.54	c cleaning 9131 clauses out of 18272 with flag 36001/6473112
1161.56/1146.47	c cleaning 8564 clauses out of 17141 with flag 52001/6481112
1162.69/1147.51	c cleaning 8784 clauses out of 17578 with flag 70003/6490113
1163.90/1148.70	c cleaning 9389 clauses out of 18794 with flag 90003/6500113
1165.09/1149.99	c cleaning 10203 clauses out of 20405 with flag 112003/6511113
1166.51/1151.35	c cleaning 11098 clauses out of 22202 with flag 136003/6523113
1168.14/1152.94	c cleaning 12051 clauses out of 24104 with flag 162003/6536113
1169.86/1154.66	c cleaning 13022 clauses out of 26052 with flag 190001/6550112
1171.86/1156.69	c cleaning 14013 clauses out of 28031 with flag 220003/6565113
1174.17/1158.90	c cleaning 15003 clauses out of 30017 with flag 252001/6581112
1176.50/1161.28	c cleaning 16005 clauses out of 32014 with flag 286001/6598112
1179.04/1163.80	c cleaning 17002 clauses out of 34010 with flag 322003/6616113
1181.77/1166.50	c cleaning 17998 clauses out of 36007 with flag 360001/6635112
1184.80/1169.46	c cleaning 18998 clauses out of 38009 with flag 400001/6655112
1187.92/1172.57	c cleaning 20003 clauses out of 40011 with flag 442001/6676112
1191.46/1176.07	c cleaning 20998 clauses out of 42008 with flag 486001/6698112
1195.19/1179.75	c cleaning 22003 clauses out of 44011 with flag 532009/6721113
1199.18/1183.63	c cleaning 23002 clauses out of 46008 with flag 580010/6745113
1203.34/1187.77	c cleaning 23998 clauses out of 48006 with flag 630010/6770113
1207.82/1192.13	c cleaning 25001 clauses out of 50009 with flag 682012/6796114
1212.45/1196.74	c cleaning 25999 clauses out of 52007 with flag 736010/6823113
1217.51/1201.72	c cleaning 27004 clauses out of 54007 with flag 792008/6851112
1222.97/1207.14	c cleaning 27996 clauses out of 56004 with flag 850010/6880113
1228.40/1212.58	c cleaning 28999 clauses out of 58008 with flag 910010/6910113
1234.53/1218.53	c cleaning 30000 clauses out of 60008 with flag 972008/6941112
1240.73/1224.63	c cleaning 30999 clauses out of 62008 with flag 1036008/6973112
1247.43/1231.25	c cleaning 32003 clauses out of 64009 with flag 1102008/7006112
1254.42/1238.14	c cleaning 32998 clauses out of 66006 with flag 1170008/7040112
1261.58/1245.28	c cleaning 34002 clauses out of 68009 with flag 1240010/7075113
1268.93/1252.49	c cleaning 34995 clauses out of 70007 with flag 1312010/7111113
1276.99/1260.47	c cleaning 36006 clauses out of 72012 with flag 1386010/7148113
1285.20/1268.59	c cleaning 36998 clauses out of 74006 with flag 1462010/7186113
1294.04/1277.27	c cleaning 38002 clauses out of 76007 with flag 1540008/7225112
1303.15/1286.24	c cleaning 38998 clauses out of 78006 with flag 1620010/7265113
1313.36/1296.30	c cleaning 39999 clauses out of 80007 with flag 1702008/7306112
1324.02/1306.83	c cleaning 41005 clauses out of 82009 with flag 1786010/7348113
1335.33/1318.04	c cleaning 41995 clauses out of 84004 with flag 1872010/7391113
1346.19/1328.76	c cleaning 43001 clauses out of 86009 with flag 1960018/7435113
1357.98/1340.40	c cleaning 43999 clauses out of 88008 with flag 2050018/7480113
1370.38/1352.75	c cleaning 45001 clauses out of 90008 with flag 2142016/7526112
1383.05/1365.25	c cleaning 45998 clauses out of 92007 with flag 2236017/7573112
1396.26/1378.31	c cleaning 47000 clauses out of 94010 with flag 2332019/7621113
1411.02/1392.96	c cleaning 48004 clauses out of 96010 with flag 2430019/7670113
1424.46/1406.25	c cleaning 48996 clauses out of 98005 with flag 2530017/7720112
1438.30/1419.96	c cleaning 49997 clauses out of 100010 with flag 2632019/7771113
1454.70/1436.16	c cleaning 51004 clauses out of 102013 with flag 2736019/7823113
1470.33/1451.52	c cleaning 52001 clauses out of 104010 with flag 2842021/7876114
1485.82/1466.81	c cleaning 53000 clauses out of 106007 with flag 2950017/7930112
1502.53/1483.38	c cleaning 53999 clauses out of 108008 with flag 3060019/7985113
1521.97/1502.59	c cleaning 54999 clauses out of 110008 with flag 3172017/8041112
1542.45/1522.80	c cleaning 55998 clauses out of 112010 with flag 3286019/8098113
1561.26/1541.45	c cleaning 57003 clauses out of 114011 with flag 3402017/8156112
1581.29/1561.26	c cleaning 57999 clauses out of 116009 with flag 3520019/8215113
1601.44/1581.17	c cleaning 59001 clauses out of 118009 with flag 3640017/8275112
1622.16/1601.64	c cleaning 60000 clauses out of 120008 with flag 3762017/8336112
1643.48/1622.73	c cleaning 60998 clauses out of 122009 with flag 3886019/8398113
1667.55/1646.41	c cleaning 62003 clauses out of 124011 with flag 4012019/8461113
1691.05/1669.78	c cleaning 63004 clauses out of 126007 with flag 4140017/8525112
1708.19/1686.76	c Got one! Elapsed wall clock time (in seconds):1686.65
1708.19/1686.76	o -202
1708.59/1687.11	c Got one! Elapsed wall clock time (in seconds):1686.994
1708.59/1687.11	o -207
1711.82/1690.32	c cleaning 60595 clauses out of 121203 with flag 10051/8583312
1713.43/1691.93	c cleaning 33297 clauses out of 66608 with flag 22051/8589312
1714.67/1693.17	c cleaning 20151 clauses out of 40312 with flag 36053/8596313
1715.79/1694.24	c cleaning 14078 clauses out of 28161 with flag 52053/8604313
1716.82/1695.28	c cleaning 11536 clauses out of 23082 with flag 70051/8613312
1718.03/1696.47	c cleaning 10763 clauses out of 21546 with flag 90051/8623312
1719.38/1697.75	c cleaning 10886 clauses out of 21783 with flag 112051/8634312
1720.79/1699.14	c cleaning 11443 clauses out of 22897 with flag 136051/8646312
1722.31/1700.70	c cleaning 12223 clauses out of 24455 with flag 162053/8659313
1724.19/1702.40	c cleaning 13109 clauses out of 26231 with flag 190051/8673312
1726.20/1704.42	c cleaning 14062 clauses out of 28123 with flag 220053/8688313
1728.23/1706.48	c cleaning 15029 clauses out of 30061 with flag 252053/8704313
1730.55/1708.70	c cleaning 16012 clauses out of 32031 with flag 286051/8721312
1733.10/1711.22	c cleaning 17009 clauses out of 34021 with flag 322055/8739314
1735.87/1713.94	c cleaning 18003 clauses out of 36010 with flag 360051/8758312
1738.79/1716.87	c cleaning 19003 clauses out of 38008 with flag 400053/8778313
1742.03/1720.00	c cleaning 19995 clauses out of 40004 with flag 442057/8799312
1745.30/1723.29	c cleaning 20999 clauses out of 42009 with flag 486057/8821312
1749.13/1727.02	c cleaning 22000 clauses out of 44011 with flag 532200/8844313
1753.25/1731.18	c cleaning 23001 clauses out of 46010 with flag 580251/8868312
1758.06/1735.84	c cleaning 23998 clauses out of 48009 with flag 630325/8893312
1763.00/1740.76	c cleaning 25002 clauses out of 50012 with flag 682337/8919313
1768.21/1745.90	c cleaning 25999 clauses out of 52009 with flag 736336/8946312
1773.97/1751.63	c cleaning 27004 clauses out of 54010 with flag 792340/8974312
1779.73/1757.34	c cleaning 27999 clauses out of 56007 with flag 850348/9003313
1786.06/1763.53	c cleaning 28999 clauses out of 58007 with flag 910346/9033312
1792.46/1769.87	c cleaning 29999 clauses out of 60008 with flag 972346/9064312
1798.60/1775.99	c cleaning 31002 clauses out of 62010 with flag 1036348/9096313
1800.03/1777.30	c starts		: 71
1800.03/1777.30	c conflicts		: 9105198
1800.03/1777.30	c decisions		: 9108770
1800.03/1777.30	c propagations		: 283451171
1800.03/1777.30	c inspects		: 25898904538
1800.03/1777.30	c shortcuts		: 0
1800.03/1777.30	c learnt literals	: 0
1800.03/1777.30	c learnt binary clauses	: 0
1800.03/1777.30	c learnt ternary clauses	: 22
1800.03/1777.30	c learnt constraints	: 9105198
1800.03/1777.30	c ignored constraints	: 0
1800.03/1777.30	c root simplifications	: 0
1800.03/1777.30	c removed literals (reason simplification)	: 0
1800.03/1777.30	c reason swapping (by a shorter reason)	: 0
1800.03/1777.30	c Calls to reduceDB	: 447
1800.03/1777.30	c Number of update (reduction) of LBD	: 307
1800.03/1777.30	c Imported unit clauses	: 0
1800.03/1777.30	c number of reductions to clauses (during analyze)	: 0
1800.03/1777.30	c number of learned constraints concerned by reduction	: 0
1800.03/1777.30	c number of learning phase by resolution	: 0
1800.03/1777.30	c number of learning phase by cutting planes	: 0
1800.03/1777.30	c speed (assignments/second)	: 159509.1847535848
1800.03/1777.30	c non guided choices	0
1800.03/1777.32	c learnt constraints type 
1800.03/1777.32	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 39893
1800.03/1777.32	s SATISFIABLE
1800.03/1777.32	c Found 68 solution(s)
1800.03/1777.32	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 
1800.03/1777.32	c objective function=-207
1800.03/1777.32	c Total wall clock time (in seconds): 1777.21

Verifier Data 

OK	-207

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4118308-1467227649/watcher-4118308-1467227649 -o /tmp/evaluation-result-4118308-1467227649/solver-4118308-1467227649 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467227648-12919 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118308-1467227649.opb 

pid=12933
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.32 2.36 2.90 3/170 12936
/proc/meminfo: memFree=28544628/32872528 swapFree=1459092/1655316
[pid=12936] ppid=12933 vsize=268 CPUtime=0 cores=0,2,4,6
/proc/12936/stat : 12936 (java) R 12933 12936 5267 0 -1 4194304 333 0 0 0 0 0 0 0 20 0 1 0 3716090 274432 4 33554432000 0 0 140736236725807 140733270948968 239872929207 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12936/statm: 67 14 8 9 0 24 0

[startup+0.100163 s]
/proc/loadavg: 2.32 2.36 2.90 3/170 12936
/proc/meminfo: memFree=28544628/32872528 swapFree=1459092/1655316
[pid=12936] ppid=12933 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/12936/stat : 12936 (java) S 12933 12936 5267 0 -1 4202496 4473 0 1 0 8 1 0 0 20 0 18 0 3716090 9787879424 5580 33554432000 1073741824 1073778376 140736236717936 140736236709072 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12936/statm: 2389619 5580 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200219 s]
/proc/loadavg: 2.32 2.36 2.90 3/170 12936
/proc/meminfo: memFree=28544628/32872528 swapFree=1459092/1655316
[pid=12936] ppid=12933 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/12936/stat : 12936 (java) S 12933 12936 5267 0 -1 4202496 4796 0 1 0 25 1 0 0 20 0 18 0 3716090 9787879424 6353 33554432000 1073741824 1073778376 140736236717936 140736236709072 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12936/statm: 2389619 6353 2214 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300303 s]
/proc/loadavg: 2.32 2.36 2.90 3/170 12936
/proc/meminfo: memFree=28544628/32872528 swapFree=1459092/1655316
[pid=12936] ppid=12933 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/12936/stat : 12936 (java) S 12933 12936 5267 0 -1 4202496 5454 0 1 0 42 1 0 0 20 0 19 0 3716090 9856040960 7822 33554432000 1073741824 1073778376 140736236717936 140736236709072 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12936/statm: 2406260 7822 2240 9 0 2396937 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9625040

[startup+0.700277 s]
/proc/loadavg: 2.32 2.36 2.90 3/170 12936
/proc/meminfo: memFree=28544628/32872528 swapFree=1459092/1655316
[pid=12936] ppid=12933 vsize=9625040 CPUtime=1.35 cores=0,2,4,6
/proc/12936/stat : 12936 (java) S 12933 12936 5267 0 -1 4202496 12221 0 1 0 132 3 0 0 20 0 19 0 3716090 9856040960 13909 33554432000 1073741824 1073778376 140736236717936 140736236709072 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12936/statm: 2406260 13909 2250 9 0 2396937 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9625040

[startup+1.50077 s]
/proc/loadavg: 2.32 2.36 2.90 3/213 12986
/proc/meminfo: memFree=28451032/32872528 swapFree=1459092/1655316
[pid=12936] ppid=12933 vsize=9625040 CPUtime=2.36 cores=0,2,4,6
/proc/12936/stat : 12936 (java) S 12933 12936 5267 0 -1 4202496 12276 0 1 0 233 3 0 0 20 0 19 0 3716090 9856040960 19072 33554432000 1073741824 1073778376 140736236717936 140736236709072 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12936/statm: 2406260 19072 2261 9 0 2396937 0
[pid=12936/tid=12938] ppid=12933 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/12936/task/12938/stat : 12938 (java) R 12933 12936 5267 0 -1 4202560 2480 0 1 0 144 2 0 0 20 0 19 0 3716091 9856040960 19072 33554432000 1073741824 1073778376 140736236717936 139692127342968 139692067562988 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12936/tid=12943] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12943/stat : 12943 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 19072 33554432000 1073741824 1073778376 140736236717936 139691971001384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12944] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12944/stat : 12944 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 19072 33554432000 1073741824 1073778376 140736236717936 139691969948584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12945] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12945/stat : 12945 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 19072 33554432000 1073741824 1073778376 140736236717936 139691968895784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12946] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12946/stat : 12946 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 19072 33554432000 1073741824 1073778376 140736236717936 139691967842984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12936/tid=12947] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12947/stat : 12947 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 19072 33554432000 1073741824 1073778376 140736236717936 139691966790184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12948] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12948/stat : 12948 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 19072 33554432000 1073741824 1073778376 140736236717936 139691965737384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12949] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12949/stat : 12949 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 19072 33554432000 1073741824 1073778376 140736236717936 139691964684584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12936/tid=12950] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12950/stat : 12950 (java) S 12933 12936 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 19072 33554432000 1073741824 1073778376 140736236717936 139691963631784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12954] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12954/stat : 12954 (java) S 12933 12936 5267 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3716093 9856040960 19072 33554432000 1073741824 1073778376 140736236717936 139691951434728 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12957] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12957/stat : 12957 (java) S 12933 12936 5267 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3716093 9856040960 19072 33554432000 1073741824 1073778376 140736236717936 139691950380792 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12958] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12958/stat : 12958 (java) S 12933 12936 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3716094 9856040960 19072 33554432000 1073741824 1073778376 140736236717936 139691949327880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12972] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12972/stat : 12972 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716096 9856040960 19072 33554432000 1073741824 1073778376 140736236717936 139691948276368 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12973] ppid=12933 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/12936/task/12973/stat : 12973 (java) S 12933 12936 5267 0 -1 4202560 3784 0 0 0 47 0 0 0 20 0 19 0 3716096 9856040960 19072 33554432000 1073741824 1073778376 140736236717936 139691947223480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12974] ppid=12933 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/12936/task/12974/stat : 12974 (java) S 12933 12936 5267 0 -1 4202560 4739 0 0 0 38 0 0 0 20 0 19 0 3716096 9856040960 19072 33554432000 1073741824 1073778376 140736236717936 139691946170680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12975] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12975/stat : 12975 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716096 9856040960 19072 33554432000 1073741824 1073778376 140736236717936 139691945118072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12976] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12976/stat : 12976 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716096 9856040960 19072 33554432000 1073741824 1073778376 140736236717936 139691944065480 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12986] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12986/stat : 12986 (java) S 12933 12936 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3716118 9856040960 19072 33554432000 1073741824 1073778376 140736236717936 139691943012008 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 9625040

[startup+3.1008 s]
/proc/loadavg: 2.29 2.36 2.90 3/213 12986
/proc/meminfo: memFree=28416652/32872528 swapFree=1459092/1655316
[pid=12936] ppid=12933 vsize=9625040 CPUtime=4.12 cores=0,2,4,6
/proc/12936/stat : 12936 (java) S 12933 12936 5267 0 -1 4202496 14026 0 1 0 408 4 0 0 20 0 19 0 3716090 9856040960 27853 33554432000 1073741824 1073778376 140736236717936 140736236709072 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12936/statm: 2406260 27853 2265 9 0 2396937 0
[pid=12936/tid=12938] ppid=12933 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/12936/task/12938/stat : 12938 (java) R 12933 12936 5267 0 -1 4202560 2498 0 1 0 304 2 0 0 20 0 19 0 3716091 9856040960 27853 33554432000 1073741824 1073778376 140736236717936 139692127334112 139692067599628 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12936/tid=12943] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12943/stat : 12943 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 27853 33554432000 1073741824 1073778376 140736236717936 139691971001384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12944] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12944/stat : 12944 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 27853 33554432000 1073741824 1073778376 140736236717936 139691969948584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12945] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12945/stat : 12945 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 27853 33554432000 1073741824 1073778376 140736236717936 139691968895784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12946] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12946/stat : 12946 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 27853 33554432000 1073741824 1073778376 140736236717936 139691967842984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12936/tid=12947] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12947/stat : 12947 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 27853 33554432000 1073741824 1073778376 140736236717936 139691966790184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12948] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12948/stat : 12948 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 27853 33554432000 1073741824 1073778376 140736236717936 139691965737384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12949] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12949/stat : 12949 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 27853 33554432000 1073741824 1073778376 140736236717936 139691964684584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12936/tid=12950] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12950/stat : 12950 (java) S 12933 12936 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 27853 33554432000 1073741824 1073778376 140736236717936 139691963631784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12954] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12954/stat : 12954 (java) S 12933 12936 5267 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3716093 9856040960 27853 33554432000 1073741824 1073778376 140736236717936 139691951434728 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12957] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12957/stat : 12957 (java) S 12933 12936 5267 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3716093 9856040960 27853 33554432000 1073741824 1073778376 140736236717936 139691950380792 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12958] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12958/stat : 12958 (java) S 12933 12936 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3716094 9856040960 27853 33554432000 1073741824 1073778376 140736236717936 139691949327880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12972] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12972/stat : 12972 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716096 9856040960 27853 33554432000 1073741824 1073778376 140736236717936 139691948276368 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12973] ppid=12933 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/12936/task/12973/stat : 12973 (java) S 12933 12936 5267 0 -1 4202560 3787 0 0 0 49 0 0 0 20 0 19 0 3716096 9856040960 27853 33554432000 1073741824 1073778376 140736236717936 139691947223480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12974] ppid=12933 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/12936/task/12974/stat : 12974 (java) S 12933 12936 5267 0 -1 4202560 6468 0 0 0 51 0 0 0 20 0 19 0 3716096 9856040960 27853 33554432000 1073741824 1073778376 140736236717936 139691946170680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12975] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12975/stat : 12975 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716096 9856040960 27853 33554432000 1073741824 1073778376 140736236717936 139691945118072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12976] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12976/stat : 12976 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716096 9856040960 27853 33554432000 1073741824 1073778376 140736236717936 139691944065480 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12986] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12986/stat : 12986 (java) S 12933 12936 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3716118 9856040960 27853 33554432000 1073741824 1073778376 140736236717936 139691943012008 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.29 2.36 2.90 3/213 12986
/proc/meminfo: memFree=28333276/32872528 swapFree=1459092/1655316
[pid=12936] ppid=12933 vsize=9625040 CPUtime=7.4 cores=0,2,4,6
/proc/12936/stat : 12936 (java) S 12933 12936 5267 0 -1 4202496 14119 0 1 0 734 6 0 0 20 0 19 0 3716090 9856040960 46783 33554432000 1073741824 1073778376 140736236717936 140736236709072 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12936/statm: 2406260 46783 2279 9 0 2396937 0
[pid=12936/tid=12938] ppid=12933 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/12936/task/12938/stat : 12938 (java) R 12933 12936 5267 0 -1 4202560 2531 0 1 0 621 3 0 0 20 0 19 0 3716091 9856040960 46783 33554432000 1073741824 1073778376 140736236717936 139692127341912 139692067780833 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12936/tid=12943] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12943/stat : 12943 (java) S 12933 12936 5267 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 46783 33554432000 1073741824 1073778376 140736236717936 139691971001384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12944] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12944/stat : 12944 (java) S 12933 12936 5267 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 46783 33554432000 1073741824 1073778376 140736236717936 139691969948584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12945] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12945/stat : 12945 (java) S 12933 12936 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 46783 33554432000 1073741824 1073778376 140736236717936 139691968895784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12946] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12946/stat : 12946 (java) S 12933 12936 5267 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 46783 33554432000 1073741824 1073778376 140736236717936 139691967842984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12947] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12947/stat : 12947 (java) S 12933 12936 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 46783 33554432000 1073741824 1073778376 140736236717936 139691966790184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12948] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12948/stat : 12948 (java) S 12933 12936 5267 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 46783 33554432000 1073741824 1073778376 140736236717936 139691965737384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12949] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12949/stat : 12949 (java) S 12933 12936 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 46783 33554432000 1073741824 1073778376 140736236717936 139691964684584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12950] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12950/stat : 12950 (java) S 12933 12936 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3716092 9856040960 46783 33554432000 1073741824 1073778376 140736236717936 139691963631784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12954] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12954/stat : 12954 (java) S 12933 12936 5267 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3716093 9856040960 46783 33554432000 1073741824 1073778376 140736236717936 139691951434728 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12957] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12957/stat : 12957 (java) S 12933 12936 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3716093 9856040960 46783 33554432000 1073741824 1073778376 140736236717936 139691950380792 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12958] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12958/stat : 12958 (java) S 12933 12936 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3716094 9856040960 46783 33554432000 1073741824 1073778376 140736236717936 139691949327880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12972] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12972/stat : 12972 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716096 9856040960 46783 33554432000 1073741824 1073778376 140736236717936 139691948276368 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12973] ppid=12933 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/12936/task/12973/stat : 12973 (java) R 12933 12936 5267 0 -1 4202560 3790 0 0 0 52 0 0 0 20 0 19 0 3716096 9856040960 46783 33554432000 1073741824 1073778376 140736236717936 139691947223480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12974] ppid=12933 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/12936/task/12974/stat : 12974 (java) S 12933 12936 5267 0 -1 4202560 6468 0 0 0 51 0 0 0 20 0 19 0 3716096 9856040960 46783 33554432000 1073741824 1073778376 140736236717936 139691946170680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12975] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12975/stat : 12975 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716096 9856040960 46783 33554432000 1073741824 1073778376 140736236717936 139691945118072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12976] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12976/stat : 12976 (java) S 12933 12936 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3716096 9856040960 46783 33554432000 1073741824 1073778376 140736236717936 139691944065480 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12986] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12986/stat : 12986 (java) S 12933 12936 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3716118 9856040960 46783 33554432000 1073741824 1073778376 140736236717936 139691943012008 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 9625040


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

[pid=12936/tid=12957] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12957/stat : 12957 (java) S 12933 12936 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3716093 9856040960 101808 33554432000 1073741824 1073778376 140736236717936 139691950380792 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12958] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12958/stat : 12958 (java) S 12933 12936 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3716094 9856040960 101808 33554432000 1073741824 1073778376 140736236717936 139691949327880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12972] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12972/stat : 12972 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716096 9856040960 101808 33554432000 1073741824 1073778376 140736236717936 139691948276368 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12973] ppid=12933 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/12936/task/12973/stat : 12973 (java) S 12933 12936 5267 0 -1 4202560 3793 0 0 0 55 0 0 0 20 0 19 0 3716096 9856040960 101808 33554432000 1073741824 1073778376 140736236717936 139691947223480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12974] ppid=12933 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/12936/task/12974/stat : 12974 (java) S 12933 12936 5267 0 -1 4202560 6468 0 0 0 51 0 0 0 20 0 19 0 3716096 9856040960 101808 33554432000 1073741824 1073778376 140736236717936 139691946170680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12975] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12975/stat : 12975 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716096 9856040960 101808 33554432000 1073741824 1073778376 140736236717936 139691945118072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12976] ppid=12933 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/12936/task/12976/stat : 12976 (java) S 12933 12936 5267 0 -1 4202560 93 0 0 0 18 19 0 0 20 0 19 0 3716096 9856040960 101808 33554432000 1073741824 1073778376 140736236717936 139691944065480 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12936/tid=12986] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12986/stat : 12986 (java) S 12933 12936 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3716118 9856040960 101808 33554432000 1073741824 1073778376 140736236717936 139691943012008 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1683.62
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.40 2.37 2.44 3/213 13093
/proc/meminfo: memFree=27719388/32872528 swapFree=1459092/1655316
[pid=12936] ppid=12933 vsize=9625040 CPUtime=1744.4 cores=0,2,4,6
/proc/12936/stat : 12936 (java) S 12933 12936 5267 0 -1 4202496 42232 0 1 0 174274 166 0 0 20 0 19 0 3716090 9856040960 114225 33554432000 1073741824 1073778376 140736236717936 140736236709072 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12936/statm: 2406260 114225 2288 9 0 2396937 0
[pid=12936/tid=12938] ppid=12933 vsize=9625040 CPUtime=1707.85 cores=0,2,4,6
/proc/12936/task/12938/stat : 12938 (java) R 12933 12936 5267 0 -1 4202560 3277 0 1 0 170752 33 0 0 20 0 19 0 3716091 9856040960 114225 33554432000 1073741824 1073778376 140736236717936 139692127341792 139692067780528 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12943] ppid=12933 vsize=9625040 CPUtime=3.86 cores=0,2,4,6
/proc/12936/task/12943/stat : 12943 (java) S 12933 12936 5267 0 -1 4202560 3502 0 0 0 366 20 0 0 20 0 19 0 3716092 9856040960 114225 33554432000 1073741824 1073778376 140736236717936 139691971001384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12944] ppid=12933 vsize=9625040 CPUtime=3.97 cores=0,2,4,6
/proc/12936/task/12944/stat : 12944 (java) S 12933 12936 5267 0 -1 4202560 3635 0 0 0 377 20 0 0 20 0 19 0 3716092 9856040960 114225 33554432000 1073741824 1073778376 140736236717936 139691969948584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12936/tid=12945] ppid=12933 vsize=9625040 CPUtime=3.8 cores=0,2,4,6
/proc/12936/task/12945/stat : 12945 (java) S 12933 12936 5267 0 -1 4202560 3002 0 0 0 366 14 0 0 20 0 19 0 3716092 9856040960 114225 33554432000 1073741824 1073778376 140736236717936 139691968895784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12946] ppid=12933 vsize=9625040 CPUtime=3.78 cores=0,2,4,6
/proc/12936/task/12946/stat : 12946 (java) S 12933 12936 5267 0 -1 4202560 3640 0 0 0 363 15 0 0 20 0 19 0 3716092 9856040960 114225 33554432000 1073741824 1073778376 140736236717936 139691967842984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12947] ppid=12933 vsize=9625040 CPUtime=3.82 cores=0,2,4,6
/proc/12936/task/12947/stat : 12947 (java) S 12933 12936 5267 0 -1 4202560 3188 0 0 0 365 17 0 0 20 0 19 0 3716092 9856040960 114225 33554432000 1073741824 1073778376 140736236717936 139691966790184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12948] ppid=12933 vsize=9625040 CPUtime=3.78 cores=0,2,4,6
/proc/12936/task/12948/stat : 12948 (java) S 12933 12936 5267 0 -1 4202560 3687 0 0 0 361 17 0 0 20 0 19 0 3716092 9856040960 114225 33554432000 1073741824 1073778376 140736236717936 139691965737384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12936/tid=12949] ppid=12933 vsize=9625040 CPUtime=3.68 cores=0,2,4,6
/proc/12936/task/12949/stat : 12949 (java) S 12933 12936 5267 0 -1 4202560 2768 0 0 0 353 15 0 0 20 0 19 0 3716092 9856040960 114225 33554432000 1073741824 1073778376 140736236717936 139691964684584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12950] ppid=12933 vsize=9625040 CPUtime=3.93 cores=0,2,4,6
/proc/12936/task/12950/stat : 12950 (java) S 12933 12936 5267 0 -1 4202560 2739 0 0 0 375 18 0 0 20 0 19 0 3716092 9856040960 114225 33554432000 1073741824 1073778376 140736236717936 139691963631784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12954] ppid=12933 vsize=9625040 CPUtime=4.79 cores=0,2,4,6
/proc/12936/task/12954/stat : 12954 (java) S 12933 12936 5267 0 -1 4202560 1177 0 0 0 471 8 0 0 20 0 19 0 3716093 9856040960 114225 33554432000 1073741824 1073778376 140736236717936 139691951434728 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12957] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12957/stat : 12957 (java) S 12933 12936 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3716093 9856040960 114225 33554432000 1073741824 1073778376 140736236717936 139691950380792 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12958] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12958/stat : 12958 (java) S 12933 12936 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3716094 9856040960 114225 33554432000 1073741824 1073778376 140736236717936 139691949327880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12972] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12972/stat : 12972 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716096 9856040960 114225 33554432000 1073741824 1073778376 140736236717936 139691948276368 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12973] ppid=12933 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/12936/task/12973/stat : 12973 (java) S 12933 12936 5267 0 -1 4202560 3793 0 0 0 55 0 0 0 20 0 19 0 3716096 9856040960 114225 33554432000 1073741824 1073778376 140736236717936 139691947223480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12974] ppid=12933 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/12936/task/12974/stat : 12974 (java) S 12933 12936 5267 0 -1 4202560 6468 0 0 0 51 0 0 0 20 0 19 0 3716096 9856040960 114225 33554432000 1073741824 1073778376 140736236717936 139691946170680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12975] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12975/stat : 12975 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716096 9856040960 114225 33554432000 1073741824 1073778376 140736236717936 139691945118072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12976] ppid=12933 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/12936/task/12976/stat : 12976 (java) S 12933 12936 5267 0 -1 4202560 97 0 0 0 19 19 0 0 20 0 19 0 3716096 9856040960 114225 33554432000 1073741824 1073778376 140736236717936 139691944065480 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12986] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12986/stat : 12986 (java) S 12933 12936 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3716118 9856040960 114225 33554432000 1073741824 1073778376 140736236717936 139691943012008 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1744.4
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1777.3 s]
/proc/loadavg: 2.20 2.32 2.42 3/213 13094
/proc/meminfo: memFree=27688800/32872528 swapFree=1459092/1655316
[pid=12936] ppid=12933 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/12936/stat : 12936 (java) S 12933 12936 5267 0 -1 4202496 50388 0 1 0 179832 171 0 0 20 0 19 0 3716090 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 140736236709072 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12936/statm: 2406260 99341 2288 9 0 2396937 0
[pid=12936/tid=12938] ppid=12933 vsize=9625040 CPUtime=1762.46 cores=0,2,4,6
/proc/12936/task/12938/stat : 12938 (java) R 12933 12936 5267 0 -1 4202560 3296 0 1 0 176212 34 0 0 20 0 19 0 3716091 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139692127341840 139692067562128 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12943] ppid=12933 vsize=9625040 CPUtime=3.97 cores=0,2,4,6
/proc/12936/task/12943/stat : 12943 (java) S 12933 12936 5267 0 -1 4202560 4490 0 0 0 377 20 0 0 20 0 19 0 3716092 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691971001384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12944] ppid=12933 vsize=9625040 CPUtime=4.08 cores=0,2,4,6
/proc/12936/task/12944/stat : 12944 (java) S 12933 12936 5267 0 -1 4202560 4502 0 0 0 388 20 0 0 20 0 19 0 3716092 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691969948584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12945] ppid=12933 vsize=9625040 CPUtime=3.93 cores=0,2,4,6
/proc/12936/task/12945/stat : 12945 (java) S 12933 12936 5267 0 -1 4202560 4847 0 0 0 379 14 0 0 20 0 19 0 3716092 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691968895784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12936/tid=12946] ppid=12933 vsize=9625040 CPUtime=3.88 cores=0,2,4,6
/proc/12936/task/12946/stat : 12946 (java) S 12933 12936 5267 0 -1 4202560 5191 0 0 0 372 16 0 0 20 0 19 0 3716092 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691967842984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12947] ppid=12933 vsize=9625040 CPUtime=3.95 cores=0,2,4,6
/proc/12936/task/12947/stat : 12947 (java) S 12933 12936 5267 0 -1 4202560 4218 0 0 0 378 17 0 0 20 0 19 0 3716092 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691966790184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12948] ppid=12933 vsize=9625040 CPUtime=3.89 cores=0,2,4,6
/proc/12936/task/12948/stat : 12948 (java) S 12933 12936 5267 0 -1 4202560 4165 0 0 0 371 18 0 0 20 0 19 0 3716092 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691965737384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12936/tid=12949] ppid=12933 vsize=9625040 CPUtime=3.81 cores=0,2,4,6
/proc/12936/task/12949/stat : 12949 (java) S 12933 12936 5267 0 -1 4202560 3328 0 0 0 365 16 0 0 20 0 19 0 3716092 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691964684584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12950] ppid=12933 vsize=9625040 CPUtime=4.03 cores=0,2,4,6
/proc/12936/task/12950/stat : 12950 (java) S 12933 12936 5267 0 -1 4202560 3513 0 0 0 385 18 0 0 20 0 19 0 3716092 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691963631784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12954] ppid=12933 vsize=9625040 CPUtime=4.88 cores=0,2,4,6
/proc/12936/task/12954/stat : 12954 (java) S 12933 12936 5267 0 -1 4202560 1217 0 0 0 480 8 0 0 20 0 19 0 3716093 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691951434728 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12957] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12957/stat : 12957 (java) S 12933 12936 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3716093 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691950380792 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12958] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12958/stat : 12958 (java) S 12933 12936 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3716094 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691949327880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12972] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12972/stat : 12972 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716096 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691948276368 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12973] ppid=12933 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/12936/task/12973/stat : 12973 (java) S 12933 12936 5267 0 -1 4202560 3793 0 0 0 55 0 0 0 20 0 19 0 3716096 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691947223480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12974] ppid=12933 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/12936/task/12974/stat : 12974 (java) S 12933 12936 5267 0 -1 4202560 6468 0 0 0 51 0 0 0 20 0 19 0 3716096 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691946170680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12975] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12975/stat : 12975 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716096 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691945118072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12976] ppid=12933 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/12936/task/12976/stat : 12976 (java) S 12933 12936 5267 0 -1 4202560 101 0 0 0 19 20 0 0 20 0 19 0 3716096 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691944065480 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12986] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12986/stat : 12986 (java) S 12933 12936 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3716118 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691943012008 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12936 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1777.3 s]
/proc/loadavg: 2.20 2.32 2.42 3/213 13094
/proc/meminfo: memFree=27688800/32872528 swapFree=1459092/1655316
[pid=12936] ppid=12933 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/12936/stat : 12936 (java) S 12933 12936 5267 0 -1 4202496 50388 0 1 0 179832 171 0 0 20 0 19 0 3716090 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 140736236709072 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12936/statm: 2406260 99341 2288 9 0 2396937 0
[pid=12936/tid=12938] ppid=12933 vsize=9625040 CPUtime=1762.46 cores=0,2,4,6
/proc/12936/task/12938/stat : 12938 (java) R 12933 12936 5267 0 -1 4202560 3296 0 1 0 176212 34 0 0 20 0 19 0 3716091 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139692127341840 139692067562128 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12943] ppid=12933 vsize=9625040 CPUtime=3.97 cores=0,2,4,6
/proc/12936/task/12943/stat : 12943 (java) S 12933 12936 5267 0 -1 4202560 4490 0 0 0 377 20 0 0 20 0 19 0 3716092 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691971001384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12944] ppid=12933 vsize=9625040 CPUtime=4.08 cores=0,2,4,6
/proc/12936/task/12944/stat : 12944 (java) S 12933 12936 5267 0 -1 4202560 4502 0 0 0 388 20 0 0 20 0 19 0 3716092 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691969948584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12945] ppid=12933 vsize=9625040 CPUtime=3.93 cores=0,2,4,6
/proc/12936/task/12945/stat : 12945 (java) S 12933 12936 5267 0 -1 4202560 4847 0 0 0 379 14 0 0 20 0 19 0 3716092 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691968895784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12936/tid=12946] ppid=12933 vsize=9625040 CPUtime=3.88 cores=0,2,4,6
/proc/12936/task/12946/stat : 12946 (java) S 12933 12936 5267 0 -1 4202560 5191 0 0 0 372 16 0 0 20 0 19 0 3716092 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691967842984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12947] ppid=12933 vsize=9625040 CPUtime=3.95 cores=0,2,4,6
/proc/12936/task/12947/stat : 12947 (java) S 12933 12936 5267 0 -1 4202560 4218 0 0 0 378 17 0 0 20 0 19 0 3716092 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691966790184 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12948] ppid=12933 vsize=9625040 CPUtime=3.89 cores=0,2,4,6
/proc/12936/task/12948/stat : 12948 (java) S 12933 12936 5267 0 -1 4202560 4165 0 0 0 371 18 0 0 20 0 19 0 3716092 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691965737384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12936/tid=12949] ppid=12933 vsize=9625040 CPUtime=3.81 cores=0,2,4,6
/proc/12936/task/12949/stat : 12949 (java) S 12933 12936 5267 0 -1 4202560 3328 0 0 0 365 16 0 0 20 0 19 0 3716092 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691964684584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12950] ppid=12933 vsize=9625040 CPUtime=4.03 cores=0,2,4,6
/proc/12936/task/12950/stat : 12950 (java) S 12933 12936 5267 0 -1 4202560 3513 0 0 0 385 18 0 0 20 0 19 0 3716092 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691963631784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12954] ppid=12933 vsize=9625040 CPUtime=4.88 cores=0,2,4,6
/proc/12936/task/12954/stat : 12954 (java) S 12933 12936 5267 0 -1 4202560 1217 0 0 0 480 8 0 0 20 0 19 0 3716093 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691951434728 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12957] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12957/stat : 12957 (java) S 12933 12936 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3716093 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691950380792 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12958] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12958/stat : 12958 (java) S 12933 12936 5267 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3716094 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691949327880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12972] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12972/stat : 12972 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716096 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691948276368 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12973] ppid=12933 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/12936/task/12973/stat : 12973 (java) S 12933 12936 5267 0 -1 4202560 3793 0 0 0 55 0 0 0 20 0 19 0 3716096 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691947223480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12936/tid=12974] ppid=12933 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/12936/task/12974/stat : 12974 (java) S 12933 12936 5267 0 -1 4202560 6468 0 0 0 51 0 0 0 20 0 19 0 3716096 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691946170680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12975] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12975/stat : 12975 (java) S 12933 12936 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3716096 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691945118072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12936/tid=12976] ppid=12933 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/12936/task/12976/stat : 12976 (java) S 12933 12936 5267 0 -1 4202560 101 0 0 0 19 20 0 0 20 0 19 0 3716096 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691944065480 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12936/tid=12986] ppid=12933 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12936/task/12986/stat : 12986 (java) S 12933 12936 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3716118 9856040960 99341 33554432000 1073741824 1073778376 140736236717936 139691943012008 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1777.34
CPU time (s): 1800.67
CPU user time (s): 1798.51
CPU system time (s): 2.16167
CPU usage (%): 101.313
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.51
system time used= 2.16167
maximum resident set size= 551028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50431
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61785
involuntary context switches= 73577

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1015 second user time and 12.837 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-29 21:14:09
IDJOB=4118308
IDBENCH=111479
IDSOLVER=2546
FILE ID=node136/4118308-1467227649
RUNJOBID= node136-1467227648-12919
PBS_JOBID= 19997574
Free space on /tmp= 71648 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-06.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118308-1467227649/watcher-4118308-1467227649 -o /tmp/evaluation-result-4118308-1467227649/solver-4118308-1467227649 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467227648-12919 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4118308-1467227649.opb

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

MD5SUM BENCH= e4ba4a3f2bd79be3a11f0c3bfef48c76
RANDOM SEED=568082661

node136.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.182
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	: 5332.36
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.182
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	: 5332.55
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.182
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	: 5332.55
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.182
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	: 5332.55
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.182
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	: 5332.55
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.182
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	: 5332.55
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.182
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	: 5332.55
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.182
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28545288 kB
Buffers:          153360 kB
Cached:          1750928 kB
SwapCached:            0 kB
Active:           244768 kB
Inactive:        1685412 kB
Active(anon):      28476 kB
Inactive(anon):        0 kB
Active(file):     216292 kB
Inactive(file):  1685412 kB
Unevictable:     1655316 kB
Mlocked:         1459092 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               804 kB
Writeback:             0 kB
AnonPages:       1681448 kB
Mapped:            13804 kB
Shmem:               204 kB
Slab:             610020 kB
SReclaimable:      54124 kB
SUnreclaim:       555896 kB
KernelStack:        1448 kB
PageTables:         7572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1767068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71644 MiB
End job on node136 at 2016-06-29 21:43:47