Trace number 4108912

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.05 899.588

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-130.opb
MD5SUM1e275a6bfffefd782bc57067ec81c100
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 variables41972
Total number of constraints972388
Number of constraints which are clauses873653
Number of constraints which are cardinality constraints (but not clauses)3080
Number of constraints which are nor clauses,nor cardinality constraints95655
Minimum length of a constraint1
Maximum length of a constraint627
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 628
Number of bits of the biggest sum of numbers10
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-4108912-1466289131.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  no objective function found
9.19/6.98	c ... done. Wall clock time 6.856s.
9.19/6.98	c declared #vars     41972
9.19/6.98	c #constraints  973950
9.19/6.98	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
9.19/6.98	c constraints type 
9.19/6.98	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 657090
9.19/6.98	c org.sat4j.specs.Constr$1 => 12372
9.19/6.98	c org.sat4j.minisat.constraints.card.MinWatchCard => 3057
9.19/6.98	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 205140
9.19/6.98	c org.sat4j.minisat.constraints.cnf.UnitClause => 636
9.19/6.98	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 95655
9.19/6.98	c 973950 constraints processed.
9.19/6.98	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
9.19/6.98	c constraints type 
9.19/6.98	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 205140
9.19/6.98	c org.sat4j.specs.Constr$1 => 12372
9.19/6.98	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 657090
9.19/6.98	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3057
9.19/6.98	c org.sat4j.pb.constraints.pb.MaxWatchPb => 95655
9.19/6.98	c org.sat4j.pb.constraints.pb.UnitClausePB => 636
9.19/6.98	c 973950 constraints processed.
17.78/10.68	c cleaning 0 clauses out of 5000 with flag 0/5000
26.01/14.50	c cleaning 0 clauses out of 11001 with flag 0/11001
37.38/20.19	c cleaning 0 clauses out of 18000 with flag 0/18000
40.23/21.59	c cleaning 2488 clauses out of 5000 with flag 277271/5000
52.96/27.72	c cleaning 0 clauses out of 26000 with flag 0/26000
55.72/29.01	c cleaning 4129 clauses out of 8513 with flag 605441/11001
70.38/36.37	c cleaning 0 clauses out of 35004 with flag 0/35004
74.01/38.19	c cleaning 5566 clauses out of 11382 with flag 950694/18000
95.24/48.70	c cleaning 0 clauses out of 45000 with flag 0/45000
95.24/48.76	c cleaning 6801 clauses out of 13814 with flag 1381290/26000
116.26/59.59	c cleaning 7910 clauses out of 16013 with flag 1837580/35000
128.05/65.49	c cleaning 0 clauses out of 56002 with flag 0/56002
131.85/67.35	c cleaning 8967 clauses out of 18103 with flag 2350299/45000
158.49/80.61	c cleaning 10053 clauses out of 20135 with flag 2870132/56000
165.51/84.15	c cleaning 0 clauses out of 68000 with flag 0/68000
183.76/93.22	c cleaning 10986 clauses out of 22083 with flag 3389611/68001
207.19/104.93	c cleaning 0 clauses out of 81002 with flag 0/81002
218.79/110.71	c cleaning 12022 clauses out of 24096 with flag 3904440/81000
244.13/123.35	c cleaning 12920 clauses out of 26073 with flag 4370017/95000
257.51/130.04	c cleaning 0 clauses out of 95001 with flag 0/95001
287.57/145.01	c cleaning 13998 clauses out of 28150 with flag 4960499/110000
321.14/161.79	c cleaning 14898 clauses out of 30152 with flag 5451607/126000
323.92/163.18	c cleaning 0 clauses out of 110004 with flag 0/110004
360.80/181.56	c cleaning 15943 clauses out of 32254 with flag 5969372/143000
395.85/199.02	c cleaning 17149 clauses out of 34310 with flag 6491503/161000
405.44/203.86	c cleaning 0 clauses out of 126000 with flag 0/126000
436.32/219.29	c cleaning 17954 clauses out of 36161 with flag 7046003/180000
480.21/241.19	c cleaning 0 clauses out of 143001 with flag 0/143001
488.83/245.40	c cleaning 18759 clauses out of 38207 with flag 7560734/200000
526.74/264.32	c cleaning 20103 clauses out of 40448 with flag 8010066/221000
568.40/285.13	c cleaning 21022 clauses out of 42343 with flag 8597800/243000
571.60/286.79	c cleaning 0 clauses out of 161000 with flag 0/161000
619.07/310.49	c cleaning 21927 clauses out of 44320 with flag 9123883/266000
663.54/332.67	c cleaning 22998 clauses out of 46394 with flag 9636966/290001
693.43/347.50	c cleaning 0 clauses out of 180000 with flag 0/180000
704.97/353.23	c cleaning 24136 clauses out of 48395 with flag 9996611/315001
743.84/372.68	c cleaning 25062 clauses out of 50257 with flag 10376871/341000
779.32/390.31	c cleaning 25632 clauses out of 52195 with flag 10784935/368000
804.42/402.82	c cleaning 0 clauses out of 200000 with flag 0/200000
812.22/406.73	c cleaning 26938 clauses out of 54562 with flag 11206408/396001
853.90/427.59	c cleaning 27018 clauses out of 56623 with flag 11582415/425001
872.22/436.60	c cleaning 28442 clauses out of 59586 with flag 11835544/455000
897.21/449.12	c cleaning 29698 clauses out of 62136 with flag 12098112/486000
930.10/465.55	c cleaning 30583 clauses out of 64436 with flag 12499418/518000
937.30/469.15	c cleaning 0 clauses out of 221000 with flag 0/221000
974.01/487.48	c cleaning 31520 clauses out of 66854 with flag 12931040/551001
1000.71/500.73	c cleaning 32348 clauses out of 69333 with flag 13344262/585000
1033.32/517.04	c cleaning 33860 clauses out of 71981 with flag 13802946/620000
1089.52/545.02	c cleaning 32413 clauses out of 74121 with flag 14592220/656000
1105.32/552.94	c cleaning 0 clauses out of 243000 with flag 0/243000
1136.42/568.46	c cleaning 36022 clauses out of 78708 with flag 15200977/693000
1180.52/590.49	c cleaning 36020 clauses out of 80687 with flag 15641274/731001
1206.31/603.33	c cleaning 38243 clauses out of 83667 with flag 16013277/770001
1243.62/621.90	c cleaning 39076 clauses out of 85423 with flag 16476412/810000
1279.12/639.66	c cleaning 0 clauses out of 266002 with flag 0/266002
1293.73/646.91	c cleaning 40062 clauses out of 87348 with flag 16968163/851001
1335.83/667.96	c cleaning 41156 clauses out of 89285 with flag 17433921/893001
1392.36/696.16	c cleaning 41629 clauses out of 91128 with flag 18167427/936000
1460.86/730.33	c cleaning 41191 clauses out of 93499 with flag 19082698/980000
1503.77/751.73	c cleaning 0 clauses out of 290001 with flag 0/290001
1550.12/774.89	c cleaning 41446 clauses out of 97307 with flag 20210385/1025000
1631.47/815.47	c cleaning 44228 clauses out of 101861 with flag 21030978/1071000
1705.83/852.56	c cleaning 44693 clauses out of 104636 with flag 21924511/1118003
1760.31/879.70	c cleaning 0 clauses out of 315000 with flag 0/315000
1764.71/881.96	c cleaning 46585 clauses out of 107941 with flag 22632479/1166001
1800.05/899.50	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.05/899.50	c starts		: 6633
1800.05/899.50	c conflicts		: 1198635
1800.05/899.50	c decisions		: 57006387
1800.05/899.50	c propagations		: 1039004263
1800.05/899.50	c inspects		: 7573295032
1800.05/899.50	c shortcuts		: 0
1800.05/899.50	c learnt literals	: 54
1800.05/899.50	c learnt binary clauses	: 2748
1800.05/899.50	c learnt ternary clauses	: 8155
1800.05/899.50	c learnt constraints	: 1198581
1800.05/899.50	c ignored constraints	: 0
1800.05/899.50	c root simplifications	: 0
1800.05/899.50	c removed literals (reason simplification)	: 8019937
1800.05/899.50	c reason swapping (by a shorter reason)	: 0
1800.05/899.50	c Calls to reduceDB	: 44
1800.05/899.50	c Number of update (reduction) of LBD	: 695159
1800.05/899.50	c Imported unit clauses	: 0
1800.05/899.50	c number of reductions to clauses (during analyze)	: 0
1800.05/899.50	c number of learned constraints concerned by reduction	: 0
1800.05/899.50	c number of learning phase by resolution	: 0
1800.05/899.50	c number of learning phase by cutting planes	: 0
1800.05/899.50	c speed (assignments/second)	: 1164158.9568109142
1800.05/899.50	c non guided choices	3078329
1800.05/899.53	c learnt constraints type 
1800.05/899.53	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2748
1800.05/899.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 91240
1800.05/899.53	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.05/899.53	c starts		: 135
1800.05/899.53	c conflicts		: 318777
1800.05/899.53	c decisions		: 416032
1800.05/899.53	c propagations		: 232103143
1800.05/899.53	c inspects		: 4929606573
1800.05/899.53	c shortcuts		: 0
1800.05/899.53	c learnt literals	: 0
1800.05/899.53	c learnt binary clauses	: 0
1800.05/899.53	c learnt ternary clauses	: 0
1800.05/899.53	c learnt constraints	: 318777
1800.05/899.53	c ignored constraints	: 0
1800.05/899.53	c root simplifications	: 0
1800.05/899.53	c removed literals (reason simplification)	: 0
1800.05/899.53	c reason swapping (by a shorter reason)	: 0
1800.05/899.53	c Calls to reduceDB	: 21
1800.05/899.53	c Number of update (reduction) of LBD	: 0
1800.05/899.53	c Imported unit clauses	: 0
1800.05/899.53	c number of reductions to clauses (during analyze)	: 0
1800.05/899.53	c number of learned constraints concerned by reduction	: 0
1800.05/899.53	c number of learning phase by resolution	: 0
1800.05/899.53	c number of learning phase by cutting planes	: 0
1800.05/899.53	c speed (assignments/second)	: 260052.25960057141
1800.05/899.53	c non guided choices	3861
1800.05/899.57	c learnt constraints type 
1800.05/899.57	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 318763
1800.05/899.57	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14
1800.05/899.57	s UNKNOWN
1800.05/899.57	c Total wall clock time (in seconds): 899.451

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-4108912-1466289131/watcher-4108912-1466289131 -o /tmp/evaluation-result-4108912-1466289131/solver-4108912-1466289131 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466276277-8275 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4108912-1466289131.opb 

pid=15241
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: 4.33 4.27 4.29 5/197 15244
/proc/meminfo: memFree=27830308/32872528 swapFree=1200228/1314692
[pid=15244] ppid=15241 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/15244/stat : 15244 (java) R 15241 15244 8258 0 -1 4202496 879 0 0 0 0 0 0 0 20 0 1 0 30959775 23793664 531 33554432000 1073741824 1073778376 140735407119280 140735407108344 252253878835 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15244/statm: 5809 539 407 9 0 128 0

[startup+0.100163 s]
/proc/loadavg: 4.33 4.27 4.29 5/197 15244
/proc/meminfo: memFree=27830308/32872528 swapFree=1200228/1314692
[pid=15244] ppid=15241 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/15244/stat : 15244 (java) S 15241 15244 8258 0 -1 4202496 4472 0 1 0 8 1 0 0 20 0 18 0 30959775 9787879424 5588 33554432000 1073741824 1073778376 140735407119280 140735407110416 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15244/statm: 2389619 5588 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.20023 s]
/proc/loadavg: 4.33 4.27 4.29 5/197 15244
/proc/meminfo: memFree=27830308/32872528 swapFree=1200228/1314692
[pid=15244] ppid=15241 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/15244/stat : 15244 (java) S 15241 15244 8258 0 -1 4202496 4733 0 1 0 21 1 0 0 20 0 18 0 30959775 9787879424 7856 33554432000 1073741824 1073778376 140735407119280 140735407110416 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15244/statm: 2389619 7856 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300225 s]
/proc/loadavg: 4.33 4.27 4.29 5/197 15244
/proc/meminfo: memFree=27830308/32872528 swapFree=1200228/1314692
[pid=15244] ppid=15241 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/15244/stat : 15244 (java) S 15241 15244 8258 0 -1 4202496 5913 0 1 0 45 2 0 0 20 0 18 0 30959775 9787879424 9909 33554432000 1073741824 1073778376 140735407119280 140735407110416 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15244/statm: 2389619 9909 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700301 s]
/proc/loadavg: 4.33 4.27 4.29 5/197 15244
/proc/meminfo: memFree=27830308/32872528 swapFree=1200228/1314692
[pid=15244] ppid=15241 vsize=9558476 CPUtime=1.41 cores=1,3,5,7
/proc/15244/stat : 15244 (java) S 15241 15244 8258 0 -1 4202496 13845 0 1 0 133 8 0 0 20 0 18 0 30959775 9787879424 44294 33554432000 1073741824 1073778376 140735407119280 140735407110416 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15244/statm: 2389619 44294 2263 9 0 2380296 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 9558476

[startup+1.50072 s]
/proc/loadavg: 4.33 4.27 4.29 5/215 15262
/proc/meminfo: memFree=27546656/32872528 swapFree=1200228/1314692
[pid=15244] ppid=15241 vsize=9558476 CPUtime=2.64 cores=1,3,5,7
/proc/15244/stat : 15244 (java) S 15241 15244 8258 0 -1 4202496 14590 0 1 0 248 16 0 0 20 0 18 0 30959775 9787879424 92665 33554432000 1073741824 1073778376 140735407119280 140735407110416 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15244/statm: 2389619 92665 2263 9 0 2380296 0
[pid=15244/tid=15246] ppid=15241 vsize=9558476 CPUtime=1.36 cores=1,3,5,7
/proc/15244/task/15246/stat : 15246 (java) S 15241 15244 8258 0 -1 4202560 2586 0 1 0 131 5 0 0 20 0 18 0 30959776 9787879424 92665 33554432000 1073741824 1073778376 140735407119280 139820723595352 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15244/tid=15247] ppid=15241 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/15244/task/15247/stat : 15247 (java) R 15241 15244 8258 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 30959777 9787879424 92665 33554432000 1073741824 1073778376 140735407119280 139820567231192 252263042183 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15248] ppid=15241 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/15244/task/15248/stat : 15248 (java) R 15241 15244 8258 0 -1 4202560 39 0 0 0 5 0 0 0 20 0 18 0 30959777 9787879424 92665 33554432000 1073741824 1073778376 140735407119280 139820566178392 139820730493868 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15244/tid=15249] ppid=15241 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/15244/task/15249/stat : 15249 (java) R 15241 15244 8258 0 -1 4202560 35 0 0 0 4 1 0 0 20 0 18 0 30959777 9787879424 92665 33554432000 1073741824 1073778376 140735407119280 139820565125544 252263042183 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15244/tid=15250] ppid=15241 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/15244/task/15250/stat : 15250 (java) R 15241 15244 8258 0 -1 4202560 52 0 0 0 3 1 0 0 20 0 18 0 30959777 9787879424 92665 33554432000 1073741824 1073778376 140735407119280 139820564072744 139820731643042 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15251] ppid=15241 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/15244/task/15251/stat : 15251 (java) R 15241 15244 8258 0 -1 4202560 26 0 0 0 2 0 0 0 20 0 18 0 30959777 9787879424 92665 33554432000 1073741824 1073778376 140735407119280 139820563021016 139820730493868 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15252] ppid=15241 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/15244/task/15252/stat : 15252 (java) R 15241 15244 8258 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 18 0 30959777 9787879424 92665 33554432000 1073741824 1073778376 140735407119280 139820561968216 252263042183 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15244/tid=15253] ppid=15241 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/15244/task/15253/stat : 15253 (java) R 15241 15244 8258 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 30959777 9787879424 92665 33554432000 1073741824 1073778376 140735407119280 139820560915416 139820726068979 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15244/tid=15254] ppid=15241 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/15244/task/15254/stat : 15254 (java) R 15241 15244 8258 0 -1 4202560 28 0 0 0 2 0 0 0 20 0 18 0 30959777 9787879424 92665 33554432000 1073741824 1073778376 140735407119280 139820559862568 252263042183 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15244/tid=15255] ppid=15241 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15255/stat : 15255 (java) S 15241 15244 8258 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 30959778 9787879424 92665 33554432000 1073741824 1073778376 140735407119280 139820547663240 252266460220 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15256] ppid=15241 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15256/stat : 15256 (java) S 15241 15244 8258 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 30959778 9787879424 92665 33554432000 1073741824 1073778376 140735407119280 139820546610424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15257] ppid=15241 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15257/stat : 15257 (java) S 15241 15244 8258 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 30959778 9787879424 92665 33554432000 1073741824 1073778376 140735407119280 139820545557512 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15258] ppid=15241 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15258/stat : 15258 (java) S 15241 15244 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30959781 9787879424 92665 33554432000 1073741824 1073778376 140735407119280 139820544506000 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15259] ppid=15241 vsize=9558476 CPUtime=0.44 cores=1,3,5,7
/proc/15244/task/15259/stat : 15259 (java) S 15241 15244 8258 0 -1 4202560 3320 0 0 0 44 0 0 0 20 0 18 0 30959781 9787879424 92665 33554432000 1073741824 1073778376 140735407119280 139820543454136 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15260] ppid=15241 vsize=9558476 CPUtime=0.43 cores=1,3,5,7
/proc/15244/task/15260/stat : 15260 (java) S 15241 15244 8258 0 -1 4202560 7004 0 0 0 40 3 0 0 20 0 18 0 30959781 9787879424 92665 33554432000 1073741824 1073778376 140735407119280 139820542401336 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15261] ppid=15241 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15261/stat : 15261 (java) S 15241 15244 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30959781 9787879424 92665 33554432000 1073741824 1073778376 140735407119280 139820541348728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15262] ppid=15241 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15262/stat : 15262 (java) S 15241 15244 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30959781 9787879424 92665 33554432000 1073741824 1073778376 140735407119280 139820540296136 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 9558476

[startup+3.10086 s]
/proc/loadavg: 4.33 4.27 4.29 5/215 15262
/proc/meminfo: memFree=27200916/32872528 swapFree=1200228/1314692
[pid=15244] ppid=15241 vsize=9558476 CPUtime=4.62 cores=1,3,5,7
/proc/15244/stat : 15244 (java) S 15241 15244 8258 0 -1 4202496 15193 0 1 0 432 30 0 0 20 0 18 0 30959775 9787879424 170818 33554432000 1073741824 1073778376 140735407119280 140735407110416 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15244/statm: 2389619 170818 2263 9 0 2380296 0
[pid=15244/tid=15246] ppid=15241 vsize=9558476 CPUtime=2.82 cores=1,3,5,7
/proc/15244/task/15246/stat : 15246 (java) R 15241 15244 8258 0 -1 4202560 2698 0 1 0 274 8 0 0 20 0 18 0 30959776 9787879424 170818 33554432000 1073741824 1073778376 140735407119280 139820723589040 139820596032259 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15244/tid=15247] ppid=15241 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/15244/task/15247/stat : 15247 (java) S 15241 15244 8258 0 -1 4202560 50 0 0 0 8 2 0 0 20 0 18 0 30959777 9787879424 170818 33554432000 1073741824 1073778376 140735407119280 139820567231016 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15248] ppid=15241 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/15244/task/15248/stat : 15248 (java) S 15241 15244 8258 0 -1 4202560 52 0 0 0 6 2 0 0 20 0 18 0 30959777 9787879424 170818 33554432000 1073741824 1073778376 140735407119280 139820566178216 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15244/tid=15249] ppid=15241 vsize=9558476 CPUtime=0.15 cores=1,3,5,7
/proc/15244/task/15249/stat : 15249 (java) S 15241 15244 8258 0 -1 4202560 82 0 0 0 11 4 0 0 20 0 18 0 30959777 9787879424 170818 33554432000 1073741824 1073778376 140735407119280 139820565125416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15250] ppid=15241 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/15244/task/15250/stat : 15250 (java) S 15241 15244 8258 0 -1 4202560 72 0 0 0 7 2 0 0 20 0 18 0 30959777 9787879424 170818 33554432000 1073741824 1073778376 140735407119280 139820564072616 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15251] ppid=15241 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/15244/task/15251/stat : 15251 (java) S 15241 15244 8258 0 -1 4202560 55 0 0 0 7 3 0 0 20 0 18 0 30959777 9787879424 170818 33554432000 1073741824 1073778376 140735407119280 139820563020840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15244/tid=15252] ppid=15241 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/15244/task/15252/stat : 15252 (java) S 15241 15244 8258 0 -1 4202560 29 0 0 0 6 0 0 0 20 0 18 0 30959777 9787879424 170818 33554432000 1073741824 1073778376 140735407119280 139820561968040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15244/tid=15253] ppid=15241 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/15244/task/15253/stat : 15253 (java) S 15241 15244 8258 0 -1 4202560 47 0 0 0 8 2 0 0 20 0 18 0 30959777 9787879424 170818 33554432000 1073741824 1073778376 140735407119280 139820560915240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15244/tid=15254] ppid=15241 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/15244/task/15254/stat : 15254 (java) S 15241 15244 8258 0 -1 4202560 48 0 0 0 6 2 0 0 20 0 18 0 30959777 9787879424 170818 33554432000 1073741824 1073778376 140735407119280 139820559862440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15255] ppid=15241 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15255/stat : 15255 (java) S 15241 15244 8258 0 -1 4202560 483 0 0 0 0 0 0 0 20 0 18 0 30959778 9787879424 170818 33554432000 1073741824 1073778376 140735407119280 139820547664360 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15256] ppid=15241 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15256/stat : 15256 (java) S 15241 15244 8258 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 30959778 9787879424 170818 33554432000 1073741824 1073778376 140735407119280 139820546610424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15257] ppid=15241 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15257/stat : 15257 (java) S 15241 15244 8258 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 30959778 9787879424 170818 33554432000 1073741824 1073778376 140735407119280 139820545557512 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15258] ppid=15241 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15258/stat : 15258 (java) S 15241 15244 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30959781 9787879424 170818 33554432000 1073741824 1073778376 140735407119280 139820544506000 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15259] ppid=15241 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/15244/task/15259/stat : 15259 (java) S 15241 15244 8258 0 -1 4202560 3322 0 0 0 45 1 0 0 20 0 18 0 30959781 9787879424 170818 33554432000 1073741824 1073778376 140735407119280 139820543454136 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15260] ppid=15241 vsize=9558476 CPUtime=0.43 cores=1,3,5,7
/proc/15244/task/15260/stat : 15260 (java) S 15241 15244 8258 0 -1 4202560 7004 0 0 0 40 3 0 0 20 0 18 0 30959781 9787879424 170818 33554432000 1073741824 1073778376 140735407119280 139820542401336 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15261] ppid=15241 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15261/stat : 15261 (java) S 15241 15244 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30959781 9787879424 170818 33554432000 1073741824 1073778376 140735407119280 139820541348728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15262] ppid=15241 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15262/stat : 15262 (java) S 15241 15244 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30959781 9787879424 170818 33554432000 1073741824 1073778376 140735407119280 139820540296136 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 9558476

[startup+6.30085 s]
/proc/loadavg: 4.54 4.31 4.31 5/215 15262
/proc/meminfo: memFree=26496668/32872528 swapFree=1200228/1314692
[pid=15244] ppid=15241 vsize=9558476 CPUtime=8.57 cores=1,3,5,7
/proc/15244/stat : 15244 (java) S 15241 15244 8258 0 -1 4202496 17282 0 1 0 800 57 0 0 20 0 18 0 30959775 9787879424 334982 33554432000 1073741824 1073778376 140735407119280 140735407110416 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15244/statm: 2389619 334982 2263 9 0 2380296 0
[pid=15244/tid=15246] ppid=15241 vsize=9558476 CPUtime=5.76 cores=1,3,5,7
/proc/15244/task/15246/stat : 15246 (java) R 15241 15244 8258 0 -1 4202560 3395 0 1 0 560 16 0 0 20 0 18 0 30959776 9787879424 334982 33554432000 1073741824 1073778376 140735407119280 139820723589040 252266472717 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15244/tid=15247] ppid=15241 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/15244/task/15247/stat : 15247 (java) S 15241 15244 8258 0 -1 4202560 101 0 0 0 17 5 0 0 20 0 18 0 30959777 9787879424 334982 33554432000 1073741824 1073778376 140735407119280 139820567231016 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15248] ppid=15241 vsize=9558476 CPUtime=0.14 cores=1,3,5,7
/proc/15244/task/15248/stat : 15248 (java) S 15241 15244 8258 0 -1 4202560 123 0 0 0 11 3 0 0 20 0 18 0 30959777 9787879424 334982 33554432000 1073741824 1073778376 140735407119280 139820566178216 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15249] ppid=15241 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/15244/task/15249/stat : 15249 (java) S 15241 15244 8258 0 -1 4202560 188 0 0 0 23 7 0 0 20 0 18 0 30959777 9787879424 334982 33554432000 1073741824 1073778376 140735407119280 139820565125416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15250] ppid=15241 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/15244/task/15250/stat : 15250 (java) S 15241 15244 8258 0 -1 4202560 186 0 0 0 23 6 0 0 20 0 18 0 30959777 9787879424 334982 33554432000 1073741824 1073778376 140735407119280 139820564072616 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15244/tid=15251] ppid=15241 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/15244/task/15251/stat : 15251 (java) S 15241 15244 8258 0 -1 4202560 321 0 0 0 21 5 0 0 20 0 18 0 30959777 9787879424 334982 33554432000 1073741824 1073778376 140735407119280 139820563020840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15244/tid=15252] ppid=15241 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/15244/task/15252/stat : 15252 (java) S 15241 15244 8258 0 -1 4202560 123 0 0 0 13 4 0 0 20 0 18 0 30959777 9787879424 334982 33554432000 1073741824 1073778376 140735407119280 139820561968040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15244/tid=15253] ppid=15241 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/15244/task/15253/stat : 15253 (java) S 15241 15244 8258 0 -1 4202560 103 0 0 0 13 4 0 0 20 0 18 0 30959777 9787879424 334982 33554432000 1073741824 1073778376 140735407119280 139820560915240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15254] ppid=15241 vsize=9558476 CPUtime=0.2 cores=1,3,5,7
/proc/15244/task/15254/stat : 15254 (java) S 15241 15244 8258 0 -1 4202560 139 0 0 0 16 4 0 0 20 0 18 0 30959777 9787879424 334982 33554432000 1073741824 1073778376 140735407119280 139820559862440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15255] ppid=15241 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15255/stat : 15255 (java) S 15241 15244 8258 0 -1 4202560 1026 0 0 0 0 0 0 0 20 0 18 0 30959778 9787879424 334982 33554432000 1073741824 1073778376 140735407119280 139820547664360 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15244/tid=15256] ppid=15241 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15256/stat : 15256 (java) S 15241 15244 8258 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 30959778 9787879424 334982 33554432000 1073741824 1073778376 140735407119280 139820546610424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15257] ppid=15241 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15257/stat : 15257 (java) S 15241 15244 8258 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 30959778 9787879424 334982 33554432000 1073741824 1073778376 140735407119280 139820545557512 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15258] ppid=15241 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15258/stat : 15258 (java) S 15241 15244 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30959781 9787879424 334982 33554432000 1073741824 1073778376 140735407119280 139820544506000 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15259] ppid=15241 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/15244/task/15259/stat : 15259 (java) S 15241 15244 8258 0 -1 4202560 3322 0 0 0 45 1 0 0 20 0 18 0 30959781 9787879424 334982 33554432000 1073741824 1073778376 140735407119280 139820543454136 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15260] ppid=15241 vsize=9558476 CPUtime=0.43 cores=1,3,5,7
/proc/15244/task/15260/stat : 15260 (java) S 15241 15244 8258 0 -1 4202560 7004 0 0 0 40 3 0 0 20 0 18 0 30959781 9787879424 334982 33554432000 1073741824 1073778376 140735407119280 139820542401336 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15261] ppid=15241 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15261/stat : 15261 (java) S 15241 15244 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30959781 9787879424 334982 33554432000 1073741824 1073778376 140735407119280 139820541348728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15262] ppid=15241 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15262/stat : 15262 (java) S 15241 15244 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 30959781 9787879424 334982 33554432000 1073741824 1073778376 140735407119280 139820540296136 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.57
Current children cumulated vsize (KiB) 9558476

[startup+12.7009 s]
/proc/loadavg: 4.50 4.31 4.31 6/219 15266
/proc/meminfo: memFree=25315856/32872528 swapFree=1200228/1314692
[pid=15244] ppid=15241 vsize=9824732 CPUtime=22.34 cores=1,3,5,7
/proc/15244/stat : 15244 (java) S 15241 15244 8258 0 -1 4202496 19447 0 1 0 2137 97 0 0 20 0 22 0 30959775 10060525568 629648 33554432000 1073741824 1073778376 140735407119280 140735407110416 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15244/statm: 2456183 629648 2288 9 0 2446860 0

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

/proc/15244/task/15249/stat : 15249 (java) S 15241 15244 8258 0 -1 4202560 440 0 0 0 149 13 0 0 20 0 22 0 30959777 10060525568 808421 33554432000 1073741824 1073778376 140735407119280 139820565125416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15250] ppid=15241 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/15244/task/15250/stat : 15250 (java) S 15241 15244 8258 0 -1 4202560 546 0 0 0 154 14 0 0 20 0 22 0 30959777 10060525568 808421 33554432000 1073741824 1073778376 140735407119280 139820564072616 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15244/tid=15251] ppid=15241 vsize=9824732 CPUtime=1.52 cores=1,3,5,7
/proc/15244/task/15251/stat : 15251 (java) S 15241 15244 8258 0 -1 4202560 573 0 0 0 138 14 0 0 20 0 22 0 30959777 10060525568 808421 33554432000 1073741824 1073778376 140735407119280 139820563020840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15244/tid=15252] ppid=15241 vsize=9824732 CPUtime=1.39 cores=1,3,5,7
/proc/15244/task/15252/stat : 15252 (java) S 15241 15244 8258 0 -1 4202560 417 0 0 0 128 11 0 0 20 0 22 0 30959777 10060525568 808421 33554432000 1073741824 1073778376 140735407119280 139820561968040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15253] ppid=15241 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/15244/task/15253/stat : 15253 (java) S 15241 15244 8258 0 -1 4202560 464 0 0 0 147 15 0 0 20 0 22 0 30959777 10060525568 808421 33554432000 1073741824 1073778376 140735407119280 139820560915240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15254] ppid=15241 vsize=9824732 CPUtime=1.58 cores=1,3,5,7
/proc/15244/task/15254/stat : 15254 (java) S 15241 15244 8258 0 -1 4202560 404 0 0 0 146 12 0 0 20 0 22 0 30959777 10060525568 808421 33554432000 1073741824 1073778376 140735407119280 139820559862440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15244/tid=15255] ppid=15241 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/15244/task/15255/stat : 15255 (java) S 15241 15244 8258 0 -1 4202560 1541 0 0 0 64 5 0 0 20 0 22 0 30959778 10060525568 808421 33554432000 1073741824 1073778376 140735407119280 139820547664360 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15244/tid=15256] ppid=15241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15256/stat : 15256 (java) S 15241 15244 8258 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30959778 10060525568 808421 33554432000 1073741824 1073778376 140735407119280 139820546610424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15257] ppid=15241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15257/stat : 15257 (java) S 15241 15244 8258 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30959778 10060525568 808421 33554432000 1073741824 1073778376 140735407119280 139820545557512 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15258] ppid=15241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15258/stat : 15258 (java) S 15241 15244 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30959781 10060525568 808421 33554432000 1073741824 1073778376 140735407119280 139820544506000 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15259] ppid=15241 vsize=9824732 CPUtime=1.47 cores=1,3,5,7
/proc/15244/task/15259/stat : 15259 (java) S 15241 15244 8258 0 -1 4202560 10727 0 0 0 145 2 0 0 20 0 22 0 30959781 10060525568 808421 33554432000 1073741824 1073778376 140735407119280 139820543454136 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15260] ppid=15241 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/15244/task/15260/stat : 15260 (java) S 15241 15244 8258 0 -1 4202560 7079 0 0 0 113 3 0 0 20 0 22 0 30959781 10060525568 808421 33554432000 1073741824 1073778376 140735407119280 139820542401336 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15244/tid=15261] ppid=15241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15261/stat : 15261 (java) S 15241 15244 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30959781 10060525568 808421 33554432000 1073741824 1073778376 140735407119280 139820541348728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15262] ppid=15241 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/15244/task/15262/stat : 15262 (java) S 15241 15244 8258 0 -1 4202560 51 0 0 0 19 19 0 0 20 0 22 0 30959781 10060525568 808421 33554432000 1073741824 1073778376 140735407119280 139820540296136 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15244/tid=15263] ppid=15241 vsize=9824732 CPUtime=869.2 cores=1,3,5,7
/proc/15244/task/15263/stat : 15263 (java) R 15241 15244 8258 0 -1 4202560 55 0 0 0 86905 15 0 0 20 0 22 0 30960473 10060525568 808421 33554432000 1073741824 1073778376 140735407119280 139820539232288 139820596488039 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15264] ppid=15241 vsize=9824732 CPUtime=869.17 cores=1,3,5,7
/proc/15244/task/15264/stat : 15264 (java) R 15241 15244 8258 0 -1 4202560 657 0 0 0 86891 26 0 0 20 0 22 0 30960473 10060525568 808421 33554432000 1073741824 1073778376 140735407119280 139820538179488 139820596488039 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15244/tid=15265] ppid=15241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15265/stat : 15265 (java) S 15241 15244 8258 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30960476 10060525568 808421 33554432000 1073741824 1073778376 140735407119280 139820537136040 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15266] ppid=15241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15266/stat : 15266 (java) S 15241 15244 8258 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30960476 10060525568 808421 33554432000 1073741824 1073778376 140735407119280 139820536083240 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1765.53
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+899.501 s]
/proc/loadavg: 4.32 4.27 4.27 5/219 15355
/proc/meminfo: memFree=21823912/32872528 swapFree=1200228/1314692
[pid=15244] ppid=15241 vsize=9824732 CPUtime=1800.05 cores=1,3,5,7
/proc/15244/stat : 15244 (java) S 15241 15244 8258 0 -1 4202496 28759 0 1 0 179839 166 0 0 20 0 22 0 30959775 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 140735407110416 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15244/statm: 2456183 811068 2296 9 0 2446860 0
[pid=15244/tid=15246] ppid=15241 vsize=9824732 CPUtime=6.5 cores=1,3,5,7
/proc/15244/task/15246/stat : 15246 (java) S 15241 15244 8258 0 -1 4202560 3593 0 1 0 625 25 0 0 20 0 22 0 30959776 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820723598200 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15247] ppid=15241 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/15244/task/15247/stat : 15247 (java) S 15241 15244 8258 0 -1 4202560 461 0 0 0 162 13 0 0 20 0 22 0 30959777 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820567231016 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15248] ppid=15241 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/15244/task/15248/stat : 15248 (java) S 15241 15244 8258 0 -1 4202560 455 0 0 0 121 11 0 0 20 0 22 0 30959777 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820566178216 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15244/tid=15249] ppid=15241 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/15244/task/15249/stat : 15249 (java) S 15241 15244 8258 0 -1 4202560 448 0 0 0 152 13 0 0 20 0 22 0 30959777 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820565125416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15244/tid=15250] ppid=15241 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/15244/task/15250/stat : 15250 (java) S 15241 15244 8258 0 -1 4202560 550 0 0 0 157 15 0 0 20 0 22 0 30959777 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820564072616 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15251] ppid=15241 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/15244/task/15251/stat : 15251 (java) S 15241 15244 8258 0 -1 4202560 578 0 0 0 141 14 0 0 20 0 22 0 30959777 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820563020840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15244/tid=15252] ppid=15241 vsize=9824732 CPUtime=1.42 cores=1,3,5,7
/proc/15244/task/15252/stat : 15252 (java) S 15241 15244 8258 0 -1 4202560 417 0 0 0 131 11 0 0 20 0 22 0 30959777 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820561968040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15253] ppid=15241 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/15244/task/15253/stat : 15253 (java) S 15241 15244 8258 0 -1 4202560 469 0 0 0 150 15 0 0 20 0 22 0 30959777 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820560915240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15254] ppid=15241 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/15244/task/15254/stat : 15254 (java) S 15241 15244 8258 0 -1 4202560 409 0 0 0 153 12 0 0 20 0 22 0 30959777 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820559862440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15244/tid=15255] ppid=15241 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/15244/task/15255/stat : 15255 (java) S 15241 15244 8258 0 -1 4202560 1543 0 0 0 64 5 0 0 20 0 22 0 30959778 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820547664360 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15244/tid=15256] ppid=15241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15256/stat : 15256 (java) S 15241 15244 8258 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30959778 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820546610424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15257] ppid=15241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15257/stat : 15257 (java) S 15241 15244 8258 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30959778 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820545557512 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15258] ppid=15241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15258/stat : 15258 (java) S 15241 15244 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30959781 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820544506000 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15259] ppid=15241 vsize=9824732 CPUtime=1.47 cores=1,3,5,7
/proc/15244/task/15259/stat : 15259 (java) S 15241 15244 8258 0 -1 4202560 10727 0 0 0 145 2 0 0 20 0 22 0 30959781 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820543454136 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15260] ppid=15241 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/15244/task/15260/stat : 15260 (java) S 15241 15244 8258 0 -1 4202560 7079 0 0 0 113 3 0 0 20 0 22 0 30959781 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820542401336 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15244/tid=15261] ppid=15241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15261/stat : 15261 (java) S 15241 15244 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30959781 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820541348728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15262] ppid=15241 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/15244/task/15262/stat : 15262 (java) S 15241 15244 8258 0 -1 4202560 53 0 0 0 19 19 0 0 20 0 22 0 30959781 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820540296136 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15244/tid=15263] ppid=15241 vsize=9824732 CPUtime=886.27 cores=1,3,5,7
/proc/15244/task/15263/stat : 15263 (java) R 15241 15244 8258 0 -1 4202560 55 0 0 0 88612 15 0 0 20 0 22 0 30960473 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820539239024 139820596492837 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15264] ppid=15241 vsize=9824732 CPUtime=886.24 cores=1,3,5,7
/proc/15244/task/15264/stat : 15264 (java) R 15241 15244 8258 0 -1 4202560 658 0 0 0 88598 26 0 0 20 0 22 0 30960473 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820538187008 139820596618143 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15244/tid=15265] ppid=15241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15265/stat : 15265 (java) S 15241 15244 8258 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30960476 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820537136040 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15266] ppid=15241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15266/stat : 15266 (java) S 15241 15244 8258 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30960476 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820536083240 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 15244 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+899.501 s]
/proc/loadavg: 4.32 4.27 4.27 5/219 15355
/proc/meminfo: memFree=21823912/32872528 swapFree=1200228/1314692
[pid=15244] ppid=15241 vsize=9824732 CPUtime=1800.05 cores=1,3,5,7
/proc/15244/stat : 15244 (java) S 15241 15244 8258 0 -1 4202496 28759 0 1 0 179839 166 0 0 20 0 22 0 30959775 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 140735407110416 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15244/statm: 2456183 811068 2296 9 0 2446860 0
[pid=15244/tid=15246] ppid=15241 vsize=9824732 CPUtime=6.5 cores=1,3,5,7
/proc/15244/task/15246/stat : 15246 (java) S 15241 15244 8258 0 -1 4202560 3593 0 1 0 625 25 0 0 20 0 22 0 30959776 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820723598200 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15247] ppid=15241 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/15244/task/15247/stat : 15247 (java) S 15241 15244 8258 0 -1 4202560 461 0 0 0 162 13 0 0 20 0 22 0 30959777 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820567231016 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15248] ppid=15241 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/15244/task/15248/stat : 15248 (java) S 15241 15244 8258 0 -1 4202560 455 0 0 0 121 11 0 0 20 0 22 0 30959777 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820566178216 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15244/tid=15249] ppid=15241 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/15244/task/15249/stat : 15249 (java) S 15241 15244 8258 0 -1 4202560 448 0 0 0 152 13 0 0 20 0 22 0 30959777 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820565125416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15244/tid=15250] ppid=15241 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/15244/task/15250/stat : 15250 (java) S 15241 15244 8258 0 -1 4202560 550 0 0 0 157 15 0 0 20 0 22 0 30959777 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820564072616 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15251] ppid=15241 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/15244/task/15251/stat : 15251 (java) S 15241 15244 8258 0 -1 4202560 578 0 0 0 141 14 0 0 20 0 22 0 30959777 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820563020840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15244/tid=15252] ppid=15241 vsize=9824732 CPUtime=1.42 cores=1,3,5,7
/proc/15244/task/15252/stat : 15252 (java) S 15241 15244 8258 0 -1 4202560 417 0 0 0 131 11 0 0 20 0 22 0 30959777 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820561968040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15253] ppid=15241 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/15244/task/15253/stat : 15253 (java) S 15241 15244 8258 0 -1 4202560 469 0 0 0 150 15 0 0 20 0 22 0 30959777 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820560915240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15254] ppid=15241 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/15244/task/15254/stat : 15254 (java) S 15241 15244 8258 0 -1 4202560 409 0 0 0 153 12 0 0 20 0 22 0 30959777 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820559862440 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15244/tid=15255] ppid=15241 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/15244/task/15255/stat : 15255 (java) S 15241 15244 8258 0 -1 4202560 1543 0 0 0 64 5 0 0 20 0 22 0 30959778 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820547664360 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15244/tid=15256] ppid=15241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15256/stat : 15256 (java) S 15241 15244 8258 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30959778 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820546610424 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15257] ppid=15241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15257/stat : 15257 (java) S 15241 15244 8258 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30959778 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820545557512 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15258] ppid=15241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15258/stat : 15258 (java) S 15241 15244 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30959781 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820544506000 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15259] ppid=15241 vsize=9824732 CPUtime=1.47 cores=1,3,5,7
/proc/15244/task/15259/stat : 15259 (java) S 15241 15244 8258 0 -1 4202560 10727 0 0 0 145 2 0 0 20 0 22 0 30959781 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820543454136 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15260] ppid=15241 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/15244/task/15260/stat : 15260 (java) S 15241 15244 8258 0 -1 4202560 7079 0 0 0 113 3 0 0 20 0 22 0 30959781 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820542401336 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15244/tid=15261] ppid=15241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15261/stat : 15261 (java) S 15241 15244 8258 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30959781 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820541348728 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15262] ppid=15241 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/15244/task/15262/stat : 15262 (java) S 15241 15244 8258 0 -1 4202560 53 0 0 0 19 19 0 0 20 0 22 0 30959781 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820540296136 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15244/tid=15263] ppid=15241 vsize=9824732 CPUtime=886.27 cores=1,3,5,7
/proc/15244/task/15263/stat : 15263 (java) R 15241 15244 8258 0 -1 4202560 55 0 0 0 88612 15 0 0 20 0 22 0 30960473 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820539239024 139820596492837 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15244/tid=15264] ppid=15241 vsize=9824732 CPUtime=886.24 cores=1,3,5,7
/proc/15244/task/15264/stat : 15264 (java) R 15241 15244 8258 0 -1 4202560 658 0 0 0 88598 26 0 0 20 0 22 0 30960473 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820538187008 139820596618143 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15244/tid=15265] ppid=15241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15265/stat : 15265 (java) S 15241 15244 8258 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30960476 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820537136040 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15244/tid=15266] ppid=15241 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/15244/task/15266/stat : 15266 (java) S 15241 15244 8258 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30960476 10060525568 811068 33554432000 1073741824 1073778376 140735407119280 139820536083240 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9824732

Child status: 143

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

Real time (s): 899.588
CPU time (s): 1800.05
CPU user time (s): 1798.39
CPU system time (s): 1.66
CPU usage (%): 200.097
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.69
system time used= 2.16267
maximum resident set size= 3244388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28793
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23105
involuntary context switches= 26079

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.42302 second user time and 6.91595 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-19 00:32:13
IDJOB=4108912
IDBENCH=89692
IDSOLVER=2543
FILE ID=node131/4108912-1466289131
RUNJOBID= node131-1466276277-8275
PBS_JOBID= 19918257
Free space on /tmp= 71656 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-130.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108912-1466289131/watcher-4108912-1466289131 -o /tmp/evaluation-result-4108912-1466289131/solver-4108912-1466289131 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466276277-8275 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4108912-1466289131.opb

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

MD5SUM BENCH= 1e275a6bfffefd782bc57067ec81c100
RANDOM SEED=2075163383

node131.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.752
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
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.752
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.752
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		: 2666.752
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.56
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.752
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.752
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		: 2666.752
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.57
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.752
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:        27830712 kB
Buffers:          169560 kB
Cached:           300188 kB
SwapCached:         1460 kB
Active:          2667560 kB
Inactive:         305988 kB
Active(anon):    2503492 kB
Inactive(anon):     2920 kB
Active(file):     164068 kB
Inactive(file):   303068 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:             43656 kB
Writeback:             0 kB
AnonPages:       3820284 kB
Mapped:            15348 kB
Shmem:                 0 kB
Slab:             611200 kB
SReclaimable:      52440 kB
SUnreclaim:       558760 kB
KernelStack:        1592 kB
PageTables:        11892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4062532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2572288 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= 71296 MiB
End job on node131 at 2016-06-19 00:47:12