Trace number 4081173

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)1232 1800.26 910.548

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-mux.opb
MD5SUM80d8f8438bdd117e32edd926d4898421
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark872
Best CPU time to get the best result obtained on this benchmark8.66868
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 872
Optimality of the best value was proved YES
Number of variables232
Total number of constraints527
Number of constraints which are clauses527
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 constraint27
Number of terms in the objective function 232
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 9597
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 9597
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4081173-1465224409.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.24/0.21	c ... done. Wall clock time 0.095s.
0.24/0.21	c declared #vars     232
0.24/0.21	c #constraints  527
0.24/0.22	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.24/0.22	c constraints type 
0.24/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 389
0.24/0.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 138
0.24/0.22	c 527 constraints processed.
0.24/0.22	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.24/0.22	c constraints type 
0.24/0.22	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 138
0.24/0.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 389
0.24/0.22	c 527 constraints processed.
0.24/0.22	c objective function length is 232 literals
0.24/0.23	c And the winner is solver1
0.30/0.72	c SATISFIABLE
0.30/0.72	c OPTIMIZING...
0.30/0.72	c Got one! Elapsed wall clock time (in seconds):0.601
0.30/0.72	o 1737
0.30/0.76	c And the winner is solver0
0.52/1.23	c Got one! Elapsed wall clock time (in seconds):1.108
0.52/1.23	o 1735
0.52/1.23	c And the winner is solver0
0.53/1.73	c Got one! Elapsed wall clock time (in seconds):1.611
0.53/1.73	o 1605
0.53/1.77	c And the winner is solver1
0.95/2.23	c Got one! Elapsed wall clock time (in seconds):2.114
0.95/2.23	o 1603
0.95/2.28	c And the winner is solver1
1.19/2.74	c Got one! Elapsed wall clock time (in seconds):2.617
1.19/2.74	o 1593
1.19/2.74	c And the winner is solver1
1.20/3.24	c Got one! Elapsed wall clock time (in seconds):3.121
1.20/3.24	o 1473
2.61/3.61	c cleaning 2948 clauses out of 5895 with flag 12925/5895
2.61/3.64	c And the winner is solver1
2.89/3.74	c Got one! Elapsed wall clock time (in seconds):3.623
2.89/3.74	o 1464
2.89/3.76	c And the winner is solver1
3.46/4.24	c Got one! Elapsed wall clock time (in seconds):4.125
3.46/4.24	o 1456
3.46/4.25	c And the winner is solver1
3.47/4.75	c Got one! Elapsed wall clock time (in seconds):4.626
3.47/4.75	o 1414
3.47/4.76	c And the winner is solver1
3.52/5.25	c Got one! Elapsed wall clock time (in seconds):5.128
3.52/5.25	o 1397
3.96/5.47	c cleaning 4800 clauses out of 9605 with flag 13557/12554
4.72/5.75	c cleaning 5404 clauses out of 10807 with flag 28895/18556
5.68/6.11	c cleaning 6201 clauses out of 12401 with flag 46878/25554
6.07/6.27	c And the winner is solver1
6.48/6.75	c Got one! Elapsed wall clock time (in seconds):6.635
6.48/6.75	o 1394
6.81/6.90	c cleaning 5899 clauses out of 11801 with flag 6001/31155
6.81/6.95	c And the winner is solver1
6.96/7.26	c Got one! Elapsed wall clock time (in seconds):7.136
6.96/7.26	o 1371
6.96/7.29	c And the winner is solver1
7.04/7.76	c Got one! Elapsed wall clock time (in seconds):7.638
7.04/7.76	o 1347
7.53/7.92	c And the winner is solver1
7.59/8.26	c Got one! Elapsed wall clock time (in seconds):8.139
7.59/8.26	o 1338
7.59/8.28	c And the winner is solver1
7.64/8.76	c Got one! Elapsed wall clock time (in seconds):8.641
7.64/8.76	o 1330
7.64/8.79	c And the winner is solver1
7.70/9.26	c Got one! Elapsed wall clock time (in seconds):9.142
7.70/9.26	o 1313
7.79/9.32	c cleaning 6857 clauses out of 13713 with flag 2802/38966
8.18/9.57	c cleaning 6426 clauses out of 12857 with flag 18816/44967
8.83/9.89	c cleaning 6708 clauses out of 13430 with flag 37006/51966
9.63/10.21	c cleaning 7361 clauses out of 14722 with flag 57134/59966
10.51/10.62	c cleaning 8180 clauses out of 16361 with flag 79214/68966
11.31/11.03	c cleaning 9087 clauses out of 18181 with flag 103262/78966
12.30/11.52	c cleaning 10048 clauses out of 20096 with flag 129711/89968
13.56/12.13	c cleaning 11021 clauses out of 22046 with flag 159505/101966
14.35/12.56	c And the winner is solver1
14.46/12.78	c Got one! Elapsed wall clock time (in seconds):12.659
14.46/12.78	o 1287
14.90/13.02	c cleaning 12554 clauses out of 25108 with flag 12956/116049
15.59/13.33	c cleaning 9276 clauses out of 18553 with flag 27574/122049
16.18/13.60	c cleaning 8138 clauses out of 16277 with flag 44965/129049
16.78/13.92	c cleaning 8067 clauses out of 16139 with flag 64721/137049
17.38/14.30	c cleaning 8533 clauses out of 17073 with flag 87646/146050
18.38/14.71	c cleaning 9258 clauses out of 18539 with flag 112674/156049
19.18/15.15	c cleaning 10134 clauses out of 20281 with flag 139609/167049
20.20/15.65	c cleaning 11073 clauses out of 22147 with flag 168739/179049
21.48/16.26	c cleaning 12031 clauses out of 24074 with flag 198731/192049
22.87/16.90	c cleaning 13021 clauses out of 26043 with flag 230915/206049
24.29/17.70	c cleaning 14012 clauses out of 28023 with flag 265552/221050
25.87/18.44	c cleaning 14998 clauses out of 30010 with flag 303120/237049
27.75/19.31	c cleaning 16007 clauses out of 32013 with flag 344485/254050
29.35/20.19	c cleaning 17001 clauses out of 34005 with flag 387681/272049
29.75/20.34	c And the winner is solver1
29.82/20.78	c Got one! Elapsed wall clock time (in seconds):20.663
29.82/20.78	o 1276
29.85/20.89	c cleaning 11243 clauses out of 22492 with flag 4883/277537
30.44/21.14	c cleaning 8622 clauses out of 17249 with flag 18691/283537
31.04/21.42	c cleaning 7808 clauses out of 15628 with flag 35673/290538
31.64/21.73	c cleaning 7902 clauses out of 15819 with flag 54895/298537
32.26/22.10	c cleaning 8454 clauses out of 16918 with flag 76906/307538
33.04/22.48	c cleaning 9228 clauses out of 18463 with flag 100368/317537
34.04/22.94	c cleaning 10112 clauses out of 20235 with flag 125411/328537
35.05/23.45	c cleaning 11055 clauses out of 22123 with flag 153138/340537
36.25/24.06	c cleaning 12031 clauses out of 24068 with flag 184484/353537
37.45/24.67	c cleaning 13012 clauses out of 26037 with flag 218010/367537
39.06/25.41	c cleaning 14012 clauses out of 28025 with flag 253923/382537
40.45/26.15	c cleaning 15007 clauses out of 30014 with flag 292439/398538
42.34/27.01	c cleaning 16002 clauses out of 32006 with flag 336068/415537
43.93/27.89	c cleaning 17003 clauses out of 34005 with flag 381779/433538
45.74/28.75	c cleaning 17998 clauses out of 36001 with flag 429890/452537
47.74/29.73	c cleaning 18996 clauses out of 38003 with flag 480095/472537
49.72/30.75	c cleaning 20001 clauses out of 40008 with flag 534531/493538
52.34/32.01	c cleaning 20998 clauses out of 42007 with flag 590438/515538
54.54/33.13	c cleaning 22001 clauses out of 44009 with flag 646034/538538
57.32/34.55	c cleaning 22997 clauses out of 46008 with flag 704327/562538
60.36/36.06	c cleaning 24003 clauses out of 48010 with flag 766485/587537
63.17/37.42	c cleaning 24996 clauses out of 50008 with flag 829576/613538
65.96/38.80	c cleaning 26003 clauses out of 52011 with flag 895201/640537
68.56/40.14	c cleaning 26995 clauses out of 54008 with flag 962568/668537
71.77/41.79	c cleaning 28003 clauses out of 56013 with flag 1031414/697537
75.56/43.65	c cleaning 28997 clauses out of 58010 with flag 1103688/727537
78.98/45.35	c cleaning 30002 clauses out of 60013 with flag 1178280/758537
82.37/47.06	c cleaning 31002 clauses out of 62012 with flag 1255822/790538
85.97/48.84	c cleaning 32005 clauses out of 64011 with flag 1332027/823539
89.79/50.78	c cleaning 32996 clauses out of 66004 with flag 1414787/857537
93.57/52.61	c cleaning 34003 clauses out of 68009 with flag 1498171/892538
97.37/54.50	c cleaning 35001 clauses out of 70005 with flag 1584202/928537
101.37/56.51	c cleaning 35997 clauses out of 72004 with flag 1676272/965537
105.18/58.43	c cleaning 37001 clauses out of 74007 with flag 1769464/1003537
109.58/60.64	c cleaning 38001 clauses out of 76008 with flag 1864054/1042539
114.56/63.11	c cleaning 38996 clauses out of 78005 with flag 1960684/1082537
119.56/65.61	c cleaning 40000 clauses out of 80009 with flag 2065560/1123537
124.56/68.12	c cleaning 40998 clauses out of 82012 with flag 2164267/1165540
126.35/69.09	c And the winner is solver0
130.93/73.65	c Got one! Elapsed wall clock time (in seconds):73.528
130.93/73.65	o 1259
131.62/74.01	c cleaning 32473 clauses out of 64957 with flag 11561/1189483
132.22/74.30	c cleaning 19239 clauses out of 38484 with flag 24780/1195483
132.62/74.59	c cleaning 13120 clauses out of 26245 with flag 40461/1202483
133.23/74.90	c cleaning 10556 clauses out of 21125 with flag 57673/1210483
134.02/75.27	c cleaning 9772 clauses out of 19569 with flag 79147/1219483
134.82/75.65	c cleaning 9894 clauses out of 19798 with flag 102072/1229484
135.82/76.10	c cleaning 10445 clauses out of 20903 with flag 126797/1240483
136.61/76.58	c cleaning 11228 clauses out of 22458 with flag 154291/1252483
137.83/77.13	c cleaning 12114 clauses out of 24231 with flag 185750/1265484
139.21/77.80	c cleaning 13058 clauses out of 26116 with flag 219154/1279483
140.41/78.47	c cleaning 14027 clauses out of 28058 with flag 254108/1294483
142.02/79.23	c cleaning 15012 clauses out of 30031 with flag 292614/1310483
143.61/80.04	c cleaning 16008 clauses out of 32019 with flag 330445/1327483
145.62/81.00	c cleaning 17006 clauses out of 34011 with flag 369673/1345483
147.21/81.89	c cleaning 18003 clauses out of 36006 with flag 411518/1364484
149.41/82.97	c cleaning 19001 clauses out of 38002 with flag 454959/1384483
151.41/84.00	c cleaning 19997 clauses out of 40002 with flag 503082/1405484
153.81/85.15	c cleaning 21002 clauses out of 42005 with flag 554014/1427484
156.21/86.32	c cleaning 21996 clauses out of 44002 with flag 604716/1450483
158.93/87.64	c cleaning 22998 clauses out of 46007 with flag 659168/1474484
161.53/88.90	c cleaning 23999 clauses out of 48008 with flag 716021/1499483
164.34/90.37	c cleaning 25000 clauses out of 50010 with flag 773128/1525484
167.33/91.80	c cleaning 25999 clauses out of 52009 with flag 834299/1552483
170.53/93.46	c cleaning 27003 clauses out of 54010 with flag 895595/1580483
174.13/95.20	c cleaning 28003 clauses out of 56008 with flag 961171/1609484
177.54/96.91	c cleaning 28999 clauses out of 58005 with flag 1029089/1639484
181.12/98.71	c cleaning 30000 clauses out of 60007 with flag 1098118/1670485
184.52/100.44	c cleaning 30997 clauses out of 62005 with flag 1170390/1702483
188.54/102.42	c cleaning 32003 clauses out of 64009 with flag 1244428/1735484
192.74/104.56	c cleaning 33004 clauses out of 66007 with flag 1321090/1769485
197.13/106.74	c cleaning 34001 clauses out of 68002 with flag 1399822/1804484
202.31/109.36	c cleaning 34998 clauses out of 70000 with flag 1480667/1840483
207.51/111.97	c cleaning 35998 clauses out of 72003 with flag 1561271/1877484
212.91/114.63	c cleaning 36998 clauses out of 74005 with flag 1644998/1915484
218.30/117.35	c cleaning 38000 clauses out of 76006 with flag 1733065/1954483
223.51/119.98	c cleaning 39001 clauses out of 78006 with flag 1824367/1994483
229.30/122.88	c cleaning 39996 clauses out of 80006 with flag 1917883/2035484
236.10/126.21	c cleaning 41005 clauses out of 82009 with flag 2014899/2077483
242.70/129.59	c cleaning 41998 clauses out of 84004 with flag 2114658/2120483
249.50/132.95	c cleaning 43002 clauses out of 86007 with flag 2216055/2164484
255.90/136.14	c cleaning 43995 clauses out of 88004 with flag 2318725/2209483
262.10/139.29	c cleaning 44999 clauses out of 90009 with flag 2423779/2255483
269.10/142.77	c cleaning 46005 clauses out of 92010 with flag 2532332/2302483
277.30/146.88	c cleaning 47003 clauses out of 94007 with flag 2641532/2350485
285.31/150.81	c cleaning 47999 clauses out of 96004 with flag 2751111/2399485
294.12/155.21	c cleaning 48999 clauses out of 98004 with flag 2865008/2449484
304.10/160.23	c cleaning 50002 clauses out of 100005 with flag 2978695/2500484
313.72/165.10	c cleaning 50996 clauses out of 102002 with flag 3094475/2552483
322.30/169.31	c cleaning 51993 clauses out of 104007 with flag 3212197/2605484
332.30/174.36	c cleaning 53000 clauses out of 106014 with flag 3333319/2659484
343.70/180.00	c cleaning 54005 clauses out of 108013 with flag 3456710/2714483
354.30/185.33	c cleaning 54999 clauses out of 110009 with flag 3585327/2770484
365.50/190.98	c cleaning 56003 clauses out of 112010 with flag 3715849/2827484
378.10/197.29	c cleaning 57004 clauses out of 114008 with flag 3848591/2885485
389.70/203.09	c cleaning 57996 clauses out of 116003 with flag 3984305/2944484
402.30/209.33	c cleaning 58999 clauses out of 118006 with flag 4122764/3004483
415.51/215.92	c cleaning 60004 clauses out of 120008 with flag 4261837/3065484
428.12/222.24	c cleaning 61002 clauses out of 122005 with flag 4405121/3127485
442.31/229.31	c cleaning 61999 clauses out of 124002 with flag 4543812/3190484
457.10/236.73	c cleaning 63002 clauses out of 126003 with flag 4682949/3254484
468.10/242.24	c cleaning 63995 clauses out of 128000 with flag 4832241/3319483
480.92/248.63	c cleaning 65001 clauses out of 130006 with flag 4980976/3385484
493.90/255.06	c cleaning 65993 clauses out of 132004 with flag 5131447/3452483
509.29/262.70	c cleaning 67002 clauses out of 134012 with flag 5281330/3520484
522.49/269.31	c cleaning 68004 clauses out of 136009 with flag 5436735/3589483
533.08/274.62	c cleaning 68995 clauses out of 138006 with flag 5597058/3659484
543.98/280.05	c cleaning 69999 clauses out of 140010 with flag 5752920/3730483
555.58/285.82	c cleaning 71001 clauses out of 142012 with flag 5919705/3802484
568.58/292.37	c cleaning 71999 clauses out of 144011 with flag 6083481/3875484
584.36/300.30	c cleaning 72999 clauses out of 146012 with flag 6245750/3949484
603.16/309.62	c cleaning 73998 clauses out of 148012 with flag 6410082/4024483
621.36/318.75	c cleaning 75006 clauses out of 150014 with flag 6576969/4100483
639.77/327.97	c cleaning 76000 clauses out of 152008 with flag 6746904/4177483
656.17/336.15	c cleaning 76996 clauses out of 154009 with flag 6916889/4255484
674.98/345.58	c cleaning 78000 clauses out of 156012 with flag 7091951/4334483
692.16/354.12	c cleaning 79005 clauses out of 158012 with flag 7274081/4414483
708.16/362.11	c cleaning 79995 clauses out of 160008 with flag 7458682/4495484
723.39/369.77	c cleaning 81002 clauses out of 162012 with flag 7642681/4577483
738.03/377.02	c cleaning 82000 clauses out of 164010 with flag 7825944/4660483
751.93/383.93	c cleaning 82999 clauses out of 166010 with flag 8019074/4744483
764.95/390.48	c cleaning 84000 clauses out of 168011 with flag 8212896/4829483
774.58/395.21	c And the winner is solver0
778.69/399.47	c Got one! Elapsed wall clock time (in seconds):399.349
778.69/399.47	o 1256
780.15/400.26	c cleaning 71415 clauses out of 142837 with flag 11826/4888309
781.35/400.84	c cleaning 38704 clauses out of 77420 with flag 25304/4894307
782.15/401.28	c cleaning 22853 clauses out of 45717 with flag 41176/4901308
782.97/401.66	c cleaning 15424 clauses out of 30863 with flag 61107/4909307
783.75/402.05	c cleaning 12217 clauses out of 24439 with flag 82694/4918307
784.55/402.49	c cleaning 11107 clauses out of 22222 with flag 106487/4928307
785.55/402.99	c cleaning 11047 clauses out of 22116 with flag 130848/4939308
786.75/403.58	c cleaning 11527 clauses out of 23068 with flag 158171/4951307
788.15/404.21	c cleaning 12269 clauses out of 24541 with flag 187605/4964307
789.37/404.88	c cleaning 13133 clauses out of 26275 with flag 219132/4978310
790.75/405.59	c cleaning 14071 clauses out of 28141 with flag 252302/4993309
792.35/406.30	c cleaning 15027 clauses out of 30069 with flag 289081/5009308
793.95/407.18	c cleaning 16016 clauses out of 32041 with flag 326454/5026307
796.15/408.21	c cleaning 17013 clauses out of 34026 with flag 365712/5044308
797.94/409.14	c cleaning 18006 clauses out of 36012 with flag 408212/5063307
800.35/410.37	c cleaning 18998 clauses out of 38006 with flag 452055/5083307
802.94/411.61	c cleaning 20000 clauses out of 40008 with flag 498158/5104307
805.54/412.94	c cleaning 20992 clauses out of 42008 with flag 546303/5126307
808.74/414.51	c cleaning 22005 clauses out of 44017 with flag 596227/5149308
811.94/416.18	c cleaning 22996 clauses out of 46011 with flag 648961/5173307
815.53/417.97	c cleaning 24005 clauses out of 48015 with flag 703194/5198307
819.33/419.85	c cleaning 25004 clauses out of 50010 with flag 758858/5224307
823.33/421.86	c cleaning 25996 clauses out of 52007 with flag 816860/5251308
827.13/423.72	c cleaning 27005 clauses out of 54010 with flag 877572/5279307
831.14/425.73	c cleaning 28002 clauses out of 56006 with flag 940753/5308308
834.92/427.67	c cleaning 28997 clauses out of 58003 with flag 1004855/5338307
839.53/429.93	c cleaning 29996 clauses out of 60007 with flag 1071293/5369308
844.13/432.25	c cleaning 30999 clauses out of 62010 with flag 1139280/5401307
849.13/434.72	c cleaning 32003 clauses out of 64011 with flag 1211626/5434307
853.92/437.18	c cleaning 33002 clauses out of 66009 with flag 1285665/5468308
859.12/439.78	c cleaning 34004 clauses out of 68007 with flag 1362193/5503308
864.72/442.51	c cleaning 34995 clauses out of 70003 with flag 1440351/5539308
870.93/445.68	c cleaning 35993 clauses out of 72007 with flag 1520533/5576307
877.11/448.74	c cleaning 37005 clauses out of 74014 with flag 1604279/5614307
882.91/451.70	c cleaning 37998 clauses out of 76009 with flag 1689556/5653307
889.59/454.92	c cleaning 39003 clauses out of 78011 with flag 1777415/5693307
895.99/458.16	c cleaning 40005 clauses out of 80009 with flag 1867141/5734308
902.99/461.70	c cleaning 41001 clauses out of 82004 with flag 1958493/5776308
909.79/465.04	c cleaning 41995 clauses out of 84003 with flag 2052684/5819308
916.79/468.59	c cleaning 43000 clauses out of 86008 with flag 2148426/5863308
924.59/472.46	c cleaning 43999 clauses out of 88007 with flag 2247140/5908307
932.60/476.47	c cleaning 45006 clauses out of 90011 with flag 2349817/5954310
939.99/480.12	c cleaning 45996 clauses out of 92006 with flag 2457680/6001311
947.19/483.73	c cleaning 46993 clauses out of 94006 with flag 2567938/6049307
955.80/488.05	c cleaning 48002 clauses out of 96013 with flag 2677063/6098307
964.20/492.25	c cleaning 49002 clauses out of 98012 with flag 2787686/6148308
973.40/496.84	c cleaning 49998 clauses out of 100009 with flag 2900850/6199307
982.60/501.44	c cleaning 51001 clauses out of 102011 with flag 3016785/6251307
992.01/506.12	c cleaning 52000 clauses out of 104011 with flag 3136908/6304308
1001.20/510.72	c cleaning 52997 clauses out of 106010 with flag 3258292/6358307
1011.73/515.95	c cleaning 54004 clauses out of 108013 with flag 3378489/6413307
1022.32/521.28	c cleaning 54997 clauses out of 110009 with flag 3499681/6469307
1033.11/526.67	c cleaning 56004 clauses out of 112013 with flag 3628103/6526308
1044.65/532.58	c cleaning 56999 clauses out of 114008 with flag 3759731/6584307
1056.64/538.52	c cleaning 58000 clauses out of 116011 with flag 3891371/6643309
1068.03/544.20	c cleaning 58998 clauses out of 118010 with flag 4029067/6703308
1080.82/550.65	c cleaning 59995 clauses out of 120012 with flag 4165123/6764308
1093.22/556.83	c cleaning 61006 clauses out of 122016 with flag 4304742/6826307
1106.62/563.57	c cleaning 62002 clauses out of 124010 with flag 4447713/6889307
1118.22/569.34	c cleaning 62994 clauses out of 126009 with flag 4595385/6953308
1132.84/576.61	c cleaning 64004 clauses out of 128015 with flag 4743968/7018308
1149.95/585.20	c cleaning 65004 clauses out of 130011 with flag 4889159/7084308
1165.15/592.72	c cleaning 65999 clauses out of 132006 with flag 5042426/7151307
1178.62/599.40	c cleaning 66996 clauses out of 134007 with flag 5199968/7219307
1192.41/606.32	c cleaning 67998 clauses out of 136011 with flag 5359408/7288307
1206.81/613.57	c cleaning 69002 clauses out of 138013 with flag 5518135/7358307
1222.21/621.28	c cleaning 69996 clauses out of 140011 with flag 5685946/7429307
1236.61/628.46	c cleaning 71004 clauses out of 142015 with flag 5859568/7501307
1253.01/636.67	c cleaning 72001 clauses out of 144011 with flag 6039510/7574307
1271.02/645.69	c cleaning 73000 clauses out of 146010 with flag 6213507/7648307
1289.61/654.91	c cleaning 74003 clauses out of 148010 with flag 6395222/7723307
1304.61/662.47	c cleaning 74997 clauses out of 150007 with flag 6570741/7799307
1323.21/671.70	c cleaning 76004 clauses out of 152010 with flag 6739956/7876307
1342.81/681.50	c cleaning 77001 clauses out of 154006 with flag 6912097/7954307
1361.62/690.93	c cleaning 78001 clauses out of 156006 with flag 7085417/8033308
1381.22/700.75	c cleaning 79000 clauses out of 158004 with flag 7260118/8113307
1402.41/711.36	c cleaning 79996 clauses out of 160004 with flag 7438281/8194307
1419.00/719.64	c cleaning 80997 clauses out of 162008 with flag 7616992/8276307
1438.62/729.44	c cleaning 81999 clauses out of 164012 with flag 7797329/8359308
1455.61/737.92	c cleaning 83003 clauses out of 166012 with flag 7985249/8443307
1474.49/747.38	c cleaning 83992 clauses out of 168009 with flag 8175167/8528307
1497.48/758.89	c cleaning 85003 clauses out of 170017 with flag 8366327/8614307
1524.08/772.16	c cleaning 86005 clauses out of 172014 with flag 8559793/8701307
1547.47/783.90	c cleaning 86999 clauses out of 174010 with flag 8752069/8789308
1568.06/794.18	c cleaning 88002 clauses out of 176010 with flag 8951685/8878307
1591.25/805.75	c cleaning 89000 clauses out of 178009 with flag 9153348/8968308
1616.66/818.49	c cleaning 89990 clauses out of 180008 with flag 9355449/9059307
1642.03/831.15	c cleaning 91002 clauses out of 182018 with flag 9558791/9151307
1663.82/842.07	c cleaning 92007 clauses out of 184018 with flag 9766808/9244309
1684.62/852.41	c cleaning 92994 clauses out of 186009 with flag 9980117/9338307
1708.01/864.14	c cleaning 94002 clauses out of 188015 with flag 10192235/9433307
1732.00/876.12	c cleaning 94999 clauses out of 190014 with flag 10402450/9529308
1755.81/888.11	c cleaning 96004 clauses out of 192015 with flag 10615579/9626308
1774.92/897.67	c And the winner is solver1
1774.92/897.90	c Got one! Elapsed wall clock time (in seconds):897.778
1774.92/897.90	o 1232
1777.12/899.10	c cleaning 91796 clauses out of 183609 with flag 12484/9713906
1778.32/899.66	c cleaning 48899 clauses out of 97813 with flag 28430/9719906
1779.13/900.07	c cleaning 27951 clauses out of 55914 with flag 45308/9726906
1779.93/900.45	c cleaning 17978 clauses out of 35963 with flag 64933/9734906
1780.73/900.86	c cleaning 13489 clauses out of 26986 with flag 86785/9743907
1781.53/901.29	c cleaning 11744 clauses out of 23497 with flag 110509/9753907
1782.53/901.78	c cleaning 11369 clauses out of 22752 with flag 136357/9764906
1783.73/902.30	c cleaning 11689 clauses out of 23383 with flag 166459/9776906
1784.73/902.85	c cleaning 12345 clauses out of 24694 with flag 199551/9789906
1785.93/903.49	c cleaning 13170 clauses out of 26350 with flag 233035/9803907
1787.33/904.16	c cleaning 14085 clauses out of 28179 with flag 268696/9818906
1788.73/904.87	c cleaning 15041 clauses out of 30094 with flag 306693/9834906
1790.33/905.65	c cleaning 16026 clauses out of 32054 with flag 346048/9851907
1792.14/906.58	c cleaning 17011 clauses out of 34028 with flag 388019/9869907
1793.93/907.49	c cleaning 18008 clauses out of 36016 with flag 431137/9888906
1796.13/908.57	c cleaning 19001 clauses out of 38008 with flag 477032/9908906
1798.54/909.77	c cleaning 19997 clauses out of 40007 with flag 526168/9929906
1800.13/910.51	c >>>>>>>>>> Solver number 0 (4 answers) <<<<<<<<<<<<<<<<<<
1800.13/910.51	c starts		: 33322
1800.13/910.51	c conflicts		: 9943589
1800.13/910.51	c decisions		: 17689266
1800.13/910.51	c propagations		: 514651004
1800.13/910.51	c inspects		: 14346668088
1800.13/910.51	c shortcuts		: 0
1800.13/910.51	c learnt literals	: 2
1800.13/910.51	c learnt binary clauses	: 7
1800.13/910.51	c learnt ternary clauses	: 84
1800.13/910.51	c learnt constraints	: 9943587
1800.13/910.51	c ignored constraints	: 0
1800.13/910.51	c root simplifications	: 0
1800.13/910.51	c removed literals (reason simplification)	: 74506771
1800.13/910.51	c reason swapping (by a shorter reason)	: 0
1800.13/910.51	c Calls to reduceDB	: 256
1800.13/910.51	c Number of update (reduction) of LBD	: 663207
1800.13/910.51	c Imported unit clauses	: 0
1800.13/910.51	c number of reductions to clauses (during analyze)	: 0
1800.13/910.51	c number of learned constraints concerned by reduction	: 0
1800.13/910.51	c number of learning phase by resolution	: 0
1800.13/910.51	c number of learning phase by cutting planes	: 0
1800.13/910.51	c speed (assignments/second)	: 4.081940069796954E7
1800.13/910.51	c non guided choices	3
1800.13/910.52	c learnt constraints type 
1800.13/910.52	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 7
1800.13/910.52	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 33686
1800.13/910.52	c >>>>>>>>>> Solver number 1 (17 answers) <<<<<<<<<<<<<<<<<<
1800.13/910.52	c starts		: 44
1800.13/910.52	c conflicts		: 3870
1800.13/910.52	c decisions		: 26584
1800.13/910.52	c propagations		: 137230
1800.13/910.52	c inspects		: 44252709
1800.13/910.52	c shortcuts		: 0
1800.13/910.52	c learnt literals	: 0
1800.13/910.52	c learnt binary clauses	: 0
1800.13/910.52	c learnt ternary clauses	: 3
1800.13/910.52	c learnt constraints	: 3866
1800.13/910.52	c ignored constraints	: 0
1800.13/910.52	c root simplifications	: 0
1800.13/910.52	c removed literals (reason simplification)	: 0
1800.13/910.52	c reason swapping (by a shorter reason)	: 0
1800.13/910.52	c Calls to reduceDB	: 0
1800.13/910.52	c Number of update (reduction) of LBD	: 0
1800.13/910.52	c Imported unit clauses	: 0
1800.13/910.52	c number of reductions to clauses (during analyze)	: 0
1800.13/910.52	c number of learned constraints concerned by reduction	: 0
1800.13/910.52	c number of learning phase by resolution	: 0
1800.13/910.52	c number of learning phase by cutting planes	: 0
1800.13/910.52	c speed (assignments/second)	: 268.5261100207612
1800.13/910.52	c non guided choices	0
1800.13/910.52	c learnt constraints type 
1800.13/910.52	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 35
1800.13/910.52	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3831
1800.13/910.52	s SATISFIABLE
1800.13/910.52	c Found 21 solution(s)
1800.13/910.52	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 
1800.13/910.52	c objective function=1232
1800.13/910.52	c Total wall clock time (in seconds): 910.403

Verifier Data 

OK	1232

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

pid=29528
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: 4.02 3.99 4.00 4/197 29531
/proc/meminfo: memFree=28322388/32872528 swapFree=11252/530428
[pid=29531] ppid=29528 vsize=3568 CPUtime=0 cores=1,3,5,7
/proc/29531/stat : 29531 (java) R 29528 29531 25451 0 -1 4202496 380 0 0 0 0 0 0 0 20 0 1 0 104372694 3653632 52 33554432000 1073741824 1073778376 140735721385040 140735721382168 211449638183 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29531/statm: 1408 55 43 9 0 30 0

[startup+0.10006 s]
/proc/loadavg: 4.02 3.99 4.00 4/197 29531
/proc/meminfo: memFree=28322388/32872528 swapFree=11252/530428
[pid=29531] ppid=29528 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/29531/stat : 29531 (java) S 29528 29531 25451 0 -1 4202496 4415 0 1 0 8 1 0 0 20 0 18 0 104372694 9787879424 6041 33554432000 1073741824 1073778376 140735721385040 140735721376176 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29531/statm: 2389619 6041 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200222 s]
/proc/loadavg: 4.02 3.99 4.00 4/197 29531
/proc/meminfo: memFree=28322388/32872528 swapFree=11252/530428
[pid=29531] ppid=29528 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/29531/stat : 29531 (java) S 29528 29531 25451 0 -1 4202496 4712 0 1 0 23 1 0 0 20 0 18 0 104372694 9787879424 6781 33554432000 1073741824 1073778376 140735721385040 140735721376176 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29531/statm: 2389619 6781 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300298 s]
/proc/loadavg: 4.02 3.99 4.00 4/197 29531
/proc/meminfo: memFree=28322388/32872528 swapFree=11252/530428
[pid=29531] ppid=29528 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/29531/stat : 29531 (java) S 29528 29531 25451 0 -1 4202496 5154 0 1 0 29 1 0 0 20 0 19 0 104372694 10060525568 8138 33554432000 1073741824 1073778376 140735721385040 140735721376176 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29531/statm: 2456183 8138 2235 9 0 2446860 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9824732

[startup+0.700305 s]
/proc/loadavg: 4.02 3.99 4.00 4/197 29531
/proc/meminfo: memFree=28322388/32872528 swapFree=11252/530428
[pid=29531] ppid=29528 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/29531/stat : 29531 (java) S 29528 29531 25451 0 -1 4202496 5154 0 1 0 29 1 0 0 20 0 19 0 104372694 10060525568 8138 33554432000 1073741824 1073778376 140735721385040 140735721376176 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29531/statm: 2456183 8138 2235 9 0 2446860 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9824732

[startup+1.50075 s]
/proc/loadavg: 4.02 3.99 4.00 3/216 29556
/proc/meminfo: memFree=28288648/32872528 swapFree=11252/530428
[pid=29531] ppid=29528 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/29531/stat : 29531 (java) S 29528 29531 25451 0 -1 4202496 7105 0 1 0 49 4 0 0 20 0 19 0 104372694 10060525568 11480 33554432000 1073741824 1073778376 140735721385040 140735721376176 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29531/statm: 2456183 11480 2248 9 0 2446860 0
[pid=29531/tid=29533] ppid=29528 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/29531/task/29533/stat : 29533 (java) S 29528 29531 25451 0 -1 4202560 2428 0 1 0 20 0 0 0 20 0 19 0 104372695 10060525568 11480 33554432000 1073741824 1073778376 140735721385040 139793764324216 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29534] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29534/stat : 29534 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372696 10060525568 11480 33554432000 1073741824 1073778376 140735721385040 139793607994024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29535] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29535/stat : 29535 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372696 10060525568 11480 33554432000 1073741824 1073778376 140735721385040 139793606941480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29531/tid=29536] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29536/stat : 29536 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372696 10060525568 11480 33554432000 1073741824 1073778376 140735721385040 139793605888936 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29531/tid=29537] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29537/stat : 29537 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372696 10060525568 11480 33554432000 1073741824 1073778376 140735721385040 139793604836392 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29531/tid=29538] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29538/stat : 29538 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372696 10060525568 11480 33554432000 1073741824 1073778376 140735721385040 139793603782824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29539] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29539/stat : 29539 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372696 10060525568 11480 33554432000 1073741824 1073778376 140735721385040 139793266633000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29531/tid=29540] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29540/stat : 29540 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372696 10060525568 11480 33554432000 1073741824 1073778376 140735721385040 139793265580456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29541] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29541/stat : 29541 (java) S 29528 29531 25451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104372696 10060525568 11480 33554432000 1073741824 1073778376 140735721385040 139793264527912 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29542] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29542/stat : 29542 (java) S 29528 29531 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104372697 10060525568 11480 33554432000 1073741824 1073778376 140735721385040 139793252330088 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29543] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29543/stat : 29543 (java) S 29528 29531 25451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104372698 10060525568 11480 33554432000 1073741824 1073778376 140735721385040 139793251276408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29544] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29544/stat : 29544 (java) S 29528 29531 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104372698 10060525568 11480 33554432000 1073741824 1073778376 140735721385040 139793250223752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29545] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29545/stat : 29545 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372700 10060525568 11480 33554432000 1073741824 1073778376 140735721385040 139793249172496 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29546] ppid=29528 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/29531/task/29546/stat : 29546 (java) S 29528 29531 25451 0 -1 4202560 1814 0 0 0 10 0 0 0 20 0 19 0 104372700 10060525568 11480 33554432000 1073741824 1073778376 140735721385040 139793248118840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29547] ppid=29528 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/29531/task/29547/stat : 29547 (java) S 29528 29531 25451 0 -1 4202560 1516 0 0 0 12 0 0 0 20 0 19 0 104372700 10060525568 11480 33554432000 1073741824 1073778376 140735721385040 139793247066296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29531/tid=29548] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29548/stat : 29548 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372700 10060525568 11480 33554432000 1073741824 1073778376 140735721385040 139793246013944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29531/tid=29549] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29549/stat : 29549 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372700 10060525568 11480 33554432000 1073741824 1073778376 140735721385040 139793244961608 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29556] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29556/stat : 29556 (java) S 29528 29531 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104372767 10060525568 11480 33554432000 1073741824 1073778376 140735721385040 139793242756136 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9824732

[startup+3.10076 s]
/proc/loadavg: 4.18 4.02 4.01 3/216 29562
/proc/meminfo: memFree=28267504/32872528 swapFree=11252/530428
[pid=29531] ppid=29528 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/29531/stat : 29531 (java) S 29528 29531 25451 0 -1 4202496 13723 0 1 0 111 9 0 0 20 0 19 0 104372694 10060525568 19022 33554432000 1073741824 1073778376 140735721385040 140735721376176 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29531/statm: 2456183 19022 2259 9 0 2446860 0
[pid=29531/tid=29533] ppid=29528 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/29531/task/29533/stat : 29533 (java) S 29528 29531 25451 0 -1 4202560 2430 0 1 0 20 0 0 0 20 0 19 0 104372695 10060525568 19022 33554432000 1073741824 1073778376 140735721385040 139793764324216 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29534] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29534/stat : 29534 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372696 10060525568 19022 33554432000 1073741824 1073778376 140735721385040 139793607994024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29535] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29535/stat : 29535 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372696 10060525568 19022 33554432000 1073741824 1073778376 140735721385040 139793606941480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29531/tid=29536] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29536/stat : 29536 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372696 10060525568 19022 33554432000 1073741824 1073778376 140735721385040 139793605888936 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29531/tid=29537] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29537/stat : 29537 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372696 10060525568 19022 33554432000 1073741824 1073778376 140735721385040 139793604836392 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29531/tid=29538] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29538/stat : 29538 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372696 10060525568 19022 33554432000 1073741824 1073778376 140735721385040 139793603782824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29539] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29539/stat : 29539 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372696 10060525568 19022 33554432000 1073741824 1073778376 140735721385040 139793266633000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29531/tid=29540] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29540/stat : 29540 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372696 10060525568 19022 33554432000 1073741824 1073778376 140735721385040 139793265580456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29541] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29541/stat : 29541 (java) S 29528 29531 25451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104372696 10060525568 19022 33554432000 1073741824 1073778376 140735721385040 139793264527912 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29542] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29542/stat : 29542 (java) S 29528 29531 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104372697 10060525568 19022 33554432000 1073741824 1073778376 140735721385040 139793252330088 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29543] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29543/stat : 29543 (java) S 29528 29531 25451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104372698 10060525568 19022 33554432000 1073741824 1073778376 140735721385040 139793251276408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29544] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29544/stat : 29544 (java) S 29528 29531 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104372698 10060525568 19022 33554432000 1073741824 1073778376 140735721385040 139793250223752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29545] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29545/stat : 29545 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372700 10060525568 19022 33554432000 1073741824 1073778376 140735721385040 139793249172496 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29546] ppid=29528 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/29531/task/29546/stat : 29546 (java) S 29528 29531 25451 0 -1 4202560 5341 0 0 0 36 0 0 0 20 0 19 0 104372700 10060525568 19022 33554432000 1073741824 1073778376 140735721385040 139793248118840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29547] ppid=29528 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/29531/task/29547/stat : 29547 (java) S 29528 29531 25451 0 -1 4202560 4577 0 0 0 34 1 0 0 20 0 19 0 104372700 10060525568 19022 33554432000 1073741824 1073778376 140735721385040 139793247066296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29531/tid=29548] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29548/stat : 29548 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372700 10060525568 19022 33554432000 1073741824 1073778376 140735721385040 139793246013944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29531/tid=29549] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29549/stat : 29549 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372700 10060525568 19022 33554432000 1073741824 1073778376 140735721385040 139793244961608 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29562] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29562/stat : 29562 (java) S 29528 29531 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104372868 10060525568 19022 33554432000 1073741824 1073778376 140735721385040 139793241703208 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=10 pid=1770 uid=0 cmd=

[startup+6.30086 s]
/proc/loadavg: 4.18 4.02 4.01 5/219 29583
/proc/meminfo: memFree=28149768/32872528 swapFree=11252/530428
[pid=29531] ppid=29528 vsize=9824732 CPUtime=6.33 cores=1,3,5,7
/proc/29531/stat : 29531 (java) S 29528 29531 25451 0 -1 4202496 27154 0 1 0 609 24 0 0 20 0 19 0 104372694 10060525568 54779 33554432000 1073741824 1073778376 140735721385040 140735721376176 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29531/statm: 2456183 54779 2287 9 0 2446860 0
[pid=29531/tid=29533] ppid=29528 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/29531/task/29533/stat : 29533 (java) S 29528 29531 25451 0 -1 4202560 2432 0 1 0 21 0 0 0 20 0 19 0 104372695 10060525568 54779 33554432000 1073741824 1073778376 140735721385040 139793764324216 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29534] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29534/stat : 29534 (java) S 29528 29531 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104372696 10060525568 54779 33554432000 1073741824 1073778376 140735721385040 139793607994024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29531/tid=29535] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29535/stat : 29535 (java) S 29528 29531 25451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104372696 10060525568 54779 33554432000 1073741824 1073778376 140735721385040 139793606941480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29531/tid=29536] ppid=29528 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29531/task/29536/stat : 29536 (java) S 29528 29531 25451 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 104372696 10060525568 54779 33554432000 1073741824 1073778376 140735721385040 139793605888936 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29537] ppid=29528 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29531/task/29537/stat : 29537 (java) S 29528 29531 25451 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 104372696 10060525568 54779 33554432000 1073741824 1073778376 140735721385040 139793604836392 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29531/tid=29538] ppid=29528 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29531/task/29538/stat : 29538 (java) S 29528 29531 25451 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 104372696 10060525568 54779 33554432000 1073741824 1073778376 140735721385040 139793603782824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29531/tid=29539] ppid=29528 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/29531/task/29539/stat : 29539 (java) S 29528 29531 25451 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 104372696 10060525568 54779 33554432000 1073741824 1073778376 140735721385040 139793266633000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29531/tid=29540] ppid=29528 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/29531/task/29540/stat : 29540 (java) S 29528 29531 25451 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 104372696 10060525568 54779 33554432000 1073741824 1073778376 140735721385040 139793265580456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29541] ppid=29528 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/29531/task/29541/stat : 29541 (java) S 29528 29531 25451 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 104372696 10060525568 54779 33554432000 1073741824 1073778376 140735721385040 139793264527912 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29531/tid=29542] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29542/stat : 29542 (java) S 29528 29531 25451 0 -1 4202560 76 0 0 0 0 0 0 0 20 0 19 0 104372697 10060525568 54779 33554432000 1073741824 1073778376 140735721385040 139793252330088 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29531/tid=29543] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29543/stat : 29543 (java) S 29528 29531 25451 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 104372698 10060525568 54779 33554432000 1073741824 1073778376 140735721385040 139793251276408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29531/tid=29544] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29544/stat : 29544 (java) S 29528 29531 25451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104372698 10060525568 54779 33554432000 1073741824 1073778376 140735721385040 139793250223752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29545] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29545/stat : 29545 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372700 10060525568 54779 33554432000 1073741824 1073778376 140735721385040 139793249172496 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29546] ppid=29528 vsize=9824732 CPUtime=1.57 cores=1,3,5,7
/proc/29531/task/29546/stat : 29546 (java) R 29528 29531 25451 0 -1 4202560 9779 0 0 0 155 2 0 0 20 0 19 0 104372700 10060525568 54779 33554432000 1073741824 1073778376 140735721385040 139793248106024 139793771305519 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=29531/tid=29547] ppid=29528 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/29531/task/29547/stat : 29547 (java) S 29528 29531 25451 0 -1 4202560 13289 0 0 0 123 3 0 0 20 0 19 0 104372700 10060525568 54779 33554432000 1073741824 1073778376 140735721385040 139793247066296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29548] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29548/stat : 29548 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372700 10060525568 54779 33554432000 1073741824 1073778376 140735721385040 139793246013944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29531/tid=29549] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29549/stat : 29549 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372700 10060525568 54779 33554432000 1073741824 1073778376 140735721385040 139793244961608 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29562] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29562/stat : 29562 (java) S 29528 29531 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104372868 10060525568 54779 33554432000 1073741824 1073778376 140735721385040 139793241703208 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.33

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

/proc/29531/statm: 2456183 633765 2295 9 0 2446860 0
[pid=29531/tid=29533] ppid=29528 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/29531/task/29533/stat : 29533 (java) S 29528 29531 25451 0 -1 4202560 2435 0 1 0 23 2 0 0 20 0 19 0 104372695 10060525568 633765 33554432000 1073741824 1073778376 140735721385040 139793764324216 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29534] ppid=29528 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/29531/task/29534/stat : 29534 (java) S 29528 29531 25451 0 -1 4202560 349 0 0 0 54 11 0 0 20 0 19 0 104372696 10060525568 633765 33554432000 1073741824 1073778376 140735721385040 139793607994024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29531/tid=29535] ppid=29528 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/29531/task/29535/stat : 29535 (java) S 29528 29531 25451 0 -1 4202560 356 0 0 0 49 13 0 0 20 0 19 0 104372696 10060525568 633765 33554432000 1073741824 1073778376 140735721385040 139793606941480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29531/tid=29536] ppid=29528 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/29531/task/29536/stat : 29536 (java) S 29528 29531 25451 0 -1 4202560 394 0 0 0 45 10 0 0 20 0 19 0 104372696 10060525568 633765 33554432000 1073741824 1073778376 140735721385040 139793605888936 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29531/tid=29537] ppid=29528 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/29531/task/29537/stat : 29537 (java) S 29528 29531 25451 0 -1 4202560 306 0 0 0 43 11 0 0 20 0 19 0 104372696 10060525568 633765 33554432000 1073741824 1073778376 140735721385040 139793604836392 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29531/tid=29538] ppid=29528 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/29531/task/29538/stat : 29538 (java) S 29528 29531 25451 0 -1 4202560 366 0 0 0 40 9 0 0 20 0 19 0 104372696 10060525568 633765 33554432000 1073741824 1073778376 140735721385040 139793603782824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29531/tid=29539] ppid=29528 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/29531/task/29539/stat : 29539 (java) S 29528 29531 25451 0 -1 4202560 420 0 0 0 51 13 0 0 20 0 19 0 104372696 10060525568 633765 33554432000 1073741824 1073778376 140735721385040 139793266633000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29540] ppid=29528 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/29531/task/29540/stat : 29540 (java) S 29528 29531 25451 0 -1 4202560 461 0 0 0 63 15 0 0 20 0 19 0 104372696 10060525568 633765 33554432000 1073741824 1073778376 140735721385040 139793265580456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29541] ppid=29528 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/29531/task/29541/stat : 29541 (java) S 29528 29531 25451 0 -1 4202560 433 0 0 0 57 12 0 0 20 0 19 0 104372696 10060525568 633765 33554432000 1073741824 1073778376 140735721385040 139793264527912 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29531/tid=29542] ppid=29528 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/29531/task/29542/stat : 29542 (java) S 29528 29531 25451 0 -1 4202560 1674 0 0 0 97 6 0 0 20 0 19 0 104372697 10060525568 633765 33554432000 1073741824 1073778376 140735721385040 139793252330088 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29531/tid=29543] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29543/stat : 29543 (java) S 29528 29531 25451 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 104372698 10060525568 633765 33554432000 1073741824 1073778376 140735721385040 139793251276408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29544] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29544/stat : 29544 (java) S 29528 29531 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104372698 10060525568 633765 33554432000 1073741824 1073778376 140735721385040 139793250223752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29545] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29545/stat : 29545 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372700 10060525568 633765 33554432000 1073741824 1073778376 140735721385040 139793249172496 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29546] ppid=29528 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/29531/task/29546/stat : 29546 (java) S 29528 29531 25451 0 -1 4202560 12499 0 0 0 216 3 0 0 20 0 19 0 104372700 10060525568 633765 33554432000 1073741824 1073778376 140735721385040 139793248118840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29531/tid=29547] ppid=29528 vsize=9824732 CPUtime=1.37 cores=1,3,5,7
/proc/29531/task/29547/stat : 29547 (java) S 29528 29531 25451 0 -1 4202560 13321 0 0 0 134 3 0 0 20 0 19 0 104372700 10060525568 633765 33554432000 1073741824 1073778376 140735721385040 139793247066296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29531/tid=29548] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29548/stat : 29548 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104372700 10060525568 633765 33554432000 1073741824 1073778376 140735721385040 139793246013944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29531/tid=29549] ppid=29528 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/29531/task/29549/stat : 29549 (java) S 29528 29531 25451 0 -1 4202560 51 0 0 0 8 10 0 0 20 0 19 0 104372700 10060525568 633765 33554432000 1073741824 1073778376 140735721385040 139793244961608 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29531/tid=29623] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29623/stat : 29623 (java) S 29528 29531 25451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104412641 10060525568 633765 33554432000 1073741824 1073778376 140735721385040 139793242756264 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1771.3
Current children cumulated vsize (KiB) 9824732
#
############




Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+910.501 s]
/proc/loadavg: 4.02 4.05 4.01 5/220 29832
/proc/meminfo: memFree=28406912/32872528 swapFree=11252/530428
[pid=29531] ppid=29528 vsize=9824732 CPUtime=1796.51 cores=1,3,5,7
/proc/29531/stat : 29531 (java) S 29528 29531 25451 0 -1 4202496 36279 0 1 0 179449 202 0 0 20 0 22 0 104372694 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 140735721376176 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29531/statm: 2456183 613668 2295 9 0 2446860 0
[pid=29531/tid=29533] ppid=29528 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/29531/task/29533/stat : 29533 (java) S 29528 29531 25451 0 -1 4202560 2435 0 1 0 24 2 0 0 20 0 22 0 104372695 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793764324216 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29534] ppid=29528 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/29531/task/29534/stat : 29534 (java) S 29528 29531 25451 0 -1 4202560 349 0 0 0 54 12 0 0 20 0 22 0 104372696 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793607994024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29531/tid=29535] ppid=29528 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/29531/task/29535/stat : 29535 (java) S 29528 29531 25451 0 -1 4202560 356 0 0 0 49 13 0 0 20 0 22 0 104372696 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793606941480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29531/tid=29536] ppid=29528 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/29531/task/29536/stat : 29536 (java) S 29528 29531 25451 0 -1 4202560 394 0 0 0 45 10 0 0 20 0 22 0 104372696 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793605888936 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29531/tid=29537] ppid=29528 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/29531/task/29537/stat : 29537 (java) S 29528 29531 25451 0 -1 4202560 306 0 0 0 43 11 0 0 20 0 22 0 104372696 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793604836392 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29531/tid=29538] ppid=29528 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/29531/task/29538/stat : 29538 (java) S 29528 29531 25451 0 -1 4202560 366 0 0 0 40 9 0 0 20 0 22 0 104372696 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793603782824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29531/tid=29539] ppid=29528 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/29531/task/29539/stat : 29539 (java) S 29528 29531 25451 0 -1 4202560 420 0 0 0 52 13 0 0 20 0 22 0 104372696 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793266633000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29531/tid=29540] ppid=29528 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/29531/task/29540/stat : 29540 (java) S 29528 29531 25451 0 -1 4202560 461 0 0 0 63 15 0 0 20 0 22 0 104372696 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793265580456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29541] ppid=29528 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/29531/task/29541/stat : 29541 (java) S 29528 29531 25451 0 -1 4202560 433 0 0 0 57 12 0 0 20 0 22 0 104372696 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793264527912 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29531/tid=29542] ppid=29528 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/29531/task/29542/stat : 29542 (java) S 29528 29531 25451 0 -1 4202560 1674 0 0 0 97 6 0 0 20 0 22 0 104372697 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793252330088 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29543] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29543/stat : 29543 (java) S 29528 29531 25451 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 104372698 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793251276408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29544] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29544/stat : 29544 (java) S 29528 29531 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104372698 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793250223752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29545] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29545/stat : 29545 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104372700 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793249172496 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29546] ppid=29528 vsize=9824732 CPUtime=2.2 cores=1,3,5,7
/proc/29531/task/29546/stat : 29546 (java) S 29528 29531 25451 0 -1 4202560 12501 0 0 0 217 3 0 0 20 0 22 0 104372700 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793248118840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29531/tid=29547] ppid=29528 vsize=9824732 CPUtime=1.37 cores=1,3,5,7
/proc/29531/task/29547/stat : 29547 (java) S 29528 29531 25451 0 -1 4202560 13321 0 0 0 134 3 0 0 20 0 22 0 104372700 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793247066296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29531/tid=29548] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29548/stat : 29548 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104372700 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793246013944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29531/tid=29549] ppid=29528 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/29531/task/29549/stat : 29549 (java) S 29528 29531 25451 0 -1 4202560 53 0 0 0 8 10 0 0 20 0 22 0 104372700 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793244961608 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29623] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29623/stat : 29623 (java) S 29528 29531 25451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104412641 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793242756264 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29531/tid=29830] ppid=29528 vsize=9824732 CPUtime=12.54 cores=1,3,5,7
/proc/29531/task/29830/stat : 29830 (java) R 29528 29531 25451 0 -1 4202560 3 0 0 0 1254 0 0 0 20 0 22 0 104462484 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793243799680 139793619466896 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29531/tid=29831] ppid=29528 vsize=9824732 CPUtime=12.53 cores=1,3,5,7
/proc/29531/task/29831/stat : 29831 (java) R 29528 29531 25451 0 -1 4202560 2 0 0 0 1253 0 0 0 20 0 22 0 104462484 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793240649264 139793619594830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29531/tid=29832] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29832/stat : 29832 (java) S 29528 29531 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104462484 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793241703976 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.51
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 29531 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+910.501 s]
/proc/loadavg: 4.02 4.05 4.01 5/220 29832
/proc/meminfo: memFree=28406912/32872528 swapFree=11252/530428
[pid=29531] ppid=29528 vsize=9824732 CPUtime=1796.51 cores=1,3,5,7
/proc/29531/stat : 29531 (java) S 29528 29531 25451 0 -1 4202496 36279 0 1 0 179449 202 0 0 20 0 22 0 104372694 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 140735721376176 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29531/statm: 2456183 613668 2295 9 0 2446860 0
[pid=29531/tid=29533] ppid=29528 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/29531/task/29533/stat : 29533 (java) S 29528 29531 25451 0 -1 4202560 2435 0 1 0 24 2 0 0 20 0 22 0 104372695 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793764324216 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29534] ppid=29528 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/29531/task/29534/stat : 29534 (java) S 29528 29531 25451 0 -1 4202560 349 0 0 0 54 12 0 0 20 0 22 0 104372696 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793607994024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29531/tid=29535] ppid=29528 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/29531/task/29535/stat : 29535 (java) S 29528 29531 25451 0 -1 4202560 356 0 0 0 49 13 0 0 20 0 22 0 104372696 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793606941480 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29531/tid=29536] ppid=29528 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/29531/task/29536/stat : 29536 (java) S 29528 29531 25451 0 -1 4202560 394 0 0 0 45 10 0 0 20 0 22 0 104372696 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793605888936 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29531/tid=29537] ppid=29528 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/29531/task/29537/stat : 29537 (java) S 29528 29531 25451 0 -1 4202560 306 0 0 0 43 11 0 0 20 0 22 0 104372696 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793604836392 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29531/tid=29538] ppid=29528 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/29531/task/29538/stat : 29538 (java) S 29528 29531 25451 0 -1 4202560 366 0 0 0 40 9 0 0 20 0 22 0 104372696 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793603782824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29531/tid=29539] ppid=29528 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/29531/task/29539/stat : 29539 (java) S 29528 29531 25451 0 -1 4202560 420 0 0 0 52 13 0 0 20 0 22 0 104372696 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793266633000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29531/tid=29540] ppid=29528 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/29531/task/29540/stat : 29540 (java) S 29528 29531 25451 0 -1 4202560 461 0 0 0 63 15 0 0 20 0 22 0 104372696 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793265580456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29541] ppid=29528 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/29531/task/29541/stat : 29541 (java) S 29528 29531 25451 0 -1 4202560 433 0 0 0 57 12 0 0 20 0 22 0 104372696 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793264527912 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29531/tid=29542] ppid=29528 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/29531/task/29542/stat : 29542 (java) S 29528 29531 25451 0 -1 4202560 1674 0 0 0 97 6 0 0 20 0 22 0 104372697 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793252330088 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29543] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29543/stat : 29543 (java) S 29528 29531 25451 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 104372698 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793251276408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29544] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29544/stat : 29544 (java) S 29528 29531 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104372698 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793250223752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29545] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29545/stat : 29545 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104372700 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793249172496 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29546] ppid=29528 vsize=9824732 CPUtime=2.2 cores=1,3,5,7
/proc/29531/task/29546/stat : 29546 (java) S 29528 29531 25451 0 -1 4202560 12501 0 0 0 217 3 0 0 20 0 22 0 104372700 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793248118840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29531/tid=29547] ppid=29528 vsize=9824732 CPUtime=1.37 cores=1,3,5,7
/proc/29531/task/29547/stat : 29547 (java) S 29528 29531 25451 0 -1 4202560 13321 0 0 0 134 3 0 0 20 0 22 0 104372700 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793247066296 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29531/tid=29548] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29548/stat : 29548 (java) S 29528 29531 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104372700 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793246013944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29531/tid=29549] ppid=29528 vsize=9824732 CPUtime=0.18 cores=1,3,5,7
/proc/29531/task/29549/stat : 29549 (java) S 29528 29531 25451 0 -1 4202560 53 0 0 0 8 10 0 0 20 0 22 0 104372700 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793244961608 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29531/tid=29623] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29623/stat : 29623 (java) S 29528 29531 25451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104412641 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793242756264 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29531/tid=29830] ppid=29528 vsize=9824732 CPUtime=12.54 cores=1,3,5,7
/proc/29531/task/29830/stat : 29830 (java) R 29528 29531 25451 0 -1 4202560 3 0 0 0 1254 0 0 0 20 0 22 0 104462484 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793243799680 139793619466896 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29531/tid=29831] ppid=29528 vsize=9824732 CPUtime=12.53 cores=1,3,5,7
/proc/29531/task/29831/stat : 29831 (java) R 29528 29531 25451 0 -1 4202560 2 0 0 0 1253 0 0 0 20 0 22 0 104462484 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793240649264 139793619594830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29531/tid=29832] ppid=29528 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/29531/task/29832/stat : 29832 (java) S 29528 29531 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104462484 10060525568 613668 33554432000 1073741824 1073778376 140735721385040 139793241703976 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.51
Current children cumulated vsize (KiB) 9824732

Child status: 143

# 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): 3.61981
#  lost CPU user time (s): 3.87988
#  lost CPU system time (s): -0.26

Real time (s): 910.548
CPU time (s): 1800.26
CPU user time (s): 1798.3
CPU system time (s): 1.96166
CPU usage (%): 197.712
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.42
system time used= 2.22166
maximum resident set size= 3058696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36328
page faults= 1
swaps= 0
block input operations= 0
block output operations= 752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23039
involuntary context switches= 15909

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.43217 second user time and 7.2159 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-06 16:46:49
IDJOB=4081173
IDBENCH=2016
IDSOLVER=2543
FILE ID=node141/4081173-1465224409
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-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-mux.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081173-1465224409/watcher-4081173-1465224409 -o /tmp/evaluation-result-4081173-1465224409/solver-4081173-1465224409 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1465216745-25468 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081173-1465224409.opb

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

MD5SUM BENCH= 80d8f8438bdd117e32edd926d4898421
RANDOM SEED=1058983052

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:        28322652 kB
Buffers:           12336 kB
Cached:            51156 kB
SwapCached:         1788 kB
Active:          3273860 kB
Inactive:          41696 kB
Active(anon):    3252156 kB
Inactive(anon):     2404 kB
Active(file):      21704 kB
Inactive(file):    39292 kB
Unevictable:      530428 kB
Mlocked:           11252 kB
SwapTotal:      67108856 kB
SwapFree:       67098100 kB
Dirty:               532 kB
Writeback:             0 kB
AnonPages:       3782000 kB
Mapped:            15404 kB
Shmem:                 0 kB
Slab:             566348 kB
SReclaimable:       9944 kB
SUnreclaim:       556404 kB
KernelStack:        1616 kB
PageTables:        11444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4173660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3721216 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= 71744 MiB
End job on node141 at 2016-06-06 17:02:00