Trace number 4100757

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.07 1787.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-tuff.opb
MD5SUMe0d3bc77812df02cd6843b358116eb3f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables17153
Total number of constraints320
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints320
Minimum length of a constraint11
Maximum length of a constraint3360
Number of terms in the objective function 90
Biggest coefficient in the objective function 87382
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 524349
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 527072
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	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.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4100757-1466216867.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  objective function found
0.93/0.52	c ... done. Wall clock time 0.423s.
0.93/0.52	c declared #vars     17153
0.93/0.52	c #constraints  581
0.93/0.52	c constraints type 
0.93/0.52	c org.sat4j.specs.Constr$1 => 14
0.93/0.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 567
0.93/0.52	c 581 constraints processed.
0.93/0.52	c objective function length is 90 literals
2.75/1.91	c cleaning 2501 clauses out of 5001 with flag 10020/5001
4.53/3.51	c cleaning 4251 clauses out of 8502 with flag 22024/11003
6.64/5.65	c cleaning 5624 clauses out of 11248 with flag 36018/18000
8.95/7.87	c cleaning 6818 clauses out of 13636 with flag 52063/26012
12.26/11.03	c cleaning 7897 clauses out of 15806 with flag 70152/35000
15.39/14.19	c cleaning 8951 clauses out of 17909 with flag 92035/45000
28.69/27.07	c cleaning 9982 clauses out of 19963 with flag 115633/56005
30.72/28.75	c cleaning 10989 clauses out of 21977 with flag 141004/68001
32.62/30.66	c cleaning 11994 clauses out of 23987 with flag 167445/81000
35.12/33.08	c cleaning 12997 clauses out of 25993 with flag 195874/95000
38.01/35.98	c cleaning 13993 clauses out of 27997 with flag 226223/110001
41.51/39.44	c cleaning 15004 clauses out of 30008 with flag 258762/126005
45.31/43.22	c cleaning 15995 clauses out of 31999 with flag 294304/143000
50.02/47.94	c cleaning 17003 clauses out of 34007 with flag 333899/161003
55.43/53.24	c cleaning 17996 clauses out of 36002 with flag 374573/180001
60.13/57.96	c cleaning 18996 clauses out of 38009 with flag 414858/200004
67.03/64.80	c cleaning 20000 clauses out of 40010 with flag 459285/221001
74.23/72.01	c cleaning 21006 clauses out of 42011 with flag 506992/243002
79.73/77.43	c cleaning 22000 clauses out of 44004 with flag 553400/266001
84.95/82.63	c cleaning 23000 clauses out of 46003 with flag 601630/290000
90.24/87.93	c cleaning 23997 clauses out of 48003 with flag 652021/315000
96.54/94.27	c cleaning 25000 clauses out of 50007 with flag 704223/341001
102.34/100.03	c cleaning 25996 clauses out of 52006 with flag 758780/368000
109.23/106.99	c cleaning 27004 clauses out of 54010 with flag 814970/396000
116.33/113.92	c cleaning 27997 clauses out of 56006 with flag 873960/425000
123.72/121.35	c cleaning 29003 clauses out of 58013 with flag 934749/455004
132.02/129.61	c cleaning 29997 clauses out of 60008 with flag 997450/486002
140.92/138.53	c cleaning 30999 clauses out of 62009 with flag 1062099/518000
150.41/147.91	c cleaning 32007 clauses out of 64014 with flag 1129074/551004
160.01/157.52	c cleaning 32997 clauses out of 66005 with flag 1197362/585002
170.71/168.22	c cleaning 34001 clauses out of 68008 with flag 1268390/620002
181.01/178.56	c cleaning 34997 clauses out of 70005 with flag 1340805/656000
192.69/190.15	c cleaning 36000 clauses out of 72010 with flag 1415546/693002
207.30/204.72	c cleaning 37003 clauses out of 74009 with flag 1493189/731001
220.89/218.36	c cleaning 37994 clauses out of 76007 with flag 1572955/770002
235.66/233.04	c cleaning 39000 clauses out of 78014 with flag 1654031/810003
251.38/248.73	c cleaning 39999 clauses out of 80011 with flag 1737179/851000
266.46/263.79	c cleaning 41002 clauses out of 82015 with flag 1822956/893003
284.56/281.85	c cleaning 42000 clauses out of 84013 with flag 1910433/936003
303.66/300.90	c cleaning 43003 clauses out of 86010 with flag 1999727/980000
319.41/316.69	c cleaning 44003 clauses out of 88009 with flag 2091016/1025002
338.82/336.04	c cleaning 44996 clauses out of 90006 with flag 2183789/1071002
358.39/355.57	c cleaning 45999 clauses out of 92008 with flag 2278168/1118000
377.70/374.83	c cleaning 46998 clauses out of 94009 with flag 2374751/1166000
398.91/396.01	c cleaning 48002 clauses out of 96013 with flag 2473325/1215002
417.69/414.76	c cleaning 48998 clauses out of 98009 with flag 2573557/1265000
438.28/435.34	c cleaning 50001 clauses out of 100011 with flag 2676174/1316000
469.37/466.30	c cleaning 51001 clauses out of 102019 with flag 2784483/1368009
507.57/504.47	c cleaning 51994 clauses out of 104010 with flag 2893841/1421001
538.17/534.98	c cleaning 53000 clauses out of 106016 with flag 3003057/1475001
567.46/564.18	c cleaning 54006 clauses out of 108017 with flag 3115182/1530002
596.61/593.22	c cleaning 55001 clauses out of 110011 with flag 3231003/1586002
631.12/627.64	c cleaning 56004 clauses out of 112010 with flag 3347031/1643002
668.74/664.78	c cleaning 56989 clauses out of 113994 with flag 3544058/1701002
700.30/695.63	c cleaning 58006 clauses out of 116011 with flag 3779399/1760008
729.31/724.32	c cleaning 58989 clauses out of 117993 with flag 3960936/1820000
752.67/747.59	c cleaning 59991 clauses out of 120004 with flag 4150748/1881000
765.19/759.93	c cleaning 61004 clauses out of 122013 with flag 4312759/1943000
791.65/786.34	c cleaning 62005 clauses out of 124009 with flag 4457773/2006000
825.43/820.00	c cleaning 62996 clauses out of 126007 with flag 4631607/2070003
861.76/856.26	c cleaning 64005 clauses out of 128011 with flag 4810929/2135003
892.29/886.69	c cleaning 65002 clauses out of 130004 with flag 4985335/2201001
931.94/926.09	c cleaning 65994 clauses out of 132003 with flag 5164752/2268002
980.07/973.80	c cleaning 67000 clauses out of 134007 with flag 5358490/2336000
1022.84/1016.16	c cleaning 68000 clauses out of 136007 with flag 5571613/2405000
1050.61/1043.70	c cleaning 69001 clauses out of 138009 with flag 5777541/2475002
1066.47/1059.36	c cleaning 69996 clauses out of 140006 with flag 5945140/2546001
1092.48/1085.26	c cleaning 70994 clauses out of 142009 with flag 6139084/2618000
1117.08/1109.75	c cleaning 71996 clauses out of 144015 with flag 6349794/2691000
1142.75/1135.31	c cleaning 73001 clauses out of 146020 with flag 6590507/2765001
1164.41/1156.96	c cleaning 73999 clauses out of 148019 with flag 6816033/2840001
1180.12/1172.56	c cleaning 75003 clauses out of 150018 with flag 7012057/2916000
1228.68/1220.67	c cleaning 76009 clauses out of 152018 with flag 7168786/2993003
1255.53/1247.28	c cleaning 76998 clauses out of 154011 with flag 7331487/3071005
1282.75/1274.32	c cleaning 77998 clauses out of 156013 with flag 7496481/3150005
1315.36/1306.78	c cleaning 78997 clauses out of 158011 with flag 7661756/3230001
1346.25/1337.46	c cleaning 79999 clauses out of 160016 with flag 7829213/3311003
1376.60/1367.65	c cleaning 80998 clauses out of 162015 with flag 7999439/3393001
1408.39/1399.28	c cleaning 81995 clauses out of 164018 with flag 8170738/3476002
1441.74/1432.44	c cleaning 83005 clauses out of 166021 with flag 8346013/3560000
1471.58/1461.93	c cleaning 83999 clauses out of 168016 with flag 8520883/3645000
1510.26/1500.45	c cleaning 84997 clauses out of 170018 with flag 8699712/3731001
1546.07/1535.94	c cleaning 85997 clauses out of 172022 with flag 8880785/3818002
1588.04/1577.47	c cleaning 87001 clauses out of 174023 with flag 9063154/3906000
1625.82/1614.89	c cleaning 87998 clauses out of 176022 with flag 9250950/3995000
1673.52/1662.26	c cleaning 89002 clauses out of 178025 with flag 9434294/4085001
1714.36/1702.79	c cleaning 90000 clauses out of 180024 with flag 9628295/4176002
1760.14/1748.19	c cleaning 91005 clauses out of 182024 with flag 9824509/4268002
1800.07/1787.70	c starts		: 3069
1800.07/1787.70	c conflicts		: 4353890
1800.07/1787.70	c decisions		: 5761195
1800.07/1787.70	c propagations		: 117406534
1800.07/1787.70	c inspects		: 32666921107
1800.07/1787.70	c shortcuts		: 0
1800.07/1787.70	c learnt literals	: 18
1800.07/1787.70	c learnt binary clauses	: 51
1800.07/1787.70	c learnt ternary clauses	: 70
1800.07/1787.70	c learnt constraints	: 4353872
1800.07/1787.70	c ignored constraints	: 0
1800.07/1787.70	c root simplifications	: 0
1800.07/1787.70	c removed literals (reason simplification)	: 0
1800.07/1787.70	c reason swapping (by a shorter reason)	: 0
1800.07/1787.70	c Calls to reduceDB	: 88
1800.07/1787.70	c Number of update (reduction) of LBD	: 233763
1800.07/1787.70	c Imported unit clauses	: 0
1800.07/1787.70	c number of reductions to clauses (during analyze)	: 0
1800.07/1787.70	c number of learned constraints concerned by reduction	: 0
1800.07/1787.70	c number of learning phase by resolution	: 0
1800.07/1787.70	c number of learning phase by cutting planes	: 0
1800.07/1787.70	c speed (assignments/second)	: 65695.87023157904
1800.07/1787.70	c non guided choices	30491
1800.07/1787.71	c timeout
1800.07/1787.73	c learnt constraints type 
1800.07/1787.73	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 51
1800.07/1787.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 176857
1800.07/1787.73	s UNKNOWN
1800.07/1787.73	c Total wall clock time (in seconds): 1787.629

Verifier Data 

ERROR: no interpretation found !

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-4100757-1466216867/watcher-4100757-1466216867 -o /tmp/evaluation-result-4100757-1466216867/solver-4100757-1466216867 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466206086-5894 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4100757-1466216867.opb 

pid=9103
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.11 2.19 2.18 4/193 9106
/proc/meminfo: memFree=30020692/32872528 swapFree=1590032/1720848
[pid=9106] ppid=9103 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/9106/stat : 9106 (java) S 9103 9106 5878 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 23735013 98570240 977 33554432000 1073741824 1073778376 140733638678112 140733638669248 226087698493 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9106/statm: 24065 977 743 9 0 16771 0
[pid=9106/tid=9107] ppid=9103 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9107/stat : 9107 (java) R 9103 9106 5878 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 23735014 98570240 978 33554432000 1073741824 1073778376 140733638678112 140421351841320 226084341120 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.10006 s]
/proc/loadavg: 2.11 2.19 2.18 4/193 9106
/proc/meminfo: memFree=30020692/32872528 swapFree=1590032/1720848
[pid=9106] ppid=9103 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/9106/stat : 9106 (java) S 9103 9106 5878 0 -1 4202496 4503 0 1 0 10 1 0 0 20 0 18 0 23735013 9787879424 6127 33554432000 1073741824 1073778376 140733638678112 140733638669248 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9106/statm: 2389619 6127 2157 9 0 2380296 0
[pid=9106/tid=9107] ppid=9103 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/9106/task/9107/stat : 9107 (java) R 9103 9106 5878 0 -1 4202560 2381 0 1 0 7 0 0 0 20 0 18 0 23735014 9787879424 6127 33554432000 1073741824 1073778376 140733638678112 140421351844768 226087724301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200271 s]
/proc/loadavg: 2.11 2.19 2.18 4/193 9106
/proc/meminfo: memFree=30020692/32872528 swapFree=1590032/1720848
[pid=9106] ppid=9103 vsize=9558476 CPUtime=0.32 cores=0,2,4,6
/proc/9106/stat : 9106 (java) S 9103 9106 5878 0 -1 4202496 7005 0 1 0 31 1 0 0 20 0 18 0 23735013 9787879424 8920 33554432000 1073741824 1073778376 140733638678112 140733638669248 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9106/statm: 2389619 8923 2227 9 0 2380296 0
[pid=9106/tid=9107] ppid=9103 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/9106/task/9107/stat : 9107 (java) R 9103 9106 5878 0 -1 4202560 2401 0 1 0 16 1 0 0 20 0 18 0 23735014 9787879424 8925 33554432000 1073741824 1073778376 140733638678112 140421351844768 140421221137409 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9558476

[startup+0.300278 s]
/proc/loadavg: 2.11 2.19 2.18 4/193 9106
/proc/meminfo: memFree=30020692/32872528 swapFree=1590032/1720848
[pid=9106] ppid=9103 vsize=9558476 CPUtime=0.63 cores=0,2,4,6
/proc/9106/stat : 9106 (java) S 9103 9106 5878 0 -1 4202496 8907 0 1 0 61 2 0 0 20 0 18 0 23735013 9787879424 11459 33554432000 1073741824 1073778376 140733638678112 140733638669248 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9106/statm: 2389619 11459 2234 9 0 2380296 0
[pid=9106/tid=9107] ppid=9103 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/9106/task/9107/stat : 9107 (java) R 9103 9106 5878 0 -1 4202560 2406 0 1 0 26 1 0 0 20 0 18 0 23735014 9787879424 11459 33554432000 1073741824 1073778376 140733638678112 140421351844768 140421221079406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 9558476

[startup+0.700321 s]
/proc/loadavg: 2.11 2.19 2.18 4/193 9106
/proc/meminfo: memFree=30020692/32872528 swapFree=1590032/1720848
[pid=9106] ppid=9103 vsize=9625040 CPUtime=1.33 cores=0,2,4,6
/proc/9106/stat : 9106 (java) S 9103 9106 5878 0 -1 4202496 9249 0 1 0 129 4 0 0 20 0 19 0 23735013 9856040960 38645 33554432000 1073741824 1073778376 140733638678112 140733638669248 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9106/statm: 2406260 38645 2256 9 0 2396937 0
[pid=9106/tid=9107] ppid=9103 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/9106/task/9107/stat : 9107 (java) R 9103 9106 5878 0 -1 4202560 2468 0 1 0 65 2 0 0 20 0 19 0 23735014 9856040960 38645 33554432000 1073741824 1073778376 140733638678112 140421351846528 140421221155292 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 9625040

[startup+1.50079 s]
/proc/loadavg: 2.11 2.19 2.18 3/213 9126
/proc/meminfo: memFree=29817176/32872528 swapFree=1590032/1720848
[pid=9106] ppid=9103 vsize=9625040 CPUtime=2.33 cores=0,2,4,6
/proc/9106/stat : 9106 (java) S 9103 9106 5878 0 -1 4202496 9483 0 1 0 227 6 0 0 20 0 19 0 23735013 9856040960 45394 33554432000 1073741824 1073778376 140733638678112 140733638669248 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9106/statm: 2406260 45394 2273 9 0 2396937 0
[pid=9106/tid=9107] ppid=9103 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/9106/task/9107/stat : 9107 (java) R 9103 9106 5878 0 -1 4202560 2476 0 1 0 143 3 0 0 20 0 19 0 23735014 9856040960 45394 33554432000 1073741824 1073778376 140733638678112 140421351844904 140421221713826 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9106/tid=9109] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9109/stat : 9109 (java) S 9103 9106 5878 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23735014 9856040960 45394 33554432000 1073741824 1073778376 140733638678112 140421340908328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9110] ppid=9103 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/9106/task/9110/stat : 9110 (java) S 9103 9106 5878 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 23735014 9856040960 45394 33554432000 1073741824 1073778376 140733638678112 140421339855528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9111] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9111/stat : 9111 (java) S 9103 9106 5878 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 23735014 9856040960 45394 33554432000 1073741824 1073778376 140733638678112 140421193481256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9106/tid=9112] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9112/stat : 9112 (java) S 9103 9106 5878 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 23735014 9856040960 45394 33554432000 1073741824 1073778376 140733638678112 140421192428456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9106/tid=9113] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9113/stat : 9113 (java) S 9103 9106 5878 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 23735014 9856040960 45394 33554432000 1073741824 1073778376 140733638678112 140421191375144 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9114] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9114/stat : 9114 (java) S 9103 9106 5878 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 23735014 9856040960 45394 33554432000 1073741824 1073778376 140733638678112 140421190322344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9106/tid=9115] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9115/stat : 9115 (java) S 9103 9106 5878 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 23735014 9856040960 45394 33554432000 1073741824 1073778376 140733638678112 140421189270056 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9116] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9116/stat : 9116 (java) S 9103 9106 5878 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23735014 9856040960 45394 33554432000 1073741824 1073778376 140733638678112 140421188217256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9117] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9117/stat : 9117 (java) S 9103 9106 5878 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 23735015 9856040960 45394 33554432000 1073741824 1073778376 140733638678112 140421176019688 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9118] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9118/stat : 9118 (java) S 9103 9106 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23735016 9856040960 45394 33554432000 1073741824 1073778376 140733638678112 140421174965752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9119] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9119/stat : 9119 (java) S 9103 9106 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23735016 9856040960 45394 33554432000 1073741824 1073778376 140733638678112 140421173913352 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9120] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9120/stat : 9120 (java) S 9103 9106 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23735018 9856040960 45394 33554432000 1073741824 1073778376 140733638678112 140421172861840 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9121] ppid=9103 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/9106/task/9121/stat : 9121 (java) S 9103 9106 5878 0 -1 4202560 3603 0 0 0 37 0 0 0 20 0 19 0 23735018 9856040960 45394 33554432000 1073741824 1073778376 140733638678112 140421171808440 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9122] ppid=9103 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/9106/task/9122/stat : 9122 (java) S 9103 9106 5878 0 -1 4202560 2006 0 0 0 37 0 0 0 20 0 19 0 23735018 9856040960 45394 33554432000 1073741824 1073778376 140733638678112 140421170755640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9106/tid=9123] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9123/stat : 9123 (java) S 9103 9106 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23735018 9856040960 45394 33554432000 1073741824 1073778376 140733638678112 140421169703544 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9106/tid=9124] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9124/stat : 9124 (java) S 9103 9106 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23735018 9856040960 45394 33554432000 1073741824 1073778376 140733638678112 140421168650952 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9126] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9126/stat : 9126 (java) S 9103 9106 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23735072 9856040960 45394 33554432000 1073741824 1073778376 140733638678112 140421167596968 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 9625040

[startup+3.10086 s]
/proc/loadavg: 2.11 2.19 2.18 3/213 9126
/proc/meminfo: memFree=29779940/32872528 swapFree=1590032/1720848
[pid=9106] ppid=9103 vsize=9625040 CPUtime=4.11 cores=0,2,4,6
/proc/9106/stat : 9106 (java) S 9103 9106 5878 0 -1 4202496 10109 0 1 0 402 9 0 0 20 0 19 0 23735013 9856040960 50823 33554432000 1073741824 1073778376 140733638678112 140733638669248 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9106/statm: 2406260 50823 2279 9 0 2396937 0
[pid=9106/tid=9107] ppid=9103 vsize=9625040 CPUtime=3.03 cores=0,2,4,6
/proc/9106/task/9107/stat : 9107 (java) R 9103 9106 5878 0 -1 4202560 2478 0 1 0 300 3 0 0 20 0 19 0 23735014 9856040960 50823 33554432000 1073741824 1073778376 140733638678112 140421351845176 140421221713540 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9106/tid=9109] ppid=9103 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/9106/task/9109/stat : 9109 (java) S 9103 9106 5878 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 23735014 9856040960 50823 33554432000 1073741824 1073778376 140733638678112 140421340908328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9106/tid=9110] ppid=9103 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/9106/task/9110/stat : 9110 (java) S 9103 9106 5878 0 -1 4202560 83 0 0 0 1 0 0 0 20 0 19 0 23735014 9856040960 50823 33554432000 1073741824 1073778376 140733638678112 140421339855528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9111] ppid=9103 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/9106/task/9111/stat : 9111 (java) S 9103 9106 5878 0 -1 4202560 71 0 0 0 1 0 0 0 20 0 19 0 23735014 9856040960 50823 33554432000 1073741824 1073778376 140733638678112 140421193481256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9106/tid=9112] ppid=9103 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/9106/task/9112/stat : 9112 (java) S 9103 9106 5878 0 -1 4202560 81 0 0 0 1 1 0 0 20 0 19 0 23735014 9856040960 50823 33554432000 1073741824 1073778376 140733638678112 140421192428456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9113] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9113/stat : 9113 (java) S 9103 9106 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23735014 9856040960 50823 33554432000 1073741824 1073778376 140733638678112 140421191375144 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9114] ppid=9103 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/9106/task/9114/stat : 9114 (java) S 9103 9106 5878 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 23735014 9856040960 50823 33554432000 1073741824 1073778376 140733638678112 140421190322344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9106/tid=9115] ppid=9103 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/9106/task/9115/stat : 9115 (java) S 9103 9106 5878 0 -1 4202560 79 0 0 0 1 0 0 0 20 0 19 0 23735014 9856040960 50823 33554432000 1073741824 1073778376 140733638678112 140421189270056 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9116] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9116/stat : 9116 (java) S 9103 9106 5878 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 23735014 9856040960 50823 33554432000 1073741824 1073778376 140733638678112 140421188217256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9117] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9117/stat : 9117 (java) S 9103 9106 5878 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 23735015 9856040960 50823 33554432000 1073741824 1073778376 140733638678112 140421176019688 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9118] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9118/stat : 9118 (java) S 9103 9106 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23735016 9856040960 50823 33554432000 1073741824 1073778376 140733638678112 140421174965752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9119] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9119/stat : 9119 (java) S 9103 9106 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23735016 9856040960 50823 33554432000 1073741824 1073778376 140733638678112 140421173913352 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9120] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9120/stat : 9120 (java) S 9103 9106 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23735018 9856040960 50823 33554432000 1073741824 1073778376 140733638678112 140421172861840 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9121] ppid=9103 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/9106/task/9121/stat : 9121 (java) S 9103 9106 5878 0 -1 4202560 3922 0 0 0 45 0 0 0 20 0 19 0 23735018 9856040960 50823 33554432000 1073741824 1073778376 140733638678112 140421171808440 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9122] ppid=9103 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/9106/task/9122/stat : 9122 (java) S 9103 9106 5878 0 -1 4202560 2012 0 0 0 39 0 0 0 20 0 19 0 23735018 9856040960 50823 33554432000 1073741824 1073778376 140733638678112 140421170755640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9106/tid=9123] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9123/stat : 9123 (java) S 9103 9106 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23735018 9856040960 50823 33554432000 1073741824 1073778376 140733638678112 140421169703544 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9106/tid=9124] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9124/stat : 9124 (java) S 9103 9106 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23735018 9856040960 50823 33554432000 1073741824 1073778376 140733638678112 140421168650952 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9126] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9126/stat : 9126 (java) S 9103 9106 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23735072 9856040960 50823 33554432000 1073741824 1073778376 140733638678112 140421167596968 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 9625040

[startup+6.30084 s]
/proc/loadavg: 2.10 2.19 2.17 4/213 9126
/proc/meminfo: memFree=29689100/32872528 swapFree=1590032/1720848
[pid=9106] ppid=9103 vsize=9625040 CPUtime=7.36 cores=0,2,4,6
/proc/9106/stat : 9106 (java) S 9103 9106 5878 0 -1 4202496 10154 0 1 0 726 10 0 0 20 0 19 0 23735013 9856040960 72279 33554432000 1073741824 1073778376 140733638678112 140733638669248 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9106/statm: 2406260 72279 2279 9 0 2396937 0
[pid=9106/tid=9107] ppid=9103 vsize=9625040 CPUtime=6.21 cores=0,2,4,6
/proc/9106/task/9107/stat : 9107 (java) R 9103 9106 5878 0 -1 4202560 2523 0 1 0 618 3 0 0 20 0 19 0 23735014 9856040960 72279 33554432000 1073741824 1073778376 140733638678112 140421351844280 140421221714010 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9106/tid=9109] ppid=9103 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/9106/task/9109/stat : 9109 (java) S 9103 9106 5878 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 23735014 9856040960 72279 33554432000 1073741824 1073778376 140733638678112 140421340908328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9106/tid=9110] ppid=9103 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/9106/task/9110/stat : 9110 (java) S 9103 9106 5878 0 -1 4202560 83 0 0 0 1 0 0 0 20 0 19 0 23735014 9856040960 72279 33554432000 1073741824 1073778376 140733638678112 140421339855528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9111] ppid=9103 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/9106/task/9111/stat : 9111 (java) S 9103 9106 5878 0 -1 4202560 71 0 0 0 1 0 0 0 20 0 19 0 23735014 9856040960 72279 33554432000 1073741824 1073778376 140733638678112 140421193481256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9106/tid=9112] ppid=9103 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/9106/task/9112/stat : 9112 (java) S 9103 9106 5878 0 -1 4202560 81 0 0 0 1 1 0 0 20 0 19 0 23735014 9856040960 72279 33554432000 1073741824 1073778376 140733638678112 140421192428456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9113] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9113/stat : 9113 (java) S 9103 9106 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23735014 9856040960 72279 33554432000 1073741824 1073778376 140733638678112 140421191375144 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9114] ppid=9103 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/9106/task/9114/stat : 9114 (java) S 9103 9106 5878 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 23735014 9856040960 72279 33554432000 1073741824 1073778376 140733638678112 140421190322344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9106/tid=9115] ppid=9103 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/9106/task/9115/stat : 9115 (java) S 9103 9106 5878 0 -1 4202560 79 0 0 0 1 0 0 0 20 0 19 0 23735014 9856040960 72279 33554432000 1073741824 1073778376 140733638678112 140421189270056 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9116] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9116/stat : 9116 (java) S 9103 9106 5878 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 23735014 9856040960 72279 33554432000 1073741824 1073778376 140733638678112 140421188217256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9117] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9117/stat : 9117 (java) S 9103 9106 5878 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 23735015 9856040960 72279 33554432000 1073741824 1073778376 140733638678112 140421176019688 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9118] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9118/stat : 9118 (java) S 9103 9106 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23735016 9856040960 72279 33554432000 1073741824 1073778376 140733638678112 140421174965752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9119] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9119/stat : 9119 (java) S 9103 9106 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23735016 9856040960 72279 33554432000 1073741824 1073778376 140733638678112 140421173913352 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9120] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9120/stat : 9120 (java) S 9103 9106 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23735018 9856040960 72279 33554432000 1073741824 1073778376 140733638678112 140421172861840 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9121] ppid=9103 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/9106/task/9121/stat : 9121 (java) S 9103 9106 5878 0 -1 4202560 3922 0 0 0 47 0 0 0 20 0 19 0 23735018 9856040960 72279 33554432000 1073741824 1073778376 140733638678112 140421171808440 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9122] ppid=9103 vsize=9625040 CPUtime=0.42 cores=0,2,4,6

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

[pid=9106/tid=9126] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9126/stat : 9126 (java) S 9103 9106 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23735072 9856040960 63497 33554432000 1073741824 1073778376 140733638678112 140421167596968 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1734.24
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.30 2.25 2.20 4/213 9236
/proc/meminfo: memFree=29614636/32872528 swapFree=1590032/1720848
[pid=9106] ppid=9103 vsize=9625040 CPUtime=1794.66 cores=0,2,4,6
/proc/9106/stat : 9106 (java) S 9103 9106 5878 0 -1 4202496 43271 0 1 0 179349 117 0 0 20 0 19 0 23735013 9856040960 63598 33554432000 1073741824 1073778376 140733638678112 140733638669248 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9106/statm: 2406260 63598 2288 9 0 2396937 0
[pid=9106/tid=9107] ppid=9103 vsize=9625040 CPUtime=1771.79 cores=0,2,4,6
/proc/9106/task/9107/stat : 9107 (java) R 9103 9106 5878 0 -1 4202560 3969 0 1 0 177144 35 0 0 20 0 19 0 23735014 9856040960 63598 33554432000 1073741824 1073778376 140733638678112 140421351845040 140421221713558 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9109] ppid=9103 vsize=9625040 CPUtime=1.75 cores=0,2,4,6
/proc/9106/task/9109/stat : 9109 (java) S 9103 9106 5878 0 -1 4202560 582 0 0 0 167 8 0 0 20 0 19 0 23735014 9856040960 63598 33554432000 1073741824 1073778376 140733638678112 140421340908328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9110] ppid=9103 vsize=9625040 CPUtime=1.93 cores=0,2,4,6
/proc/9106/task/9110/stat : 9110 (java) S 9103 9106 5878 0 -1 4202560 644 0 0 0 182 11 0 0 20 0 19 0 23735014 9856040960 63598 33554432000 1073741824 1073778376 140733638678112 140421339855528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9106/tid=9111] ppid=9103 vsize=9625040 CPUtime=1.76 cores=0,2,4,6
/proc/9106/task/9111/stat : 9111 (java) S 9103 9106 5878 0 -1 4202560 592 0 0 0 166 10 0 0 20 0 19 0 23735014 9856040960 63598 33554432000 1073741824 1073778376 140733638678112 140421193481256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9106/tid=9112] ppid=9103 vsize=9625040 CPUtime=1.87 cores=0,2,4,6
/proc/9106/task/9112/stat : 9112 (java) S 9103 9106 5878 0 -1 4202560 512 0 0 0 178 9 0 0 20 0 19 0 23735014 9856040960 63598 33554432000 1073741824 1073778376 140733638678112 140421192428456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9106/tid=9113] ppid=9103 vsize=9625040 CPUtime=1.89 cores=0,2,4,6
/proc/9106/task/9113/stat : 9113 (java) S 9103 9106 5878 0 -1 4202560 790 0 0 0 180 9 0 0 20 0 19 0 23735014 9856040960 63598 33554432000 1073741824 1073778376 140733638678112 140421191375144 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9106/tid=9114] ppid=9103 vsize=9625040 CPUtime=1.88 cores=0,2,4,6
/proc/9106/task/9114/stat : 9114 (java) S 9103 9106 5878 0 -1 4202560 452 0 0 0 180 8 0 0 20 0 19 0 23735014 9856040960 63598 33554432000 1073741824 1073778376 140733638678112 140421190322344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9106/tid=9115] ppid=9103 vsize=9625040 CPUtime=1.89 cores=0,2,4,6
/proc/9106/task/9115/stat : 9115 (java) S 9103 9106 5878 0 -1 4202560 647 0 0 0 180 9 0 0 20 0 19 0 23735014 9856040960 63598 33554432000 1073741824 1073778376 140733638678112 140421189270056 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9106/tid=9116] ppid=9103 vsize=9625040 CPUtime=1.87 cores=0,2,4,6
/proc/9106/task/9116/stat : 9116 (java) S 9103 9106 5878 0 -1 4202560 518 0 0 0 178 9 0 0 20 0 19 0 23735014 9856040960 63598 33554432000 1073741824 1073778376 140733638678112 140421188217256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9117] ppid=9103 vsize=9625040 CPUtime=0.87 cores=0,2,4,6
/proc/9106/task/9117/stat : 9117 (java) S 9103 9106 5878 0 -1 4202560 4435 0 0 0 76 11 0 0 20 0 19 0 23735015 9856040960 63598 33554432000 1073741824 1073778376 140733638678112 140421176019688 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9118] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9118/stat : 9118 (java) S 9103 9106 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23735016 9856040960 63598 33554432000 1073741824 1073778376 140733638678112 140421174965752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9119] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9119/stat : 9119 (java) S 9103 9106 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23735016 9856040960 63598 33554432000 1073741824 1073778376 140733638678112 140421173913352 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9120] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9120/stat : 9120 (java) S 9103 9106 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23735018 9856040960 63598 33554432000 1073741824 1073778376 140733638678112 140421172861840 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9121] ppid=9103 vsize=9625040 CPUtime=0.92 cores=0,2,4,6
/proc/9106/task/9121/stat : 9121 (java) S 9103 9106 5878 0 -1 4202560 11125 0 0 0 90 2 0 0 20 0 19 0 23735018 9856040960 63598 33554432000 1073741824 1073778376 140733638678112 140421171808440 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9122] ppid=9103 vsize=9625040 CPUtime=1.58 cores=0,2,4,6
/proc/9106/task/9122/stat : 9122 (java) S 9103 9106 5878 0 -1 4202560 17639 0 0 0 155 3 0 0 20 0 19 0 23735018 9856040960 63598 33554432000 1073741824 1073778376 140733638678112 140421170755640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9106/tid=9123] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9123/stat : 9123 (java) S 9103 9106 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23735018 9856040960 63598 33554432000 1073741824 1073778376 140733638678112 140421169703544 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9106/tid=9124] ppid=9103 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/9106/task/9124/stat : 9124 (java) S 9103 9106 5878 0 -1 4202560 103 0 0 0 26 26 0 0 20 0 19 0 23735018 9856040960 63598 33554432000 1073741824 1073778376 140733638678112 140421168650952 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9126] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9126/stat : 9126 (java) S 9103 9106 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23735072 9856040960 63598 33554432000 1073741824 1073778376 140733638678112 140421167596968 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787.7 s]
/proc/loadavg: 2.27 2.24 2.19 3/213 9236
/proc/meminfo: memFree=29604052/32872528 swapFree=1590032/1720848
[pid=9106] ppid=9103 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/9106/stat : 9106 (java) S 9103 9106 5878 0 -1 4202496 43286 0 1 0 179889 118 0 0 20 0 19 0 23735013 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140733638669248 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9106/statm: 2406260 63612 2288 9 0 2396937 0
[pid=9106/tid=9107] ppid=9103 vsize=9625040 CPUtime=1777.17 cores=0,2,4,6
/proc/9106/task/9107/stat : 9107 (java) R 9103 9106 5878 0 -1 4202560 3970 0 1 0 177681 36 0 0 20 0 19 0 23735014 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421351845040 140421221667303 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9106/tid=9109] ppid=9103 vsize=9625040 CPUtime=1.75 cores=0,2,4,6
/proc/9106/task/9109/stat : 9109 (java) S 9103 9106 5878 0 -1 4202560 582 0 0 0 167 8 0 0 20 0 19 0 23735014 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421340908328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9110] ppid=9103 vsize=9625040 CPUtime=1.93 cores=0,2,4,6
/proc/9106/task/9110/stat : 9110 (java) S 9103 9106 5878 0 -1 4202560 658 0 0 0 182 11 0 0 20 0 19 0 23735014 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421339855528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9106/tid=9111] ppid=9103 vsize=9625040 CPUtime=1.76 cores=0,2,4,6
/proc/9106/task/9111/stat : 9111 (java) S 9103 9106 5878 0 -1 4202560 592 0 0 0 166 10 0 0 20 0 19 0 23735014 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421193481256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9106/tid=9112] ppid=9103 vsize=9625040 CPUtime=1.87 cores=0,2,4,6
/proc/9106/task/9112/stat : 9112 (java) S 9103 9106 5878 0 -1 4202560 512 0 0 0 178 9 0 0 20 0 19 0 23735014 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421192428456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9106/tid=9113] ppid=9103 vsize=9625040 CPUtime=1.9 cores=0,2,4,6
/proc/9106/task/9113/stat : 9113 (java) S 9103 9106 5878 0 -1 4202560 790 0 0 0 181 9 0 0 20 0 19 0 23735014 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421191375144 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9114] ppid=9103 vsize=9625040 CPUtime=1.88 cores=0,2,4,6
/proc/9106/task/9114/stat : 9114 (java) S 9103 9106 5878 0 -1 4202560 452 0 0 0 180 8 0 0 20 0 19 0 23735014 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421190322344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9106/tid=9115] ppid=9103 vsize=9625040 CPUtime=1.89 cores=0,2,4,6
/proc/9106/task/9115/stat : 9115 (java) S 9103 9106 5878 0 -1 4202560 647 0 0 0 180 9 0 0 20 0 19 0 23735014 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421189270056 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9106/tid=9116] ppid=9103 vsize=9625040 CPUtime=1.87 cores=0,2,4,6
/proc/9106/task/9116/stat : 9116 (java) S 9103 9106 5878 0 -1 4202560 518 0 0 0 178 9 0 0 20 0 19 0 23735014 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421188217256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9117] ppid=9103 vsize=9625040 CPUtime=0.87 cores=0,2,4,6
/proc/9106/task/9117/stat : 9117 (java) S 9103 9106 5878 0 -1 4202560 4435 0 0 0 76 11 0 0 20 0 19 0 23735015 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421176019688 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9118] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9118/stat : 9118 (java) S 9103 9106 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23735016 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421174965752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9119] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9119/stat : 9119 (java) S 9103 9106 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23735016 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421173913352 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9120] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9120/stat : 9120 (java) S 9103 9106 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23735018 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421172861840 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9121] ppid=9103 vsize=9625040 CPUtime=0.92 cores=0,2,4,6
/proc/9106/task/9121/stat : 9121 (java) S 9103 9106 5878 0 -1 4202560 11125 0 0 0 90 2 0 0 20 0 19 0 23735018 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421171808440 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9122] ppid=9103 vsize=9625040 CPUtime=1.58 cores=0,2,4,6
/proc/9106/task/9122/stat : 9122 (java) S 9103 9106 5878 0 -1 4202560 17639 0 0 0 155 3 0 0 20 0 19 0 23735018 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421170755640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9106/tid=9123] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9123/stat : 9123 (java) S 9103 9106 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23735018 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421169703544 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9106/tid=9124] ppid=9103 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/9106/task/9124/stat : 9124 (java) S 9103 9106 5878 0 -1 4202560 103 0 0 0 26 27 0 0 20 0 19 0 23735018 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421168650952 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9126] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9126/stat : 9126 (java) S 9103 9106 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23735072 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421167596968 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040

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

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

[startup+1787.7 s]
/proc/loadavg: 2.27 2.24 2.19 3/213 9236
/proc/meminfo: memFree=29604052/32872528 swapFree=1590032/1720848
[pid=9106] ppid=9103 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/9106/stat : 9106 (java) S 9103 9106 5878 0 -1 4202496 43286 0 1 0 179889 118 0 0 20 0 19 0 23735013 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140733638669248 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9106/statm: 2406260 63612 2288 9 0 2396937 0
[pid=9106/tid=9107] ppid=9103 vsize=9625040 CPUtime=1777.17 cores=0,2,4,6
/proc/9106/task/9107/stat : 9107 (java) R 9103 9106 5878 0 -1 4202560 3970 0 1 0 177681 36 0 0 20 0 19 0 23735014 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421351845040 140421221667303 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9106/tid=9109] ppid=9103 vsize=9625040 CPUtime=1.75 cores=0,2,4,6
/proc/9106/task/9109/stat : 9109 (java) S 9103 9106 5878 0 -1 4202560 582 0 0 0 167 8 0 0 20 0 19 0 23735014 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421340908328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9110] ppid=9103 vsize=9625040 CPUtime=1.93 cores=0,2,4,6
/proc/9106/task/9110/stat : 9110 (java) S 9103 9106 5878 0 -1 4202560 658 0 0 0 182 11 0 0 20 0 19 0 23735014 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421339855528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9106/tid=9111] ppid=9103 vsize=9625040 CPUtime=1.76 cores=0,2,4,6
/proc/9106/task/9111/stat : 9111 (java) S 9103 9106 5878 0 -1 4202560 592 0 0 0 166 10 0 0 20 0 19 0 23735014 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421193481256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9106/tid=9112] ppid=9103 vsize=9625040 CPUtime=1.87 cores=0,2,4,6
/proc/9106/task/9112/stat : 9112 (java) S 9103 9106 5878 0 -1 4202560 512 0 0 0 178 9 0 0 20 0 19 0 23735014 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421192428456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9106/tid=9113] ppid=9103 vsize=9625040 CPUtime=1.9 cores=0,2,4,6
/proc/9106/task/9113/stat : 9113 (java) S 9103 9106 5878 0 -1 4202560 790 0 0 0 181 9 0 0 20 0 19 0 23735014 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421191375144 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9114] ppid=9103 vsize=9625040 CPUtime=1.88 cores=0,2,4,6
/proc/9106/task/9114/stat : 9114 (java) S 9103 9106 5878 0 -1 4202560 452 0 0 0 180 8 0 0 20 0 19 0 23735014 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421190322344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9106/tid=9115] ppid=9103 vsize=9625040 CPUtime=1.89 cores=0,2,4,6
/proc/9106/task/9115/stat : 9115 (java) S 9103 9106 5878 0 -1 4202560 647 0 0 0 180 9 0 0 20 0 19 0 23735014 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421189270056 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9106/tid=9116] ppid=9103 vsize=9625040 CPUtime=1.87 cores=0,2,4,6
/proc/9106/task/9116/stat : 9116 (java) S 9103 9106 5878 0 -1 4202560 518 0 0 0 178 9 0 0 20 0 19 0 23735014 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421188217256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9117] ppid=9103 vsize=9625040 CPUtime=0.87 cores=0,2,4,6
/proc/9106/task/9117/stat : 9117 (java) S 9103 9106 5878 0 -1 4202560 4435 0 0 0 76 11 0 0 20 0 19 0 23735015 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421176019688 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9118] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9118/stat : 9118 (java) S 9103 9106 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23735016 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421174965752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9119] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9119/stat : 9119 (java) S 9103 9106 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23735016 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421173913352 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9120] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9120/stat : 9120 (java) S 9103 9106 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23735018 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421172861840 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9106/tid=9121] ppid=9103 vsize=9625040 CPUtime=0.92 cores=0,2,4,6
/proc/9106/task/9121/stat : 9121 (java) S 9103 9106 5878 0 -1 4202560 11125 0 0 0 90 2 0 0 20 0 19 0 23735018 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421171808440 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9122] ppid=9103 vsize=9625040 CPUtime=1.58 cores=0,2,4,6
/proc/9106/task/9122/stat : 9122 (java) S 9103 9106 5878 0 -1 4202560 17639 0 0 0 155 3 0 0 20 0 19 0 23735018 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421170755640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9106/tid=9123] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9123/stat : 9123 (java) S 9103 9106 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23735018 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421169703544 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9106/tid=9124] ppid=9103 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/9106/task/9124/stat : 9124 (java) S 9103 9106 5878 0 -1 4202560 103 0 0 0 26 27 0 0 20 0 19 0 23735018 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421168650952 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9106/tid=9126] ppid=9103 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/9106/task/9126/stat : 9126 (java) S 9103 9106 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23735072 9856040960 63612 33554432000 1073741824 1073778376 140733638678112 140421167596968 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1787.74
CPU time (s): 1800.07
CPU user time (s): 1798.89
CPU system time (s): 1.18
CPU usage (%): 100.69
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.58
system time used= 1.67175
maximum resident set size= 874476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43326
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54319
involuntary context switches= 49905

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0735 second user time and 13.5529 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-18 04:27:47
IDJOB=4100757
IDBENCH=1657
IDSOLVER=2546
FILE ID=node120/4100757-1466216867
RUNJOBID= node120-1466206086-5894
PBS_JOBID= 19918157
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-tuff.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100757-1466216867/watcher-4100757-1466216867 -o /tmp/evaluation-result-4100757-1466216867/solver-4100757-1466216867 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466206086-5894 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4100757-1466216867.opb

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

MD5SUM BENCH= e0d3bc77812df02cd6843b358116eb3f
RANDOM SEED=575870851

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30030512 kB
Buffers:           99344 kB
Cached:           209504 kB
SwapCached:         1812 kB
Active:           106848 kB
Inactive:         240928 kB
Active(anon):      40604 kB
Inactive(anon):     1244 kB
Active(file):      66244 kB
Inactive(file):   239684 kB
Unevictable:     1720848 kB
Mlocked:         1590032 kB
SwapTotal:      67108856 kB
SwapFree:       67099492 kB
Dirty:              3180 kB
Writeback:             0 kB
AnonPages:       1749772 kB
Mapped:            14844 kB
Shmem:                 0 kB
Slab:             613756 kB
SReclaimable:      57220 kB
SUnreclaim:       556536 kB
KernelStack:        1408 kB
PageTables:         6932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2409208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    135168 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= 71724 MiB
End job on node120 at 2016-06-18 04:57:35