Trace number 4118971

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 Res+CP PB16SAT (TO)-66 1800.02 899.003

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-sporttournament18.lin.opb
MD5SUM6c2564616da7655062526ce9bd24dfce
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-80
Best CPU time to get the best result obtained on this benchmark90.7452
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables441
Total number of constraints576
Number of constraints which are clauses288
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints288
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 389
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 420
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 420
Number of bits of the biggest sum of numbers9
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.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c ManyCore solver with 2 solvers running in parallel
0.08/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Glucose 2.1 dynamic restart strategy
0.08/0.13	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.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	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.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-4118971-1467238467.opb
0.08/0.13	c reading problem ... 
0.08/0.13	c  objective function found
0.22/0.22	c ... done. Wall clock time 0.099s.
0.22/0.22	c declared #vars     441
0.22/0.22	c #constraints  576
0.22/0.23	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.22/0.23	c constraints type 
0.22/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 288
0.22/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 288
0.22/0.23	c 576 constraints processed.
0.22/0.23	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.22/0.23	c constraints type 
0.22/0.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 288
0.22/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 288
0.22/0.23	c 576 constraints processed.
0.22/0.23	c objective function length is 389 literals
0.22/0.24	c And the winner is solver0
0.30/0.73	c SATISFIABLE
0.30/0.73	c OPTIMIZING...
0.30/0.73	c Got one! Elapsed wall clock time (in seconds):0.604
0.30/0.73	o -48
0.53/0.82	c And the winner is solver0
0.87/1.24	c Got one! Elapsed wall clock time (in seconds):1.111
0.87/1.24	o -49
1.08/1.30	c And the winner is solver1
1.21/1.74	c Got one! Elapsed wall clock time (in seconds):1.615
1.21/1.74	o -50
2.41/2.18	c cleaning 2785 clauses out of 5569 with flag 10197/5569
3.85/2.60	c cleaning 4389 clauses out of 8784 with flag 22219/11569
3.85/2.69	c And the winner is solver1
4.10/2.74	c Got one! Elapsed wall clock time (in seconds):2.619
4.10/2.74	o -51
4.57/2.99	c cleaning 5019 clauses out of 10048 with flag 8540/17222
5.40/3.35	c cleaning 5508 clauses out of 11028 with flag 21243/23221
6.60/3.83	c cleaning 6259 clauses out of 12521 with flag 36112/30222
7.82/4.37	c cleaning 7127 clauses out of 14261 with flag 53137/38221
9.28/5.00	c cleaning 8063 clauses out of 16135 with flag 72258/47222
10.70/5.66	c cleaning 9034 clauses out of 18072 with flag 93449/57222
12.34/6.43	c cleaning 10018 clauses out of 20038 with flag 115775/68222
12.54/6.55	c And the winner is solver1
12.62/6.75	c Got one! Elapsed wall clock time (in seconds):6.622
12.62/6.75	o -52
13.19/7.05	c cleaning 7954 clauses out of 15913 with flag 8484/74115
14.01/7.42	c cleaning 6974 clauses out of 13958 with flag 21193/80114
14.84/7.88	c cleaning 6989 clauses out of 13984 with flag 35919/87114
15.83/8.39	c cleaning 7495 clauses out of 14996 with flag 52752/95115
17.05/8.99	c cleaning 8246 clauses out of 16500 with flag 71900/104114
18.73/9.76	c cleaning 9123 clauses out of 18255 with flag 93206/114115
20.33/10.55	c cleaning 10063 clauses out of 20131 with flag 116654/125114
22.27/11.49	c cleaning 11033 clauses out of 22068 with flag 142247/137114
24.28/12.45	c cleaning 12016 clauses out of 24036 with flag 169985/150115
24.88/12.75	c And the winner is solver1
24.98/13.25	c Got one! Elapsed wall clock time (in seconds):13.126
24.98/13.25	o -53
25.08/13.34	c cleaning 8911 clauses out of 17832 with flag 2123/155927
25.91/13.72	c cleaning 7457 clauses out of 14922 with flag 14873/161928
26.98/14.22	c cleaning 7226 clauses out of 14464 with flag 29716/168927
27.98/14.73	c cleaning 7616 clauses out of 15238 with flag 46652/176927
29.18/15.32	c cleaning 8309 clauses out of 16623 with flag 65880/185928
30.74/16.09	c cleaning 9154 clauses out of 18313 with flag 87138/195927
31.14/16.20	c And the winner is solver1
31.14/16.25	c Got one! Elapsed wall clock time (in seconds):16.129
31.14/16.25	o -54
31.41/16.45	c cleaning 7090 clauses out of 14192 with flag 6312/200960
32.21/16.81	c cleaning 6543 clauses out of 13102 with flag 18990/206960
33.01/17.22	c cleaning 6776 clauses out of 13559 with flag 33790/213960
34.02/17.72	c cleaning 7386 clauses out of 14783 with flag 50736/221960
35.21/18.36	c cleaning 8194 clauses out of 16398 with flag 69867/230961
36.02/18.71	c And the winner is solver1
36.02/18.76	c Got one! Elapsed wall clock time (in seconds):18.632
36.02/18.76	o -55
36.76/19.13	c cleaning 9304 clauses out of 18613 with flag 10658/241370
37.74/19.59	c cleaning 7652 clauses out of 15308 with flag 23452/247369
38.73/20.03	c cleaning 7321 clauses out of 14657 with flag 38380/254370
39.73/20.55	c cleaning 7665 clauses out of 15336 with flag 55536/262370
40.93/21.15	c cleaning 8335 clauses out of 16671 with flag 74586/271370
42.35/21.86	c cleaning 9165 clauses out of 18336 with flag 95888/281370
43.95/22.65	c cleaning 10081 clauses out of 20171 with flag 119170/292370
45.75/23.55	c cleaning 11045 clauses out of 22089 with flag 144810/304369
47.75/24.59	c cleaning 12020 clauses out of 24045 with flag 172601/317370
50.33/25.70	c cleaning 13010 clauses out of 26024 with flag 202350/331369
52.73/26.95	c cleaning 14006 clauses out of 28016 with flag 234240/346371
55.53/28.36	c cleaning 15002 clauses out of 30008 with flag 268265/362369
58.73/29.94	c cleaning 16003 clauses out of 32006 with flag 304234/379369
62.49/31.72	c cleaning 17000 clauses out of 34004 with flag 342387/397370
63.69/32.39	c And the winner is solver1
63.82/32.83	c Got one! Elapsed wall clock time (in seconds):32.702
63.82/32.83	o -56
64.56/33.25	c cleaning 14877 clauses out of 29770 with flag 10682/410136
65.56/33.70	c cleaning 10442 clauses out of 20892 with flag 23422/416135
66.37/34.19	c cleaning 8719 clauses out of 17450 with flag 38254/423135
67.56/34.76	c cleaning 8365 clauses out of 16731 with flag 55250/431135
68.77/35.39	c cleaning 8679 clauses out of 17366 with flag 74494/440135
70.16/36.08	c cleaning 9339 clauses out of 18687 with flag 95696/450135
71.76/36.89	c cleaning 10173 clauses out of 20349 with flag 118936/461136
73.76/37.84	c cleaning 11084 clauses out of 22176 with flag 144313/473136
75.97/38.95	c cleaning 12045 clauses out of 24092 with flag 171955/486136
78.58/40.29	c cleaning 13019 clauses out of 26046 with flag 201600/500135
81.52/41.64	c cleaning 14008 clauses out of 28027 with flag 233678/515135
84.33/43.01	c cleaning 15008 clauses out of 30019 with flag 267749/531135
87.33/44.58	c cleaning 16006 clauses out of 32013 with flag 303826/548137
90.95/46.34	c cleaning 16999 clauses out of 34005 with flag 341942/566135
94.93/48.35	c cleaning 17999 clauses out of 36006 with flag 382250/585135
99.67/50.93	c cleaning 19001 clauses out of 38007 with flag 424914/605135
100.87/51.51	c And the winner is solver1
100.87/51.98	c Got one! Elapsed wall clock time (in seconds):51.851
100.87/51.98	o -57
101.57/52.35	c cleaning 15672 clauses out of 31363 with flag 10656/617492
102.37/52.75	c cleaning 10840 clauses out of 21691 with flag 23455/623492
103.17/53.20	c cleaning 8921 clauses out of 17851 with flag 38374/630492
104.37/53.73	c cleaning 8461 clauses out of 16930 with flag 55294/638492
105.57/54.36	c cleaning 8731 clauses out of 17469 with flag 74360/647492
107.18/55.12	c cleaning 9367 clauses out of 18739 with flag 95555/657493
108.97/56.01	c cleaning 10186 clauses out of 20371 with flag 118891/668492
110.77/56.92	c cleaning 11088 clauses out of 22186 with flag 144441/680493
112.77/57.98	c cleaning 12049 clauses out of 24098 with flag 172153/693493
115.16/59.14	c cleaning 13025 clauses out of 26049 with flag 201877/707493
118.24/60.63	c cleaning 14012 clauses out of 28024 with flag 233470/722493
121.03/62.07	c cleaning 15002 clauses out of 30012 with flag 267224/738493
124.64/63.87	c cleaning 16001 clauses out of 32010 with flag 303087/755493
128.44/65.72	c cleaning 17002 clauses out of 34010 with flag 341251/773494
132.84/67.90	c cleaning 18003 clauses out of 36006 with flag 381571/792492
136.84/69.96	c cleaning 19001 clauses out of 38004 with flag 424030/812493
139.31/71.19	c And the winner is solver1
139.40/71.52	c Got one! Elapsed wall clock time (in seconds):71.397
139.40/71.52	o -58
140.15/71.95	c cleaning 18329 clauses out of 36673 with flag 10612/830163
140.95/72.37	c cleaning 12167 clauses out of 24345 with flag 23312/836164
141.95/72.87	c cleaning 9585 clauses out of 19177 with flag 38061/843163
143.15/73.47	c cleaning 8788 clauses out of 17592 with flag 55031/851163
144.55/74.15	c cleaning 8896 clauses out of 17804 with flag 74173/860163
145.97/74.89	c cleaning 9448 clauses out of 18909 with flag 95413/870164
147.75/75.76	c cleaning 10228 clauses out of 20460 with flag 118786/881163
149.75/76.72	c cleaning 11115 clauses out of 22232 with flag 144234/893163
151.75/77.79	c cleaning 12059 clauses out of 24117 with flag 171902/906163
154.35/79.02	c cleaning 13028 clauses out of 26059 with flag 201472/920164
157.30/80.47	c cleaning 14016 clauses out of 28032 with flag 233706/935165
160.68/82.10	c cleaning 15002 clauses out of 30015 with flag 267584/951164
163.48/83.60	c cleaning 16001 clauses out of 32013 with flag 303740/968164
166.88/85.23	c cleaning 17006 clauses out of 34012 with flag 341805/986164
170.29/86.95	c cleaning 18003 clauses out of 36005 with flag 382330/1005163
173.68/88.67	c cleaning 18997 clauses out of 38003 with flag 424926/1025164
177.88/90.72	c cleaning 19997 clauses out of 40005 with flag 469851/1046163
182.40/92.95	c cleaning 21002 clauses out of 42008 with flag 517071/1068163
187.20/95.39	c cleaning 22000 clauses out of 44008 with flag 566116/1091165
192.41/97.91	c cleaning 23001 clauses out of 46006 with flag 617405/1115163
198.00/100.71	c cleaning 24003 clauses out of 48005 with flag 671371/1140163
203.36/103.38	c cleaning 24998 clauses out of 50002 with flag 726948/1166163
209.76/106.50	c cleaning 25999 clauses out of 52004 with flag 784729/1193163
216.36/109.89	c cleaning 27003 clauses out of 54005 with flag 844709/1221163
225.00/114.01	c cleaning 28001 clauses out of 56004 with flag 906257/1250165
233.20/118.20	c cleaning 28998 clauses out of 58001 with flag 970112/1280163
241.41/122.23	c cleaning 29997 clauses out of 60003 with flag 1036526/1311163
250.38/126.69	c cleaning 31002 clauses out of 62006 with flag 1104639/1343163
259.39/131.12	c cleaning 32000 clauses out of 64006 with flag 1175192/1376165
269.31/136.08	c cleaning 33003 clauses out of 66005 with flag 1247655/1410164
279.91/141.38	c cleaning 34001 clauses out of 68002 with flag 1322376/1445164
291.87/147.65	c cleaning 34997 clauses out of 70000 with flag 1399346/1481163
302.68/153.01	c cleaning 35999 clauses out of 72004 with flag 1478253/1518164
315.91/159.53	c cleaning 36998 clauses out of 74004 with flag 1559489/1556163
328.50/165.84	c cleaning 38004 clauses out of 76007 with flag 1642889/1595164
340.99/172.00	c cleaning 38997 clauses out of 78002 with flag 1727861/1635163
341.39/172.22	c And the winner is solver1
341.39/172.33	c Got one! Elapsed wall clock time (in seconds):172.206
341.39/172.33	o -59
341.92/172.64	c cleaning 22059 clauses out of 44131 with flag 6365/1640289
342.92/173.15	c cleaning 14034 clauses out of 28072 with flag 19094/1646289
344.12/173.71	c cleaning 10516 clauses out of 21038 with flag 33946/1653289
345.32/174.38	c cleaning 9258 clauses out of 18521 with flag 50860/1661288
346.92/175.16	c cleaning 9127 clauses out of 18264 with flag 69877/1670289
348.52/175.94	c cleaning 9565 clauses out of 19137 with flag 91078/1680289
350.32/176.84	c cleaning 10282 clauses out of 20572 with flag 114452/1691289
352.31/177.84	c cleaning 11144 clauses out of 22290 with flag 140140/1703289
354.62/178.99	c cleaning 12071 clauses out of 24145 with flag 167714/1716288
357.22/180.21	c cleaning 13030 clauses out of 26074 with flag 197628/1730288
360.03/181.62	c cleaning 14022 clauses out of 28045 with flag 229583/1745289
363.22/183.23	c cleaning 15007 clauses out of 30022 with flag 263588/1761288
366.43/184.90	c cleaning 16004 clauses out of 32015 with flag 299874/1778288
370.01/186.61	c cleaning 17006 clauses out of 34011 with flag 338708/1796288
373.61/188.43	c cleaning 18000 clauses out of 36006 with flag 379896/1815289
377.76/190.47	c cleaning 18998 clauses out of 38005 with flag 422675/1835288
381.74/192.40	c cleaning 20000 clauses out of 40008 with flag 467684/1856289
386.16/194.70	c cleaning 21001 clauses out of 42007 with flag 514586/1878288
388.96/196.02	c And the winner is solver1
388.96/196.37	c Got one! Elapsed wall clock time (in seconds):196.24
388.96/196.37	o -66
389.84/196.82	c cleaning 19552 clauses out of 39110 with flag 10669/1896392
390.64/197.30	c cleaning 12776 clauses out of 25558 with flag 23536/1902392
391.84/197.82	c cleaning 9888 clauses out of 19782 with flag 38399/1909392
392.84/198.35	c cleaning 8942 clauses out of 17893 with flag 55391/1917391
394.24/199.05	c cleaning 8972 clauses out of 17952 with flag 74662/1926392
395.84/199.80	c cleaning 9490 clauses out of 18980 with flag 95997/1936392
397.77/200.75	c cleaning 10242 clauses out of 20489 with flag 119455/1947391
399.97/201.83	c cleaning 11122 clauses out of 22247 with flag 144879/1959391
402.17/202.96	c cleaning 12060 clauses out of 24125 with flag 172510/1972391
404.77/204.20	c cleaning 13031 clauses out of 26066 with flag 202234/1986392
407.37/205.59	c cleaning 14015 clauses out of 28035 with flag 234181/2001392
410.77/207.25	c cleaning 15006 clauses out of 30019 with flag 268194/2017391
414.58/209.15	c cleaning 16003 clauses out of 32014 with flag 304382/2034392
418.26/210.99	c cleaning 17002 clauses out of 34010 with flag 342673/2052391
422.13/212.87	c cleaning 18000 clauses out of 36008 with flag 383076/2071391
426.73/215.16	c cleaning 19004 clauses out of 38008 with flag 425400/2091391
431.53/217.57	c cleaning 20002 clauses out of 40004 with flag 470049/2112391
436.74/220.11	c cleaning 21001 clauses out of 42002 with flag 516823/2134391
442.50/222.93	c cleaning 22001 clauses out of 44002 with flag 565559/2157392
447.91/225.66	c cleaning 22999 clauses out of 46001 with flag 616500/2181392
453.50/228.47	c cleaning 24001 clauses out of 48001 with flag 669831/2206391
459.50/231.43	c cleaning 25001 clauses out of 50001 with flag 725223/2232392
465.87/234.53	c cleaning 25995 clauses out of 52000 with flag 782333/2259392
472.09/237.70	c cleaning 27000 clauses out of 54005 with flag 841668/2287392
479.87/241.54	c cleaning 27998 clauses out of 56004 with flag 903597/2316391
488.16/245.61	c cleaning 29001 clauses out of 58006 with flag 967336/2346391
497.75/250.40	c cleaning 29999 clauses out of 60006 with flag 1033288/2377392
506.13/254.55	c cleaning 31001 clauses out of 62007 with flag 1101610/2409392
513.73/258.37	c cleaning 31999 clauses out of 64006 with flag 1172064/2442392
522.53/262.80	c cleaning 32999 clauses out of 66008 with flag 1245544/2476393
531.69/267.25	c cleaning 34004 clauses out of 68007 with flag 1321127/2511391
542.29/272.55	c cleaning 34998 clauses out of 70003 with flag 1398910/2547391
553.05/277.82	c cleaning 35998 clauses out of 72006 with flag 1478900/2584392
564.25/283.40	c cleaning 37001 clauses out of 74007 with flag 1560772/2622391
575.28/288.90	c cleaning 37996 clauses out of 76006 with flag 1644459/2661391
587.68/295.06	c cleaning 39002 clauses out of 78010 with flag 1730597/2701391
601.32/301.75	c cleaning 40000 clauses out of 80008 with flag 1819004/2742391
613.32/307.75	c cleaning 40998 clauses out of 82008 with flag 1908985/2784391
625.95/313.95	c cleaning 42001 clauses out of 84010 with flag 2001538/2827391
638.56/320.26	c cleaning 43001 clauses out of 86009 with flag 2096055/2871391
652.42/327.05	c cleaning 44001 clauses out of 88008 with flag 2193966/2916391
661.87/331.72	c cleaning 0 clauses out of 10280 with flag 0/10280
668.70/334.86	c cleaning 45002 clauses out of 90009 with flag 2292871/2962393
685.81/343.23	c cleaning 45996 clauses out of 92006 with flag 2393520/3009392
700.97/350.88	c cleaning 47004 clauses out of 94010 with flag 2497145/3057392
717.85/359.15	c cleaning 47999 clauses out of 96005 with flag 2602781/3106391
735.88/368.00	c cleaning 49001 clauses out of 98006 with flag 2711110/3156391
753.06/376.58	c cleaning 49999 clauses out of 100006 with flag 2820582/3207392
771.67/385.73	c cleaning 51002 clauses out of 102007 with flag 2932299/3259392
787.88/393.89	c cleaning 51997 clauses out of 104004 with flag 3045516/3312391
804.26/401.95	c cleaning 53004 clauses out of 106008 with flag 3161436/3366392
822.79/411.71	c cleaning 53999 clauses out of 108004 with flag 3279854/3421392
838.38/419.53	c cleaning 55000 clauses out of 110005 with flag 3399763/3477392
857.02/428.88	c cleaning 56001 clauses out of 112006 with flag 3521306/3534393
876.05/438.33	c cleaning 57002 clauses out of 114003 with flag 3645298/3592391
894.95/447.72	c cleaning 57999 clauses out of 116001 with flag 3771509/3651391
915.05/457.74	c cleaning 59001 clauses out of 118002 with flag 3899665/3711391
939.82/470.08	c cleaning 59999 clauses out of 120003 with flag 4030209/3772393
966.94/483.56	c cleaning 60998 clauses out of 122003 with flag 4162652/3834392
992.25/496.08	c cleaning 61999 clauses out of 124005 with flag 4297282/3897392
1018.22/508.93	c cleaning 63003 clauses out of 126007 with flag 4435468/3961393
1048.19/523.84	c cleaning 63996 clauses out of 128002 with flag 4574075/4026391
1073.98/536.61	c cleaning 65000 clauses out of 130007 with flag 4715831/4092392
1101.96/550.56	c cleaning 66004 clauses out of 132008 with flag 4859644/4159393
1126.35/562.74	c cleaning 66996 clauses out of 134002 with flag 5005824/4227391
1154.59/576.71	c cleaning 67996 clauses out of 136006 with flag 5153520/4296391
1181.59/590.22	c cleaning 68999 clauses out of 138010 with flag 5303727/4366391
1213.98/606.46	c cleaning 70002 clauses out of 140013 with flag 5454680/4437393
1243.41/621.03	c cleaning 70999 clauses out of 142009 with flag 5609319/4509391
1269.01/633.84	c cleaning 72002 clauses out of 144011 with flag 5765439/4582392
1296.06/647.29	c cleaning 73000 clauses out of 146010 with flag 5923887/4656393
1328.28/663.31	c cleaning 74002 clauses out of 148010 with flag 6084937/4731393
1355.06/676.74	c cleaning 75000 clauses out of 150007 with flag 6249816/4807392
1384.25/691.39	c cleaning 76001 clauses out of 152007 with flag 6414719/4884392
1415.64/707.05	c cleaning 76997 clauses out of 154005 with flag 6582306/4962391
1447.59/722.83	c cleaning 77996 clauses out of 156008 with flag 6752975/5041391
1478.86/738.36	c cleaning 79003 clauses out of 158013 with flag 6925861/5121392
1514.85/756.31	c cleaning 80002 clauses out of 160010 with flag 7100108/5202392
1549.85/773.81	c cleaning 80999 clauses out of 162008 with flag 7275159/5284392
1586.04/791.90	c cleaning 82000 clauses out of 164008 with flag 7453470/5367391
1618.85/808.38	c cleaning 83001 clauses out of 166008 with flag 7633734/5451391
1652.84/825.33	c cleaning 84001 clauses out of 168007 with flag 7814972/5536391
1687.03/842.40	c cleaning 85000 clauses out of 170007 with flag 8001244/5622392
1719.03/858.49	c cleaning 85998 clauses out of 172006 with flag 8186267/5709391
1754.22/876.07	c cleaning 87001 clauses out of 174008 with flag 8374254/5797391
1788.42/893.13	c cleaning 88002 clauses out of 176009 with flag 8564855/5886393
1800.02/898.90	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.02/898.90	c starts		: 116643
1800.02/898.90	c conflicts		: 5923266
1800.02/898.90	c decisions		: 17764985
1800.02/898.90	c propagations		: 146194594
1800.02/898.90	c inspects		: 12622397096
1800.02/898.90	c shortcuts		: 0
1800.02/898.90	c learnt literals	: 0
1800.02/898.90	c learnt binary clauses	: 0
1800.02/898.90	c learnt ternary clauses	: 0
1800.02/898.90	c learnt constraints	: 5923266
1800.02/898.90	c ignored constraints	: 0
1800.02/898.90	c root simplifications	: 0
1800.02/898.90	c removed literals (reason simplification)	: 7568462
1800.02/898.90	c reason swapping (by a shorter reason)	: 0
1800.02/898.90	c Calls to reduceDB	: 214
1800.02/898.90	c Number of update (reduction) of LBD	: 292239
1800.02/898.90	c Imported unit clauses	: 0
1800.02/898.90	c number of reductions to clauses (during analyze)	: 0
1800.02/898.90	c number of learned constraints concerned by reduction	: 0
1800.02/898.90	c number of learning phase by resolution	: 0
1800.02/898.90	c number of learning phase by cutting planes	: 0
1800.02/898.90	c speed (assignments/second)	: 208096.40828260026
1800.02/898.90	c non guided choices	2
1800.02/898.93	c learnt constraints type 
1800.02/898.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 124880
1800.02/898.93	c >>>>>>>>>> Solver number 1 (11 answers) <<<<<<<<<<<<<<<<<<
1800.02/898.93	c starts		: 49
1800.02/898.93	c conflicts		: 13027
1800.02/898.93	c decisions		: 47720
1800.02/898.93	c propagations		: 347419
1800.02/898.93	c inspects		: 495051341
1800.02/898.93	c shortcuts		: 0
1800.02/898.93	c learnt literals	: 0
1800.02/898.93	c learnt binary clauses	: 0
1800.02/898.93	c learnt ternary clauses	: 0
1800.02/898.93	c learnt constraints	: 13026
1800.02/898.93	c ignored constraints	: 0
1800.02/898.93	c root simplifications	: 0
1800.02/898.93	c removed literals (reason simplification)	: 0
1800.02/898.93	c reason swapping (by a shorter reason)	: 0
1800.02/898.93	c Calls to reduceDB	: 1
1800.02/898.93	c Number of update (reduction) of LBD	: 0
1800.02/898.93	c Imported unit clauses	: 0
1800.02/898.93	c number of reductions to clauses (during analyze)	: 0
1800.02/898.93	c number of learned constraints concerned by reduction	: 0
1800.02/898.93	c number of learning phase by resolution	: 0
1800.02/898.93	c number of learning phase by cutting planes	: 0
1800.02/898.93	c speed (assignments/second)	: 387.0166038198255
1800.02/898.93	c non guided choices	3
1800.02/898.93	c learnt constraints type 
1800.02/898.93	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 7
1800.02/898.93	c org.sat4j.pb.constraints.pb.MaxWatchPb => 13019
1800.02/898.93	s SATISFIABLE
1800.02/898.93	c Found 13 solution(s)
1800.02/898.93	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 
1800.02/898.93	c objective function=-66
1800.02/898.93	c Total wall clock time (in seconds): 898.808

Verifier Data 

OK	-66

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-4118971-1467238467/watcher-4118971-1467238467 -o /tmp/evaluation-result-4118971-1467238467/solver-4118971-1467238467 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1467233815-9715 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118971-1467238467.opb 

pid=12758
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: 4.18 4.21 4.13 4/196 12761
/proc/meminfo: memFree=25671304/32872528 swapFree=1370068/1517236
[pid=12761] ppid=12758 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/12761/stat : 12761 (runsolver) D 12758 12761 6338 0 -1 4202560 115 0 0 0 0 0 0 0 20 0 1 0 4801495 24911872 151 33554432000 4194304 4338465 140735863508400 140735863506040 229355900087 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/12761/statm: 6082 151 105 36 0 2655 0

[startup+0.100059 s]
/proc/loadavg: 4.18 4.21 4.13 4/196 12761
/proc/meminfo: memFree=25671304/32872528 swapFree=1370068/1517236
[pid=12761] ppid=12758 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/12761/stat : 12761 (java) S 12758 12761 6338 0 -1 4202496 4386 0 1 0 7 1 0 0 20 0 18 0 4801495 9787879424 5501 33554432000 1073741824 1073778376 140733991181312 140733991172448 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12761/statm: 2389619 5501 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.20022 s]
/proc/loadavg: 4.18 4.21 4.13 4/196 12761
/proc/meminfo: memFree=25671304/32872528 swapFree=1370068/1517236
[pid=12761] ppid=12758 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/12761/stat : 12761 (java) S 12758 12761 6338 0 -1 4202496 4670 0 1 0 21 1 0 0 20 0 18 0 4801495 9787879424 7277 33554432000 1073741824 1073778376 140733991181312 140733991172448 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12761/statm: 2389619 7277 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300282 s]
/proc/loadavg: 4.18 4.21 4.13 4/196 12761
/proc/meminfo: memFree=25671304/32872528 swapFree=1370068/1517236
[pid=12761] ppid=12758 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/12761/stat : 12761 (java) S 12758 12761 6338 0 -1 4202496 4783 0 1 0 28 2 0 0 20 0 19 0 4801495 10060525568 7877 33554432000 1073741824 1073778376 140733991181312 140733991172448 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12761/statm: 2456183 7877 2225 9 0 2446860 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9824732

[startup+0.700148 s]
/proc/loadavg: 4.18 4.21 4.13 4/196 12761
/proc/meminfo: memFree=25671304/32872528 swapFree=1370068/1517236
[pid=12761] ppid=12758 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/12761/stat : 12761 (java) S 12758 12761 6338 0 -1 4202496 4783 0 1 0 28 2 0 0 20 0 19 0 4801495 10060525568 7877 33554432000 1073741824 1073778376 140733991181312 140733991172448 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12761/statm: 2456183 7877 2225 9 0 2446860 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9824732

[startup+1.50084 s]
/proc/loadavg: 4.18 4.21 4.13 3/215 12786
/proc/meminfo: memFree=25626024/32872528 swapFree=1370068/1517236
[pid=12761] ppid=12758 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/12761/stat : 12761 (java) S 12758 12761 6338 0 -1 4202496 12487 0 1 0 113 8 0 0 20 0 19 0 4801495 10060525568 15717 33554432000 1073741824 1073778376 140733991181312 140733991172448 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12761/statm: 2456183 15717 2254 9 0 2446860 0
[pid=12761/tid=12763] ppid=12758 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/12761/task/12763/stat : 12763 (java) S 12758 12761 6338 0 -1 4202560 2416 0 1 0 18 2 0 0 20 0 19 0 4801496 10060525568 15717 33554432000 1073741824 1073778376 140733991181312 140365947401080 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12764] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12764/stat : 12764 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4801498 10060525568 15717 33554432000 1073741824 1073778376 140733991181312 140365908892584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12765] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12765/stat : 12765 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4801498 10060525568 15717 33554432000 1073741824 1073778376 140733991181312 140365907840040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12766] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12766/stat : 12766 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4801498 10060525568 15717 33554432000 1073741824 1073778376 140733991181312 140365789129384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12767] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12767/stat : 12767 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4801498 10060525568 15717 33554432000 1073741824 1073778376 140733991181312 140365788076840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12761/tid=12768] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12768/stat : 12768 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4801498 10060525568 15717 33554432000 1073741824 1073778376 140733991181312 140365787023784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12769] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12769/stat : 12769 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4801498 10060525568 15717 33554432000 1073741824 1073778376 140733991181312 140365785971240 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12761/tid=12770] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12770/stat : 12770 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4801498 10060525568 15717 33554432000 1073741824 1073778376 140733991181312 140365784918184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12771] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12771/stat : 12771 (java) S 12758 12761 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4801498 10060525568 15717 33554432000 1073741824 1073778376 140733991181312 140365783865640 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12772] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12772/stat : 12772 (java) S 12758 12761 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4801499 10060525568 15717 33554432000 1073741824 1073778376 140733991181312 140365301537640 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12773] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12773/stat : 12773 (java) S 12758 12761 6338 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4801499 10060525568 15717 33554432000 1073741824 1073778376 140733991181312 140365300483960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12774] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12774/stat : 12774 (java) S 12758 12761 6338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4801499 10060525568 15717 33554432000 1073741824 1073778376 140733991181312 140365299430792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12775] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12775/stat : 12775 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4801502 10060525568 15717 33554432000 1073741824 1073778376 140733991181312 140365298379536 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12776] ppid=12758 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/12761/task/12776/stat : 12776 (java) S 12758 12761 6338 0 -1 4202560 3750 0 0 0 26 0 0 0 20 0 19 0 4801502 10060525568 15717 33554432000 1073741824 1073778376 140733991181312 140365297326392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12761/tid=12777] ppid=12758 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/12761/task/12777/stat : 12777 (java) S 12758 12761 6338 0 -1 4202560 4971 0 0 0 37 0 0 0 20 0 19 0 4801502 10060525568 15717 33554432000 1073741824 1073778376 140733991181312 140365296273848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12778] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12778/stat : 12778 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4801502 10060525568 15717 33554432000 1073741824 1073778376 140733991181312 140365295220984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12779] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12779/stat : 12779 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4801502 10060525568 15717 33554432000 1073741824 1073778376 140733991181312 140365294168648 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 9824732

[startup+3.10085 s]
/proc/loadavg: 4.18 4.21 4.13 5/218 12792
/proc/meminfo: memFree=25570856/32872528 swapFree=1370068/1517236
[pid=12761] ppid=12758 vsize=9824732 CPUtime=4.98 cores=0,2,4,6
/proc/12761/stat : 12761 (java) S 12758 12761 6338 0 -1 4202496 18342 0 1 0 485 13 0 0 20 0 22 0 4801495 10060525568 47020 33554432000 1073741824 1073778376 140733991181312 140733991172448 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12761/statm: 2456183 47020 2285 9 0 2446860 0
[pid=12761/tid=12763] ppid=12758 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/12761/task/12763/stat : 12763 (java) S 12758 12761 6338 0 -1 4202560 2416 0 1 0 19 2 0 0 20 0 22 0 4801496 10060525568 47020 33554432000 1073741824 1073778376 140733991181312 140365947401080 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12764] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12764/stat : 12764 (java) S 12758 12761 6338 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 4801498 10060525568 47020 33554432000 1073741824 1073778376 140733991181312 140365908892584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12765] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12765/stat : 12765 (java) S 12758 12761 6338 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 4801498 10060525568 47020 33554432000 1073741824 1073778376 140733991181312 140365907840040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12766] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12766/stat : 12766 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4801498 10060525568 47020 33554432000 1073741824 1073778376 140733991181312 140365789129384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12767] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12767/stat : 12767 (java) S 12758 12761 6338 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 4801498 10060525568 47020 33554432000 1073741824 1073778376 140733991181312 140365788076840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12768] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12768/stat : 12768 (java) S 12758 12761 6338 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 4801498 10060525568 47020 33554432000 1073741824 1073778376 140733991181312 140365787023784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12769] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12769/stat : 12769 (java) S 12758 12761 6338 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 4801498 10060525568 47020 33554432000 1073741824 1073778376 140733991181312 140365785971240 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12761/tid=12770] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12770/stat : 12770 (java) S 12758 12761 6338 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 4801498 10060525568 47020 33554432000 1073741824 1073778376 140733991181312 140365784918184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12771] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12771/stat : 12771 (java) S 12758 12761 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4801498 10060525568 47020 33554432000 1073741824 1073778376 140733991181312 140365783865640 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12772] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12772/stat : 12772 (java) S 12758 12761 6338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4801499 10060525568 47020 33554432000 1073741824 1073778376 140733991181312 140365301537640 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12773] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12773/stat : 12773 (java) S 12758 12761 6338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4801499 10060525568 47020 33554432000 1073741824 1073778376 140733991181312 140365300483960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12774] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12774/stat : 12774 (java) S 12758 12761 6338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 4801499 10060525568 47020 33554432000 1073741824 1073778376 140733991181312 140365299430792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12775] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12775/stat : 12775 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4801502 10060525568 47020 33554432000 1073741824 1073778376 140733991181312 140365298379536 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12776] ppid=12758 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/12761/task/12776/stat : 12776 (java) S 12758 12761 6338 0 -1 4202560 8656 0 0 0 83 2 0 0 20 0 22 0 4801502 10060525568 47020 33554432000 1073741824 1073778376 140733991181312 140365297326392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12777] ppid=12758 vsize=9824732 CPUtime=0.94 cores=0,2,4,6
/proc/12761/task/12777/stat : 12777 (java) S 12758 12761 6338 0 -1 4202560 5801 0 0 0 94 0 0 0 20 0 22 0 4801502 10060525568 47020 33554432000 1073741824 1073778376 140733991181312 140365296273848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12778] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12778/stat : 12778 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4801502 10060525568 47020 33554432000 1073741824 1073778376 140733991181312 140365295220984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12779] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12779/stat : 12779 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4801502 10060525568 47020 33554432000 1073741824 1073778376 140733991181312 140365294168648 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12789] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12789/stat : 12789 (java) S 12758 12761 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4801619 10060525568 47020 33554432000 1073741824 1073778376 140733991181312 140365289957032 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.98
Current children cumulated vsize (KiB) 9824732

[startup+6.30096 s]
/proc/loadavg: 4.17 4.20 4.13 5/218 12795
/proc/meminfo: memFree=25426200/32872528 swapFree=1370068/1517236
[pid=12761] ppid=12758 vsize=9824732 CPUtime=12.14 cores=0,2,4,6
/proc/12761/stat : 12761 (java) S 12758 12761 6338 0 -1 4202496 20790 0 1 0 1189 25 0 0 20 0 22 0 4801495 10060525568 93490 33554432000 1073741824 1073778376 140733991181312 140733991172448 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12761/statm: 2456183 93490 2286 9 0 2446860 0
[pid=12761/tid=12763] ppid=12758 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/12761/task/12763/stat : 12763 (java) S 12758 12761 6338 0 -1 4202560 2416 0 1 0 19 2 0 0 20 0 22 0 4801496 10060525568 93490 33554432000 1073741824 1073778376 140733991181312 140365947401080 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12764] ppid=12758 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/12761/task/12764/stat : 12764 (java) S 12758 12761 6338 0 -1 4202560 44 0 0 0 5 2 0 0 20 0 22 0 4801498 10060525568 93490 33554432000 1073741824 1073778376 140733991181312 140365908892584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12765] ppid=12758 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/12761/task/12765/stat : 12765 (java) S 12758 12761 6338 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 4801498 10060525568 93490 33554432000 1073741824 1073778376 140733991181312 140365907840040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12766] ppid=12758 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/12761/task/12766/stat : 12766 (java) S 12758 12761 6338 0 -1 4202560 246 0 0 0 3 0 0 0 20 0 22 0 4801498 10060525568 93490 33554432000 1073741824 1073778376 140733991181312 140365789129384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12767] ppid=12758 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/12761/task/12767/stat : 12767 (java) S 12758 12761 6338 0 -1 4202560 59 0 0 0 6 2 0 0 20 0 22 0 4801498 10060525568 93490 33554432000 1073741824 1073778376 140733991181312 140365788076840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12761/tid=12768] ppid=12758 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/12761/task/12768/stat : 12768 (java) S 12758 12761 6338 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 22 0 4801498 10060525568 93490 33554432000 1073741824 1073778376 140733991181312 140365787023784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12761/tid=12769] ppid=12758 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/12761/task/12769/stat : 12769 (java) S 12758 12761 6338 0 -1 4202560 95 0 0 0 4 2 0 0 20 0 22 0 4801498 10060525568 93490 33554432000 1073741824 1073778376 140733991181312 140365785971240 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12770] ppid=12758 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/12761/task/12770/stat : 12770 (java) S 12758 12761 6338 0 -1 4202560 36 0 0 0 5 2 0 0 20 0 22 0 4801498 10060525568 93490 33554432000 1073741824 1073778376 140733991181312 140365784918184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12761/tid=12771] ppid=12758 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/12761/task/12771/stat : 12771 (java) S 12758 12761 6338 0 -1 4202560 42 0 0 0 4 1 0 0 20 0 22 0 4801498 10060525568 93490 33554432000 1073741824 1073778376 140733991181312 140365783865640 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12761/tid=12772] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12772/stat : 12772 (java) S 12758 12761 6338 0 -1 4202560 220 0 0 0 0 0 0 0 20 0 22 0 4801499 10060525568 93490 33554432000 1073741824 1073778376 140733991181312 140365301537640 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12773] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12773/stat : 12773 (java) S 12758 12761 6338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4801499 10060525568 93490 33554432000 1073741824 1073778376 140733991181312 140365300483960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12774] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12774/stat : 12774 (java) S 12758 12761 6338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 4801499 10060525568 93490 33554432000 1073741824 1073778376 140733991181312 140365299430792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12775] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12775/stat : 12775 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4801502 10060525568 93490 33554432000 1073741824 1073778376 140733991181312 140365298379536 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12776] ppid=12758 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/12761/task/12776/stat : 12776 (java) S 12758 12761 6338 0 -1 4202560 8677 0 0 0 99 2 0 0 20 0 22 0 4801502 10060525568 93490 33554432000 1073741824 1073778376 140733991181312 140365297326392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12777] ppid=12758 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
/proc/12761/task/12777/stat : 12777 (java) S 12758 12761 6338 0 -1 4202560 6929 0 0 0 133 1 0 0 20 0 22 0 4801502 10060525568 93490 33554432000 1073741824 1073778376 140733991181312 140365296273848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12778] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12778/stat : 12778 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4801502 10060525568 93490 33554432000 1073741824 1073778376 140733991181312 140365295220984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12779] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12779/stat : 12779 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4801502 10060525568 93490 33554432000 1073741824 1073778376 140733991181312 140365294168648 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12789] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12789/stat : 12789 (java) S 12758 12761 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4801619 10060525568 93490 33554432000 1073741824 1073778376 140733991181312 140365289957032 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12793] ppid=12758 vsize=9824732 CPUtime=3.38 cores=0,2,4,6
/proc/12761/task/12793/stat : 12793 (java) R 12758 12761 6338 0 -1 4202560 11 0 0 0 338 0 0 0 20 0 22 0 4801770 10060525568 93490 33554432000 1073741824 1073778376 140733991181312 140365293114032 140365789644998 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12794] ppid=12758 vsize=9824732 CPUtime=3.38 cores=0,2,4,6
/proc/12761/task/12794/stat : 12794 (java) R 12758 12761 6338 0 -1 4202560 560 0 0 0 337 1 0 0 20 0 22 0 4801770 10060525568 93490 33554432000 1073741824 1073778376 140733991181312 140365291006568 140365789832293 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12795] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6

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

[pid=12761/tid=12771] ppid=12758 vsize=9824732 CPUtime=2.59 cores=0,2,4,6
/proc/12761/task/12771/stat : 12771 (java) S 12758 12761 6338 0 -1 4202560 711 0 0 0 240 19 0 0 20 0 22 0 4801498 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365783865640 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12772] ppid=12758 vsize=9824732 CPUtime=2.75 cores=0,2,4,6
/proc/12761/task/12772/stat : 12772 (java) S 12758 12761 6338 0 -1 4202560 2077 0 0 0 270 5 0 0 20 0 22 0 4801499 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365301537640 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12773] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12773/stat : 12773 (java) S 12758 12761 6338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4801499 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365300483960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12774] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12774/stat : 12774 (java) S 12758 12761 6338 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 4801499 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365299430792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12775] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12775/stat : 12775 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4801502 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365298379536 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12776] ppid=12758 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/12761/task/12776/stat : 12776 (java) S 12758 12761 6338 0 -1 4202560 8687 0 0 0 128 2 0 0 20 0 22 0 4801502 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365297326392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12777] ppid=12758 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/12761/task/12777/stat : 12777 (java) S 12758 12761 6338 0 -1 4202560 9207 0 0 0 217 2 0 0 20 0 22 0 4801502 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365296273848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12761/tid=12778] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12778/stat : 12778 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4801502 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365295220984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12779] ppid=12758 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/12761/task/12779/stat : 12779 (java) S 12758 12761 6338 0 -1 4202560 51 0 0 0 11 15 0 0 20 0 22 0 4801502 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365294168648 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12761/tid=12789] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12789/stat : 12789 (java) S 12758 12761 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4801619 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365289957032 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12828] ppid=12758 vsize=9824732 CPUtime=678.93 cores=0,2,4,6
/proc/12761/task/12828/stat : 12828 (java) R 12758 12761 6338 0 -1 4202560 24 0 0 0 67881 12 0 0 20 0 22 0 4821132 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365292052896 140365789912335 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12829] ppid=12758 vsize=9824732 CPUtime=678.96 cores=0,2,4,6
/proc/12761/task/12829/stat : 12829 (java) R 12758 12761 6338 0 -1 4202560 25 0 0 0 67886 10 0 0 20 0 22 0 4821132 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365293113392 140365790002048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12761/tid=12830] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12830/stat : 12830 (java) S 12758 12761 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4821132 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365291009320 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1766.25
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+898.901 s]
/proc/loadavg: 4.21 4.25 4.19 5/219 12941
/proc/meminfo: memFree=22240840/32872528 swapFree=1370068/1517236
[pid=12761] ppid=12758 vsize=9824732 CPUtime=1799.44 cores=0,2,4,6
/proc/12761/stat : 12761 (java) S 12758 12761 6338 0 -1 4202496 31720 0 1 0 179725 219 0 0 20 0 22 0 4801495 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140733991172448 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12761/statm: 2456183 887134 2295 9 0 2446860 0
[pid=12761/tid=12763] ppid=12758 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/12761/task/12763/stat : 12763 (java) S 12758 12761 6338 0 -1 4202560 2421 0 1 0 25 2 0 0 20 0 22 0 4801496 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365947401080 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12764] ppid=12758 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/12761/task/12764/stat : 12764 (java) S 12758 12761 6338 0 -1 4202560 617 0 0 0 252 19 0 0 20 0 22 0 4801498 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365908892584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12765] ppid=12758 vsize=9824732 CPUtime=2.79 cores=0,2,4,6
/proc/12761/task/12765/stat : 12765 (java) S 12758 12761 6338 0 -1 4202560 688 0 0 0 263 16 0 0 20 0 22 0 4801498 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365907840040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12761/tid=12766] ppid=12758 vsize=9824732 CPUtime=2.57 cores=0,2,4,6
/proc/12761/task/12766/stat : 12766 (java) S 12758 12761 6338 0 -1 4202560 916 0 0 0 239 18 0 0 20 0 22 0 4801498 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365789129384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12761/tid=12767] ppid=12758 vsize=9824732 CPUtime=2.57 cores=0,2,4,6
/proc/12761/task/12767/stat : 12767 (java) S 12758 12761 6338 0 -1 4202560 657 0 0 0 239 18 0 0 20 0 22 0 4801498 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365788076840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12768] ppid=12758 vsize=9824732 CPUtime=2.52 cores=0,2,4,6
/proc/12761/task/12768/stat : 12768 (java) S 12758 12761 6338 0 -1 4202560 666 0 0 0 237 15 0 0 20 0 22 0 4801498 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365787023784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12769] ppid=12758 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/12761/task/12769/stat : 12769 (java) S 12758 12761 6338 0 -1 4202560 652 0 0 0 257 14 0 0 20 0 22 0 4801498 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365785971240 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12770] ppid=12758 vsize=9824732 CPUtime=2.49 cores=0,2,4,6
/proc/12761/task/12770/stat : 12770 (java) S 12758 12761 6338 0 -1 4202560 716 0 0 0 232 17 0 0 20 0 22 0 4801498 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365784918184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12771] ppid=12758 vsize=9824732 CPUtime=2.59 cores=0,2,4,6
/proc/12761/task/12771/stat : 12771 (java) S 12758 12761 6338 0 -1 4202560 711 0 0 0 240 19 0 0 20 0 22 0 4801498 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365783865640 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12772] ppid=12758 vsize=9824732 CPUtime=2.75 cores=0,2,4,6
/proc/12761/task/12772/stat : 12772 (java) S 12758 12761 6338 0 -1 4202560 2077 0 0 0 270 5 0 0 20 0 22 0 4801499 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365301537640 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12773] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12773/stat : 12773 (java) S 12758 12761 6338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4801499 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365300483960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12774] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12774/stat : 12774 (java) S 12758 12761 6338 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 4801499 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365299430792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12775] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12775/stat : 12775 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4801502 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365298379536 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12776] ppid=12758 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/12761/task/12776/stat : 12776 (java) S 12758 12761 6338 0 -1 4202560 8687 0 0 0 128 2 0 0 20 0 22 0 4801502 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365297326392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12777] ppid=12758 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/12761/task/12777/stat : 12777 (java) S 12758 12761 6338 0 -1 4202560 9207 0 0 0 217 2 0 0 20 0 22 0 4801502 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365296273848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12761/tid=12778] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12778/stat : 12778 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4801502 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365295220984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12779] ppid=12758 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/12761/task/12779/stat : 12779 (java) S 12758 12761 6338 0 -1 4202560 51 0 0 0 11 15 0 0 20 0 22 0 4801502 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365294168648 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12761/tid=12789] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12789/stat : 12789 (java) S 12758 12761 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4801619 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365289957032 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12828] ppid=12758 vsize=9824732 CPUtime=695.48 cores=0,2,4,6
/proc/12761/task/12828/stat : 12828 (java) R 12758 12761 6338 0 -1 4202560 24 0 0 0 69536 12 0 0 20 0 22 0 4821132 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365292052896 140365789615763 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12829] ppid=12758 vsize=9824732 CPUtime=695.51 cores=0,2,4,6
/proc/12761/task/12829/stat : 12829 (java) R 12758 12761 6338 0 -1 4202560 25 0 0 0 69540 11 0 0 20 0 22 0 4821132 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365293113392 140365790002113 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12761/tid=12830] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12830/stat : 12830 (java) S 12758 12761 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4821132 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365291009320 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (KiB) 9824732

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 12761 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+898.901 s]
/proc/loadavg: 4.21 4.25 4.19 5/219 12941
/proc/meminfo: memFree=22240840/32872528 swapFree=1370068/1517236
[pid=12761] ppid=12758 vsize=9824732 CPUtime=1799.44 cores=0,2,4,6
/proc/12761/stat : 12761 (java) S 12758 12761 6338 0 -1 4202496 31720 0 1 0 179725 219 0 0 20 0 22 0 4801495 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140733991172448 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12761/statm: 2456183 887134 2295 9 0 2446860 0
[pid=12761/tid=12763] ppid=12758 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/12761/task/12763/stat : 12763 (java) S 12758 12761 6338 0 -1 4202560 2421 0 1 0 25 2 0 0 20 0 22 0 4801496 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365947401080 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12764] ppid=12758 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/12761/task/12764/stat : 12764 (java) S 12758 12761 6338 0 -1 4202560 617 0 0 0 252 19 0 0 20 0 22 0 4801498 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365908892584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12765] ppid=12758 vsize=9824732 CPUtime=2.79 cores=0,2,4,6
/proc/12761/task/12765/stat : 12765 (java) S 12758 12761 6338 0 -1 4202560 688 0 0 0 263 16 0 0 20 0 22 0 4801498 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365907840040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12761/tid=12766] ppid=12758 vsize=9824732 CPUtime=2.57 cores=0,2,4,6
/proc/12761/task/12766/stat : 12766 (java) S 12758 12761 6338 0 -1 4202560 916 0 0 0 239 18 0 0 20 0 22 0 4801498 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365789129384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12761/tid=12767] ppid=12758 vsize=9824732 CPUtime=2.57 cores=0,2,4,6
/proc/12761/task/12767/stat : 12767 (java) S 12758 12761 6338 0 -1 4202560 657 0 0 0 239 18 0 0 20 0 22 0 4801498 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365788076840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12768] ppid=12758 vsize=9824732 CPUtime=2.52 cores=0,2,4,6
/proc/12761/task/12768/stat : 12768 (java) S 12758 12761 6338 0 -1 4202560 666 0 0 0 237 15 0 0 20 0 22 0 4801498 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365787023784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12769] ppid=12758 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/12761/task/12769/stat : 12769 (java) S 12758 12761 6338 0 -1 4202560 652 0 0 0 257 14 0 0 20 0 22 0 4801498 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365785971240 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12770] ppid=12758 vsize=9824732 CPUtime=2.49 cores=0,2,4,6
/proc/12761/task/12770/stat : 12770 (java) S 12758 12761 6338 0 -1 4202560 716 0 0 0 232 17 0 0 20 0 22 0 4801498 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365784918184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12771] ppid=12758 vsize=9824732 CPUtime=2.59 cores=0,2,4,6
/proc/12761/task/12771/stat : 12771 (java) S 12758 12761 6338 0 -1 4202560 711 0 0 0 240 19 0 0 20 0 22 0 4801498 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365783865640 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12772] ppid=12758 vsize=9824732 CPUtime=2.75 cores=0,2,4,6
/proc/12761/task/12772/stat : 12772 (java) S 12758 12761 6338 0 -1 4202560 2077 0 0 0 270 5 0 0 20 0 22 0 4801499 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365301537640 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12773] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12773/stat : 12773 (java) S 12758 12761 6338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4801499 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365300483960 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12774] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12774/stat : 12774 (java) S 12758 12761 6338 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 4801499 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365299430792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12775] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12775/stat : 12775 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4801502 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365298379536 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12761/tid=12776] ppid=12758 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/12761/task/12776/stat : 12776 (java) S 12758 12761 6338 0 -1 4202560 8687 0 0 0 128 2 0 0 20 0 22 0 4801502 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365297326392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12777] ppid=12758 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/12761/task/12777/stat : 12777 (java) S 12758 12761 6338 0 -1 4202560 9207 0 0 0 217 2 0 0 20 0 22 0 4801502 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365296273848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12761/tid=12778] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12778/stat : 12778 (java) S 12758 12761 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4801502 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365295220984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12761/tid=12779] ppid=12758 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/12761/task/12779/stat : 12779 (java) S 12758 12761 6338 0 -1 4202560 51 0 0 0 11 15 0 0 20 0 22 0 4801502 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365294168648 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12761/tid=12789] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12789/stat : 12789 (java) S 12758 12761 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4801619 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365289957032 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12828] ppid=12758 vsize=9824732 CPUtime=695.48 cores=0,2,4,6
/proc/12761/task/12828/stat : 12828 (java) R 12758 12761 6338 0 -1 4202560 24 0 0 0 69536 12 0 0 20 0 22 0 4821132 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365292052896 140365789615763 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12761/tid=12829] ppid=12758 vsize=9824732 CPUtime=695.51 cores=0,2,4,6
/proc/12761/task/12829/stat : 12829 (java) R 12758 12761 6338 0 -1 4202560 25 0 0 0 69540 11 0 0 20 0 22 0 4821132 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365293113392 140365790002113 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12761/tid=12830] ppid=12758 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12761/task/12830/stat : 12830 (java) S 12758 12761 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4821132 10060525568 887134 33554432000 1073741824 1073778376 140733991181312 140365291009320 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12761 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=691317
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=621601
# CPU time returned by wait4() is 1796.31
# while last known CPU time is 1799.44
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.580025
#  lost CPU user time (s): 0.630013
#  lost CPU system time (s): -0.05

Real time (s): 899.003
CPU time (s): 1800.02
CPU user time (s): 1797.88
CPU system time (s): 2.14
CPU usage (%): 200.224
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.69
system time used= 2.6216
maximum resident set size= 3548668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31764
page faults= 1
swaps= 0
block input operations= 0
block output operations= 896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23362
involuntary context switches= 25444

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.95109 second user time and 7.00693 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-30 00:14:27
IDJOB=4118971
IDBENCH=111553
IDSOLVER=2543
FILE ID=node129/4118971-1467238467
RUNJOBID= node129-1467233815-9715
PBS_JOBID= 19997579
Free space on /tmp= 71600 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament18.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118971-1467238467/watcher-4118971-1467238467 -o /tmp/evaluation-result-4118971-1467238467/solver-4118971-1467238467 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1467233815-9715 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4118971-1467238467.opb

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

MD5SUM BENCH= 6c2564616da7655062526ce9bd24dfce
RANDOM SEED=78884997

node129.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.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.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.683
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.56
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.683
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.683
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.683
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.683
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.56
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.683
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.683
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        25671732 kB
Buffers:           92844 kB
Cached:          1784284 kB
SwapCached:            0 kB
Active:          3331280 kB
Inactive:        1581860 kB
Active(anon):    3038584 kB
Inactive(anon):        0 kB
Active(file):     292696 kB
Inactive(file):  1581860 kB
Unevictable:     1517236 kB
Mlocked:         1370068 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               944 kB
Writeback:             0 kB
AnonPages:       4565216 kB
Mapped:            22044 kB
Shmem:               204 kB
Slab:             618560 kB
SReclaimable:      62512 kB
SUnreclaim:       556048 kB
KernelStack:        1608 kB
PageTables:        12512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4887564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3137536 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= 71600 MiB
End job on node129 at 2016-06-30 00:29:26