Trace number 4262236

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
Concrete 3.4? (TO) 2527.53 2442.1299

General information on the benchmark

NameBibd/Bibd-sum-open/
Bibd-sum-39-057-19-13-06.xml
MD5SUM3f57466950d699c6fe06f63c47c5f1af
Bench CategoryCSP (decision problem)
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
Satisfiable
(Un)Satisfiability was proved
Number of variables2223
Number of constraints838
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2223}]
Minimum variable degree41
Maximum variable degree41
Distribution of variable degrees[{"degree":41,"count":2223}]
Minimum constraint arity39
Maximum constraint arity2223
Distribution of constraint arities[{"arity":39,"count":57},{"arity":57,"count":39},{"arity":114,"count":741},{"arity":2223,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":837}]
Optimization problemNO
Type of objective

Solver Data 

3.21/2.20	c Concrete v3.4 running
2527.15/2442.08	java.util.concurrent.TimeoutException
2527.15/2442.09		at concrete.MAC.mac(MAC.scala:74)
2527.15/2442.09		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2527.15/2442.09		at scala.util.Try$.apply(Try.scala:209)
2527.15/2442.09		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2527.15/2442.09		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2527.15/2442.09		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2527.15/2442.09		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2527.15/2442.09		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2527.15/2442.09		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2527.15/2442.09		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2527.15/2442.09		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2527.15/2442.09		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2527.15/2442.09		at concrete.MAC.oneRun(MAC.scala:146)
2527.15/2442.09		at concrete.MAC.nextSolution(MAC.scala:166)
2527.15/2442.09		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2527.15/2442.09		at concrete.ProblemState.map(ProblemState.scala:203)
2527.15/2442.09		at concrete.ProblemState.map(ProblemState.scala:188)
2527.15/2442.09		at concrete.MAC.nextSolution(MAC.scala:195)
2527.15/2442.09		at concrete.Solver.hasNext(Solver.scala:202)
2527.15/2442.09		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2527.15/2442.09		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2527.15/2442.09		at concrete.Solver.toStream(Solver.scala:73)
2527.15/2442.09		at scala.collection.TraversableOnce.toIterable(TraversableOnce.scala:296)
2527.15/2442.09		at scala.collection.TraversableOnce.toIterable$(TraversableOnce.scala:296)
2527.15/2442.09		at concrete.Solver.toIterable(Solver.scala:73)
2527.15/2442.09		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:162)
2527.15/2442.09		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2527.15/2442.09		at scala.util.Success.map(Try.scala:209)
2527.15/2442.09		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2527.15/2442.09		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2527.15/2442.09		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2527.15/2442.09		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2527.15/2442.09		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2527.15/2442.09		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2527.15/2442.09		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2527.15/2442.09		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2527.15/2442.09		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2527.15/2442.09		at scala.collection.immutable.List.foreach(List.scala:389)
2527.15/2442.09		at scala.App.main(App.scala:76)
2527.15/2442.09		at scala.App.main$(App.scala:74)
2527.15/2442.09		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2527.15/2442.09		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2527.15/2442.09	s UNKNOWN

Verifier Data


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-4262236-1502433230/watcher-4262236-1502433230 -o /tmp/evaluation-result-4262236-1502433230/solver-4262236-1502433230 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4959 --watchdog 2580 bin/concrete HOME/instance-4262236-1502433230.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.69 1.51 1.58 4/198 12096
/proc/meminfo: memFree=29503912/32770624 swapFree=0/447348
[pid=12096] ppid=12093 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/12096/stat : 12096 (runsolver) D 12093 12096 4896 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 142975871 24240128 106 18446744073709551615 4194304 4338465 140728431458512 140728431456152 140655422288599 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 8380416 140728431460561 140728431460937 140728431460937 140728431464394 0
/proc/12096/statm: 5918 106 53 36 0 2156 0

[startup+0.100062 s]
/proc/loadavg: 1.69 1.51 1.58 4/198 12096
/proc/meminfo: memFree=29503912/32770624 swapFree=0/447348
[pid=12096] ppid=12093 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/12096/stat : 12096 (bash) S 12093 12096 4896 0 -1 4202496 853 6185 0 0 0 0 0 1 20 0 1 0 142975871 9867264 366 18446744073709551615 4194304 5098028 140720545741456 140720545735192 139621543230464 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 8 0 0 7196144 7232144 37924864 140720545743380 140720545743465 140720545743465 140720545746922 0
/proc/12096/statm: 2409 366 287 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200322 s]
/proc/loadavg: 1.69 1.51 1.58 4/198 12096
/proc/meminfo: memFree=29503912/32770624 swapFree=0/447348
[pid=12096] ppid=12093 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/12096/stat : 12096 (bash) S 12093 12096 4896 0 -1 4202496 892 6492 0 0 0 0 0 1 20 0 1 0 142975871 9867264 377 18446744073709551615 4194304 5098028 140720545741456 140720545735464 139621543230464 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 8 0 0 7196144 7232144 37924864 140720545743380 140720545743465 140720545743465 140720545746922 0
/proc/12096/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300365 s]
/proc/loadavg: 1.69 1.51 1.58 4/198 12096
/proc/meminfo: memFree=29503912/32770624 swapFree=0/447348
[pid=12096] ppid=12093 vsize=13907308 CPUtime=0.14 cores=0,2,4,6
/proc/12096/stat : 12096 (java) S 12093 12096 4896 0 -1 1077944320 5742 12611 0 0 5 1 5 3 20 0 14 0 142975871 14241083392 5419 18446744073709551615 4194304 4196468 140725824761120 140725824743664 139945936535287 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
/proc/12096/statm: 3476827 5419 2566 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.700313 s]
/proc/loadavg: 1.69 1.51 1.58 4/198 12096
/proc/meminfo: memFree=29503912/32770624 swapFree=0/447348
[pid=12096] ppid=12093 vsize=13974784 CPUtime=0.7 cores=0,2,4,6
/proc/12096/stat : 12096 (java) S 12093 12096 4896 0 -1 1077944320 13888 12611 0 0 57 5 5 3 20 0 15 0 142975871 14310178816 14806 18446744073709551615 4194304 4196468 140725824761120 140725824743664 139945936535287 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
/proc/12096/statm: 3493696 14806 3122 1 0 3482965 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13974784

[startup+1.50066 s]
/proc/loadavg: 1.69 1.51 1.58 3/213 12159
/proc/meminfo: memFree=29410144/32770624 swapFree=0/447332
[pid=12096] ppid=12093 vsize=13985408 CPUtime=1.89 cores=0,2,4,6
/proc/12096/stat : 12096 (java) S 12093 12096 4896 0 -1 1077944320 26581 12611 0 0 171 10 5 3 20 0 15 0 142975871 14321057792 40151 18446744073709551615 4194304 4196468 140725824761120 140725824743664 139945936535287 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
/proc/12096/statm: 3496352 40151 3366 1 0 3485525 0
[pid=12096/tid=12146] ppid=12093 vsize=13985408 CPUtime=1.3 cores=0,2,4,6
/proc/12096/task/12146/stat : 12146 (java) S 12093 12096 4896 0 -1 1077944384 20352 12611 0 0 115 7 5 3 20 0 15 0 142975893 14321057792 40151 18446744073709551615 4194304 4196468 140725824761120 139945940757680 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12147] ppid=12093 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12147/stat : 12147 (java) S 12093 12096 4896 0 -1 1077944384 184 12611 0 0 0 0 5 3 20 0 15 0 142975894 14321057792 40151 18446744073709551615 4194304 4196468 140725824761120 139945878482064 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12148] ppid=12093 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12148/stat : 12148 (java) S 12093 12096 4896 0 -1 1077944384 35 12611 0 0 0 0 5 3 20 0 15 0 142975894 14321057792 40151 18446744073709551615 4194304 4196468 140725824761120 139945877429264 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12149] ppid=12093 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12149/stat : 12149 (java) S 12093 12096 4896 0 -1 1077944384 31 12611 0 0 0 0 5 3 20 0 15 0 142975894 14321057792 40151 18446744073709551615 4194304 4196468 140725824761120 139945876376464 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12150] ppid=12093 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12150/stat : 12150 (java) S 12093 12096 4896 0 -1 1077944384 39 12611 0 0 0 0 5 3 20 0 15 0 142975894 14321057792 40151 18446744073709551615 4194304 4196468 140725824761120 139945875323664 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12151] ppid=12093 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12151/stat : 12151 (java) R 12093 12096 4896 0 -1 4202560 626 12611 0 0 0 0 5 3 20 0 15 0 142975895 14321057792 40151 18446744073709551615 4194304 4196468 140725824761120 139945482244800 139945922226983 0 0 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12152] ppid=12093 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12152/stat : 12152 (java) S 12093 12096 4896 0 -1 1077944384 33 12611 0 0 0 0 5 3 20 0 15 0 142975896 14321057792 40151 18446744073709551615 4194304 4196468 140725824761120 139945481192480 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12153] ppid=12093 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12153/stat : 12153 (java) S 12093 12096 4896 0 -1 1077944384 21 12611 0 0 0 0 5 3 20 0 15 0 142975896 14321057792 40151 18446744073709551615 4194304 4196468 140725824761120 139945480139632 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12154] ppid=12093 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12154/stat : 12154 (java) S 12093 12096 4896 0 -1 1077944384 3 12611 0 0 0 0 5 3 20 0 15 0 142975899 14321057792 40151 18446744073709551615 4194304 4196468 140725824761120 139945479087952 139945936553883 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12155] ppid=12093 vsize=13985408 CPUtime=0.2 cores=0,2,4,6
/proc/12096/task/12155/stat : 12155 (java) S 12093 12096 4896 0 -1 1077944384 841 12611 0 0 12 0 5 3 20 0 15 0 142975899 14321057792 40151 18446744073709551615 4194304 4196468 140725824761120 139945478036336 139945936546434 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12156] ppid=12093 vsize=13985408 CPUtime=0.25 cores=0,2,4,6
/proc/12096/task/12156/stat : 12156 (java) S 12093 12096 4896 0 -1 1077944384 1008 12611 0 0 17 0 5 3 20 0 15 0 142975899 14321057792 40151 18446744073709551615 4194304 4196468 140725824761120 139945476983536 139945936546434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12157] ppid=12093 vsize=13985408 CPUtime=0.31 cores=0,2,4,6
/proc/12096/task/12157/stat : 12157 (java) S 12093 12096 4896 0 -1 1077944384 1252 12611 0 0 23 0 5 3 20 0 15 0 142975899 14321057792 40151 18446744073709551615 4194304 4196468 140725824761120 139945475926608 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12158] ppid=12093 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12158/stat : 12158 (java) S 12093 12096 4896 0 -1 1077944384 3 12611 0 0 0 0 5 3 20 0 15 0 142975899 14321057792 40151 18446744073709551615 4194304 4196468 140725824761120 139945474878176 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12159] ppid=12093 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12159/stat : 12159 (java) S 12093 12096 4896 0 -1 1077944384 1 12611 0 0 0 0 5 3 20 0 15 0 142975902 14321057792 40151 18446744073709551615 4194304 4196468 140725824761120 139945473825456 139945936546434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13985408

[startup+3.10059 s]
/proc/loadavg: 1.80 1.54 1.59 5/213 12159
/proc/meminfo: memFree=29333164/32770624 swapFree=0/447332
[pid=12096] ppid=12093 vsize=13995836 CPUtime=6.21 cores=0,2,4,6
/proc/12096/stat : 12096 (java) S 12093 12096 4896 0 -1 1077944320 34590 12611 0 0 598 15 5 3 20 0 15 0 142975871 14331736064 66710 18446744073709551615 4194304 4196468 140725824761120 140725824743664 139945936535287 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
/proc/12096/statm: 3498959 66710 3446 1 0 3487573 0
[pid=12096/tid=12146] ppid=12093 vsize=13995836 CPUtime=2.88 cores=0,2,4,6
/proc/12096/task/12146/stat : 12146 (java) R 12093 12096 4896 0 -1 4202560 23710 12611 0 0 271 9 5 3 20 0 15 0 142975893 14331736064 66710 18446744073709551615 4194304 4196468 140725824761120 139945940764304 139945561105764 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12147] ppid=12093 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/12096/task/12147/stat : 12147 (java) S 12093 12096 4896 0 -1 1077944384 189 12611 0 0 1 0 5 3 20 0 15 0 142975894 14331736064 66710 18446744073709551615 4194304 4196468 140725824761120 139945878482064 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12148] ppid=12093 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/12096/task/12148/stat : 12148 (java) S 12093 12096 4896 0 -1 1077944384 35 12611 0 0 1 0 5 3 20 0 15 0 142975894 14331736064 66710 18446744073709551615 4194304 4196468 140725824761120 139945877429264 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12149] ppid=12093 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/12096/task/12149/stat : 12149 (java) S 12093 12096 4896 0 -1 1077944384 31 12611 0 0 1 0 5 3 20 0 15 0 142975894 14331736064 66710 18446744073709551615 4194304 4196468 140725824761120 139945876376464 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12150] ppid=12093 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/12096/task/12150/stat : 12150 (java) S 12093 12096 4896 0 -1 1077944384 42 12611 0 0 1 0 5 3 20 0 15 0 142975894 14331736064 66710 18446744073709551615 4194304 4196468 140725824761120 139945875323664 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12151] ppid=12093 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/12096/task/12151/stat : 12151 (java) S 12093 12096 4896 0 -1 1077944384 637 12611 0 0 1 0 5 3 20 0 15 0 142975895 14331736064 66710 18446744073709551615 4194304 4196468 140725824761120 139945482246512 139945936546434 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12152] ppid=12093 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12152/stat : 12152 (java) S 12093 12096 4896 0 -1 1077944384 35 12611 0 0 0 0 5 3 20 0 15 0 142975896 14331736064 66710 18446744073709551615 4194304 4196468 140725824761120 139945481192544 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12153] ppid=12093 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12153/stat : 12153 (java) S 12093 12096 4896 0 -1 1077944384 21 12611 0 0 0 0 5 3 20 0 15 0 142975896 14331736064 66710 18446744073709551615 4194304 4196468 140725824761120 139945480139648 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12154] ppid=12093 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12154/stat : 12154 (java) S 12093 12096 4896 0 -1 1077944384 3 12611 0 0 0 0 5 3 20 0 15 0 142975899 14331736064 66710 18446744073709551615 4194304 4196468 140725824761120 139945479087952 139945936553883 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12155] ppid=12093 vsize=13995836 CPUtime=1.22 cores=0,2,4,6
/proc/12096/task/12155/stat : 12155 (java) R 12093 12096 4896 0 -1 4202560 2764 12611 0 0 113 1 5 3 20 0 15 0 142975899 14331736064 66710 18446744073709551615 4194304 4196468 140725824761120 139945478036336 139945936547222 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12156] ppid=12093 vsize=13995836 CPUtime=1.14 cores=0,2,4,6
/proc/12096/task/12156/stat : 12156 (java) R 12093 12096 4896 0 -1 1077944384 1869 12611 0 0 106 0 5 3 20 0 15 0 142975899 14331736064 66710 18446744073709551615 4194304 4196468 140725824761120 139945476983536 139945936546434 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12157] ppid=12093 vsize=13995836 CPUtime=1.09 cores=0,2,4,6
/proc/12096/task/12157/stat : 12157 (java) R 12093 12096 4896 0 -1 4202560 3098 12611 0 0 100 1 5 3 20 0 15 0 142975899 14331736064 66710 18446744073709551615 4194304 4196468 140725824761120 139945475930736 139945936547222 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12158] ppid=12093 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12158/stat : 12158 (java) S 12093 12096 4896 0 -1 1077944384 3 12611 0 0 0 0 5 3 20 0 15 0 142975899 14331736064 66710 18446744073709551615 4194304 4196468 140725824761120 139945474878176 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12159] ppid=12093 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12159/stat : 12159 (java) S 12093 12096 4896 0 -1 1077944384 1 12611 0 0 0 0 5 3 20 0 15 0 142975902 14331736064 66710 18446744073709551615 4194304 4196468 140725824761120 139945473825456 139945936546434 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 13995836

[startup+6.30074 s]
/proc/loadavg: 1.80 1.54 1.59 5/213 12159
/proc/meminfo: memFree=29092112/32770624 swapFree=0/447324
[pid=12096] ppid=12093 vsize=13999932 CPUtime=14.3 cores=0,2,4,6
/proc/12096/stat : 12096 (java) S 12093 12096 4896 0 -1 1077944320 58082 12611 0 0 1393 29 5 3 20 0 15 0 142975871 14335930368 114496 18446744073709551615 4194304 4196468 140725824761120 140725824743664 139945936535287 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
/proc/12096/statm: 3499983 114496 3466 1 0 3488597 0
[pid=12096/tid=12146] ppid=12093 vsize=13999932 CPUtime=5.43 cores=0,2,4,6
/proc/12096/task/12146/stat : 12146 (java) R 12093 12096 4896 0 -1 4202560 26333 12611 0 0 524 11 5 3 20 0 15 0 142975893 14335930368 114496 18446744073709551615 4194304 4196468 140725824761120 139945940763216 139945568901984 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12147] ppid=12093 vsize=13999932 CPUtime=0.23 cores=0,2,4,6
/proc/12096/task/12147/stat : 12147 (java) S 12093 12096 4896 0 -1 1077944384 584 12611 0 0 13 2 5 3 20 0 15 0 142975894 14335930368 114496 18446744073709551615 4194304 4196468 140725824761120 139945878482064 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12148] ppid=12093 vsize=13999932 CPUtime=0.22 cores=0,2,4,6
/proc/12096/task/12148/stat : 12148 (java) S 12093 12096 4896 0 -1 1077944384 120 12611 0 0 12 2 5 3 20 0 15 0 142975894 14335930368 114496 18446744073709551615 4194304 4196468 140725824761120 139945877429264 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12149] ppid=12093 vsize=13999932 CPUtime=0.2 cores=0,2,4,6
/proc/12096/task/12149/stat : 12149 (java) S 12093 12096 4896 0 -1 1077944384 268 12611 0 0 10 2 5 3 20 0 15 0 142975894 14335930368 114496 18446744073709551615 4194304 4196468 140725824761120 139945876376464 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12150] ppid=12093 vsize=13999932 CPUtime=0.23 cores=0,2,4,6
/proc/12096/task/12150/stat : 12150 (java) S 12093 12096 4896 0 -1 1077944384 235 12611 0 0 13 2 5 3 20 0 15 0 142975894 14335930368 114496 18446744073709551615 4194304 4196468 140725824761120 139945875323664 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12151] ppid=12093 vsize=13999932 CPUtime=0.1 cores=0,2,4,6
/proc/12096/task/12151/stat : 12151 (java) S 12093 12096 4896 0 -1 1077944384 871 12611 0 0 2 0 5 3 20 0 15 0 142975895 14335930368 114496 18446744073709551615 4194304 4196468 140725824761120 139945482246512 139945936546434 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12152] ppid=12093 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12152/stat : 12152 (java) S 12093 12096 4896 0 -1 1077944384 38 12611 0 0 0 0 5 3 20 0 15 0 142975896 14335930368 114496 18446744073709551615 4194304 4196468 140725824761120 139945481192544 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12153] ppid=12093 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12153/stat : 12153 (java) S 12093 12096 4896 0 -1 1077944384 25 12611 0 0 0 0 5 3 20 0 15 0 142975896 14335930368 114496 18446744073709551615 4194304 4196468 140725824761120 139945480139648 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12154] ppid=12093 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12154/stat : 12154 (java) S 12093 12096 4896 0 -1 1077944384 3 12611 0 0 0 0 5 3 20 0 15 0 142975899 14335930368 114496 18446744073709551615 4194304 4196468 140725824761120 139945479087952 139945936553883 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12155] ppid=12093 vsize=13999932 CPUtime=3.36 cores=0,2,4,6
/proc/12096/task/12155/stat : 12155 (java) S 12093 12096 4896 0 -1 1077944384 9602 12611 0 0 326 2 5 3 20 0 15 0 142975899 14335930368 114496 18446744073709551615 4194304 4196468 140725824761120 139945478036336 139945936546434 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12156] ppid=12093 vsize=13999932 CPUtime=3.46 cores=0,2,4,6
/proc/12096/task/12156/stat : 12156 (java) S 12093 12096 4896 0 -1 1077944384 10306 12611 0 0 336 2 5 3 20 0 15 0 142975899 14335930368 114496 18446744073709551615 4194304 4196468 140725824761120 139945476983536 139945936546434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12157] ppid=12093 vsize=13999932 CPUtime=1.61 cores=0,2,4,6
/proc/12096/task/12157/stat : 12157 (java) S 12093 12096 4896 0 -1 1077944384 7528 12611 0 0 151 2 5 3 20 0 15 0 142975899 14335930368 114496 18446744073709551615 4194304 4196468 140725824761120 139945475930736 139945936546434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12158] ppid=12093 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12158/stat : 12158 (java) S 12093 12096 4896 0 -1 1077944384 3 12611 0 0 0 0 5 3 20 0 15 0 142975899 14335930368 114496 18446744073709551615 4194304 4196468 140725824761120 139945474878176 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12159] ppid=12093 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12159/stat : 12159 (java) S 12093 12096 4896 0 -1 1077944384 14 12611 0 0 0 0 5 3 20 0 15 0 142975902 14335930368 114496 18446744073709551615 4194304 4196468 140725824761120 139945473825456 139945936546434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
Current children cumulated CPU time (s) 14.3
Current children cumulated vsize (KiB) 13999932

[startup+12.7007 s]
/proc/loadavg: 1.81 1.54 1.59 3/213 12159
/proc/meminfo: memFree=28382748/32770624 swapFree=0/447320
[pid=12096] ppid=12093 vsize=13999932 CPUtime=22.73 cores=0,2,4,6
/proc/12096/stat : 12096 (java) S 12093 12096 4896 0 -1 1077944320 60361 12611 0 0 2216 49 5 3 20 0 15 0 142975871 14335930368 283771 18446744073709551615 4194304 4196468 140725824761120 140725824743664 139945936535287 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
/proc/12096/statm: 3499983 283771 3466 1 0 3488597 0
[pid=12096/tid=12146] ppid=12093 vsize=13999932 CPUtime=11.67 cores=0,2,4,6
/proc/12096/task/12146/stat : 12146 (java) R 12093 12096 4896 0 -1 4202560 27503 12611 0 0 1139 20 5 3 20 0 15 0 142975893 14335930368 283771 18446744073709551615 4194304 4196468 140725824761120 139945940769280 139945568245701 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12147] ppid=12093 vsize=13999932 CPUtime=0.37 cores=0,2,4,6
/proc/12096/task/12147/stat : 12147 (java) S 12093 12096 4896 0 -1 1077944384 689 12611 0 0 25 4 5 3 20 0 15 0 142975894 14335930368 283771 18446744073709551615 4194304 4196468 140725824761120 139945878482064 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12148] ppid=12093 vsize=13999932 CPUtime=0.38 cores=0,2,4,6
/proc/12096/task/12148/stat : 12148 (java) S 12093 12096 4896 0 -1 1077944384 262 12611 0 0 25 5 5 3 20 0 15 0 142975894 14335930368 283771 18446744073709551615 4194304 4196468 140725824761120 139945877429264 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12149] ppid=12093 vsize=13999932 CPUtime=0.35 cores=0,2,4,6
/proc/12096/task/12149/stat : 12149 (java) S 12093 12096 4896 0 -1 1077944384 347 12611 0 0 23 4 5 3 20 0 15 0 142975894 14335930368 283771 18446744073709551615 4194304 4196468 140725824761120 139945876376464 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12150] ppid=12093 vsize=13999932 CPUtime=0.36 cores=0,2,4,6
/proc/12096/task/12150/stat : 12150 (java) S 12093 12096 4896 0 -1 1077944384 318 12611 0 0 24 4 5 3 20 0 15 0 142975894 14335930368 283771 18446744073709551615 4194304 4196468 140725824761120 139945875323664 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12151] ppid=12093 vsize=13999932 CPUtime=0.11 cores=0,2,4,6
/proc/12096/task/12151/stat : 12151 (java) S 12093 12096 4896 0 -1 1077944384 1318 12611 0 0 3 0 5 3 20 0 15 0 142975895 14335930368 283771 18446744073709551615 4194304 4196468 140725824761120 139945482246512 139945936546434 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12152] ppid=12093 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12152/stat : 12152 (java) S 12093 12096 4896 0 -1 1077944384 38 12611 0 0 0 0 5 3 20 0 15 0 142975896 14335930368 283771 18446744073709551615 4194304 4196468 140725824761120 139945481192544 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12153] ppid=12093 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12153/stat : 12153 (java) S 12093 12096 4896 0 -1 1077944384 25 12611 0 0 0 0 5 3 20 0 15 0 142975896 14335930368 283771 18446744073709551615 4194304 4196468 140725824761120 139945480139648 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12154] ppid=12093 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12154/stat : 12154 (java) S 12093 12096 4896 0 -1 1077944384 3 12611 0 0 0 0 5 3 20 0 15 0 142975899 14335930368 283771 18446744073709551615 4194304 4196468 140725824761120 139945479087952 139945936553883 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0

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

/proc/12096/task/12149/stat : 12149 (java) S 12093 12096 4896 0 -1 1077944384 49525 12611 0 0 1530 42 5 3 20 0 15 0 142975894 14340124672 740771 18446744073709551615 4194304 4196468 140725824761120 139945876376464 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12150] ppid=12093 vsize=14004028 CPUtime=15.8 cores=0,2,4,6
/proc/12096/task/12150/stat : 12150 (java) S 12093 12096 4896 0 -1 1077944384 47463 12611 0 0 1530 42 5 3 20 0 15 0 142975894 14340124672 740771 18446744073709551615 4194304 4196468 140725824761120 139945875323664 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12151] ppid=12093 vsize=14004028 CPUtime=3.31 cores=0,2,4,6
/proc/12096/task/12151/stat : 12151 (java) S 12093 12096 4896 0 -1 1077944384 34129 12611 0 0 288 35 5 3 20 0 15 0 142975895 14340124672 740771 18446744073709551615 4194304 4196468 140725824761120 139945482246512 139945936546434 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12152] ppid=12093 vsize=14004028 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12152/stat : 12152 (java) S 12093 12096 4896 0 -1 1077944384 41 12611 0 0 0 0 5 3 20 0 15 0 142975896 14340124672 740771 18446744073709551615 4194304 4196468 140725824761120 139945481192544 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12153] ppid=12093 vsize=14004028 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12153/stat : 12153 (java) S 12093 12096 4896 0 -1 1077944384 28 12611 0 0 0 0 5 3 20 0 15 0 142975896 14340124672 740771 18446744073709551615 4194304 4196468 140725824761120 139945480139648 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12154] ppid=12093 vsize=14004028 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12154/stat : 12154 (java) S 12093 12096 4896 0 -1 1077944384 3 12611 0 0 0 0 5 3 20 0 15 0 142975899 14340124672 740771 18446744073709551615 4194304 4196468 140725824761120 139945479087952 139945936553883 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12155] ppid=12093 vsize=14004028 CPUtime=14.62 cores=0,2,4,6
/proc/12096/task/12155/stat : 12155 (java) S 12093 12096 4896 0 -1 1077944384 24311 12611 0 0 1446 8 5 3 20 0 15 0 142975899 14340124672 740771 18446744073709551615 4194304 4196468 140725824761120 139945478036336 139945936546434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12156] ppid=12093 vsize=14004028 CPUtime=14.65 cores=0,2,4,6
/proc/12096/task/12156/stat : 12156 (java) S 12093 12096 4896 0 -1 1077944384 24177 12611 0 0 1451 6 5 3 20 0 15 0 142975899 14340124672 740771 18446744073709551615 4194304 4196468 140725824761120 139945476983536 139945936546434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12157] ppid=12093 vsize=14004028 CPUtime=4.37 cores=0,2,4,6
/proc/12096/task/12157/stat : 12157 (java) S 12093 12096 4896 0 -1 1077944384 22263 12611 0 0 421 8 5 3 20 0 15 0 142975899 14340124672 740771 18446744073709551615 4194304 4196468 140725824761120 139945475930736 139945936546434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12158] ppid=12093 vsize=14004028 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12158/stat : 12158 (java) S 12093 12096 4896 0 -1 1077944384 3 12611 0 0 0 0 5 3 20 0 15 0 142975899 14340124672 740771 18446744073709551615 4194304 4196468 140725824761120 139945474878176 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12159] ppid=12093 vsize=14004028 CPUtime=1.46 cores=0,2,4,6
/proc/12096/task/12159/stat : 12159 (java) S 12093 12096 4896 0 -1 1077944384 1579 12611 0 0 67 71 5 3 20 0 15 0 142975902 14340124672 740771 18446744073709551615 4194304 4196468 140725824761120 139945473825456 139945936546434 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
Current children cumulated CPU time (s) 2520.08
Current children cumulated vsize (KiB) 14004028

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -12096
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12096 sig 9
??? end of watcher thread

Solver just ended.
Dumping a history of the last processes samples

[startup+2440.8 s]
/proc/loadavg: 1.31 1.36 1.41 3/217 12452
/proc/meminfo: memFree=27443876/32770624 swapFree=0/447808
[pid=12096] ppid=12093 vsize=14137156 CPUtime=2522.73 cores=0,2,4,6
/proc/12096/stat : 12096 (java) S 12093 12096 4896 0 -1 1077944320 494320 12611 0 0 251905 360 5 3 20 0 17 0 142975871 14476447744 741831 18446744073709551615 4194304 4196468 140725824761120 140725824743664 139945936535287 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
/proc/12096/statm: 3534289 741831 3490 1 0 3522903 0
[pid=12096/tid=12146] ppid=12093 vsize=14137156 CPUtime=2419.17 cores=0,2,4,6
/proc/12096/task/12146/stat : 12146 (java) S 12093 12096 4896 0 -1 1077944384 169571 12611 0 0 241828 81 5 3 20 0 17 0 142975893 14476447744 741831 18446744073709551615 4194304 4196468 140725824761120 139945940773008 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12147] ppid=12093 vsize=14137156 CPUtime=16.39 cores=0,2,4,6
/proc/12096/task/12147/stat : 12147 (java) R 12093 12096 4896 0 -1 4202560 55687 12611 0 0 1587 44 5 3 20 0 17 0 142975894 14476447744 741831 18446744073709551615 4194304 4196468 140725824761120 139945878482184 139945921235920 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12148] ppid=12093 vsize=14137156 CPUtime=16.41 cores=0,2,4,6
/proc/12096/task/12148/stat : 12148 (java) R 12093 12096 4896 0 -1 4202560 50536 12611 0 0 1589 44 5 3 20 0 17 0 142975894 14476447744 741831 18446744073709551615 4194304 4196468 140725824761120 139945877429072 139945921235949 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12149] ppid=12093 vsize=14137156 CPUtime=16.46 cores=0,2,4,6
/proc/12096/task/12149/stat : 12149 (java) R 12093 12096 4896 0 -1 4202560 49600 12611 0 0 1595 43 5 3 20 0 17 0 142975894 14476447744 741831 18446744073709551615 4194304 4196468 140725824761120 139945876376272 139945921531691 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12150] ppid=12093 vsize=14137156 CPUtime=16.44 cores=0,2,4,6
/proc/12096/task/12150/stat : 12150 (java) R 12093 12096 4896 0 -1 4202560 47716 12611 0 0 1594 42 5 3 20 0 17 0 142975894 14476447744 741831 18446744073709551615 4194304 4196468 140725824761120 139945875323784 139945921235975 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12151] ppid=12093 vsize=14137156 CPUtime=3.35 cores=0,2,4,6
/proc/12096/task/12151/stat : 12151 (java) S 12093 12096 4896 0 -1 1077944384 45079 12611 0 0 291 36 5 3 20 0 17 0 142975895 14476447744 741831 18446744073709551615 4194304 4196468 140725824761120 139945482245136 139945936545493 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12152] ppid=12093 vsize=14137156 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12152/stat : 12152 (java) S 12093 12096 4896 0 -1 1077944384 41 12611 0 0 0 0 5 3 20 0 17 0 142975896 14476447744 741831 18446744073709551615 4194304 4196468 140725824761120 139945481192544 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12153] ppid=12093 vsize=14137156 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12153/stat : 12153 (java) S 12093 12096 4896 0 -1 1077944384 28 12611 0 0 0 0 5 3 20 0 17 0 142975896 14476447744 741831 18446744073709551615 4194304 4196468 140725824761120 139945480139648 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12154] ppid=12093 vsize=14137156 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12154/stat : 12154 (java) S 12093 12096 4896 0 -1 1077944384 251 12611 0 0 0 0 5 3 20 0 17 0 142975899 14476447744 741831 18446744073709551615 4194304 4196468 140725824761120 139945479087952 139945936553883 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12155] ppid=12093 vsize=14137156 CPUtime=14.62 cores=0,2,4,6
/proc/12096/task/12155/stat : 12155 (java) S 12093 12096 4896 0 -1 1077944384 24311 12611 0 0 1446 8 5 3 20 0 17 0 142975899 14476447744 741831 18446744073709551615 4194304 4196468 140725824761120 139945478036336 139945936546434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12156] ppid=12093 vsize=14137156 CPUtime=14.65 cores=0,2,4,6
/proc/12096/task/12156/stat : 12156 (java) S 12093 12096 4896 0 -1 1077944384 24177 12611 0 0 1451 6 5 3 20 0 17 0 142975899 14476447744 741831 18446744073709551615 4194304 4196468 140725824761120 139945476983536 139945936546434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12157] ppid=12093 vsize=14137156 CPUtime=4.37 cores=0,2,4,6
/proc/12096/task/12157/stat : 12157 (java) S 12093 12096 4896 0 -1 1077944384 23216 12611 0 0 421 8 5 3 20 0 17 0 142975899 14476447744 741831 18446744073709551615 4194304 4196468 140725824761120 139945475930304 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12158] ppid=12093 vsize=14137156 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12158/stat : 12158 (java) S 12093 12096 4896 0 -1 1077944384 3 12611 0 0 0 0 5 3 20 0 17 0 142975899 14476447744 741831 18446744073709551615 4194304 4196468 140725824761120 139945474878176 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12159] ppid=12093 vsize=14137156 CPUtime=1.46 cores=0,2,4,6
/proc/12096/task/12159/stat : 12159 (java) S 12093 12096 4896 0 -1 1077944384 1579 12611 0 0 67 71 5 3 20 0 17 0 142975902 14476447744 741831 18446744073709551615 4194304 4196468 140725824761120 139945473825456 139945936546434 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
Current children cumulated CPU time (s) 2522.73
Current children cumulated vsize (KiB) 14137156

[startup+2441.6 s]
/proc/loadavg: 1.31 1.36 1.41 6/219 12454
/proc/meminfo: memFree=27440372/32770624 swapFree=0/447808
[pid=12096] ppid=12093 vsize=14137156 CPUtime=2525.66 cores=0,2,4,6
/proc/12096/stat : 12096 (java) S 12093 12096 4896 0 -1 1077944320 494576 12611 0 0 252198 360 5 3 20 0 17 0 142975871 14476447744 741738 18446744073709551615 4194304 4196468 140725824761120 140725824743664 139945936535287 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
/proc/12096/statm: 3534289 741738 3490 1 0 3522903 0
[pid=12096/tid=12146] ppid=12093 vsize=14137156 CPUtime=2419.17 cores=0,2,4,6
/proc/12096/task/12146/stat : 12146 (java) S 12093 12096 4896 0 -1 1077944384 169572 12611 0 0 241828 81 5 3 20 0 17 0 142975893 14476447744 741738 18446744073709551615 4194304 4196468 140725824761120 139945940773008 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12147] ppid=12093 vsize=14137156 CPUtime=17.11 cores=0,2,4,6
/proc/12096/task/12147/stat : 12147 (java) R 12093 12096 4896 0 -1 4202560 55693 12611 0 0 1659 44 5 3 20 0 17 0 142975894 14476447744 741738 18446744073709551615 4194304 4196468 140725824761120 139945878482064 139945918131233 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12148] ppid=12093 vsize=14137156 CPUtime=17.12 cores=0,2,4,6
/proc/12096/task/12148/stat : 12148 (java) R 12093 12096 4896 0 -1 4202560 50554 12611 0 0 1660 44 5 3 20 0 17 0 142975894 14476447744 741738 18446744073709551615 4194304 4196468 140725824761120 139945877429152 139945921232845 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12149] ppid=12093 vsize=14137156 CPUtime=17.17 cores=0,2,4,6
/proc/12096/task/12149/stat : 12149 (java) R 12093 12096 4896 0 -1 4202560 49615 12611 0 0 1666 43 5 3 20 0 17 0 142975894 14476447744 741738 18446744073709551615 4194304 4196468 140725824761120 139945876376464 139945921485892 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12150] ppid=12093 vsize=14137156 CPUtime=17.15 cores=0,2,4,6
/proc/12096/task/12150/stat : 12150 (java) R 12093 12096 4896 0 -1 4202560 47717 12611 0 0 1665 42 5 3 20 0 17 0 142975894 14476447744 741738 18446744073709551615 4194304 4196468 140725824761120 139945875323864 139945921233084 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12151] ppid=12093 vsize=14137156 CPUtime=3.44 cores=0,2,4,6
/proc/12096/task/12151/stat : 12151 (java) S 12093 12096 4896 0 -1 1077944384 45291 12611 0 0 300 36 5 3 20 0 17 0 142975895 14476447744 741738 18446744073709551615 4194304 4196468 140725824761120 139945482244912 139945936545493 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12152] ppid=12093 vsize=14137156 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12152/stat : 12152 (java) S 12093 12096 4896 0 -1 1077944384 43 12611 0 0 0 0 5 3 20 0 17 0 142975896 14476447744 741738 18446744073709551615 4194304 4196468 140725824761120 139945481192176 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12153] ppid=12093 vsize=14137156 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12153/stat : 12153 (java) S 12093 12096 4896 0 -1 1077944384 28 12611 0 0 0 0 5 3 20 0 17 0 142975896 14476447744 741738 18446744073709551615 4194304 4196468 140725824761120 139945480139648 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12154] ppid=12093 vsize=14137156 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12154/stat : 12154 (java) S 12093 12096 4896 0 -1 1077944384 251 12611 0 0 0 0 5 3 20 0 17 0 142975899 14476447744 741738 18446744073709551615 4194304 4196468 140725824761120 139945479087952 139945936553883 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12155] ppid=12093 vsize=14137156 CPUtime=14.62 cores=0,2,4,6
/proc/12096/task/12155/stat : 12155 (java) S 12093 12096 4896 0 -1 1077944384 24311 12611 0 0 1446 8 5 3 20 0 17 0 142975899 14476447744 741738 18446744073709551615 4194304 4196468 140725824761120 139945478036336 139945936546434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12156] ppid=12093 vsize=14137156 CPUtime=14.65 cores=0,2,4,6
/proc/12096/task/12156/stat : 12156 (java) S 12093 12096 4896 0 -1 1077944384 24177 12611 0 0 1451 6 5 3 20 0 17 0 142975899 14476447744 741738 18446744073709551615 4194304 4196468 140725824761120 139945476983536 139945936546434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12157] ppid=12093 vsize=14137156 CPUtime=4.37 cores=0,2,4,6
/proc/12096/task/12157/stat : 12157 (java) S 12093 12096 4896 0 -1 1077944384 23216 12611 0 0 421 8 5 3 20 0 17 0 142975899 14476447744 741738 18446744073709551615 4194304 4196468 140725824761120 139945475930304 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12158] ppid=12093 vsize=14137156 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12158/stat : 12158 (java) S 12093 12096 4896 0 -1 1077944384 3 12611 0 0 0 0 5 3 20 0 17 0 142975899 14476447744 741738 18446744073709551615 4194304 4196468 140725824761120 139945474878176 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12159] ppid=12093 vsize=14137156 CPUtime=1.46 cores=0,2,4,6
/proc/12096/task/12159/stat : 12159 (java) S 12093 12096 4896 0 -1 1077944384 1579 12611 0 0 67 71 5 3 20 0 17 0 142975902 14476447744 741738 18446744073709551615 4194304 4196468 140725824761120 139945473825456 139945936546434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12453] ppid=12093 vsize=14137156 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12453/stat : 12453 (java) S 12093 12096 4896 0 -1 1077944384 342 12611 0 0 0 0 5 3 20 0 17 0 143219882 14476447744 741738 18446744073709551615 4194304 4196468 140725824761120 139945471504624 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12454] ppid=12093 vsize=14137156 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12454/stat : 12454 (java) S 12093 12096 4896 0 -1 1077944384 31 12611 0 0 0 0 5 3 20 0 17 0 143219882 14476447744 741738 18446744073709551615 4194304 4196468 140725824761120 139944811197248 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
Current children cumulated CPU time (s) 2525.66
Current children cumulated vsize (KiB) 14137156

[startup+2442 s]
/proc/loadavg: 1.31 1.36 1.41 4/219 12454
/proc/meminfo: memFree=27440872/32770624 swapFree=0/447812
[pid=12096] ppid=12093 vsize=14137156 CPUtime=2527.15 cores=0,2,4,6
/proc/12096/stat : 12096 (java) S 12093 12096 4896 0 -1 1077944320 494589 12611 0 0 252347 360 5 3 20 0 17 0 142975871 14476447744 741611 18446744073709551615 4194304 4196468 140725824761120 140725824743664 139945936535287 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
/proc/12096/statm: 3534289 741611 3490 1 0 3522903 0
[pid=12096/tid=12146] ppid=12093 vsize=14137156 CPUtime=2419.17 cores=0,2,4,6
/proc/12096/task/12146/stat : 12146 (java) S 12093 12096 4896 0 -1 1077944384 169573 12611 0 0 241828 81 5 3 20 0 17 0 142975893 14476447744 741611 18446744073709551615 4194304 4196468 140725824761120 139945940773008 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12147] ppid=12093 vsize=14137156 CPUtime=17.47 cores=0,2,4,6
/proc/12096/task/12147/stat : 12147 (java) R 12093 12096 4896 0 -1 4202560 55695 12611 0 0 1695 44 5 3 20 0 17 0 142975894 14476447744 741611 18446744073709551615 4194304 4196468 140725824761120 139945878482064 139945921531688 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12148] ppid=12093 vsize=14137156 CPUtime=17.49 cores=0,2,4,6
/proc/12096/task/12148/stat : 12148 (java) R 12093 12096 4896 0 -1 4202560 50554 12611 0 0 1697 44 5 3 20 0 17 0 142975894 14476447744 741611 18446744073709551615 4194304 4196468 140725824761120 139945877429264 139945920992684 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12149] ppid=12093 vsize=14137156 CPUtime=17.53 cores=0,2,4,6
/proc/12096/task/12149/stat : 12149 (java) R 12093 12096 4896 0 -1 1077944384 49615 12611 0 0 1702 43 5 3 20 0 17 0 142975894 14476447744 741611 18446744073709551615 4194304 4196468 140725824761120 139945876376464 139945936545493 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12150] ppid=12093 vsize=14137156 CPUtime=17.52 cores=0,2,4,6
/proc/12096/task/12150/stat : 12150 (java) R 12093 12096 4896 0 -1 4202560 47726 12611 0 0 1702 42 5 3 20 0 17 0 142975894 14476447744 741611 18446744073709551615 4194304 4196468 140725824761120 139945875323664 139945921234103 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12151] ppid=12093 vsize=14137156 CPUtime=3.48 cores=0,2,4,6
/proc/12096/task/12151/stat : 12151 (java) S 12093 12096 4896 0 -1 1077944384 45291 12611 0 0 304 36 5 3 20 0 17 0 142975895 14476447744 741611 18446744073709551615 4194304 4196468 140725824761120 139945482245136 139945936545493 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12152] ppid=12093 vsize=14137156 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12152/stat : 12152 (java) S 12093 12096 4896 0 -1 1077944384 43 12611 0 0 0 0 5 3 20 0 17 0 142975896 14476447744 741611 18446744073709551615 4194304 4196468 140725824761120 139945481192080 139945936546434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12153] ppid=12093 vsize=14137156 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12153/stat : 12153 (java) S 12093 12096 4896 0 -1 1077944384 29 12611 0 0 0 0 5 3 20 0 17 0 142975896 14476447744 741611 18446744073709551615 4194304 4196468 140725824761120 139945480139504 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12154] ppid=12093 vsize=14137156 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12154/stat : 12154 (java) S 12093 12096 4896 0 -1 1077944384 251 12611 0 0 0 0 5 3 20 0 17 0 142975899 14476447744 741611 18446744073709551615 4194304 4196468 140725824761120 139945479087952 139945936553883 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12155] ppid=12093 vsize=14137156 CPUtime=14.62 cores=0,2,4,6
/proc/12096/task/12155/stat : 12155 (java) S 12093 12096 4896 0 -1 1077944384 24311 12611 0 0 1446 8 5 3 20 0 17 0 142975899 14476447744 741611 18446744073709551615 4194304 4196468 140725824761120 139945478036336 139945936546434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12156] ppid=12093 vsize=14137156 CPUtime=14.65 cores=0,2,4,6
/proc/12096/task/12156/stat : 12156 (java) S 12093 12096 4896 0 -1 1077944384 24177 12611 0 0 1451 6 5 3 20 0 17 0 142975899 14476447744 741611 18446744073709551615 4194304 4196468 140725824761120 139945476983536 139945936546434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12157] ppid=12093 vsize=14137156 CPUtime=4.37 cores=0,2,4,6
/proc/12096/task/12157/stat : 12157 (java) S 12093 12096 4896 0 -1 1077944384 23216 12611 0 0 421 8 5 3 20 0 17 0 142975899 14476447744 741611 18446744073709551615 4194304 4196468 140725824761120 139945475930304 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12158] ppid=12093 vsize=14137156 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12158/stat : 12158 (java) S 12093 12096 4896 0 -1 1077944384 3 12611 0 0 0 0 5 3 20 0 17 0 142975899 14476447744 741611 18446744073709551615 4194304 4196468 140725824761120 139945474878176 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12159] ppid=12093 vsize=14137156 CPUtime=1.46 cores=0,2,4,6
/proc/12096/task/12159/stat : 12159 (java) S 12093 12096 4896 0 -1 1077944384 1579 12611 0 0 67 71 5 3 20 0 17 0 142975902 14476447744 741611 18446744073709551615 4194304 4196468 140725824761120 139945473825456 139945936546434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12453] ppid=12093 vsize=14137156 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12453/stat : 12453 (java) S 12093 12096 4896 0 -1 1077944384 342 12611 0 0 0 0 5 3 20 0 17 0 143219882 14476447744 741611 18446744073709551615 4194304 4196468 140725824761120 139945471504624 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
[pid=12096/tid=12454] ppid=12093 vsize=14137156 CPUtime=0.08 cores=0,2,4,6
/proc/12096/task/12454/stat : 12454 (java) S 12093 12096 4896 0 -1 1077944384 31 12611 0 0 0 0 5 3 20 0 17 0 143219882 14476447744 741611 18446744073709551615 4194304 4196468 140725824761120 139944811197248 139945936545493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39231488 140725824763856 140725824766641 140725824766641 140725824769999 0
Current children cumulated CPU time (s) 2527.15
Current children cumulated vsize (KiB) 14137156

[startup+2442.11 s]
/proc/loadavg: 1.31 1.36 1.41 4/219 12454
/proc/meminfo: memFree=27440872/32770624 swapFree=0/447812
[pid=12096] ppid=12093 vsize=0 CPUtime=2527.5 cores=0,2,4,6
/proc/12096/stat : 12096 (java) Z 12093 12096 4896 0 -1 4228108 494968 12611 0 0 252381 361 5 3 20 0 2 0 142975871 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 0 0 0 0 0 0 0 0
/proc/12096/statm: 0 0 0 0 0 0 0
[pid=12096/tid=12146] ppid=12093 vsize=0 CPUtime=2419.19 cores=0,2,4,6
/proc/12096/task/12146/stat : 12146 (java) R 12093 12096 4896 0 -1 4203588 169680 12611 0 0 241829 82 5 3 20 0 2 0 142975893 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 0 0 0 2 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2527.5
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 2442.13
CPU time (s): 2527.53
CPU user time (s): 2523.87
CPU system time (s): 3.66087
CPU usage (%): 103.497
Max. virtual memory (cumulated for all children) (KiB): 14137156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2523.87
system time used= 3.66087
maximum resident set size= 4223724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 507579
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129732
involuntary context switches= 6626

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2998 second user time and 16.2602 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-11 08:19:26
IDJOB=4262236
IDBENCH=124090
IDSOLVER=2650
FILE ID=node132/4262236-1502433230
RUNJOBID= node132-1502411403-4959
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Bibd/Bibd-sum-open/Bibd-sum-39-057-19-13-06.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262236-1502433230/watcher-4262236-1502433230 -o /tmp/evaluation-result-4262236-1502433230/solver-4262236-1502433230 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4959 --watchdog 2580  bin/concrete HOME/instance-4262236-1502433230.xml

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

MD5SUM BENCH= 3f57466950d699c6fe06f63c47c5f1af
RANDOM SEED=1489672396

node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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:       32770624 kB
MemFree:        29503824 kB
MemAvailable:   30352004 kB
Buffers:          291576 kB
Cached:           867332 kB
SwapCached:            0 kB
Active:          2333624 kB
Inactive:         496316 kB
Active(anon):    1671964 kB
Inactive(anon):    49012 kB
Active(file):     661660 kB
Inactive(file):   447304 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24364 kB
Writeback:             0 kB
AnonPages:       1698864 kB
Mapped:            72196 kB
Shmem:             49852 kB
Slab:             137016 kB
SReclaimable:     110100 kB
SUnreclaim:        26916 kB
KernelStack:        3808 kB
PageTables:         8656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2530692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1476608 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61984 MiB
End job on node132 at 2017-08-11 09:00:08