Trace number 4103900

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.05 1796.34

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-pp08a.opb
MD5SUMff5b6f1c6eab20bc880408fc770c13e2
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10946196156
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5344
Total number of constraints136
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 constraints136
Minimum length of a constraint31
Maximum length of a constraint240
Number of terms in the objective function 3424
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 180407058264
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 180407058264
Number of bits of the biggest sum of numbers38
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.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-4103900-1466254499.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.56/0.32	c ... done. Wall clock time 0.202s.
0.56/0.32	c declared #vars     5344
0.56/0.32	c #constraints  200
0.56/0.32	c constraints type 
0.56/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 200
0.56/0.32	c 200 constraints processed.
0.56/0.32	c objective function length is 3424 literals
1.47/0.79	c cleaning 2492 clauses out of 5000 with flag 10866/5000
2.14/1.32	c cleaning 4240 clauses out of 8508 with flag 22866/11000
2.94/2.14	c cleaning 5615 clauses out of 11268 with flag 36866/18000
4.19/3.31	c cleaning 6807 clauses out of 13653 with flag 52866/26000
5.70/4.80	c cleaning 7904 clauses out of 15846 with flag 70866/35000
7.40/6.58	c cleaning 8950 clauses out of 17942 with flag 90866/45000
9.60/8.76	c cleaning 9975 clauses out of 19992 with flag 112866/56000
12.12/11.20	c cleaning 10990 clauses out of 22017 with flag 136866/68000
14.82/13.92	c cleaning 11995 clauses out of 24027 with flag 162866/81000
18.26/17.32	c cleaning 12997 clauses out of 26032 with flag 190866/95000
21.86/20.96	c cleaning 13993 clauses out of 28035 with flag 220866/110000
26.31/25.38	c cleaning 14996 clauses out of 30042 with flag 252866/126000
31.20/30.23	c cleaning 16004 clauses out of 32046 with flag 286866/143000
37.12/36.10	c cleaning 17000 clauses out of 34042 with flag 322866/161000
39.02/38.09	c cleaning 18019 clauses out of 36043 with flag 364351/180001
42.02/41.01	c cleaning 19009 clauses out of 38023 with flag 405925/200000
45.24/44.29	c cleaning 20005 clauses out of 40014 with flag 449557/221000
48.84/47.86	c cleaning 21001 clauses out of 42009 with flag 495313/243000
52.85/51.88	c cleaning 22002 clauses out of 44008 with flag 543111/266000
57.35/56.37	c cleaning 22999 clauses out of 46007 with flag 592993/290001
62.35/61.37	c cleaning 24001 clauses out of 48008 with flag 644946/315001
67.72/66.67	c cleaning 25000 clauses out of 50006 with flag 699045/341000
73.73/72.64	c cleaning 26000 clauses out of 52006 with flag 755118/368000
80.23/79.19	c cleaning 27001 clauses out of 54007 with flag 813392/396001
87.23/86.15	c cleaning 28002 clauses out of 56005 with flag 873704/425000
95.03/93.83	c cleaning 29002 clauses out of 58004 with flag 936164/455001
103.13/101.99	c cleaning 29997 clauses out of 60001 with flag 1000765/486000
111.73/110.57	c cleaning 31003 clauses out of 62005 with flag 1065772/518001
121.73/120.51	c cleaning 31999 clauses out of 64002 with flag 1131773/551001
132.41/131.19	c cleaning 33000 clauses out of 66003 with flag 1199773/585001
143.52/142.28	c cleaning 34002 clauses out of 68003 with flag 1269776/620001
156.32/155.03	c cleaning 34996 clauses out of 70001 with flag 1341778/656001
169.22/167.89	c cleaning 36003 clauses out of 72005 with flag 1415781/693001
183.12/181.76	c cleaning 36999 clauses out of 74002 with flag 1491783/731001
199.50/198.04	c cleaning 37996 clauses out of 76003 with flag 1569785/770001
214.59/213.15	c cleaning 38997 clauses out of 78007 with flag 1649790/810001
230.97/229.42	c cleaning 40003 clauses out of 80010 with flag 1731806/851001
248.41/246.90	c cleaning 40998 clauses out of 82007 with flag 1815813/893001
270.03/268.35	c cleaning 42005 clauses out of 84009 with flag 1901822/936001
294.64/292.98	c cleaning 42999 clauses out of 86004 with flag 1989824/980001
316.15/314.44	c cleaning 43999 clauses out of 88005 with flag 2079824/1025001
337.75/336.03	c cleaning 45001 clauses out of 90006 with flag 2171825/1071001
361.95/360.26	c cleaning 45997 clauses out of 92005 with flag 2265833/1118001
388.40/386.66	c cleaning 46999 clauses out of 94008 with flag 2361833/1166001
418.26/416.44	c cleaning 48003 clauses out of 96009 with flag 2459841/1215001
449.69/447.75	c cleaning 49000 clauses out of 98006 with flag 2559842/1265001
484.16/482.12	c cleaning 49998 clauses out of 100006 with flag 2661842/1316001
521.29/519.15	c cleaning 51004 clauses out of 102008 with flag 2765842/1368001
561.58/559.34	c cleaning 52000 clauses out of 104004 with flag 2871842/1421001
600.84/598.57	c cleaning 52996 clauses out of 106004 with flag 2979842/1475001
637.93/635.60	c cleaning 54003 clauses out of 108008 with flag 3089842/1530001
676.25/673.91	c cleaning 54995 clauses out of 110005 with flag 3201842/1586001
717.11/714.73	c cleaning 56001 clauses out of 112010 with flag 3315842/1643001
762.85/760.46	c cleaning 57000 clauses out of 114009 with flag 3431842/1701001
812.24/809.84	c cleaning 58001 clauses out of 116009 with flag 3549842/1760001
862.89/860.43	c cleaning 58998 clauses out of 118008 with flag 3669842/1820001
910.33/907.88	c cleaning 60002 clauses out of 120010 with flag 3791842/1881001
963.94/961.37	c cleaning 61002 clauses out of 122008 with flag 3915842/1943001
1018.24/1015.55	c cleaning 61999 clauses out of 124006 with flag 4041842/2006001
1072.19/1069.36	c cleaning 62998 clauses out of 126007 with flag 4169842/2070001
1134.23/1131.26	c cleaning 64003 clauses out of 128009 with flag 4299842/2135001
1194.76/1191.63	c cleaning 64997 clauses out of 130006 with flag 4431842/2201001
1267.58/1264.37	c cleaning 66002 clauses out of 132009 with flag 4565842/2268001
1343.43/1340.08	c cleaning 66998 clauses out of 134007 with flag 4701842/2336001
1422.70/1419.20	c cleaning 68000 clauses out of 136009 with flag 4839842/2405001
1501.20/1497.63	c cleaning 69002 clauses out of 138009 with flag 4979842/2475001
1577.82/1574.25	c cleaning 70003 clauses out of 140007 with flag 5121842/2546001
1652.84/1649.24	c cleaning 70995 clauses out of 142004 with flag 5265842/2618001
1734.27/1730.65	c cleaning 72003 clauses out of 144009 with flag 5411842/2691001
1800.05/1796.31	c starts		: 6593
1800.05/1796.31	c conflicts		: 2757479
1800.05/1796.31	c decisions		: 3525491
1800.05/1796.31	c propagations		: 16723134
1800.05/1796.31	c inspects		: 36451397641
1800.05/1796.31	c shortcuts		: 0
1800.05/1796.31	c learnt literals	: 0
1800.05/1796.31	c learnt binary clauses	: 0
1800.05/1796.31	c learnt ternary clauses	: 0
1800.05/1796.31	c learnt constraints	: 2757479
1800.05/1796.31	c ignored constraints	: 0
1800.05/1796.31	c root simplifications	: 0
1800.05/1796.31	c removed literals (reason simplification)	: 0
1800.05/1796.31	c reason swapping (by a shorter reason)	: 0
1800.05/1796.31	c Calls to reduceDB	: 69
1800.05/1796.31	c Number of update (reduction) of LBD	: 11166
1800.05/1796.31	c Imported unit clauses	: 0
1800.05/1796.31	c number of reductions to clauses (during analyze)	: 0
1800.05/1796.31	c number of learned constraints concerned by reduction	: 0
1800.05/1796.31	c number of learning phase by resolution	: 0
1800.05/1796.31	c number of learning phase by cutting planes	: 0
1800.05/1796.31	c speed (assignments/second)	: 9311.50328653398
1800.05/1796.31	c non guided choices	20233
1800.05/1796.31	c timeout
1800.05/1796.33	c learnt constraints type 
1800.05/1796.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 138485
1800.05/1796.34	s UNKNOWN
1800.05/1796.34	c Total wall clock time (in seconds): 1796.222

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-4103900-1466254499/watcher-4103900-1466254499 -o /tmp/evaluation-result-4103900-1466254499/solver-4103900-1466254499 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466241833-6932 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103900-1466254499.opb 

pid=8988
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.22 2.27 2.26 3/194 8991
/proc/meminfo: memFree=29988468/32872528 swapFree=1497824/1644992
[pid=8991] ppid=8988 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/8991/stat : 8991 (java) D 8988 8991 6916 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 27496767 2560000 46 33554432000 1073741824 1073778376 140735244475088 140735244472216 259103223079 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/8991/statm: 625 46 37 9 0 29 0

[startup+0.10006 s]
/proc/loadavg: 2.22 2.27 2.26 3/194 8991
/proc/meminfo: memFree=29988468/32872528 swapFree=1497824/1644992
[pid=8991] ppid=8988 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/8991/stat : 8991 (java) S 8988 8991 6916 0 -1 4202496 4396 0 1 0 8 1 0 0 20 0 18 0 27496767 9787879424 6019 33554432000 1073741824 1073778376 140735244475088 140735244466224 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8991/statm: 2389619 6019 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200219 s]
/proc/loadavg: 2.22 2.27 2.26 3/194 8991
/proc/meminfo: memFree=29988468/32872528 swapFree=1497824/1644992
[pid=8991] ppid=8988 vsize=9558476 CPUtime=0.3 cores=0,2,4,6
/proc/8991/stat : 8991 (java) S 8988 8991 6916 0 -1 4202496 5165 0 1 0 29 1 0 0 20 0 18 0 27496767 9787879424 7151 33554432000 1073741824 1073778376 140735244475088 140735244466224 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8991/statm: 2389619 7151 2221 9 0 2380296 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476

[startup+0.300223 s]
/proc/loadavg: 2.22 2.27 2.26 3/194 8991
/proc/meminfo: memFree=29988468/32872528 swapFree=1497824/1644992
[pid=8991] ppid=8988 vsize=9558476 CPUtime=0.56 cores=0,2,4,6
/proc/8991/stat : 8991 (java) S 8988 8991 6916 0 -1 4202496 9415 0 1 0 54 2 0 0 20 0 18 0 27496767 9787879424 12321 33554432000 1073741824 1073778376 140735244475088 140735244466224 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8991/statm: 2389619 12321 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9558476

[startup+0.700176 s]
/proc/loadavg: 2.22 2.27 2.26 3/194 8991
/proc/meminfo: memFree=29988468/32872528 swapFree=1497824/1644992
[pid=8991] ppid=8988 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/8991/stat : 8991 (java) S 8988 8991 6916 0 -1 4202496 10669 0 1 0 145 2 0 0 20 0 19 0 27496767 9856040960 14987 33554432000 1073741824 1073778376 140735244475088 140735244466224 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8991/statm: 2406260 14987 2260 9 0 2396937 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9625040

[startup+1.50077 s]
/proc/loadavg: 2.22 2.27 2.26 3/213 9010
/proc/meminfo: memFree=29928728/32872528 swapFree=1497824/1644992
[pid=8991] ppid=8988 vsize=9625040 CPUtime=2.34 cores=0,2,4,6
/proc/8991/stat : 8991 (java) S 8988 8991 6916 0 -1 4202496 10685 0 1 0 231 3 0 0 20 0 19 0 27496767 9856040960 18578 33554432000 1073741824 1073778376 140735244475088 140735244466224 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8991/statm: 2406260 18578 2266 9 0 2396937 0
[pid=8991/tid=8993] ppid=8988 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/8991/task/8993/stat : 8993 (java) R 8988 8991 6916 0 -1 4202560 2423 0 1 0 144 1 0 0 20 0 19 0 27496768 9856040960 18578 33554432000 1073741824 1073778376 140735244475088 140337780133600 140337604132076 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8991/tid=8994] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/8994/stat : 8994 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 18578 33554432000 1073741824 1073778376 140735244475088 140337741633704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=8995] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/8995/stat : 8995 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 18578 33554432000 1073741824 1073778376 140735244475088 140337740581160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=8996] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/8996/stat : 8996 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 18578 33554432000 1073741824 1073778376 140735244475088 140337739528616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8991/tid=8997] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/8997/stat : 8997 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 18578 33554432000 1073741824 1073778376 140735244475088 140337738476072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8991/tid=8998] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/8998/stat : 8998 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 18578 33554432000 1073741824 1073778376 140735244475088 140337737423528 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=8999] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/8999/stat : 8999 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 18578 33554432000 1073741824 1073778376 140735244475088 140337736370984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8991/tid=9000] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9000/stat : 9000 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 18578 33554432000 1073741824 1073778376 140735244475088 140337735318440 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9001] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9001/stat : 9001 (java) S 8988 8991 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 18578 33554432000 1073741824 1073778376 140735244475088 140337734265896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9002] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9002/stat : 9002 (java) S 8988 8991 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27496770 9856040960 18578 33554432000 1073741824 1073778376 140735244475088 140337603405928 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9003] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9003/stat : 9003 (java) S 8988 8991 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27496771 9856040960 18578 33554432000 1073741824 1073778376 140735244475088 140337602352248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9004] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9004/stat : 9004 (java) S 8988 8991 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27496771 9856040960 18578 33554432000 1073741824 1073778376 140735244475088 140337601299592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=9005] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9005/stat : 9005 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496773 9856040960 18578 33554432000 1073741824 1073778376 140735244475088 140337600248336 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9006] ppid=8988 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/8991/task/9006/stat : 9006 (java) S 8988 8991 6916 0 -1 4202560 2693 0 0 0 40 0 0 0 20 0 19 0 27496773 9856040960 18578 33554432000 1073741824 1073778376 140735244475088 140337599195704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9007] ppid=8988 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/8991/task/9007/stat : 9007 (java) S 8988 8991 6916 0 -1 4202560 4292 0 0 0 43 0 0 0 20 0 19 0 27496773 9856040960 18578 33554432000 1073741824 1073778376 140735244475088 140337598143160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=9008] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9008/stat : 9008 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496773 9856040960 18578 33554432000 1073741824 1073778376 140735244475088 140337597090808 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=9009] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9009/stat : 9009 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496773 9856040960 18578 33554432000 1073741824 1073778376 140735244475088 140337596038472 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9010] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9010/stat : 9010 (java) S 8988 8991 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27496802 9856040960 18578 33554432000 1073741824 1073778376 140735244475088 140337594983208 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 9625040

[startup+3.1008 s]
/proc/loadavg: 2.22 2.27 2.26 3/213 9010
/proc/meminfo: memFree=29891120/32872528 swapFree=1497824/1644992
[pid=8991] ppid=8988 vsize=9625040 CPUtime=3.95 cores=0,2,4,6
/proc/8991/stat : 8991 (java) S 8988 8991 6916 0 -1 4202496 10714 0 1 0 391 4 0 0 20 0 19 0 27496767 9856040960 32914 33554432000 1073741824 1073778376 140735244475088 140735244466224 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8991/statm: 2406260 32914 2266 9 0 2396937 0
[pid=8991/tid=8993] ppid=8988 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/8991/task/8993/stat : 8993 (java) R 8988 8991 6916 0 -1 4202560 2452 0 1 0 303 2 0 0 20 0 19 0 27496768 9856040960 32914 33554432000 1073741824 1073778376 140735244475088 140337780133600 140337604131753 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8991/tid=8994] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/8994/stat : 8994 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 32914 33554432000 1073741824 1073778376 140735244475088 140337741633704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=8995] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/8995/stat : 8995 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 32914 33554432000 1073741824 1073778376 140735244475088 140337740581160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=8996] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/8996/stat : 8996 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 32914 33554432000 1073741824 1073778376 140735244475088 140337739528616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8991/tid=8997] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/8997/stat : 8997 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 32914 33554432000 1073741824 1073778376 140735244475088 140337738476072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8991/tid=8998] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/8998/stat : 8998 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 32914 33554432000 1073741824 1073778376 140735244475088 140337737423528 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=8999] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/8999/stat : 8999 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 32914 33554432000 1073741824 1073778376 140735244475088 140337736370984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8991/tid=9000] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9000/stat : 9000 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 32914 33554432000 1073741824 1073778376 140735244475088 140337735318440 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9001] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9001/stat : 9001 (java) S 8988 8991 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 32914 33554432000 1073741824 1073778376 140735244475088 140337734265896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9002] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9002/stat : 9002 (java) S 8988 8991 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27496770 9856040960 32914 33554432000 1073741824 1073778376 140735244475088 140337603405928 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9003] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9003/stat : 9003 (java) S 8988 8991 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27496771 9856040960 32914 33554432000 1073741824 1073778376 140735244475088 140337602352248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9004] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9004/stat : 9004 (java) S 8988 8991 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27496771 9856040960 32914 33554432000 1073741824 1073778376 140735244475088 140337601299592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=9005] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9005/stat : 9005 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496773 9856040960 32914 33554432000 1073741824 1073778376 140735244475088 140337600248336 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9006] ppid=8988 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/8991/task/9006/stat : 9006 (java) S 8988 8991 6916 0 -1 4202560 2693 0 0 0 41 0 0 0 20 0 19 0 27496773 9856040960 32914 33554432000 1073741824 1073778376 140735244475088 140337599195704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9007] ppid=8988 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/8991/task/9007/stat : 9007 (java) S 8988 8991 6916 0 -1 4202560 4292 0 0 0 44 0 0 0 20 0 19 0 27496773 9856040960 32914 33554432000 1073741824 1073778376 140735244475088 140337598143160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=9008] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9008/stat : 9008 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496773 9856040960 32914 33554432000 1073741824 1073778376 140735244475088 140337597090808 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=9009] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9009/stat : 9009 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496773 9856040960 32914 33554432000 1073741824 1073778376 140735244475088 140337596038472 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9010] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9010/stat : 9010 (java) S 8988 8991 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27496802 9856040960 32914 33554432000 1073741824 1073778376 140735244475088 140337594983208 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 9625040

[startup+6.30086 s]
/proc/loadavg: 2.20 2.27 2.26 3/213 9010
/proc/meminfo: memFree=29823168/32872528 swapFree=1497824/1644992
[pid=8991] ppid=8988 vsize=9625040 CPUtime=7.2 cores=0,2,4,6
/proc/8991/stat : 8991 (java) S 8988 8991 6916 0 -1 4202496 10762 0 1 0 715 5 0 0 20 0 19 0 27496767 9856040960 42129 33554432000 1073741824 1073778376 140735244475088 140735244466224 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8991/statm: 2406260 42129 2280 9 0 2396937 0
[pid=8991/tid=8993] ppid=8988 vsize=9625040 CPUtime=6.23 cores=0,2,4,6
/proc/8991/task/8993/stat : 8993 (java) R 8988 8991 6916 0 -1 4202560 2474 0 1 0 621 2 0 0 20 0 19 0 27496768 9856040960 42129 33554432000 1073741824 1073778376 140735244475088 140337780133584 140337604082272 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8991/tid=8994] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/8994/stat : 8994 (java) S 8988 8991 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 42129 33554432000 1073741824 1073778376 140735244475088 140337741633704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=8995] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/8995/stat : 8995 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 42129 33554432000 1073741824 1073778376 140735244475088 140337740581160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=8996] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/8996/stat : 8996 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 42129 33554432000 1073741824 1073778376 140735244475088 140337739528616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8991/tid=8997] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/8997/stat : 8997 (java) S 8988 8991 6916 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 42129 33554432000 1073741824 1073778376 140735244475088 140337738476072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8991/tid=8998] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/8998/stat : 8998 (java) S 8988 8991 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 42129 33554432000 1073741824 1073778376 140735244475088 140337737423528 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=8999] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/8999/stat : 8999 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 42129 33554432000 1073741824 1073778376 140735244475088 140337736370984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8991/tid=9000] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9000/stat : 9000 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 42129 33554432000 1073741824 1073778376 140735244475088 140337735318440 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9001] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9001/stat : 9001 (java) S 8988 8991 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27496769 9856040960 42129 33554432000 1073741824 1073778376 140735244475088 140337734265896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9002] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9002/stat : 9002 (java) S 8988 8991 6916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 27496770 9856040960 42129 33554432000 1073741824 1073778376 140735244475088 140337603405928 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9003] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9003/stat : 9003 (java) S 8988 8991 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27496771 9856040960 42129 33554432000 1073741824 1073778376 140735244475088 140337602352248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9004] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9004/stat : 9004 (java) S 8988 8991 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27496771 9856040960 42129 33554432000 1073741824 1073778376 140735244475088 140337601299592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9005] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9005/stat : 9005 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496773 9856040960 42129 33554432000 1073741824 1073778376 140735244475088 140337600248336 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9006] ppid=8988 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/8991/task/9006/stat : 9006 (java) S 8988 8991 6916 0 -1 4202560 2693 0 0 0 44 0 0 0 20 0 19 0 27496773 9856040960 42129 33554432000 1073741824 1073778376 140735244475088 140337599195704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9007] ppid=8988 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/8991/task/9007/stat : 9007 (java) S 8988 8991 6916 0 -1 4202560 4292 0 0 0 44 0 0 0 20 0 19 0 27496773 9856040960 42129 33554432000 1073741824 1073778376 140735244475088 140337598143160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=9008] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9008/stat : 9008 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496773 9856040960 42129 33554432000 1073741824 1073778376 140735244475088 140337597090808 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=9009] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9009/stat : 9009 (java) S 8988 8991 6916 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27496773 9856040960 42129 33554432000 1073741824 1073778376 140735244475088 140337596038472 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9010] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9010/stat : 9010 (java) S 8988 8991 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27496802 9856040960 42129 33554432000 1073741824 1073778376 140735244475088 140337594983208 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.2
Current children cumulated vsize (KiB) 9625040


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

/proc/8991/task/9010/stat : 9010 (java) S 8988 8991 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27496802 9856040960 91147 33554432000 1073741824 1073778376 140735244475088 140337594983208 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1725.97
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.41 2.29 2.21 3/213 9144
/proc/meminfo: memFree=29610336/32872528 swapFree=1497824/1644992
[pid=8991] ppid=8988 vsize=9625040 CPUtime=1786.04 cores=0,2,4,6
/proc/8991/stat : 8991 (java) S 8988 8991 6916 0 -1 4202496 12956 0 1 0 178525 79 0 0 20 0 19 0 27496767 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140735244466224 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8991/statm: 2406260 91007 2289 9 0 2396937 0
[pid=8991/tid=8993] ppid=8988 vsize=9625040 CPUtime=1775.78 cores=0,2,4,6
/proc/8991/task/8993/stat : 8993 (java) R 8988 8991 6916 0 -1 4202560 2549 0 1 0 177543 35 0 0 20 0 19 0 27496768 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337780141312 140337604131758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=8994] ppid=8988 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/8991/task/8994/stat : 8994 (java) S 8988 8991 6916 0 -1 4202560 246 0 0 0 46 4 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337741633704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=8995] ppid=8988 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/8991/task/8995/stat : 8995 (java) S 8988 8991 6916 0 -1 4202560 267 0 0 0 44 6 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337740581160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8991/tid=8996] ppid=8988 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/8991/task/8996/stat : 8996 (java) S 8988 8991 6916 0 -1 4202560 287 0 0 0 43 5 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337739528616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8991/tid=8997] ppid=8988 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/8991/task/8997/stat : 8997 (java) S 8988 8991 6916 0 -1 4202560 176 0 0 0 45 5 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337738476072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=8998] ppid=8988 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/8991/task/8998/stat : 8998 (java) S 8988 8991 6916 0 -1 4202560 131 0 0 0 41 5 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337737423528 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8991/tid=8999] ppid=8988 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/8991/task/8999/stat : 8999 (java) S 8988 8991 6916 0 -1 4202560 210 0 0 0 50 6 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337736370984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9000] ppid=8988 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/8991/task/9000/stat : 9000 (java) S 8988 8991 6916 0 -1 4202560 302 0 0 0 48 7 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337735318440 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9001] ppid=8988 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/8991/task/9001/stat : 9001 (java) S 8988 8991 6916 0 -1 4202560 263 0 0 0 47 7 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337734265896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=9002] ppid=8988 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/8991/task/9002/stat : 9002 (java) S 8988 8991 6916 0 -1 4202560 170 0 0 0 27 3 0 0 20 0 19 0 27496770 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337603405928 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9003] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9003/stat : 9003 (java) S 8988 8991 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27496771 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337602352248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9004] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9004/stat : 9004 (java) S 8988 8991 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27496771 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337601299592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9005] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9005/stat : 9005 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496773 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337600248336 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9006] ppid=8988 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/8991/task/9006/stat : 9006 (java) S 8988 8991 6916 0 -1 4202560 2696 0 0 0 46 0 0 0 20 0 19 0 27496773 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337599195704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8991/tid=9007] ppid=8988 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/8991/task/9007/stat : 9007 (java) S 8988 8991 6916 0 -1 4202560 4292 0 0 0 44 0 0 0 20 0 19 0 27496773 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337598143160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=9008] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9008/stat : 9008 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496773 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337597090808 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=9009] ppid=8988 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/8991/task/9009/stat : 9009 (java) S 8988 8991 6916 0 -1 4202560 104 0 0 0 28 29 0 0 20 0 19 0 27496773 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337596038472 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 1 0 0
[pid=8991/tid=9010] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9010/stat : 9010 (java) S 8988 8991 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27496802 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337594983208 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1786.04
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.3 s]
/proc/loadavg: 2.38 2.29 2.21 3/213 9144
/proc/meminfo: memFree=29604500/32872528 swapFree=1497824/1644992
[pid=8991] ppid=8988 vsize=9625040 CPUtime=1800.05 cores=0,2,4,6
/proc/8991/stat : 8991 (java) S 8988 8991 6916 0 -1 4202496 12956 0 1 0 179925 80 0 0 20 0 19 0 27496767 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140735244466224 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8991/statm: 2406260 91007 2289 9 0 2396937 0
[pid=8991/tid=8993] ppid=8988 vsize=9625040 CPUtime=1789.75 cores=0,2,4,6
/proc/8991/task/8993/stat : 8993 (java) R 8988 8991 6916 0 -1 4202560 2549 0 1 0 178939 36 0 0 20 0 19 0 27496768 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337780141312 140337604131753 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=8994] ppid=8988 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/8991/task/8994/stat : 8994 (java) S 8988 8991 6916 0 -1 4202560 246 0 0 0 46 4 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337741633704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=8995] ppid=8988 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/8991/task/8995/stat : 8995 (java) S 8988 8991 6916 0 -1 4202560 267 0 0 0 44 6 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337740581160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8991/tid=8996] ppid=8988 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/8991/task/8996/stat : 8996 (java) S 8988 8991 6916 0 -1 4202560 287 0 0 0 43 5 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337739528616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8991/tid=8997] ppid=8988 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/8991/task/8997/stat : 8997 (java) S 8988 8991 6916 0 -1 4202560 176 0 0 0 45 5 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337738476072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=8998] ppid=8988 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/8991/task/8998/stat : 8998 (java) S 8988 8991 6916 0 -1 4202560 131 0 0 0 41 5 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337737423528 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8991/tid=8999] ppid=8988 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/8991/task/8999/stat : 8999 (java) S 8988 8991 6916 0 -1 4202560 210 0 0 0 50 6 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337736370984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9000] ppid=8988 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/8991/task/9000/stat : 9000 (java) S 8988 8991 6916 0 -1 4202560 302 0 0 0 48 7 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337735318440 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9001] ppid=8988 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/8991/task/9001/stat : 9001 (java) S 8988 8991 6916 0 -1 4202560 263 0 0 0 47 7 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337734265896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=9002] ppid=8988 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/8991/task/9002/stat : 9002 (java) S 8988 8991 6916 0 -1 4202560 170 0 0 0 27 3 0 0 20 0 19 0 27496770 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337603405928 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9003] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9003/stat : 9003 (java) S 8988 8991 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27496771 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337602352248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9004] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9004/stat : 9004 (java) S 8988 8991 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27496771 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337601299592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9005] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9005/stat : 9005 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496773 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337600248336 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9006] ppid=8988 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/8991/task/9006/stat : 9006 (java) S 8988 8991 6916 0 -1 4202560 2696 0 0 0 46 0 0 0 20 0 19 0 27496773 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337599195704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8991/tid=9007] ppid=8988 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/8991/task/9007/stat : 9007 (java) S 8988 8991 6916 0 -1 4202560 4292 0 0 0 44 0 0 0 20 0 19 0 27496773 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337598143160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=9008] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9008/stat : 9008 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496773 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337597090808 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=9009] ppid=8988 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/8991/task/9009/stat : 9009 (java) S 8988 8991 6916 0 -1 4202560 104 0 0 0 28 29 0 0 20 0 19 0 27496773 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337596038472 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 1 0 0
[pid=8991/tid=9010] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9010/stat : 9010 (java) S 8988 8991 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27496802 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337594983208 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 8991 sig 9
??? kill -8991 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1796.3 s]
/proc/loadavg: 2.38 2.29 2.21 3/213 9144
/proc/meminfo: memFree=29604500/32872528 swapFree=1497824/1644992
[pid=8991] ppid=8988 vsize=9625040 CPUtime=1800.05 cores=0,2,4,6
/proc/8991/stat : 8991 (java) S 8988 8991 6916 0 -1 4202496 12956 0 1 0 179925 80 0 0 20 0 19 0 27496767 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140735244466224 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8991/statm: 2406260 91007 2289 9 0 2396937 0
[pid=8991/tid=8993] ppid=8988 vsize=9625040 CPUtime=1789.75 cores=0,2,4,6
/proc/8991/task/8993/stat : 8993 (java) R 8988 8991 6916 0 -1 4202560 2549 0 1 0 178939 36 0 0 20 0 19 0 27496768 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337780141312 140337604131753 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=8994] ppid=8988 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/8991/task/8994/stat : 8994 (java) S 8988 8991 6916 0 -1 4202560 246 0 0 0 46 4 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337741633704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=8995] ppid=8988 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/8991/task/8995/stat : 8995 (java) S 8988 8991 6916 0 -1 4202560 267 0 0 0 44 6 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337740581160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8991/tid=8996] ppid=8988 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/8991/task/8996/stat : 8996 (java) S 8988 8991 6916 0 -1 4202560 287 0 0 0 43 5 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337739528616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8991/tid=8997] ppid=8988 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/8991/task/8997/stat : 8997 (java) S 8988 8991 6916 0 -1 4202560 176 0 0 0 45 5 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337738476072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=8998] ppid=8988 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/8991/task/8998/stat : 8998 (java) S 8988 8991 6916 0 -1 4202560 131 0 0 0 41 5 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337737423528 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8991/tid=8999] ppid=8988 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/8991/task/8999/stat : 8999 (java) S 8988 8991 6916 0 -1 4202560 210 0 0 0 50 6 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337736370984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9000] ppid=8988 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/8991/task/9000/stat : 9000 (java) S 8988 8991 6916 0 -1 4202560 302 0 0 0 48 7 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337735318440 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9001] ppid=8988 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/8991/task/9001/stat : 9001 (java) S 8988 8991 6916 0 -1 4202560 263 0 0 0 47 7 0 0 20 0 19 0 27496769 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337734265896 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=9002] ppid=8988 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/8991/task/9002/stat : 9002 (java) S 8988 8991 6916 0 -1 4202560 170 0 0 0 27 3 0 0 20 0 19 0 27496770 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337603405928 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9003] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9003/stat : 9003 (java) S 8988 8991 6916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27496771 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337602352248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9004] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9004/stat : 9004 (java) S 8988 8991 6916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27496771 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337601299592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9005] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9005/stat : 9005 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496773 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337600248336 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8991/tid=9006] ppid=8988 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/8991/task/9006/stat : 9006 (java) S 8988 8991 6916 0 -1 4202560 2696 0 0 0 46 0 0 0 20 0 19 0 27496773 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337599195704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8991/tid=9007] ppid=8988 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/8991/task/9007/stat : 9007 (java) S 8988 8991 6916 0 -1 4202560 4292 0 0 0 44 0 0 0 20 0 19 0 27496773 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337598143160 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=9008] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9008/stat : 9008 (java) S 8988 8991 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27496773 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337597090808 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8991/tid=9009] ppid=8988 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/8991/task/9009/stat : 9009 (java) S 8988 8991 6916 0 -1 4202560 104 0 0 0 28 29 0 0 20 0 19 0 27496773 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337596038472 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 1 0 0
[pid=8991/tid=9010] ppid=8988 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8991/task/9010/stat : 9010 (java) S 8988 8991 6916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27496802 9856040960 91007 33554432000 1073741824 1073778376 140735244475088 140337594983208 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1796.34
CPU time (s): 1800.05
CPU user time (s): 1799.25
CPU system time (s): 0.8
CPU usage (%): 100.206
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.65
system time used= 1.27181
maximum resident set size= 501152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12997
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40314
involuntary context switches= 27120

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1855 second user time and 13.6319 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-18 14:54:59
IDJOB=4103900
IDBENCH=2499
IDSOLVER=2546
FILE ID=node124/4103900-1466254499
RUNJOBID= node124-1466241833-6932
PBS_JOBID= 19918215
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08a.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103900-1466254499/watcher-4103900-1466254499 -o /tmp/evaluation-result-4103900-1466254499/solver-4103900-1466254499 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466241833-6932 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4103900-1466254499.opb

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

MD5SUM BENCH= ff5b6f1c6eab20bc880408fc770c13e2
RANDOM SEED=1945246550

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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.54
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.791
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29988732 kB
Buffers:          138212 kB
Cached:           168312 kB
SwapCached:         3080 kB
Active:           243324 kB
Inactive:         221644 kB
Active(anon):     158164 kB
Inactive(anon):     2880 kB
Active(file):      85160 kB
Inactive(file):   218764 kB
Unevictable:     1644992 kB
Mlocked:         1497824 kB
SwapTotal:      67108856 kB
SwapFree:       67099796 kB
Dirty:               984 kB
Writeback:             4 kB
AnonPages:       1816216 kB
Mapped:            17028 kB
Shmem:                 0 kB
Slab:             624992 kB
SReclaimable:      68924 kB
SUnreclaim:       556068 kB
KernelStack:        1600 kB
PageTables:         7976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2333204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    292864 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= 71728 MiB
End job on node124 at 2016-06-18 15:24:56