Trace number 4080522

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 Res+CP PB16? (TO) 1800.87 894.78

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K132.opb
MD5SUM88bbbc51beb841161685a00fb4d24f63
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 variables15708
Total number of constraints15974
Number of constraints which are clauses15842
Number of constraints which are cardinality constraints (but not clauses)132
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint132
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 133
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.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.09/0.10	c version PB16.v20160501
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.13	c Pseudo Boolean Optimization by upper bound
0.09/0.13	c ManyCore solver with 2 solvers running in parallel
0.09/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.13	c Expensive reason simplification
0.09/0.13	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.13	c No reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/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.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-4080522-1465284220.opb
0.09/0.13	c reading problem ... 
0.09/0.13	c  no objective function found
1.87/0.80	c ... done. Wall clock time 0.674s.
1.87/0.80	c declared #vars     15708
1.87/0.80	c #constraints  15974
1.87/0.81	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.87/0.81	c constraints type 
1.87/0.81	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 14137
1.87/0.81	c org.sat4j.minisat.constraints.card.MinWatchCard => 132
1.87/0.81	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
1.87/0.81	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1703
1.87/0.81	c 15974 constraints processed.
1.87/0.81	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.87/0.81	c constraints type 
1.87/0.81	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1703
1.87/0.81	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 14137
1.87/0.81	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 132
1.87/0.81	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
1.87/0.81	c 15974 constraints processed.
10.15/3.64	c cleaning 2494 clauses out of 4992 with flag 26187/5000
15.47/6.15	c cleaning 4181 clauses out of 8489 with flag 61468/11000
21.95/9.36	c cleaning 5613 clauses out of 11301 with flag 101238/18000
28.57/12.62	c cleaning 6812 clauses out of 13687 with flag 145223/26000
36.30/16.41	c cleaning 7845 clauses out of 15872 with flag 195503/35000
46.39/21.32	c cleaning 8974 clauses out of 18023 with flag 249327/45000
56.39/26.33	c cleaning 9004 clauses out of 20045 with flag 306342/56002
66.75/31.48	c cleaning 9966 clauses out of 23035 with flag 371794/68000
79.32/37.62	c cleaning 10784 clauses out of 26064 with flag 438999/81000
92.89/44.35	c cleaning 11627 clauses out of 29274 with flag 514563/95000
107.93/51.82	c cleaning 12313 clauses out of 32643 with flag 591724/110003
124.83/60.28	c cleaning 13305 clauses out of 36326 with flag 677678/126002
141.16/68.34	c cleaning 13761 clauses out of 40017 with flag 766063/143002
158.44/76.92	c cleaning 14853 clauses out of 44251 with flag 856965/161000
177.33/86.31	c cleaning 15706 clauses out of 48395 with flag 956973/180001
200.23/97.72	c cleaning 16650 clauses out of 52685 with flag 1067147/200001
221.43/108.34	c cleaning 17563 clauses out of 57031 with flag 1186629/221000
243.66/119.90	c cleaning 18158 clauses out of 61464 with flag 1306731/243000
267.74/131.87	c cleaning 19199 clauses out of 66308 with flag 1432198/266006
291.73/143.89	c cleaning 19724 clauses out of 71102 with flag 1571468/290000
320.77/158.22	c cleaning 20579 clauses out of 76377 with flag 1714362/315002
348.52/172.05	c cleaning 21477 clauses out of 81796 with flag 1866224/341000
374.92/185.27	c cleaning 0 clauses out of 5000 with flag 0/5000
377.84/186.41	c cleaning 22594 clauses out of 87318 with flag 2022076/368001
407.82/201.37	c cleaning 23293 clauses out of 92724 with flag 2183231/396003
444.22/220.09	c cleaning 24075 clauses out of 98428 with flag 2352332/425001
480.53/238.14	c cleaning 25049 clauses out of 104350 with flag 2520435/455002
519.48/257.52	c cleaning 26091 clauses out of 110302 with flag 2702074/486003
557.02/276.23	c cleaning 26653 clauses out of 116207 with flag 2894691/518000
597.07/296.04	c cleaning 27877 clauses out of 122554 with flag 3093398/551000
638.70/316.75	c cleaning 28805 clauses out of 128679 with flag 3303780/585002
681.86/338.14	c cleaning 29189 clauses out of 134875 with flag 3520353/620005
724.26/359.37	c cleaning 30289 clauses out of 141681 with flag 3753423/656001
771.04/382.52	c cleaning 31542 clauses out of 148388 with flag 3990273/693002
821.73/407.55	c cleaning 31748 clauses out of 154843 with flag 4227817/731000
874.13/433.53	c cleaning 33190 clauses out of 162093 with flag 4480048/770000
932.68/463.47	c cleaning 34021 clauses out of 168903 with flag 4738532/810000
987.15/490.41	c cleaning 34975 clauses out of 175884 with flag 5013956/851002
1039.55/516.60	c cleaning 35818 clauses out of 182907 with flag 5303691/893002
1097.56/545.47	c cleaning 36779 clauses out of 190086 with flag 5583021/936000
1156.41/574.61	c cleaning 37635 clauses out of 197307 with flag 5876395/980003
1216.10/604.31	c cleaning 38719 clauses out of 204669 with flag 6179913/1025001
1280.13/636.05	c cleaning 39409 clauses out of 211949 with flag 6499471/1071000
1358.35/675.65	c cleaning 40302 clauses out of 219536 with flag 6824929/1118000
1434.68/713.50	c cleaning 41604 clauses out of 227232 with flag 7165450/1166001
1513.50/752.63	c cleaning 42010 clauses out of 234625 with flag 7500880/1215000
1594.23/792.74	c cleaning 43263 clauses out of 242615 with flag 7851949/1265000
1680.31/835.31	c cleaning 44022 clauses out of 250350 with flag 8240666/1316000
1767.93/878.72	c cleaning 45210 clauses out of 258327 with flag 8630938/1368000
1800.11/894.70	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.11/894.70	c starts		: 8517
1800.11/894.70	c conflicts		: 1391777
1800.11/894.70	c decisions		: 30911616
1800.11/894.70	c propagations		: 1101991283
1800.11/894.70	c inspects		: 3284946128
1800.11/894.70	c shortcuts		: 0
1800.11/894.70	c learnt literals	: 133
1800.11/894.70	c learnt binary clauses	: 84380
1800.11/894.70	c learnt ternary clauses	: 79601
1800.11/894.70	c learnt constraints	: 1391644
1800.11/894.70	c ignored constraints	: 0
1800.11/894.70	c root simplifications	: 0
1800.11/894.70	c removed literals (reason simplification)	: 12236217
1800.11/894.70	c reason swapping (by a shorter reason)	: 0
1800.11/894.70	c Calls to reduceDB	: 48
1800.11/894.70	c Number of update (reduction) of LBD	: 1050594
1800.11/894.70	c Imported unit clauses	: 0
1800.11/894.70	c number of reductions to clauses (during analyze)	: 0
1800.11/894.70	c number of learned constraints concerned by reduction	: 0
1800.11/894.70	c number of learning phase by resolution	: 0
1800.11/894.70	c number of learning phase by cutting planes	: 0
1800.11/894.70	c speed (assignments/second)	: 1232834.4710852162
1800.11/894.70	c non guided choices	7180
1800.11/894.76	c learnt constraints type 
1800.11/894.76	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 84380
1800.11/894.76	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 152514
1800.11/894.76	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.11/894.76	c starts		: 28
1800.11/894.76	c conflicts		: 8250
1800.11/894.76	c decisions		: 137285
1800.11/894.76	c propagations		: 7512518
1800.11/894.76	c inspects		: 499887174
1800.11/894.76	c shortcuts		: 0
1800.11/894.76	c learnt literals	: 0
1800.11/894.76	c learnt binary clauses	: 0
1800.11/894.76	c learnt ternary clauses	: 19
1800.11/894.76	c learnt constraints	: 8249
1800.11/894.76	c ignored constraints	: 0
1800.11/894.76	c root simplifications	: 0
1800.11/894.76	c removed literals (reason simplification)	: 0
1800.11/894.76	c reason swapping (by a shorter reason)	: 0
1800.11/894.76	c Calls to reduceDB	: 1
1800.11/894.76	c Number of update (reduction) of LBD	: 0
1800.11/894.76	c Imported unit clauses	: 0
1800.11/894.76	c number of reductions to clauses (during analyze)	: 0
1800.11/894.76	c number of learned constraints concerned by reduction	: 0
1800.11/894.76	c number of learning phase by resolution	: 0
1800.11/894.76	c number of learning phase by cutting planes	: 0
1800.11/894.76	c speed (assignments/second)	: 8403.959611869439
1800.11/894.76	c non guided choices	1178
1800.11/894.76	c learnt constraints type 
1800.11/894.76	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 379
1800.11/894.76	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1317
1800.11/894.76	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6553
1800.11/894.76	s UNKNOWN
1800.11/894.76	c Total wall clock time (in seconds): 894.631

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-4080522-1465284220/watcher-4080522-1465284220 -o /tmp/evaluation-result-4080522-1465284220/solver-4080522-1465284220 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465277942-23731 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080522-1465284220.opb 

pid=24943
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: 4.28 4.27 4.21 3/197 24946
/proc/meminfo: memFree=27100352/32872528 swapFree=15784/1434320
[pid=24946] ppid=24943 vsize=9160 CPUtime=0 cores=0,2,4,6
/proc/24946/stat : 24946 (java) R 24943 24946 23715 0 -1 4202496 468 0 0 0 0 0 0 0 20 0 1 0 110355233 9379840 122 33554432000 1073741824 1073778376 140734800894480 140734800891608 214373011936 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24946/statm: 2290 126 98 9 0 38 0

[startup+0.100063 s]
/proc/loadavg: 4.28 4.27 4.21 3/197 24946
/proc/meminfo: memFree=27100352/32872528 swapFree=15784/1434320
[pid=24946] ppid=24943 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/24946/stat : 24946 (java) S 24943 24946 23715 0 -1 4202496 4348 0 1 0 8 1 0 0 20 0 18 0 110355233 9787879424 5474 33554432000 1073741824 1073778376 140734800894480 140734800885616 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24946/statm: 2389619 5474 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200216 s]
/proc/loadavg: 4.28 4.27 4.21 3/197 24946
/proc/meminfo: memFree=27100352/32872528 swapFree=15784/1434320
[pid=24946] ppid=24943 vsize=9558904 CPUtime=0.25 cores=0,2,4,6
/proc/24946/stat : 24946 (java) S 24943 24946 23715 0 -1 4202496 5424 0 1 0 24 1 0 0 20 0 18 0 110355233 9788317696 7335 33554432000 1073741824 1073778376 140734800894480 140734800885616 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24946/statm: 2389726 7362 2202 9 0 2380403 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558904

[startup+0.300232 s]
/proc/loadavg: 4.28 4.27 4.21 3/197 24946
/proc/meminfo: memFree=27100352/32872528 swapFree=15784/1434320
[pid=24946] ppid=24943 vsize=9558476 CPUtime=0.53 cores=0,2,4,6
/proc/24946/stat : 24946 (java) S 24943 24946 23715 0 -1 4202496 6858 0 1 0 52 1 0 0 20 0 18 0 110355233 9787879424 10239 33554432000 1073741824 1073778376 140734800894480 140734800885616 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24946/statm: 2389619 10239 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558476

[startup+0.700191 s]
/proc/loadavg: 4.28 4.27 4.21 3/197 24946
/proc/meminfo: memFree=27100352/32872528 swapFree=15784/1434320
[pid=24946] ppid=24943 vsize=9558476 CPUtime=1.57 cores=0,2,4,6
/proc/24946/stat : 24946 (java) S 24943 24946 23715 0 -1 4202496 20133 0 1 0 152 5 0 0 20 0 18 0 110355233 9787879424 39310 33554432000 1073741824 1073778376 140734800894480 140734800885616 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24946/statm: 2389619 39310 2251 9 0 2380296 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 9558476

[startup+1.50086 s]
/proc/loadavg: 4.28 4.27 4.21 7/219 24968
/proc/meminfo: memFree=26912600/32872528 swapFree=15784/1434320
[pid=24946] ppid=24943 vsize=9824732 CPUtime=4.64 cores=0,2,4,6
/proc/24946/stat : 24946 (java) S 24943 24946 23715 0 -1 4202496 27781 0 1 0 457 7 0 0 20 0 22 0 110355233 10060525568 50362 33554432000 1073741824 1073778376 140734800894480 140734800885616 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24946/statm: 2456183 50362 2269 9 0 2446860 0
[pid=24946/tid=24948] ppid=24943 vsize=9824732 CPUtime=0.77 cores=0,2,4,6
/proc/24946/task/24948/stat : 24948 (java) S 24943 24946 23715 0 -1 4202560 2477 0 1 0 74 3 0 0 20 0 22 0 110355234 10060525568 50362 33554432000 1073741824 1073778376 140734800894480 140590484845432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24949] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24949/stat : 24949 (java) S 24943 24946 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110355235 10060525568 50362 33554432000 1073741824 1073778376 140734800894480 140590457297704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24950] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24950/stat : 24950 (java) S 24943 24946 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110355235 10060525568 50362 33554432000 1073741824 1073778376 140734800894480 140590456244904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24951] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24951/stat : 24951 (java) S 24943 24946 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110355235 10060525568 50362 33554432000 1073741824 1073778376 140734800894480 140590455192616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24946/tid=24952] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24952/stat : 24952 (java) S 24943 24946 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110355235 10060525568 50362 33554432000 1073741824 1073778376 140734800894480 140590454139816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24953] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24953/stat : 24953 (java) S 24943 24946 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110355235 10060525568 50362 33554432000 1073741824 1073778376 140734800894480 140590324427048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24954] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24954/stat : 24954 (java) S 24943 24946 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110355235 10060525568 50362 33554432000 1073741824 1073778376 140734800894480 140590323374248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24955] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24955/stat : 24955 (java) S 24943 24946 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110355235 10060525568 50362 33554432000 1073741824 1073778376 140734800894480 140590322321960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24956] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24956/stat : 24956 (java) S 24943 24946 23715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 110355235 10060525568 50362 33554432000 1073741824 1073778376 140734800894480 140590321269160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24957] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24957/stat : 24957 (java) S 24943 24946 23715 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 110355236 10060525568 50362 33554432000 1073741824 1073778376 140734800894480 140589838756584 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24958] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24958/stat : 24958 (java) S 24943 24946 23715 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 110355237 10060525568 50362 33554432000 1073741824 1073778376 140734800894480 140589837702648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24959] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24959/stat : 24959 (java) S 24943 24946 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110355237 10060525568 50362 33554432000 1073741824 1073778376 140734800894480 140589836650248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24960] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24960/stat : 24960 (java) S 24943 24946 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110355239 10060525568 50362 33554432000 1073741824 1073778376 140734800894480 140589835598736 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24961] ppid=24943 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/24946/task/24961/stat : 24961 (java) R 24943 24946 23715 0 -1 4202560 11041 0 0 0 119 2 0 0 20 0 22 0 110355239 10060525568 50362 33554432000 1073741824 1073778376 140734800894480 140589834539376 140590491086513 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24962] ppid=24943 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/24946/task/24962/stat : 24962 (java) R 24943 24946 23715 0 -1 4202560 12929 0 0 0 124 2 0 0 20 0 22 0 110355239 10060525568 50362 33554432000 1073741824 1073778376 140734800894480 140589833486376 140590491227982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24963] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24963/stat : 24963 (java) S 24943 24946 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110355239 10060525568 50362 33554432000 1073741824 1073778376 140734800894480 140589832440440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24964] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24964/stat : 24964 (java) S 24943 24946 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110355239 10060525568 50362 33554432000 1073741824 1073778376 140734800894480 140589831387848 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24965] ppid=24943 vsize=9824732 CPUtime=0.67 cores=0,2,4,6
/proc/24946/task/24965/stat : 24965 (java) R 24943 24946 23715 0 -1 4202560 16 0 0 0 67 0 0 0 20 0 22 0 110355314 10060525568 50362 33554432000 1073741824 1073778376 140734800894480 140589830332016 140590336674108 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24946/tid=24966] ppid=24943 vsize=9824732 CPUtime=0.66 cores=0,2,4,6
/proc/24946/task/24966/stat : 24966 (java) R 24943 24946 23715 0 -1 4202560 39 0 0 0 66 0 0 0 20 0 22 0 110355314 10060525568 50362 33554432000 1073741824 1073778376 140734800894480 140589829277984 140590335505916 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24967] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24967/stat : 24967 (java) S 24943 24946 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110355316 10060525568 50362 33554432000 1073741824 1073778376 140734800894480 140589828228776 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24946/tid=24968] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24968/stat : 24968 (java) S 24943 24946 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110355316 10060525568 50362 33554432000 1073741824 1073778376 140734800894480 140589827175976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 9824732

[startup+3.10085 s]
/proc/loadavg: 4.28 4.27 4.21 5/219 24968
/proc/meminfo: memFree=26893168/32872528 swapFree=15784/1434320
[pid=24946] ppid=24943 vsize=9824732 CPUtime=9.13 cores=0,2,4,6
/proc/24946/stat : 24946 (java) S 24943 24946 23715 0 -1 4202496 29926 0 1 0 902 11 0 0 20 0 22 0 110355233 10060525568 57651 33554432000 1073741824 1073778376 140734800894480 140734800885616 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24946/statm: 2456183 57651 2287 9 0 2446860 0
[pid=24946/tid=24948] ppid=24943 vsize=9824732 CPUtime=0.77 cores=0,2,4,6
/proc/24946/task/24948/stat : 24948 (java) S 24943 24946 23715 0 -1 4202560 2477 0 1 0 74 3 0 0 20 0 22 0 110355234 10060525568 57651 33554432000 1073741824 1073778376 140734800894480 140590484845432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24949] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24949/stat : 24949 (java) S 24943 24946 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110355235 10060525568 57651 33554432000 1073741824 1073778376 140734800894480 140590457297704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24950] ppid=24943 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/24946/task/24950/stat : 24950 (java) S 24943 24946 23715 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 110355235 10060525568 57651 33554432000 1073741824 1073778376 140734800894480 140590456244904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24951] ppid=24943 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/24946/task/24951/stat : 24951 (java) S 24943 24946 23715 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 110355235 10060525568 57651 33554432000 1073741824 1073778376 140734800894480 140590455192616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24952] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24952/stat : 24952 (java) S 24943 24946 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110355235 10060525568 57651 33554432000 1073741824 1073778376 140734800894480 140590454139816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24953] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24953/stat : 24953 (java) S 24943 24946 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110355235 10060525568 57651 33554432000 1073741824 1073778376 140734800894480 140590324427048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24954] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24954/stat : 24954 (java) S 24943 24946 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110355235 10060525568 57651 33554432000 1073741824 1073778376 140734800894480 140590323374248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24955] ppid=24943 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/24946/task/24955/stat : 24955 (java) S 24943 24946 23715 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 110355235 10060525568 57651 33554432000 1073741824 1073778376 140734800894480 140590322321960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24956] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24956/stat : 24956 (java) S 24943 24946 23715 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 110355235 10060525568 57651 33554432000 1073741824 1073778376 140734800894480 140590321269160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24946/tid=24957] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24957/stat : 24957 (java) S 24943 24946 23715 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 110355236 10060525568 57651 33554432000 1073741824 1073778376 140734800894480 140589838756584 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24958] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24958/stat : 24958 (java) S 24943 24946 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110355237 10060525568 57651 33554432000 1073741824 1073778376 140734800894480 140589837702648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24959] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24959/stat : 24959 (java) S 24943 24946 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110355237 10060525568 57651 33554432000 1073741824 1073778376 140734800894480 140589836650248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24960] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24960/stat : 24960 (java) S 24943 24946 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110355239 10060525568 57651 33554432000 1073741824 1073778376 140734800894480 140589835598736 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24961] ppid=24943 vsize=9824732 CPUtime=1.78 cores=0,2,4,6
/proc/24946/task/24961/stat : 24961 (java) S 24943 24946 23715 0 -1 4202560 11428 0 0 0 175 3 0 0 20 0 22 0 110355239 10060525568 57651 33554432000 1073741824 1073778376 140734800894480 140589834545336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24962] ppid=24943 vsize=9824732 CPUtime=1.96 cores=0,2,4,6
/proc/24946/task/24962/stat : 24962 (java) S 24943 24946 23715 0 -1 4202560 14547 0 0 0 193 3 0 0 20 0 22 0 110355239 10060525568 57651 33554432000 1073741824 1073778376 140734800894480 140589833492536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24963] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24963/stat : 24963 (java) S 24943 24946 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110355239 10060525568 57651 33554432000 1073741824 1073778376 140734800894480 140589832440440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24964] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24964/stat : 24964 (java) S 24943 24946 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110355239 10060525568 57651 33554432000 1073741824 1073778376 140734800894480 140589831387848 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24965] ppid=24943 vsize=9824732 CPUtime=2.22 cores=0,2,4,6
/proc/24946/task/24965/stat : 24965 (java) R 24943 24946 23715 0 -1 4202560 17 0 0 0 222 0 0 0 20 0 22 0 110355314 10060525568 57651 33554432000 1073741824 1073778376 140734800894480 140589830333272 140590336674228 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24946/tid=24966] ppid=24943 vsize=9824732 CPUtime=2.2 cores=0,2,4,6
/proc/24946/task/24966/stat : 24966 (java) R 24943 24946 23715 0 -1 4202560 42 0 0 0 220 0 0 0 20 0 22 0 110355314 10060525568 57651 33554432000 1073741824 1073778376 140734800894480 140589829280360 140590336756791 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24967] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24967/stat : 24967 (java) S 24943 24946 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110355316 10060525568 57651 33554432000 1073741824 1073778376 140734800894480 140589828228776 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24946/tid=24968] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24968/stat : 24968 (java) S 24943 24946 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110355316 10060525568 57651 33554432000 1073741824 1073778376 140734800894480 140589827175976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 9.13
Current children cumulated vsize (KiB) 9824732

[startup+6.30099 s]
/proc/loadavg: 4.25 4.26 4.21 5/219 24968
/proc/meminfo: memFree=26707932/32872528 swapFree=15784/1434320
[pid=24946] ppid=24943 vsize=9824732 CPUtime=15.86 cores=0,2,4,6
/proc/24946/stat : 24946 (java) S 24943 24946 23715 0 -1 4202496 30295 0 1 0 1567 19 0 0 20 0 22 0 110355233 10060525568 99839 33554432000 1073741824 1073778376 140734800894480 140734800885616 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24946/statm: 2456183 99839 2292 9 0 2446860 0
[pid=24946/tid=24948] ppid=24943 vsize=9824732 CPUtime=0.77 cores=0,2,4,6
/proc/24946/task/24948/stat : 24948 (java) S 24943 24946 23715 0 -1 4202560 2477 0 1 0 74 3 0 0 20 0 22 0 110355234 10060525568 99839 33554432000 1073741824 1073778376 140734800894480 140590484845432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24949] ppid=24943 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/24946/task/24949/stat : 24949 (java) S 24943 24946 23715 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 22 0 110355235 10060525568 99839 33554432000 1073741824 1073778376 140734800894480 140590457297704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24950] ppid=24943 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24946/task/24950/stat : 24950 (java) S 24943 24946 23715 0 -1 4202560 41 0 0 0 3 1 0 0 20 0 22 0 110355235 10060525568 99839 33554432000 1073741824 1073778376 140734800894480 140590456244904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24951] ppid=24943 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24946/task/24951/stat : 24951 (java) S 24943 24946 23715 0 -1 4202560 41 0 0 0 3 2 0 0 20 0 22 0 110355235 10060525568 99839 33554432000 1073741824 1073778376 140734800894480 140590455192616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24952] ppid=24943 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/24946/task/24952/stat : 24952 (java) S 24943 24946 23715 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 22 0 110355235 10060525568 99839 33554432000 1073741824 1073778376 140734800894480 140590454139816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24953] ppid=24943 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/24946/task/24953/stat : 24953 (java) S 24943 24946 23715 0 -1 4202560 34 0 0 0 3 2 0 0 20 0 22 0 110355235 10060525568 99839 33554432000 1073741824 1073778376 140734800894480 140590324427048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24954] ppid=24943 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/24946/task/24954/stat : 24954 (java) S 24943 24946 23715 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 110355235 10060525568 99839 33554432000 1073741824 1073778376 140734800894480 140590323374248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24955] ppid=24943 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/24946/task/24955/stat : 24955 (java) S 24943 24946 23715 0 -1 4202560 33 0 0 0 3 1 0 0 20 0 22 0 110355235 10060525568 99839 33554432000 1073741824 1073778376 140734800894480 140590322321960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24956] ppid=24943 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/24946/task/24956/stat : 24956 (java) S 24943 24946 23715 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 22 0 110355235 10060525568 99839 33554432000 1073741824 1073778376 140734800894480 140590321269160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24946/tid=24957] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24957/stat : 24957 (java) S 24943 24946 23715 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 110355236 10060525568 99839 33554432000 1073741824 1073778376 140734800894480 140589838756584 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24958] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24958/stat : 24958 (java) S 24943 24946 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110355237 10060525568 99839 33554432000 1073741824 1073778376 140734800894480 140589837702648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24959] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24959/stat : 24959 (java) S 24943 24946 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110355237 10060525568 99839 33554432000 1073741824 1073778376 140734800894480 140589836650248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24960] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24960/stat : 24960 (java) S 24943 24946 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110355239 10060525568 99839 33554432000 1073741824 1073778376 140734800894480 140589835598736 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24961] ppid=24943 vsize=9824732 CPUtime=1.92 cores=0,2,4,6

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


[startup+882.308 s]
/proc/loadavg: 4.23 4.24 4.20 5/219 25124
/proc/meminfo: memFree=23421244/32872528 swapFree=15784/1434320
[pid=24946] ppid=24943 vsize=9824732 CPUtime=1775.14 cores=0,2,4,6
/proc/24946/stat : 24946 (java) S 24943 24946 23715 0 -1 4202496 46125 0 1 0 177284 230 0 0 20 0 22 0 110355233 10060525568 1007945 33554432000 1073741824 1073778376 140734800894480 140734800885616 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24946/statm: 2456183 1007945 2301 9 0 2446860 0
[pid=24946/tid=24948] ppid=24943 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/24946/task/24948/stat : 24948 (java) S 24943 24946 23715 0 -1 4202560 2488 0 1 0 78 4 0 0 20 0 22 0 110355234 10060525568 1007945 33554432000 1073741824 1073778376 140734800894480 140590484845432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24946/tid=24949] ppid=24943 vsize=9824732 CPUtime=3.61 cores=0,2,4,6
/proc/24946/task/24949/stat : 24949 (java) S 24943 24946 23715 0 -1 4202560 1663 0 0 0 341 20 0 0 20 0 22 0 110355235 10060525568 1007945 33554432000 1073741824 1073778376 140734800894480 140590457297704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24950] ppid=24943 vsize=9824732 CPUtime=3.93 cores=0,2,4,6
/proc/24946/task/24950/stat : 24950 (java) S 24943 24946 23715 0 -1 4202560 1091 0 0 0 371 22 0 0 20 0 22 0 110355235 10060525568 1007945 33554432000 1073741824 1073778376 140734800894480 140590456244904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24951] ppid=24943 vsize=9824732 CPUtime=3.93 cores=0,2,4,6
/proc/24946/task/24951/stat : 24951 (java) S 24943 24946 23715 0 -1 4202560 1100 0 0 0 373 20 0 0 20 0 22 0 110355235 10060525568 1007945 33554432000 1073741824 1073778376 140734800894480 140590455192616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24952] ppid=24943 vsize=9824732 CPUtime=3.85 cores=0,2,4,6
/proc/24946/task/24952/stat : 24952 (java) S 24943 24946 23715 0 -1 4202560 1654 0 0 0 364 21 0 0 20 0 22 0 110355235 10060525568 1007945 33554432000 1073741824 1073778376 140734800894480 140590454139816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24953] ppid=24943 vsize=9824732 CPUtime=3.65 cores=0,2,4,6
/proc/24946/task/24953/stat : 24953 (java) S 24943 24946 23715 0 -1 4202560 1216 0 0 0 341 24 0 0 20 0 22 0 110355235 10060525568 1007945 33554432000 1073741824 1073778376 140734800894480 140590324427048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24954] ppid=24943 vsize=9824732 CPUtime=3.37 cores=0,2,4,6
/proc/24946/task/24954/stat : 24954 (java) S 24943 24946 23715 0 -1 4202560 1612 0 0 0 316 21 0 0 20 0 22 0 110355235 10060525568 1007945 33554432000 1073741824 1073778376 140734800894480 140590323374248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24955] ppid=24943 vsize=9824732 CPUtime=3.83 cores=0,2,4,6
/proc/24946/task/24955/stat : 24955 (java) S 24943 24946 23715 0 -1 4202560 1208 0 0 0 362 21 0 0 20 0 22 0 110355235 10060525568 1007945 33554432000 1073741824 1073778376 140734800894480 140590322321960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24956] ppid=24943 vsize=9824732 CPUtime=3.7 cores=0,2,4,6
/proc/24946/task/24956/stat : 24956 (java) S 24943 24946 23715 0 -1 4202560 1467 0 0 0 350 20 0 0 20 0 22 0 110355235 10060525568 1007945 33554432000 1073741824 1073778376 140734800894480 140590321269160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24957] ppid=24943 vsize=9824732 CPUtime=7.15 cores=0,2,4,6
/proc/24946/task/24957/stat : 24957 (java) S 24943 24946 23715 0 -1 4202560 3145 0 0 0 707 8 0 0 20 0 22 0 110355236 10060525568 1007945 33554432000 1073741824 1073778376 140734800894480 140589838756584 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24946/tid=24958] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24958/stat : 24958 (java) S 24943 24946 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110355237 10060525568 1007945 33554432000 1073741824 1073778376 140734800894480 140589837702648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24959] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24959/stat : 24959 (java) S 24943 24946 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110355237 10060525568 1007945 33554432000 1073741824 1073778376 140734800894480 140589836650248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24960] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24960/stat : 24960 (java) S 24943 24946 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110355239 10060525568 1007945 33554432000 1073741824 1073778376 140734800894480 140589835598736 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24961] ppid=24943 vsize=9824732 CPUtime=1.97 cores=0,2,4,6
/proc/24946/task/24961/stat : 24961 (java) S 24943 24946 23715 0 -1 4202560 11436 0 0 0 194 3 0 0 20 0 22 0 110355239 10060525568 1007945 33554432000 1073741824 1073778376 140734800894480 140589834545336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24962] ppid=24943 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/24946/task/24962/stat : 24962 (java) S 24943 24946 23715 0 -1 4202560 14564 0 0 0 245 3 0 0 20 0 22 0 110355239 10060525568 1007945 33554432000 1073741824 1073778376 140734800894480 140589833492536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24963] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24963/stat : 24963 (java) S 24943 24946 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110355239 10060525568 1007945 33554432000 1073741824 1073778376 140734800894480 140589832440440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24964] ppid=24943 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/24946/task/24964/stat : 24964 (java) S 24943 24946 23715 0 -1 4202560 51 0 0 0 19 16 0 0 20 0 22 0 110355239 10060525568 1007945 33554432000 1073741824 1073778376 140734800894480 140589831387848 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24965] ppid=24943 vsize=9824732 CPUtime=866.43 cores=0,2,4,6
/proc/24946/task/24965/stat : 24965 (java) R 24943 24946 23715 0 -1 4202560 62 0 0 0 86628 15 0 0 20 0 22 0 110355314 10060525568 1007945 33554432000 1073741824 1073778376 140734800894480 140589830324496 140590336608128 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24946/tid=24966] ppid=24943 vsize=9824732 CPUtime=866.36 cores=0,2,4,6
/proc/24946/task/24966/stat : 24966 (java) R 24943 24946 23715 0 -1 4202560 2102 0 0 0 86590 46 0 0 20 0 22 0 110355314 10060525568 1007945 33554432000 1073741824 1073778376 140734800894480 140589829278144 140590336756797 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24967] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24967/stat : 24967 (java) S 24943 24946 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110355316 10060525568 1007945 33554432000 1073741824 1073778376 140734800894480 140589828228776 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24946/tid=24968] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24968/stat : 24968 (java) S 24943 24946 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110355316 10060525568 1007945 33554432000 1073741824 1073778376 140734800894480 140589827175976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1775.14
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+894.701 s]
/proc/loadavg: 4.18 4.23 4.20 5/219 25125
/proc/meminfo: memFree=23357776/32872528 swapFree=15784/1434320
[pid=24946] ppid=24943 vsize=9824732 CPUtime=1800.11 cores=0,2,4,6
/proc/24946/stat : 24946 (java) S 24943 24946 23715 0 -1 4202496 46139 0 1 0 179780 231 0 0 20 0 22 0 110355233 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140734800885616 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24946/statm: 2456183 1009993 2301 9 0 2446860 0
[pid=24946/tid=24948] ppid=24943 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/24946/task/24948/stat : 24948 (java) S 24943 24946 23715 0 -1 4202560 2488 0 1 0 78 4 0 0 20 0 22 0 110355234 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140590484845432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24946/tid=24949] ppid=24943 vsize=9824732 CPUtime=3.7 cores=0,2,4,6
/proc/24946/task/24949/stat : 24949 (java) S 24943 24946 23715 0 -1 4202560 1665 0 0 0 350 20 0 0 20 0 22 0 110355235 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140590457297704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24950] ppid=24943 vsize=9824732 CPUtime=3.97 cores=0,2,4,6
/proc/24946/task/24950/stat : 24950 (java) S 24943 24946 23715 0 -1 4202560 1092 0 0 0 375 22 0 0 20 0 22 0 110355235 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140590456244904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24951] ppid=24943 vsize=9824732 CPUtime=3.98 cores=0,2,4,6
/proc/24946/task/24951/stat : 24951 (java) S 24943 24946 23715 0 -1 4202560 1102 0 0 0 377 21 0 0 20 0 22 0 110355235 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140590455192616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24952] ppid=24943 vsize=9824732 CPUtime=3.94 cores=0,2,4,6
/proc/24946/task/24952/stat : 24952 (java) S 24943 24946 23715 0 -1 4202560 1658 0 0 0 373 21 0 0 20 0 22 0 110355235 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140590454139816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24953] ppid=24943 vsize=9824732 CPUtime=3.67 cores=0,2,4,6
/proc/24946/task/24953/stat : 24953 (java) S 24943 24946 23715 0 -1 4202560 1218 0 0 0 342 25 0 0 20 0 22 0 110355235 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140590324427048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24954] ppid=24943 vsize=9824732 CPUtime=3.39 cores=0,2,4,6
/proc/24946/task/24954/stat : 24954 (java) S 24943 24946 23715 0 -1 4202560 1613 0 0 0 318 21 0 0 20 0 22 0 110355235 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140590323374248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24955] ppid=24943 vsize=9824732 CPUtime=3.86 cores=0,2,4,6
/proc/24946/task/24955/stat : 24955 (java) S 24943 24946 23715 0 -1 4202560 1209 0 0 0 365 21 0 0 20 0 22 0 110355235 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140590322321960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24956] ppid=24943 vsize=9824732 CPUtime=3.72 cores=0,2,4,6
/proc/24946/task/24956/stat : 24956 (java) S 24943 24946 23715 0 -1 4202560 1467 0 0 0 352 20 0 0 20 0 22 0 110355235 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140590321269160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24957] ppid=24943 vsize=9824732 CPUtime=7.15 cores=0,2,4,6
/proc/24946/task/24957/stat : 24957 (java) S 24943 24946 23715 0 -1 4202560 3145 0 0 0 707 8 0 0 20 0 22 0 110355236 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589838756584 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24946/tid=24958] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24958/stat : 24958 (java) S 24943 24946 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110355237 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589837702648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24959] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24959/stat : 24959 (java) S 24943 24946 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110355237 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589836650248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24960] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24960/stat : 24960 (java) S 24943 24946 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110355239 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589835598736 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24961] ppid=24943 vsize=9824732 CPUtime=1.97 cores=0,2,4,6
/proc/24946/task/24961/stat : 24961 (java) S 24943 24946 23715 0 -1 4202560 11436 0 0 0 194 3 0 0 20 0 22 0 110355239 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589834545336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24962] ppid=24943 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/24946/task/24962/stat : 24962 (java) S 24943 24946 23715 0 -1 4202560 14564 0 0 0 245 3 0 0 20 0 22 0 110355239 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589833492536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24963] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24963/stat : 24963 (java) S 24943 24946 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110355239 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589832440440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24964] ppid=24943 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/24946/task/24964/stat : 24964 (java) S 24943 24946 23715 0 -1 4202560 51 0 0 0 19 16 0 0 20 0 22 0 110355239 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589831387848 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24965] ppid=24943 vsize=9824732 CPUtime=878.73 cores=0,2,4,6
/proc/24946/task/24965/stat : 24965 (java) R 24943 24946 23715 0 -1 4202560 63 0 0 0 87858 15 0 0 20 0 22 0 110355314 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589830332192 140590336534146 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24946/tid=24966] ppid=24943 vsize=9824732 CPUtime=878.67 cores=0,2,4,6
/proc/24946/task/24966/stat : 24966 (java) R 24943 24946 23715 0 -1 4202560 2102 0 0 0 87821 46 0 0 20 0 22 0 110355314 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589829278528 140590337038508 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24967] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24967/stat : 24967 (java) S 24943 24946 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110355316 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589828228776 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24946/tid=24968] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24968/stat : 24968 (java) S 24943 24946 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110355316 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589827175976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 9824732

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 24946 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+894.701 s]
/proc/loadavg: 4.18 4.23 4.20 5/219 25125
/proc/meminfo: memFree=23357776/32872528 swapFree=15784/1434320
[pid=24946] ppid=24943 vsize=9824732 CPUtime=1800.11 cores=0,2,4,6
/proc/24946/stat : 24946 (java) S 24943 24946 23715 0 -1 4202496 46139 0 1 0 179780 231 0 0 20 0 22 0 110355233 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140734800885616 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24946/statm: 2456183 1009993 2301 9 0 2446860 0
[pid=24946/tid=24948] ppid=24943 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/24946/task/24948/stat : 24948 (java) S 24943 24946 23715 0 -1 4202560 2488 0 1 0 78 4 0 0 20 0 22 0 110355234 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140590484845432 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24946/tid=24949] ppid=24943 vsize=9824732 CPUtime=3.7 cores=0,2,4,6
/proc/24946/task/24949/stat : 24949 (java) S 24943 24946 23715 0 -1 4202560 1665 0 0 0 350 20 0 0 20 0 22 0 110355235 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140590457297704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24950] ppid=24943 vsize=9824732 CPUtime=3.97 cores=0,2,4,6
/proc/24946/task/24950/stat : 24950 (java) S 24943 24946 23715 0 -1 4202560 1092 0 0 0 375 22 0 0 20 0 22 0 110355235 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140590456244904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24951] ppid=24943 vsize=9824732 CPUtime=3.98 cores=0,2,4,6
/proc/24946/task/24951/stat : 24951 (java) S 24943 24946 23715 0 -1 4202560 1102 0 0 0 377 21 0 0 20 0 22 0 110355235 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140590455192616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24952] ppid=24943 vsize=9824732 CPUtime=3.94 cores=0,2,4,6
/proc/24946/task/24952/stat : 24952 (java) S 24943 24946 23715 0 -1 4202560 1658 0 0 0 373 21 0 0 20 0 22 0 110355235 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140590454139816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24953] ppid=24943 vsize=9824732 CPUtime=3.67 cores=0,2,4,6
/proc/24946/task/24953/stat : 24953 (java) S 24943 24946 23715 0 -1 4202560 1218 0 0 0 342 25 0 0 20 0 22 0 110355235 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140590324427048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24954] ppid=24943 vsize=9824732 CPUtime=3.39 cores=0,2,4,6
/proc/24946/task/24954/stat : 24954 (java) S 24943 24946 23715 0 -1 4202560 1613 0 0 0 318 21 0 0 20 0 22 0 110355235 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140590323374248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24955] ppid=24943 vsize=9824732 CPUtime=3.86 cores=0,2,4,6
/proc/24946/task/24955/stat : 24955 (java) S 24943 24946 23715 0 -1 4202560 1209 0 0 0 365 21 0 0 20 0 22 0 110355235 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140590322321960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24956] ppid=24943 vsize=9824732 CPUtime=3.72 cores=0,2,4,6
/proc/24946/task/24956/stat : 24956 (java) S 24943 24946 23715 0 -1 4202560 1467 0 0 0 352 20 0 0 20 0 22 0 110355235 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140590321269160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24957] ppid=24943 vsize=9824732 CPUtime=7.15 cores=0,2,4,6
/proc/24946/task/24957/stat : 24957 (java) S 24943 24946 23715 0 -1 4202560 3145 0 0 0 707 8 0 0 20 0 22 0 110355236 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589838756584 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24946/tid=24958] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24958/stat : 24958 (java) S 24943 24946 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110355237 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589837702648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24959] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24959/stat : 24959 (java) S 24943 24946 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110355237 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589836650248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24960] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24960/stat : 24960 (java) S 24943 24946 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110355239 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589835598736 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24961] ppid=24943 vsize=9824732 CPUtime=1.97 cores=0,2,4,6
/proc/24946/task/24961/stat : 24961 (java) S 24943 24946 23715 0 -1 4202560 11436 0 0 0 194 3 0 0 20 0 22 0 110355239 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589834545336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24962] ppid=24943 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/24946/task/24962/stat : 24962 (java) S 24943 24946 23715 0 -1 4202560 14564 0 0 0 245 3 0 0 20 0 22 0 110355239 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589833492536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24946/tid=24963] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24963/stat : 24963 (java) S 24943 24946 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110355239 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589832440440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24964] ppid=24943 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/24946/task/24964/stat : 24964 (java) S 24943 24946 23715 0 -1 4202560 51 0 0 0 19 16 0 0 20 0 22 0 110355239 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589831387848 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24946/tid=24965] ppid=24943 vsize=9824732 CPUtime=878.73 cores=0,2,4,6
/proc/24946/task/24965/stat : 24965 (java) R 24943 24946 23715 0 -1 4202560 63 0 0 0 87858 15 0 0 20 0 22 0 110355314 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589830332192 140590336534146 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24946/tid=24966] ppid=24943 vsize=9824732 CPUtime=878.67 cores=0,2,4,6
/proc/24946/task/24966/stat : 24966 (java) R 24943 24946 23715 0 -1 4202560 2102 0 0 0 87821 46 0 0 20 0 22 0 110355314 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589829278528 140590337038508 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24946/tid=24967] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24967/stat : 24967 (java) S 24943 24946 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110355316 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589828228776 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24946/tid=24968] ppid=24943 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24968/stat : 24968 (java) S 24943 24946 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110355316 10060525568 1009993 33554432000 1073741824 1073778376 140734800894480 140589827175976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 894.78
CPU time (s): 1800.87
CPU user time (s): 1798.03
CPU system time (s): 2.84157
CPU usage (%): 201.264
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.03
system time used= 2.84157
maximum resident set size= 4040088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46172
page faults= 1
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24050
involuntary context switches= 25476

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.07308 second user time and 7.08492 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-07 09:23:40
IDJOB=4080522
IDBENCH=90214
IDSOLVER=2543
FILE ID=node130/4080522-1465284220
RUNJOBID= node130-1465277942-23731
PBS_JOBID= 19843313
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K132.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080522-1465284220/watcher-4080522-1465284220 -o /tmp/evaluation-result-4080522-1465284220/solver-4080522-1465284220 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465277942-23731 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4080522-1465284220.opb

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

MD5SUM BENCH= 88bbbc51beb841161685a00fb4d24f63
RANDOM SEED=845590319

node130.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.261
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	: 5332.52
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.261
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.261
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.261
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.61
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.261
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.261
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.261
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.261
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:        27100880 kB
Buffers:          117336 kB
Cached:           211748 kB
SwapCached:         1724 kB
Active:          3342176 kB
Inactive:         237384 kB
Active(anon):    3251408 kB
Inactive(anon):     1432 kB
Active(file):      90768 kB
Inactive(file):   235952 kB
Unevictable:     1434320 kB
Mlocked:           15784 kB
SwapTotal:      67108856 kB
SwapFree:       67098432 kB
Dirty:              1996 kB
Writeback:             0 kB
AnonPages:       4735332 kB
Mapped:            15464 kB
Shmem:                 0 kB
Slab:             601992 kB
SReclaimable:      45564 kB
SUnreclaim:       556428 kB
KernelStack:        1808 kB
PageTables:        13376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5086988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4648960 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= 71744 MiB
End job on node130 at 2016-06-07 09:38:35