Trace number 4101277

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.08 1795.94

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-greenbeb.opb
MD5SUM7808a83c255339d45cbd36765fa322a9
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 variables155020
Total number of constraints2675
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 constraints2675
Minimum length of a constraint11
Maximum length of a constraint7172
Number of terms in the objective function 14882
Biggest coefficient in the objective function 22533
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 536862
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 536862
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4101277-1466222214.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
2.97/1.98	c ... done. Wall clock time 1.866s.
2.97/1.98	c declared #vars     155020
2.97/1.98	c #constraints  4867
2.97/1.98	c constraints type 
2.97/1.98	c org.sat4j.specs.Constr$1 => 339
2.97/1.98	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 4528
2.97/1.98	c 4867 constraints processed.
2.97/1.98	c objective function length is 14882 literals
4.23/2.74	c cleaning 2500 clauses out of 4999 with flag 10693/5000
5.13/3.32	c cleaning 4246 clauses out of 8499 with flag 22884/11001
5.72/3.98	c cleaning 5626 clauses out of 11252 with flag 37133/18000
6.53/4.77	c cleaning 6815 clauses out of 13629 with flag 54160/26003
7.55/5.77	c cleaning 7904 clauses out of 15811 with flag 72587/35000
9.18/7.15	c cleaning 8954 clauses out of 17907 with flag 94053/45000
10.96/8.67	c cleaning 9977 clauses out of 19953 with flag 117808/56001
13.12/10.43	c cleaning 10987 clauses out of 21976 with flag 143715/68001
15.02/12.34	c cleaning 11988 clauses out of 23989 with flag 172108/81001
17.62/14.92	c cleaning 13000 clauses out of 26000 with flag 203156/95000
20.02/17.37	c cleaning 13999 clauses out of 28001 with flag 235656/110001
22.63/19.91	c cleaning 15001 clauses out of 30003 with flag 271433/126002
25.62/22.91	c cleaning 15999 clauses out of 32003 with flag 307834/143003
28.73/26.06	c cleaning 16997 clauses out of 34001 with flag 346088/161000
32.23/29.54	c cleaning 18000 clauses out of 36004 with flag 385981/180000
36.03/33.32	c cleaning 19001 clauses out of 38004 with flag 429449/200000
40.13/37.46	c cleaning 20002 clauses out of 40003 with flag 474872/221000
44.83/42.11	c cleaning 20998 clauses out of 42001 with flag 523046/243000
49.33/46.61	c cleaning 22001 clauses out of 44003 with flag 571403/266000
54.43/51.77	c cleaning 22995 clauses out of 46002 with flag 623012/290000
59.94/57.28	c cleaning 24001 clauses out of 48008 with flag 676802/315001
65.54/62.82	c cleaning 25001 clauses out of 50006 with flag 734224/341000
71.53/68.84	c cleaning 25997 clauses out of 52006 with flag 793753/368001
77.84/75.18	c cleaning 27003 clauses out of 54008 with flag 859527/396000
84.54/81.87	c cleaning 27997 clauses out of 56005 with flag 927306/425000
91.66/88.89	c cleaning 29002 clauses out of 58009 with flag 997545/455001
98.95/95.92	c cleaning 29996 clauses out of 60007 with flag 1068645/486001
106.65/103.61	c cleaning 31004 clauses out of 62011 with flag 1136352/518001
114.45/111.45	c cleaning 31996 clauses out of 64006 with flag 1208931/551000
122.66/119.66	c cleaning 33000 clauses out of 66010 with flag 1284280/585000
131.55/128.59	c cleaning 34000 clauses out of 68010 with flag 1360823/620000
143.25/140.21	c cleaning 34998 clauses out of 70010 with flag 1447359/656000
154.25/151.27	c cleaning 36004 clauses out of 72012 with flag 1532641/693000
165.35/162.33	c cleaning 36999 clauses out of 74008 with flag 1617660/731000
176.55/173.59	c cleaning 38006 clauses out of 76012 with flag 1708046/770003
188.55/185.60	c cleaning 39000 clauses out of 78003 with flag 1794733/810000
202.46/199.42	c cleaning 39998 clauses out of 80002 with flag 1883606/851000
215.60/212.40	c cleaning 40999 clauses out of 82009 with flag 1979019/893005
229.39/226.12	c cleaning 42003 clauses out of 84005 with flag 2081401/936000
242.01/238.72	c cleaning 43002 clauses out of 86003 with flag 2184469/980001
256.10/252.83	c cleaning 44001 clauses out of 88001 with flag 2280430/1025001
272.30/269.00	c cleaning 44996 clauses out of 89999 with flag 2378717/1071000
289.11/285.84	c cleaning 46001 clauses out of 92005 with flag 2478873/1118002
306.92/303.69	c cleaning 46996 clauses out of 94002 with flag 2578744/1166000
325.52/322.20	c cleaning 48003 clauses out of 96007 with flag 2694170/1215001
341.93/338.63	c cleaning 48998 clauses out of 98006 with flag 2817361/1265003
360.73/357.43	c cleaning 50002 clauses out of 100007 with flag 2938864/1316002
380.53/377.30	c cleaning 50998 clauses out of 102003 with flag 3062777/1368000
403.84/400.58	c cleaning 51997 clauses out of 104006 with flag 3179830/1421001
425.54/422.29	c cleaning 52996 clauses out of 106008 with flag 3303342/1475000
450.06/446.77	c cleaning 54002 clauses out of 108014 with flag 3421874/1530002
474.16/470.86	c cleaning 55003 clauses out of 110010 with flag 3542491/1586000
497.37/494.08	c cleaning 56002 clauses out of 112007 with flag 3663945/1643000
522.87/519.52	c cleaning 57000 clauses out of 114005 with flag 3786476/1701000
544.41/540.85	c cleaning 57994 clauses out of 116005 with flag 3912952/1760000
565.83/562.28	c cleaning 59002 clauses out of 118014 with flag 4038807/1820003
591.33/587.74	c cleaning 60004 clauses out of 120012 with flag 4166263/1881003
617.63/614.06	c cleaning 60998 clauses out of 122007 with flag 4303812/1943002
644.44/640.89	c cleaning 62004 clauses out of 124008 with flag 4441278/2006001
677.34/673.78	c cleaning 62995 clauses out of 126004 with flag 4579465/2070001
705.85/702.27	c cleaning 64004 clauses out of 128010 with flag 4716656/2135002
737.06/733.41	c cleaning 64999 clauses out of 130004 with flag 4859638/2201000
763.56/759.91	c cleaning 66000 clauses out of 132005 with flag 5002965/2268000
803.59/799.92	c cleaning 67000 clauses out of 134007 with flag 5149277/2336002
842.59/838.94	c cleaning 67996 clauses out of 136005 with flag 5294592/2405000
882.80/879.15	c cleaning 69004 clauses out of 138010 with flag 5446042/2475001
920.57/916.66	c cleaning 70002 clauses out of 140006 with flag 5593187/2546001
960.99/957.04	c cleaning 70996 clauses out of 142004 with flag 5747435/2618001
998.40/994.43	c cleaning 72003 clauses out of 144007 with flag 5908100/2691000
1046.61/1042.61	c cleaning 72995 clauses out of 146005 with flag 6059811/2765001
1088.12/1084.15	c cleaning 74003 clauses out of 148009 with flag 6224120/2840000
1134.62/1130.69	c cleaning 75003 clauses out of 150007 with flag 6381521/2916001
1185.24/1181.25	c cleaning 76002 clauses out of 152006 with flag 6541877/2993003
1239.65/1235.69	c cleaning 76997 clauses out of 154002 with flag 6703058/3071001
1288.65/1284.68	c cleaning 77988 clauses out of 156005 with flag 6872514/3150001
1342.77/1338.75	c cleaning 79007 clauses out of 158016 with flag 7040332/3230000
1407.68/1403.61	c cleaning 80003 clauses out of 160010 with flag 7218276/3311001
1440.27/1436.29	c cleaning 80999 clauses out of 162012 with flag 7395466/3393006
1485.49/1481.46	c cleaning 82004 clauses out of 164007 with flag 7573460/3476000
1518.41/1514.38	c cleaning 83001 clauses out of 166004 with flag 7762951/3560003
1554.22/1550.20	c cleaning 83999 clauses out of 168001 with flag 7947896/3645001
1603.03/1598.98	c cleaning 84999 clauses out of 170005 with flag 8129176/3731004
1661.44/1657.37	c cleaning 86000 clauses out of 172002 with flag 8313842/3818000
1734.65/1730.55	c cleaning 87001 clauses out of 174005 with flag 8504379/3906003
1800.08/1795.90	c starts		: 11781
1800.08/1795.90	c conflicts		: 3994799
1800.08/1795.90	c decisions		: 4269483
1800.08/1795.90	c propagations		: 34428716
1800.08/1795.90	c inspects		: 33455274365
1800.08/1795.90	c shortcuts		: 0
1800.08/1795.90	c learnt literals	: 6
1800.08/1795.90	c learnt binary clauses	: 9
1800.08/1795.90	c learnt ternary clauses	: 15
1800.08/1795.90	c learnt constraints	: 3994793
1800.08/1795.90	c ignored constraints	: 0
1800.08/1795.90	c root simplifications	: 0
1800.08/1795.90	c removed literals (reason simplification)	: 0
1800.08/1795.90	c reason swapping (by a shorter reason)	: 0
1800.08/1795.90	c Calls to reduceDB	: 84
1800.08/1795.90	c Number of update (reduction) of LBD	: 79403
1800.08/1795.90	c Imported unit clauses	: 0
1800.08/1795.90	c number of reductions to clauses (during analyze)	: 0
1800.08/1795.90	c number of learned constraints concerned by reduction	: 0
1800.08/1795.90	c number of learning phase by resolution	: 0
1800.08/1795.90	c number of learning phase by cutting planes	: 0
1800.08/1795.90	c speed (assignments/second)	: 19193.495264164303
1800.08/1795.90	c non guided choices	13149
1800.08/1795.91	c timeout
1800.08/1795.93	c learnt constraints type 
1800.08/1795.93	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 9
1800.08/1795.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 175791
1800.08/1795.93	s UNKNOWN
1800.08/1795.93	c Total wall clock time (in seconds): 1795.818

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

pid=9718
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: 2.47 2.29 2.20 3/194 9721
/proc/meminfo: memFree=26637140/32872528 swapFree=1590032/1720848
[pid=9721] ppid=9718 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/9721/stat : 9721 (java) D 9718 9721 5878 0 -1 4202496 532 0 0 0 0 0 0 0 20 0 1 0 24269789 9515008 185 33554432000 1073741824 1073778376 140736929137056 140736929126120 226075176231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9721/statm: 5149 187 143 9 0 128 0

[startup+0.100162 s]
/proc/loadavg: 2.47 2.29 2.20 3/194 9721
/proc/meminfo: memFree=26637140/32872528 swapFree=1590032/1720848
[pid=9721] ppid=9718 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/9721/stat : 9721 (java) S 9718 9721 5878 0 -1 4202496 4384 0 1 0 8 1 0 0 20 0 18 0 24269789 9787879424 6021 33554432000 1073741824 1073778376 140736929137056 140736929128192 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9721/statm: 2389619 6021 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200223 s]
/proc/loadavg: 2.47 2.29 2.20 3/194 9721
/proc/meminfo: memFree=26637140/32872528 swapFree=1590032/1720848
[pid=9721] ppid=9718 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/9721/stat : 9721 (java) S 9718 9721 5878 0 -1 4202496 4995 0 1 0 27 1 0 0 20 0 18 0 24269789 9787879424 7882 33554432000 1073741824 1073778376 140736929137056 140736929128192 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9721/statm: 2389619 7882 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300228 s]
/proc/loadavg: 2.47 2.29 2.20 3/194 9721
/proc/meminfo: memFree=26637140/32872528 swapFree=1590032/1720848
[pid=9721] ppid=9718 vsize=9558476 CPUtime=0.5 cores=1,3,5,7
/proc/9721/stat : 9721 (java) S 9718 9721 5878 0 -1 4202496 6187 0 1 0 49 1 0 0 20 0 18 0 24269789 9787879424 10964 33554432000 1073741824 1073778376 140736929137056 140736929128192 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9721/statm: 2389619 10964 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476

[startup+0.70031 s]
/proc/loadavg: 2.47 2.29 2.20 3/194 9721
/proc/meminfo: memFree=26637140/32872528 swapFree=1590032/1720848
[pid=9721] ppid=9718 vsize=9558476 CPUtime=1.34 cores=1,3,5,7
/proc/9721/stat : 9721 (java) S 9718 9721 5878 0 -1 4202496 11596 0 1 0 127 7 0 0 20 0 18 0 24269789 9787879424 48365 33554432000 1073741824 1073778376 140736929137056 140736929128192 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9721/statm: 2389619 48365 2269 9 0 2380296 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9558476

[startup+1.50073 s]
/proc/loadavg: 3.00 2.40 2.24 3/212 9739
/proc/meminfo: memFree=26405784/32872528 swapFree=1590032/1720848
[pid=9721] ppid=9718 vsize=9558476 CPUtime=2.38 cores=1,3,5,7
/proc/9721/stat : 9721 (java) S 9718 9721 5878 0 -1 4202496 12140 0 1 0 220 18 0 0 20 0 18 0 24269789 9787879424 92243 33554432000 1073741824 1073778376 140736929137056 140736929128192 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9721/statm: 2389619 92243 2269 9 0 2380296 0
[pid=9721/tid=9723] ppid=9718 vsize=9558476 CPUtime=1.34 cores=1,3,5,7
/proc/9721/task/9723/stat : 9723 (java) S 9718 9721 5878 0 -1 4202560 2516 0 1 0 130 4 0 0 20 0 18 0 24269790 9787879424 92243 33554432000 1073741824 1073778376 140736929137056 139760697871800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9721/tid=9724] ppid=9718 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/9721/task/9724/stat : 9724 (java) R 9718 9721 5878 0 -1 4202560 29 0 0 0 3 1 0 0 20 0 18 0 24269791 9787879424 92243 33554432000 1073741824 1073778376 140736929137056 139760659364776 139760700344013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9725] ppid=9718 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/9721/task/9725/stat : 9725 (java) R 9718 9721 5878 0 -1 4202560 39 0 0 0 3 2 0 0 20 0 18 0 24269791 9787879424 92243 33554432000 1073741824 1073778376 140736929137056 139760658312408 139760704768940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9726] ppid=9718 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/9721/task/9726/stat : 9726 (java) R 9718 9721 5878 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 18 0 24269791 9787879424 92243 33554432000 1073741824 1073778376 140736929137056 139760657259352 139760701629580 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9727] ppid=9718 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/9721/task/9727/stat : 9727 (java) R 9718 9721 5878 0 -1 4202560 154 0 0 0 7 3 0 0 20 0 18 0 24269791 9787879424 92243 33554432000 1073741824 1073778376 140736929137056 139760656206632 139760704768940 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9721/tid=9728] ppid=9718 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/9721/task/9728/stat : 9728 (java) R 9718 9721 5878 0 -1 4202560 110 0 0 0 2 1 0 0 20 0 18 0 24269791 9787879424 92243 33554432000 1073741824 1073778376 140736929137056 139760655153576 139760704768940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9729] ppid=9718 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/9721/task/9729/stat : 9729 (java) R 9718 9721 5878 0 -1 4202560 100 0 0 0 2 1 0 0 20 0 18 0 24269791 9787879424 92243 33554432000 1073741824 1073778376 140736929137056 139760654101208 139760700344017 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9730] ppid=9718 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/9721/task/9730/stat : 9730 (java) R 9718 9721 5878 0 -1 4202560 109 0 0 0 2 2 0 0 20 0 18 0 24269791 9787879424 92243 33554432000 1073741824 1073778376 140736929137056 139760653048152 139760704768453 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9731] ppid=9718 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/9721/task/9731/stat : 9731 (java) R 9718 9721 5878 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 18 0 24269791 9787879424 92243 33554432000 1073741824 1073778376 140736929137056 139760534284760 139760702048431 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9732] ppid=9718 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9732/stat : 9732 (java) S 9718 9721 5878 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 24269792 9787879424 92243 33554432000 1073741824 1073778376 140736929137056 139760522086152 226087711804 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9733] ppid=9718 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9733/stat : 9733 (java) S 9718 9721 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 24269793 9787879424 92243 33554432000 1073741824 1073778376 140736929137056 139760521033592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9734] ppid=9718 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9734/stat : 9734 (java) S 9718 9721 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 24269793 9787879424 92243 33554432000 1073741824 1073778376 140736929137056 139760519980424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9735] ppid=9718 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9735/stat : 9735 (java) S 9718 9721 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24269795 9787879424 92243 33554432000 1073741824 1073778376 140736929137056 139760518929168 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9736] ppid=9718 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/9721/task/9736/stat : 9736 (java) S 9718 9721 5878 0 -1 4202560 2947 0 0 0 27 0 0 0 20 0 18 0 24269795 9787879424 92243 33554432000 1073741824 1073778376 140736929137056 139759779309880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9737] ppid=9718 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/9721/task/9737/stat : 9737 (java) S 9718 9721 5878 0 -1 4202560 4769 0 0 0 26 1 0 0 20 0 18 0 24269795 9787879424 92243 33554432000 1073741824 1073778376 140736929137056 139759778257336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9738] ppid=9718 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9738/stat : 9738 (java) S 9718 9721 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24269795 9787879424 92243 33554432000 1073741824 1073778376 140736929137056 139759777204472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9739] ppid=9718 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9739/stat : 9739 (java) S 9718 9721 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 24269795 9787879424 92243 33554432000 1073741824 1073778376 140736929137056 139759776152136 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 9558476

[startup+3.10087 s]
/proc/loadavg: 3.00 2.40 2.24 5/213 9740
/proc/meminfo: memFree=26235988/32872528 swapFree=1590032/1720848
[pid=9721] ppid=9718 vsize=9625040 CPUtime=4.9 cores=1,3,5,7
/proc/9721/stat : 9721 (java) S 9718 9721 5878 0 -1 4202496 15567 0 1 0 468 22 0 0 20 0 19 0 24269789 9856040960 103686 33554432000 1073741824 1073778376 140736929137056 140736929128192 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9721/statm: 2406260 103686 2285 9 0 2396937 0
[pid=9721/tid=9723] ppid=9718 vsize=9625040 CPUtime=2.88 cores=1,3,5,7
/proc/9721/task/9723/stat : 9723 (java) R 9718 9721 5878 0 -1 4202560 2529 0 1 0 283 5 0 0 20 0 19 0 24269790 9856040960 103686 33554432000 1073741824 1073778376 140736929137056 139760697863872 139760535046122 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9721/tid=9724] ppid=9718 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/9721/task/9724/stat : 9724 (java) S 9718 9721 5878 0 -1 4202560 40 0 0 0 5 2 0 0 20 0 19 0 24269791 9856040960 103686 33554432000 1073741824 1073778376 140736929137056 139760659364776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9725] ppid=9718 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/9721/task/9725/stat : 9725 (java) S 9718 9721 5878 0 -1 4202560 76 0 0 0 6 2 0 0 20 0 19 0 24269791 9856040960 103686 33554432000 1073741824 1073778376 140736929137056 139760658312232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9726] ppid=9718 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/9721/task/9726/stat : 9726 (java) S 9718 9721 5878 0 -1 4202560 89 0 0 0 3 2 0 0 20 0 19 0 24269791 9856040960 103686 33554432000 1073741824 1073778376 140736929137056 139760657259176 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9727] ppid=9718 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/9721/task/9727/stat : 9727 (java) S 9718 9721 5878 0 -1 4202560 173 0 0 0 12 4 0 0 20 0 19 0 24269791 9856040960 103686 33554432000 1073741824 1073778376 140736929137056 139760656206632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9728] ppid=9718 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/9721/task/9728/stat : 9728 (java) S 9718 9721 5878 0 -1 4202560 119 0 0 0 5 2 0 0 20 0 19 0 24269791 9856040960 103686 33554432000 1073741824 1073778376 140736929137056 139760655153576 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9729] ppid=9718 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/9721/task/9729/stat : 9729 (java) S 9718 9721 5878 0 -1 4202560 105 0 0 0 3 2 0 0 20 0 19 0 24269791 9856040960 103686 33554432000 1073741824 1073778376 140736929137056 139760654101032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9730] ppid=9718 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/9721/task/9730/stat : 9730 (java) S 9718 9721 5878 0 -1 4202560 122 0 0 0 4 3 0 0 20 0 19 0 24269791 9856040960 103686 33554432000 1073741824 1073778376 140736929137056 139760653047976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9731] ppid=9718 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/9721/task/9731/stat : 9731 (java) S 9718 9721 5878 0 -1 4202560 33 0 0 0 3 2 0 0 20 0 19 0 24269791 9856040960 103686 33554432000 1073741824 1073778376 140736929137056 139760534284584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9732] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9732/stat : 9732 (java) S 9718 9721 5878 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 24269792 9856040960 103686 33554432000 1073741824 1073778376 140736929137056 139760522087272 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9733] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9733/stat : 9733 (java) S 9718 9721 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24269793 9856040960 103686 33554432000 1073741824 1073778376 140736929137056 139760521033592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9734] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9734/stat : 9734 (java) S 9718 9721 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24269793 9856040960 103686 33554432000 1073741824 1073778376 140736929137056 139760519980424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9735] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9735/stat : 9735 (java) S 9718 9721 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24269795 9856040960 103686 33554432000 1073741824 1073778376 140736929137056 139760518929168 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9736] ppid=9718 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/9721/task/9736/stat : 9736 (java) S 9718 9721 5878 0 -1 4202560 3497 0 0 0 49 0 0 0 20 0 19 0 24269795 9856040960 103686 33554432000 1073741824 1073778376 140736929137056 139759779309880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9737] ppid=9718 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/9721/task/9737/stat : 9737 (java) S 9718 9721 5878 0 -1 4202560 7325 0 0 0 76 2 0 0 20 0 19 0 24269795 9856040960 103686 33554432000 1073741824 1073778376 140736929137056 139759778257336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9738] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9738/stat : 9738 (java) S 9718 9721 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24269795 9856040960 103686 33554432000 1073741824 1073778376 140736929137056 139759777204472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9739] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9739/stat : 9739 (java) S 9718 9721 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24269795 9856040960 103686 33554432000 1073741824 1073778376 140736929137056 139759776152136 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9740] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9740/stat : 9740 (java) S 9718 9721 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24270003 9856040960 103686 33554432000 1073741824 1073778376 140736929137056 139759775098408 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.9
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 3.00 2.40 2.24 3/213 9740
/proc/meminfo: memFree=26229436/32872528 swapFree=1590032/1720848
[pid=9721] ppid=9718 vsize=9625040 CPUtime=8.16 cores=1,3,5,7
/proc/9721/stat : 9721 (java) S 9718 9721 5878 0 -1 4202496 15569 0 1 0 794 22 0 0 20 0 19 0 24269789 9856040960 103574 33554432000 1073741824 1073778376 140736929137056 140736929128192 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9721/statm: 2406260 103574 2285 9 0 2396937 0
[pid=9721/tid=9723] ppid=9718 vsize=9625040 CPUtime=6.08 cores=1,3,5,7
/proc/9721/task/9723/stat : 9723 (java) R 9718 9721 5878 0 -1 4202560 2531 0 1 0 603 5 0 0 20 0 19 0 24269790 9856040960 103574 33554432000 1073741824 1073778376 140736929137056 139760697872760 139760535171811 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9721/tid=9724] ppid=9718 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/9721/task/9724/stat : 9724 (java) S 9718 9721 5878 0 -1 4202560 40 0 0 0 5 2 0 0 20 0 19 0 24269791 9856040960 103574 33554432000 1073741824 1073778376 140736929137056 139760659364776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9725] ppid=9718 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/9721/task/9725/stat : 9725 (java) S 9718 9721 5878 0 -1 4202560 76 0 0 0 6 2 0 0 20 0 19 0 24269791 9856040960 103574 33554432000 1073741824 1073778376 140736929137056 139760658312232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9726] ppid=9718 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/9721/task/9726/stat : 9726 (java) S 9718 9721 5878 0 -1 4202560 89 0 0 0 3 2 0 0 20 0 19 0 24269791 9856040960 103574 33554432000 1073741824 1073778376 140736929137056 139760657259176 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9727] ppid=9718 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/9721/task/9727/stat : 9727 (java) S 9718 9721 5878 0 -1 4202560 173 0 0 0 12 4 0 0 20 0 19 0 24269791 9856040960 103574 33554432000 1073741824 1073778376 140736929137056 139760656206632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9728] ppid=9718 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/9721/task/9728/stat : 9728 (java) S 9718 9721 5878 0 -1 4202560 119 0 0 0 5 2 0 0 20 0 19 0 24269791 9856040960 103574 33554432000 1073741824 1073778376 140736929137056 139760655153576 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9729] ppid=9718 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/9721/task/9729/stat : 9729 (java) S 9718 9721 5878 0 -1 4202560 105 0 0 0 3 2 0 0 20 0 19 0 24269791 9856040960 103574 33554432000 1073741824 1073778376 140736929137056 139760654101032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9730] ppid=9718 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/9721/task/9730/stat : 9730 (java) S 9718 9721 5878 0 -1 4202560 122 0 0 0 4 3 0 0 20 0 19 0 24269791 9856040960 103574 33554432000 1073741824 1073778376 140736929137056 139760653047976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9731] ppid=9718 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/9721/task/9731/stat : 9731 (java) S 9718 9721 5878 0 -1 4202560 33 0 0 0 3 2 0 0 20 0 19 0 24269791 9856040960 103574 33554432000 1073741824 1073778376 140736929137056 139760534284584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9732] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9732/stat : 9732 (java) S 9718 9721 5878 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 24269792 9856040960 103574 33554432000 1073741824 1073778376 140736929137056 139760522087272 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9733] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9733/stat : 9733 (java) S 9718 9721 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24269793 9856040960 103574 33554432000 1073741824 1073778376 140736929137056 139760521033592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9734] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9734/stat : 9734 (java) S 9718 9721 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24269793 9856040960 103574 33554432000 1073741824 1073778376 140736929137056 139760519980424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9735] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9735/stat : 9735 (java) S 9718 9721 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24269795 9856040960 103574 33554432000 1073741824 1073778376 140736929137056 139760518929168 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9736] ppid=9718 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/9721/task/9736/stat : 9736 (java) S 9718 9721 5878 0 -1 4202560 3497 0 0 0 51 0 0 0 20 0 19 0 24269795 9856040960 103574 33554432000 1073741824 1073778376 140736929137056 139759779309880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9737] ppid=9718 vsize=9625040 CPUtime=0.83 cores=1,3,5,7
/proc/9721/task/9737/stat : 9737 (java) S 9718 9721 5878 0 -1 4202560 7325 0 0 0 81 2 0 0 20 0 19 0 24269795 9856040960 103574 33554432000 1073741824 1073778376 140736929137056 139759778257336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9738] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9738/stat : 9738 (java) S 9718 9721 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24269795 9856040960 103574 33554432000 1073741824 1073778376 140736929137056 139759777204472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9739] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9739/stat : 9739 (java) S 9718 9721 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24269795 9856040960 103574 33554432000 1073741824 1073778376 140736929137056 139759776152136 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9740] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9740/stat : 9740 (java) S 9718 9721 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24270003 9856040960 103574 33554432000 1073741824 1073778376 140736929137056 139759775098408 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.16
Current children cumulated vsize (KiB) 9625040

[startup+12.7007 s]
/proc/loadavg: 2.84 2.39 2.24 4/213 9741

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

[pid=9721/tid=9740] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9740/stat : 9740 (java) S 9718 9721 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24270003 9856040960 505927 33554432000 1073741824 1073778376 140736929137056 139759775098408 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1726.45
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.39 2.35 2.28 3/213 9873
/proc/meminfo: memFree=25077980/32872528 swapFree=1590032/1720848
[pid=9721] ppid=9718 vsize=9625040 CPUtime=1786.47 cores=1,3,5,7
/proc/9721/stat : 9721 (java) S 9718 9721 5878 0 -1 4202496 27512 0 1 0 178540 107 0 0 20 0 19 0 24269789 9856040960 530503 33554432000 1073741824 1073778376 140736929137056 140736929128192 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9721/statm: 2406260 530503 2286 9 0 2396937 0
[pid=9721/tid=9723] ppid=9718 vsize=9625040 CPUtime=1777.02 cores=1,3,5,7
/proc/9721/task/9723/stat : 9723 (java) R 9718 9721 5878 0 -1 4202560 3859 0 1 0 177651 51 0 0 20 0 19 0 24269790 9856040960 530503 33554432000 1073741824 1073778376 140736929137056 139760697863856 139760535396262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9721/tid=9724] ppid=9718 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/9721/task/9724/stat : 9724 (java) S 9718 9721 5878 0 -1 4202560 170 0 0 0 17 3 0 0 20 0 19 0 24269791 9856040960 530503 33554432000 1073741824 1073778376 140736929137056 139760659364776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9725] ppid=9718 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/9721/task/9725/stat : 9725 (java) S 9718 9721 5878 0 -1 4202560 230 0 0 0 27 6 0 0 20 0 19 0 24269791 9856040960 530503 33554432000 1073741824 1073778376 140736929137056 139760658312232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9726] ppid=9718 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/9721/task/9726/stat : 9726 (java) S 9718 9721 5878 0 -1 4202560 212 0 0 0 18 5 0 0 20 0 19 0 24269791 9856040960 530503 33554432000 1073741824 1073778376 140736929137056 139760657259176 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9727] ppid=9718 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/9721/task/9727/stat : 9727 (java) S 9718 9721 5878 0 -1 4202560 324 0 0 0 33 9 0 0 20 0 19 0 24269791 9856040960 530503 33554432000 1073741824 1073778376 140736929137056 139760656206632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9728] ppid=9718 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/9721/task/9728/stat : 9728 (java) S 9718 9721 5878 0 -1 4202560 253 0 0 0 23 5 0 0 20 0 19 0 24269791 9856040960 530503 33554432000 1073741824 1073778376 140736929137056 139760655153576 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9729] ppid=9718 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/9721/task/9729/stat : 9729 (java) S 9718 9721 5878 0 -1 4202560 236 0 0 0 15 4 0 0 20 0 19 0 24269791 9856040960 530503 33554432000 1073741824 1073778376 140736929137056 139760654101032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9730] ppid=9718 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/9721/task/9730/stat : 9730 (java) S 9718 9721 5878 0 -1 4202560 294 0 0 0 16 4 0 0 20 0 19 0 24269791 9856040960 530503 33554432000 1073741824 1073778376 140736929137056 139760653047976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9731] ppid=9718 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/9721/task/9731/stat : 9731 (java) S 9718 9721 5878 0 -1 4202560 195 0 0 0 18 5 0 0 20 0 19 0 24269791 9856040960 530503 33554432000 1073741824 1073778376 140736929137056 139760534284584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9721/tid=9732] ppid=9718 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/9721/task/9732/stat : 9732 (java) S 9718 9721 5878 0 -1 4202560 1023 0 0 0 0 2 0 0 20 0 19 0 24269792 9856040960 530503 33554432000 1073741824 1073778376 140736929137056 139760522087272 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9733] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9733/stat : 9733 (java) S 9718 9721 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24269793 9856040960 530503 33554432000 1073741824 1073778376 140736929137056 139760521033592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9734] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9734/stat : 9734 (java) S 9718 9721 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24269793 9856040960 530503 33554432000 1073741824 1073778376 140736929137056 139760519980424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9735] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9735/stat : 9735 (java) S 9718 9721 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24269795 9856040960 530503 33554432000 1073741824 1073778376 140736929137056 139760518929168 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9736] ppid=9718 vsize=9625040 CPUtime=1.16 cores=1,3,5,7
/proc/9721/task/9736/stat : 9736 (java) S 9718 9721 5878 0 -1 4202560 12016 0 0 0 114 2 0 0 20 0 19 0 24269795 9856040960 530503 33554432000 1073741824 1073778376 140736929137056 139759779309880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9737] ppid=9718 vsize=9625040 CPUtime=1.01 cores=1,3,5,7
/proc/9721/task/9737/stat : 9737 (java) S 9718 9721 5878 0 -1 4202560 7336 0 0 0 99 2 0 0 20 0 19 0 24269795 9856040960 530503 33554432000 1073741824 1073778376 140736929137056 139759778257336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9738] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9738/stat : 9738 (java) S 9718 9721 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24269795 9856040960 530503 33554432000 1073741824 1073778376 140736929137056 139759777204472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9739] ppid=9718 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/9721/task/9739/stat : 9739 (java) S 9718 9721 5878 0 -1 4202560 103 0 0 0 27 43 0 0 20 0 19 0 24269795 9856040960 530503 33554432000 1073741824 1073778376 140736929137056 139759776152136 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9740] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9740/stat : 9740 (java) S 9718 9721 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24270003 9856040960 530503 33554432000 1073741824 1073778376 140736929137056 139759775098408 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1786.47
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.9 s]
/proc/loadavg: 2.33 2.34 2.28 3/213 9873
/proc/meminfo: memFree=24784300/32872528 swapFree=1590032/1720848
[pid=9721] ppid=9718 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/9721/stat : 9721 (java) S 9718 9721 5878 0 -1 4202496 27520 0 1 0 179900 108 0 0 20 0 19 0 24269789 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 140736929128192 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9721/statm: 2406260 534599 2286 9 0 2396937 0
[pid=9721/tid=9723] ppid=9718 vsize=9625040 CPUtime=1790.58 cores=1,3,5,7
/proc/9721/task/9723/stat : 9723 (java) R 9718 9721 5878 0 -1 4202560 3867 0 1 0 179007 51 0 0 20 0 19 0 24269790 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760697863856 139760535156416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9721/tid=9724] ppid=9718 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/9721/task/9724/stat : 9724 (java) S 9718 9721 5878 0 -1 4202560 170 0 0 0 17 3 0 0 20 0 19 0 24269791 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760659364776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9725] ppid=9718 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/9721/task/9725/stat : 9725 (java) S 9718 9721 5878 0 -1 4202560 230 0 0 0 27 6 0 0 20 0 19 0 24269791 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760658312232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9726] ppid=9718 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/9721/task/9726/stat : 9726 (java) S 9718 9721 5878 0 -1 4202560 212 0 0 0 18 5 0 0 20 0 19 0 24269791 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760657259176 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9727] ppid=9718 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/9721/task/9727/stat : 9727 (java) S 9718 9721 5878 0 -1 4202560 324 0 0 0 33 9 0 0 20 0 19 0 24269791 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760656206632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9728] ppid=9718 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/9721/task/9728/stat : 9728 (java) S 9718 9721 5878 0 -1 4202560 253 0 0 0 23 5 0 0 20 0 19 0 24269791 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760655153576 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9729] ppid=9718 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/9721/task/9729/stat : 9729 (java) S 9718 9721 5878 0 -1 4202560 236 0 0 0 15 4 0 0 20 0 19 0 24269791 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760654101032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9730] ppid=9718 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/9721/task/9730/stat : 9730 (java) S 9718 9721 5878 0 -1 4202560 294 0 0 0 16 4 0 0 20 0 19 0 24269791 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760653047976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9731] ppid=9718 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/9721/task/9731/stat : 9731 (java) S 9718 9721 5878 0 -1 4202560 195 0 0 0 18 5 0 0 20 0 19 0 24269791 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760534284584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9721/tid=9732] ppid=9718 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/9721/task/9732/stat : 9732 (java) S 9718 9721 5878 0 -1 4202560 1023 0 0 0 0 2 0 0 20 0 19 0 24269792 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760522087272 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9733] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9733/stat : 9733 (java) S 9718 9721 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24269793 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760521033592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9734] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9734/stat : 9734 (java) S 9718 9721 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24269793 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760519980424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9735] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9735/stat : 9735 (java) S 9718 9721 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24269795 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760518929168 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9736] ppid=9718 vsize=9625040 CPUtime=1.16 cores=1,3,5,7
/proc/9721/task/9736/stat : 9736 (java) S 9718 9721 5878 0 -1 4202560 12016 0 0 0 114 2 0 0 20 0 19 0 24269795 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139759779309880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9737] ppid=9718 vsize=9625040 CPUtime=1.01 cores=1,3,5,7
/proc/9721/task/9737/stat : 9737 (java) S 9718 9721 5878 0 -1 4202560 7336 0 0 0 99 2 0 0 20 0 19 0 24269795 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139759778257336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9738] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9738/stat : 9738 (java) S 9718 9721 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24269795 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139759777204472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9739] ppid=9718 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/9721/task/9739/stat : 9739 (java) S 9718 9721 5878 0 -1 4202560 103 0 0 0 28 43 0 0 20 0 19 0 24269795 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139759776152136 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9740] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9740/stat : 9740 (java) S 9718 9721 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24270003 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139759775098408 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 9721 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1795.9 s]
/proc/loadavg: 2.33 2.34 2.28 3/213 9873
/proc/meminfo: memFree=24784300/32872528 swapFree=1590032/1720848
[pid=9721] ppid=9718 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/9721/stat : 9721 (java) S 9718 9721 5878 0 -1 4202496 27520 0 1 0 179900 108 0 0 20 0 19 0 24269789 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 140736929128192 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9721/statm: 2406260 534599 2286 9 0 2396937 0
[pid=9721/tid=9723] ppid=9718 vsize=9625040 CPUtime=1790.58 cores=1,3,5,7
/proc/9721/task/9723/stat : 9723 (java) R 9718 9721 5878 0 -1 4202560 3867 0 1 0 179007 51 0 0 20 0 19 0 24269790 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760697863856 139760535156416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9721/tid=9724] ppid=9718 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/9721/task/9724/stat : 9724 (java) S 9718 9721 5878 0 -1 4202560 170 0 0 0 17 3 0 0 20 0 19 0 24269791 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760659364776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9725] ppid=9718 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/9721/task/9725/stat : 9725 (java) S 9718 9721 5878 0 -1 4202560 230 0 0 0 27 6 0 0 20 0 19 0 24269791 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760658312232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9726] ppid=9718 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/9721/task/9726/stat : 9726 (java) S 9718 9721 5878 0 -1 4202560 212 0 0 0 18 5 0 0 20 0 19 0 24269791 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760657259176 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9727] ppid=9718 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/9721/task/9727/stat : 9727 (java) S 9718 9721 5878 0 -1 4202560 324 0 0 0 33 9 0 0 20 0 19 0 24269791 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760656206632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9728] ppid=9718 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/9721/task/9728/stat : 9728 (java) S 9718 9721 5878 0 -1 4202560 253 0 0 0 23 5 0 0 20 0 19 0 24269791 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760655153576 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9729] ppid=9718 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/9721/task/9729/stat : 9729 (java) S 9718 9721 5878 0 -1 4202560 236 0 0 0 15 4 0 0 20 0 19 0 24269791 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760654101032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9730] ppid=9718 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/9721/task/9730/stat : 9730 (java) S 9718 9721 5878 0 -1 4202560 294 0 0 0 16 4 0 0 20 0 19 0 24269791 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760653047976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9731] ppid=9718 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/9721/task/9731/stat : 9731 (java) S 9718 9721 5878 0 -1 4202560 195 0 0 0 18 5 0 0 20 0 19 0 24269791 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760534284584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9721/tid=9732] ppid=9718 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/9721/task/9732/stat : 9732 (java) S 9718 9721 5878 0 -1 4202560 1023 0 0 0 0 2 0 0 20 0 19 0 24269792 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760522087272 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9733] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9733/stat : 9733 (java) S 9718 9721 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24269793 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760521033592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9734] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9734/stat : 9734 (java) S 9718 9721 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24269793 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760519980424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9735] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9735/stat : 9735 (java) S 9718 9721 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24269795 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139760518929168 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9721/tid=9736] ppid=9718 vsize=9625040 CPUtime=1.16 cores=1,3,5,7
/proc/9721/task/9736/stat : 9736 (java) S 9718 9721 5878 0 -1 4202560 12016 0 0 0 114 2 0 0 20 0 19 0 24269795 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139759779309880 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9737] ppid=9718 vsize=9625040 CPUtime=1.01 cores=1,3,5,7
/proc/9721/task/9737/stat : 9737 (java) S 9718 9721 5878 0 -1 4202560 7336 0 0 0 99 2 0 0 20 0 19 0 24269795 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139759778257336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9738] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9738/stat : 9738 (java) S 9718 9721 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24269795 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139759777204472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9721/tid=9739] ppid=9718 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/9721/task/9739/stat : 9739 (java) S 9718 9721 5878 0 -1 4202560 103 0 0 0 28 43 0 0 20 0 19 0 24269795 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139759776152136 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9721/tid=9740] ppid=9718 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9721/task/9740/stat : 9740 (java) S 9718 9721 5878 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24270003 9856040960 534599 33554432000 1073741824 1073778376 140736929137056 139759775098408 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1795.94
CPU time (s): 1800.08
CPU user time (s): 1799
CPU system time (s): 1.08
CPU usage (%): 100.23
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.34
system time used= 1.56076
maximum resident set size= 2144652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27557
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38192
involuntary context switches= 2866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4611 second user time and 11.4753 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-18 05:56:55
IDJOB=4101277
IDBENCH=1722
IDSOLVER=2546
FILE ID=node120/4101277-1466222214
RUNJOBID= node120-1466206086-5895
PBS_JOBID= 19918157
Free space on /tmp= 71704 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-greenbeb.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101277-1466222214/watcher-4101277-1466222214 -o /tmp/evaluation-result-4101277-1466222214/solver-4101277-1466222214 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466206086-5895 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4101277-1466222214.opb

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

MD5SUM BENCH= 7808a83c255339d45cbd36765fa322a9
RANDOM SEED=1996356339

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:        26637784 kB
Buffers:          105224 kB
Cached:           245336 kB
SwapCached:         1812 kB
Active:          3501220 kB
Inactive:         257852 kB
Active(anon):    3409644 kB
Inactive(anon):     1244 kB
Active(file):      91576 kB
Inactive(file):   256608 kB
Unevictable:     1720848 kB
Mlocked:         1590032 kB
SwapTotal:      67108856 kB
SwapFree:       67099492 kB
Dirty:             10040 kB
Writeback:            36 kB
AnonPages:       5124636 kB
Mapped:            15596 kB
Shmem:                 0 kB
Slab:             614296 kB
SReclaimable:      57796 kB
SUnreclaim:       556500 kB
KernelStack:        1632 kB
PageTables:        14572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5525712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3491840 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= 71716 MiB
End job on node120 at 2016-06-18 06:26:51