Trace number 4084650

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 NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.09 1791.47

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K93.opb
MD5SUM91412677f9785e1c6465ad7d3d170f82
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1776.97
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6324
Total number of constraints6512
Number of constraints which are clauses6419
Number of constraints which are cardinality constraints (but not clauses)93
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint93
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 94
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4084650-1465284717.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  no objective function found
0.59/0.37	c ... done. Wall clock time 0.269s.
0.59/0.37	c declared #vars     6324
0.59/0.37	c #constraints  6512
0.59/0.37	c constraints type 
0.59/0.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5221
0.59/0.37	c org.sat4j.minisat.constraints.card.MinWatchCard => 93
0.59/0.37	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.59/0.37	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1196
0.59/0.37	c 6512 constraints processed.
1.78/1.18	c cleaning 2490 clauses out of 4996 with flag 23522/5002
2.66/1.95	c cleaning 4241 clauses out of 8502 with flag 58923/11000
3.56/2.84	c cleaning 5602 clauses out of 11253 with flag 106528/18000
4.67/3.94	c cleaning 6783 clauses out of 13651 with flag 160523/26001
5.89/5.11	c cleaning 7857 clauses out of 15862 with flag 222744/35000
7.18/6.44	c cleaning 8964 clauses out of 18003 with flag 289683/45001
8.59/7.89	c cleaning 9589 clauses out of 20038 with flag 351842/56000
10.28/9.54	c cleaning 10336 clauses out of 22446 with flag 419200/68000
11.98/11.26	c cleaning 11262 clauses out of 25110 with flag 489762/81001
13.99/13.21	c cleaning 11925 clauses out of 27846 with flag 570921/95000
16.18/15.43	c cleaning 12760 clauses out of 30922 with flag 658695/110001
18.38/17.68	c cleaning 13891 clauses out of 34160 with flag 750237/126000
20.98/20.25	c cleaning 14705 clauses out of 37271 with flag 853100/143002
23.88/23.12	c cleaning 15511 clauses out of 40559 with flag 961761/161000
26.60/25.87	c cleaning 16253 clauses out of 44047 with flag 1074347/180000
29.60/28.87	c cleaning 16981 clauses out of 47796 with flag 1193347/200002
32.90/32.12	c cleaning 18160 clauses out of 51812 with flag 1321803/221000
36.50/35.77	c cleaning 18982 clauses out of 55664 with flag 1464305/243012
40.30/39.52	c cleaning 20004 clauses out of 59671 with flag 1618152/266001
44.31/43.55	c cleaning 20719 clauses out of 63666 with flag 1770017/290000
48.61/47.80	c cleaning 21786 clauses out of 67947 with flag 1950308/315001
53.11/52.31	c cleaning 22737 clauses out of 72160 with flag 2122378/341000
57.91/57.16	c cleaning 23305 clauses out of 76425 with flag 2303481/368002
62.83/62.03	c cleaning 24392 clauses out of 81118 with flag 2489943/396000
68.13/67.33	c cleaning 25416 clauses out of 85728 with flag 2684589/425002
73.83/73.02	c cleaning 26414 clauses out of 90310 with flag 2900044/455000
79.73/78.97	c cleaning 27286 clauses out of 94897 with flag 3120100/486001
85.93/85.13	c cleaning 28165 clauses out of 99610 with flag 3345942/518001
92.24/91.43	c cleaning 29407 clauses out of 104444 with flag 3589297/551000
99.00/98.19	c cleaning 30081 clauses out of 109039 with flag 3837141/585002
106.41/105.53	c cleaning 31396 clauses out of 113955 with flag 4097940/620000
114.01/113.11	c cleaning 31951 clauses out of 118559 with flag 4358076/656000
121.81/120.91	c cleaning 33015 clauses out of 123610 with flag 4637722/693002
130.11/129.27	c cleaning 33954 clauses out of 128593 with flag 4940187/731000
138.65/137.70	c cleaning 34854 clauses out of 133646 with flag 5246289/770007
147.86/146.99	c cleaning 36092 clauses out of 138788 with flag 5567877/810004
157.05/156.15	c cleaning 37011 clauses out of 143693 with flag 5896314/851001
166.95/166.04	c cleaning 37829 clauses out of 148682 with flag 6246292/893002
177.23/176.26	c cleaning 38838 clauses out of 153851 with flag 6602896/936000
188.13/187.15	c cleaning 39980 clauses out of 159015 with flag 6969643/980002
200.01/199.01	c cleaning 40638 clauses out of 164033 with flag 7365302/1025000
212.11/211.19	c cleaning 42076 clauses out of 169395 with flag 7801207/1071000
224.24/223.12	c cleaning 43061 clauses out of 174319 with flag 8214506/1118000
236.95/235.88	c cleaning 43762 clauses out of 179258 with flag 8645999/1166000
250.49/249.24	c cleaning 44839 clauses out of 184496 with flag 9058765/1215000
264.38/263.16	c cleaning 46018 clauses out of 189657 with flag 9495434/1265000
278.78/277.51	c cleaning 46669 clauses out of 194641 with flag 9970878/1316002
293.77/292.36	c cleaning 48009 clauses out of 199970 with flag 10449191/1368000
309.49/307.87	c cleaning 48897 clauses out of 204960 with flag 10955906/1421000
324.99/323.39	c cleaning 49926 clauses out of 210064 with flag 11432852/1475001
341.62/339.73	c cleaning 51015 clauses out of 215139 with flag 11931921/1530002
359.42/357.51	c cleaning 51950 clauses out of 220125 with flag 12460391/1586003
377.90/375.81	c cleaning 52961 clauses out of 225172 with flag 13055462/1643000
396.95/394.86	c cleaning 53755 clauses out of 230211 with flag 13636779/1701000
416.14/414.06	c cleaning 55193 clauses out of 235456 with flag 14218183/1760000
435.73/433.57	c cleaning 56070 clauses out of 240264 with flag 14820407/1820001
456.33/454.08	c cleaning 57073 clauses out of 245195 with flag 15451412/1881002
477.33/474.96	c cleaning 58286 clauses out of 250120 with flag 16075899/1943000
498.73/496.27	c cleaning 59030 clauses out of 254834 with flag 16722268/2006000
520.22/517.77	c cleaning 60396 clauses out of 259804 with flag 17352493/2070000
544.17/541.63	c cleaning 61114 clauses out of 264408 with flag 18088448/2135000
567.86/565.28	c cleaning 62394 clauses out of 269291 with flag 18797817/2201000
592.12/589.49	c cleaning 63377 clauses out of 273897 with flag 19482599/2268000
618.28/615.52	c cleaning 64149 clauses out of 278519 with flag 20273348/2336001
644.95/642.12	c cleaning 65030 clauses out of 283370 with flag 21131960/2405002
670.40/667.43	c cleaning 66500 clauses out of 288339 with flag 21845783/2475001
699.40/696.31	c cleaning 67466 clauses out of 292838 with flag 22690662/2546000
726.70/723.50	c cleaning 68808 clauses out of 297375 with flag 23492779/2618003
755.09/751.82	c cleaning 69409 clauses out of 301563 with flag 24285996/2691000
784.85/781.55	c cleaning 70390 clauses out of 306154 with flag 25221398/2765000
814.79/811.38	c cleaning 71602 clauses out of 310764 with flag 26156694/2840000
847.17/843.60	c cleaning 72717 clauses out of 315163 with flag 27305350/2916001
879.64/876.00	c cleaning 73654 clauses out of 319444 with flag 28398588/2993000
911.73/907.91	c cleaning 74635 clauses out of 323790 with flag 29261215/3071000
945.05/941.01	c cleaning 75662 clauses out of 328155 with flag 30180137/3150000
980.46/976.32	c cleaning 76640 clauses out of 332494 with flag 31168130/3230001
1017.78/1013.44	c cleaning 77748 clauses out of 336854 with flag 32295171/3311001
1053.23/1048.76	c cleaning 78934 clauses out of 341109 with flag 33259755/3393004
1090.71/1086.04	c cleaning 80100 clauses out of 345170 with flag 34272283/3476000
1131.18/1126.34	c cleaning 80731 clauses out of 349071 with flag 35335649/3560002
1168.62/1163.62	c cleaning 81738 clauses out of 353338 with flag 36322375/3645000
1210.62/1205.55	c cleaning 83069 clauses out of 357600 with flag 37560245/3731001
1250.70/1245.46	c cleaning 83826 clauses out of 361531 with flag 38658395/3818001
1292.50/1287.05	c cleaning 84916 clauses out of 365705 with flag 39870926/3906001
1334.76/1329.11	c cleaning 86173 clauses out of 369788 with flag 41069858/3995000
1380.41/1374.54	c cleaning 87135 clauses out of 373615 with flag 42492142/4085000
1426.33/1420.21	c cleaning 88278 clauses out of 377480 with flag 44006304/4176001
1471.03/1464.76	c cleaning 89023 clauses out of 381202 with flag 45159900/4268001
1518.15/1511.62	c cleaning 90073 clauses out of 385177 with flag 46415331/4361000
1567.83/1561.08	c cleaning 90580 clauses out of 389106 with flag 47698829/4455002
1616.69/1609.56	c cleaning 92252 clauses out of 393524 with flag 49007978/4550000
1665.86/1658.41	c cleaning 93260 clauses out of 397273 with flag 50248008/4646001
1716.93/1709.07	c cleaning 94165 clauses out of 401012 with flag 51533626/4743001
1771.42/1763.09	c cleaning 95045 clauses out of 404850 with flag 52888242/4841004
1800.09/1791.40	c starts		: 41249
1800.09/1791.40	c conflicts		: 4904370
1800.09/1791.40	c decisions		: 78757500
1800.09/1791.40	c propagations		: 1816385679
1800.09/1791.40	c inspects		: 19288373875
1800.09/1791.40	c shortcuts		: 0
1800.09/1791.40	c learnt literals	: 58
1800.09/1791.40	c learnt binary clauses	: 113343
1800.09/1791.40	c learnt ternary clauses	: 122234
1800.09/1791.40	c learnt constraints	: 4904312
1800.09/1791.40	c ignored constraints	: 0
1800.09/1791.40	c root simplifications	: 0
1800.09/1791.40	c removed literals (reason simplification)	: 0
1800.09/1791.40	c reason swapping (by a shorter reason)	: 0
1800.09/1791.40	c Calls to reduceDB	: 94
1800.09/1791.40	c Number of update (reduction) of LBD	: 4151743
1800.09/1791.40	c Imported unit clauses	: 0
1800.09/1791.40	c number of reductions to clauses (during analyze)	: 0
1800.09/1791.40	c number of learned constraints concerned by reduction	: 0
1800.09/1791.40	c number of learning phase by resolution	: 0
1800.09/1791.40	c number of learning phase by cutting planes	: 0
1800.09/1791.40	c speed (assignments/second)	: 1014160.4350360464
1800.09/1791.40	c non guided choices	7229
1800.09/1791.40	c timeout
1800.09/1791.46	c learnt constraints type 
1800.09/1791.47	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 113343
1800.09/1791.47	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 259828
1800.09/1791.47	s UNKNOWN
1800.09/1791.47	c Total wall clock time (in seconds): 1791.365

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-4084650-1465284717/watcher-4084650-1465284717 -o /tmp/evaluation-result-4084650-1465284717/solver-4084650-1465284717 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465277527-11091 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084650-1465284717.opb 

pid=11951
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.36 2.27 2.20 3/194 11954
/proc/meminfo: memFree=30088128/32872528 swapFree=16080/1655368
[pid=11954] ppid=11951 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/11954/stat : 11954 (java) S 11951 11954 11074 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 110405275 98570240 977 33554432000 1073741824 1073778376 140734348158624 140734348149760 217413877821 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11954/statm: 24065 977 743 9 0 16771 0
[pid=11954/tid=11955] ppid=11951 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11955/stat : 11955 (java) R 11951 11954 11074 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 110405276 98570240 978 33554432000 1073741824 1073778376 140734348158624 140225431502376 217410520448 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100163 s]
/proc/loadavg: 2.36 2.27 2.20 3/194 11954
/proc/meminfo: memFree=30088128/32872528 swapFree=16080/1655368
[pid=11954] ppid=11951 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/11954/stat : 11954 (java) S 11951 11954 11074 0 -1 4202496 4493 0 1 0 10 1 0 0 20 0 18 0 110405275 9787879424 6123 33554432000 1073741824 1073778376 140734348158624 140734348149760 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11954/statm: 2389619 6123 2157 9 0 2380296 0
[pid=11954/tid=11955] ppid=11951 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/11954/task/11955/stat : 11955 (java) R 11951 11954 11074 0 -1 4202560 2378 0 1 0 6 1 0 0 20 0 18 0 110405276 9787879424 6123 33554432000 1073741824 1073778376 140734348158624 140225431505824 217413903629 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200281 s]
/proc/loadavg: 2.36 2.27 2.20 3/194 11954
/proc/meminfo: memFree=30088128/32872528 swapFree=16080/1655368
[pid=11954] ppid=11951 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/11954/stat : 11954 (java) S 11951 11954 11074 0 -1 4202496 5665 0 1 0 29 1 0 0 20 0 18 0 110405275 9787879424 7877 33554432000 1073741824 1073778376 140734348158624 140734348149760 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11954/statm: 2389619 7877 2221 9 0 2380296 0
[pid=11954/tid=11955] ppid=11951 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/11954/task/11955/stat : 11955 (java) R 11951 11954 11074 0 -1 4202560 2395 0 1 0 16 1 0 0 20 0 18 0 110405276 9787879424 7881 33554432000 1073741824 1073778376 140734348158624 140225431498576 140225263250432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476

[startup+0.300284 s]
/proc/loadavg: 2.36 2.27 2.20 3/194 11954
/proc/meminfo: memFree=30088128/32872528 swapFree=16080/1655368
[pid=11954] ppid=11951 vsize=9558476 CPUtime=0.59 cores=1,3,5,7
/proc/11954/stat : 11954 (java) S 11951 11954 11074 0 -1 4202496 7299 0 1 0 57 2 0 0 20 0 18 0 110405275 9787879424 10347 33554432000 1073741824 1073778376 140734348158624 140734348149760 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11954/statm: 2389619 10347 2236 9 0 2380296 0
[pid=11954/tid=11955] ppid=11951 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/11954/task/11955/stat : 11955 (java) R 11951 11954 11074 0 -1 4202560 2398 0 1 0 26 1 0 0 20 0 18 0 110405276 9787879424 10347 33554432000 1073741824 1073778376 140734348158624 140225431498576 140225263297520 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9558476

[startup+0.700322 s]
/proc/loadavg: 2.36 2.27 2.20 3/194 11954
/proc/meminfo: memFree=30088128/32872528 swapFree=16080/1655368
[pid=11954] ppid=11951 vsize=9625040 CPUtime=1.37 cores=1,3,5,7
/proc/11954/stat : 11954 (java) S 11951 11954 11074 0 -1 4202496 7836 0 1 0 135 2 0 0 20 0 19 0 110405275 9856040960 16061 33554432000 1073741824 1073778376 140734348158624 140734348149760 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11954/statm: 2406260 16061 2261 9 0 2396937 0
[pid=11954/tid=11955] ppid=11951 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/11954/task/11955/stat : 11955 (java) R 11951 11954 11074 0 -1 4202560 2420 0 1 0 66 1 0 0 20 0 19 0 110405276 9856040960 16061 33554432000 1073741824 1073778376 140734348158624 140225431507480 140225263792466 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 9625040

[startup+1.50077 s]
/proc/loadavg: 2.36 2.27 2.20 3/213 11973
/proc/meminfo: memFree=30023680/32872528 swapFree=16080/1655368
[pid=11954] ppid=11951 vsize=9625040 CPUtime=2.23 cores=1,3,5,7
/proc/11954/stat : 11954 (java) S 11951 11954 11074 0 -1 4202496 8067 0 1 0 220 3 0 0 20 0 19 0 110405275 9856040960 17092 33554432000 1073741824 1073778376 140734348158624 140734348149760 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11954/statm: 2406260 17092 2267 9 0 2396937 0
[pid=11954/tid=11955] ppid=11951 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/11954/task/11955/stat : 11955 (java) R 11951 11954 11074 0 -1 4202560 2423 0 1 0 145 2 0 0 20 0 19 0 110405276 9856040960 17092 33554432000 1073741824 1073778376 140734348158624 140225431506952 140225263896516 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11957/stat : 11957 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 17092 33554432000 1073741824 1073778376 140734348158624 140225392999208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11958] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11958/stat : 11958 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 17092 33554432000 1073741824 1073778376 140734348158624 140225391946408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11954/tid=11959] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11959/stat : 11959 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 17092 33554432000 1073741824 1073778376 140734348158624 140225390894120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11954/tid=11960] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11960/stat : 11960 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 17092 33554432000 1073741824 1073778376 140734348158624 140225389841320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11961] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11961/stat : 11961 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 17092 33554432000 1073741824 1073778376 140734348158624 140225388788008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11962] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11962/stat : 11962 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 17092 33554432000 1073741824 1073778376 140734348158624 140225387735208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11963] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11963/stat : 11963 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 17092 33554432000 1073741824 1073778376 140734348158624 140225386682920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11964] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11964/stat : 11964 (java) S 11951 11954 11074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 17092 33554432000 1073741824 1073778376 140734348158624 140225385630120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11965] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11965/stat : 11965 (java) S 11951 11954 11074 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110405278 9856040960 17092 33554432000 1073741824 1073778376 140734348158624 140225254746856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11966] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11966/stat : 11966 (java) S 11951 11954 11074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110405278 9856040960 17092 33554432000 1073741824 1073778376 140734348158624 140225253692920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11967] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11967/stat : 11967 (java) S 11951 11954 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110405278 9856040960 17092 33554432000 1073741824 1073778376 140734348158624 140225252640520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11968] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11968/stat : 11968 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405280 9856040960 17092 33554432000 1073741824 1073778376 140734348158624 140225251589008 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11969] ppid=11951 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/11954/task/11969/stat : 11969 (java) S 11951 11954 11074 0 -1 4202560 2409 0 0 0 38 0 0 0 20 0 19 0 110405280 9856040960 17092 33554432000 1073741824 1073778376 140734348158624 140225250535608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11954/tid=11970] ppid=11951 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/11954/task/11970/stat : 11970 (java) S 11951 11954 11074 0 -1 4202560 1962 0 0 0 34 0 0 0 20 0 19 0 110405280 9856040960 17092 33554432000 1073741824 1073778376 140734348158624 140225249482808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11954/tid=11971] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11971/stat : 11971 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405280 9856040960 17092 33554432000 1073741824 1073778376 140734348158624 140225248430712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11954/tid=11972] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11972/stat : 11972 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405280 9856040960 17092 33554432000 1073741824 1073778376 140734348158624 140224239758024 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11973] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11973/stat : 11973 (java) S 11951 11954 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110405314 9856040960 17092 33554432000 1073741824 1073778376 140734348158624 140224238704040 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 9625040

[startup+3.10081 s]
/proc/loadavg: 2.36 2.27 2.20 3/213 11973
/proc/meminfo: memFree=30015240/32872528 swapFree=16080/1655368
[pid=11954] ppid=11951 vsize=9625040 CPUtime=3.87 cores=1,3,5,7
/proc/11954/stat : 11954 (java) S 11951 11954 11074 0 -1 4202496 8071 0 1 0 384 3 0 0 20 0 19 0 110405275 9856040960 18628 33554432000 1073741824 1073778376 140734348158624 140734348149760 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11954/statm: 2406260 18628 2267 9 0 2396937 0
[pid=11954/tid=11955] ppid=11951 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/11954/task/11955/stat : 11955 (java) R 11951 11954 11074 0 -1 4202560 2427 0 1 0 304 2 0 0 20 0 19 0 110405276 9856040960 18628 33554432000 1073741824 1073778376 140734348158624 140225431507448 140225263826072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11957/stat : 11957 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 18628 33554432000 1073741824 1073778376 140734348158624 140225392999208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11958] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11958/stat : 11958 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 18628 33554432000 1073741824 1073778376 140734348158624 140225391946408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11954/tid=11959] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11959/stat : 11959 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 18628 33554432000 1073741824 1073778376 140734348158624 140225390894120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11954/tid=11960] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11960/stat : 11960 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 18628 33554432000 1073741824 1073778376 140734348158624 140225389841320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11961] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11961/stat : 11961 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 18628 33554432000 1073741824 1073778376 140734348158624 140225388788008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11962] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11962/stat : 11962 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 18628 33554432000 1073741824 1073778376 140734348158624 140225387735208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11963] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11963/stat : 11963 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 18628 33554432000 1073741824 1073778376 140734348158624 140225386682920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11964] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11964/stat : 11964 (java) S 11951 11954 11074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 18628 33554432000 1073741824 1073778376 140734348158624 140225385630120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11965] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11965/stat : 11965 (java) S 11951 11954 11074 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110405278 9856040960 18628 33554432000 1073741824 1073778376 140734348158624 140225254746856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11966] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11966/stat : 11966 (java) S 11951 11954 11074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110405278 9856040960 18628 33554432000 1073741824 1073778376 140734348158624 140225253692920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11967] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11967/stat : 11967 (java) S 11951 11954 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110405278 9856040960 18628 33554432000 1073741824 1073778376 140734348158624 140225252640520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11968] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11968/stat : 11968 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405280 9856040960 18628 33554432000 1073741824 1073778376 140734348158624 140225251589008 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11969] ppid=11951 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/11954/task/11969/stat : 11969 (java) S 11951 11954 11074 0 -1 4202560 2409 0 0 0 40 0 0 0 20 0 19 0 110405280 9856040960 18628 33554432000 1073741824 1073778376 140734348158624 140225250535608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11970] ppid=11951 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/11954/task/11970/stat : 11970 (java) S 11951 11954 11074 0 -1 4202560 1962 0 0 0 36 0 0 0 20 0 19 0 110405280 9856040960 18628 33554432000 1073741824 1073778376 140734348158624 140225249482808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11954/tid=11971] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11971/stat : 11971 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405280 9856040960 18628 33554432000 1073741824 1073778376 140734348158624 140225248430712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11954/tid=11972] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11972/stat : 11972 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405280 9856040960 18628 33554432000 1073741824 1073778376 140734348158624 140224239758024 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11973] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11973/stat : 11973 (java) S 11951 11954 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110405314 9856040960 18628 33554432000 1073741824 1073778376 140734348158624 140224238704040 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 9625040

[startup+6.30087 s]
/proc/loadavg: 2.33 2.26 2.20 3/213 11973
/proc/meminfo: memFree=29988164/32872528 swapFree=16080/1655368
[pid=11954] ppid=11951 vsize=9625040 CPUtime=7.08 cores=1,3,5,7
/proc/11954/stat : 11954 (java) S 11951 11954 11074 0 -1 4202496 8079 0 1 0 705 3 0 0 20 0 19 0 110405275 9856040960 21663 33554432000 1073741824 1073778376 140734348158624 140734348149760 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11954/statm: 2406260 21663 2268 9 0 2396937 0
[pid=11954/tid=11955] ppid=11951 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/11954/task/11955/stat : 11955 (java) R 11951 11954 11074 0 -1 4202560 2434 0 1 0 623 2 0 0 20 0 19 0 110405276 9856040960 21663 33554432000 1073741824 1073778376 140734348158624 140225431498432 140225263822559 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11957/stat : 11957 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 21663 33554432000 1073741824 1073778376 140734348158624 140225392999208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11958] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11958/stat : 11958 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 21663 33554432000 1073741824 1073778376 140734348158624 140225391946408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11954/tid=11959] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11959/stat : 11959 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 21663 33554432000 1073741824 1073778376 140734348158624 140225390894120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11954/tid=11960] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11960/stat : 11960 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 21663 33554432000 1073741824 1073778376 140734348158624 140225389841320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11961] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11961/stat : 11961 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 21663 33554432000 1073741824 1073778376 140734348158624 140225388788008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11962] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11962/stat : 11962 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 21663 33554432000 1073741824 1073778376 140734348158624 140225387735208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11963] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11963/stat : 11963 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 21663 33554432000 1073741824 1073778376 140734348158624 140225386682920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11964] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11964/stat : 11964 (java) S 11951 11954 11074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110405277 9856040960 21663 33554432000 1073741824 1073778376 140734348158624 140225385630120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11965] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11965/stat : 11965 (java) S 11951 11954 11074 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110405278 9856040960 21663 33554432000 1073741824 1073778376 140734348158624 140225254746856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11966] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11966/stat : 11966 (java) S 11951 11954 11074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110405278 9856040960 21663 33554432000 1073741824 1073778376 140734348158624 140225253692920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11967] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11967/stat : 11967 (java) S 11951 11954 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110405278 9856040960 21663 33554432000 1073741824 1073778376 140734348158624 140225252640520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11968] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11968/stat : 11968 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405280 9856040960 21663 33554432000 1073741824 1073778376 140734348158624 140225251589008 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11969] ppid=11951 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/11954/task/11969/stat : 11969 (java) S 11951 11954 11074 0 -1 4202560 2409 0 0 0 40 0 0 0 20 0 19 0 110405280 9856040960 21663 33554432000 1073741824 1073778376 140734348158624 140225250535608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11970] ppid=11951 vsize=9625040 CPUtime=0.37 cores=1,3,5,7

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

[pid=11954/tid=11973] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11973/stat : 11973 (java) S 11951 11954 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110405314 9856040960 105339 33554432000 1073741824 1073778376 140734348158624 140224238704040 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1669.76
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.08 2.17 2.17 3/214 12146
/proc/meminfo: memFree=29120536/32872528 swapFree=16080/1655368
[pid=11954] ppid=11951 vsize=9625040 CPUtime=1730.35 cores=1,3,5,7
/proc/11954/stat : 11954 (java) S 11951 11954 11074 0 -1 4202496 14171 0 1 0 172923 112 0 0 20 0 19 0 110405275 9856040960 99186 33554432000 1073741824 1073778376 140734348158624 140734348149760 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11954/statm: 2406260 99186 2290 9 0 2396937 0
[pid=11954/tid=11955] ppid=11951 vsize=9625040 CPUtime=1712.53 cores=1,3,5,7
/proc/11954/task/11955/stat : 11955 (java) R 11951 11954 11074 0 -1 4202560 2569 0 1 0 171222 31 0 0 20 0 19 0 110405276 9856040960 99186 33554432000 1073741824 1073778376 140734348158624 140225431506224 140225263896584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=9625040 CPUtime=1.27 cores=1,3,5,7
/proc/11954/task/11957/stat : 11957 (java) S 11951 11954 11074 0 -1 4202560 592 0 0 0 118 9 0 0 20 0 19 0 110405277 9856040960 99186 33554432000 1073741824 1073778376 140734348158624 140225392999208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11954/tid=11958] ppid=11951 vsize=9625040 CPUtime=1.12 cores=1,3,5,7
/proc/11954/task/11958/stat : 11958 (java) S 11951 11954 11074 0 -1 4202560 507 0 0 0 104 8 0 0 20 0 19 0 110405277 9856040960 99186 33554432000 1073741824 1073778376 140734348158624 140225391946408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11959] ppid=11951 vsize=9625040 CPUtime=1.28 cores=1,3,5,7
/proc/11954/task/11959/stat : 11959 (java) S 11951 11954 11074 0 -1 4202560 808 0 0 0 117 11 0 0 20 0 19 0 110405277 9856040960 99186 33554432000 1073741824 1073778376 140734348158624 140225390894120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11960] ppid=11951 vsize=9625040 CPUtime=1.12 cores=1,3,5,7
/proc/11954/task/11960/stat : 11960 (java) S 11951 11954 11074 0 -1 4202560 609 0 0 0 104 8 0 0 20 0 19 0 110405277 9856040960 99186 33554432000 1073741824 1073778376 140734348158624 140225389841320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11961] ppid=11951 vsize=9625040 CPUtime=1.28 cores=1,3,5,7
/proc/11954/task/11961/stat : 11961 (java) S 11951 11954 11074 0 -1 4202560 509 0 0 0 120 8 0 0 20 0 19 0 110405277 9856040960 99186 33554432000 1073741824 1073778376 140734348158624 140225388788008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11954/tid=11962] ppid=11951 vsize=9625040 CPUtime=1.24 cores=1,3,5,7
/proc/11954/task/11962/stat : 11962 (java) S 11951 11954 11074 0 -1 4202560 640 0 0 0 115 9 0 0 20 0 19 0 110405277 9856040960 99186 33554432000 1073741824 1073778376 140734348158624 140225387735208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11954/tid=11963] ppid=11951 vsize=9625040 CPUtime=1.19 cores=1,3,5,7
/proc/11954/task/11963/stat : 11963 (java) S 11951 11954 11074 0 -1 4202560 618 0 0 0 112 7 0 0 20 0 19 0 110405277 9856040960 99186 33554432000 1073741824 1073778376 140734348158624 140225386682920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11954/tid=11964] ppid=11951 vsize=9625040 CPUtime=1.22 cores=1,3,5,7
/proc/11954/task/11964/stat : 11964 (java) S 11951 11954 11074 0 -1 4202560 834 0 0 0 111 11 0 0 20 0 19 0 110405277 9856040960 99186 33554432000 1073741824 1073778376 140734348158624 140225385630120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11965] ppid=11951 vsize=9625040 CPUtime=2.33 cores=1,3,5,7
/proc/11954/task/11965/stat : 11965 (java) S 11951 11954 11074 0 -1 4202560 458 0 0 0 229 4 0 0 20 0 19 0 110405278 9856040960 99186 33554432000 1073741824 1073778376 140734348158624 140225254746856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11966] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11966/stat : 11966 (java) S 11951 11954 11074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110405278 9856040960 99186 33554432000 1073741824 1073778376 140734348158624 140225253692920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11967] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11967/stat : 11967 (java) S 11951 11954 11074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110405278 9856040960 99186 33554432000 1073741824 1073778376 140734348158624 140225252640520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11968] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11968/stat : 11968 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405280 9856040960 99186 33554432000 1073741824 1073778376 140734348158624 140225251589008 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11969] ppid=11951 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/11954/task/11969/stat : 11969 (java) S 11951 11954 11074 0 -1 4202560 2409 0 0 0 40 0 0 0 20 0 19 0 110405280 9856040960 99186 33554432000 1073741824 1073778376 140734348158624 140225250535608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11970] ppid=11951 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/11954/task/11970/stat : 11970 (java) S 11951 11954 11074 0 -1 4202560 2259 0 0 0 40 0 0 0 20 0 19 0 110405280 9856040960 99186 33554432000 1073741824 1073778376 140734348158624 140225249482808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11954/tid=11971] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11971/stat : 11971 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405280 9856040960 99186 33554432000 1073741824 1073778376 140734348158624 140225248430712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11954/tid=11972] ppid=11951 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/11954/task/11972/stat : 11972 (java) S 11951 11954 11074 0 -1 4202560 100 0 0 0 28 37 0 0 20 0 19 0 110405280 9856040960 99186 33554432000 1073741824 1073778376 140734348158624 140224239758024 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11973] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11973/stat : 11973 (java) S 11951 11954 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110405314 9856040960 99186 33554432000 1073741824 1073778376 140734348158624 140224238704040 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1730.35
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.13 2.16 2.16 4/214 12170
/proc/meminfo: memFree=29245940/32872528 swapFree=16080/1655368
[pid=11954] ppid=11951 vsize=9625040 CPUtime=1790.93 cores=1,3,5,7
/proc/11954/stat : 11954 (java) S 11951 11954 11074 0 -1 4202496 14198 0 1 0 178978 115 0 0 20 0 19 0 110405275 9856040960 67850 33554432000 1073741824 1073778376 140734348158624 140734348149760 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11954/statm: 2406260 67850 2290 9 0 2396937 0
[pid=11954/tid=11955] ppid=11951 vsize=9625040 CPUtime=1771.84 cores=1,3,5,7
/proc/11954/task/11955/stat : 11955 (java) R 11951 11954 11074 0 -1 4202560 2587 0 1 0 177153 31 0 0 20 0 19 0 110405276 9856040960 67850 33554432000 1073741824 1073778376 140734348158624 140225431506240 140225263792918 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=9625040 CPUtime=1.36 cores=1,3,5,7
/proc/11954/task/11957/stat : 11957 (java) S 11951 11954 11074 0 -1 4202560 592 0 0 0 127 9 0 0 20 0 19 0 110405277 9856040960 67850 33554432000 1073741824 1073778376 140734348158624 140225392999208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11954/tid=11958] ppid=11951 vsize=9625040 CPUtime=1.21 cores=1,3,5,7
/proc/11954/task/11958/stat : 11958 (java) S 11951 11954 11074 0 -1 4202560 508 0 0 0 113 8 0 0 20 0 19 0 110405277 9856040960 67850 33554432000 1073741824 1073778376 140734348158624 140225391946408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11954/tid=11959] ppid=11951 vsize=9625040 CPUtime=1.39 cores=1,3,5,7
/proc/11954/task/11959/stat : 11959 (java) S 11951 11954 11074 0 -1 4202560 808 0 0 0 128 11 0 0 20 0 19 0 110405277 9856040960 67850 33554432000 1073741824 1073778376 140734348158624 140225390894120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11960] ppid=11951 vsize=9625040 CPUtime=1.21 cores=1,3,5,7
/proc/11954/task/11960/stat : 11960 (java) S 11951 11954 11074 0 -1 4202560 609 0 0 0 113 8 0 0 20 0 19 0 110405277 9856040960 67850 33554432000 1073741824 1073778376 140734348158624 140225389841320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11961] ppid=11951 vsize=9625040 CPUtime=1.4 cores=1,3,5,7
/proc/11954/task/11961/stat : 11961 (java) S 11951 11954 11074 0 -1 4202560 509 0 0 0 132 8 0 0 20 0 19 0 110405277 9856040960 67850 33554432000 1073741824 1073778376 140734348158624 140225388788008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11962] ppid=11951 vsize=9625040 CPUtime=1.33 cores=1,3,5,7
/proc/11954/task/11962/stat : 11962 (java) S 11951 11954 11074 0 -1 4202560 640 0 0 0 124 9 0 0 20 0 19 0 110405277 9856040960 67850 33554432000 1073741824 1073778376 140734348158624 140225387735208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11954/tid=11963] ppid=11951 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/11954/task/11963/stat : 11963 (java) S 11951 11954 11074 0 -1 4202560 618 0 0 0 122 7 0 0 20 0 19 0 110405277 9856040960 67850 33554432000 1073741824 1073778376 140734348158624 140225386682920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11954/tid=11964] ppid=11951 vsize=9625040 CPUtime=1.34 cores=1,3,5,7
/proc/11954/task/11964/stat : 11964 (java) S 11951 11954 11074 0 -1 4202560 834 0 0 0 123 11 0 0 20 0 19 0 110405277 9856040960 67850 33554432000 1073741824 1073778376 140734348158624 140225385630120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11965] ppid=11951 vsize=9625040 CPUtime=2.61 cores=1,3,5,7
/proc/11954/task/11965/stat : 11965 (java) S 11951 11954 11074 0 -1 4202560 462 0 0 0 256 5 0 0 20 0 19 0 110405278 9856040960 67850 33554432000 1073741824 1073778376 140734348158624 140225254746856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11966] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11966/stat : 11966 (java) S 11951 11954 11074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110405278 9856040960 67850 33554432000 1073741824 1073778376 140734348158624 140225253692920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11967] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11967/stat : 11967 (java) S 11951 11954 11074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110405278 9856040960 67850 33554432000 1073741824 1073778376 140734348158624 140225252640520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11968] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11968/stat : 11968 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405280 9856040960 67850 33554432000 1073741824 1073778376 140734348158624 140225251589008 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11969] ppid=11951 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/11954/task/11969/stat : 11969 (java) S 11951 11954 11074 0 -1 4202560 2409 0 0 0 40 0 0 0 20 0 19 0 110405280 9856040960 67850 33554432000 1073741824 1073778376 140734348158624 140225250535608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11970] ppid=11951 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/11954/task/11970/stat : 11970 (java) S 11951 11954 11074 0 -1 4202560 2259 0 0 0 40 0 0 0 20 0 19 0 110405280 9856040960 67850 33554432000 1073741824 1073778376 140734348158624 140225249482808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11954/tid=11971] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11971/stat : 11971 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405280 9856040960 67850 33554432000 1073741824 1073778376 140734348158624 140225248430712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11954/tid=11972] ppid=11951 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/11954/task/11972/stat : 11972 (java) S 11951 11954 11074 0 -1 4202560 104 0 0 0 29 38 0 0 20 0 19 0 110405280 9856040960 67850 33554432000 1073741824 1073778376 140734348158624 140224239758024 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11973] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11973/stat : 11973 (java) S 11951 11954 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110405314 9856040960 67850 33554432000 1073741824 1073778376 140734348158624 140224238704040 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1790.93
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.4 s]
/proc/loadavg: 2.51 2.24 2.19 3/214 12171
/proc/meminfo: memFree=29177724/32872528 swapFree=16080/1655368
[pid=11954] ppid=11951 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/11954/stat : 11954 (java) S 11951 11954 11074 0 -1 4202496 14202 0 1 0 179894 115 0 0 20 0 19 0 110405275 9856040960 66826 33554432000 1073741824 1073778376 140734348158624 140734348149760 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11954/statm: 2406260 66826 2290 9 0 2396937 0
[pid=11954/tid=11955] ppid=11951 vsize=9625040 CPUtime=1780.89 cores=1,3,5,7
/proc/11954/task/11955/stat : 11955 (java) R 11951 11954 11074 0 -1 4202560 2589 0 1 0 178057 32 0 0 20 0 19 0 110405276 9856040960 66826 33554432000 1073741824 1073778376 140734348158624 140225431506224 140225263798326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=9625040 CPUtime=1.38 cores=1,3,5,7
/proc/11954/task/11957/stat : 11957 (java) S 11951 11954 11074 0 -1 4202560 592 0 0 0 129 9 0 0 20 0 19 0 110405277 9856040960 66826 33554432000 1073741824 1073778376 140734348158624 140225392999208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11958] ppid=11951 vsize=9625040 CPUtime=1.22 cores=1,3,5,7
/proc/11954/task/11958/stat : 11958 (java) S 11951 11954 11074 0 -1 4202560 508 0 0 0 114 8 0 0 20 0 19 0 110405277 9856040960 66826 33554432000 1073741824 1073778376 140734348158624 140225391946408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11954/tid=11959] ppid=11951 vsize=9625040 CPUtime=1.4 cores=1,3,5,7
/proc/11954/task/11959/stat : 11959 (java) S 11951 11954 11074 0 -1 4202560 810 0 0 0 129 11 0 0 20 0 19 0 110405277 9856040960 66826 33554432000 1073741824 1073778376 140734348158624 140225390894120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11954/tid=11960] ppid=11951 vsize=9625040 CPUtime=1.22 cores=1,3,5,7
/proc/11954/task/11960/stat : 11960 (java) S 11951 11954 11074 0 -1 4202560 609 0 0 0 114 8 0 0 20 0 19 0 110405277 9856040960 66826 33554432000 1073741824 1073778376 140734348158624 140225389841320 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11961] ppid=11951 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/11954/task/11961/stat : 11961 (java) S 11951 11954 11074 0 -1 4202560 509 0 0 0 133 8 0 0 20 0 19 0 110405277 9856040960 66826 33554432000 1073741824 1073778376 140734348158624 140225388788008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11962] ppid=11951 vsize=9625040 CPUtime=1.34 cores=1,3,5,7
/proc/11954/task/11962/stat : 11962 (java) S 11951 11954 11074 0 -1 4202560 640 0 0 0 125 9 0 0 20 0 19 0 110405277 9856040960 66826 33554432000 1073741824 1073778376 140734348158624 140225387735208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11954/tid=11963] ppid=11951 vsize=9625040 CPUtime=1.31 cores=1,3,5,7
/proc/11954/task/11963/stat : 11963 (java) S 11951 11954 11074 0 -1 4202560 618 0 0 0 124 7 0 0 20 0 19 0 110405277 9856040960 66826 33554432000 1073741824 1073778376 140734348158624 140225386682920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11954/tid=11964] ppid=11951 vsize=9625040 CPUtime=1.35 cores=1,3,5,7
/proc/11954/task/11964/stat : 11964 (java) S 11951 11954 11074 0 -1 4202560 834 0 0 0 124 11 0 0 20 0 19 0 110405277 9856040960 66826 33554432000 1073741824 1073778376 140734348158624 140225385630120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11965] ppid=11951 vsize=9625040 CPUtime=2.61 cores=1,3,5,7
/proc/11954/task/11965/stat : 11965 (java) S 11951 11954 11074 0 -1 4202560 462 0 0 0 256 5 0 0 20 0 19 0 110405278 9856040960 66826 33554432000 1073741824 1073778376 140734348158624 140225254746856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11966] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11966/stat : 11966 (java) S 11951 11954 11074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110405278 9856040960 66826 33554432000 1073741824 1073778376 140734348158624 140225253692920 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11967] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11967/stat : 11967 (java) S 11951 11954 11074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110405278 9856040960 66826 33554432000 1073741824 1073778376 140734348158624 140225252640520 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11968] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11968/stat : 11968 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405280 9856040960 66826 33554432000 1073741824 1073778376 140734348158624 140225251589008 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11969] ppid=11951 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/11954/task/11969/stat : 11969 (java) S 11951 11954 11074 0 -1 4202560 2409 0 0 0 40 0 0 0 20 0 19 0 110405280 9856040960 66826 33554432000 1073741824 1073778376 140734348158624 140225250535608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11954/tid=11970] ppid=11951 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/11954/task/11970/stat : 11970 (java) S 11951 11954 11074 0 -1 4202560 2259 0 0 0 40 0 0 0 20 0 19 0 110405280 9856040960 66826 33554432000 1073741824 1073778376 140734348158624 140225249482808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11954/tid=11971] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11971/stat : 11971 (java) S 11951 11954 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110405280 9856040960 66826 33554432000 1073741824 1073778376 140734348158624 140225248430712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11954/tid=11972] ppid=11951 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/11954/task/11972/stat : 11972 (java) S 11951 11954 11074 0 -1 4202560 104 0 0 0 29 38 0 0 20 0 19 0 110405280 9856040960 66826 33554432000 1073741824 1073778376 140734348158624 140224239758024 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11954/tid=11973] ppid=11951 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11954/task/11973/stat : 11973 (java) S 11951 11954 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110405314 9856040960 66826 33554432000 1073741824 1073778376 140734348158624 140224238704040 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 11954 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

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

Real time (s): 1791.47
CPU time (s): 1800.09
CPU user time (s): 1798.94
CPU system time (s): 1.15
CPU usage (%): 100.481
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.38
system time used= 1.60076
maximum resident set size= 645400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14242
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41195
involuntary context switches= 27901

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4819 second user time and 10.6344 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-07 09:31:57
IDJOB=4084650
IDBENCH=90131
IDSOLVER=2546
FILE ID=node122/4084650-1465284717
RUNJOBID= node122-1465277527-11091
PBS_JOBID= 19843311
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K93.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084650-1465284717/watcher-4084650-1465284717 -o /tmp/evaluation-result-4084650-1465284717/solver-4084650-1465284717 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465277527-11091 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4084650-1465284717.opb

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

MD5SUM BENCH= 91412677f9785e1c6465ad7d3d170f82
RANDOM SEED=223043625

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30088896 kB
Buffers:          134716 kB
Cached:           168344 kB
SwapCached:          860 kB
Active:           171208 kB
Inactive:         212068 kB
Active(anon):      81084 kB
Inactive(anon):     1632 kB
Active(file):      90124 kB
Inactive(file):   210436 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099512 kB
Dirty:              2572 kB
Writeback:             0 kB
AnonPages:       1745676 kB
Mapped:            15240 kB
Shmem:                 0 kB
Slab:             601308 kB
SReclaimable:      44880 kB
SUnreclaim:       556428 kB
KernelStack:        1648 kB
PageTables:         7488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2344208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1714176 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= 71740 MiB
End job on node122 at 2016-06-07 10:01:49