Trace number 4084597

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 1792.77

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K125.opb
MD5SUMd572050902dbd97a5ce685e3ceb3e01a
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14875
Total number of constraints15127
Number of constraints which are clauses15002
Number of constraints which are cardinality constraints (but not clauses)125
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint125
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 126
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.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.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4084597-1465288302.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  no objective function found
0.96/0.50	c ... done. Wall clock time 0.388s.
0.96/0.50	c declared #vars     14875
0.96/0.50	c #constraints  15127
0.96/0.50	c constraints type 
0.96/0.50	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 13388
0.96/0.50	c org.sat4j.minisat.constraints.card.MinWatchCard => 125
0.96/0.50	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.96/0.50	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1612
0.96/0.50	c 15127 constraints processed.
2.89/2.02	c cleaning 2485 clauses out of 4996 with flag 25087/5000
4.62/3.62	c cleaning 4241 clauses out of 8505 with flag 57916/11000
6.33/5.35	c cleaning 5627 clauses out of 11258 with flag 96060/18001
8.53/7.56	c cleaning 6766 clauses out of 13623 with flag 143406/26000
11.06/10.04	c cleaning 7925 clauses out of 15858 with flag 192032/35003
13.75/12.73	c cleaning 8719 clauses out of 17929 with flag 246712/45000
16.65/15.60	c cleaning 9345 clauses out of 20206 with flag 308667/56000
20.15/19.11	c cleaning 9998 clauses out of 22863 with flag 373341/68003
23.70/22.68	c cleaning 10994 clauses out of 25862 with flag 442256/81000
27.30/26.25	c cleaning 11683 clauses out of 28867 with flag 516046/95000
31.10/30.06	c cleaning 12644 clauses out of 32180 with flag 598353/110000
35.21/34.17	c cleaning 13361 clauses out of 35536 with flag 684040/126001
39.71/38.67	c cleaning 14138 clauses out of 39173 with flag 777079/143000
44.90/43.88	c cleaning 14992 clauses out of 43034 with flag 881630/161000
50.00/48.95	c cleaning 16140 clauses out of 47041 with flag 988889/180000
55.70/54.65	c cleaning 16631 clauses out of 50900 with flag 1096941/200000
61.80/60.78	c cleaning 17648 clauses out of 55273 with flag 1216158/221004
68.21/67.13	c cleaning 18668 clauses out of 59621 with flag 1339622/243000
75.31/74.24	c cleaning 19296 clauses out of 63954 with flag 1468205/266001
82.59/81.47	c cleaning 19941 clauses out of 68659 with flag 1603211/290002
90.20/89.06	c cleaning 20948 clauses out of 73716 with flag 1753753/315000
98.30/97.11	c cleaning 21825 clauses out of 78768 with flag 1904817/341001
106.70/105.52	c cleaning 22594 clauses out of 83944 with flag 2059425/368003
115.40/114.27	c cleaning 23642 clauses out of 89347 with flag 2222358/396001
124.41/123.24	c cleaning 24485 clauses out of 94704 with flag 2385600/425000
134.52/133.34	c cleaning 25020 clauses out of 100218 with flag 2571899/455000
144.87/143.67	c cleaning 26386 clauses out of 106198 with flag 2761541/486000
155.38/154.19	c cleaning 27301 clauses out of 111811 with flag 2964210/518000
166.47/165.21	c cleaning 27905 clauses out of 117509 with flag 3170551/551000
178.47/177.25	c cleaning 28646 clauses out of 123604 with flag 3394506/585001
190.57/189.36	c cleaning 29865 clauses out of 129956 with flag 3614991/620000
203.26/201.94	c cleaning 30700 clauses out of 136091 with flag 3837362/656000
216.96/215.61	c cleaning 31822 clauses out of 142391 with flag 4074882/693000
230.85/229.59	c cleaning 32707 clauses out of 148569 with flag 4323691/731000
245.45/244.18	c cleaning 33512 clauses out of 154861 with flag 4576405/770000
260.94/259.43	c cleaning 34523 clauses out of 161350 with flag 4838668/810001
276.93/275.48	c cleaning 35138 clauses out of 167825 with flag 5107749/851000
294.64/293.16	c cleaning 36030 clauses out of 174687 with flag 5392607/893000
312.53/311.00	c cleaning 37259 clauses out of 181658 with flag 5680159/936001
331.27/329.59	c cleaning 38186 clauses out of 188397 with flag 5977287/980001
350.47/348.74	c cleaning 39124 clauses out of 195210 with flag 6287772/1025000
370.37/368.68	c cleaning 40341 clauses out of 202088 with flag 6617321/1071002
391.30/389.30	c cleaning 40899 clauses out of 208748 with flag 6942264/1118003
412.41/410.44	c cleaning 42069 clauses out of 215845 with flag 7280855/1166000
434.22/431.90	c cleaning 43000 clauses out of 222776 with flag 7630608/1215000
456.88/454.35	c cleaning 43942 clauses out of 229776 with flag 7988543/1265000
479.87/477.33	c cleaning 45050 clauses out of 236834 with flag 8366717/1316000
504.49/501.77	c cleaning 45898 clauses out of 243785 with flag 8756238/1368001
529.76/526.93	c cleaning 46761 clauses out of 250885 with flag 9186319/1421000
554.24/551.38	c cleaning 47881 clauses out of 258124 with flag 9582269/1475000
581.64/578.65	c cleaning 48669 clauses out of 265243 with flag 10013318/1530000
608.74/605.67	c cleaning 49890 clauses out of 272575 with flag 10453840/1586001
636.12/632.93	c cleaning 51145 clauses out of 279685 with flag 10894303/1643001
664.83/661.50	c cleaning 52002 clauses out of 286539 with flag 11365576/1701000
694.32/690.92	c cleaning 52828 clauses out of 293538 with flag 11824539/1760002
724.69/721.21	c cleaning 53660 clauses out of 300708 with flag 12281138/1820000
756.23/752.61	c cleaning 54612 clauses out of 308047 with flag 12770843/1881000
790.10/786.41	c cleaning 55617 clauses out of 315435 with flag 13297082/1943000
824.78/821.00	c cleaning 56573 clauses out of 322818 with flag 13805424/2006002
858.55/854.74	c cleaning 57550 clauses out of 330243 with flag 14308231/2070000
895.18/891.23	c cleaning 58439 clauses out of 337694 with flag 14869208/2135001
931.00/926.90	c cleaning 59527 clauses out of 345254 with flag 15427514/2201000
969.27/965.04	c cleaning 60505 clauses out of 352727 with flag 16002348/2268000
1007.79/1003.43	c cleaning 61908 clauses out of 360222 with flag 16587361/2336000
1048.27/1043.88	c cleaning 62696 clauses out of 367314 with flag 17165079/2405000
1088.40/1083.80	c cleaning 63935 clauses out of 374618 with flag 17750849/2475001
1128.95/1124.26	c cleaning 64290 clauses out of 381683 with flag 18343364/2546001
1172.07/1167.22	c cleaning 65706 clauses out of 389392 with flag 18992329/2618001
1217.65/1212.67	c cleaning 66625 clauses out of 396686 with flag 19707355/2691002
1261.38/1256.16	c cleaning 68097 clauses out of 404059 with flag 20345322/2765001
1308.51/1303.11	c cleaning 68726 clauses out of 410961 with flag 21046135/2840000
1356.14/1350.68	c cleaning 69439 clauses out of 418234 with flag 21740332/2916000
1406.57/1400.85	c cleaning 70215 clauses out of 425795 with flag 22448940/2993000
1458.54/1452.62	c cleaning 71305 clauses out of 433579 with flag 23221021/3071000
1508.95/1502.84	c cleaning 72799 clauses out of 441274 with flag 23928838/3150001
1564.85/1558.53	c cleaning 73752 clauses out of 448475 with flag 25006066/3230001
1620.45/1613.97	c cleaning 75082 clauses out of 455721 with flag 26042148/3311002
1677.10/1670.37	c cleaning 75792 clauses out of 462637 with flag 26838216/3393000
1734.27/1727.24	c cleaning 76817 clauses out of 469846 with flag 27612068/3476001
1792.12/1784.84	c cleaning 77464 clauses out of 477028 with flag 28421073/3560000
1800.09/1792.70	c starts		: 24433
1800.09/1792.70	c conflicts		: 3576648
1800.09/1792.70	c decisions		: 77139884
1800.09/1792.70	c propagations		: 2814664630
1800.09/1792.70	c inspects		: 13490927768
1800.09/1792.70	c shortcuts		: 0
1800.09/1792.70	c learnt literals	: 70
1800.09/1792.70	c learnt binary clauses	: 142347
1800.09/1792.70	c learnt ternary clauses	: 135144
1800.09/1792.70	c learnt constraints	: 3576578
1800.09/1792.70	c ignored constraints	: 0
1800.09/1792.70	c root simplifications	: 0
1800.09/1792.70	c removed literals (reason simplification)	: 0
1800.09/1792.70	c reason swapping (by a shorter reason)	: 0
1800.09/1792.70	c Calls to reduceDB	: 80
1800.09/1792.70	c Number of update (reduction) of LBD	: 2813103
1800.09/1792.70	c Imported unit clauses	: 0
1800.09/1792.70	c number of reductions to clauses (during analyze)	: 0
1800.09/1792.70	c number of learned constraints concerned by reduction	: 0
1800.09/1792.70	c number of learning phase by resolution	: 0
1800.09/1792.70	c number of learning phase by cutting planes	: 0
1800.09/1792.70	c speed (assignments/second)	: 1570520.416407672
1800.09/1792.70	c non guided choices	13817
1800.09/1792.70	c timeout
1800.09/1792.77	c learnt constraints type 
1800.09/1792.77	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 142347
1800.09/1792.77	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 273865
1800.09/1792.77	s UNKNOWN
1800.09/1792.77	c Total wall clock time (in seconds): 1792.653

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

pid=12391
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.20 2.28 2.22 3/194 12394
/proc/meminfo: memFree=29300752/32872528 swapFree=16080/1655368
[pid=12394] ppid=12391 vsize=336 CPUtime=0 cores=1,3,5,7
/proc/12394/stat : 12394 (java) R 12391 12394 11074 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 110763828 344064 34 33554432000 1073741824 1073778376 140735112014720 140737006917720 217401355607 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12394/statm: 625 42 34 9 0 25 0

[startup+0.100157 s]
/proc/loadavg: 2.20 2.28 2.22 3/194 12394
/proc/meminfo: memFree=29300752/32872528 swapFree=16080/1655368
[pid=12394] ppid=12391 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/12394/stat : 12394 (java) S 12391 12394 11074 0 -1 4202496 4422 0 1 0 8 2 0 0 20 0 18 0 110763828 9787879424 6042 33554432000 1073741824 1073778376 140735112014720 140735112005856 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12394/statm: 2389619 6042 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200279 s]
/proc/loadavg: 2.20 2.28 2.22 3/194 12394
/proc/meminfo: memFree=29300752/32872528 swapFree=16080/1655368
[pid=12394] ppid=12391 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/12394/stat : 12394 (java) S 12391 12394 11074 0 -1 4202496 5080 0 1 0 27 2 0 0 20 0 18 0 110763828 9787879424 6981 33554432000 1073741824 1073778376 140735112014720 140735112005856 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12394/statm: 2389619 6981 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300295 s]
/proc/loadavg: 2.20 2.28 2.22 3/194 12394
/proc/meminfo: memFree=29300752/32872528 swapFree=16080/1655368
[pid=12394] ppid=12391 vsize=9558476 CPUtime=0.56 cores=1,3,5,7
/proc/12394/stat : 12394 (java) S 12391 12394 11074 0 -1 4202496 7376 0 1 0 54 2 0 0 20 0 18 0 110763828 9787879424 10896 33554432000 1073741824 1073778376 140735112014720 140735112005856 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12394/statm: 2389619 10896 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9558476

[startup+0.700256 s]
/proc/loadavg: 2.20 2.28 2.22 3/194 12394
/proc/meminfo: memFree=29300752/32872528 swapFree=16080/1655368
[pid=12394] ppid=12391 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/12394/stat : 12394 (java) S 12391 12394 11074 0 -1 4202496 9259 0 1 0 142 4 0 0 20 0 19 0 110763828 9856040960 27840 33554432000 1073741824 1073778376 140735112014720 140735112005856 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12394/statm: 2406260 27840 2265 9 0 2396937 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9625040

[startup+1.50079 s]
/proc/loadavg: 2.20 2.28 2.22 4/213 12413
/proc/meminfo: memFree=29197228/32872528 swapFree=16080/1655368
[pid=12394] ppid=12391 vsize=9625040 CPUtime=2.39 cores=1,3,5,7
/proc/12394/stat : 12394 (java) S 12391 12394 11074 0 -1 4202496 9750 0 1 0 234 5 0 0 20 0 19 0 110763828 9856040960 27850 33554432000 1073741824 1073778376 140735112014720 140735112005856 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12394/statm: 2406260 27850 2269 9 0 2396937 0
[pid=12394/tid=12396] ppid=12391 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/12394/task/12396/stat : 12396 (java) R 12391 12394 11074 0 -1 4202560 2448 0 1 0 143 3 0 0 20 0 19 0 110763829 9856040960 27850 33554432000 1073741824 1073778376 140735112014720 139686787125560 139686647698842 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12394/tid=12397] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12397/stat : 12397 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763830 9856040960 27850 33554432000 1073741824 1073778376 140735112014720 139686630816552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12398] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12398/stat : 12398 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763830 9856040960 27850 33554432000 1073741824 1073778376 140735112014720 139686629763752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12394/tid=12399] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12399/stat : 12399 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763831 9856040960 27850 33554432000 1073741824 1073778376 140735112014720 139686628711464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12394/tid=12400] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12400/stat : 12400 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763831 9856040960 27850 33554432000 1073741824 1073778376 140735112014720 139686627658664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12394/tid=12401] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12401/stat : 12401 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763831 9856040960 27850 33554432000 1073741824 1073778376 140735112014720 139686626605352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12402] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12402/stat : 12402 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763831 9856040960 27850 33554432000 1073741824 1073778376 140735112014720 139686625552552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12394/tid=12403] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12403/stat : 12403 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763831 9856040960 27850 33554432000 1073741824 1073778376 140735112014720 139686624500264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12404] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12404/stat : 12404 (java) S 12391 12394 11074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110763831 9856040960 27850 33554432000 1073741824 1073778376 140735112014720 139686623447464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12405] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12405/stat : 12405 (java) S 12391 12394 11074 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110763832 9856040960 27850 33554432000 1073741824 1073778376 140735112014720 139686611249896 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12406] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12406/stat : 12406 (java) S 12391 12394 11074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110763832 9856040960 27850 33554432000 1073741824 1073778376 140735112014720 139686610195960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12407] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12407/stat : 12407 (java) S 12391 12394 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110763832 9856040960 27850 33554432000 1073741824 1073778376 140735112014720 139686609143560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12408] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12408/stat : 12408 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763834 9856040960 27850 33554432000 1073741824 1073778376 140735112014720 139686608092048 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12409] ppid=12391 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/12394/task/12409/stat : 12409 (java) S 12391 12394 11074 0 -1 4202560 2894 0 0 0 37 0 0 0 20 0 19 0 110763834 9856040960 27850 33554432000 1073741824 1073778376 140735112014720 139686607038648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12410] ppid=12391 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/12394/task/12410/stat : 12410 (java) S 12391 12394 11074 0 -1 4202560 3131 0 0 0 50 0 0 0 20 0 19 0 110763834 9856040960 27850 33554432000 1073741824 1073778376 140735112014720 139686605985848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12394/tid=12411] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12411/stat : 12411 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763834 9856040960 27850 33554432000 1073741824 1073778376 140735112014720 139686604933752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12394/tid=12412] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12412/stat : 12412 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763834 9856040960 27850 33554432000 1073741824 1073778376 140735112014720 139686603881160 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12413] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12413/stat : 12413 (java) S 12391 12394 11074 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110763881 9856040960 27850 33554432000 1073741824 1073778376 140735112014720 139686602827176 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.20 2.28 2.22 4/213 12413
/proc/meminfo: memFree=29193444/32872528 swapFree=16080/1655368
[pid=12394] ppid=12391 vsize=9625040 CPUtime=4.11 cores=1,3,5,7
/proc/12394/stat : 12394 (java) S 12391 12394 11074 0 -1 4202496 11416 0 1 0 406 5 0 0 20 0 19 0 110763828 9856040960 29194 33554432000 1073741824 1073778376 140735112014720 140735112005856 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12394/statm: 2406260 29194 2273 9 0 2396937 0
[pid=12394/tid=12396] ppid=12391 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/12394/task/12396/stat : 12396 (java) R 12391 12394 11074 0 -1 4202560 2452 0 1 0 302 3 0 0 20 0 19 0 110763829 9856040960 29194 33554432000 1073741824 1073778376 140735112014720 139686787123760 139686648127399 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12394/tid=12397] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12397/stat : 12397 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763830 9856040960 29194 33554432000 1073741824 1073778376 140735112014720 139686630816552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12398] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12398/stat : 12398 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763830 9856040960 29194 33554432000 1073741824 1073778376 140735112014720 139686629763752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12394/tid=12399] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12399/stat : 12399 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763831 9856040960 29194 33554432000 1073741824 1073778376 140735112014720 139686628711464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12394/tid=12400] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12400/stat : 12400 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763831 9856040960 29194 33554432000 1073741824 1073778376 140735112014720 139686627658664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12394/tid=12401] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12401/stat : 12401 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763831 9856040960 29194 33554432000 1073741824 1073778376 140735112014720 139686626605352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12402] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12402/stat : 12402 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763831 9856040960 29194 33554432000 1073741824 1073778376 140735112014720 139686625552552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12394/tid=12403] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12403/stat : 12403 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763831 9856040960 29194 33554432000 1073741824 1073778376 140735112014720 139686624500264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12404] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12404/stat : 12404 (java) S 12391 12394 11074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110763831 9856040960 29194 33554432000 1073741824 1073778376 140735112014720 139686623447464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12405] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12405/stat : 12405 (java) S 12391 12394 11074 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 110763832 9856040960 29194 33554432000 1073741824 1073778376 140735112014720 139686611249896 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12406] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12406/stat : 12406 (java) S 12391 12394 11074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110763832 9856040960 29194 33554432000 1073741824 1073778376 140735112014720 139686610195960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12407] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12407/stat : 12407 (java) S 12391 12394 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110763832 9856040960 29194 33554432000 1073741824 1073778376 140735112014720 139686609143560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12408] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12408/stat : 12408 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763834 9856040960 29194 33554432000 1073741824 1073778376 140735112014720 139686608092048 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12409] ppid=12391 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/12394/task/12409/stat : 12409 (java) S 12391 12394 11074 0 -1 4202560 4554 0 0 0 48 0 0 0 20 0 19 0 110763834 9856040960 29194 33554432000 1073741824 1073778376 140735112014720 139686607038648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12410] ppid=12391 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/12394/task/12410/stat : 12410 (java) S 12391 12394 11074 0 -1 4202560 3132 0 0 0 52 0 0 0 20 0 19 0 110763834 9856040960 29194 33554432000 1073741824 1073778376 140735112014720 139686605985848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12394/tid=12411] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12411/stat : 12411 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763834 9856040960 29194 33554432000 1073741824 1073778376 140735112014720 139686604933752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12394/tid=12412] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12412/stat : 12412 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763834 9856040960 29194 33554432000 1073741824 1073778376 140735112014720 139686603881160 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12394/tid=12413] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12413/stat : 12413 (java) S 12391 12394 11074 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110763881 9856040960 29194 33554432000 1073741824 1073778376 140735112014720 139686602827176 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 9625040

[startup+6.30081 s]
/proc/loadavg: 2.27 2.29 2.22 3/213 12413
/proc/meminfo: memFree=29185048/32872528 swapFree=16080/1655368
[pid=12394] ppid=12391 vsize=9625040 CPUtime=7.33 cores=1,3,5,7
/proc/12394/stat : 12394 (java) S 12391 12394 11074 0 -1 4202496 11423 0 1 0 728 5 0 0 20 0 19 0 110763828 9856040960 31156 33554432000 1073741824 1073778376 140735112014720 140735112005856 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12394/statm: 2406260 31156 2273 9 0 2396937 0
[pid=12394/tid=12396] ppid=12391 vsize=9625040 CPUtime=6.23 cores=1,3,5,7
/proc/12394/task/12396/stat : 12396 (java) R 12391 12394 11074 0 -1 4202560 2459 0 1 0 620 3 0 0 20 0 19 0 110763829 9856040960 31156 33554432000 1073741824 1073778376 140735112014720 139686787116752 139686648239457 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12397] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12397/stat : 12397 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763830 9856040960 31156 33554432000 1073741824 1073778376 140735112014720 139686630816552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12398] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12398/stat : 12398 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763830 9856040960 31156 33554432000 1073741824 1073778376 140735112014720 139686629763752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12394/tid=12399] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12399/stat : 12399 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763831 9856040960 31156 33554432000 1073741824 1073778376 140735112014720 139686628711464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12394/tid=12400] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12400/stat : 12400 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763831 9856040960 31156 33554432000 1073741824 1073778376 140735112014720 139686627658664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12394/tid=12401] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12401/stat : 12401 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763831 9856040960 31156 33554432000 1073741824 1073778376 140735112014720 139686626605352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12402] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12402/stat : 12402 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763831 9856040960 31156 33554432000 1073741824 1073778376 140735112014720 139686625552552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12394/tid=12403] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12403/stat : 12403 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763831 9856040960 31156 33554432000 1073741824 1073778376 140735112014720 139686624500264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12404] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12404/stat : 12404 (java) S 12391 12394 11074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110763831 9856040960 31156 33554432000 1073741824 1073778376 140735112014720 139686623447464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12405] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12405/stat : 12405 (java) S 12391 12394 11074 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 110763832 9856040960 31156 33554432000 1073741824 1073778376 140735112014720 139686611249896 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12394/tid=12406] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12406/stat : 12406 (java) S 12391 12394 11074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110763832 9856040960 31156 33554432000 1073741824 1073778376 140735112014720 139686610195960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12407] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12407/stat : 12407 (java) S 12391 12394 11074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110763832 9856040960 31156 33554432000 1073741824 1073778376 140735112014720 139686609143560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12408] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12408/stat : 12408 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763834 9856040960 31156 33554432000 1073741824 1073778376 140735112014720 139686608092048 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12409] ppid=12391 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/12394/task/12409/stat : 12409 (java) S 12391 12394 11074 0 -1 4202560 4554 0 0 0 50 0 0 0 20 0 19 0 110763834 9856040960 31156 33554432000 1073741824 1073778376 140735112014720 139686607038648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12410] ppid=12391 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/12394/task/12410/stat : 12410 (java) S 12391 12394 11074 0 -1 4202560 3132 0 0 0 54 0 0 0 20 0 19 0 110763834 9856040960 31156 33554432000 1073741824 1073778376 140735112014720 139686605985848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12394/tid=12411] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12411/stat : 12411 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763834 9856040960 31156 33554432000 1073741824 1073778376 140735112014720 139686604933752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12394/tid=12412] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12412/stat : 12412 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763834 9856040960 31156 33554432000 1073741824 1073778376 140735112014720 139686603881160 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12394/tid=12413] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12413/stat : 12413 (java) S 12391 12394 11074 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110763881 9856040960 31156 33554432000 1073741824 1073778376 140735112014720 139686602827176 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.33
Current children cumulated vsize (KiB) 9625040


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

[pid=12394/tid=12413] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12413/stat : 12413 (java) S 12391 12394 11074 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110763881 9856040960 96748 33554432000 1073741824 1073778376 140735112014720 139686602827176 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1729.31
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.24 2.20 2.18 3/214 12933
/proc/meminfo: memFree=28805272/32872528 swapFree=16080/1655368
[pid=12394] ppid=12391 vsize=9625040 CPUtime=1789.63 cores=1,3,5,7
/proc/12394/stat : 12394 (java) S 12391 12394 11074 0 -1 4202496 16345 0 1 0 178840 123 0 0 20 0 19 0 110763828 9856040960 96778 33554432000 1073741824 1073778376 140735112014720 140735112005856 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12394/statm: 2406260 96778 2295 9 0 2396937 0
[pid=12394/tid=12396] ppid=12391 vsize=9625040 CPUtime=1773.23 cores=1,3,5,7
/proc/12394/task/12396/stat : 12396 (java) R 12391 12394 11074 0 -1 4202560 2550 0 1 0 177291 32 0 0 20 0 19 0 110763829 9856040960 96778 33554432000 1073741824 1073778376 140735112014720 139686787124560 139686648131884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12394/tid=12397] ppid=12391 vsize=9625040 CPUtime=1.27 cores=1,3,5,7
/proc/12394/task/12397/stat : 12397 (java) S 12391 12394 11074 0 -1 4202560 883 0 0 0 112 15 0 0 20 0 19 0 110763830 9856040960 96778 33554432000 1073741824 1073778376 140735112014720 139686630816552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12398] ppid=12391 vsize=9625040 CPUtime=1 cores=1,3,5,7
/proc/12394/task/12398/stat : 12398 (java) S 12391 12394 11074 0 -1 4202560 371 0 0 0 92 8 0 0 20 0 19 0 110763830 9856040960 96778 33554432000 1073741824 1073778376 140735112014720 139686629763752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12399] ppid=12391 vsize=9625040 CPUtime=0.94 cores=1,3,5,7
/proc/12394/task/12399/stat : 12399 (java) S 12391 12394 11074 0 -1 4202560 338 0 0 0 85 9 0 0 20 0 19 0 110763831 9856040960 96778 33554432000 1073741824 1073778376 140735112014720 139686628711464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12394/tid=12400] ppid=12391 vsize=9625040 CPUtime=0.94 cores=1,3,5,7
/proc/12394/task/12400/stat : 12400 (java) S 12391 12394 11074 0 -1 4202560 254 0 0 0 88 6 0 0 20 0 19 0 110763831 9856040960 96778 33554432000 1073741824 1073778376 140735112014720 139686627658664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12401] ppid=12391 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/12394/task/12401/stat : 12401 (java) S 12391 12394 11074 0 -1 4202560 359 0 0 0 88 8 0 0 20 0 19 0 110763831 9856040960 96778 33554432000 1073741824 1073778376 140735112014720 139686626605352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12394/tid=12402] ppid=12391 vsize=9625040 CPUtime=1.11 cores=1,3,5,7
/proc/12394/task/12402/stat : 12402 (java) S 12391 12394 11074 0 -1 4202560 678 0 0 0 100 11 0 0 20 0 19 0 110763831 9856040960 96778 33554432000 1073741824 1073778376 140735112014720 139686625552552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12403] ppid=12391 vsize=9625040 CPUtime=1.08 cores=1,3,5,7
/proc/12394/task/12403/stat : 12403 (java) S 12391 12394 11074 0 -1 4202560 747 0 0 0 96 12 0 0 20 0 19 0 110763831 9856040960 96778 33554432000 1073741824 1073778376 140735112014720 139686624500264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12394/tid=12404] ppid=12391 vsize=9625040 CPUtime=1.06 cores=1,3,5,7
/proc/12394/task/12404/stat : 12404 (java) S 12391 12394 11074 0 -1 4202560 563 0 0 0 96 10 0 0 20 0 19 0 110763831 9856040960 96778 33554432000 1073741824 1073778376 140735112014720 139686623447464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12405] ppid=12391 vsize=9625040 CPUtime=1.8 cores=1,3,5,7
/proc/12394/task/12405/stat : 12405 (java) S 12391 12394 11074 0 -1 4202560 407 0 0 0 176 4 0 0 20 0 19 0 110763832 9856040960 96778 33554432000 1073741824 1073778376 140735112014720 139686611249896 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12394/tid=12406] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12406/stat : 12406 (java) S 12391 12394 11074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110763832 9856040960 96778 33554432000 1073741824 1073778376 140735112014720 139686610195960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12407] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12407/stat : 12407 (java) S 12391 12394 11074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110763832 9856040960 96778 33554432000 1073741824 1073778376 140735112014720 139686609143560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12408] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12408/stat : 12408 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763834 9856040960 96778 33554432000 1073741824 1073778376 140735112014720 139686608092048 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12409] ppid=12391 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/12394/task/12409/stat : 12409 (java) S 12391 12394 11074 0 -1 4202560 4556 0 0 0 51 0 0 0 20 0 19 0 110763834 9856040960 96778 33554432000 1073741824 1073778376 140735112014720 139686607038648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12410] ppid=12391 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/12394/task/12410/stat : 12410 (java) S 12391 12394 11074 0 -1 4202560 3274 0 0 0 57 1 0 0 20 0 19 0 110763834 9856040960 96778 33554432000 1073741824 1073778376 140735112014720 139686605985848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12394/tid=12411] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12411/stat : 12411 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763834 9856040960 96778 33554432000 1073741824 1073778376 140735112014720 139686604933752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12394/tid=12412] ppid=12391 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/12394/task/12412/stat : 12412 (java) S 12391 12394 11074 0 -1 4202560 102 0 0 0 30 38 0 0 20 0 19 0 110763834 9856040960 96778 33554432000 1073741824 1073778376 140735112014720 139686603881160 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12394/tid=12413] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12413/stat : 12413 (java) S 12391 12394 11074 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110763881 9856040960 96778 33554432000 1073741824 1073778376 140735112014720 139686602827176 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1789.63
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.7 s]
/proc/loadavg: 2.20 2.19 2.18 3/214 12933
/proc/meminfo: memFree=28805444/32872528 swapFree=16080/1655368
[pid=12394] ppid=12391 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/12394/stat : 12394 (java) S 12391 12394 11074 0 -1 4202496 16348 0 1 0 179885 124 0 0 20 0 19 0 110763828 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 140735112005856 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12394/statm: 2406260 96780 2295 9 0 2396937 0
[pid=12394/tid=12396] ppid=12391 vsize=9625040 CPUtime=1783.57 cores=1,3,5,7
/proc/12394/task/12396/stat : 12396 (java) R 12391 12394 11074 0 -1 4202560 2551 0 1 0 178324 33 0 0 20 0 19 0 110763829 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686787124560 139686648131964 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12394/tid=12397] ppid=12391 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/12394/task/12397/stat : 12397 (java) S 12391 12394 11074 0 -1 4202560 884 0 0 0 114 15 0 0 20 0 19 0 110763830 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686630816552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12394/tid=12398] ppid=12391 vsize=9625040 CPUtime=1.01 cores=1,3,5,7
/proc/12394/task/12398/stat : 12398 (java) S 12391 12394 11074 0 -1 4202560 371 0 0 0 93 8 0 0 20 0 19 0 110763830 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686629763752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12399] ppid=12391 vsize=9625040 CPUtime=0.95 cores=1,3,5,7
/proc/12394/task/12399/stat : 12399 (java) S 12391 12394 11074 0 -1 4202560 338 0 0 0 86 9 0 0 20 0 19 0 110763831 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686628711464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12394/tid=12400] ppid=12391 vsize=9625040 CPUtime=0.95 cores=1,3,5,7
/proc/12394/task/12400/stat : 12400 (java) S 12391 12394 11074 0 -1 4202560 254 0 0 0 89 6 0 0 20 0 19 0 110763831 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686627658664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12401] ppid=12391 vsize=9625040 CPUtime=0.97 cores=1,3,5,7
/proc/12394/task/12401/stat : 12401 (java) S 12391 12394 11074 0 -1 4202560 359 0 0 0 89 8 0 0 20 0 19 0 110763831 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686626605352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12394/tid=12402] ppid=12391 vsize=9625040 CPUtime=1.11 cores=1,3,5,7
/proc/12394/task/12402/stat : 12402 (java) S 12391 12394 11074 0 -1 4202560 678 0 0 0 100 11 0 0 20 0 19 0 110763831 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686625552552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12394/tid=12403] ppid=12391 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/12394/task/12403/stat : 12403 (java) S 12391 12394 11074 0 -1 4202560 747 0 0 0 97 12 0 0 20 0 19 0 110763831 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686624500264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12394/tid=12404] ppid=12391 vsize=9625040 CPUtime=1.06 cores=1,3,5,7
/proc/12394/task/12404/stat : 12404 (java) S 12391 12394 11074 0 -1 4202560 563 0 0 0 96 10 0 0 20 0 19 0 110763831 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686623447464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12405] ppid=12391 vsize=9625040 CPUtime=1.8 cores=1,3,5,7
/proc/12394/task/12405/stat : 12405 (java) S 12391 12394 11074 0 -1 4202560 408 0 0 0 176 4 0 0 20 0 19 0 110763832 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686611249896 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12394/tid=12406] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12406/stat : 12406 (java) S 12391 12394 11074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110763832 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686610195960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12407] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12407/stat : 12407 (java) S 12391 12394 11074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110763832 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686609143560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12408] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12408/stat : 12408 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763834 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686608092048 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12409] ppid=12391 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/12394/task/12409/stat : 12409 (java) S 12391 12394 11074 0 -1 4202560 4556 0 0 0 51 0 0 0 20 0 19 0 110763834 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686607038648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12410] ppid=12391 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/12394/task/12410/stat : 12410 (java) S 12391 12394 11074 0 -1 4202560 3274 0 0 0 57 1 0 0 20 0 19 0 110763834 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686605985848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12394/tid=12411] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12411/stat : 12411 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763834 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686604933752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12394/tid=12412] ppid=12391 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/12394/task/12412/stat : 12412 (java) S 12391 12394 11074 0 -1 4202560 102 0 0 0 30 38 0 0 20 0 19 0 110763834 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686603881160 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12394/tid=12413] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12413/stat : 12413 (java) S 12391 12394 11074 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110763881 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686602827176 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 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 12394 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1792.7 s]
/proc/loadavg: 2.20 2.19 2.18 3/214 12933
/proc/meminfo: memFree=28805444/32872528 swapFree=16080/1655368
[pid=12394] ppid=12391 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/12394/stat : 12394 (java) S 12391 12394 11074 0 -1 4202496 16348 0 1 0 179885 124 0 0 20 0 19 0 110763828 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 140735112005856 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12394/statm: 2406260 96780 2295 9 0 2396937 0
[pid=12394/tid=12396] ppid=12391 vsize=9625040 CPUtime=1783.57 cores=1,3,5,7
/proc/12394/task/12396/stat : 12396 (java) R 12391 12394 11074 0 -1 4202560 2551 0 1 0 178324 33 0 0 20 0 19 0 110763829 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686787124560 139686648131964 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12394/tid=12397] ppid=12391 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/12394/task/12397/stat : 12397 (java) S 12391 12394 11074 0 -1 4202560 884 0 0 0 114 15 0 0 20 0 19 0 110763830 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686630816552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12394/tid=12398] ppid=12391 vsize=9625040 CPUtime=1.01 cores=1,3,5,7
/proc/12394/task/12398/stat : 12398 (java) S 12391 12394 11074 0 -1 4202560 371 0 0 0 93 8 0 0 20 0 19 0 110763830 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686629763752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12399] ppid=12391 vsize=9625040 CPUtime=0.95 cores=1,3,5,7
/proc/12394/task/12399/stat : 12399 (java) S 12391 12394 11074 0 -1 4202560 338 0 0 0 86 9 0 0 20 0 19 0 110763831 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686628711464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12394/tid=12400] ppid=12391 vsize=9625040 CPUtime=0.95 cores=1,3,5,7
/proc/12394/task/12400/stat : 12400 (java) S 12391 12394 11074 0 -1 4202560 254 0 0 0 89 6 0 0 20 0 19 0 110763831 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686627658664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12401] ppid=12391 vsize=9625040 CPUtime=0.97 cores=1,3,5,7
/proc/12394/task/12401/stat : 12401 (java) S 12391 12394 11074 0 -1 4202560 359 0 0 0 89 8 0 0 20 0 19 0 110763831 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686626605352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12394/tid=12402] ppid=12391 vsize=9625040 CPUtime=1.11 cores=1,3,5,7
/proc/12394/task/12402/stat : 12402 (java) S 12391 12394 11074 0 -1 4202560 678 0 0 0 100 11 0 0 20 0 19 0 110763831 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686625552552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12394/tid=12403] ppid=12391 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/12394/task/12403/stat : 12403 (java) S 12391 12394 11074 0 -1 4202560 747 0 0 0 97 12 0 0 20 0 19 0 110763831 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686624500264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12394/tid=12404] ppid=12391 vsize=9625040 CPUtime=1.06 cores=1,3,5,7
/proc/12394/task/12404/stat : 12404 (java) S 12391 12394 11074 0 -1 4202560 563 0 0 0 96 10 0 0 20 0 19 0 110763831 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686623447464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12405] ppid=12391 vsize=9625040 CPUtime=1.8 cores=1,3,5,7
/proc/12394/task/12405/stat : 12405 (java) S 12391 12394 11074 0 -1 4202560 408 0 0 0 176 4 0 0 20 0 19 0 110763832 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686611249896 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12394/tid=12406] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12406/stat : 12406 (java) S 12391 12394 11074 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110763832 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686610195960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12407] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12407/stat : 12407 (java) S 12391 12394 11074 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110763832 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686609143560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12408] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12408/stat : 12408 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763834 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686608092048 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12409] ppid=12391 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/12394/task/12409/stat : 12409 (java) S 12391 12394 11074 0 -1 4202560 4556 0 0 0 51 0 0 0 20 0 19 0 110763834 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686607038648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12394/tid=12410] ppid=12391 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/12394/task/12410/stat : 12410 (java) S 12391 12394 11074 0 -1 4202560 3274 0 0 0 57 1 0 0 20 0 19 0 110763834 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686605985848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12394/tid=12411] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12411/stat : 12411 (java) S 12391 12394 11074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110763834 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686604933752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12394/tid=12412] ppid=12391 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/12394/task/12412/stat : 12412 (java) S 12391 12394 11074 0 -1 4202560 102 0 0 0 30 38 0 0 20 0 19 0 110763834 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686603881160 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12394/tid=12413] ppid=12391 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12394/task/12413/stat : 12413 (java) S 12391 12394 11074 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110763881 9856040960 96780 33554432000 1073741824 1073778376 140735112014720 139686602827176 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12394 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=240234
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=701741
# CPU time returned by wait4() is 1795.94
# 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): 1792.77
CPU time (s): 1800.09
CPU user time (s): 1798.85
CPU system time (s): 1.24
CPU usage (%): 100.408
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.24
system time used= 1.70174
maximum resident set size= 772560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16380
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40011
involuntary context switches= 26820

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1505 second user time and 14.1748 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-07 10:31:43
IDJOB=4084597
IDBENCH=90201
IDSOLVER=2546
FILE ID=node122/4084597-1465288302
RUNJOBID= node122-1465277527-11091
PBS_JOBID= 19843311
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= d572050902dbd97a5ce685e3ceb3e01a
RANDOM SEED=1394560960

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:        29300908 kB
Buffers:          137516 kB
Cached:           171880 kB
SwapCached:          860 kB
Active:           964256 kB
Inactive:         215260 kB
Active(anon):     870592 kB
Inactive(anon):     1632 kB
Active(file):      93664 kB
Inactive(file):   213628 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099512 kB
Dirty:              1656 kB
Writeback:             0 kB
AnonPages:       2571800 kB
Mapped:            15424 kB
Shmem:                 0 kB
Slab:             601048 kB
SReclaimable:      44848 kB
SUnreclaim:       556200 kB
KernelStack:        1760 kB
PageTables:         9060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2700144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2537472 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 11:01:35