Trace number 4084599

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.32 1793.91

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K128.opb
MD5SUM17c4ca9a6493665b57c1ccd2ab23e03d
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 variables15232
Total number of constraints15490
Number of constraints which are clauses15362
Number of constraints which are cardinality constraints (but not clauses)128
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint128
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 129
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.06/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.06/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.10	c See www.sat4j.org for details.
0.06/0.11	c version PB16.v20160501
0.06/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.11	c java.vm.version	19.1-b02
0.06/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.11	c sun.arch.data.model	64
0.06/0.11	c java.version		1.6.0_24
0.06/0.11	c os.name		Linux
0.06/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.11	c os.arch		amd64
0.06/0.11	c Free memory 		501472288
0.06/0.11	c Max memory 		7480803328
0.06/0.11	c Total memory 		504102912
0.06/0.11	c Number of processors 	8
0.06/0.13	c Pseudo Boolean Optimization by upper bound
0.06/0.13	c --- Begin Solver configuration ---
0.06/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.06/0.13	c Learn all clauses as in MiniSAT
0.06/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.13	c No reason simplification
0.06/0.13	c Glucose 2.1 dynamic restart strategy
0.06/0.13	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.06/0.13	c timeout=2147483s
0.06/0.13	c DB Simplification allowed=false
0.06/0.13	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.06/0.13	c --- End Solver configuration ---
0.06/0.13	c solving HOME/instance-4084599-1465285353.opb
0.06/0.13	c reading problem ... 
0.06/0.14	c  no objective function found
0.87/0.54	c ... done. Wall clock time 0.411s.
0.87/0.54	c declared #vars     15232
0.87/0.55	c #constraints  15490
0.87/0.55	c constraints type 
0.87/0.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 13709
0.87/0.55	c org.sat4j.minisat.constraints.card.MinWatchCard => 128
0.87/0.55	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.87/0.55	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1651
0.87/0.55	c 15490 constraints processed.
2.81/2.10	c cleaning 2468 clauses out of 4992 with flag 25448/5000
4.48/3.63	c cleaning 4253 clauses out of 8520 with flag 59981/11000
6.39/5.56	c cleaning 5618 clauses out of 11263 with flag 98986/18000
8.49/7.63	c cleaning 6793 clauses out of 13638 with flag 146266/26000
10.70/9.86	c cleaning 7864 clauses out of 15848 with flag 199658/35003
13.30/12.50	c cleaning 8963 clauses out of 17977 with flag 257431/45001
16.31/15.49	c cleaning 9389 clauses out of 20014 with flag 313264/56001
19.71/18.88	c cleaning 10017 clauses out of 22622 with flag 374694/68000
23.23/22.39	c cleaning 10920 clauses out of 25606 with flag 441503/81002
26.93/26.01	c cleaning 11810 clauses out of 28684 with flag 514524/95001
31.13/30.28	c cleaning 12359 clauses out of 31872 with flag 597621/110000
35.53/34.66	c cleaning 13349 clauses out of 35513 with flag 684132/126001
40.54/39.67	c cleaning 14139 clauses out of 39163 with flag 778126/143001
45.63/44.77	c cleaning 14871 clauses out of 43023 with flag 874329/161000
50.93/50.09	c cleaning 15835 clauses out of 47152 with flag 979215/180000
57.13/56.25	c cleaning 16575 clauses out of 51317 with flag 1095578/200000
63.04/62.16	c cleaning 17830 clauses out of 55742 with flag 1215820/221000
69.34/68.41	c cleaning 18499 clauses out of 59914 with flag 1332710/243003
76.14/75.23	c cleaning 19388 clauses out of 64410 with flag 1465728/266000
83.28/82.39	c cleaning 20476 clauses out of 69021 with flag 1604320/290000
90.78/89.87	c cleaning 20974 clauses out of 73545 with flag 1748042/315000
98.89/97.95	c cleaning 21627 clauses out of 78569 with flag 1903781/341001
107.28/106.34	c cleaning 22701 clauses out of 83941 with flag 2063866/368000
115.98/115.00	c cleaning 23991 clauses out of 89239 with flag 2227992/396000
125.39/124.44	c cleaning 24251 clauses out of 94249 with flag 2394944/425001
135.07/134.05	c cleaning 25370 clauses out of 99997 with flag 2569118/455001
145.38/144.36	c cleaning 26478 clauses out of 105628 with flag 2757291/486004
156.68/155.63	c cleaning 26884 clauses out of 111145 with flag 2947839/518000
168.18/167.12	c cleaning 28070 clauses out of 117260 with flag 3143804/551000
180.78/179.70	c cleaning 29036 clauses out of 123194 with flag 3348971/585004
193.08/192.09	c cleaning 30003 clauses out of 129154 with flag 3567735/620001
206.65/205.47	c cleaning 30762 clauses out of 135150 with flag 3791740/656002
220.55/219.36	c cleaning 31595 clauses out of 141392 with flag 4012985/693008
234.85/233.66	c cleaning 32468 clauses out of 147788 with flag 4249190/731001
249.87/248.68	c cleaning 33351 clauses out of 154318 with flag 4494974/770000
265.20/263.84	c cleaning 34368 clauses out of 160966 with flag 4747686/810000
282.10/280.73	c cleaning 34914 clauses out of 167595 with flag 5003311/851000
299.10/297.74	c cleaning 35949 clauses out of 174680 with flag 5267447/893000
317.41/316.02	c cleaning 36840 clauses out of 181729 with flag 5546068/936000
335.95/334.31	c cleaning 37857 clauses out of 188888 with flag 5832703/980000
355.25/353.68	c cleaning 38844 clauses out of 196029 with flag 6133801/1025000
374.85/373.21	c cleaning 39726 clauses out of 203190 with flag 6441191/1071005
396.61/394.63	c cleaning 40927 clauses out of 210457 with flag 6766432/1118000
417.41/415.49	c cleaning 41818 clauses out of 217526 with flag 7091644/1166000
440.41/438.41	c cleaning 42274 clauses out of 224706 with flag 7429469/1215000
464.03/461.79	c cleaning 43788 clauses out of 232432 with flag 7783555/1265000
487.94/485.65	c cleaning 44636 clauses out of 239644 with flag 8134486/1316000
512.82/510.27	c cleaning 45504 clauses out of 247007 with flag 8504548/1368000
538.30/535.70	c cleaning 46711 clauses out of 254500 with flag 8887347/1421000
563.10/560.42	c cleaning 47483 clauses out of 261786 with flag 9270734/1475000
591.02/588.23	c cleaning 48505 clauses out of 269302 with flag 9669965/1530000
618.80/615.91	c cleaning 49300 clauses out of 276797 with flag 10060984/1586000
647.92/644.90	c cleaning 50338 clauses out of 284497 with flag 10484010/1643001
678.22/675.28	c cleaning 51089 clauses out of 292158 with flag 10909544/1701001
709.91/706.81	c cleaning 52100 clauses out of 300068 with flag 11360967/1760000
741.57/738.46	c cleaning 53808 clauses out of 307963 with flag 11826779/1820000
775.69/772.46	c cleaning 54194 clauses out of 315155 with flag 12297279/1881000
808.79/805.46	c cleaning 55035 clauses out of 322961 with flag 12759960/1943000
844.71/841.24	c cleaning 56161 clauses out of 330927 with flag 13247328/2006002
881.74/878.14	c cleaning 57145 clauses out of 338765 with flag 13783352/2070001
919.02/915.31	c cleaning 58405 clauses out of 346618 with flag 14385539/2135000
956.73/952.94	c cleaning 59370 clauses out of 354212 with flag 14920919/2201002
994.75/990.90	c cleaning 60226 clauses out of 361841 with flag 15438447/2268001
1034.25/1030.20	c cleaning 61274 clauses out of 369614 with flag 15997905/2336000
1076.14/1072.09	c cleaning 62337 clauses out of 377341 with flag 16613318/2405001
1118.39/1114.19	c cleaning 63576 clauses out of 385004 with flag 17228552/2475001
1160.68/1156.37	c cleaning 64464 clauses out of 392434 with flag 17833024/2546007
1204.26/1199.88	c cleaning 65448 clauses out of 399963 with flag 18484357/2618000
1250.24/1245.65	c cleaning 66434 clauses out of 407517 with flag 19162158/2691002
1295.45/1290.75	c cleaning 67527 clauses out of 415080 with flag 19804010/2765000
1341.95/1337.09	c cleaning 68368 clauses out of 422560 with flag 20433475/2840008
1390.24/1385.28	c cleaning 69266 clauses out of 430186 with flag 21080559/2916002
1441.20/1436.07	c cleaning 70472 clauses out of 437917 with flag 21759620/2993000
1493.72/1488.35	c cleaning 71258 clauses out of 445444 with flag 22478901/3071000
1546.36/1540.88	c cleaning 72581 clauses out of 453185 with flag 23179411/3150000
1597.34/1591.75	c cleaning 73245 clauses out of 460602 with flag 23914940/3230000
1656.59/1650.73	c cleaning 74250 clauses out of 468358 with flag 24713529/3311002
1710.94/1704.92	c cleaning 75431 clauses out of 476106 with flag 25464800/3393000
1768.63/1762.46	c cleaning 76586 clauses out of 483675 with flag 26284277/3476000
1800.09/1793.83	c starts		: 23551
1800.09/1793.83	c conflicts		: 3527453
1800.09/1793.83	c decisions		: 79158123
1800.09/1793.83	c propagations		: 2785949214
1800.09/1793.83	c inspects		: 13187327023
1800.09/1793.83	c shortcuts		: 0
1800.09/1793.83	c learnt literals	: 103
1800.09/1793.83	c learnt binary clauses	: 146735
1800.09/1793.83	c learnt ternary clauses	: 138650
1800.09/1793.83	c learnt constraints	: 3527350
1800.09/1793.83	c ignored constraints	: 0
1800.09/1793.83	c root simplifications	: 0
1800.09/1793.83	c removed literals (reason simplification)	: 0
1800.09/1793.83	c reason swapping (by a shorter reason)	: 0
1800.09/1793.83	c Calls to reduceDB	: 79
1800.09/1793.83	c Number of update (reduction) of LBD	: 2735301
1800.09/1793.83	c Imported unit clauses	: 0
1800.09/1793.83	c number of reductions to clauses (during analyze)	: 0
1800.09/1793.83	c number of learned constraints concerned by reduction	: 0
1800.09/1793.83	c number of learning phase by resolution	: 0
1800.09/1793.83	c number of learning phase by cutting planes	: 0
1800.09/1793.83	c speed (assignments/second)	: 1553557.3240185115
1800.09/1793.83	c non guided choices	14354
1800.09/1793.83	c timeout
1800.32/1793.90	c learnt constraints type 
1800.32/1793.90	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 146735
1800.32/1793.90	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 311806
1800.32/1793.90	s UNKNOWN
1800.32/1793.90	c Total wall clock time (in seconds): 1793.77

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

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

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


[startup+0 s]
/proc/loadavg: 2.31 2.23 2.19 3/194 13908
/proc/meminfo: memFree=29540880/32872528 swapFree=16700/1645768
[pid=13908] ppid=13905 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/13908/stat : 13908 (runsolver) D 13905 13908 9389 0 -1 4202560 123 0 0 0 0 0 0 0 20 0 1 0 110468776 24911872 160 33554432000 4194304 4338465 140736096972304 140736096969496 259112201655 0 0 4096 24578 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/13908/statm: 6082 160 113 36 0 2655 0

[startup+0.100116 s]
/proc/loadavg: 2.31 2.23 2.19 3/194 13908
/proc/meminfo: memFree=29540880/32872528 swapFree=16700/1645768
[pid=13908] ppid=13905 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/13908/stat : 13908 (java) S 13905 13908 9389 0 -1 4202496 3488 0 1 0 5 1 0 0 20 0 18 0 110468776 9787879424 4619 33554432000 1073741824 1073778376 140734718245008 140734718236144 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13908/statm: 2389619 4619 1789 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558476

[startup+0.200335 s]
/proc/loadavg: 2.31 2.23 2.19 3/194 13908
/proc/meminfo: memFree=29540880/32872528 swapFree=16700/1645768
[pid=13908] ppid=13905 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/13908/stat : 13908 (java) S 13905 13908 9389 0 -1 4202496 4695 0 1 0 22 1 0 0 20 0 18 0 110468776 9787879424 6754 33554432000 1073741824 1073778376 140734718245008 140734718236144 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13908/statm: 2389619 6754 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300311 s]
/proc/loadavg: 2.31 2.23 2.19 3/194 13908
/proc/meminfo: memFree=29540880/32872528 swapFree=16700/1645768
[pid=13908] ppid=13905 vsize=9558476 CPUtime=0.49 cores=0,2,4,6
/proc/13908/stat : 13908 (java) S 13905 13908 9389 0 -1 4202496 7143 0 1 0 47 2 0 0 20 0 18 0 110468776 9787879424 9699 33554432000 1073741824 1073778376 140734718245008 140734718236144 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13908/statm: 2389619 9699 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.700242 s]
/proc/loadavg: 2.31 2.23 2.19 3/194 13908
/proc/meminfo: memFree=29540880/32872528 swapFree=16700/1645768
[pid=13908] ppid=13905 vsize=9625040 CPUtime=1.36 cores=0,2,4,6
/proc/13908/stat : 13908 (java) S 13905 13908 9389 0 -1 4202496 9038 0 1 0 132 4 0 0 20 0 19 0 110468776 9856040960 28203 33554432000 1073741824 1073778376 140734718245008 140734718236144 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13908/statm: 2406260 28203 2265 9 0 2396937 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9625040

[startup+1.50082 s]
/proc/loadavg: 2.31 2.23 2.19 3/213 13927
/proc/meminfo: memFree=29434904/32872528 swapFree=16700/1645768
[pid=13908] ppid=13905 vsize=9625040 CPUtime=2.31 cores=0,2,4,6
/proc/13908/stat : 13908 (java) S 13905 13908 9389 0 -1 4202496 10791 0 1 0 226 5 0 0 20 0 19 0 110468776 9856040960 28294 33554432000 1073741824 1073778376 140734718245008 140734718236144 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13908/statm: 2406260 28294 2269 9 0 2396937 0
[pid=13908/tid=13910] ppid=13905 vsize=9625040 CPUtime=1.44 cores=0,2,4,6
/proc/13908/task/13910/stat : 13910 (java) R 13905 13908 9389 0 -1 4202560 2445 0 1 0 141 3 0 0 20 0 19 0 110468778 9856040960 28294 33554432000 1073741824 1073778376 140734718245008 140068842807608 140068698976121 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13911] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13911/stat : 13911 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 28294 33554432000 1073741824 1073778376 140734718245008 140068820908584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13912] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13912/stat : 13912 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 28294 33554432000 1073741824 1073778376 140734718245008 140068819855784 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13913] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13913/stat : 13913 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 28294 33554432000 1073741824 1073778376 140734718245008 140068818802984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13908/tid=13914] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13914/stat : 13914 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 28294 33554432000 1073741824 1073778376 140734718245008 140068817750184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13915] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13915/stat : 13915 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 28294 33554432000 1073741824 1073778376 140734718245008 140068816698408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13916] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13916/stat : 13916 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 28294 33554432000 1073741824 1073778376 140734718245008 140068345867176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13917] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13917/stat : 13917 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 28294 33554432000 1073741824 1073778376 140734718245008 140068344814376 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13918] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13918/stat : 13918 (java) S 13905 13908 9389 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 28294 33554432000 1073741824 1073778376 140734718245008 140068343761576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13919] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13919/stat : 13919 (java) S 13905 13908 9389 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110468781 9856040960 28294 33554432000 1073741824 1073778376 140734718245008 140068331350504 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13920] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13920/stat : 13920 (java) S 13905 13908 9389 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110468782 9856040960 28294 33554432000 1073741824 1073778376 140734718245008 140068330296568 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13921] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13921/stat : 13921 (java) S 13905 13908 9389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110468782 9856040960 28294 33554432000 1073741824 1073778376 140734718245008 140068329243656 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13922] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13922/stat : 13922 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468784 9856040960 28294 33554432000 1073741824 1073778376 140734718245008 140068328192144 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13923] ppid=13905 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/13908/task/13923/stat : 13923 (java) S 13905 13908 9389 0 -1 4202560 2113 0 0 0 36 0 0 0 20 0 19 0 110468784 9856040960 28294 33554432000 1073741824 1073778376 140734718245008 140068327140280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13924] ppid=13905 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/13908/task/13924/stat : 13924 (java) S 13905 13908 9389 0 -1 4202560 4956 0 0 0 44 2 0 0 20 0 19 0 110468784 9856040960 28294 33554432000 1073741824 1073778376 140734718245008 140068326087480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13908/tid=13925] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13925/stat : 13925 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468784 9856040960 28294 33554432000 1073741824 1073778376 140734718245008 140068325034872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13926] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13926/stat : 13926 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468784 9856040960 28294 33554432000 1073741824 1073778376 140734718245008 140068323982280 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13927] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13927/stat : 13927 (java) S 13905 13908 9389 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110468833 9856040960 28294 33554432000 1073741824 1073778376 140734718245008 140068322829480 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 2.31 2.23 2.19 3/213 13927
/proc/meminfo: memFree=29432484/32872528 swapFree=16700/1645768
[pid=13908] ppid=13905 vsize=9625040 CPUtime=3.96 cores=0,2,4,6
/proc/13908/stat : 13908 (java) S 13905 13908 9389 0 -1 4202496 10828 0 1 0 391 5 0 0 20 0 19 0 110468776 9856040960 29835 33554432000 1073741824 1073778376 140734718245008 140734718236144 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13908/statm: 2406260 29835 2273 9 0 2396937 0
[pid=13908/tid=13910] ppid=13905 vsize=9625040 CPUtime=3.03 cores=0,2,4,6
/proc/13908/task/13910/stat : 13910 (java) R 13905 13908 9389 0 -1 4202560 2450 0 1 0 300 3 0 0 20 0 19 0 110468778 9856040960 29835 33554432000 1073741824 1073778376 140734718245008 140068842807640 140068698975760 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=13908/tid=13911] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13911/stat : 13911 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 29835 33554432000 1073741824 1073778376 140734718245008 140068820908584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13912] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13912/stat : 13912 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 29835 33554432000 1073741824 1073778376 140734718245008 140068819855784 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13913] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13913/stat : 13913 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 29835 33554432000 1073741824 1073778376 140734718245008 140068818802984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13908/tid=13914] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13914/stat : 13914 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 29835 33554432000 1073741824 1073778376 140734718245008 140068817750184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13915] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13915/stat : 13915 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 29835 33554432000 1073741824 1073778376 140734718245008 140068816698408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13916] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13916/stat : 13916 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 29835 33554432000 1073741824 1073778376 140734718245008 140068345867176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13917] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13917/stat : 13917 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 29835 33554432000 1073741824 1073778376 140734718245008 140068344814376 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13918] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13918/stat : 13918 (java) S 13905 13908 9389 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 29835 33554432000 1073741824 1073778376 140734718245008 140068343761576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13919] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13919/stat : 13919 (java) S 13905 13908 9389 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 110468781 9856040960 29835 33554432000 1073741824 1073778376 140734718245008 140068331350504 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13920] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13920/stat : 13920 (java) S 13905 13908 9389 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110468782 9856040960 29835 33554432000 1073741824 1073778376 140734718245008 140068330296568 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13921] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13921/stat : 13921 (java) S 13905 13908 9389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110468782 9856040960 29835 33554432000 1073741824 1073778376 140734718245008 140068329243656 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13922] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13922/stat : 13922 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468784 9856040960 29835 33554432000 1073741824 1073778376 140734718245008 140068328192144 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13923] ppid=13905 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/13908/task/13923/stat : 13923 (java) S 13905 13908 9389 0 -1 4202560 2140 0 0 0 40 0 0 0 20 0 19 0 110468784 9856040960 29835 33554432000 1073741824 1073778376 140734718245008 140068327140280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13924] ppid=13905 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/13908/task/13924/stat : 13924 (java) S 13905 13908 9389 0 -1 4202560 4960 0 0 0 47 2 0 0 20 0 19 0 110468784 9856040960 29835 33554432000 1073741824 1073778376 140734718245008 140068326087480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13908/tid=13925] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13925/stat : 13925 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468784 9856040960 29835 33554432000 1073741824 1073778376 140734718245008 140068325034872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13926] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13926/stat : 13926 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468784 9856040960 29835 33554432000 1073741824 1073778376 140734718245008 140068323982280 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13927] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13927/stat : 13927 (java) S 13905 13908 9389 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110468833 9856040960 29835 33554432000 1073741824 1073778376 140734718245008 140068322829480 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 9625040

[startup+6.30081 s]
/proc/loadavg: 2.29 2.22 2.19 3/213 13927
/proc/meminfo: memFree=29424048/32872528 swapFree=16700/1645768
[pid=13908] ppid=13905 vsize=9625040 CPUtime=7.19 cores=0,2,4,6
/proc/13908/stat : 13908 (java) S 13905 13908 9389 0 -1 4202496 10833 0 1 0 713 6 0 0 20 0 19 0 110468776 9856040960 31243 33554432000 1073741824 1073778376 140734718245008 140734718236144 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13908/statm: 2406260 31243 2273 9 0 2396937 0
[pid=13908/tid=13910] ppid=13905 vsize=9625040 CPUtime=6.21 cores=0,2,4,6
/proc/13908/task/13910/stat : 13910 (java) R 13905 13908 9389 0 -1 4202560 2455 0 1 0 618 3 0 0 20 0 19 0 110468778 9856040960 31243 33554432000 1073741824 1073778376 140734718245008 140068842798800 140068698930628 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13911] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13911/stat : 13911 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 31243 33554432000 1073741824 1073778376 140734718245008 140068820908584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13912] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13912/stat : 13912 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 31243 33554432000 1073741824 1073778376 140734718245008 140068819855784 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13913] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13913/stat : 13913 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 31243 33554432000 1073741824 1073778376 140734718245008 140068818802984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13908/tid=13914] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13914/stat : 13914 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 31243 33554432000 1073741824 1073778376 140734718245008 140068817750184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13915] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13915/stat : 13915 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 31243 33554432000 1073741824 1073778376 140734718245008 140068816698408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13916] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13916/stat : 13916 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 31243 33554432000 1073741824 1073778376 140734718245008 140068345867176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13917] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13917/stat : 13917 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 31243 33554432000 1073741824 1073778376 140734718245008 140068344814376 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13918] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13918/stat : 13918 (java) S 13905 13908 9389 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110468780 9856040960 31243 33554432000 1073741824 1073778376 140734718245008 140068343761576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13919] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13919/stat : 13919 (java) S 13905 13908 9389 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 110468781 9856040960 31243 33554432000 1073741824 1073778376 140734718245008 140068331350504 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13920] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13920/stat : 13920 (java) S 13905 13908 9389 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110468782 9856040960 31243 33554432000 1073741824 1073778376 140734718245008 140068330296568 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13921] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13921/stat : 13921 (java) S 13905 13908 9389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110468782 9856040960 31243 33554432000 1073741824 1073778376 140734718245008 140068329243656 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13922] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13922/stat : 13922 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468784 9856040960 31243 33554432000 1073741824 1073778376 140734718245008 140068328192144 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13923] ppid=13905 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/13908/task/13923/stat : 13923 (java) S 13905 13908 9389 0 -1 4202560 2140 0 0 0 41 0 0 0 20 0 19 0 110468784 9856040960 31243 33554432000 1073741824 1073778376 140734718245008 140068327140280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13924] ppid=13905 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/13908/task/13924/stat : 13924 (java) S 13905 13908 9389 0 -1 4202560 4960 0 0 0 49 2 0 0 20 0 19 0 110468784 9856040960 31243 33554432000 1073741824 1073778376 140734718245008 140068326087480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13908/tid=13925] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13925/stat : 13925 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468784 9856040960 31243 33554432000 1073741824 1073778376 140734718245008 140068325034872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13926] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13926/stat : 13926 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468784 9856040960 31243 33554432000 1073741824 1073778376 140734718245008 140068323982280 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13927] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13927/stat : 13927 (java) S 13905 13908 9389 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110468833 9856040960 31243 33554432000 1073741824 1073778376 140734718245008 140068322829480 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.19
Current children cumulated vsize (KiB) 9625040


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

[pid=13908/tid=13926] ppid=13905 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/13908/task/13926/stat : 13926 (java) S 13905 13908 9389 0 -1 4202560 101 0 0 0 31 32 0 0 20 0 19 0 110468784 9856040960 111479 33554432000 1073741824 1073778376 140734718245008 140068323982280 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13927] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13927/stat : 13927 (java) S 13905 13908 9389 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110468833 9856040960 111479 33554432000 1073741824 1073778376 140734718245008 140068322829480 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1728.43
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.20 2.27 2.23 3/213 14059
/proc/meminfo: memFree=29440684/32872528 swapFree=16700/1645768
[pid=13908] ppid=13905 vsize=9625040 CPUtime=1788.6 cores=0,2,4,6
/proc/13908/stat : 13908 (java) S 13905 13908 9389 0 -1 4202496 13903 0 1 0 178752 108 0 0 20 0 19 0 110468776 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140734718236144 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13908/statm: 2406260 110361 2295 9 0 2396937 0
[pid=13908/tid=13910] ppid=13905 vsize=9625040 CPUtime=1774.08 cores=0,2,4,6
/proc/13908/task/13910/stat : 13910 (java) R 13905 13908 9389 0 -1 4202560 2524 0 1 0 177376 32 0 0 20 0 19 0 110468778 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068842806608 140068698898792 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13911] ppid=13905 vsize=9625040 CPUtime=0.85 cores=0,2,4,6
/proc/13908/task/13911/stat : 13911 (java) S 13905 13908 9389 0 -1 4202560 256 0 0 0 78 7 0 0 20 0 19 0 110468780 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068820908584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13912] ppid=13905 vsize=9625040 CPUtime=0.85 cores=0,2,4,6
/proc/13908/task/13912/stat : 13912 (java) S 13905 13908 9389 0 -1 4202560 231 0 0 0 75 10 0 0 20 0 19 0 110468780 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068819855784 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13913] ppid=13905 vsize=9625040 CPUtime=0.81 cores=0,2,4,6
/proc/13908/task/13913/stat : 13913 (java) S 13905 13908 9389 0 -1 4202560 377 0 0 0 73 8 0 0 20 0 19 0 110468780 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068818802984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13914] ppid=13905 vsize=9625040 CPUtime=0.81 cores=0,2,4,6
/proc/13908/task/13914/stat : 13914 (java) S 13905 13908 9389 0 -1 4202560 351 0 0 0 71 10 0 0 20 0 19 0 110468780 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068817750184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13915] ppid=13905 vsize=9625040 CPUtime=0.92 cores=0,2,4,6
/proc/13908/task/13915/stat : 13915 (java) S 13905 13908 9389 0 -1 4202560 523 0 0 0 79 13 0 0 20 0 19 0 110468780 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068816698408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13908/tid=13916] ppid=13905 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/13908/task/13916/stat : 13916 (java) S 13905 13908 9389 0 -1 4202560 175 0 0 0 77 7 0 0 20 0 19 0 110468780 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068345867176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13917] ppid=13905 vsize=9625040 CPUtime=0.87 cores=0,2,4,6
/proc/13908/task/13917/stat : 13917 (java) S 13905 13908 9389 0 -1 4202560 216 0 0 0 79 8 0 0 20 0 19 0 110468780 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068344814376 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13908/tid=13918] ppid=13905 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/13908/task/13918/stat : 13918 (java) S 13905 13908 9389 0 -1 4202560 394 0 0 0 97 10 0 0 20 0 19 0 110468780 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068343761576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13919] ppid=13905 vsize=9625040 CPUtime=1.61 cores=0,2,4,6
/proc/13908/task/13919/stat : 13919 (java) S 13905 13908 9389 0 -1 4202560 383 0 0 0 158 3 0 0 20 0 19 0 110468781 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068331350504 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13920] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13920/stat : 13920 (java) S 13905 13908 9389 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110468782 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068330296568 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13921] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13921/stat : 13921 (java) S 13905 13908 9389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110468782 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068329243656 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13922] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13922/stat : 13922 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468784 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068328192144 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13923] ppid=13905 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/13908/task/13923/stat : 13923 (java) S 13905 13908 9389 0 -1 4202560 2142 0 0 0 42 0 0 0 20 0 19 0 110468784 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068327140280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13924] ppid=13905 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/13908/task/13924/stat : 13924 (java) S 13905 13908 9389 0 -1 4202560 4965 0 0 0 53 2 0 0 20 0 19 0 110468784 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068326087480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13908/tid=13925] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13925/stat : 13925 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468784 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068325034872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13926] ppid=13905 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/13908/task/13926/stat : 13926 (java) S 13905 13908 9389 0 -1 4202560 103 0 0 0 33 33 0 0 20 0 19 0 110468784 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068323982280 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13927] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13927/stat : 13927 (java) S 13905 13908 9389 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110468833 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068322829480 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1788.6
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.8 s]
/proc/loadavg: 2.17 2.26 2.22 4/213 14059
/proc/meminfo: memFree=29440560/32872528 swapFree=16700/1645768
[pid=13908] ppid=13905 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/13908/stat : 13908 (java) S 13905 13908 9389 0 -1 4202496 13905 0 1 0 179901 108 0 0 20 0 19 0 110468776 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140734718236144 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13908/statm: 2406260 110361 2295 9 0 2396937 0
[pid=13908/tid=13910] ppid=13905 vsize=9625040 CPUtime=1785.55 cores=0,2,4,6
/proc/13908/task/13910/stat : 13910 (java) R 13905 13908 9389 0 -1 4202560 2524 0 1 0 178522 33 0 0 20 0 19 0 110468778 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068842806608 140068698898181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13911] ppid=13905 vsize=9625040 CPUtime=0.85 cores=0,2,4,6
/proc/13908/task/13911/stat : 13911 (java) S 13905 13908 9389 0 -1 4202560 256 0 0 0 78 7 0 0 20 0 19 0 110468780 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068820908584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13912] ppid=13905 vsize=9625040 CPUtime=0.85 cores=0,2,4,6
/proc/13908/task/13912/stat : 13912 (java) S 13905 13908 9389 0 -1 4202560 231 0 0 0 75 10 0 0 20 0 19 0 110468780 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068819855784 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13913] ppid=13905 vsize=9625040 CPUtime=0.81 cores=0,2,4,6
/proc/13908/task/13913/stat : 13913 (java) S 13905 13908 9389 0 -1 4202560 377 0 0 0 73 8 0 0 20 0 19 0 110468780 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068818802984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13914] ppid=13905 vsize=9625040 CPUtime=0.81 cores=0,2,4,6
/proc/13908/task/13914/stat : 13914 (java) S 13905 13908 9389 0 -1 4202560 351 0 0 0 71 10 0 0 20 0 19 0 110468780 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068817750184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13915] ppid=13905 vsize=9625040 CPUtime=0.92 cores=0,2,4,6
/proc/13908/task/13915/stat : 13915 (java) S 13905 13908 9389 0 -1 4202560 523 0 0 0 79 13 0 0 20 0 19 0 110468780 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068816698408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13908/tid=13916] ppid=13905 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/13908/task/13916/stat : 13916 (java) S 13905 13908 9389 0 -1 4202560 175 0 0 0 77 7 0 0 20 0 19 0 110468780 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068345867176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13917] ppid=13905 vsize=9625040 CPUtime=0.87 cores=0,2,4,6
/proc/13908/task/13917/stat : 13917 (java) S 13905 13908 9389 0 -1 4202560 216 0 0 0 79 8 0 0 20 0 19 0 110468780 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068344814376 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13908/tid=13918] ppid=13905 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/13908/task/13918/stat : 13918 (java) S 13905 13908 9389 0 -1 4202560 394 0 0 0 97 10 0 0 20 0 19 0 110468780 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068343761576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13919] ppid=13905 vsize=9625040 CPUtime=1.61 cores=0,2,4,6
/proc/13908/task/13919/stat : 13919 (java) S 13905 13908 9389 0 -1 4202560 383 0 0 0 158 3 0 0 20 0 19 0 110468781 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068331350504 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13920] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13920/stat : 13920 (java) S 13905 13908 9389 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110468782 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068330296568 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13921] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13921/stat : 13921 (java) S 13905 13908 9389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110468782 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068329243656 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13922] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13922/stat : 13922 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468784 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068328192144 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13923] ppid=13905 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/13908/task/13923/stat : 13923 (java) S 13905 13908 9389 0 -1 4202560 2142 0 0 0 42 0 0 0 20 0 19 0 110468784 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068327140280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13924] ppid=13905 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/13908/task/13924/stat : 13924 (java) S 13905 13908 9389 0 -1 4202560 4965 0 0 0 53 2 0 0 20 0 19 0 110468784 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068326087480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13908/tid=13925] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13925/stat : 13925 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110468784 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068325034872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13926] ppid=13905 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/13908/task/13926/stat : 13926 (java) S 13905 13908 9389 0 -1 4202560 105 0 0 0 33 33 0 0 20 0 19 0 110468784 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068323982280 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13927] ppid=13905 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13927/stat : 13927 (java) S 13905 13908 9389 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 110468833 9856040960 110361 33554432000 1073741824 1073778376 140734718245008 140068322829480 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 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 13908 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1793.91 s]
/proc/loadavg: 2.17 2.26 2.22 4/213 14059
/proc/meminfo: memFree=29440560/32872528 swapFree=16700/1645768
[pid=13908] ppid=13905 vsize=9758168 CPUtime=1800.32 cores=0,2,4,6
/proc/13908/stat : 13908 (java) S 13905 13908 9389 0 -1 4202496 14012 0 1 0 179924 108 0 0 20 0 20 0 110468776 9992364032 110462 33554432000 1073741824 1073778376 140734718245008 140734718236144 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13908/statm: 2439542 110462 2296 9 0 2430219 0
[pid=13908/tid=13910] ppid=13905 vsize=9758168 CPUtime=1785.56 cores=0,2,4,6
/proc/13908/task/13910/stat : 13910 (java) S 13905 13908 9389 0 -1 4202560 2525 0 1 0 178523 33 0 0 20 0 20 0 110468778 9992364032 110462 33554432000 1073741824 1073778376 140734718245008 140068842808728 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13911] ppid=13905 vsize=9758168 CPUtime=0.86 cores=0,2,4,6
/proc/13908/task/13911/stat : 13911 (java) S 13905 13908 9389 0 -1 4202560 256 0 0 0 79 7 0 0 20 0 20 0 110468780 9992364032 110462 33554432000 1073741824 1073778376 140734718245008 140068820908584 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13912] ppid=13905 vsize=9758168 CPUtime=0.86 cores=0,2,4,6
/proc/13908/task/13912/stat : 13912 (java) S 13905 13908 9389 0 -1 4202560 255 0 0 0 76 10 0 0 20 0 20 0 110468780 9992364032 110462 33554432000 1073741824 1073778376 140734718245008 140068819855784 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13913] ppid=13905 vsize=9758168 CPUtime=0.82 cores=0,2,4,6
/proc/13908/task/13913/stat : 13913 (java) S 13905 13908 9389 0 -1 4202560 385 0 0 0 74 8 0 0 20 0 20 0 110468780 9992364032 110462 33554432000 1073741824 1073778376 140734718245008 140068818802984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13908/tid=13914] ppid=13905 vsize=9758168 CPUtime=0.83 cores=0,2,4,6
/proc/13908/task/13914/stat : 13914 (java) S 13905 13908 9389 0 -1 4202560 360 0 0 0 73 10 0 0 20 0 20 0 110468780 9992364032 110462 33554432000 1073741824 1073778376 140734718245008 140068817750184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13915] ppid=13905 vsize=9758168 CPUtime=0.93 cores=0,2,4,6
/proc/13908/task/13915/stat : 13915 (java) S 13905 13908 9389 0 -1 4202560 524 0 0 0 80 13 0 0 20 0 20 0 110468780 9992364032 110462 33554432000 1073741824 1073778376 140734718245008 140068816698408 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13908/tid=13916] ppid=13905 vsize=9758168 CPUtime=0.85 cores=0,2,4,6
/proc/13908/task/13916/stat : 13916 (java) S 13905 13908 9389 0 -1 4202560 175 0 0 0 78 7 0 0 20 0 20 0 110468780 9992364032 110462 33554432000 1073741824 1073778376 140734718245008 140068345867176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13917] ppid=13905 vsize=9758168 CPUtime=0.89 cores=0,2,4,6
/proc/13908/task/13917/stat : 13917 (java) S 13905 13908 9389 0 -1 4202560 216 0 0 0 81 8 0 0 20 0 20 0 110468780 9992364032 110462 33554432000 1073741824 1073778376 140734718245008 140068344814376 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13908/tid=13918] ppid=13905 vsize=9758168 CPUtime=1.1 cores=0,2,4,6
/proc/13908/task/13918/stat : 13918 (java) S 13905 13908 9389 0 -1 4202560 418 0 0 0 100 10 0 0 20 0 20 0 110468780 9992364032 110462 33554432000 1073741824 1073778376 140734718245008 140068343761576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13908/tid=13919] ppid=13905 vsize=9758168 CPUtime=1.61 cores=0,2,4,6
/proc/13908/task/13919/stat : 13919 (java) S 13905 13908 9389 0 -1 4202560 390 0 0 0 158 3 0 0 20 0 20 0 110468781 9992364032 110462 33554432000 1073741824 1073778376 140734718245008 140068331350504 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13920] ppid=13905 vsize=9758168 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13920/stat : 13920 (java) S 13905 13908 9389 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 110468782 9992364032 110462 33554432000 1073741824 1073778376 140734718245008 140068330296568 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13921] ppid=13905 vsize=9758168 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13921/stat : 13921 (java) S 13905 13908 9389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 110468782 9992364032 110462 33554432000 1073741824 1073778376 140734718245008 140068329243656 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13908/tid=13922] ppid=13905 vsize=9758168 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13922/stat : 13922 (java) S 13905 13908 9389 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 110468784 9992364032 110462 33554432000 1073741824 1073778376 140734718245008 140068328192144 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13923] ppid=13905 vsize=9758168 CPUtime=0.42 cores=0,2,4,6
/proc/13908/task/13923/stat : 13923 (java) S 13905 13908 9389 0 -1 4202560 2142 0 0 0 42 0 0 0 20 0 20 0 110468784 9992364032 110462 33554432000 1073741824 1073778376 140734718245008 140068327140280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13924] ppid=13905 vsize=9758168 CPUtime=0.58 cores=0,2,4,6
/proc/13908/task/13924/stat : 13924 (java) S 13905 13908 9389 0 -1 4202560 4966 0 0 0 56 2 0 0 20 0 20 0 110468784 9992364032 110462 33554432000 1073741824 1073778376 140734718245008 140068326087480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13908/tid=13925] ppid=13905 vsize=9758168 CPUtime=0 cores=0,2,4,6
/proc/13908/task/13925/stat : 13925 (java) S 13905 13908 9389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 110468784 9992364032 110462 33554432000 1073741824 1073778376 140734718245008 140068325034872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13908/tid=13926] ppid=13905 vsize=9758168 CPUtime=0.66 cores=0,2,4,6
/proc/13908/task/13926/stat : 13926 (java) S 13905 13908 9389 0 -1 4202560 105 0 0 0 33 33 0 0 20 0 20 0 110468784 9992364032 110462 33554432000 1073741824 1073778376 140734718245008 140068323982280 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 9758168

Child status: 143

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

Real time (s): 1793.91
CPU time (s): 1800.32
CPU user time (s): 1799.24
CPU system time (s): 1.08
CPU usage (%): 100.357
Max. virtual memory (cumulated for all children) (KiB): 9758168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.72
system time used= 1.58176
maximum resident set size= 821392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14013
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39338
involuntary context switches= 16988

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1315 second user time and 13.9249 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-07 09:42:33
IDJOB=4084599
IDBENCH=90142
IDSOLVER=2546
FILE ID=node124/4084599-1465285353
RUNJOBID= node124-1465261984-9405
PBS_JOBID= 19843296
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 17c4ca9a6493665b57c1ccd2ab23e03d
RANDOM SEED=1169799645

node124.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.707
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.707
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.707
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.707
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.707
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:        29540880 kB
Buffers:          113268 kB
Cached:           233672 kB
SwapCached:          824 kB
Active:           678128 kB
Inactive:         241044 kB
Active(anon):     573752 kB
Inactive(anon):     1252 kB
Active(file):     104376 kB
Inactive(file):   239792 kB
Unevictable:     1645768 kB
Mlocked:           16700 kB
SwapTotal:      67108856 kB
SwapFree:       67097716 kB
Dirty:              1612 kB
Writeback:             0 kB
AnonPages:       2248464 kB
Mapped:            15468 kB
Shmem:                 0 kB
Slab:             601292 kB
SReclaimable:      45116 kB
SUnreclaim:       556176 kB
KernelStack:        1576 kB
PageTables:         8800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2617940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2193408 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71724 MiB
End job on node124 at 2016-06-07 10:12:27