Trace number 4081341

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)103 1800.16 897.97

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-m4.r.opb
MD5SUMf69ecb5497caa964fbd82b9dc6698ac3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark90
Best CPU time to get the best result obtained on this benchmark0.326949
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 90
Optimality of the best value was proved YES
Number of variables652
Total number of constraints759
Number of constraints which are clauses759
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint46
Number of terms in the objective function 652
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 652
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 652
Number of bits of the biggest sum of numbers10
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4081341-1465231353.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
0.29/0.27	c ... done. Wall clock time 0.165s.
0.29/0.27	c declared #vars     652
0.29/0.27	c #constraints  759
0.29/0.28	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.29/0.28	c constraints type 
0.29/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 743
0.29/0.28	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 16
0.29/0.28	c 759 constraints processed.
0.29/0.28	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.29/0.28	c constraints type 
0.29/0.28	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 16
0.29/0.28	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 743
0.29/0.28	c 759 constraints processed.
0.29/0.28	c objective function length is 652 literals
0.29/0.29	c And the winner is solver0
0.64/0.78	c SATISFIABLE
0.64/0.78	c OPTIMIZING...
0.64/0.78	c Got one! Elapsed wall clock time (in seconds):0.671
0.64/0.78	o 116
0.69/0.80	c And the winner is solver0
0.75/1.28	c Got one! Elapsed wall clock time (in seconds):1.177
0.75/1.28	o 115
2.75/1.81	c cleaning 2502 clauses out of 5011 with flag 10321/5011
3.59/2.13	c And the winner is solver1
3.79/2.29	c Got one! Elapsed wall clock time (in seconds):2.181
3.79/2.29	o 114
4.62/2.72	c cleaning 6565 clauses out of 13147 with flag 13086/15649
4.82/2.85	c And the winner is solver1
4.92/3.29	c Got one! Elapsed wall clock time (in seconds):3.184
4.92/3.29	o 113
5.55/3.67	c cleaning 6127 clauses out of 12272 with flag 10227/21339
6.65/4.19	c cleaning 6054 clauses out of 12144 with flag 25420/27338
8.14/4.83	c cleaning 6538 clauses out of 13089 with flag 43824/34337
9.54/5.57	c cleaning 7269 clauses out of 14551 with flag 65683/42337
11.41/6.41	c cleaning 8136 clauses out of 16282 with flag 90860/51337
11.61/6.50	c And the winner is solver1
11.61/6.80	c Got one! Elapsed wall clock time (in seconds):6.688
11.61/6.80	o 112
12.22/7.14	c cleaning 6641 clauses out of 13284 with flag 10411/56475
13.22/7.65	c cleaning 6312 clauses out of 12643 with flag 26106/62475
14.71/8.31	c cleaning 6666 clauses out of 13331 with flag 44085/69475
16.15/9.04	c cleaning 7327 clauses out of 14665 with flag 64674/77475
17.76/9.85	c cleaning 8167 clauses out of 16339 with flag 87959/86476
19.63/10.79	c cleaning 9080 clauses out of 18171 with flag 115365/96475
20.63/11.25	c And the winner is solver1
20.72/11.30	c Got one! Elapsed wall clock time (in seconds):11.191
20.72/11.30	o 111
21.72/11.85	c cleaning 9742 clauses out of 19484 with flag 12880/106868
22.82/12.38	c cleaning 7870 clauses out of 15742 with flag 29178/112868
24.02/12.98	c cleaning 7433 clauses out of 14872 with flag 47006/119868
25.22/13.53	c And the winner is solver1
25.29/13.80	c Got one! Elapsed wall clock time (in seconds):13.693
25.29/13.80	o 110
26.09/14.29	c cleaning 9818 clauses out of 19636 with flag 12847/132065
27.28/14.85	c cleaning 7904 clauses out of 15818 with flag 28421/138065
28.71/15.55	c cleaning 7454 clauses out of 14915 with flag 46432/145066
30.61/16.43	c cleaning 7725 clauses out of 15460 with flag 67509/153065
32.60/17.42	c cleaning 8367 clauses out of 16736 with flag 91057/162066
35.00/18.62	c cleaning 9180 clauses out of 18368 with flag 116493/172065
37.88/20.08	c cleaning 10091 clauses out of 20188 with flag 147039/183065
41.08/21.61	c cleaning 11042 clauses out of 22097 with flag 180433/195065
42.09/22.19	c And the winner is solver1
42.25/22.30	c Got one! Elapsed wall clock time (in seconds):22.197
42.25/22.30	o 109
43.07/22.77	c cleaning 10636 clauses out of 21274 with flag 12411/205284
44.28/23.33	c cleaning 8312 clauses out of 16634 with flag 28148/211280
45.68/24.03	c cleaning 7657 clauses out of 15323 with flag 46352/218281
47.27/24.82	c cleaning 7830 clauses out of 15664 with flag 66938/226279
49.07/25.77	c cleaning 8418 clauses out of 16835 with flag 90167/235280
51.27/26.85	c cleaning 9208 clauses out of 18416 with flag 117009/245279
54.26/28.20	c cleaning 10099 clauses out of 20208 with flag 147074/256279
56.86/29.59	c cleaning 11054 clauses out of 22109 with flag 180056/268279
59.86/31.04	c cleaning 12022 clauses out of 24055 with flag 217177/281279
63.85/32.91	c cleaning 13013 clauses out of 26034 with flag 254759/295280
67.67/34.82	c cleaning 14004 clauses out of 28020 with flag 299347/310279
70.27/36.13	c And the winner is solver1
70.27/36.44	c Got one! Elapsed wall clock time (in seconds):36.33
70.27/36.44	o 108
71.42/37.02	c cleaning 14923 clauses out of 29850 with flag 12767/326113
72.64/37.62	c cleaning 10464 clauses out of 20928 with flag 27431/332114
74.05/38.30	c cleaning 8727 clauses out of 17463 with flag 45469/339113
75.45/39.08	c cleaning 8363 clauses out of 16737 with flag 66343/347114
77.25/39.95	c cleaning 8685 clauses out of 17373 with flag 91191/356113
79.25/40.97	c cleaning 9344 clauses out of 18689 with flag 118782/366114
81.64/42.16	c cleaning 10167 clauses out of 20344 with flag 149674/377113
84.87/43.60	c cleaning 11090 clauses out of 22180 with flag 184473/389116
87.88/45.11	c cleaning 12045 clauses out of 24089 with flag 218624/402115
91.08/46.70	c cleaning 13019 clauses out of 26042 with flag 257501/416113
94.49/48.46	c cleaning 14011 clauses out of 28024 with flag 303483/431114
98.48/50.49	c cleaning 15007 clauses out of 30013 with flag 353876/447114
100.48/51.45	c And the winner is solver1
100.50/51.94	c Got one! Elapsed wall clock time (in seconds):51.835
100.50/51.94	o 107
101.61/52.52	c cleaning 14179 clauses out of 28358 with flag 12962/460466
102.61/53.06	c cleaning 10086 clauses out of 20179 with flag 28477/466466
104.19/53.79	c cleaning 8539 clauses out of 17093 with flag 46122/473466
105.79/54.50	c cleaning 8275 clauses out of 16554 with flag 67814/481466
107.39/55.36	c cleaning 8637 clauses out of 17279 with flag 92136/490466
109.39/56.31	c cleaning 9320 clauses out of 18643 with flag 121083/500467
111.40/57.39	c cleaning 10162 clauses out of 20323 with flag 153612/511467
113.99/58.66	c cleaning 11079 clauses out of 22161 with flag 188795/523467
116.99/60.14	c cleaning 12041 clauses out of 24081 with flag 225485/536466
120.40/61.83	c cleaning 13019 clauses out of 26041 with flag 267625/550467
123.59/63.47	c cleaning 14012 clauses out of 28023 with flag 307426/565468
127.24/65.27	c cleaning 15005 clauses out of 30011 with flag 349111/581468
131.07/67.14	c cleaning 15996 clauses out of 32006 with flag 392770/598468
136.88/70.34	c cleaning 17003 clauses out of 34008 with flag 438790/616466
141.49/72.66	c cleaning 17998 clauses out of 36005 with flag 487670/635466
146.48/75.17	c cleaning 19004 clauses out of 38009 with flag 541304/655468
152.08/77.97	c cleaning 19999 clauses out of 40007 with flag 602716/676470
158.28/81.06	c cleaning 21003 clauses out of 42007 with flag 666908/698469
161.68/82.79	c And the winner is solver1
161.72/83.14	c Got one! Elapsed wall clock time (in seconds):83.031
161.72/83.14	o 106
162.92/83.79	c cleaning 19817 clauses out of 39634 with flag 12450/717099
164.10/84.36	c cleaning 12906 clauses out of 25816 with flag 27326/723098
165.30/84.99	c cleaning 9955 clauses out of 19909 with flag 44721/730097
166.90/85.75	c cleaning 8977 clauses out of 17954 with flag 63494/738097
168.71/86.60	c cleaning 8988 clauses out of 17977 with flag 85729/747097
170.84/87.60	c cleaning 9495 clauses out of 18990 with flag 110210/757098
172.84/88.65	c cleaning 10248 clauses out of 20495 with flag 139301/768098
175.44/89.90	c cleaning 11123 clauses out of 22247 with flag 171495/780098
178.25/91.31	c cleaning 12058 clauses out of 24124 with flag 208342/793098
181.24/92.81	c cleaning 13033 clauses out of 26065 with flag 245985/807097
184.24/94.36	c cleaning 14016 clauses out of 28033 with flag 285358/822098
187.64/96.07	c cleaning 15005 clauses out of 30017 with flag 328057/838098
191.24/97.86	c cleaning 15998 clauses out of 32011 with flag 373913/855097
195.63/100.03	c cleaning 17002 clauses out of 34016 with flag 420734/873100
200.23/102.29	c cleaning 18006 clauses out of 36011 with flag 476199/892097
205.43/104.80	c cleaning 18999 clauses out of 38005 with flag 528514/912097
208.23/106.25	c cleaning 0 clauses out of 7639 with flag 0/7639
211.15/107.51	c cleaning 20003 clauses out of 40007 with flag 588281/933098
216.82/110.33	c cleaning 21002 clauses out of 42003 with flag 651336/955097
223.18/113.45	c cleaning 21995 clauses out of 44001 with flag 712075/978097
229.36/116.50	c cleaning 22999 clauses out of 46006 with flag 779357/1002097
236.17/119.97	c cleaning 23998 clauses out of 48009 with flag 849882/1027099
242.57/123.14	c And the winner is solver1
242.57/123.15	c Got one! Elapsed wall clock time (in seconds):123.044
242.57/123.15	o 105
243.57/123.77	c cleaning 26282 clauses out of 52563 with flag 12628/1055651
246.44/125.51	c cleaning 16136 clauses out of 32281 with flag 27737/1061651
247.82/126.21	c cleaning 11571 clauses out of 23145 with flag 45030/1068651
249.22/126.98	c cleaning 9783 clauses out of 19576 with flag 64894/1076653
251.02/127.85	c cleaning 9390 clauses out of 18791 with flag 87933/1085651
252.84/128.78	c cleaning 9699 clauses out of 19402 with flag 113881/1095652
255.24/129.94	c cleaning 10348 clauses out of 20702 with flag 142473/1106651
257.63/131.13	c cleaning 11177 clauses out of 22354 with flag 173436/1118651
260.23/132.43	c cleaning 12085 clauses out of 24178 with flag 206061/1131652
262.83/133.78	c cleaning 13046 clauses out of 26092 with flag 243575/1145651
266.04/135.36	c cleaning 14017 clauses out of 28046 with flag 286077/1160651
269.89/137.21	c cleaning 15012 clauses out of 30030 with flag 329529/1176652
273.69/139.13	c cleaning 16007 clauses out of 32017 with flag 374522/1193651
278.12/141.35	c cleaning 17002 clauses out of 34011 with flag 423222/1211652
282.52/143.58	c cleaning 18000 clauses out of 36008 with flag 472761/1230651
287.72/146.14	c cleaning 18999 clauses out of 38008 with flag 529871/1250651
293.33/148.90	c cleaning 20002 clauses out of 40010 with flag 601971/1271652
299.66/152.01	c cleaning 21004 clauses out of 42008 with flag 663668/1293652
305.25/154.85	c cleaning 21999 clauses out of 44003 with flag 727718/1316651
311.85/158.10	c cleaning 23003 clauses out of 46005 with flag 804188/1340652
318.85/161.63	c cleaning 23998 clauses out of 48002 with flag 875610/1365652
326.61/165.42	c cleaning 24999 clauses out of 50003 with flag 947867/1391651
334.41/169.38	c cleaning 25996 clauses out of 52005 with flag 1020360/1418652
342.61/173.49	c cleaning 27000 clauses out of 54008 with flag 1096656/1446651
351.82/177.90	c cleaning 28002 clauses out of 56008 with flag 1188896/1475651
360.41/182.20	c cleaning 29002 clauses out of 58009 with flag 1296288/1505654
370.02/187.06	c cleaning 30001 clauses out of 60005 with flag 1380692/1536652
380.05/191.97	c cleaning 31002 clauses out of 62003 with flag 1475947/1568651
390.25/197.09	c cleaning 31998 clauses out of 64001 with flag 1586952/1601651
401.83/202.84	c cleaning 33002 clauses out of 66003 with flag 1683221/1635651
413.84/208.76	c cleaning 33997 clauses out of 68001 with flag 1789782/1670651
425.45/214.56	c cleaning 34999 clauses out of 70005 with flag 1889118/1706652
438.41/220.93	c cleaning 36000 clauses out of 72006 with flag 1986269/1743652
450.80/227.14	c cleaning 37000 clauses out of 74007 with flag 2083850/1781653
464.76/234.09	c cleaning 38001 clauses out of 76007 with flag 2185431/1820653
477.56/240.47	c cleaning 38997 clauses out of 78004 with flag 2290348/1860651
491.34/247.28	c cleaning 40000 clauses out of 80008 with flag 2399972/1901652
506.34/254.62	c cleaning 40999 clauses out of 82007 with flag 2524272/1943651
521.34/262.16	c cleaning 41999 clauses out of 84009 with flag 2647384/1986652
537.21/269.99	c cleaning 42996 clauses out of 86010 with flag 2775822/2030652
553.87/278.19	c cleaning 44002 clauses out of 88014 with flag 2939542/2075652
572.07/287.23	c cleaning 45003 clauses out of 90011 with flag 3072709/2121651
591.56/296.84	c cleaning 46000 clauses out of 92008 with flag 3216168/2168651
610.67/306.26	c cleaning 46996 clauses out of 94008 with flag 3349384/2216651
630.23/315.86	c cleaning 48003 clauses out of 96014 with flag 3498927/2265653
650.54/325.87	c cleaning 49003 clauses out of 98011 with flag 3664468/2315653
671.14/336.18	c cleaning 50001 clauses out of 100007 with flag 3808140/2366652
689.52/345.16	c cleaning 51001 clauses out of 102006 with flag 3958984/2418652
710.04/355.25	c cleaning 0 clauses out of 13519 with flag 0/13519
710.65/355.58	c cleaning 52003 clauses out of 104005 with flag 4116394/2471652
730.25/365.15	c And the winner is solver1
730.25/365.58	c Got one! Elapsed wall clock time (in seconds):365.472
730.25/365.58	o 104
731.89/366.46	c cleaning 53340 clauses out of 106680 with flag 12347/2526330
733.28/367.19	c cleaning 29668 clauses out of 59340 with flag 27116/2532330
734.88/367.90	c cleaning 18330 clauses out of 36672 with flag 45525/2539330
737.02/368.83	c cleaning 13171 clauses out of 26341 with flag 66690/2547329
738.62/369.65	c cleaning 11084 clauses out of 22170 with flag 89424/2556329
740.41/370.59	c cleaning 10541 clauses out of 21087 with flag 114007/2566330
742.61/371.62	c cleaning 10771 clauses out of 21545 with flag 142257/2577329
745.01/372.88	c cleaning 11385 clauses out of 22774 with flag 173781/2589329
748.01/374.34	c cleaning 12191 clauses out of 24389 with flag 208785/2602329
751.21/375.91	c cleaning 13100 clauses out of 26199 with flag 248243/2616330
755.12/377.77	c cleaning 14050 clauses out of 28100 with flag 290336/2631331
758.73/379.58	c cleaning 15020 clauses out of 30048 with flag 332637/2647329
762.72/381.52	c cleaning 16014 clauses out of 32028 with flag 377276/2664329
767.12/383.76	c cleaning 17003 clauses out of 34014 with flag 422404/2682329
771.72/386.07	c cleaning 18005 clauses out of 36011 with flag 473518/2701329
777.80/388.96	c cleaning 19001 clauses out of 38006 with flag 525426/2721329
783.61/391.82	c cleaning 20000 clauses out of 40005 with flag 587491/2742329
792.10/396.88	c cleaning 21000 clauses out of 42005 with flag 647129/2764329
798.51/400.02	c cleaning 22000 clauses out of 44005 with flag 707004/2787329
805.31/403.42	c cleaning 23003 clauses out of 46006 with flag 768904/2811330
812.40/406.92	c cleaning 24003 clauses out of 48006 with flag 834016/2836333
819.80/410.67	c cleaning 24999 clauses out of 50000 with flag 904711/2862330
828.06/414.80	c cleaning 25996 clauses out of 52000 with flag 977854/2889329
837.26/419.30	c cleaning 26998 clauses out of 54004 with flag 1050034/2917329
845.76/423.53	c cleaning 28000 clauses out of 56006 with flag 1127342/2946329
854.15/427.74	c cleaning 28999 clauses out of 58006 with flag 1215858/2976329
863.06/432.14	c cleaning 29999 clauses out of 60007 with flag 1316384/3007329
873.07/437.10	c cleaning 30997 clauses out of 62009 with flag 1415465/3039330
884.40/442.70	c cleaning 32007 clauses out of 64013 with flag 1511975/3072331
895.49/448.25	c cleaning 32997 clauses out of 66004 with flag 1601313/3106329
905.93/453.42	c cleaning 34002 clauses out of 68007 with flag 1693187/3141329
918.09/459.41	c cleaning 35003 clauses out of 70008 with flag 1795068/3177332
930.69/465.79	c cleaning 35998 clauses out of 72003 with flag 1895144/3214330
944.26/472.46	c cleaning 36998 clauses out of 74004 with flag 2001133/3252329
959.23/479.84	c cleaning 38003 clauses out of 76007 with flag 2103890/3291330
974.84/487.52	c cleaning 39000 clauses out of 78003 with flag 2219153/3331329
988.43/494.38	c cleaning 39997 clauses out of 80003 with flag 2328137/3372329
1005.25/502.66	c cleaning 40998 clauses out of 82006 with flag 2439529/3414329
1023.00/511.43	c cleaning 42001 clauses out of 84009 with flag 2556463/3457330
1039.68/519.64	c cleaning 43001 clauses out of 86008 with flag 2679242/3501330
1059.15/529.28	c cleaning 44002 clauses out of 88006 with flag 2799898/3546329
1078.23/538.62	c cleaning 44997 clauses out of 90004 with flag 2923718/3592329
1095.32/547.04	c And the winner is solver1
1095.32/547.47	c Got one! Elapsed wall clock time (in seconds):547.359
1095.32/547.47	o 103
1096.77/548.25	c cleaning 44685 clauses out of 89369 with flag 12197/3636691
1098.17/548.94	c cleaning 25342 clauses out of 50684 with flag 26602/3642691
1099.57/549.64	c cleaning 16172 clauses out of 32343 with flag 43942/3649692
1101.17/550.42	c cleaning 12086 clauses out of 24171 with flag 64553/3657692
1102.78/551.27	c cleaning 10542 clauses out of 21084 with flag 88522/3666691
1104.77/552.26	c cleaning 10267 clauses out of 20542 with flag 114624/3676691
1106.97/553.39	c cleaning 10638 clauses out of 21276 with flag 141932/3687692
1109.37/554.59	c cleaning 11315 clauses out of 22638 with flag 172145/3699692
1112.66/556.08	c cleaning 12160 clauses out of 24323 with flag 203354/3712692
1115.86/557.62	c cleaning 13079 clauses out of 26162 with flag 240121/3726691
1119.06/559.26	c cleaning 14041 clauses out of 28083 with flag 278097/3741691
1122.87/561.19	c cleaning 15013 clauses out of 30042 with flag 317115/3757691
1126.46/562.98	c cleaning 16014 clauses out of 32031 with flag 360587/3774693
1130.78/564.97	c cleaning 17003 clauses out of 34015 with flag 412116/3792691
1134.78/566.97	c cleaning 17998 clauses out of 36013 with flag 463368/3811692
1139.38/569.23	c cleaning 19003 clauses out of 38014 with flag 516503/3831691
1144.58/571.84	c cleaning 20002 clauses out of 40011 with flag 573608/3852691
1150.86/574.83	c cleaning 21002 clauses out of 42011 with flag 632151/3874693
1156.86/577.85	c cleaning 22002 clauses out of 44008 with flag 696016/3897692
1163.46/581.15	c cleaning 23003 clauses out of 46007 with flag 764681/3921693
1171.09/584.86	c cleaning 23998 clauses out of 48003 with flag 849901/3946692
1178.09/588.37	c cleaning 24996 clauses out of 50004 with flag 920171/3972691
1185.50/592.05	c cleaning 26003 clauses out of 52009 with flag 998462/3999692
1192.88/595.67	c cleaning 27000 clauses out of 54005 with flag 1078260/4027691
1200.69/599.55	c cleaning 28002 clauses out of 56005 with flag 1156704/4056691
1208.88/603.64	c cleaning 28999 clauses out of 58003 with flag 1239018/4086691
1219.29/608.73	c cleaning 30001 clauses out of 60006 with flag 1323810/4117693
1228.49/613.40	c cleaning 31000 clauses out of 62003 with flag 1411612/4149691
1238.51/618.30	c cleaning 32000 clauses out of 64003 with flag 1509361/4182691
1248.70/623.39	c cleaning 33001 clauses out of 66003 with flag 1604893/4216691
1260.30/629.07	c cleaning 34001 clauses out of 68005 with flag 1705592/4251694
1270.90/634.35	c cleaning 35000 clauses out of 70002 with flag 1803669/4287692
1283.86/640.72	c cleaning 35994 clauses out of 72001 with flag 1902626/4324691
1298.82/648.14	c cleaning 37002 clauses out of 74007 with flag 2007013/4362691
1313.38/655.39	c cleaning 38000 clauses out of 76006 with flag 2116159/4401692
1328.58/662.98	c cleaning 39001 clauses out of 78005 with flag 2227397/4441691
1342.79/669.99	c cleaning 39999 clauses out of 80004 with flag 2336106/4482691
1356.98/677.05	c cleaning 41000 clauses out of 82005 with flag 2447529/4524691
1372.36/684.67	c cleaning 42001 clauses out of 84007 with flag 2562505/4567693
1383.76/690.25	c cleaning 0 clauses out of 19504 with flag 0/19504
1387.55/692.15	c cleaning 43002 clauses out of 86005 with flag 2677381/4611692
1401.95/699.33	c cleaning 43998 clauses out of 88002 with flag 2793058/4656691
1419.13/707.88	c cleaning 44998 clauses out of 90004 with flag 2915210/4702691
1437.00/716.67	c cleaning 46000 clauses out of 92006 with flag 3035548/4749691
1456.24/726.12	c cleaning 46999 clauses out of 94006 with flag 3158679/4797691
1474.02/735.01	c cleaning 47996 clauses out of 96007 with flag 3284556/4846691
1493.89/744.82	c cleaning 49004 clauses out of 98011 with flag 3419813/4896691
1514.79/755.12	c cleaning 50004 clauses out of 100008 with flag 3555202/4947692
1536.48/765.89	c cleaning 51000 clauses out of 102004 with flag 3691848/4999692
1556.37/775.65	c cleaning 51989 clauses out of 104003 with flag 3844983/5052691
1576.75/785.88	c cleaning 53003 clauses out of 106014 with flag 3991009/5106691
1596.83/795.75	c cleaning 54003 clauses out of 108012 with flag 4139689/5161692
1619.51/806.93	c cleaning 55002 clauses out of 110008 with flag 4304615/5217691
1646.11/820.20	c cleaning 56000 clauses out of 112008 with flag 4464796/5274693
1670.22/832.07	c cleaning 57003 clauses out of 114006 with flag 4617595/5332691
1695.02/844.46	c cleaning 58000 clauses out of 116005 with flag 4786862/5391693
1719.90/856.73	c cleaning 59001 clauses out of 118003 with flag 4949053/5451691
1746.26/869.70	c cleaning 59999 clauses out of 120002 with flag 5111010/5512691
1777.09/884.86	c cleaning 60998 clauses out of 122004 with flag 5280482/5574692
1800.16/897.90	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.16/897.90	c starts		: 110790
1800.16/897.90	c conflicts		: 5619930
1800.16/897.90	c decisions		: 21516621
1800.16/897.90	c propagations		: 474046122
1800.16/897.90	c inspects		: 12486826954
1800.16/897.90	c shortcuts		: 0
1800.16/897.90	c learnt literals	: 0
1800.16/897.90	c learnt binary clauses	: 0
1800.16/897.90	c learnt ternary clauses	: 0
1800.16/897.90	c learnt constraints	: 5619930
1800.16/897.90	c ignored constraints	: 0
1800.16/897.90	c root simplifications	: 0
1800.16/897.90	c removed literals (reason simplification)	: 18209555
1800.16/897.90	c reason swapping (by a shorter reason)	: 0
1800.16/897.90	c Calls to reduceDB	: 235
1800.16/897.90	c Number of update (reduction) of LBD	: 889403
1800.16/897.90	c Imported unit clauses	: 0
1800.16/897.90	c number of reductions to clauses (during analyze)	: 0
1800.16/897.90	c number of learned constraints concerned by reduction	: 0
1800.16/897.90	c number of learning phase by resolution	: 0
1800.16/897.90	c number of learning phase by cutting planes	: 0
1800.16/897.90	c speed (assignments/second)	: 1352755.5346288844
1800.16/897.90	c non guided choices	0
1800.16/897.93	c learnt constraints type 
1800.16/897.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 106244
1800.16/897.93	c >>>>>>>>>> Solver number 1 (12 answers) <<<<<<<<<<<<<<<<<<
1800.16/897.93	c starts		: 62
1800.16/897.93	c conflicts		: 20987
1800.16/897.93	c decisions		: 130002
1800.16/897.93	c propagations		: 596495
1800.16/897.93	c inspects		: 633652488
1800.16/897.93	c shortcuts		: 0
1800.16/897.93	c learnt literals	: 0
1800.16/897.93	c learnt binary clauses	: 0
1800.16/897.93	c learnt ternary clauses	: 0
1800.16/897.93	c learnt constraints	: 20987
1800.16/897.93	c ignored constraints	: 0
1800.16/897.93	c root simplifications	: 0
1800.16/897.93	c removed literals (reason simplification)	: 0
1800.16/897.93	c reason swapping (by a shorter reason)	: 0
1800.16/897.93	c Calls to reduceDB	: 3
1800.16/897.93	c Number of update (reduction) of LBD	: 0
1800.16/897.93	c Imported unit clauses	: 0
1800.16/897.93	c number of reductions to clauses (during analyze)	: 0
1800.16/897.93	c number of learned constraints concerned by reduction	: 0
1800.16/897.93	c number of learning phase by resolution	: 0
1800.16/897.93	c number of learning phase by cutting planes	: 0
1800.16/897.93	c speed (assignments/second)	: 665.257327929443
1800.16/897.93	c non guided choices	13
1800.16/897.94	c learnt constraints type 
1800.16/897.94	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 4430
1800.16/897.94	c org.sat4j.pb.constraints.pb.MaxWatchPb => 16557
1800.16/897.94	s SATISFIABLE
1800.16/897.94	c Found 14 solution(s)
1800.16/897.94	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 
1800.16/897.94	c objective function=103
1800.16/897.94	c Total wall clock time (in seconds): 897.833

Verifier Data 

OK	103

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-4081341-1465231353/watcher-4081341-1465231353 -o /tmp/evaluation-result-4081341-1465231353/solver-4081341-1465231353 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1465216745-25468 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081341-1465231353.opb 

pid=336
running on 4 cores: 1,3,5,7

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: 3.76 4.02 4.11 4/197 339
/proc/meminfo: memFree=29808840/32872528 swapFree=11252/530428
[pid=339] ppid=336 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/339/stat : 339 (java) R 336 339 25451 0 -1 4202496 628 0 0 0 0 0 0 0 20 0 1 0 105067107 23793664 278 33554432000 1073741824 1073778376 140736496681168 140736496670232 211449592371 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/339/statm: 5809 290 225 9 0 128 0
[pid=339/tid=340] ppid=336 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/339/task/340/stat : 340 (java) R 336 339 25451 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 105067108 98570240 977 33554432000 1073741824 1073778376 140736496681168 140495486602792 211458803072 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 3.76 4.02 4.11 4/197 339
/proc/meminfo: memFree=29808840/32872528 swapFree=11252/530428
[pid=339] ppid=336 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/339/stat : 339 (java) S 336 339 25451 0 -1 4202496 4477 0 1 0 10 1 0 0 20 0 18 0 105067107 9787879424 6086 33554432000 1073741824 1073778376 140736496681168 140736496672304 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/339/statm: 2389619 6086 2156 9 0 2380296 0
[pid=339/tid=340] ppid=336 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/339/task/340/stat : 340 (java) R 336 339 25451 0 -1 4202560 2384 0 1 0 7 0 0 0 20 0 18 0 105067108 9787879424 6086 33554432000 1073741824 1073778376 140736496681168 140495486605904 211462186253 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200352 s]
/proc/loadavg: 3.76 4.02 4.11 4/197 339
/proc/meminfo: memFree=29808840/32872528 swapFree=11252/530428
[pid=339] ppid=336 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/339/stat : 339 (java) S 336 339 25451 0 -1 4202496 5018 0 1 0 28 1 0 0 20 0 18 0 105067107 9787879424 7043 33554432000 1073741824 1073778376 140736496681168 140736496672304 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/339/statm: 2389619 7043 2217 9 0 2380296 0
[pid=339/tid=340] ppid=336 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/339/task/340/stat : 340 (java) R 336 339 25451 0 -1 4202560 2396 0 1 0 16 1 0 0 20 0 18 0 105067108 9787879424 7043 33554432000 1073741824 1073778376 140736496681168 140495486605904 140495309305956 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300279 s]
/proc/loadavg: 3.76 4.02 4.11 4/197 339
/proc/meminfo: memFree=29808840/32872528 swapFree=11252/530428
[pid=339] ppid=336 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/339/stat : 339 (java) S 336 339 25451 0 -1 4202496 7437 0 1 0 55 4 0 0 20 0 19 0 105067107 10060525568 10847 33554432000 1073741824 1073778376 140736496681168 140736496672304 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/339/statm: 2456183 10847 2244 9 0 2446860 0
[pid=339/tid=340] ppid=336 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/339/task/340/stat : 340 (java) S 336 339 25451 0 -1 4202560 2413 0 1 0 24 2 0 0 20 0 19 0 105067108 10060525568 10847 33554432000 1073741824 1073778376 140736496681168 140495486608248 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9824732

[startup+0.700252 s]
/proc/loadavg: 3.76 4.02 4.11 4/197 339
/proc/meminfo: memFree=29808840/32872528 swapFree=11252/530428
[pid=339] ppid=336 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/339/stat : 339 (java) S 336 339 25451 0 -1 4202496 8108 0 1 0 60 4 0 0 20 0 19 0 105067107 10060525568 10860 33554432000 1073741824 1073778376 140736496681168 140736496672304 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/339/statm: 2456183 10860 2244 9 0 2446860 0
[pid=339/tid=340] ppid=336 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/339/task/340/stat : 340 (java) S 336 339 25451 0 -1 4202560 2413 0 1 0 24 2 0 0 20 0 19 0 105067108 10060525568 10860 33554432000 1073741824 1073778376 140736496681168 140495486608248 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 9824732

[startup+1.50075 s]
/proc/loadavg: 3.76 4.02 4.11 4/216 368
/proc/meminfo: memFree=29533316/32872528 swapFree=11252/530428
[pid=339] ppid=336 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/339/stat : 339 (java) S 336 339 25451 0 -1 4202496 13795 0 1 0 147 7 0 0 20 0 22 0 105067107 10060525568 17006 33554432000 1073741824 1073778376 140736496681168 140736496672304 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/339/statm: 2456183 17006 2256 9 0 2446860 0
[pid=339/tid=340] ppid=336 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/339/task/340/stat : 340 (java) S 336 339 25451 0 -1 4202560 2417 0 1 0 25 2 0 0 20 0 22 0 105067108 10060525568 17006 33554432000 1073741824 1073778376 140736496681168 140495486608248 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=339/tid=342] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/342/stat : 342 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105067108 10060525568 17006 33554432000 1073741824 1073778376 140736496681168 140495448099496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=343] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/343/stat : 343 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105067108 10060525568 17006 33554432000 1073741824 1073778376 140736496681168 140495447046952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=339/tid=344] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/344/stat : 344 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105067108 10060525568 17006 33554432000 1073741824 1073778376 140736496681168 140495445994408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=339/tid=345] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/345/stat : 345 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105067108 10060525568 17006 33554432000 1073741824 1073778376 140736496681168 140495444941864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=339/tid=346] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/346/stat : 346 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105067108 10060525568 17006 33554432000 1073741824 1073778376 140736496681168 140495443888296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=347] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/347/stat : 347 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105067108 10060525568 17006 33554432000 1073741824 1073778376 140736496681168 140495442835752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=339/tid=348] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/348/stat : 348 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105067108 10060525568 17006 33554432000 1073741824 1073778376 140736496681168 140495441783208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=349] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/349/stat : 349 (java) S 336 339 25451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105067108 10060525568 17006 33554432000 1073741824 1073778376 140736496681168 140495440730664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=350] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/350/stat : 350 (java) S 336 339 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105067110 10060525568 17006 33554432000 1073741824 1073778376 140736496681168 140495428319848 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=339/tid=351] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/351/stat : 351 (java) S 336 339 25451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105067110 10060525568 17006 33554432000 1073741824 1073778376 140736496681168 140495309235832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=352] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/352/stat : 352 (java) S 336 339 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105067110 10060525568 17006 33554432000 1073741824 1073778376 140736496681168 140495308183176 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=353] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/353/stat : 353 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105067112 10060525568 17006 33554432000 1073741824 1073778376 140736496681168 140495307131920 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=354] ppid=336 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/339/task/354/stat : 354 (java) R 336 339 25451 0 -1 4202560 2572 0 0 0 37 0 0 0 20 0 22 0 105067112 10060525568 17006 33554432000 1073741824 1073778376 140736496681168 140495306065112 140495493426799 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=339/tid=355] ppid=336 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/339/task/355/stat : 355 (java) R 336 339 25451 0 -1 4202560 7447 0 0 0 34 2 0 0 20 0 22 0 105067112 10060525568 17006 33554432000 1073741824 1073778376 140736496681168 140495305002872 140495489209156 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=339/tid=356] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/356/stat : 356 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105067112 10060525568 17006 33554432000 1073741824 1073778376 140736496681168 140495303973368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=339/tid=357] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/357/stat : 357 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105067112 10060525568 17006 33554432000 1073741824 1073778376 140736496681168 140495302921032 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=339/tid=365] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/365/stat : 365 (java) S 336 339 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105067136 10060525568 17006 33554432000 1073741824 1073778376 140736496681168 140495298709160 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 9824732

[startup+3.10075 s]
/proc/loadavg: 3.76 4.02 4.11 3/216 371
/proc/meminfo: memFree=29140920/32872528 swapFree=11252/530428
[pid=339] ppid=336 vsize=9824732 CPUtime=4.92 cores=1,3,5,7
/proc/339/stat : 339 (java) S 336 339 25451 0 -1 4202496 25208 0 1 0 478 14 0 0 20 0 19 0 105067107 10060525568 42227 33554432000 1073741824 1073778376 140736496681168 140736496672304 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/339/statm: 2456183 42227 2272 9 0 2446860 0
[pid=339/tid=340] ppid=336 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/339/task/340/stat : 340 (java) S 336 339 25451 0 -1 4202560 2417 0 1 0 25 2 0 0 20 0 19 0 105067108 10060525568 42227 33554432000 1073741824 1073778376 140736496681168 140495486608248 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=339/tid=342] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/342/stat : 342 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105067108 10060525568 42227 33554432000 1073741824 1073778376 140736496681168 140495448099496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=343] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/343/stat : 343 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105067108 10060525568 42227 33554432000 1073741824 1073778376 140736496681168 140495447046952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=339/tid=344] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/344/stat : 344 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105067108 10060525568 42227 33554432000 1073741824 1073778376 140736496681168 140495445994408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=339/tid=345] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/345/stat : 345 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105067108 10060525568 42227 33554432000 1073741824 1073778376 140736496681168 140495444941864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=339/tid=346] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/346/stat : 346 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105067108 10060525568 42227 33554432000 1073741824 1073778376 140736496681168 140495443888296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=347] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/347/stat : 347 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105067108 10060525568 42227 33554432000 1073741824 1073778376 140736496681168 140495442835752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=339/tid=348] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/348/stat : 348 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105067108 10060525568 42227 33554432000 1073741824 1073778376 140736496681168 140495441783208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=349] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/349/stat : 349 (java) S 336 339 25451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105067108 10060525568 42227 33554432000 1073741824 1073778376 140736496681168 140495440730664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=350] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/350/stat : 350 (java) S 336 339 25451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105067110 10060525568 42227 33554432000 1073741824 1073778376 140736496681168 140495428319848 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=339/tid=351] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/351/stat : 351 (java) S 336 339 25451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105067110 10060525568 42227 33554432000 1073741824 1073778376 140736496681168 140495309235832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=352] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/352/stat : 352 (java) S 336 339 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105067110 10060525568 42227 33554432000 1073741824 1073778376 140736496681168 140495308183176 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=353] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/353/stat : 353 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105067112 10060525568 42227 33554432000 1073741824 1073778376 140736496681168 140495307131920 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=354] ppid=336 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/339/task/354/stat : 354 (java) S 336 339 25451 0 -1 4202560 11261 0 0 0 86 2 0 0 20 0 19 0 105067112 10060525568 42227 33554432000 1073741824 1073778376 140736496681168 140495306078264 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=355] ppid=336 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/339/task/355/stat : 355 (java) S 336 339 25451 0 -1 4202560 10117 0 0 0 82 2 0 0 20 0 19 0 105067112 10060525568 42227 33554432000 1073741824 1073778376 140736496681168 140495305025720 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=339/tid=356] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/356/stat : 356 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105067112 10060525568 42227 33554432000 1073741824 1073778376 140736496681168 140495303973368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=339/tid=357] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/357/stat : 357 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105067112 10060525568 42227 33554432000 1073741824 1073778376 140736496681168 140495302921032 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=339/tid=371] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/371/stat : 371 (java) S 336 339 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105067237 10060525568 42227 33554432000 1073741824 1073778376 140736496681168 140495301866920 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 9824732

[startup+6.3009 s]
/proc/loadavg: 3.78 4.02 4.11 5/219 377
/proc/meminfo: memFree=28631376/32872528 swapFree=11252/530428
[pid=339] ppid=336 vsize=9824732 CPUtime=11.21 cores=1,3,5,7
/proc/339/stat : 339 (java) S 336 339 25451 0 -1 4202496 26688 0 1 0 1101 20 0 0 20 0 22 0 105067107 10060525568 60235 33554432000 1073741824 1073778376 140736496681168 140736496672304 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/339/statm: 2456183 60235 2286 9 0 2446860 0
[pid=339/tid=340] ppid=336 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/339/task/340/stat : 340 (java) S 336 339 25451 0 -1 4202560 2419 0 1 0 26 2 0 0 20 0 22 0 105067108 10060525568 60235 33554432000 1073741824 1073778376 140736496681168 140495486608248 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=339/tid=342] ppid=336 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/339/task/342/stat : 342 (java) S 336 339 25451 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 22 0 105067108 10060525568 60235 33554432000 1073741824 1073778376 140736496681168 140495448099496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=339/tid=343] ppid=336 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/339/task/343/stat : 343 (java) S 336 339 25451 0 -1 4202560 133 0 0 0 3 0 0 0 20 0 22 0 105067108 10060525568 60235 33554432000 1073741824 1073778376 140736496681168 140495447046952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=339/tid=344] ppid=336 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/339/task/344/stat : 344 (java) S 336 339 25451 0 -1 4202560 99 0 0 0 1 0 0 0 20 0 22 0 105067108 10060525568 60235 33554432000 1073741824 1073778376 140736496681168 140495445994408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=339/tid=345] ppid=336 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/339/task/345/stat : 345 (java) R 336 339 25451 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 105067108 10060525568 60235 33554432000 1073741824 1073778376 140736496681168 140495444941864 211462173756 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=339/tid=346] ppid=336 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/339/task/346/stat : 346 (java) S 336 339 25451 0 -1 4202560 132 0 0 0 3 0 0 0 20 0 22 0 105067108 10060525568 60235 33554432000 1073741824 1073778376 140736496681168 140495443888296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=347] ppid=336 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/339/task/347/stat : 347 (java) S 336 339 25451 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 22 0 105067108 10060525568 60235 33554432000 1073741824 1073778376 140736496681168 140495442835752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=339/tid=348] ppid=336 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/339/task/348/stat : 348 (java) S 336 339 25451 0 -1 4202560 174 0 0 0 3 0 0 0 20 0 22 0 105067108 10060525568 60235 33554432000 1073741824 1073778376 140736496681168 140495441783208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=349] ppid=336 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/339/task/349/stat : 349 (java) S 336 339 25451 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 105067108 10060525568 60235 33554432000 1073741824 1073778376 140736496681168 140495440730664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=339/tid=350] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/350/stat : 350 (java) S 336 339 25451 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 105067110 10060525568 60235 33554432000 1073741824 1073778376 140736496681168 140495428319848 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=339/tid=351] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/351/stat : 351 (java) S 336 339 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105067110 10060525568 60235 33554432000 1073741824 1073778376 140736496681168 140495309235832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=352] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/352/stat : 352 (java) S 336 339 25451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105067110 10060525568 60235 33554432000 1073741824 1073778376 140736496681168 140495308183176 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=353] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/353/stat : 353 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105067112 10060525568 60235 33554432000 1073741824 1073778376 140736496681168 140495307131920 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=354] ppid=336 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/339/task/354/stat : 354 (java) S 336 339 25451 0 -1 4202560 12049 0 0 0 95 3 0 0 20 0 22 0 105067112 10060525568 60235 33554432000 1073741824 1073778376 140736496681168 140495306078264 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=355] ppid=336 vsize=9824732 CPUtime=0.93 cores=1,3,5,7

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

[pid=339/tid=349] ppid=336 vsize=9824732 CPUtime=4.39 cores=1,3,5,7
/proc/339/task/349/stat : 349 (java) S 336 339 25451 0 -1 4202560 880 0 0 0 419 20 0 0 20 0 22 0 105067108 10060525568 992469 33554432000 1073741824 1073778376 140736496681168 140495440730664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=339/tid=350] ppid=336 vsize=9824732 CPUtime=3.69 cores=1,3,5,7
/proc/339/task/350/stat : 350 (java) S 336 339 25451 0 -1 4202560 2442 0 0 0 362 7 0 0 20 0 22 0 105067110 10060525568 992469 33554432000 1073741824 1073778376 140736496681168 140495428319848 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=339/tid=351] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/351/stat : 351 (java) S 336 339 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105067110 10060525568 992469 33554432000 1073741824 1073778376 140736496681168 140495309235832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=339/tid=352] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/352/stat : 352 (java) S 336 339 25451 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 105067110 10060525568 992469 33554432000 1073741824 1073778376 140736496681168 140495308183176 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=339/tid=353] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/353/stat : 353 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105067112 10060525568 992469 33554432000 1073741824 1073778376 140736496681168 140495307131920 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=354] ppid=336 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/339/task/354/stat : 354 (java) S 336 339 25451 0 -1 4202560 12084 0 0 0 114 3 0 0 20 0 22 0 105067112 10060525568 992469 33554432000 1073741824 1073778376 140736496681168 140495306078264 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=339/tid=355] ppid=336 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/339/task/355/stat : 355 (java) S 336 339 25451 0 -1 4202560 11009 0 0 0 163 2 0 0 20 0 22 0 105067112 10060525568 992469 33554432000 1073741824 1073778376 140736496681168 140495305025720 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=339/tid=356] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/356/stat : 356 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105067112 10060525568 992469 33554432000 1073741824 1073778376 140736496681168 140495303973368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=339/tid=357] ppid=336 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/339/task/357/stat : 357 (java) S 336 339 25451 0 -1 4202560 51 0 0 0 16 22 0 0 20 0 22 0 105067112 10060525568 992469 33554432000 1073741824 1073778376 140736496681168 140495302921032 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=371] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/371/stat : 371 (java) S 336 339 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105067237 10060525568 992469 33554432000 1073741824 1073778376 140736496681168 140495301866920 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=339/tid=418] ppid=336 vsize=9824732 CPUtime=330.08 cores=1,3,5,7
/proc/339/task/418/stat : 418 (java) R 336 339 25451 0 -1 4202560 16 0 0 0 33003 5 0 0 20 0 22 0 105121855 10060525568 992469 33554432000 1073741824 1073778376 140736496681168 140495300812064 140495309858976 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=339/tid=419] ppid=336 vsize=9824732 CPUtime=330.08 cores=1,3,5,7
/proc/339/task/419/stat : 419 (java) R 336 339 25451 0 -1 4202560 14 0 0 0 33003 5 0 0 20 0 22 0 105121855 10060525568 992469 33554432000 1073741824 1073778376 140736496681168 140495298706592 140495310239931 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=339/tid=420] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/420/stat : 420 (java) S 336 339 25451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105121855 10060525568 992469 33554432000 1073741824 1073778376 140736496681168 140495299761064 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1769.88
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+897.901 s]
/proc/loadavg: 4.08 4.24 4.18 5/219 497
/proc/meminfo: memFree=26977280/32872528 swapFree=11252/530428
[pid=339] ppid=336 vsize=9824732 CPUtime=1798.25 cores=1,3,5,7
/proc/339/stat : 339 (java) S 336 339 25451 0 -1 4202496 39265 0 1 0 179573 252 0 0 20 0 22 0 105067107 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140736496672304 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/339/statm: 2456183 1005543 2295 9 0 2446860 0
[pid=339/tid=340] ppid=336 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/339/task/340/stat : 340 (java) S 336 339 25451 0 -1 4202560 2431 0 1 0 31 3 0 0 20 0 22 0 105067108 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495486608248 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=339/tid=342] ppid=336 vsize=9824732 CPUtime=5 cores=1,3,5,7
/proc/339/task/342/stat : 342 (java) S 336 339 25451 0 -1 4202560 643 0 0 0 480 20 0 0 20 0 22 0 105067108 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495448099496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=339/tid=343] ppid=336 vsize=9824732 CPUtime=5.18 cores=1,3,5,7
/proc/339/task/343/stat : 343 (java) S 336 339 25451 0 -1 4202560 858 0 0 0 496 22 0 0 20 0 22 0 105067108 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495447046952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=344] ppid=336 vsize=9824732 CPUtime=4.97 cores=1,3,5,7
/proc/339/task/344/stat : 344 (java) S 336 339 25451 0 -1 4202560 879 0 0 0 476 21 0 0 20 0 22 0 105067108 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495445994408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=339/tid=345] ppid=336 vsize=9824732 CPUtime=4.9 cores=1,3,5,7
/proc/339/task/345/stat : 345 (java) S 336 339 25451 0 -1 4202560 875 0 0 0 468 22 0 0 20 0 22 0 105067108 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495444941864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=339/tid=346] ppid=336 vsize=9824732 CPUtime=5.27 cores=1,3,5,7
/proc/339/task/346/stat : 346 (java) S 336 339 25451 0 -1 4202560 856 0 0 0 510 17 0 0 20 0 22 0 105067108 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495443888296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=339/tid=347] ppid=336 vsize=9824732 CPUtime=4.16 cores=1,3,5,7
/proc/339/task/347/stat : 347 (java) S 336 339 25451 0 -1 4202560 656 0 0 0 400 16 0 0 20 0 22 0 105067108 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495442835752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=348] ppid=336 vsize=9824732 CPUtime=4.77 cores=1,3,5,7
/proc/339/task/348/stat : 348 (java) S 336 339 25451 0 -1 4202560 1035 0 0 0 459 18 0 0 20 0 22 0 105067108 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495441783208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=349] ppid=336 vsize=9824732 CPUtime=4.55 cores=1,3,5,7
/proc/339/task/349/stat : 349 (java) S 336 339 25451 0 -1 4202560 881 0 0 0 435 20 0 0 20 0 22 0 105067108 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495440730664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=350] ppid=336 vsize=9824732 CPUtime=7.11 cores=1,3,5,7
/proc/339/task/350/stat : 350 (java) S 336 339 25451 0 -1 4202560 3289 0 0 0 704 7 0 0 20 0 22 0 105067110 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495428319848 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=339/tid=351] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/351/stat : 351 (java) S 336 339 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105067110 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495309235832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=339/tid=352] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/352/stat : 352 (java) S 336 339 25451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105067110 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495308183176 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=339/tid=353] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/353/stat : 353 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105067112 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495307131920 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=354] ppid=336 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/339/task/354/stat : 354 (java) S 336 339 25451 0 -1 4202560 12084 0 0 0 114 3 0 0 20 0 22 0 105067112 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495306078264 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=339/tid=355] ppid=336 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/339/task/355/stat : 355 (java) S 336 339 25451 0 -1 4202560 11009 0 0 0 163 2 0 0 20 0 22 0 105067112 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495305025720 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=339/tid=356] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/356/stat : 356 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105067112 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495303973368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=339/tid=357] ppid=336 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/339/task/357/stat : 357 (java) S 336 339 25451 0 -1 4202560 51 0 0 0 17 22 0 0 20 0 22 0 105067112 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495302921032 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=371] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/371/stat : 371 (java) S 336 339 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105067237 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495301866920 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=339/tid=418] ppid=336 vsize=9824732 CPUtime=341.87 cores=1,3,5,7
/proc/339/task/418/stat : 418 (java) R 336 339 25451 0 -1 4202560 16 0 0 0 34182 5 0 0 20 0 22 0 105121855 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495300812264 140495309910539 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=339/tid=419] ppid=336 vsize=9824732 CPUtime=341.88 cores=1,3,5,7
/proc/339/task/419/stat : 419 (java) R 336 339 25451 0 -1 4202560 14 0 0 0 34183 5 0 0 20 0 22 0 105121855 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495298705824 140495310239824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=339/tid=420] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/420/stat : 420 (java) S 336 339 25451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105121855 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495299761064 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1798.25
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 339 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+897.901 s]
/proc/loadavg: 4.08 4.24 4.18 5/219 497
/proc/meminfo: memFree=26977280/32872528 swapFree=11252/530428
[pid=339] ppid=336 vsize=9824732 CPUtime=1798.25 cores=1,3,5,7
/proc/339/stat : 339 (java) S 336 339 25451 0 -1 4202496 39265 0 1 0 179573 252 0 0 20 0 22 0 105067107 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140736496672304 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/339/statm: 2456183 1005543 2295 9 0 2446860 0
[pid=339/tid=340] ppid=336 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/339/task/340/stat : 340 (java) S 336 339 25451 0 -1 4202560 2431 0 1 0 31 3 0 0 20 0 22 0 105067108 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495486608248 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=339/tid=342] ppid=336 vsize=9824732 CPUtime=5 cores=1,3,5,7
/proc/339/task/342/stat : 342 (java) S 336 339 25451 0 -1 4202560 643 0 0 0 480 20 0 0 20 0 22 0 105067108 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495448099496 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=339/tid=343] ppid=336 vsize=9824732 CPUtime=5.18 cores=1,3,5,7
/proc/339/task/343/stat : 343 (java) S 336 339 25451 0 -1 4202560 858 0 0 0 496 22 0 0 20 0 22 0 105067108 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495447046952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=344] ppid=336 vsize=9824732 CPUtime=4.97 cores=1,3,5,7
/proc/339/task/344/stat : 344 (java) S 336 339 25451 0 -1 4202560 879 0 0 0 476 21 0 0 20 0 22 0 105067108 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495445994408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=339/tid=345] ppid=336 vsize=9824732 CPUtime=4.9 cores=1,3,5,7
/proc/339/task/345/stat : 345 (java) S 336 339 25451 0 -1 4202560 875 0 0 0 468 22 0 0 20 0 22 0 105067108 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495444941864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=339/tid=346] ppid=336 vsize=9824732 CPUtime=5.27 cores=1,3,5,7
/proc/339/task/346/stat : 346 (java) S 336 339 25451 0 -1 4202560 856 0 0 0 510 17 0 0 20 0 22 0 105067108 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495443888296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=339/tid=347] ppid=336 vsize=9824732 CPUtime=4.16 cores=1,3,5,7
/proc/339/task/347/stat : 347 (java) S 336 339 25451 0 -1 4202560 656 0 0 0 400 16 0 0 20 0 22 0 105067108 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495442835752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=348] ppid=336 vsize=9824732 CPUtime=4.77 cores=1,3,5,7
/proc/339/task/348/stat : 348 (java) S 336 339 25451 0 -1 4202560 1035 0 0 0 459 18 0 0 20 0 22 0 105067108 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495441783208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=349] ppid=336 vsize=9824732 CPUtime=4.55 cores=1,3,5,7
/proc/339/task/349/stat : 349 (java) S 336 339 25451 0 -1 4202560 881 0 0 0 435 20 0 0 20 0 22 0 105067108 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495440730664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=350] ppid=336 vsize=9824732 CPUtime=7.11 cores=1,3,5,7
/proc/339/task/350/stat : 350 (java) S 336 339 25451 0 -1 4202560 3289 0 0 0 704 7 0 0 20 0 22 0 105067110 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495428319848 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=339/tid=351] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/351/stat : 351 (java) S 336 339 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105067110 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495309235832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=339/tid=352] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/352/stat : 352 (java) S 336 339 25451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105067110 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495308183176 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=339/tid=353] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/353/stat : 353 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105067112 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495307131920 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=354] ppid=336 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/339/task/354/stat : 354 (java) S 336 339 25451 0 -1 4202560 12084 0 0 0 114 3 0 0 20 0 22 0 105067112 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495306078264 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=339/tid=355] ppid=336 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/339/task/355/stat : 355 (java) S 336 339 25451 0 -1 4202560 11009 0 0 0 163 2 0 0 20 0 22 0 105067112 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495305025720 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=339/tid=356] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/356/stat : 356 (java) S 336 339 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105067112 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495303973368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=339/tid=357] ppid=336 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/339/task/357/stat : 357 (java) S 336 339 25451 0 -1 4202560 51 0 0 0 17 22 0 0 20 0 22 0 105067112 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495302921032 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=339/tid=371] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/371/stat : 371 (java) S 336 339 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105067237 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495301866920 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=339/tid=418] ppid=336 vsize=9824732 CPUtime=341.87 cores=1,3,5,7
/proc/339/task/418/stat : 418 (java) R 336 339 25451 0 -1 4202560 16 0 0 0 34182 5 0 0 20 0 22 0 105121855 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495300812264 140495309910539 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=339/tid=419] ppid=336 vsize=9824732 CPUtime=341.88 cores=1,3,5,7
/proc/339/task/419/stat : 419 (java) R 336 339 25451 0 -1 4202560 14 0 0 0 34183 5 0 0 20 0 22 0 105121855 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495298705824 140495310239824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=339/tid=420] ppid=336 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/339/task/420/stat : 420 (java) S 336 339 25451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105121855 10060525568 1005543 33554432000 1073741824 1073778376 140736496681168 140495299761064 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1798.25
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 339 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=9269
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=840568
# CPU time returned by wait4() is 1796.85
# while last known CPU time is 1798.25
#
# 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): 1.91003
#  lost CPU user time (s): 2.06002
#  lost CPU system time (s): -0.15

Real time (s): 897.97
CPU time (s): 1800.16
CPU user time (s): 1797.79
CPU system time (s): 2.37
CPU usage (%): 200.47
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.01
system time used= 2.84057
maximum resident set size= 4022308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39308
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23761
involuntary context switches= 26098

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79412 second user time and 7.2549 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-06 18:42:33
IDJOB=4081341
IDBENCH=2868
IDSOLVER=2543
FILE ID=node141/4081341-1465231353
RUNJOBID= node141-1465216745-25468
PBS_JOBID= 19843201
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m4.r.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081341-1465231353/watcher-4081341-1465231353 -o /tmp/evaluation-result-4081341-1465231353/solver-4081341-1465231353 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1465216745-25468 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081341-1465231353.opb

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

MD5SUM BENCH= f69ecb5497caa964fbd82b9dc6698ac3
RANDOM SEED=329798009

node141.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.876
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.75
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.876
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.876
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.876
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.876
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.56
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.876
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.876
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.56
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.876
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:        29809376 kB
Buffers:           21592 kB
Cached:            55372 kB
SwapCached:         1780 kB
Active:          1757896 kB
Inactive:          53736 kB
Active(anon):    1734280 kB
Inactive(anon):     2404 kB
Active(file):      23616 kB
Inactive(file):    51332 kB
Unevictable:      530428 kB
Mlocked:           11252 kB
SwapTotal:      67108856 kB
SwapFree:       67098108 kB
Dirty:              1532 kB
Writeback:             0 kB
AnonPages:       2284448 kB
Mapped:            15432 kB
Shmem:                 0 kB
Slab:             567084 kB
SReclaimable:      10492 kB
SUnreclaim:       556592 kB
KernelStack:        1632 kB
PageTables:         8184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3706460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2228224 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= 71748 MiB
End job on node141 at 2016-06-06 18:57:31