Trace number 4080539

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.53 895.776

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K177.opb
MD5SUM8e674dc671e8e6c3e0a48d5fff5f7edd
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 variables21063
Total number of constraints21419
Number of constraints which are clauses21242
Number of constraints which are cardinality constraints (but not clauses)177
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint177
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 178
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4080539-1465281483.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  no objective function found
2.01/0.89	c ... done. Wall clock time 0.78s.
2.01/0.89	c declared #vars     21063
2.01/0.89	c #constraints  21419
2.01/0.89	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
2.01/0.89	c constraints type 
2.01/0.89	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 18952
2.01/0.89	c org.sat4j.minisat.constraints.card.MinWatchCard => 177
2.01/0.89	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
2.01/0.89	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2288
2.01/0.89	c 21419 constraints processed.
2.01/0.89	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
2.01/0.89	c constraints type 
2.01/0.89	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2288
2.01/0.89	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 18952
2.01/0.89	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 177
2.01/0.89	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
2.01/0.89	c 21419 constraints processed.
10.32/4.14	c cleaning 2437 clauses out of 4990 with flag 22543/5000
17.57/7.43	c cleaning 4258 clauses out of 8551 with flag 51460/11000
25.16/11.13	c cleaning 5627 clauses out of 11284 with flag 86301/18001
33.89/15.42	c cleaning 6780 clauses out of 13652 with flag 128797/26000
43.52/20.24	c cleaning 7934 clauses out of 15869 with flag 174538/35000
53.32/25.17	c cleaning 8238 clauses out of 17933 with flag 222967/45001
66.29/31.55	c cleaning 8805 clauses out of 20686 with flag 277155/56000
80.01/38.32	c cleaning 9593 clauses out of 23880 with flag 336958/68000
95.97/46.28	c cleaning 10509 clauses out of 27286 with flag 402602/81001
111.95/54.23	c cleaning 11389 clauses out of 30769 with flag 469663/95000
130.56/63.45	c cleaning 11989 clauses out of 34380 with flag 543087/110001
150.05/73.13	c cleaning 13156 clauses out of 38387 with flag 623421/126001
171.57/83.83	c cleaning 13578 clauses out of 42231 with flag 707057/143003
193.63/94.84	c cleaning 14597 clauses out of 46649 with flag 799809/161001
218.10/107.09	c cleaning 15380 clauses out of 51038 with flag 904465/180000
242.29/119.13	c cleaning 16174 clauses out of 55656 with flag 1008316/200002
269.30/132.99	c cleaning 17195 clauses out of 60478 with flag 1116308/221000
298.22/147.36	c cleaning 17752 clauses out of 65283 with flag 1229165/243001
328.19/162.27	c cleaning 18741 clauses out of 70529 with flag 1347422/266000
359.32/177.71	c cleaning 19617 clauses out of 75788 with flag 1472742/290000
393.14/194.54	c cleaning 20353 clauses out of 81169 with flag 1609200/315001
426.97/211.40	c cleaning 21068 clauses out of 86812 with flag 1749516/341000
442.96/219.36	c cleaning 0 clauses out of 5001 with flag 0/5001
465.17/230.13	c cleaning 22023 clauses out of 92748 with flag 1897686/368004
507.13/251.36	c cleaning 22705 clauses out of 98713 with flag 2046649/396003
546.66/271.05	c cleaning 23682 clauses out of 105008 with flag 2200180/425004
589.58/292.46	c cleaning 24601 clauses out of 111325 with flag 2359772/455003
638.29/316.66	c cleaning 25292 clauses out of 117721 with flag 2533362/486001
682.19/338.50	c cleaning 26119 clauses out of 124418 with flag 2702507/518000
727.18/360.93	c cleaning 26766 clauses out of 131296 with flag 2886821/551001
776.30/385.11	c cleaning 27757 clauses out of 138524 with flag 3072781/585000
829.70/411.52	c cleaning 28683 clauses out of 145765 with flag 3264210/620000
887.10/440.81	c cleaning 29595 clauses out of 153082 with flag 3467910/656001
944.68/469.57	c cleaning 30420 clauses out of 160487 with flag 3678654/693001
1004.40/499.26	c cleaning 31320 clauses out of 168068 with flag 3892362/731002
1066.66/530.19	c cleaning 32128 clauses out of 175743 with flag 4116849/770000
1129.53/561.42	c cleaning 33262 clauses out of 183615 with flag 4345725/810001
1195.46/594.07	c cleaning 33676 clauses out of 191352 with flag 4585331/851001
1268.20/630.00	c cleaning 34592 clauses out of 199673 with flag 4830917/893000
1341.24/666.22	c cleaning 35828 clauses out of 208077 with flag 5081440/936000
1406.23/698.79	c cleaning 36747 clauses out of 216250 with flag 5340328/980001
1483.65/738.37	c cleaning 37294 clauses out of 224501 with flag 5611089/1025000
1554.96/773.85	c cleaning 38784 clauses out of 233208 with flag 5878552/1071004
1624.58/808.60	c cleaning 39143 clauses out of 241418 with flag 6152084/1118001
1698.88/845.52	c cleaning 39786 clauses out of 250279 with flag 6436851/1166005
1775.26/883.38	c cleaning 40906 clauses out of 259488 with flag 6735103/1215001
1800.04/895.70	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.04/895.70	c starts		: 7146
1800.04/895.70	c conflicts		: 1232693
1800.04/895.70	c decisions		: 47055831
1800.04/895.70	c propagations		: 1255544682
1800.04/895.70	c inspects		: 3031179509
1800.04/895.70	c shortcuts		: 0
1800.04/895.70	c learnt literals	: 142
1800.04/895.70	c learnt binary clauses	: 104958
1800.04/895.70	c learnt ternary clauses	: 85071
1800.04/895.70	c learnt constraints	: 1232550
1800.04/895.70	c ignored constraints	: 0
1800.04/895.70	c root simplifications	: 0
1800.04/895.70	c removed literals (reason simplification)	: 8572932
1800.04/895.70	c reason swapping (by a shorter reason)	: 0
1800.04/895.70	c Calls to reduceDB	: 45
1800.04/895.70	c Number of update (reduction) of LBD	: 798365
1800.04/895.70	c Imported unit clauses	: 0
1800.04/895.70	c number of reductions to clauses (during analyze)	: 0
1800.04/895.70	c number of learned constraints concerned by reduction	: 0
1800.04/895.70	c number of learning phase by resolution	: 0
1800.04/895.70	c number of learning phase by cutting planes	: 0
1800.04/895.70	c speed (assignments/second)	: 1403188.1378662912
1800.04/895.70	c non guided choices	36647
1800.04/895.75	c learnt constraints type 
1800.04/895.75	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 104958
1800.04/895.75	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 131314
1800.04/895.75	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.04/895.75	c starts		: 28
1800.04/895.75	c conflicts		: 9518
1800.04/895.75	c decisions		: 209145
1800.04/895.75	c propagations		: 13114941
1800.04/895.75	c inspects		: 769123639
1800.04/895.75	c shortcuts		: 0
1800.04/895.75	c learnt literals	: 0
1800.04/895.75	c learnt binary clauses	: 0
1800.04/895.75	c learnt ternary clauses	: 61
1800.04/895.75	c learnt constraints	: 9518
1800.04/895.75	c ignored constraints	: 0
1800.04/895.75	c root simplifications	: 0
1800.04/895.75	c removed literals (reason simplification)	: 0
1800.04/895.75	c reason swapping (by a shorter reason)	: 0
1800.04/895.75	c Calls to reduceDB	: 1
1800.04/895.75	c Number of update (reduction) of LBD	: 0
1800.04/895.75	c Imported unit clauses	: 0
1800.04/895.75	c number of reductions to clauses (during analyze)	: 0
1800.04/895.75	c number of learned constraints concerned by reduction	: 0
1800.04/895.75	c number of learning phase by resolution	: 0
1800.04/895.75	c number of learning phase by cutting planes	: 0
1800.04/895.75	c speed (assignments/second)	: 14656.300114099502
1800.04/895.75	c non guided choices	3368
1800.04/895.75	c learnt constraints type 
1800.04/895.75	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 554
1800.04/895.75	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2145
1800.04/895.75	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6819
1800.04/895.75	s UNKNOWN
1800.04/895.75	c Total wall clock time (in seconds): 895.649

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-4080539-1465281483/watcher-4080539-1465281483 -o /tmp/evaluation-result-4080539-1465281483/solver-4080539-1465281483 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1465279688-19204 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080539-1465281483.opb 

pid=19570
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.98 3.98 3.85 4/197 19573
/proc/meminfo: memFree=31580528/32872528 swapFree=9100/9100
[pid=19573] ppid=19570 vsize=96324 CPUtime=0 cores=1,3,5,7
/proc/19573/stat : 19573 (java) S 19570 19573 14331 0 -1 4202496 1329 0 0 0 0 0 0 0 20 0 2 0 110079475 98635776 960 33554432000 1073741824 1073778376 140736564624912 140736564616048 243768787005 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19573/statm: 24065 961 729 9 0 16771 0
[pid=19573/tid=19574] ppid=19570 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19574/stat : 19574 (java) R 19570 19573 14331 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 110079475 98570240 977 33554432000 1073741824 1073778376 140736564624912 140220218527272 243765429632 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100115 s]
/proc/loadavg: 3.98 3.98 3.85 4/197 19573
/proc/meminfo: memFree=31580528/32872528 swapFree=9100/9100
[pid=19573] ppid=19570 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/19573/stat : 19573 (java) S 19570 19573 14331 0 -1 4202496 4561 0 1 0 9 1 0 0 20 0 18 0 110079475 9787879424 5673 33554432000 1073741824 1073778376 140736564624912 140736564616048 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19573/statm: 2389619 5673 2156 9 0 2380296 0
[pid=19573/tid=19574] ppid=19570 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/19573/task/19574/stat : 19574 (java) R 19570 19573 14331 0 -1 4202560 2443 0 1 0 6 1 0 0 20 0 18 0 110079475 9787879424 5673 33554432000 1073741824 1073778376 140736564624912 140220218530720 243768812813 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200288 s]
/proc/loadavg: 3.98 3.98 3.85 4/197 19573
/proc/meminfo: memFree=31580528/32872528 swapFree=9100/9100
[pid=19573] ppid=19570 vsize=9558476 CPUtime=0.31 cores=1,3,5,7
/proc/19573/stat : 19573 (java) S 19570 19573 14331 0 -1 4202496 6818 0 1 0 30 1 0 0 20 0 18 0 110079475 9787879424 8114 33554432000 1073741824 1073778376 140736564624912 140736564616048 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19573/statm: 2389619 8115 2220 9 0 2380296 0
[pid=19573/tid=19574] ppid=19570 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/19573/task/19574/stat : 19574 (java) R 19570 19573 14331 0 -1 4202560 2460 0 1 0 16 1 0 0 20 0 18 0 110079475 9787879424 8115 33554432000 1073741824 1073778376 140736564624912 140220218530720 140220221817747 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558476

[startup+0.300283 s]
/proc/loadavg: 3.98 3.98 3.85 4/197 19573
/proc/meminfo: memFree=31580528/32872528 swapFree=9100/9100
[pid=19573] ppid=19570 vsize=9558476 CPUtime=0.58 cores=1,3,5,7
/proc/19573/stat : 19573 (java) S 19570 19573 14331 0 -1 4202496 7325 0 1 0 56 2 0 0 20 0 18 0 110079475 9787879424 12369 33554432000 1073741824 1073778376 140736564624912 140736564616048 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19573/statm: 2389619 12369 2235 9 0 2380296 0
[pid=19573/tid=19574] ppid=19570 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/19573/task/19574/stat : 19574 (java) R 19570 19573 14331 0 -1 4202560 2468 0 1 0 26 1 0 0 20 0 18 0 110079475 9787879424 12369 33554432000 1073741824 1073778376 140736564624912 140220218530720 140220090786068 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9558476

[startup+0.700223 s]
/proc/loadavg: 3.98 3.98 3.85 4/197 19573
/proc/meminfo: memFree=31580528/32872528 swapFree=9100/9100
[pid=19573] ppid=19570 vsize=9558476 CPUtime=1.63 cores=1,3,5,7
/proc/19573/stat : 19573 (java) S 19570 19573 14331 0 -1 4202496 21089 0 1 0 157 6 0 0 20 0 18 0 110079475 9787879424 42141 33554432000 1073741824 1073778376 140736564624912 140736564616048 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19573/statm: 2389619 42141 2252 9 0 2380296 0
[pid=19573/tid=19574] ppid=19570 vsize=9558476 CPUtime=0.67 cores=1,3,5,7
/proc/19573/task/19574/stat : 19574 (java) R 19570 19573 14331 0 -1 4202560 2516 0 1 0 64 3 0 0 20 0 18 0 110079475 9787879424 42141 33554432000 1073741824 1073778376 140736564624912 140220218530720 140220090391864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 9558476

[startup+1.50086 s]
/proc/loadavg: 3.99 3.98 3.85 7/219 19595
/proc/meminfo: memFree=31292612/32872528 swapFree=9100/9100
[pid=19573] ppid=19570 vsize=9824732 CPUtime=4.58 cores=1,3,5,7
/proc/19573/stat : 19573 (java) S 19570 19573 14331 0 -1 4202496 23511 0 1 0 450 8 0 0 20 0 22 0 110079475 10060525568 52464 33554432000 1073741824 1073778376 140736564624912 140736564616048 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19573/statm: 2456183 52464 2283 9 0 2446860 0
[pid=19573/tid=19574] ppid=19570 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/19573/task/19574/stat : 19574 (java) S 19570 19573 14331 0 -1 4202560 2542 0 1 0 80 4 0 0 20 0 22 0 110079475 10060525568 52464 33554432000 1073741824 1073778376 140736564624912 140220218532728 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19573/tid=19576] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19576/stat : 19576 (java) S 19570 19573 14331 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 110079476 10060525568 52464 33554432000 1073741824 1073778376 140736564624912 140220062624168 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19573/tid=19577] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19577/stat : 19577 (java) S 19570 19573 14331 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 110079476 10060525568 52464 33554432000 1073741824 1073778376 140736564624912 140220061571624 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19578] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19578/stat : 19578 (java) S 19570 19573 14331 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 110079476 10060525568 52464 33554432000 1073741824 1073778376 140736564624912 140220060518568 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19573/tid=19579] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19579/stat : 19579 (java) S 19570 19573 14331 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 110079476 10060525568 52464 33554432000 1073741824 1073778376 140736564624912 140220059466024 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19580] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19580/stat : 19580 (java) S 19570 19573 14331 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 110079476 10060525568 52464 33554432000 1073741824 1073778376 140736564624912 140220058413992 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19573/tid=19581] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19581/stat : 19581 (java) S 19570 19573 14331 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 110079476 10060525568 52464 33554432000 1073741824 1073778376 140736564624912 140220057361448 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19582] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19582/stat : 19582 (java) S 19570 19573 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110079476 10060525568 52464 33554432000 1073741824 1073778376 140736564624912 140220056308392 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19573/tid=19583] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19583/stat : 19583 (java) S 19570 19573 14331 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 110079476 10060525568 52464 33554432000 1073741824 1073778376 140736564624912 140220055255848 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19573/tid=19584] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19584/stat : 19584 (java) S 19570 19573 14331 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 110079477 10060525568 52464 33554432000 1073741824 1073778376 140736564624912 140220042844520 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19585] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19585/stat : 19585 (java) S 19570 19573 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110079477 10060525568 52464 33554432000 1073741824 1073778376 140736564624912 140220041790840 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19586] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19586/stat : 19586 (java) S 19570 19573 14331 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 110079477 10060525568 52464 33554432000 1073741824 1073778376 140736564624912 140220040737672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19587] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19587/stat : 19587 (java) S 19570 19573 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110079479 10060525568 52464 33554432000 1073741824 1073778376 140736564624912 140220039686416 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19588] ppid=19570 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/19573/task/19588/stat : 19588 (java) S 19570 19573 14331 0 -1 4202560 7138 0 0 0 120 1 0 0 20 0 22 0 110079479 10060525568 52464 33554432000 1073741824 1073778376 140736564624912 140220038634296 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19589] ppid=19570 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/19573/task/19589/stat : 19589 (java) R 19570 19573 14331 0 -1 4202560 12392 0 0 0 117 2 0 0 20 0 22 0 110079479 10060525568 52464 33554432000 1073741824 1073778376 140736564624912 140220037581752 140220224375315 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19590] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19590/stat : 19590 (java) S 19570 19573 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110079479 10060525568 52464 33554432000 1073741824 1073778376 140736564624912 140220036528888 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19591] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19591/stat : 19591 (java) S 19570 19573 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110079479 10060525568 52464 33554432000 1073741824 1073778376 140736564624912 140220035476552 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19592] ppid=19570 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/19573/task/19592/stat : 19592 (java) R 19570 19573 14331 0 -1 4202560 19 0 0 0 58 0 0 0 20 0 22 0 110079564 10060525568 52464 33554432000 1073741824 1073778376 140736564624912 140220034321760 140220091007175 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=19573/tid=19593] ppid=19570 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/19573/task/19593/stat : 19593 (java) R 19570 19573 14331 0 -1 4202560 32 0 0 0 59 0 0 0 20 0 22 0 110079564 10060525568 52464 33554432000 1073741824 1073778376 140736564624912 140220033268056 140220091499856 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19573/tid=19594] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19594/stat : 19594 (java) S 19570 19573 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110079567 10060525568 52464 33554432000 1073741824 1073778376 140736564624912 140220032217896 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19573/tid=19595] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19595/stat : 19595 (java) S 19570 19573 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110079567 10060525568 52464 33554432000 1073741824 1073778376 140736564624912 140220031165352 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 9824732

[startup+3.101 s]
/proc/loadavg: 3.99 3.98 3.85 5/219 19595
/proc/meminfo: memFree=31219320/32872528 swapFree=9100/9100
[pid=19573] ppid=19570 vsize=9824732 CPUtime=8.26 cores=1,3,5,7
/proc/19573/stat : 19573 (java) S 19570 19573 14331 0 -1 4202496 24723 0 1 0 810 16 0 0 20 0 22 0 110079475 10060525568 92960 33554432000 1073741824 1073778376 140736564624912 140736564616048 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19573/statm: 2456183 92960 2288 9 0 2446860 0
[pid=19573/tid=19574] ppid=19570 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/19573/task/19574/stat : 19574 (java) S 19570 19573 14331 0 -1 4202560 2542 0 1 0 80 4 0 0 20 0 22 0 110079475 10060525568 92960 33554432000 1073741824 1073778376 140736564624912 140220218532728 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19573/tid=19576] ppid=19570 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19573/task/19576/stat : 19576 (java) S 19570 19573 14331 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 110079476 10060525568 92960 33554432000 1073741824 1073778376 140736564624912 140220062624168 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19573/tid=19577] ppid=19570 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/19573/task/19577/stat : 19577 (java) S 19570 19573 14331 0 -1 4202560 106 0 0 0 4 1 0 0 20 0 22 0 110079476 10060525568 92960 33554432000 1073741824 1073778376 140736564624912 140220061571624 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19578] ppid=19570 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19573/task/19578/stat : 19578 (java) S 19570 19573 14331 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 110079476 10060525568 92960 33554432000 1073741824 1073778376 140736564624912 140220060518568 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19579] ppid=19570 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19573/task/19579/stat : 19579 (java) S 19570 19573 14331 0 -1 4202560 113 0 0 0 3 0 0 0 20 0 22 0 110079476 10060525568 92960 33554432000 1073741824 1073778376 140736564624912 140220059466024 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19580] ppid=19570 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19573/task/19580/stat : 19580 (java) S 19570 19573 14331 0 -1 4202560 31 0 0 0 3 1 0 0 20 0 22 0 110079476 10060525568 92960 33554432000 1073741824 1073778376 140736564624912 140220058413992 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19581] ppid=19570 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/19573/task/19581/stat : 19581 (java) S 19570 19573 14331 0 -1 4202560 107 0 0 0 3 0 0 0 20 0 22 0 110079476 10060525568 92960 33554432000 1073741824 1073778376 140736564624912 140220057361448 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19582] ppid=19570 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19573/task/19582/stat : 19582 (java) S 19570 19573 14331 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 22 0 110079476 10060525568 92960 33554432000 1073741824 1073778376 140736564624912 140220056308392 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19583] ppid=19570 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/19573/task/19583/stat : 19583 (java) S 19570 19573 14331 0 -1 4202560 90 0 0 0 2 0 0 0 20 0 22 0 110079476 10060525568 92960 33554432000 1073741824 1073778376 140736564624912 140220055255848 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19573/tid=19584] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19584/stat : 19584 (java) S 19570 19573 14331 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 22 0 110079477 10060525568 92960 33554432000 1073741824 1073778376 140736564624912 140220042844520 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19585] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19585/stat : 19585 (java) S 19570 19573 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110079477 10060525568 92960 33554432000 1073741824 1073778376 140736564624912 140220041790840 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19586] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19586/stat : 19586 (java) S 19570 19573 14331 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 110079477 10060525568 92960 33554432000 1073741824 1073778376 140736564624912 140220040737672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19587] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19587/stat : 19587 (java) S 19570 19573 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110079479 10060525568 92960 33554432000 1073741824 1073778376 140736564624912 140220039686416 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19588] ppid=19570 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/19573/task/19588/stat : 19588 (java) S 19570 19573 14331 0 -1 4202560 7174 0 0 0 137 2 0 0 20 0 22 0 110079479 10060525568 92960 33554432000 1073741824 1073778376 140736564624912 140220038634296 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19589] ppid=19570 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/19573/task/19589/stat : 19589 (java) S 19570 19573 14331 0 -1 4202560 12944 0 0 0 137 2 0 0 20 0 22 0 110079479 10060525568 92960 33554432000 1073741824 1073778376 140736564624912 140220037581752 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19590] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19590/stat : 19590 (java) S 19570 19573 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110079479 10060525568 92960 33554432000 1073741824 1073778376 140736564624912 140220036528888 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19591] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19591/stat : 19591 (java) S 19570 19573 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110079479 10060525568 92960 33554432000 1073741824 1073778376 140736564624912 140220035476552 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19592] ppid=19570 vsize=9824732 CPUtime=2.1 cores=1,3,5,7
/proc/19573/task/19592/stat : 19592 (java) R 19570 19573 14331 0 -1 4202560 19 0 0 0 210 0 0 0 20 0 22 0 110079564 10060525568 92960 33554432000 1073741824 1073778376 140736564624912 140220034321016 140220091058528 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19593] ppid=19570 vsize=9824732 CPUtime=2.12 cores=1,3,5,7
/proc/19573/task/19593/stat : 19593 (java) R 19570 19573 14331 0 -1 4202560 91 0 0 0 210 2 0 0 20 0 22 0 110079564 10060525568 92960 33554432000 1073741824 1073778376 140736564624912 140220033269336 140220091410935 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19573/tid=19594] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19594/stat : 19594 (java) S 19570 19573 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110079567 10060525568 92960 33554432000 1073741824 1073778376 140736564624912 140220032217896 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19573/tid=19595] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19595/stat : 19595 (java) S 19570 19573 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110079567 10060525568 92960 33554432000 1073741824 1073778376 140736564624912 140220031165352 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.26
Current children cumulated vsize (KiB) 9824732

[startup+6.30102 s]
/proc/loadavg: 3.99 3.98 3.85 5/219 19595
/proc/meminfo: memFree=30523072/32872528 swapFree=9100/9100
[pid=19573] ppid=19570 vsize=9824732 CPUtime=15.22 cores=1,3,5,7
/proc/19573/stat : 19573 (java) S 19570 19573 14331 0 -1 4202496 28022 0 1 0 1495 27 0 0 20 0 22 0 110079475 10060525568 158798 33554432000 1073741824 1073778376 140736564624912 140736564616048 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19573/statm: 2456183 158798 2292 9 0 2446860 0
[pid=19573/tid=19574] ppid=19570 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/19573/task/19574/stat : 19574 (java) S 19570 19573 14331 0 -1 4202560 2542 0 1 0 80 4 0 0 20 0 22 0 110079475 10060525568 158798 33554432000 1073741824 1073778376 140736564624912 140220218532728 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19573/tid=19576] ppid=19570 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19573/task/19576/stat : 19576 (java) S 19570 19573 14331 0 -1 4202560 35 0 0 0 3 1 0 0 20 0 22 0 110079476 10060525568 158798 33554432000 1073741824 1073778376 140736564624912 140220062624168 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19577] ppid=19570 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/19573/task/19577/stat : 19577 (java) S 19570 19573 14331 0 -1 4202560 122 0 0 0 5 2 0 0 20 0 22 0 110079476 10060525568 158798 33554432000 1073741824 1073778376 140736564624912 140220061571624 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19578] ppid=19570 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19573/task/19578/stat : 19578 (java) S 19570 19573 14331 0 -1 4202560 44 0 0 0 4 0 0 0 20 0 22 0 110079476 10060525568 158798 33554432000 1073741824 1073778376 140736564624912 140220060518568 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19579] ppid=19570 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/19573/task/19579/stat : 19579 (java) S 19570 19573 14331 0 -1 4202560 121 0 0 0 4 1 0 0 20 0 22 0 110079476 10060525568 158798 33554432000 1073741824 1073778376 140736564624912 140220059466024 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19580] ppid=19570 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/19573/task/19580/stat : 19580 (java) S 19570 19573 14331 0 -1 4202560 76 0 0 0 7 3 0 0 20 0 22 0 110079476 10060525568 158798 33554432000 1073741824 1073778376 140736564624912 140220058413992 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19581] ppid=19570 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/19573/task/19581/stat : 19581 (java) S 19570 19573 14331 0 -1 4202560 139 0 0 0 6 3 0 0 20 0 22 0 110079476 10060525568 158798 33554432000 1073741824 1073778376 140736564624912 140220057361448 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19582] ppid=19570 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/19573/task/19582/stat : 19582 (java) S 19570 19573 14331 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 22 0 110079476 10060525568 158798 33554432000 1073741824 1073778376 140736564624912 140220056308392 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19583] ppid=19570 vsize=9824732 CPUtime=0.05 cores=1,3,5,7

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


[startup+882.308 s]
/proc/loadavg: 3.99 4.06 3.96 5/219 19618
/proc/meminfo: memFree=24119148/32872528 swapFree=9100/9100
[pid=19573] ppid=19570 vsize=9824732 CPUtime=1773.26 cores=1,3,5,7
/proc/19573/stat : 19573 (java) S 19570 19573 14331 0 -1 4202496 38807 0 1 0 177107 219 0 0 20 0 22 0 110079475 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140736564616048 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19573/statm: 2456183 947735 2301 9 0 2446860 0
[pid=19573/tid=19574] ppid=19570 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/19573/task/19574/stat : 19574 (java) S 19570 19573 14331 0 -1 4202560 2553 0 1 0 83 5 0 0 20 0 22 0 110079475 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220218532728 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19573/tid=19576] ppid=19570 vsize=9824732 CPUtime=3.24 cores=1,3,5,7
/proc/19573/task/19576/stat : 19576 (java) S 19570 19573 14331 0 -1 4202560 925 0 0 0 303 21 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220062624168 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19577] ppid=19570 vsize=9824732 CPUtime=2.89 cores=1,3,5,7
/proc/19573/task/19577/stat : 19577 (java) S 19570 19573 14331 0 -1 4202560 818 0 0 0 268 21 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220061571624 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19578] ppid=19570 vsize=9824732 CPUtime=3.01 cores=1,3,5,7
/proc/19573/task/19578/stat : 19578 (java) S 19570 19573 14331 0 -1 4202560 758 0 0 0 286 15 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220060518568 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19579] ppid=19570 vsize=9824732 CPUtime=3.02 cores=1,3,5,7
/proc/19573/task/19579/stat : 19579 (java) S 19570 19573 14331 0 -1 4202560 872 0 0 0 285 17 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220059466024 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19580] ppid=19570 vsize=9824732 CPUtime=3.01 cores=1,3,5,7
/proc/19573/task/19580/stat : 19580 (java) S 19570 19573 14331 0 -1 4202560 632 0 0 0 280 21 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220058413992 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19573/tid=19581] ppid=19570 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/19573/task/19581/stat : 19581 (java) S 19570 19573 14331 0 -1 4202560 748 0 0 0 280 19 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220057361448 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19573/tid=19582] ppid=19570 vsize=9824732 CPUtime=2.84 cores=1,3,5,7
/proc/19573/task/19582/stat : 19582 (java) S 19570 19573 14331 0 -1 4202560 1072 0 0 0 267 17 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220056308392 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19583] ppid=19570 vsize=9824732 CPUtime=2.82 cores=1,3,5,7
/proc/19573/task/19583/stat : 19583 (java) S 19570 19573 14331 0 -1 4202560 782 0 0 0 266 16 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220055255848 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19584] ppid=19570 vsize=9824732 CPUtime=5.67 cores=1,3,5,7
/proc/19573/task/19584/stat : 19584 (java) S 19570 19573 14331 0 -1 4202560 2356 0 0 0 559 8 0 0 20 0 22 0 110079477 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220042844520 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19585] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19585/stat : 19585 (java) S 19570 19573 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110079477 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220041790840 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19586] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19586/stat : 19586 (java) S 19570 19573 14331 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 110079477 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220040737672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19587] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19587/stat : 19587 (java) S 19570 19573 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110079479 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220039686416 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19588] ppid=19570 vsize=9824732 CPUtime=1.93 cores=1,3,5,7
/proc/19573/task/19588/stat : 19588 (java) S 19570 19573 14331 0 -1 4202560 8553 0 0 0 191 2 0 0 20 0 22 0 110079479 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220038634296 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19589] ppid=19570 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/19573/task/19589/stat : 19589 (java) S 19570 19573 14331 0 -1 4202560 15514 0 0 0 196 3 0 0 20 0 22 0 110079479 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220037581752 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19590] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19590/stat : 19590 (java) S 19570 19573 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110079479 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220036528888 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19591] ppid=19570 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/19573/task/19591/stat : 19591 (java) S 19570 19573 14331 0 -1 4202560 51 0 0 0 13 22 0 0 20 0 22 0 110079479 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220035476552 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19592] ppid=19570 vsize=9824732 CPUtime=869.26 cores=1,3,5,7
/proc/19573/task/19592/stat : 19592 (java) R 19570 19573 14331 0 -1 4202560 63 0 0 0 86910 16 0 0 20 0 22 0 110079564 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220034321008 140220091258586 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19593] ppid=19570 vsize=9824732 CPUtime=869.38 cores=1,3,5,7
/proc/19573/task/19593/stat : 19593 (java) R 19570 19573 14331 0 -1 4202560 1843 0 0 0 86888 50 0 0 20 0 22 0 110079564 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220033269216 140220091473013 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19573/tid=19594] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19594/stat : 19594 (java) S 19570 19573 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110079567 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220032217896 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19573/tid=19595] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19595/stat : 19595 (java) S 19570 19573 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110079567 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220031165352 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1773.26
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+895.701 s]
/proc/loadavg: 3.99 4.06 3.96 3/191 19651
/proc/meminfo: memFree=27991328/32872528 swapFree=9100/9100
[pid=19573] ppid=19570 vsize=9824732 CPUtime=1800.04 cores=1,3,5,7
/proc/19573/stat : 19573 (java) S 19570 19573 14331 0 -1 4202496 38807 0 1 0 179785 219 0 0 20 0 22 0 110079475 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140736564616048 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19573/statm: 2456183 947735 2301 9 0 2446860 0
[pid=19573/tid=19574] ppid=19570 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/19573/task/19574/stat : 19574 (java) S 19570 19573 14331 0 -1 4202560 2553 0 1 0 83 5 0 0 20 0 22 0 110079475 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220218532728 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19573/tid=19576] ppid=19570 vsize=9824732 CPUtime=3.24 cores=1,3,5,7
/proc/19573/task/19576/stat : 19576 (java) S 19570 19573 14331 0 -1 4202560 925 0 0 0 303 21 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220062624168 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19577] ppid=19570 vsize=9824732 CPUtime=2.89 cores=1,3,5,7
/proc/19573/task/19577/stat : 19577 (java) S 19570 19573 14331 0 -1 4202560 818 0 0 0 268 21 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220061571624 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19578] ppid=19570 vsize=9824732 CPUtime=3.01 cores=1,3,5,7
/proc/19573/task/19578/stat : 19578 (java) S 19570 19573 14331 0 -1 4202560 758 0 0 0 286 15 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220060518568 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19579] ppid=19570 vsize=9824732 CPUtime=3.02 cores=1,3,5,7
/proc/19573/task/19579/stat : 19579 (java) S 19570 19573 14331 0 -1 4202560 872 0 0 0 285 17 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220059466024 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19580] ppid=19570 vsize=9824732 CPUtime=3.01 cores=1,3,5,7
/proc/19573/task/19580/stat : 19580 (java) S 19570 19573 14331 0 -1 4202560 632 0 0 0 280 21 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220058413992 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19573/tid=19581] ppid=19570 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/19573/task/19581/stat : 19581 (java) S 19570 19573 14331 0 -1 4202560 748 0 0 0 280 19 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220057361448 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19573/tid=19582] ppid=19570 vsize=9824732 CPUtime=2.84 cores=1,3,5,7
/proc/19573/task/19582/stat : 19582 (java) S 19570 19573 14331 0 -1 4202560 1072 0 0 0 267 17 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220056308392 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19583] ppid=19570 vsize=9824732 CPUtime=2.82 cores=1,3,5,7
/proc/19573/task/19583/stat : 19583 (java) S 19570 19573 14331 0 -1 4202560 782 0 0 0 266 16 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220055255848 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19584] ppid=19570 vsize=9824732 CPUtime=5.67 cores=1,3,5,7
/proc/19573/task/19584/stat : 19584 (java) S 19570 19573 14331 0 -1 4202560 2356 0 0 0 559 8 0 0 20 0 22 0 110079477 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220042844520 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19585] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19585/stat : 19585 (java) S 19570 19573 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110079477 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220041790840 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19586] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19586/stat : 19586 (java) S 19570 19573 14331 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 110079477 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220040737672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19587] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19587/stat : 19587 (java) S 19570 19573 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110079479 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220039686416 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19588] ppid=19570 vsize=9824732 CPUtime=1.93 cores=1,3,5,7
/proc/19573/task/19588/stat : 19588 (java) S 19570 19573 14331 0 -1 4202560 8553 0 0 0 191 2 0 0 20 0 22 0 110079479 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220038634296 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19589] ppid=19570 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/19573/task/19589/stat : 19589 (java) S 19570 19573 14331 0 -1 4202560 15514 0 0 0 196 3 0 0 20 0 22 0 110079479 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220037581752 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19590] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19590/stat : 19590 (java) S 19570 19573 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110079479 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220036528888 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19591] ppid=19570 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/19573/task/19591/stat : 19591 (java) S 19570 19573 14331 0 -1 4202560 51 0 0 0 13 22 0 0 20 0 22 0 110079479 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220035476552 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19592] ppid=19570 vsize=9824732 CPUtime=882.66 cores=1,3,5,7
/proc/19573/task/19592/stat : 19592 (java) R 19570 19573 14331 0 -1 4202560 63 0 0 0 88250 16 0 0 20 0 22 0 110079564 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220034314128 140220091052082 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19593] ppid=19570 vsize=9824732 CPUtime=882.77 cores=1,3,5,7
/proc/19573/task/19593/stat : 19593 (java) R 19570 19573 14331 0 -1 4202560 1843 0 0 0 88227 50 0 0 20 0 22 0 110079564 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220033269216 140220091537669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19573/tid=19594] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19594/stat : 19594 (java) S 19570 19573 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110079567 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220032217896 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19573/tid=19595] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19595/stat : 19595 (java) S 19570 19573 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110079567 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220031165352 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 19573 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+895.701 s]
/proc/loadavg: 3.99 4.06 3.96 3/191 19651
/proc/meminfo: memFree=27991328/32872528 swapFree=9100/9100
[pid=19573] ppid=19570 vsize=9824732 CPUtime=1800.04 cores=1,3,5,7
/proc/19573/stat : 19573 (java) S 19570 19573 14331 0 -1 4202496 38807 0 1 0 179785 219 0 0 20 0 22 0 110079475 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140736564616048 243768787005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19573/statm: 2456183 947735 2301 9 0 2446860 0
[pid=19573/tid=19574] ppid=19570 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/19573/task/19574/stat : 19574 (java) S 19570 19573 14331 0 -1 4202560 2553 0 1 0 83 5 0 0 20 0 22 0 110079475 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220218532728 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19573/tid=19576] ppid=19570 vsize=9824732 CPUtime=3.24 cores=1,3,5,7
/proc/19573/task/19576/stat : 19576 (java) S 19570 19573 14331 0 -1 4202560 925 0 0 0 303 21 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220062624168 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19577] ppid=19570 vsize=9824732 CPUtime=2.89 cores=1,3,5,7
/proc/19573/task/19577/stat : 19577 (java) S 19570 19573 14331 0 -1 4202560 818 0 0 0 268 21 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220061571624 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19578] ppid=19570 vsize=9824732 CPUtime=3.01 cores=1,3,5,7
/proc/19573/task/19578/stat : 19578 (java) S 19570 19573 14331 0 -1 4202560 758 0 0 0 286 15 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220060518568 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19579] ppid=19570 vsize=9824732 CPUtime=3.02 cores=1,3,5,7
/proc/19573/task/19579/stat : 19579 (java) S 19570 19573 14331 0 -1 4202560 872 0 0 0 285 17 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220059466024 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19580] ppid=19570 vsize=9824732 CPUtime=3.01 cores=1,3,5,7
/proc/19573/task/19580/stat : 19580 (java) S 19570 19573 14331 0 -1 4202560 632 0 0 0 280 21 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220058413992 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19573/tid=19581] ppid=19570 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/19573/task/19581/stat : 19581 (java) S 19570 19573 14331 0 -1 4202560 748 0 0 0 280 19 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220057361448 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19573/tid=19582] ppid=19570 vsize=9824732 CPUtime=2.84 cores=1,3,5,7
/proc/19573/task/19582/stat : 19582 (java) S 19570 19573 14331 0 -1 4202560 1072 0 0 0 267 17 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220056308392 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19583] ppid=19570 vsize=9824732 CPUtime=2.82 cores=1,3,5,7
/proc/19573/task/19583/stat : 19583 (java) S 19570 19573 14331 0 -1 4202560 782 0 0 0 266 16 0 0 20 0 22 0 110079476 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220055255848 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19584] ppid=19570 vsize=9824732 CPUtime=5.67 cores=1,3,5,7
/proc/19573/task/19584/stat : 19584 (java) S 19570 19573 14331 0 -1 4202560 2356 0 0 0 559 8 0 0 20 0 22 0 110079477 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220042844520 243768801193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19585] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19585/stat : 19585 (java) S 19570 19573 14331 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 110079477 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220041790840 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19586] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19586/stat : 19586 (java) S 19570 19573 14331 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 110079477 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220040737672 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19587] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19587/stat : 19587 (java) S 19570 19573 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110079479 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220039686416 243768809248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19588] ppid=19570 vsize=9824732 CPUtime=1.93 cores=1,3,5,7
/proc/19573/task/19588/stat : 19588 (java) S 19570 19573 14331 0 -1 4202560 8553 0 0 0 191 2 0 0 20 0 22 0 110079479 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220038634296 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19589] ppid=19570 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/19573/task/19589/stat : 19589 (java) S 19570 19573 14331 0 -1 4202560 15514 0 0 0 196 3 0 0 20 0 22 0 110079479 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220037581752 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19590] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19590/stat : 19590 (java) S 19570 19573 14331 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 110079479 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220036528888 243768800316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19591] ppid=19570 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/19573/task/19591/stat : 19591 (java) S 19570 19573 14331 0 -1 4202560 51 0 0 0 13 22 0 0 20 0 22 0 110079479 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220035476552 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19573/tid=19592] ppid=19570 vsize=9824732 CPUtime=882.66 cores=1,3,5,7
/proc/19573/task/19592/stat : 19592 (java) R 19570 19573 14331 0 -1 4202560 63 0 0 0 88250 16 0 0 20 0 22 0 110079564 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220034314128 140220091052082 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19573/tid=19593] ppid=19570 vsize=9824732 CPUtime=882.77 cores=1,3,5,7
/proc/19573/task/19593/stat : 19593 (java) R 19570 19573 14331 0 -1 4202560 1843 0 0 0 88227 50 0 0 20 0 22 0 110079564 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220033269216 140220091537669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19573/tid=19594] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19594/stat : 19594 (java) S 19570 19573 14331 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 110079567 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220032217896 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19573/tid=19595] ppid=19570 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19573/task/19595/stat : 19595 (java) S 19570 19573 14331 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 110079567 10060525568 947735 33554432000 1073741824 1073778376 140736564624912 140220031165352 243768801193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 895.776
CPU time (s): 1800.53
CPU user time (s): 1797.83
CPU system time (s): 2.70059
CPU usage (%): 201.002
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.83
system time used= 2.70059
maximum resident set size= 3791056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38841
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23651
involuntary context switches= 29550

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00394 second user time and 6.13507 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-07 08:38:03
IDJOB=4080539
IDBENCH=90182
IDSOLVER=2543
FILE ID=node151/4080539-1465281483
RUNJOBID= node151-1465279688-19204
PBS_JOBID= 19843295
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_K177.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080539-1465281483/watcher-4080539-1465281483 -o /tmp/evaluation-result-4080539-1465281483/solver-4080539-1465281483 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1465279688-19204 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4080539-1465281483.opb

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

MD5SUM BENCH= 8e674dc671e8e6c3e0a48d5fff5f7edd
RANDOM SEED=1773682144

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
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:        31580792 kB
Buffers:           89628 kB
Cached:           246300 kB
SwapCached:         2184 kB
Active:           303128 kB
Inactive:         236508 kB
Active(anon):     204644 kB
Inactive(anon):     1680 kB
Active(file):      98484 kB
Inactive(file):   234828 kB
Unevictable:        9100 kB
Mlocked:            9100 kB
SwapTotal:      67108856 kB
SwapFree:       67098860 kB
Dirty:              4472 kB
Writeback:             0 kB
AnonPages:        212288 kB
Mapped:            16428 kB
Shmem:                 0 kB
Slab:             612528 kB
SReclaimable:      55588 kB
SUnreclaim:       556940 kB
KernelStack:        1600 kB
PageTables:         4788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     828728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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= 71748 MiB
End job on node151 at 2016-06-07 08:52:59