Trace number 4080565

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.04 895.27

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K88.opb
MD5SUM1622186c78d9255ec55518143c1e5a9e
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 variables5984
Total number of constraints6162
Number of constraints which are clauses6074
Number of constraints which are cardinality constraints (but not clauses)88
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint88
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 89
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	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.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	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.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4080565-1465273291.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
0.79/0.45	c ... done. Wall clock time 0.334s.
0.79/0.45	c declared #vars     5984
0.79/0.45	c #constraints  6162
0.79/0.46	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.79/0.46	c constraints type 
0.79/0.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4941
0.79/0.46	c org.sat4j.minisat.constraints.card.MinWatchCard => 88
0.79/0.46	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.79/0.46	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1131
0.79/0.46	c 6162 constraints processed.
0.79/0.46	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.79/0.46	c constraints type 
0.79/0.46	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1131
0.79/0.46	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4941
0.79/0.46	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 88
0.79/0.46	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.79/0.46	c 6162 constraints processed.
6.14/2.06	c cleaning 2486 clauses out of 4993 with flag 25886/5002
9.41/3.57	c cleaning 4230 clauses out of 8498 with flag 63533/11001
12.50/5.08	c cleaning 5611 clauses out of 11263 with flag 110219/18002
16.11/6.82	c cleaning 6750 clauses out of 13648 with flag 167485/26001
20.80/9.11	c cleaning 7951 clauses out of 15901 with flag 230152/35005
25.70/11.50	c cleaning 8910 clauses out of 17943 with flag 290186/45002
31.42/14.39	c cleaning 9602 clauses out of 20022 with flag 359317/56000
37.59/17.38	c cleaning 10119 clauses out of 22416 with flag 428878/68001
44.80/20.94	c cleaning 11154 clauses out of 25287 with flag 510458/81001
51.99/24.57	c cleaning 11893 clauses out of 28131 with flag 592825/95001
60.77/28.90	c cleaning 12949 clauses out of 31233 with flag 685439/110000
69.53/33.11	c cleaning 13675 clauses out of 34284 with flag 783421/126000
78.92/37.81	c cleaning 14494 clauses out of 37609 with flag 888593/143001
89.69/43.19	c cleaning 15222 clauses out of 41110 with flag 998978/161001
100.50/48.54	c cleaning 16299 clauses out of 44886 with flag 1121246/180000
112.61/54.55	c cleaning 17285 clauses out of 48587 with flag 1249015/200000
124.62/60.56	c cleaning 17947 clauses out of 52302 with flag 1384646/221000
137.55/66.93	c cleaning 18745 clauses out of 56351 with flag 1527568/243001
151.36/73.84	c cleaning 19919 clauses out of 60606 with flag 1681397/266001
166.48/81.33	c cleaning 20953 clauses out of 64685 with flag 1846450/290000
184.29/90.54	c cleaning 21617 clauses out of 68732 with flag 2010519/315000
202.36/99.58	c cleaning 22593 clauses out of 73115 with flag 2201169/341000
220.83/108.73	c cleaning 23463 clauses out of 77521 with flag 2393260/368000
240.38/118.49	c cleaning 24139 clauses out of 82061 with flag 2590649/396003
260.86/128.62	c cleaning 25507 clauses out of 86919 with flag 2799000/425000
283.73/139.91	c cleaning 26274 clauses out of 91413 with flag 3014794/455001
305.92/150.98	c cleaning 27196 clauses out of 96138 with flag 3234283/486001
322.66/159.29	c cleaning 0 clauses out of 5000 with flag 0/5000
329.54/162.58	c cleaning 27971 clauses out of 100940 with flag 3467756/518000
353.44/174.38	c cleaning 29079 clauses out of 105969 with flag 3703607/551000
379.00/187.07	c cleaning 30175 clauses out of 110890 with flag 3966169/585000
407.67/201.80	c cleaning 31048 clauses out of 115717 with flag 4228103/620002
435.16/215.48	c cleaning 32016 clauses out of 120665 with flag 4513617/656000
465.33/230.42	c cleaning 33084 clauses out of 125646 with flag 4806905/693001
496.42/245.95	c cleaning 34086 clauses out of 130561 with flag 5113361/731000
528.88/262.06	c cleaning 35195 clauses out of 135474 with flag 5428623/770000
563.75/279.31	c cleaning 36134 clauses out of 140278 with flag 5759300/810000
598.34/296.50	c cleaning 36945 clauses out of 145144 with flag 6106775/851000
636.34/315.33	c cleaning 37973 clauses out of 150199 with flag 6483177/893000
676.91/335.43	c cleaning 38985 clauses out of 155226 with flag 6859353/936000
719.90/356.62	c cleaning 40326 clauses out of 160241 with flag 7256925/980000
763.71/379.17	c cleaning 41084 clauses out of 164915 with flag 7678855/1025000
806.06/400.30	c cleaning 42158 clauses out of 169832 with flag 8091797/1071001
851.42/422.82	c cleaning 42868 clauses out of 174671 with flag 8515486/1118000
899.86/446.83	c cleaning 43892 clauses out of 179803 with flag 8965290/1166000
951.91/472.66	c cleaning 44732 clauses out of 184909 with flag 9447403/1215000
1003.92/498.44	c cleaning 46027 clauses out of 190178 with flag 9935552/1265001
1056.33/524.53	c cleaning 46884 clauses out of 195150 with flag 10416198/1316000
1110.24/551.30	c cleaning 48046 clauses out of 200265 with flag 10963892/1368000
1166.17/579.13	c cleaning 48794 clauses out of 205220 with flag 11463400/1421002
1224.57/608.05	c cleaning 50308 clauses out of 210425 with flag 12039912/1475001
1282.62/636.87	c cleaning 50824 clauses out of 215116 with flag 12601336/1530000
1339.50/666.46	c cleaning 52289 clauses out of 220292 with flag 13191413/1586000
1394.36/693.82	c cleaning 53119 clauses out of 225004 with flag 13772970/1643001
1456.36/724.71	c cleaning 54409 clauses out of 229884 with flag 14379174/1701000
1529.05/760.69	c cleaning 55505 clauses out of 234474 with flag 15017641/1760000
1603.13/797.43	c cleaning 56322 clauses out of 238970 with flag 15662827/1820001
1678.25/834.73	c cleaning 57381 clauses out of 243648 with flag 16341729/1881001
1753.99/872.32	c cleaning 58260 clauses out of 248265 with flag 17040046/1943000
1800.04/895.19	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.04/895.19	c starts		: 15256
1800.04/895.19	c conflicts		: 1984122
1800.04/895.19	c decisions		: 27204604
1800.04/895.19	c propagations		: 721015889
1800.04/895.19	c inspects		: 5113385663
1800.04/895.19	c shortcuts		: 0
1800.04/895.19	c learnt literals	: 93
1800.04/895.19	c learnt binary clauses	: 70967
1800.04/895.19	c learnt ternary clauses	: 78889
1800.04/895.19	c learnt constraints	: 1984029
1800.04/895.19	c ignored constraints	: 0
1800.04/895.19	c root simplifications	: 0
1800.04/895.19	c removed literals (reason simplification)	: 33622542
1800.04/895.19	c reason swapping (by a shorter reason)	: 0
1800.04/895.19	c Calls to reduceDB	: 58
1800.04/895.19	c Number of update (reduction) of LBD	: 1676405
1800.04/895.19	c Imported unit clauses	: 0
1800.04/895.19	c number of reductions to clauses (during analyze)	: 0
1800.04/895.19	c number of learned constraints concerned by reduction	: 0
1800.04/895.19	c number of learning phase by resolution	: 0
1800.04/895.19	c number of learning phase by cutting planes	: 0
1800.04/895.19	c speed (assignments/second)	: 805851.9533935008
1800.04/895.19	c non guided choices	4671
1800.04/895.25	c learnt constraints type 
1800.04/895.25	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 70967
1800.04/895.25	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 160160
1800.04/895.25	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.04/895.25	c starts		: 33
1800.04/895.25	c conflicts		: 10544
1800.04/895.25	c decisions		: 88532
1800.04/895.25	c propagations		: 3245231
1800.04/895.25	c inspects		: 793504849
1800.04/895.25	c shortcuts		: 0
1800.04/895.25	c learnt literals	: 0
1800.04/895.25	c learnt binary clauses	: 0
1800.04/895.25	c learnt ternary clauses	: 0
1800.04/895.25	c learnt constraints	: 10544
1800.04/895.25	c ignored constraints	: 0
1800.04/895.25	c root simplifications	: 0
1800.04/895.25	c removed literals (reason simplification)	: 0
1800.04/895.25	c reason swapping (by a shorter reason)	: 0
1800.04/895.25	c Calls to reduceDB	: 1
1800.04/895.25	c Number of update (reduction) of LBD	: 0
1800.04/895.25	c Imported unit clauses	: 0
1800.04/895.25	c number of reductions to clauses (during analyze)	: 0
1800.04/895.25	c number of learned constraints concerned by reduction	: 0
1800.04/895.25	c number of learning phase by resolution	: 0
1800.04/895.25	c number of learning phase by cutting planes	: 0
1800.04/895.25	c speed (assignments/second)	: 3626.8652713081265
1800.04/895.25	c non guided choices	1649
1800.04/895.25	c learnt constraints type 
1800.04/895.25	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 172
1800.04/895.25	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1088
1800.04/895.25	c org.sat4j.pb.constraints.pb.MaxWatchPb => 9284
1800.04/895.25	s UNKNOWN
1800.04/895.25	c Total wall clock time (in seconds): 895.13

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-4080565-1465273291/watcher-4080565-1465273291 -o /tmp/evaluation-result-4080565-1465273291/solver-4080565-1465273291 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1465256572-5998 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080565-1465273291.opb 

pid=14131
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.08 4.18 4.09 4/195 14134
/proc/meminfo: memFree=26551796/32872528 swapFree=17280/1464432
[pid=14134] ppid=14131 vsize=8 CPUtime=0 cores=0,2,4,6
/proc/14134/stat : 14134 (java) R 14131 14134 5982 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 109262109 8192 1 33554432000 0 0 0 140737453231768 227512315319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14134/statm: 2 1 0 0 0 2 0

[startup+0.10002 s]
/proc/loadavg: 4.08 4.18 4.09 4/195 14134
/proc/meminfo: memFree=26551796/32872528 swapFree=17280/1464432
[pid=14134] ppid=14131 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/14134/stat : 14134 (java) S 14131 14134 5982 0 -1 4202496 4403 0 1 0 8 1 0 0 20 0 18 0 109262109 9787879424 6031 33554432000 1073741824 1073778376 140736655298480 140736655289616 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14134/statm: 2389619 6031 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200219 s]
/proc/loadavg: 4.08 4.18 4.09 4/195 14134
/proc/meminfo: memFree=26551796/32872528 swapFree=17280/1464432
[pid=14134] ppid=14131 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/14134/stat : 14134 (java) S 14131 14134 5982 0 -1 4202496 6222 0 1 0 27 1 0 0 20 0 18 0 109262109 9787879424 7862 33554432000 1073741824 1073778376 140736655298480 140736655289616 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14134/statm: 2389619 7862 2209 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.30023 s]
/proc/loadavg: 4.08 4.18 4.09 4/195 14134
/proc/meminfo: memFree=26551796/32872528 swapFree=17280/1464432
[pid=14134] ppid=14131 vsize=9558476 CPUtime=0.55 cores=0,2,4,6
/proc/14134/stat : 14134 (java) S 14131 14134 5982 0 -1 4202496 7287 0 1 0 54 1 0 0 20 0 18 0 109262109 9787879424 9934 33554432000 1073741824 1073778376 140736655298480 140736655289616 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14134/statm: 2389619 9934 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476

[startup+0.700185 s]
/proc/loadavg: 4.08 4.18 4.09 4/195 14134
/proc/meminfo: memFree=26551796/32872528 swapFree=17280/1464432
[pid=14134] ppid=14131 vsize=9824732 CPUtime=1.92 cores=0,2,4,6
/proc/14134/stat : 14134 (java) S 14131 14134 5982 0 -1 4202496 20450 0 1 0 188 4 0 0 20 0 22 0 109262109 10060525568 28606 33554432000 1073741824 1073778376 140736655298480 140736655289616 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14134/statm: 2456183 28606 2253 9 0 2446860 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 9824732

[startup+1.50083 s]
/proc/loadavg: 4.08 4.18 4.09 7/217 14156
/proc/meminfo: memFree=26442860/32872528 swapFree=17280/1464432
[pid=14134] ppid=14131 vsize=9824732 CPUtime=4.75 cores=0,2,4,6
/proc/14134/stat : 14134 (java) S 14131 14134 5982 0 -1 4202496 21743 0 1 0 470 5 0 0 20 0 22 0 109262109 10060525568 37121 33554432000 1073741824 1073778376 140736655298480 140736655289616 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14134/statm: 2456183 37121 2276 9 0 2446860 0
[pid=14134/tid=14136] ppid=14131 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/14134/task/14136/stat : 14136 (java) S 14131 14134 5982 0 -1 4202560 2495 0 1 0 41 1 0 0 20 0 22 0 109262110 10060525568 37121 33554432000 1073741824 1073778376 140736655298480 140465019401080 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14134/tid=14137] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14137/stat : 14137 (java) S 14131 14134 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109262111 10060525568 37121 33554432000 1073741824 1073778376 140736655298480 140464980891944 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14138] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14138/stat : 14138 (java) S 14131 14134 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109262111 10060525568 37121 33554432000 1073741824 1073778376 140736655298480 140464979839144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14134/tid=14139] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14139/stat : 14139 (java) S 14131 14134 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109262111 10060525568 37121 33554432000 1073741824 1073778376 140736655298480 140464978786856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14134/tid=14140] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14140/stat : 14140 (java) S 14131 14134 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109262111 10060525568 37121 33554432000 1073741824 1073778376 140736655298480 140464977734056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14134/tid=14141] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14141/stat : 14141 (java) S 14131 14134 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109262111 10060525568 37121 33554432000 1073741824 1073778376 140736655298480 140464976681768 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14134/tid=14142] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14142/stat : 14142 (java) S 14131 14134 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109262111 10060525568 37121 33554432000 1073741824 1073778376 140736655298480 140464975628968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14134/tid=14143] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14143/stat : 14143 (java) S 14131 14134 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109262111 10060525568 37121 33554432000 1073741824 1073778376 140736655298480 140464974576680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14134/tid=14144] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14144/stat : 14144 (java) S 14131 14134 5982 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 109262111 10060525568 37121 33554432000 1073741824 1073778376 140736655298480 140464973523880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14145] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14145/stat : 14145 (java) S 14131 14134 5982 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 109262112 10060525568 37121 33554432000 1073741824 1073778376 140736655298480 140464961112296 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14146] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14146/stat : 14146 (java) S 14131 14134 5982 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 109262113 10060525568 37121 33554432000 1073741824 1073778376 140736655298480 140464841810936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14147] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14147/stat : 14147 (java) S 14131 14134 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109262113 10060525568 37121 33554432000 1073741824 1073778376 140736655298480 140464840758536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14148] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14148/stat : 14148 (java) S 14131 14134 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109262115 10060525568 37121 33554432000 1073741824 1073778376 140736655298480 140464839707024 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14149] ppid=14131 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/14134/task/14149/stat : 14149 (java) R 14131 14134 5982 0 -1 4202560 9966 0 0 0 109 3 0 0 20 0 22 0 109262115 10060525568 37121 33554432000 1073741824 1073778376 140736655298480 140464838654648 140465022268577 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14150] ppid=14131 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/14134/task/14150/stat : 14150 (java) R 14131 14134 5982 0 -1 4202560 7908 0 0 0 111 2 0 0 20 0 22 0 109262115 10060525568 37121 33554432000 1073741824 1073778376 140736655298480 140464837601848 140465025247133 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14134/tid=14151] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14151/stat : 14151 (java) S 14131 14134 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109262115 10060525568 37121 33554432000 1073741824 1073778376 140736655298480 140464836549752 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14134/tid=14152] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14152/stat : 14152 (java) S 14131 14134 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109262115 10060525568 37121 33554432000 1073741824 1073778376 140736655298480 140464835497160 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14153] ppid=14131 vsize=9824732 CPUtime=1.02 cores=0,2,4,6
/proc/14134/task/14153/stat : 14153 (java) R 14131 14134 5982 0 -1 4202560 33 0 0 0 102 0 0 0 20 0 22 0 109262155 10060525568 37121 33554432000 1073741824 1073778376 140736655298480 140464834441800 140464842530473 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14134/tid=14154] ppid=14131 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/14134/task/14154/stat : 14154 (java) R 14131 14134 5982 0 -1 4202560 62 0 0 0 101 0 0 0 20 0 22 0 109262155 10060525568 37121 33554432000 1073741824 1073778376 140736655298480 140464833388216 140464842861712 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=14134/tid=14155] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14155/stat : 14155 (java) S 14131 14134 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109262156 10060525568 37121 33554432000 1073741824 1073778376 140736655298480 140464830706856 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14134/tid=14156] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14156/stat : 14156 (java) S 14131 14134 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109262156 10060525568 37121 33554432000 1073741824 1073778376 140736655298480 140464829654056 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.75
Current children cumulated vsize (KiB) 9824732

[startup+3.10085 s]
/proc/loadavg: 4.08 4.18 4.09 5/217 14156
/proc/meminfo: memFree=26354176/32872528 swapFree=17280/1464432
[pid=14134] ppid=14131 vsize=9824732 CPUtime=8.55 cores=0,2,4,6
/proc/14134/stat : 14134 (java) S 14131 14134 5982 0 -1 4202496 23927 0 1 0 841 14 0 0 20 0 22 0 109262109 10060525568 90101 33554432000 1073741824 1073778376 140736655298480 140736655289616 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14134/statm: 2456183 90101 2292 9 0 2446860 0
[pid=14134/tid=14136] ppid=14131 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/14134/task/14136/stat : 14136 (java) S 14131 14134 5982 0 -1 4202560 2495 0 1 0 41 1 0 0 20 0 22 0 109262110 10060525568 90101 33554432000 1073741824 1073778376 140736655298480 140465019401080 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14134/tid=14137] ppid=14131 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/14134/task/14137/stat : 14137 (java) S 14131 14134 5982 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 109262111 10060525568 90101 33554432000 1073741824 1073778376 140736655298480 140464980891944 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14138] ppid=14131 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/14134/task/14138/stat : 14138 (java) S 14131 14134 5982 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 109262111 10060525568 90101 33554432000 1073741824 1073778376 140736655298480 140464979839144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14134/tid=14139] ppid=14131 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/14134/task/14139/stat : 14139 (java) S 14131 14134 5982 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 109262111 10060525568 90101 33554432000 1073741824 1073778376 140736655298480 140464978786856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14134/tid=14140] ppid=14131 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/14134/task/14140/stat : 14140 (java) S 14131 14134 5982 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 22 0 109262111 10060525568 90101 33554432000 1073741824 1073778376 140736655298480 140464977734056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14141] ppid=14131 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/14134/task/14141/stat : 14141 (java) S 14131 14134 5982 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 109262111 10060525568 90101 33554432000 1073741824 1073778376 140736655298480 140464976681768 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14142] ppid=14131 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/14134/task/14142/stat : 14142 (java) S 14131 14134 5982 0 -1 4202560 19 0 0 0 1 2 0 0 20 0 22 0 109262111 10060525568 90101 33554432000 1073741824 1073778376 140736655298480 140464975628968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14134/tid=14143] ppid=14131 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/14134/task/14143/stat : 14143 (java) S 14131 14134 5982 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 109262111 10060525568 90101 33554432000 1073741824 1073778376 140736655298480 140464974576680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14144] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14144/stat : 14144 (java) S 14131 14134 5982 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 109262111 10060525568 90101 33554432000 1073741824 1073778376 140736655298480 140464973523880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14134/tid=14145] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14145/stat : 14145 (java) S 14131 14134 5982 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 109262112 10060525568 90101 33554432000 1073741824 1073778376 140736655298480 140464961112296 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14146] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14146/stat : 14146 (java) S 14131 14134 5982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109262113 10060525568 90101 33554432000 1073741824 1073778376 140736655298480 140464841810936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14147] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14147/stat : 14147 (java) S 14131 14134 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109262113 10060525568 90101 33554432000 1073741824 1073778376 140736655298480 140464840758536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14148] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14148/stat : 14148 (java) S 14131 14134 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109262115 10060525568 90101 33554432000 1073741824 1073778376 140736655298480 140464839707024 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14149] ppid=14131 vsize=9824732 CPUtime=1.33 cores=0,2,4,6
/proc/14134/task/14149/stat : 14149 (java) S 14131 14134 5982 0 -1 4202560 9978 0 0 0 130 3 0 0 20 0 22 0 109262115 10060525568 90101 33554432000 1073741824 1073778376 140736655298480 140464838654648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14150] ppid=14131 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/14134/task/14150/stat : 14150 (java) S 14131 14134 5982 0 -1 4202560 9689 0 0 0 139 2 0 0 20 0 22 0 109262115 10060525568 90101 33554432000 1073741824 1073778376 140736655298480 140464837601848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14134/tid=14151] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14151/stat : 14151 (java) S 14131 14134 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109262115 10060525568 90101 33554432000 1073741824 1073778376 140736655298480 140464836549752 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14134/tid=14152] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14152/stat : 14152 (java) S 14131 14134 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109262115 10060525568 90101 33554432000 1073741824 1073778376 140736655298480 140464835497160 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14153] ppid=14131 vsize=9824732 CPUtime=2.54 cores=0,2,4,6
/proc/14134/task/14153/stat : 14153 (java) R 14131 14134 5982 0 -1 4202560 34 0 0 0 254 0 0 0 20 0 22 0 109262155 10060525568 90101 33554432000 1073741824 1073778376 140736655298480 140464834439336 140464842531038 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14134/tid=14154] ppid=14131 vsize=9824732 CPUtime=2.52 cores=0,2,4,6
/proc/14134/task/14154/stat : 14154 (java) R 14131 14134 5982 0 -1 4202560 145 0 0 0 249 3 0 0 20 0 22 0 109262155 10060525568 90101 33554432000 1073741824 1073778376 140736655298480 140464833387648 140464843114360 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=14134/tid=14155] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14155/stat : 14155 (java) S 14131 14134 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109262156 10060525568 90101 33554432000 1073741824 1073778376 140736655298480 140464830706856 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14134/tid=14156] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14156/stat : 14156 (java) S 14131 14134 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109262156 10060525568 90101 33554432000 1073741824 1073778376 140736655298480 140464829654056 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 8.55
Current children cumulated vsize (KiB) 9824732

[startup+6.30099 s]
/proc/loadavg: 4.23 4.21 4.10 5/217 14156
/proc/meminfo: memFree=26172880/32872528 swapFree=17280/1464432
[pid=14134] ppid=14131 vsize=9824732 CPUtime=15.1 cores=0,2,4,6
/proc/14134/stat : 14134 (java) S 14131 14134 5982 0 -1 4202496 24048 0 1 0 1491 19 0 0 20 0 22 0 109262109 10060525568 106960 33554432000 1073741824 1073778376 140736655298480 140736655289616 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14134/statm: 2456183 106960 2292 9 0 2446860 0
[pid=14134/tid=14136] ppid=14131 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/14134/task/14136/stat : 14136 (java) S 14131 14134 5982 0 -1 4202560 2495 0 1 0 41 1 0 0 20 0 22 0 109262110 10060525568 106960 33554432000 1073741824 1073778376 140736655298480 140465019401080 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14134/tid=14137] ppid=14131 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/14134/task/14137/stat : 14137 (java) S 14131 14134 5982 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 109262111 10060525568 106960 33554432000 1073741824 1073778376 140736655298480 140464980891944 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14138] ppid=14131 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/14134/task/14138/stat : 14138 (java) S 14131 14134 5982 0 -1 4202560 52 0 0 0 3 2 0 0 20 0 22 0 109262111 10060525568 106960 33554432000 1073741824 1073778376 140736655298480 140464979839144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14139] ppid=14131 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/14134/task/14139/stat : 14139 (java) S 14131 14134 5982 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 22 0 109262111 10060525568 106960 33554432000 1073741824 1073778376 140736655298480 140464978786856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14140] ppid=14131 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/14134/task/14140/stat : 14140 (java) S 14131 14134 5982 0 -1 4202560 42 0 0 0 5 2 0 0 20 0 22 0 109262111 10060525568 106960 33554432000 1073741824 1073778376 140736655298480 140464977734056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14141] ppid=14131 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/14134/task/14141/stat : 14141 (java) S 14131 14134 5982 0 -1 4202560 26 0 0 0 2 1 0 0 20 0 22 0 109262111 10060525568 106960 33554432000 1073741824 1073778376 140736655298480 140464976681768 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14142] ppid=14131 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/14134/task/14142/stat : 14142 (java) S 14131 14134 5982 0 -1 4202560 25 0 0 0 2 2 0 0 20 0 22 0 109262111 10060525568 106960 33554432000 1073741824 1073778376 140736655298480 140464975628968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14143] ppid=14131 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/14134/task/14143/stat : 14143 (java) S 14131 14134 5982 0 -1 4202560 23 0 0 0 2 1 0 0 20 0 22 0 109262111 10060525568 106960 33554432000 1073741824 1073778376 140736655298480 140464974576680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14134/tid=14144] ppid=14131 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/14134/task/14144/stat : 14144 (java) S 14131 14134 5982 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 109262111 10060525568 106960 33554432000 1073741824 1073778376 140736655298480 140464973523880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14134/tid=14145] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14145/stat : 14145 (java) S 14131 14134 5982 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 109262112 10060525568 106960 33554432000 1073741824 1073778376 140736655298480 140464961112296 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14146] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14146/stat : 14146 (java) S 14131 14134 5982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109262113 10060525568 106960 33554432000 1073741824 1073778376 140736655298480 140464841810936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14147] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14147/stat : 14147 (java) S 14131 14134 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109262113 10060525568 106960 33554432000 1073741824 1073778376 140736655298480 140464840758536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14148] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14148/stat : 14148 (java) S 14131 14134 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109262115 10060525568 106960 33554432000 1073741824 1073778376 140736655298480 140464839707024 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14149] ppid=14131 vsize=9824732 CPUtime=1.37 cores=0,2,4,6

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

[pid=14134/tid=14136] ppid=14131 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/14134/task/14136/stat : 14136 (java) S 14131 14134 5982 0 -1 4202560 2507 0 1 0 44 3 0 0 20 0 22 0 109262110 10060525568 959800 33554432000 1073741824 1073778376 140736655298480 140465019401080 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14137] ppid=14131 vsize=9824732 CPUtime=3.28 cores=0,2,4,6
/proc/14134/task/14137/stat : 14137 (java) S 14131 14134 5982 0 -1 4202560 636 0 0 0 310 18 0 0 20 0 22 0 109262111 10060525568 959800 33554432000 1073741824 1073778376 140736655298480 140464980891944 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14138] ppid=14131 vsize=9824732 CPUtime=3.32 cores=0,2,4,6
/proc/14134/task/14138/stat : 14138 (java) S 14131 14134 5982 0 -1 4202560 646 0 0 0 315 17 0 0 20 0 22 0 109262111 10060525568 959800 33554432000 1073741824 1073778376 140736655298480 140464979839144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14134/tid=14139] ppid=14131 vsize=9824732 CPUtime=3.86 cores=0,2,4,6
/proc/14134/task/14139/stat : 14139 (java) S 14131 14134 5982 0 -1 4202560 736 0 0 0 367 19 0 0 20 0 22 0 109262111 10060525568 959800 33554432000 1073741824 1073778376 140736655298480 140464978786856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14134/tid=14140] ppid=14131 vsize=9824732 CPUtime=3.51 cores=0,2,4,6
/proc/14134/task/14140/stat : 14140 (java) S 14131 14134 5982 0 -1 4202560 629 0 0 0 333 18 0 0 20 0 22 0 109262111 10060525568 959800 33554432000 1073741824 1073778376 140736655298480 140464977734056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14134/tid=14141] ppid=14131 vsize=9824732 CPUtime=3.57 cores=0,2,4,6
/proc/14134/task/14141/stat : 14141 (java) S 14131 14134 5982 0 -1 4202560 755 0 0 0 337 20 0 0 20 0 22 0 109262111 10060525568 959800 33554432000 1073741824 1073778376 140736655298480 140464976681768 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14142] ppid=14131 vsize=9824732 CPUtime=3.42 cores=0,2,4,6
/proc/14134/task/14142/stat : 14142 (java) S 14131 14134 5982 0 -1 4202560 617 0 0 0 324 18 0 0 20 0 22 0 109262111 10060525568 959800 33554432000 1073741824 1073778376 140736655298480 140464975628968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14134/tid=14143] ppid=14131 vsize=9824732 CPUtime=3.35 cores=0,2,4,6
/proc/14134/task/14143/stat : 14143 (java) S 14131 14134 5982 0 -1 4202560 704 0 0 0 317 18 0 0 20 0 22 0 109262111 10060525568 959800 33554432000 1073741824 1073778376 140736655298480 140464974576680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14144] ppid=14131 vsize=9824732 CPUtime=3.07 cores=0,2,4,6
/proc/14134/task/14144/stat : 14144 (java) S 14131 14134 5982 0 -1 4202560 584 0 0 0 288 19 0 0 20 0 22 0 109262111 10060525568 959800 33554432000 1073741824 1073778376 140736655298480 140464973523880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14145] ppid=14131 vsize=9824732 CPUtime=5.8 cores=0,2,4,6
/proc/14134/task/14145/stat : 14145 (java) S 14131 14134 5982 0 -1 4202560 2487 0 0 0 575 5 0 0 20 0 22 0 109262112 10060525568 959800 33554432000 1073741824 1073778376 140736655298480 140464961112296 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14146] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14146/stat : 14146 (java) S 14131 14134 5982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109262113 10060525568 959800 33554432000 1073741824 1073778376 140736655298480 140464841810936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14147] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14147/stat : 14147 (java) S 14131 14134 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109262113 10060525568 959800 33554432000 1073741824 1073778376 140736655298480 140464840758536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14148] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14148/stat : 14148 (java) S 14131 14134 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109262115 10060525568 959800 33554432000 1073741824 1073778376 140736655298480 140464839707024 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14149] ppid=14131 vsize=9824732 CPUtime=1.84 cores=0,2,4,6
/proc/14134/task/14149/stat : 14149 (java) S 14131 14134 5982 0 -1 4202560 10054 0 0 0 181 3 0 0 20 0 22 0 109262115 10060525568 959800 33554432000 1073741824 1073778376 140736655298480 140464838654648 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14150] ppid=14131 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/14134/task/14150/stat : 14150 (java) S 14131 14134 5982 0 -1 4202560 9712 0 0 0 157 2 0 0 20 0 22 0 109262115 10060525568 959800 33554432000 1073741824 1073778376 140736655298480 140464837601848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14134/tid=14151] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14151/stat : 14151 (java) S 14131 14134 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109262115 10060525568 959800 33554432000 1073741824 1073778376 140736655298480 140464836549752 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14134/tid=14152] ppid=14131 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/14134/task/14152/stat : 14152 (java) S 14131 14134 5982 0 -1 4202560 51 0 0 0 16 12 0 0 20 0 22 0 109262115 10060525568 959800 33554432000 1073741824 1073778376 140736655298480 140464835497160 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14153] ppid=14131 vsize=9824732 CPUtime=879.21 cores=0,2,4,6
/proc/14134/task/14153/stat : 14153 (java) R 14131 14134 5982 0 -1 4202560 98 0 0 0 87907 14 0 0 20 0 22 0 109262155 10060525568 959800 33554432000 1073741824 1073778376 140736655298480 140464834440480 140464842562777 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14134/tid=14154] ppid=14131 vsize=9824732 CPUtime=879.03 cores=0,2,4,6
/proc/14134/task/14154/stat : 14154 (java) R 14131 14134 5982 0 -1 4202560 1631 0 0 0 87853 50 0 0 20 0 22 0 109262155 10060525568 959800 33554432000 1073741824 1073778376 140736655298480 140464833386816 140464843149099 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14134/tid=14155] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14155/stat : 14155 (java) S 14131 14134 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109262156 10060525568 959800 33554432000 1073741824 1073778376 140736655298480 140464830706856 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14134/tid=14156] ppid=14131 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14156/stat : 14156 (java) S 14131 14134 5982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109262156 10060525568 959800 33554432000 1073741824 1073778376 140736655298480 140464829654056 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9824732

[startup+895.205 s]
/proc/loadavg: 4.29 4.24 4.19 5/217 14245
/proc/meminfo: memFree=22519492/32872528 swapFree=17280/1464432
[pid=14134] ppid=14131 vsize=9957860 CPUtime=1798.34 cores=0,2,4,6
/proc/14134/stat : 14134 (java) S 14131 14134 5982 0 -1 4202496 33168 0 1 0 179609 225 0 0 20 0 21 0 109262109 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140736655289616 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14134/statm: 2489465 963917 2302 9 0 2480142 0
[pid=14134/tid=14136] ppid=14131 vsize=9957860 CPUtime=0.47 cores=0,2,4,6
/proc/14134/task/14136/stat : 14136 (java) S 14131 14134 5982 0 -1 4202560 2507 0 1 0 44 3 0 0 20 0 21 0 109262110 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140465019401080 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14137] ppid=14131 vsize=9957860 CPUtime=3.35 cores=0,2,4,6
/proc/14134/task/14137/stat : 14137 (java) S 14131 14134 5982 0 -1 4202560 640 0 0 0 317 18 0 0 20 0 21 0 109262111 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464980891944 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14138] ppid=14131 vsize=9957860 CPUtime=3.36 cores=0,2,4,6
/proc/14134/task/14138/stat : 14138 (java) S 14131 14134 5982 0 -1 4202560 647 0 0 0 319 17 0 0 20 0 21 0 109262111 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464979839144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14134/tid=14139] ppid=14131 vsize=9957860 CPUtime=3.88 cores=0,2,4,6
/proc/14134/task/14139/stat : 14139 (java) S 14131 14134 5982 0 -1 4202560 739 0 0 0 369 19 0 0 20 0 21 0 109262111 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464978786856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14134/tid=14140] ppid=14131 vsize=9957860 CPUtime=3.53 cores=0,2,4,6
/proc/14134/task/14140/stat : 14140 (java) S 14131 14134 5982 0 -1 4202560 631 0 0 0 335 18 0 0 20 0 21 0 109262111 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464977734056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14141] ppid=14131 vsize=9957860 CPUtime=3.61 cores=0,2,4,6
/proc/14134/task/14141/stat : 14141 (java) S 14131 14134 5982 0 -1 4202560 759 0 0 0 341 20 0 0 20 0 21 0 109262111 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464976681768 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14142] ppid=14131 vsize=9957860 CPUtime=3.45 cores=0,2,4,6
/proc/14134/task/14142/stat : 14142 (java) S 14131 14134 5982 0 -1 4202560 618 0 0 0 327 18 0 0 20 0 21 0 109262111 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464975628968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14134/tid=14143] ppid=14131 vsize=9957860 CPUtime=3.4 cores=0,2,4,6
/proc/14134/task/14143/stat : 14143 (java) S 14131 14134 5982 0 -1 4202560 706 0 0 0 322 18 0 0 20 0 21 0 109262111 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464974576680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14144] ppid=14131 vsize=9957860 CPUtime=3.16 cores=0,2,4,6
/proc/14134/task/14144/stat : 14144 (java) S 14131 14134 5982 0 -1 4202560 591 0 0 0 297 19 0 0 20 0 21 0 109262111 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464973523880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14145] ppid=14131 vsize=9957860 CPUtime=5.8 cores=0,2,4,6
/proc/14134/task/14145/stat : 14145 (java) S 14131 14134 5982 0 -1 4202560 2487 0 0 0 575 5 0 0 20 0 21 0 109262112 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464961112296 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14146] ppid=14131 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14146/stat : 14146 (java) S 14131 14134 5982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 109262113 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464841810936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14147] ppid=14131 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14147/stat : 14147 (java) S 14131 14134 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 109262113 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464840758536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14148] ppid=14131 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14148/stat : 14148 (java) S 14131 14134 5982 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 109262115 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464839707024 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14149] ppid=14131 vsize=9957860 CPUtime=1.84 cores=0,2,4,6
/proc/14134/task/14149/stat : 14149 (java) R 14131 14134 5982 0 -1 4202560 10055 0 0 0 181 3 0 0 20 0 21 0 109262115 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464838654488 227515883957 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14150] ppid=14131 vsize=9957860 CPUtime=1.59 cores=0,2,4,6
/proc/14134/task/14150/stat : 14150 (java) S 14131 14134 5982 0 -1 4202560 9712 0 0 0 157 2 0 0 20 0 21 0 109262115 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464837601848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14134/tid=14151] ppid=14131 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14151/stat : 14151 (java) S 14131 14134 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 109262115 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464836549752 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14134/tid=14152] ppid=14131 vsize=9957860 CPUtime=0.28 cores=0,2,4,6
/proc/14134/task/14152/stat : 14152 (java) S 14131 14134 5982 0 -1 4202560 51 0 0 0 16 12 0 0 20 0 21 0 109262115 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464835497160 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14154] ppid=14131 vsize=9957860 CPUtime=879.05 cores=0,2,4,6
/proc/14134/task/14154/stat : 14154 (java) R 14131 14134 5982 0 -1 4202560 1631 0 0 0 87855 50 0 0 20 0 21 0 109262155 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464833386936 140464843148989 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.34
Current children cumulated vsize (KiB) 9957860
#
############


Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14134 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+895.205 s]
/proc/loadavg: 4.29 4.24 4.19 5/217 14245
/proc/meminfo: memFree=22519492/32872528 swapFree=17280/1464432
[pid=14134] ppid=14131 vsize=9957860 CPUtime=1798.34 cores=0,2,4,6
/proc/14134/stat : 14134 (java) S 14131 14134 5982 0 -1 4202496 33168 0 1 0 179609 225 0 0 20 0 21 0 109262109 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140736655289616 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14134/statm: 2489465 963917 2302 9 0 2480142 0
[pid=14134/tid=14136] ppid=14131 vsize=9957860 CPUtime=0.47 cores=0,2,4,6
/proc/14134/task/14136/stat : 14136 (java) S 14131 14134 5982 0 -1 4202560 2507 0 1 0 44 3 0 0 20 0 21 0 109262110 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140465019401080 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14137] ppid=14131 vsize=9957860 CPUtime=3.35 cores=0,2,4,6
/proc/14134/task/14137/stat : 14137 (java) S 14131 14134 5982 0 -1 4202560 640 0 0 0 317 18 0 0 20 0 21 0 109262111 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464980891944 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14138] ppid=14131 vsize=9957860 CPUtime=3.36 cores=0,2,4,6
/proc/14134/task/14138/stat : 14138 (java) S 14131 14134 5982 0 -1 4202560 647 0 0 0 319 17 0 0 20 0 21 0 109262111 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464979839144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14134/tid=14139] ppid=14131 vsize=9957860 CPUtime=3.88 cores=0,2,4,6
/proc/14134/task/14139/stat : 14139 (java) S 14131 14134 5982 0 -1 4202560 739 0 0 0 369 19 0 0 20 0 21 0 109262111 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464978786856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14134/tid=14140] ppid=14131 vsize=9957860 CPUtime=3.53 cores=0,2,4,6
/proc/14134/task/14140/stat : 14140 (java) S 14131 14134 5982 0 -1 4202560 631 0 0 0 335 18 0 0 20 0 21 0 109262111 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464977734056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14141] ppid=14131 vsize=9957860 CPUtime=3.61 cores=0,2,4,6
/proc/14134/task/14141/stat : 14141 (java) S 14131 14134 5982 0 -1 4202560 759 0 0 0 341 20 0 0 20 0 21 0 109262111 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464976681768 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14142] ppid=14131 vsize=9957860 CPUtime=3.45 cores=0,2,4,6
/proc/14134/task/14142/stat : 14142 (java) S 14131 14134 5982 0 -1 4202560 618 0 0 0 327 18 0 0 20 0 21 0 109262111 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464975628968 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14134/tid=14143] ppid=14131 vsize=9957860 CPUtime=3.4 cores=0,2,4,6
/proc/14134/task/14143/stat : 14143 (java) S 14131 14134 5982 0 -1 4202560 706 0 0 0 322 18 0 0 20 0 21 0 109262111 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464974576680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14144] ppid=14131 vsize=9957860 CPUtime=3.16 cores=0,2,4,6
/proc/14134/task/14144/stat : 14144 (java) S 14131 14134 5982 0 -1 4202560 591 0 0 0 297 19 0 0 20 0 21 0 109262111 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464973523880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14145] ppid=14131 vsize=9957860 CPUtime=5.8 cores=0,2,4,6
/proc/14134/task/14145/stat : 14145 (java) S 14131 14134 5982 0 -1 4202560 2487 0 0 0 575 5 0 0 20 0 21 0 109262112 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464961112296 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14146] ppid=14131 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14146/stat : 14146 (java) S 14131 14134 5982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 109262113 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464841810936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14147] ppid=14131 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14147/stat : 14147 (java) S 14131 14134 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 109262113 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464840758536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14148] ppid=14131 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14148/stat : 14148 (java) S 14131 14134 5982 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 109262115 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464839707024 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14149] ppid=14131 vsize=9957860 CPUtime=1.84 cores=0,2,4,6
/proc/14134/task/14149/stat : 14149 (java) R 14131 14134 5982 0 -1 4202560 10055 0 0 0 181 3 0 0 20 0 21 0 109262115 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464838654488 227515883957 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14150] ppid=14131 vsize=9957860 CPUtime=1.59 cores=0,2,4,6
/proc/14134/task/14150/stat : 14150 (java) S 14131 14134 5982 0 -1 4202560 9712 0 0 0 157 2 0 0 20 0 21 0 109262115 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464837601848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14134/tid=14151] ppid=14131 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/14134/task/14151/stat : 14151 (java) S 14131 14134 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 109262115 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464836549752 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14134/tid=14152] ppid=14131 vsize=9957860 CPUtime=0.28 cores=0,2,4,6
/proc/14134/task/14152/stat : 14152 (java) S 14131 14134 5982 0 -1 4202560 51 0 0 0 16 12 0 0 20 0 21 0 109262115 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464835497160 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14134/tid=14154] ppid=14131 vsize=9957860 CPUtime=879.05 cores=0,2,4,6
/proc/14134/task/14154/stat : 14154 (java) R 14131 14134 5982 0 -1 4202560 1631 0 0 0 87855 50 0 0 20 0 21 0 109262155 10196848640 963917 33554432000 1073741824 1073778376 140736655298480 140464833386936 140464843148989 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.34
Current children cumulated vsize (KiB) 9957860

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14134 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=889287
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=531615
# CPU time returned by wait4() is 1796.42
# while last known CPU time is 1798.34
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1.69995
#  lost CPU user time (s): 1.84998
#  lost CPU system time (s): -0.15

Real time (s): 895.27
CPU time (s): 1800.04
CPU user time (s): 1797.94
CPU system time (s): 2.1
CPU usage (%): 201.061
Max. virtual memory (cumulated for all children) (KiB): 9957860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.89
system time used= 2.53161
maximum resident set size= 3855700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33177
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= 24136
involuntary context switches= 31083

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.91125 second user time and 7.60684 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-07 06:21:31
IDJOB=4080565
IDBENCH=90114
IDSOLVER=2543
FILE ID=node121/4080565-1465273291
RUNJOBID= node121-1465256572-5998
PBS_JOBID= 19843282
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K88.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080565-1465273291/watcher-4080565-1465273291 -o /tmp/evaluation-result-4080565-1465273291/solver-4080565-1465273291 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1465256572-5998 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4080565-1465273291.opb

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

MD5SUM BENCH= 1622186c78d9255ec55518143c1e5a9e
RANDOM SEED=842945175

node121.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		: 2667.050
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	: 5334.10
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		: 2667.050
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		: 2667.050
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.57
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		: 2667.050
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		: 2667.050
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		: 2667.050
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.56
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		: 2667.050
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		: 2667.050
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:        26552324 kB
Buffers:          109284 kB
Cached:           227668 kB
SwapCached:         1720 kB
Active:          3862820 kB
Inactive:         250736 kB
Active(anon):    3776420 kB
Inactive(anon):     2180 kB
Active(file):      86400 kB
Inactive(file):   248556 kB
Unevictable:     1464432 kB
Mlocked:           17280 kB
SwapTotal:      67108856 kB
SwapFree:       67099332 kB
Dirty:               960 kB
Writeback:             0 kB
AnonPages:       5239928 kB
Mapped:            15520 kB
Shmem:                 0 kB
Slab:             602200 kB
SReclaimable:      46364 kB
SUnreclaim:       555836 kB
KernelStack:        1608 kB
PageTables:        14176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5724668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5152768 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= 71732 MiB
End job on node121 at 2016-06-07 06:36:26