Trace number 4262136

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 NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4? (TO) 2524.78 2454.3401

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-050-15-0.xml
MD5SUMe561ffe312dc375c565e08e894fb6057
Bench CategoryCOP (optimization 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 variables800
Number of constraints815
Number of domains1
Minimum domain size2860
Maximum domain size2860
Distribution of domain sizes[{"size":2860,"count":800}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":50},{"degree":3,"count":750}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":50},{"arity":2,"count":750},{"arity":50,"count":15}]
Number of extensional constraints0
Number of intensional constraints800
Distribution of constraint types[{"type":"intension","count":800},{"type":"noOverlap","count":15}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

3.40/2.22	c Concrete v3.4 running
2524.43/2454.29	java.util.concurrent.TimeoutException
2524.43/2454.29		at concrete.MAC.mac(MAC.scala:74)
2524.43/2454.29		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2524.43/2454.29		at scala.util.Try$.apply(Try.scala:209)
2524.43/2454.29		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2524.43/2454.29		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2524.43/2454.29		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2524.43/2454.29		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2524.43/2454.29		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2524.43/2454.29		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2524.43/2454.29		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2524.43/2454.30		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2524.43/2454.30		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2524.43/2454.30		at concrete.MAC.oneRun(MAC.scala:146)
2524.43/2454.30		at concrete.MAC.nextSolution(MAC.scala:166)
2524.43/2454.30		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2524.43/2454.30		at concrete.ProblemState.map(ProblemState.scala:203)
2524.43/2454.30		at concrete.ProblemState.map(ProblemState.scala:188)
2524.43/2454.30		at concrete.MAC.nextSolution(MAC.scala:195)
2524.43/2454.30		at concrete.Solver.hasNext(Solver.scala:202)
2524.43/2454.30		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2524.43/2454.30		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2524.43/2454.30		at concrete.Solver.toStream(Solver.scala:73)
2524.43/2454.30		at scala.collection.TraversableOnce.toIterable(TraversableOnce.scala:296)
2524.43/2454.30		at scala.collection.TraversableOnce.toIterable$(TraversableOnce.scala:296)
2524.43/2454.30		at concrete.Solver.toIterable(Solver.scala:73)
2524.43/2454.30		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2524.43/2454.30		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2524.43/2454.30		at scala.util.Success.map(Try.scala:209)
2524.43/2454.30		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2524.43/2454.30		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2524.43/2454.30		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2524.43/2454.30		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2524.43/2454.30		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2524.43/2454.30		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2524.43/2454.30		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2524.43/2454.30		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2524.43/2454.30		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2524.43/2454.30		at scala.collection.immutable.List.foreach(List.scala:389)
2524.43/2454.30		at scala.App.main(App.scala:76)
2524.43/2454.30		at scala.App.main$(App.scala:74)
2524.43/2454.30		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2524.43/2454.30		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2524.73/2454.30	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-4262136-1502417191/watcher-4262136-1502417191 -o /tmp/evaluation-result-4262136-1502417191/solver-4262136-1502417191 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502411410-19682 --watchdog 2580 bin/concrete HOME/instance-4262136-1502417191.xml 

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

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.98 1.50 1.45 2/194 20645
/proc/meminfo: memFree=30400096/32770624 swapFree=0/540228
[pid=20645] ppid=20642 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20645/stat : 20645 (runsolver) D 20642 20645 19618 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 43912587 24240128 106 18446744073709551615 4194304 4338465 140733284105040 140733284102680 140376010113751 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 24969216 140733284106448 140733284106825 140733284106825 140733284110282 0
/proc/20645/statm: 5918 106 53 36 0 2156 0

[startup+0.100259 s]
/proc/loadavg: 1.98 1.50 1.45 2/194 20645
/proc/meminfo: memFree=30400096/32770624 swapFree=0/540228
[pid=20645] ppid=20642 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/20645/stat : 20645 (bash) S 20642 20645 19618 0 -1 4202496 892 6489 0 0 0 0 0 1 20 0 1 0 43912587 9867264 377 18446744073709551615 4194304 5098028 140735481643088 140735481637096 140016155241472 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 7 0 0 7196144 7232144 22081536 140735481647636 140735481647721 140735481647721 140735481651178 0
/proc/20645/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200276 s]
/proc/loadavg: 1.98 1.50 1.45 2/194 20645
/proc/meminfo: memFree=30400096/32770624 swapFree=0/540228
[pid=20645] ppid=20642 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/20645/stat : 20645 (bash) S 20642 20645 19618 0 -1 4202496 892 6489 0 0 0 0 0 1 20 0 1 0 43912587 9867264 377 18446744073709551615 4194304 5098028 140735481643088 140735481637096 140016155241472 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 7 0 0 7196144 7232144 22081536 140735481647636 140735481647721 140735481647721 140735481651178 0
/proc/20645/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300353 s]
/proc/loadavg: 1.98 1.50 1.45 2/194 20645
/proc/meminfo: memFree=30400096/32770624 swapFree=0/540228
[pid=20645] ppid=20642 vsize=13574488 CPUtime=0.12 cores=1,3,5,7
/proc/20645/stat : 20645 (java) S 20642 20645 19618 0 -1 1077944320 5271 12471 0 0 4 1 5 2 20 0 9 0 43912587 13900275712 5010 18446744073709551615 4194304 4196468 140726629304432 140726629286976 140626949066487 0 0 1 16800970 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
/proc/20645/statm: 3393622 5010 2144 1 0 3383119 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13574488

[startup+0.700201 s]
/proc/loadavg: 1.98 1.50 1.45 2/194 20645
/proc/meminfo: memFree=30400096/32770624 swapFree=0/540228
[pid=20645] ppid=20642 vsize=13974784 CPUtime=0.61 cores=1,3,5,7
/proc/20645/stat : 20645 (java) S 20642 20645 19618 0 -1 1077944320 13807 12471 0 0 50 4 5 2 20 0 15 0 43912587 14310178816 14242 18446744073709551615 4194304 4196468 140726629304432 140726629286976 140626949066487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
/proc/20645/statm: 3493696 14242 3081 1 0 3482965 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 13974784

[startup+1.50451 s]
/proc/loadavg: 1.98 1.50 1.45 3/209 20708
/proc/meminfo: memFree=30303804/32770624 swapFree=0/540312
[pid=20645] ppid=20642 vsize=13985408 CPUtime=1.83 cores=1,3,5,7
/proc/20645/stat : 20645 (java) S 20642 20645 19618 0 -1 1077944320 27937 12471 0 0 168 8 5 2 20 0 15 0 43912587 14321057792 33957 18446744073709551615 4194304 4196468 140726629304432 140726629286976 140626949066487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
/proc/20645/statm: 3496352 33957 3343 1 0 3485525 0
[pid=20645/tid=20695] ppid=20642 vsize=13985408 CPUtime=1.27 cores=1,3,5,7
/proc/20645/task/20695/stat : 20695 (java) S 20642 20645 19618 0 -1 1077944384 22602 12471 0 0 114 6 5 2 20 0 15 0 43912612 14321057792 33957 18446744073709551615 4194304 4196468 140726629304432 140626953286064 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20696] ppid=20642 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20696/stat : 20696 (java) S 20642 20645 19618 0 -1 1077944384 1 12471 0 0 0 0 5 2 20 0 15 0 43912613 14321057792 33957 18446744073709551615 4194304 4196468 140726629304432 140626906032656 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20697] ppid=20642 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20697/stat : 20697 (java) S 20642 20645 19618 0 -1 1077944384 1 12471 0 0 0 0 5 2 20 0 15 0 43912613 14321057792 33957 18446744073709551615 4194304 4196468 140726629304432 140626904980112 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20698] ppid=20642 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20698/stat : 20698 (java) S 20642 20645 19618 0 -1 1077944384 2 12471 0 0 0 0 5 2 20 0 15 0 43912613 14321057792 33957 18446744073709551615 4194304 4196468 140726629304432 140626903927056 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20699] ppid=20642 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20699/stat : 20699 (java) R 20642 20645 19618 0 -1 4202560 2 12471 0 0 0 0 5 2 20 0 15 0 43912613 14321057792 33957 18446744073709551615 4194304 4196468 140726629304432 140626902874512 140626942173033 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20700] ppid=20642 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20700/stat : 20700 (java) S 20642 20645 19618 0 -1 1077944384 38 12471 0 0 0 0 5 2 20 0 15 0 43912614 14321057792 33957 18446744073709551615 4194304 4196468 140726629304432 140626494833920 140626949076693 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20701] ppid=20642 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20701/stat : 20701 (java) S 20642 20645 19618 0 -1 1077944384 33 12471 0 0 0 0 5 2 20 0 15 0 43912615 14321057792 33957 18446744073709551615 4194304 4196468 140726629304432 140626493781664 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20702] ppid=20642 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20702/stat : 20702 (java) S 20642 20645 19618 0 -1 1077944384 21 12471 0 0 0 0 5 2 20 0 15 0 43912615 14321057792 33957 18446744073709551615 4194304 4196468 140726629304432 140626492728560 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20703] ppid=20642 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20703/stat : 20703 (java) S 20642 20645 19618 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 15 0 43912617 14321057792 33957 18446744073709551615 4194304 4196468 140726629304432 140626491677136 140626949085083 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20704] ppid=20642 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/20645/task/20704/stat : 20704 (java) S 20642 20645 19618 0 -1 1077944384 1280 12471 0 0 16 0 5 2 20 0 15 0 43912617 14321057792 33957 18446744073709551615 4194304 4196468 140726629304432 140626423179504 140626949077634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20705] ppid=20642 vsize=13985408 CPUtime=0.19 cores=1,3,5,7
/proc/20645/task/20705/stat : 20705 (java) S 20642 20645 19618 0 -1 1077944384 531 12471 0 0 12 0 5 2 20 0 15 0 43912617 14321057792 33957 18446744073709551615 4194304 4196468 140726629304432 140626422126960 140626949077634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20706] ppid=20642 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/20645/task/20706/stat : 20706 (java) S 20642 20645 19618 0 -1 1077944384 1282 12471 0 0 23 0 5 2 20 0 15 0 43912617 14321057792 33957 18446744073709551615 4194304 4196468 140726629304432 140626421069840 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20707] ppid=20642 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20707/stat : 20707 (java) S 20642 20645 19618 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 15 0 43912618 14321057792 33957 18446744073709551615 4194304 4196468 140726629304432 140626420021600 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20708] ppid=20642 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20708/stat : 20708 (java) S 20642 20645 19618 0 -1 1077944384 9 12471 0 0 0 0 5 2 20 0 15 0 43912621 14321057792 33957 18446744073709551615 4194304 4196468 140726629304432 140626418969648 140626949077634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 13985408

[startup+3.10372 s]
/proc/loadavg: 2.06 1.53 1.45 6/209 20708
/proc/meminfo: memFree=30170284/32770624 swapFree=0/540308
[pid=20645] ppid=20642 vsize=13997884 CPUtime=6.26 cores=1,3,5,7
/proc/20645/stat : 20645 (java) S 20642 20645 19618 0 -1 1077944320 43843 12471 0 0 604 15 5 2 20 0 15 0 43912587 14333833216 54095 18446744073709551615 4194304 4196468 140726629304432 140726629286976 140626949066487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
/proc/20645/statm: 3499471 54095 3446 1 0 3488085 0
[pid=20645/tid=20695] ppid=20642 vsize=13997884 CPUtime=2.84 cores=1,3,5,7
/proc/20645/task/20695/stat : 20695 (java) R 20642 20645 19618 0 -1 4202560 29550 12471 0 0 268 9 5 2 20 0 15 0 43912612 14333833216 54095 18446744073709551615 4194304 4196468 140726629304432 140626953298040 140626929893834 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20696] ppid=20642 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/20645/task/20696/stat : 20696 (java) S 20642 20645 19618 0 -1 1077944384 48 12471 0 0 1 0 5 2 20 0 15 0 43912613 14333833216 54095 18446744073709551615 4194304 4196468 140726629304432 140626906032656 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20697] ppid=20642 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/20645/task/20697/stat : 20697 (java) S 20642 20645 19618 0 -1 1077944384 55 12471 0 0 1 0 5 2 20 0 15 0 43912613 14333833216 54095 18446744073709551615 4194304 4196468 140726629304432 140626904980112 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20698] ppid=20642 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20698/stat : 20698 (java) S 20642 20645 19618 0 -1 1077944384 38 12471 0 0 0 0 5 2 20 0 15 0 43912613 14333833216 54095 18446744073709551615 4194304 4196468 140726629304432 140626903927056 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20699] ppid=20642 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20699/stat : 20699 (java) S 20642 20645 19618 0 -1 1077944384 207 12471 0 0 0 0 5 2 20 0 15 0 43912613 14333833216 54095 18446744073709551615 4194304 4196468 140726629304432 140626902874512 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20700] ppid=20642 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/20645/task/20700/stat : 20700 (java) S 20642 20645 19618 0 -1 1077944384 1108 12471 0 0 1 0 5 2 20 0 15 0 43912614 14333833216 54095 18446744073709551615 4194304 4196468 140726629304432 140626494835440 140626949077634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20701] ppid=20642 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20701/stat : 20701 (java) S 20642 20645 19618 0 -1 1077944384 56 12471 0 0 0 0 5 2 20 0 15 0 43912615 14333833216 54095 18446744073709551615 4194304 4196468 140726629304432 140626493781728 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20702] ppid=20642 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20702/stat : 20702 (java) S 20642 20645 19618 0 -1 1077944384 45 12471 0 0 0 0 5 2 20 0 15 0 43912615 14333833216 54095 18446744073709551615 4194304 4196468 140726629304432 140626492728576 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20703] ppid=20642 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20703/stat : 20703 (java) S 20642 20645 19618 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 15 0 43912617 14333833216 54095 18446744073709551615 4194304 4196468 140726629304432 140626491677136 140626949085083 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20704] ppid=20642 vsize=13997884 CPUtime=1.25 cores=1,3,5,7
/proc/20645/task/20704/stat : 20704 (java) R 20642 20645 19618 0 -1 4202560 4604 12471 0 0 117 1 5 2 20 0 15 0 43912617 14333833216 54095 18446744073709551615 4194304 4196468 140726629304432 140626423169040 140626930584369 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20705] ppid=20642 vsize=13997884 CPUtime=1.07 cores=1,3,5,7
/proc/20645/task/20705/stat : 20705 (java) R 20642 20645 19618 0 -1 4202560 1913 12471 0 0 99 1 5 2 20 0 15 0 43912617 14333833216 54095 18446744073709551615 4194304 4196468 140726629304432 140626422113392 140626930587650 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20706] ppid=20642 vsize=13997884 CPUtime=1.2 cores=1,3,5,7
/proc/20645/task/20706/stat : 20706 (java) R 20642 20645 19618 0 -1 4202560 4051 12471 0 0 112 1 5 2 20 0 15 0 43912617 14333833216 54095 18446744073709551615 4194304 4196468 140726629304432 140626421065792 140626927631317 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20707] ppid=20642 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20707/stat : 20707 (java) S 20642 20645 19618 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 15 0 43912618 14333833216 54095 18446744073709551615 4194304 4196468 140726629304432 140626420021600 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20708] ppid=20642 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20708/stat : 20708 (java) S 20642 20645 19618 0 -1 1077944384 10 12471 0 0 0 0 5 2 20 0 15 0 43912621 14333833216 54095 18446744073709551615 4194304 4196468 140726629304432 140626418969648 140626949077634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 13997884

[startup+6.30475 s]
/proc/loadavg: 2.06 1.53 1.45 6/209 20708
/proc/meminfo: memFree=29767388/32770624 swapFree=0/540304
[pid=20645] ppid=20642 vsize=13999932 CPUtime=15.25 cores=1,3,5,7
/proc/20645/stat : 20645 (java) S 20642 20645 19618 0 -1 1077944320 66674 12471 0 0 1478 40 5 2 20 0 15 0 43912587 14335930368 138892 18446744073709551615 4194304 4196468 140726629304432 140726629286976 140626949066487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
/proc/20645/statm: 3499983 138892 3466 1 0 3488597 0
[pid=20645/tid=20695] ppid=20642 vsize=13999932 CPUtime=5.8 cores=1,3,5,7
/proc/20645/task/20695/stat : 20695 (java) R 20642 20645 19618 0 -1 4202560 33337 12471 0 0 561 12 5 2 20 0 15 0 43912612 14335930368 138892 18446744073709551615 4194304 4196468 140726629304432 140626953298760 140626591961636 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20696] ppid=20642 vsize=13999932 CPUtime=0.27 cores=1,3,5,7
/proc/20645/task/20696/stat : 20696 (java) S 20642 20645 19618 0 -1 1077944384 300 12471 0 0 16 4 5 2 20 0 15 0 43912613 14335930368 138892 18446744073709551615 4194304 4196468 140726629304432 140626906032656 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20697] ppid=20642 vsize=13999932 CPUtime=0.28 cores=1,3,5,7
/proc/20645/task/20697/stat : 20697 (java) S 20642 20645 19618 0 -1 1077944384 358 12471 0 0 16 5 5 2 20 0 15 0 43912613 14335930368 138892 18446744073709551615 4194304 4196468 140726629304432 140626904980112 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20698] ppid=20642 vsize=13999932 CPUtime=0.28 cores=1,3,5,7
/proc/20645/task/20698/stat : 20698 (java) S 20642 20645 19618 0 -1 1077944384 755 12471 0 0 16 5 5 2 20 0 15 0 43912613 14335930368 138892 18446744073709551615 4194304 4196468 140726629304432 140626903927056 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20699] ppid=20642 vsize=13999932 CPUtime=0.28 cores=1,3,5,7
/proc/20645/task/20699/stat : 20699 (java) S 20642 20645 19618 0 -1 1077944384 396 12471 0 0 16 5 5 2 20 0 15 0 43912613 14335930368 138892 18446744073709551615 4194304 4196468 140726629304432 140626902874512 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20700] ppid=20642 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/20645/task/20700/stat : 20700 (java) S 20642 20645 19618 0 -1 1077944384 1378 12471 0 0 2 0 5 2 20 0 15 0 43912614 14335930368 138892 18446744073709551615 4194304 4196468 140726629304432 140626494835440 140626949077634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20701] ppid=20642 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20701/stat : 20701 (java) S 20642 20645 19618 0 -1 1077944384 56 12471 0 0 0 0 5 2 20 0 15 0 43912615 14335930368 138892 18446744073709551615 4194304 4196468 140726629304432 140626493781728 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20702] ppid=20642 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20702/stat : 20702 (java) S 20642 20645 19618 0 -1 1077944384 46 12471 0 0 0 0 5 2 20 0 15 0 43912615 14335930368 138892 18446744073709551615 4194304 4196468 140726629304432 140626492728576 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20703] ppid=20642 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20703/stat : 20703 (java) S 20642 20645 19618 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 15 0 43912617 14335930368 138892 18446744073709551615 4194304 4196468 140726629304432 140626491677136 140626949085083 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20704] ppid=20642 vsize=13999932 CPUtime=3.69 cores=1,3,5,7
/proc/20645/task/20704/stat : 20704 (java) R 20642 20645 19618 0 -1 4202560 11542 12471 0 0 360 2 5 2 20 0 15 0 43912617 14335930368 138892 18446744073709551615 4194304 4196468 140726629304432 140626423165264 140626926655162 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20705] ppid=20642 vsize=13999932 CPUtime=3.25 cores=1,3,5,7
/proc/20645/task/20705/stat : 20705 (java) S 20642 20645 19618 0 -1 1077944384 8160 12471 0 0 316 2 5 2 20 0 15 0 43912617 14335930368 138892 18446744073709551615 4194304 4196468 140726629304432 140626422126960 140626949077634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20706] ppid=20642 vsize=13999932 CPUtime=1.78 cores=1,3,5,7
/proc/20645/task/20706/stat : 20706 (java) S 20642 20645 19618 0 -1 1077944384 8165 12471 0 0 169 2 5 2 20 0 15 0 43912617 14335930368 138892 18446744073709551615 4194304 4196468 140726629304432 140626421073904 140626949077634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20707] ppid=20642 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20707/stat : 20707 (java) S 20642 20645 19618 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 15 0 43912618 14335930368 138892 18446744073709551615 4194304 4196468 140726629304432 140626420021600 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20708] ppid=20642 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20708/stat : 20708 (java) S 20642 20645 19618 0 -1 1077944384 23 12471 0 0 0 0 5 2 20 0 15 0 43912621 14335930368 138892 18446744073709551615 4194304 4196468 140726629304432 140626418969648 140626949077634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
Current children cumulated CPU time (s) 15.25
Current children cumulated vsize (KiB) 13999932

[startup+12.7007 s]
/proc/loadavg: 1.98 1.52 1.45 5/209 20709
/proc/meminfo: memFree=28590932/32770624 swapFree=0/540300
[pid=20645] ppid=20642 vsize=14001980 CPUtime=27.01 cores=1,3,5,7
/proc/20645/stat : 20645 (java) S 20642 20645 19618 0 -1 1077944320 84637 12471 0 0 2612 82 5 2 20 0 15 0 43912587 14338027520 386041 18446744073709551615 4194304 4196468 140726629304432 140726629286976 140626949066487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
/proc/20645/statm: 3500495 386041 3466 1 0 3489109 0
[pid=20645/tid=20695] ppid=20642 vsize=14001980 CPUtime=11.56 cores=1,3,5,7
/proc/20645/task/20695/stat : 20695 (java) R 20642 20645 19618 0 -1 4202560 35829 12471 0 0 1128 21 5 2 20 0 15 0 43912612 14338027520 386041 18446744073709551615 4194304 4196468 140726629304432 140626953294224 140626588955171 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20696] ppid=20642 vsize=14001980 CPUtime=0.83 cores=1,3,5,7
/proc/20645/task/20696/stat : 20696 (java) S 20642 20645 19618 0 -1 1077944384 977 12471 0 0 63 13 5 2 20 0 15 0 43912613 14338027520 386041 18446744073709551615 4194304 4196468 140726629304432 140626906032656 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20697] ppid=20642 vsize=14001980 CPUtime=0.82 cores=1,3,5,7
/proc/20645/task/20697/stat : 20697 (java) S 20642 20645 19618 0 -1 1077944384 1691 12471 0 0 63 12 5 2 20 0 15 0 43912613 14338027520 386041 18446744073709551615 4194304 4196468 140726629304432 140626904980112 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20698] ppid=20642 vsize=14001980 CPUtime=0.81 cores=1,3,5,7
/proc/20645/task/20698/stat : 20698 (java) S 20642 20645 19618 0 -1 1077944384 1291 12471 0 0 62 12 5 2 20 0 15 0 43912613 14338027520 386041 18446744073709551615 4194304 4196468 140726629304432 140626903927056 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20699] ppid=20642 vsize=14001980 CPUtime=0.82 cores=1,3,5,7
/proc/20645/task/20699/stat : 20699 (java) S 20642 20645 19618 0 -1 1077944384 989 12471 0 0 63 12 5 2 20 0 15 0 43912613 14338027520 386041 18446744073709551615 4194304 4196468 140726629304432 140626902874512 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20700] ppid=20642 vsize=14001980 CPUtime=0.15 cores=1,3,5,7
/proc/20645/task/20700/stat : 20700 (java) S 20642 20645 19618 0 -1 1077944384 5293 12471 0 0 8 0 5 2 20 0 15 0 43912614 14338027520 386041 18446744073709551615 4194304 4196468 140726629304432 140626494835440 140626949077634 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20701] ppid=20642 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20701/stat : 20701 (java) S 20642 20645 19618 0 -1 1077944384 62 12471 0 0 0 0 5 2 20 0 15 0 43912615 14338027520 386041 18446744073709551615 4194304 4196468 140726629304432 140626493781728 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20702] ppid=20642 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20702/stat : 20702 (java) S 20642 20645 19618 0 -1 1077944384 52 12471 0 0 0 0 5 2 20 0 15 0 43912615 14338027520 386041 18446744073709551615 4194304 4196468 140726629304432 140626492728576 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20703] ppid=20642 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20703/stat : 20703 (java) S 20642 20645 19618 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 15 0 43912617 14338027520 386041 18446744073709551615 4194304 4196468 140726629304432 140626491677136 140626949085083 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0

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

Current children cumulated vsize (KiB) 14004028

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

[startup+2453.6 s]
/proc/loadavg: 1.24 1.30 1.32 4/210 21004
/proc/meminfo: memFree=28373508/32770624 swapFree=0/541352
[pid=20645] ppid=20642 vsize=14137156 CPUtime=2522.22 cores=1,3,5,7
/proc/20645/stat : 20645 (java) S 20642 20645 19618 0 -1 1077944320 482821 12471 0 0 251839 376 5 2 20 0 17 0 43912587 14476447744 665130 18446744073709551615 4194304 4196468 140726629304432 140726629286976 140626949066487 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
/proc/20645/statm: 3534289 665130 3485 1 0 3522903 0
[pid=20645/tid=20695] ppid=20642 vsize=14137156 CPUtime=2429.52 cores=1,3,5,7
/proc/20645/task/20695/stat : 20695 (java) S 20642 20645 19618 0 -1 1077944384 152050 12471 0 0 242863 82 5 2 20 0 17 0 43912612 14476447744 665130 18446744073709551615 4194304 4196468 140726629304432 140626953304224 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20696] ppid=20642 vsize=14137156 CPUtime=16.77 cores=1,3,5,7
/proc/20645/task/20696/stat : 20696 (java) R 20642 20645 19618 0 -1 4202560 49597 12471 0 0 1626 44 5 2 20 0 17 0 43912613 14476447744 665130 18446744073709551615 4194304 4196468 140726629304432 140626906032464 140626930676096 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20697] ppid=20642 vsize=14137156 CPUtime=16.77 cores=1,3,5,7
/proc/20645/task/20697/stat : 20697 (java) R 20642 20645 19618 0 -1 4202560 57554 12471 0 0 1626 44 5 2 20 0 17 0 43912613 14476447744 665130 18446744073709551615 4194304 4196468 140726629304432 140626904980232 140626933767091 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20698] ppid=20642 vsize=14137156 CPUtime=16.78 cores=1,3,5,7
/proc/20645/task/20698/stat : 20698 (java) R 20642 20645 19618 0 -1 4202560 56594 12471 0 0 1625 46 5 2 20 0 17 0 43912613 14476447744 665130 18446744073709551615 4194304 4196468 140726629304432 140626903927176 140626930676120 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20699] ppid=20642 vsize=14137156 CPUtime=16.76 cores=1,3,5,7
/proc/20645/task/20699/stat : 20699 (java) R 20642 20645 19618 0 -1 4202560 51779 12471 0 0 1623 46 5 2 20 0 17 0 43912613 14476447744 665130 18446744073709551615 4194304 4196468 140726629304432 140626902874320 140626933767120 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20700] ppid=20642 vsize=14137156 CPUtime=5.08 cores=1,3,5,7
/proc/20645/task/20700/stat : 20700 (java) S 20642 20645 19618 0 -1 1077944384 48792 12471 0 0 451 50 5 2 20 0 17 0 43912614 14476447744 665130 18446744073709551615 4194304 4196468 140726629304432 140626494834064 140626949076693 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20701] ppid=20642 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20701/stat : 20701 (java) S 20642 20645 19618 0 -1 1077944384 63 12471 0 0 0 0 5 2 20 0 17 0 43912615 14476447744 665130 18446744073709551615 4194304 4196468 140726629304432 140626493781792 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20702] ppid=20642 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20702/stat : 20702 (java) S 20642 20645 19618 0 -1 1077944384 52 12471 0 0 0 0 5 2 20 0 17 0 43912615 14476447744 665130 18446744073709551615 4194304 4196468 140726629304432 140626492728576 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20703] ppid=20642 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20703/stat : 20703 (java) S 20642 20645 19618 0 -1 1077944384 246 12471 0 0 0 0 5 2 20 0 17 0 43912617 14476447744 665130 18446744073709551615 4194304 4196468 140726629304432 140626491677136 140626949085083 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20704] ppid=20642 vsize=14137156 CPUtime=8.69 cores=1,3,5,7
/proc/20645/task/20704/stat : 20704 (java) S 20642 20645 19618 0 -1 1077944384 24521 12471 0 0 859 3 5 2 20 0 17 0 43912617 14476447744 665130 18446744073709551615 4194304 4196468 140726629304432 140626423179504 140626949077634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20705] ppid=20642 vsize=14137156 CPUtime=8.19 cores=1,3,5,7
/proc/20645/task/20705/stat : 20705 (java) S 20642 20645 19618 0 -1 1077944384 18446 12471 0 0 807 5 5 2 20 0 17 0 43912617 14476447744 665130 18446744073709551615 4194304 4196468 140726629304432 140626422116160 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20706] ppid=20642 vsize=14137156 CPUtime=2.64 cores=1,3,5,7
/proc/20645/task/20706/stat : 20706 (java) S 20642 20645 19618 0 -1 1077944384 18423 12471 0 0 253 4 5 2 20 0 17 0 43912617 14476447744 665130 18446744073709551615 4194304 4196468 140726629304432 140626421073904 140626949077634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20707] ppid=20642 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20707/stat : 20707 (java) S 20642 20645 19618 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 17 0 43912618 14476447744 665130 18446744073709551615 4194304 4196468 140726629304432 140626420021600 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20708] ppid=20642 vsize=14137156 CPUtime=1.54 cores=1,3,5,7
/proc/20645/task/20708/stat : 20708 (java) S 20642 20645 19618 0 -1 1077944384 2179 12471 0 0 67 80 5 2 20 0 17 0 43912621 14476447744 665130 18446744073709551615 4194304 4196468 140726629304432 140626418969648 140626949077634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
Current children cumulated CPU time (s) 2522.22
Current children cumulated vsize (KiB) 14137156

[startup+2454 s]
/proc/loadavg: 1.24 1.30 1.32 4/210 21004
/proc/meminfo: memFree=28373508/32770624 swapFree=0/541352
[pid=20645] ppid=20642 vsize=14137156 CPUtime=2523.65 cores=1,3,5,7
/proc/20645/stat : 20645 (java) S 20642 20645 19618 0 -1 1077944320 483101 12471 0 0 251982 376 5 2 20 0 17 0 43912587 14476447744 664827 18446744073709551615 4194304 4196468 140726629304432 140726629286976 140626949066487 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
/proc/20645/statm: 3534289 664827 3485 1 0 3522903 0
[pid=20645/tid=20695] ppid=20642 vsize=14137156 CPUtime=2429.52 cores=1,3,5,7
/proc/20645/task/20695/stat : 20695 (java) S 20642 20645 19618 0 -1 1077944384 152051 12471 0 0 242863 82 5 2 20 0 17 0 43912612 14476447744 664827 18446744073709551615 4194304 4196468 140726629304432 140626953304224 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20696] ppid=20642 vsize=14137156 CPUtime=17.12 cores=1,3,5,7
/proc/20645/task/20696/stat : 20696 (java) R 20642 20645 19618 0 -1 4202560 49601 12471 0 0 1661 44 5 2 20 0 17 0 43912613 14476447744 664827 18446744073709551615 4194304 4196468 140726629304432 140626906032656 140626930662941 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20697] ppid=20642 vsize=14137156 CPUtime=17.11 cores=1,3,5,7
/proc/20645/task/20697/stat : 20697 (java) R 20642 20645 19618 0 -1 4202560 57559 12471 0 0 1660 44 5 2 20 0 17 0 43912613 14476447744 664827 18446744073709551615 4194304 4196468 140726629304432 140626904980312 140626930663498 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20698] ppid=20642 vsize=14137156 CPUtime=17.12 cores=1,3,5,7
/proc/20645/task/20698/stat : 20698 (java) R 20642 20645 19618 0 -1 4202560 56607 12471 0 0 1659 46 5 2 20 0 17 0 43912613 14476447744 664827 18446744073709551615 4194304 4196468 140726629304432 140626903927056 140626934017092 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20699] ppid=20642 vsize=14137156 CPUtime=17.1 cores=1,3,5,7
/proc/20645/task/20699/stat : 20699 (java) R 20642 20645 19618 0 -1 4202560 51809 12471 0 0 1657 46 5 2 20 0 17 0 43912613 14476447744 664827 18446744073709551615 4194304 4196468 140726629304432 140626902874712 140626933764212 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20700] ppid=20642 vsize=14137156 CPUtime=5.14 cores=1,3,5,7
/proc/20645/task/20700/stat : 20700 (java) S 20642 20645 19618 0 -1 1077944384 49005 12471 0 0 457 50 5 2 20 0 17 0 43912614 14476447744 664827 18446744073709551615 4194304 4196468 140726629304432 140626494833840 140626949076693 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20701] ppid=20642 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20701/stat : 20701 (java) S 20642 20645 19618 0 -1 1077944384 65 12471 0 0 0 0 5 2 20 0 17 0 43912615 14476447744 664827 18446744073709551615 4194304 4196468 140726629304432 140626493781776 140626949077634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20702] ppid=20642 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20702/stat : 20702 (java) S 20642 20645 19618 0 -1 1077944384 52 12471 0 0 0 0 5 2 20 0 17 0 43912615 14476447744 664827 18446744073709551615 4194304 4196468 140726629304432 140626492728576 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20703] ppid=20642 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20703/stat : 20703 (java) S 20642 20645 19618 0 -1 1077944384 246 12471 0 0 0 0 5 2 20 0 17 0 43912617 14476447744 664827 18446744073709551615 4194304 4196468 140726629304432 140626491677136 140626949085083 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20704] ppid=20642 vsize=14137156 CPUtime=8.69 cores=1,3,5,7
/proc/20645/task/20704/stat : 20704 (java) S 20642 20645 19618 0 -1 1077944384 24521 12471 0 0 859 3 5 2 20 0 17 0 43912617 14476447744 664827 18446744073709551615 4194304 4196468 140726629304432 140626423179504 140626949077634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20705] ppid=20642 vsize=14137156 CPUtime=8.19 cores=1,3,5,7
/proc/20645/task/20705/stat : 20705 (java) S 20642 20645 19618 0 -1 1077944384 18457 12471 0 0 807 5 5 2 20 0 17 0 43912617 14476447744 664827 18446744073709551615 4194304 4196468 140726629304432 140626422116160 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20706] ppid=20642 vsize=14137156 CPUtime=2.64 cores=1,3,5,7
/proc/20645/task/20706/stat : 20706 (java) S 20642 20645 19618 0 -1 1077944384 18423 12471 0 0 253 4 5 2 20 0 17 0 43912617 14476447744 664827 18446744073709551615 4194304 4196468 140726629304432 140626421073904 140626949077634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20707] ppid=20642 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20707/stat : 20707 (java) S 20642 20645 19618 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 17 0 43912618 14476447744 664827 18446744073709551615 4194304 4196468 140726629304432 140626420021600 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20708] ppid=20642 vsize=14137156 CPUtime=1.54 cores=1,3,5,7
/proc/20645/task/20708/stat : 20708 (java) S 20642 20645 19618 0 -1 1077944384 2179 12471 0 0 67 80 5 2 20 0 17 0 43912621 14476447744 664827 18446744073709551615 4194304 4196468 140726629304432 140626418969648 140626949077634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
Current children cumulated CPU time (s) 2523.65
Current children cumulated vsize (KiB) 14137156

[startup+2454.21 s]
/proc/loadavg: 1.24 1.30 1.32 7/212 21006
/proc/meminfo: memFree=28291424/32770624 swapFree=0/541352
[pid=20645] ppid=20642 vsize=14137156 CPUtime=2524.43 cores=1,3,5,7
/proc/20645/stat : 20645 (java) S 20642 20645 19618 0 -1 1077944320 483105 12471 0 0 252060 376 5 2 20 0 17 0 43912587 14476447744 664573 18446744073709551615 4194304 4196468 140726629304432 140726629286976 140626949066487 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
/proc/20645/statm: 3534289 664573 3485 1 0 3522903 0
[pid=20645/tid=20695] ppid=20642 vsize=14137156 CPUtime=2429.52 cores=1,3,5,7
/proc/20645/task/20695/stat : 20695 (java) S 20642 20645 19618 0 -1 1077944384 152052 12471 0 0 242863 82 5 2 20 0 17 0 43912612 14476447744 664573 18446744073709551615 4194304 4196468 140726629304432 140626953304224 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20696] ppid=20642 vsize=14137156 CPUtime=17.31 cores=1,3,5,7
/proc/20645/task/20696/stat : 20696 (java) R 20642 20645 19618 0 -1 4202560 49601 12471 0 0 1680 44 5 2 20 0 17 0 43912613 14476447744 664573 18446744073709551615 4194304 4196468 140726629304432 140626906032856 140626930663498 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20697] ppid=20642 vsize=14137156 CPUtime=17.3 cores=1,3,5,7
/proc/20645/task/20697/stat : 20697 (java) R 20642 20645 19618 0 -1 4202560 57561 12471 0 0 1679 44 5 2 20 0 17 0 43912613 14476447744 664573 18446744073709551615 4194304 4196468 140726629304432 140626904980112 140626934051783 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20698] ppid=20642 vsize=14137156 CPUtime=17.31 cores=1,3,5,7
/proc/20645/task/20698/stat : 20698 (java) R 20642 20645 19618 0 -1 4202560 56607 12471 0 0 1678 46 5 2 20 0 17 0 43912613 14476447744 664573 18446744073709551615 4194304 4196468 140726629304432 140626903927256 140626934017092 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20699] ppid=20642 vsize=14137156 CPUtime=17.29 cores=1,3,5,7
/proc/20645/task/20699/stat : 20699 (java) R 20642 20645 19618 0 -1 4202560 51809 12471 0 0 1676 46 5 2 20 0 17 0 43912613 14476447744 664573 18446744073709551615 4194304 4196468 140726629304432 140626902874512 140626933520301 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20700] ppid=20642 vsize=14137156 CPUtime=5.16 cores=1,3,5,7
/proc/20645/task/20700/stat : 20700 (java) S 20642 20645 19618 0 -1 1077944384 49005 12471 0 0 459 50 5 2 20 0 17 0 43912614 14476447744 664573 18446744073709551615 4194304 4196468 140726629304432 140626494833840 140626949076693 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20701] ppid=20642 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20701/stat : 20701 (java) S 20642 20645 19618 0 -1 1077944384 65 12471 0 0 0 0 5 2 20 0 17 0 43912615 14476447744 664573 18446744073709551615 4194304 4196468 140726629304432 140626493781872 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20702] ppid=20642 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20702/stat : 20702 (java) S 20642 20645 19618 0 -1 1077944384 52 12471 0 0 0 0 5 2 20 0 17 0 43912615 14476447744 664573 18446744073709551615 4194304 4196468 140726629304432 140626492728576 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20703] ppid=20642 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20703/stat : 20703 (java) S 20642 20645 19618 0 -1 1077944384 246 12471 0 0 0 0 5 2 20 0 17 0 43912617 14476447744 664573 18446744073709551615 4194304 4196468 140726629304432 140626491677136 140626949085083 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20704] ppid=20642 vsize=14137156 CPUtime=8.69 cores=1,3,5,7
/proc/20645/task/20704/stat : 20704 (java) S 20642 20645 19618 0 -1 1077944384 24521 12471 0 0 859 3 5 2 20 0 17 0 43912617 14476447744 664573 18446744073709551615 4194304 4196468 140726629304432 140626423179504 140626949077634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20705] ppid=20642 vsize=14137156 CPUtime=8.19 cores=1,3,5,7
/proc/20645/task/20705/stat : 20705 (java) S 20642 20645 19618 0 -1 1077944384 18458 12471 0 0 807 5 5 2 20 0 17 0 43912617 14476447744 664573 18446744073709551615 4194304 4196468 140726629304432 140626422117088 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20706] ppid=20642 vsize=14137156 CPUtime=2.64 cores=1,3,5,7
/proc/20645/task/20706/stat : 20706 (java) S 20642 20645 19618 0 -1 1077944384 18423 12471 0 0 253 4 5 2 20 0 17 0 43912617 14476447744 664573 18446744073709551615 4194304 4196468 140726629304432 140626421073904 140626949077634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20707] ppid=20642 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20707/stat : 20707 (java) S 20642 20645 19618 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 17 0 43912618 14476447744 664573 18446744073709551615 4194304 4196468 140726629304432 140626420021600 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20708] ppid=20642 vsize=14137156 CPUtime=1.54 cores=1,3,5,7
/proc/20645/task/20708/stat : 20708 (java) S 20642 20645 19618 0 -1 1077944384 2179 12471 0 0 67 80 5 2 20 0 17 0 43912621 14476447744 664573 18446744073709551615 4194304 4196468 140726629304432 140626418969648 140626949077634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=21005] ppid=20642 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/21005/stat : 21005 (java) S 20642 20645 19618 0 -1 1077944384 338 12471 0 0 0 0 5 2 20 0 17 0 44157889 14476447744 664573 18446744073709551615 4194304 4196468 140726629304432 140626389570416 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=21006] ppid=20642 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/21006/stat : 21006 (java) S 20642 20645 19618 0 -1 1077944384 31 12471 0 0 0 0 5 2 20 0 17 0 44157889 14476447744 664573 18446744073709551615 4194304 4196468 140726629304432 140626385380544 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
Current children cumulated CPU time (s) 2524.43
Current children cumulated vsize (KiB) 14137156

[startup+2454.3 s]
/proc/loadavg: 1.24 1.30 1.32 7/212 21006
/proc/meminfo: memFree=28291424/32770624 swapFree=0/541352
[pid=20645] ppid=20642 vsize=14137156 CPUtime=2524.73 cores=1,3,5,7
/proc/20645/stat : 20645 (java) S 20642 20645 19618 0 -1 1077944320 483252 12471 0 0 252090 376 5 2 20 0 17 0 43912587 14476447744 664583 18446744073709551615 4194304 4196468 140726629304432 140726629286976 140626949066487 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
/proc/20645/statm: 3534289 664583 3486 1 0 3522903 0
[pid=20645/tid=20695] ppid=20642 vsize=14137156 CPUtime=2429.52 cores=1,3,5,7
/proc/20645/task/20695/stat : 20695 (java) R 20642 20645 19618 0 -1 4202560 152131 12471 0 0 242863 82 5 2 20 0 17 0 43912612 14476447744 664583 18446744073709551615 4194304 4196468 140726629304432 140626953304224 140626929342315 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20696] ppid=20642 vsize=14137156 CPUtime=17.38 cores=1,3,5,7
/proc/20645/task/20696/stat : 20696 (java) S 20642 20645 19618 0 -1 1077944384 49601 12471 0 0 1687 44 5 2 20 0 17 0 43912613 14476447744 664583 18446744073709551615 4194304 4196468 140726629304432 140626906032656 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20697] ppid=20642 vsize=14137156 CPUtime=17.37 cores=1,3,5,7
/proc/20645/task/20697/stat : 20697 (java) S 20642 20645 19618 0 -1 1077944384 57561 12471 0 0 1686 44 5 2 20 0 17 0 43912613 14476447744 664583 18446744073709551615 4194304 4196468 140726629304432 140626904980112 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20698] ppid=20642 vsize=14137156 CPUtime=17.38 cores=1,3,5,7
/proc/20645/task/20698/stat : 20698 (java) S 20642 20645 19618 0 -1 1077944384 56607 12471 0 0 1685 46 5 2 20 0 17 0 43912613 14476447744 664583 18446744073709551615 4194304 4196468 140726629304432 140626903927056 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20699] ppid=20642 vsize=14137156 CPUtime=17.35 cores=1,3,5,7
/proc/20645/task/20699/stat : 20699 (java) S 20642 20645 19618 0 -1 1077944384 51809 12471 0 0 1682 46 5 2 20 0 17 0 43912613 14476447744 664583 18446744073709551615 4194304 4196468 140726629304432 140626902874512 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20700] ppid=20642 vsize=14137156 CPUtime=5.17 cores=1,3,5,7
/proc/20645/task/20700/stat : 20700 (java) S 20642 20645 19618 0 -1 1077944384 49005 12471 0 0 460 50 5 2 20 0 17 0 43912614 14476447744 664583 18446744073709551615 4194304 4196468 140726629304432 140626494835440 140626949077634 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20701] ppid=20642 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20701/stat : 20701 (java) S 20642 20645 19618 0 -1 1077944384 65 12471 0 0 0 0 5 2 20 0 17 0 43912615 14476447744 664583 18446744073709551615 4194304 4196468 140726629304432 140626493781792 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20702] ppid=20642 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20702/stat : 20702 (java) S 20642 20645 19618 0 -1 1077944384 54 12471 0 0 0 0 5 2 20 0 17 0 43912615 14476447744 664583 18446744073709551615 4194304 4196468 140726629304432 140626492728576 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20703] ppid=20642 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20703/stat : 20703 (java) S 20642 20645 19618 0 -1 1077944384 246 12471 0 0 0 0 5 2 20 0 17 0 43912617 14476447744 664583 18446744073709551615 4194304 4196468 140726629304432 140626491677136 140626949085083 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20704] ppid=20642 vsize=14137156 CPUtime=8.69 cores=1,3,5,7
/proc/20645/task/20704/stat : 20704 (java) S 20642 20645 19618 0 -1 1077944384 24521 12471 0 0 859 3 5 2 20 0 17 0 43912617 14476447744 664583 18446744073709551615 4194304 4196468 140726629304432 140626423179504 140626949077634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20705] ppid=20642 vsize=14137156 CPUtime=8.2 cores=1,3,5,7
/proc/20645/task/20705/stat : 20705 (java) R 20642 20645 19618 0 -1 4202560 18518 12471 0 0 808 5 5 2 20 0 17 0 43912617 14476447744 664583 18446744073709551615 4194304 4196468 140726629304432 140626422117088 140626933460363 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20706] ppid=20642 vsize=14137156 CPUtime=2.64 cores=1,3,5,7
/proc/20645/task/20706/stat : 20706 (java) S 20642 20645 19618 0 -1 1077944384 18457 12471 0 0 253 4 5 2 20 0 17 0 43912617 14476447744 664583 18446744073709551615 4194304 4196468 140726629304432 140626421073904 140626949077634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20707] ppid=20642 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/20707/stat : 20707 (java) S 20642 20645 19618 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 17 0 43912618 14476447744 664583 18446744073709551615 4194304 4196468 140726629304432 140626420021600 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=20708] ppid=20642 vsize=14137156 CPUtime=1.54 cores=1,3,5,7
/proc/20645/task/20708/stat : 20708 (java) S 20642 20645 19618 0 -1 1077944384 2179 12471 0 0 67 80 5 2 20 0 17 0 43912621 14476447744 664583 18446744073709551615 4194304 4196468 140726629304432 140626418969648 140626949077634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=21005] ppid=20642 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/21005/stat : 21005 (java) S 20642 20645 19618 0 -1 1077944384 338 12471 0 0 0 0 5 2 20 0 17 0 44157889 14476447744 664583 18446744073709551615 4194304 4196468 140726629304432 140626389570416 140626949076693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
[pid=20645/tid=21006] ppid=20642 vsize=14137156 CPUtime=0.07 cores=1,3,5,7
/proc/20645/task/21006/stat : 21006 (java) S 20642 20645 19618 0 -1 1077944384 31 12471 0 0 0 0 5 2 20 0 17 0 44157889 14476447744 664583 18446744073709551615 4194304 4196468 140726629304432 140626385380848 140626949077634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17313792 140726629308368 140726629311153 140726629311153 140726629314511 0
Current children cumulated CPU time (s) 2524.73
Current children cumulated vsize (KiB) 14137156

Child status: 143
Real time (s): 2454.34
CPU time (s): 2524.78
CPU user time (s): 2520.97
CPU system time (s): 3.81074
CPU usage (%): 102.87
Max. virtual memory (cumulated for all children) (KiB): 14137156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.97
system time used= 3.81074
maximum resident set size= 4105836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 496263
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 155660
involuntary context switches= 5714

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8523 second user time and 11.507 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-11 03:52:24
IDJOB=4262136
IDBENCH=115796
IDSOLVER=2650
FILE ID=node127/4262136-1502417191
RUNJOBID= node127-1502411410-19682
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-050-15-0.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262136-1502417191/watcher-4262136-1502417191 -o /tmp/evaluation-result-4262136-1502417191/solver-4262136-1502417191 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502411410-19682 --watchdog 2580  bin/concrete HOME/instance-4262136-1502417191.xml

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

MD5SUM BENCH= e561ffe312dc375c565e08e894fb6057
RANDOM SEED=181848697

node127.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.92
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.92
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.92
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.92
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:        30400908 kB
MemAvailable:   31168380 kB
Buffers:          239904 kB
Cached:           818752 kB
SwapCached:            0 kB
Active:          1385596 kB
Inactive:         565136 kB
Active(anon):     892676 kB
Inactive(anon):    24908 kB
Active(file):     492920 kB
Inactive(file):   540228 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24140 kB
Writeback:             4 kB
AnonPages:        892600 kB
Mapped:            53832 kB
Shmem:             25252 kB
Slab:             125464 kB
SReclaimable:     100316 kB
SUnreclaim:        25148 kB
KernelStack:        3424 kB
PageTables:         6356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1865620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    663552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61984 MiB
End job on node127 at 2017-08-11 04:33:19