Trace number 4262783

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) 2520.71 2465.5601

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-10-10-2.xml
MD5SUMb5461c8e5264bee8206ce4144564b5f2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark617
Best CPU time to get the best result obtained on this benchmark2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables410
Number of constraints330
Number of domains12
Minimum domain size9
Maximum domain size717
Distribution of domain sizes[{"size":9,"count":40},{"size":10,"count":160},{"size":717,"count":210}]
Minimum variable degree2
Maximum variable degree11
Distribution of variable degrees[{"degree":2,"count":110},{"degree":3,"count":200},{"degree":11,"count":100}]
Minimum constraint arity1
Maximum constraint arity12
Distribution of constraint arities[{"arity":1,"count":10},{"arity":2,"count":100},{"arity":3,"count":100},{"arity":10,"count":20},{"arity":12,"count":100}]
Number of extensional constraints100
Number of intensional constraints110
Distribution of constraint types[{"type":"extension","count":100},{"type":"intension","count":110},{"type":"allDifferent","count":10},{"type":"noOverlap","count":10},{"type":"element","count":100}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

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

pid=2855
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.23 1.34 1.36 4/198 2858
/proc/meminfo: memFree=29913312/32770624 swapFree=0/561924
[pid=2858] ppid=2855 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/2858/stat : 2858 (runsolver) D 2855 2858 1460 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 89386416 24240128 106 18446744073709551615 4194304 4338465 140722167556800 140722167554440 139764253455063 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 20340736 140722167558353 140722167558729 140722167558729 140722167562186 0
/proc/2858/statm: 5918 106 53 36 0 2156 0

[startup+0.100138 s]
/proc/loadavg: 1.23 1.34 1.36 4/198 2858
/proc/meminfo: memFree=29913312/32770624 swapFree=0/561924
[pid=2858] ppid=2855 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/2858/stat : 2858 (bash) S 2855 2858 1460 0 -1 4202496 684 1541 0 0 0 0 0 0 20 0 1 0 89386416 9736192 351 18446744073709551615 4194304 5098028 140721781904064 140721781901704 139922763529216 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 9 0 0 7196144 7232144 37314560 140721781907988 140721781908073 140721781908073 140721781911530 0
/proc/2858/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200285 s]
/proc/loadavg: 1.23 1.34 1.36 4/198 2858
/proc/meminfo: memFree=29913312/32770624 swapFree=0/561924
[pid=2858] ppid=2855 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/2858/stat : 2858 (bash) S 2855 2858 1460 0 -1 4202496 897 6478 0 0 0 0 0 1 20 0 1 0 89386416 9867264 377 18446744073709551615 4194304 5098028 140721781904064 140721781898072 139922763529216 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 9 0 0 7196144 7232144 37314560 140721781907988 140721781908073 140721781908073 140721781911530 0
/proc/2858/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300348 s]
/proc/loadavg: 1.23 1.34 1.36 4/198 2858
/proc/meminfo: memFree=29913312/32770624 swapFree=0/561924
[pid=2858] ppid=2855 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/2858/stat : 2858 (java) S 2855 2858 1460 0 -1 1077944320 5489 12472 0 0 5 1 5 2 20 0 14 0 89386416 14241083392 5170 18446744073709551615 4194304 4196468 140729087809648 140729087792192 140013671227127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
/proc/2858/statm: 3476827 5170 2571 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.700289 s]
/proc/loadavg: 1.23 1.34 1.36 4/198 2858
/proc/meminfo: memFree=29913312/32770624 swapFree=0/561924
[pid=2858] ppid=2855 vsize=13974784 CPUtime=0.68 cores=1,3,5,7
/proc/2858/stat : 2858 (java) S 2855 2858 1460 0 -1 1077944320 13631 12472 0 0 57 4 5 2 20 0 15 0 89386416 14310178816 14600 18446744073709551615 4194304 4196468 140729087809648 140729087792192 140013671227127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
/proc/2858/statm: 3493696 14600 3109 1 0 3482965 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13974784

[startup+1.5047 s]
/proc/loadavg: 1.23 1.34 1.36 3/213 2921
/proc/meminfo: memFree=29817364/32770624 swapFree=0/561956
[pid=2858] ppid=2855 vsize=13985408 CPUtime=1.9 cores=1,3,5,7
/proc/2858/stat : 2858 (java) S 2855 2858 1460 0 -1 1077944320 28001 12472 0 0 174 9 5 2 20 0 15 0 89386416 14321057792 43272 18446744073709551615 4194304 4196468 140729087809648 140729087792192 140013671227127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
/proc/2858/statm: 3496352 43272 3366 1 0 3485525 0
[pid=2858/tid=2908] ppid=2855 vsize=13985408 CPUtime=1.27 cores=1,3,5,7
/proc/2858/task/2908/stat : 2908 (java) S 2855 2858 1460 0 -1 1077944384 21142 12472 0 0 115 5 5 2 20 0 15 0 89386437 14321057792 43272 18446744073709551615 4194304 4196468 140729087809648 140013675449520 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2909] ppid=2855 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2909/stat : 2909 (java) S 2855 2858 1460 0 -1 1077944384 204 12472 0 0 0 0 5 2 20 0 15 0 89386437 14321057792 43272 18446744073709551615 4194304 4196468 140729087809648 140013590641552 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2910] ppid=2855 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/2858/task/2910/stat : 2910 (java) S 2855 2858 1460 0 -1 1077944384 62 12472 0 0 1 0 5 2 20 0 15 0 89386437 14321057792 43272 18446744073709551615 4194304 4196468 140729087809648 140013589588752 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2911] ppid=2855 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/2858/task/2911/stat : 2911 (java) S 2855 2858 1460 0 -1 1077944384 46 12472 0 0 1 0 5 2 20 0 15 0 89386437 14321057792 43272 18446744073709551615 4194304 4196468 140729087809648 140013588536464 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2912] ppid=2855 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/2858/task/2912/stat : 2912 (java) S 2855 2858 1460 0 -1 1077944384 49 12472 0 0 1 0 5 2 20 0 15 0 89386437 14321057792 43272 18446744073709551615 4194304 4196468 140729087809648 140013587483664 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2913] ppid=2855 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/2858/task/2913/stat : 2913 (java) R 2855 2858 1460 0 -1 4202560 1163 12472 0 0 1 0 5 2 20 0 15 0 89386439 14321057792 43272 18446744073709551615 4194304 4196468 140729087809648 140013149835936 140013671248474 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2914] ppid=2855 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2914/stat : 2914 (java) S 2855 2858 1460 0 -1 1077944384 33 12472 0 0 0 0 5 2 20 0 15 0 89386439 14321057792 43272 18446744073709551615 4194304 4196468 140729087809648 140013148783392 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2915] ppid=2855 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2915/stat : 2915 (java) S 2855 2858 1460 0 -1 1077944384 21 12472 0 0 0 0 5 2 20 0 15 0 89386439 14321057792 43272 18446744073709551615 4194304 4196468 140729087809648 140013147731056 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2916] ppid=2855 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2916/stat : 2916 (java) S 2855 2858 1460 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 89386442 14321057792 43219 18446744073709551615 4194304 4196468 140729087809648 140013146679376 140013671245723 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2917] ppid=2855 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/2858/task/2917/stat : 2917 (java) S 2855 2858 1460 0 -1 1077944384 1364 12472 0 0 16 0 5 2 20 0 15 0 89386442 14321057792 43164 18446744073709551615 4194304 4196468 140729087809648 140013145627248 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2918] ppid=2855 vsize=13985408 CPUtime=0.2 cores=1,3,5,7
/proc/2858/task/2918/stat : 2918 (java) S 2855 2858 1460 0 -1 1077944384 457 12472 0 0 13 0 5 2 20 0 15 0 89386442 14321057792 43164 18446744073709551615 4194304 4196468 140729087809648 140013144574448 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2919] ppid=2855 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/2858/task/2919/stat : 2919 (java) S 2855 2858 1460 0 -1 1077944384 1293 12472 0 0 23 0 5 2 20 0 15 0 89386442 14321057792 43164 18446744073709551615 4194304 4196468 140729087809648 140013143518032 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2920] ppid=2855 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2920/stat : 2920 (java) S 2855 2858 1460 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 89386442 14321057792 43164 18446744073709551615 4194304 4196468 140729087809648 140013142469600 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2921] ppid=2855 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2921/stat : 2921 (java) S 2855 2858 1460 0 -1 1077944384 5 12472 0 0 0 0 5 2 20 0 15 0 89386447 14321057792 43164 18446744073709551615 4194304 4196468 140729087809648 140013141416368 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 13985408

[startup+3.1006 s]
/proc/loadavg: 1.23 1.34 1.36 3/213 2922
/proc/meminfo: memFree=29741472/32770624 swapFree=0/561956
[pid=2858] ppid=2855 vsize=13997884 CPUtime=5.21 cores=1,3,5,7
/proc/2858/stat : 2858 (java) S 2855 2858 1460 0 -1 1077944320 47035 12472 0 0 499 15 5 2 20 0 15 0 89386416 14333833216 54389 18446744073709551615 4194304 4196468 140729087809648 140729087792192 140013671227127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
/proc/2858/statm: 3499471 54389 3443 1 0 3488085 0
[pid=2858/tid=2908] ppid=2855 vsize=13997884 CPUtime=2.86 cores=1,3,5,7
/proc/2858/task/2908/stat : 2908 (java) R 2855 2858 1460 0 -1 4202560 36055 12472 0 0 271 8 5 2 20 0 15 0 89386437 14333833216 54389 18446744073709551615 4194304 4196468 140729087809648 140013675459280 140013656607429 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2909] ppid=2855 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2909/stat : 2909 (java) S 2855 2858 1460 0 -1 1077944384 204 12472 0 0 0 0 5 2 20 0 15 0 89386437 14333833216 54389 18446744073709551615 4194304 4196468 140729087809648 140013590641552 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2910] ppid=2855 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/2858/task/2910/stat : 2910 (java) S 2855 2858 1460 0 -1 1077944384 62 12472 0 0 1 0 5 2 20 0 15 0 89386437 14333833216 54389 18446744073709551615 4194304 4196468 140729087809648 140013589588752 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2911] ppid=2855 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/2858/task/2911/stat : 2911 (java) S 2855 2858 1460 0 -1 1077944384 46 12472 0 0 1 0 5 2 20 0 15 0 89386437 14333833216 54389 18446744073709551615 4194304 4196468 140729087809648 140013588536464 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2912] ppid=2855 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/2858/task/2912/stat : 2912 (java) S 2855 2858 1460 0 -1 1077944384 49 12472 0 0 1 0 5 2 20 0 15 0 89386437 14333833216 54389 18446744073709551615 4194304 4196468 140729087809648 140013587483664 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2913] ppid=2855 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/2858/task/2913/stat : 2913 (java) S 2855 2858 1460 0 -1 1077944384 1184 12472 0 0 1 0 5 2 20 0 15 0 89386439 14333833216 54389 18446744073709551615 4194304 4196468 140729087809648 140013149837424 140013671238274 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2914] ppid=2855 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2914/stat : 2914 (java) S 2855 2858 1460 0 -1 1077944384 55 12472 0 0 0 0 5 2 20 0 15 0 89386439 14333833216 54389 18446744073709551615 4194304 4196468 140729087809648 140013148783392 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2915] ppid=2855 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2915/stat : 2915 (java) S 2855 2858 1460 0 -1 1077944384 44 12472 0 0 0 0 5 2 20 0 15 0 89386439 14333833216 54389 18446744073709551615 4194304 4196468 140729087809648 140013147731056 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2916] ppid=2855 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2916/stat : 2916 (java) S 2855 2858 1460 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 89386442 14333833216 54389 18446744073709551615 4194304 4196468 140729087809648 140013146679376 140013671245723 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2917] ppid=2855 vsize=13997884 CPUtime=0.63 cores=1,3,5,7
/proc/2858/task/2917/stat : 2917 (java) R 2855 2858 1460 0 -1 4202560 1851 12472 0 0 55 1 5 2 20 0 15 0 89386442 14333833216 54389 18446744073709551615 4194304 4196468 140729087809648 140013145627248 140013671239062 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2918] ppid=2855 vsize=13997884 CPUtime=0.72 cores=1,3,5,7
/proc/2858/task/2918/stat : 2918 (java) R 2855 2858 1460 0 -1 1077944384 1511 12472 0 0 64 1 5 2 20 0 15 0 89386442 14333833216 54389 18446744073709551615 4194304 4196468 140729087809648 140013144574448 140013671238274 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2919] ppid=2855 vsize=13997884 CPUtime=1.07 cores=1,3,5,7
/proc/2858/task/2919/stat : 2919 (java) R 2855 2858 1460 0 -1 4202560 3809 12472 0 0 100 0 5 2 20 0 15 0 89386442 14333833216 54389 18446744073709551615 4194304 4196468 140729087809648 140013143522288 140013671239062 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2920] ppid=2855 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2920/stat : 2920 (java) S 2855 2858 1460 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 89386442 14333833216 54389 18446744073709551615 4194304 4196468 140729087809648 140013142469600 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2921] ppid=2855 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2921/stat : 2921 (java) S 2855 2858 1460 0 -1 1077944384 8 12472 0 0 0 0 5 2 20 0 15 0 89386447 14333833216 54389 18446744073709551615 4194304 4196468 140729087809648 140013141416368 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
Current children cumulated CPU time (s) 5.21
Current children cumulated vsize (KiB) 13997884

[startup+6.30074 s]
/proc/loadavg: 1.21 1.34 1.36 6/213 2922
/proc/meminfo: memFree=29542696/32770624 swapFree=0/561960
[pid=2858] ppid=2855 vsize=14071612 CPUtime=15.33 cores=1,3,5,7
/proc/2858/stat : 2858 (java) S 2855 2858 1460 0 -1 1077944320 76095 12472 0 0 1499 27 5 2 20 0 15 0 89386416 14409330688 102439 18446744073709551615 4194304 4196468 140729087809648 140729087792192 140013671227127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
/proc/2858/statm: 3517903 102439 3475 1 0 3506517 0
[pid=2858/tid=2908] ppid=2855 vsize=14071612 CPUtime=5.96 cores=1,3,5,7
/proc/2858/task/2908/stat : 2908 (java) R 2855 2858 1460 0 -1 4202560 47397 12472 0 0 576 13 5 2 20 0 15 0 89386437 14409330688 102439 18446744073709551615 4194304 4196468 140729087809648 140013675460544 140013287534626 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2909] ppid=2855 vsize=14071612 CPUtime=0.13 cores=1,3,5,7
/proc/2858/task/2909/stat : 2909 (java) S 2855 2858 1460 0 -1 1077944384 302 12472 0 0 6 0 5 2 20 0 15 0 89386437 14409330688 102439 18446744073709551615 4194304 4196468 140729087809648 140013590641552 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2910] ppid=2855 vsize=14071612 CPUtime=0.12 cores=1,3,5,7
/proc/2858/task/2910/stat : 2910 (java) S 2855 2858 1460 0 -1 1077944384 1069 12472 0 0 5 0 5 2 20 0 15 0 89386437 14409330688 102439 18446744073709551615 4194304 4196468 140729087809648 140013589588752 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2911] ppid=2855 vsize=14071612 CPUtime=0.14 cores=1,3,5,7
/proc/2858/task/2911/stat : 2911 (java) S 2855 2858 1460 0 -1 1077944384 255 12472 0 0 6 1 5 2 20 0 15 0 89386437 14409330688 102439 18446744073709551615 4194304 4196468 140729087809648 140013588536464 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2912] ppid=2855 vsize=14071612 CPUtime=0.12 cores=1,3,5,7
/proc/2858/task/2912/stat : 2912 (java) S 2855 2858 1460 0 -1 1077944384 165 12472 0 0 5 0 5 2 20 0 15 0 89386437 14409330688 102439 18446744073709551615 4194304 4196468 140729087809648 140013587483664 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2913] ppid=2855 vsize=14071612 CPUtime=0.11 cores=1,3,5,7
/proc/2858/task/2913/stat : 2913 (java) S 2855 2858 1460 0 -1 1077944384 2153 12472 0 0 4 0 5 2 20 0 15 0 89386439 14409330688 102439 18446744073709551615 4194304 4196468 140729087809648 140013149837424 140013671238274 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2914] ppid=2855 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2914/stat : 2914 (java) S 2855 2858 1460 0 -1 1077944384 55 12472 0 0 0 0 5 2 20 0 15 0 89386439 14409330688 102439 18446744073709551615 4194304 4196468 140729087809648 140013148783456 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2915] ppid=2855 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2915/stat : 2915 (java) S 2855 2858 1460 0 -1 1077944384 44 12472 0 0 0 0 5 2 20 0 15 0 89386439 14409330688 102439 18446744073709551615 4194304 4196468 140729087809648 140013147731072 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2916] ppid=2855 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2916/stat : 2916 (java) S 2855 2858 1460 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 89386442 14409330688 102439 18446744073709551615 4194304 4196468 140729087809648 140013146679376 140013671245723 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2917] ppid=2855 vsize=14071612 CPUtime=3.43 cores=1,3,5,7
/proc/2858/task/2917/stat : 2917 (java) R 2855 2858 1460 0 -1 4202560 9190 12472 0 0 333 3 5 2 20 0 15 0 89386442 14409330688 102439 18446744073709551615 4194304 4196468 140729087809648 140013145609376 140013651928938 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2918] ppid=2855 vsize=14071612 CPUtime=3.51 cores=1,3,5,7
/proc/2858/task/2918/stat : 2918 (java) R 2855 2858 1460 0 -1 4202560 6605 12472 0 0 342 2 5 2 20 0 15 0 89386442 14409330688 102439 18446744073709551615 4194304 4196468 140729087809648 140013144563520 140013654723911 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2919] ppid=2855 vsize=14071612 CPUtime=2.27 cores=1,3,5,7
/proc/2858/task/2919/stat : 2919 (java) S 2855 2858 1460 0 -1 1077944384 6687 12472 0 0 217 3 5 2 20 0 15 0 89386442 14409330688 102439 18446744073709551615 4194304 4196468 140729087809648 140013143522160 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2920] ppid=2855 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2920/stat : 2920 (java) S 2855 2858 1460 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 89386442 14409330688 102439 18446744073709551615 4194304 4196468 140729087809648 140013142469600 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2921] ppid=2855 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2921/stat : 2921 (java) S 2855 2858 1460 0 -1 1077944384 11 12472 0 0 0 0 5 2 20 0 15 0 89386447 14409330688 102439 18446744073709551615 4194304 4196468 140729087809648 140013141416368 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
Current children cumulated CPU time (s) 15.33
Current children cumulated vsize (KiB) 14071612

[startup+12.7007 s]
/proc/loadavg: 1.20 1.33 1.36 3/213 2922
/proc/meminfo: memFree=29088148/32770624 swapFree=0/561964
[pid=2858] ppid=2855 vsize=14071612 CPUtime=23.95 cores=1,3,5,7
/proc/2858/stat : 2858 (java) S 2855 2858 1460 0 -1 1077944320 84629 12472 0 0 2348 40 5 2 20 0 15 0 89386416 14409330688 215503 18446744073709551615 4194304 4196468 140729087809648 140729087792192 140013671227127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
/proc/2858/statm: 3517903 215503 3481 1 0 3506517 0
[pid=2858/tid=2908] ppid=2855 vsize=14071612 CPUtime=12.29 cores=1,3,5,7
/proc/2858/task/2908/stat : 2908 (java) R 2855 2858 1460 0 -1 4202560 48998 12472 0 0 1203 19 5 2 20 0 15 0 89386437 14409330688 215503 18446744073709551615 4194304 4196468 140729087809648 140013675462056 140013275651364 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2909] ppid=2855 vsize=14071612 CPUtime=0.19 cores=1,3,5,7
/proc/2858/task/2909/stat : 2909 (java) S 2855 2858 1460 0 -1 1077944384 435 12472 0 0 10 2 5 2 20 0 15 0 89386437 14409330688 215503 18446744073709551615 4194304 4196468 140729087809648 140013590641552 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2910] ppid=2855 vsize=14071612 CPUtime=0.18 cores=1,3,5,7
/proc/2858/task/2910/stat : 2910 (java) S 2855 2858 1460 0 -1 1077944384 1130 12472 0 0 10 1 5 2 20 0 15 0 89386437 14409330688 215503 18446744073709551615 4194304 4196468 140729087809648 140013589588752 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2911] ppid=2855 vsize=14071612 CPUtime=0.19 cores=1,3,5,7
/proc/2858/task/2911/stat : 2911 (java) S 2855 2858 1460 0 -1 1077944384 1745 12472 0 0 10 2 5 2 20 0 15 0 89386437 14409330688 215503 18446744073709551615 4194304 4196468 140729087809648 140013588536464 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2912] ppid=2855 vsize=14071612 CPUtime=0.18 cores=1,3,5,7
/proc/2858/task/2912/stat : 2912 (java) S 2855 2858 1460 0 -1 1077944384 209 12472 0 0 9 2 5 2 20 0 15 0 89386437 14409330688 215503 18446744073709551615 4194304 4196468 140729087809648 140013587483664 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2913] ppid=2855 vsize=14071612 CPUtime=0.12 cores=1,3,5,7
/proc/2858/task/2913/stat : 2913 (java) S 2855 2858 1460 0 -1 1077944384 2661 12472 0 0 5 0 5 2 20 0 15 0 89386439 14409330688 215503 18446744073709551615 4194304 4196468 140729087809648 140013149837424 140013671238274 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2914] ppid=2855 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2914/stat : 2914 (java) S 2855 2858 1460 0 -1 1077944384 55 12472 0 0 0 0 5 2 20 0 15 0 89386439 14409330688 215503 18446744073709551615 4194304 4196468 140729087809648 140013148783456 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2915] ppid=2855 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2915/stat : 2915 (java) S 2855 2858 1460 0 -1 1077944384 44 12472 0 0 0 0 5 2 20 0 15 0 89386439 14409330688 215503 18446744073709551615 4194304 4196468 140729087809648 140013147731072 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2916] ppid=2855 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2916/stat : 2916 (java) S 2855 2858 1460 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 89386442 14409330688 215503 18446744073709551615 4194304 4196468 140729087809648 140013146679376 140013671245723 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0

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

/proc/2858/task/2920/stat : 2920 (java) S 2855 2858 1460 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 89386442 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013142469600 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2921] ppid=2855 vsize=14071612 CPUtime=1.62 cores=1,3,5,7
/proc/2858/task/2921/stat : 2921 (java) S 2855 2858 1460 0 -1 1077944384 1544 12472 0 0 70 85 5 2 20 0 15 0 89386447 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013141416368 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
Current children cumulated CPU time (s) 2435.45
Current children cumulated vsize (KiB) 14071612

[startup+2442.3 s]
/proc/loadavg: 1.70 1.54 1.47 3/217 3216
/proc/meminfo: memFree=25336660/32770624 swapFree=0/562424
[pid=2858] ppid=2855 vsize=14071612 CPUtime=2496.59 cores=1,3,5,7
/proc/2858/stat : 2858 (java) S 2855 2858 1460 0 -1 1077944320 313618 12472 0 0 249277 375 5 2 20 0 15 0 89386416 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140729087792192 140013671227127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
/proc/2858/statm: 3517903 333604 3483 1 0 3506517 0
[pid=2858/tid=2908] ppid=2855 vsize=14071612 CPUtime=2414.61 cores=1,3,5,7
/proc/2858/task/2908/stat : 2908 (java) R 2855 2858 1460 0 -1 4202560 119211 12472 0 0 241391 63 5 2 20 0 15 0 89386437 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013675461072 140013276649016 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2909] ppid=2855 vsize=14071612 CPUtime=14.73 cores=1,3,5,7
/proc/2858/task/2909/stat : 2909 (java) S 2855 2858 1460 0 -1 1077944384 18482 12472 0 0 1414 52 5 2 20 0 15 0 89386437 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013590641552 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2910] ppid=2855 vsize=14071612 CPUtime=14.7 cores=1,3,5,7
/proc/2858/task/2910/stat : 2910 (java) S 2855 2858 1460 0 -1 1077944384 31027 12472 0 0 1413 50 5 2 20 0 15 0 89386437 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013589588752 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2911] ppid=2855 vsize=14071612 CPUtime=14.74 cores=1,3,5,7
/proc/2858/task/2911/stat : 2911 (java) S 2855 2858 1460 0 -1 1077944384 34072 12472 0 0 1416 51 5 2 20 0 15 0 89386437 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013588536464 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2912] ppid=2855 vsize=14071612 CPUtime=14.69 cores=1,3,5,7
/proc/2858/task/2912/stat : 2912 (java) S 2855 2858 1460 0 -1 1077944384 18332 12472 0 0 1412 50 5 2 20 0 15 0 89386437 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013587483664 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2913] ppid=2855 vsize=14071612 CPUtime=9.89 cores=1,3,5,7
/proc/2858/task/2913/stat : 2913 (java) S 2855 2858 1460 0 -1 1077944384 23492 12472 0 0 927 55 5 2 20 0 15 0 89386439 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013149837424 140013671238274 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2914] ppid=2855 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2914/stat : 2914 (java) S 2855 2858 1460 0 -1 1077944384 55 12472 0 0 0 0 5 2 20 0 15 0 89386439 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013148783456 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2915] ppid=2855 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2915/stat : 2915 (java) S 2855 2858 1460 0 -1 1077944384 44 12472 0 0 0 0 5 2 20 0 15 0 89386439 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013147731072 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2916] ppid=2855 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2916/stat : 2916 (java) S 2855 2858 1460 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 89386442 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013146679376 140013671245723 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2917] ppid=2855 vsize=14071612 CPUtime=4.86 cores=1,3,5,7
/proc/2858/task/2917/stat : 2917 (java) S 2855 2858 1460 0 -1 1077944384 21732 12472 0 0 474 5 5 2 20 0 15 0 89386442 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013145627248 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2918] ppid=2855 vsize=14071612 CPUtime=4.84 cores=1,3,5,7
/proc/2858/task/2918/stat : 2918 (java) S 2855 2858 1460 0 -1 1077944384 20679 12472 0 0 474 3 5 2 20 0 15 0 89386442 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013144574448 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2919] ppid=2855 vsize=14071612 CPUtime=2.4 cores=1,3,5,7
/proc/2858/task/2919/stat : 2919 (java) S 2855 2858 1460 0 -1 1077944384 22755 12472 0 0 228 5 5 2 20 0 15 0 89386442 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013143522160 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2920] ppid=2855 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2920/stat : 2920 (java) S 2855 2858 1460 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 89386442 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013142469600 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2921] ppid=2855 vsize=14071612 CPUtime=1.64 cores=1,3,5,7
/proc/2858/task/2921/stat : 2921 (java) S 2855 2858 1460 0 -1 1077944384 1575 12472 0 0 71 86 5 2 20 0 15 0 89386447 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013141416368 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
Current children cumulated CPU time (s) 2496.59
Current children cumulated vsize (KiB) 14071612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2465.3 s]
/proc/loadavg: 1.67 1.55 1.48 3/217 3217
/proc/meminfo: memFree=25336796/32770624 swapFree=0/562452
[pid=2858] ppid=2855 vsize=14071612 CPUtime=2520.03 cores=1,3,5,7
/proc/2858/stat : 2858 (java) S 2855 2858 1460 0 -1 1077944320 314408 12472 0 0 251618 378 5 2 20 0 15 0 89386416 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140729087792192 140013671227127 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
/proc/2858/statm: 3517903 333604 3483 1 0 3506517 0
[pid=2858/tid=2908] ppid=2855 vsize=14071612 CPUtime=2437.34 cores=1,3,5,7
/proc/2858/task/2908/stat : 2908 (java) R 2855 2858 1460 0 -1 4202560 119602 12472 0 0 243664 63 5 2 20 0 15 0 89386437 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013675460944 140013286009916 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2909] ppid=2855 vsize=14071612 CPUtime=14.88 cores=1,3,5,7
/proc/2858/task/2909/stat : 2909 (java) S 2855 2858 1460 0 -1 1077944384 18518 12472 0 0 1428 53 5 2 20 0 15 0 89386437 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013590641552 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2910] ppid=2855 vsize=14071612 CPUtime=14.86 cores=1,3,5,7
/proc/2858/task/2910/stat : 2910 (java) S 2855 2858 1460 0 -1 1077944384 31063 12472 0 0 1428 51 5 2 20 0 15 0 89386437 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013589588752 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2911] ppid=2855 vsize=14071612 CPUtime=14.89 cores=1,3,5,7
/proc/2858/task/2911/stat : 2911 (java) S 2855 2858 1460 0 -1 1077944384 34365 12472 0 0 1430 52 5 2 20 0 15 0 89386437 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013588536464 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2912] ppid=2855 vsize=14071612 CPUtime=14.84 cores=1,3,5,7
/proc/2858/task/2912/stat : 2912 (java) S 2855 2858 1460 0 -1 1077944384 18356 12472 0 0 1426 51 5 2 20 0 15 0 89386437 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013587483664 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2913] ppid=2855 vsize=14071612 CPUtime=9.98 cores=1,3,5,7
/proc/2858/task/2913/stat : 2913 (java) S 2855 2858 1460 0 -1 1077944384 23502 12472 0 0 935 56 5 2 20 0 15 0 89386439 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013149837424 140013671238274 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2914] ppid=2855 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2914/stat : 2914 (java) S 2855 2858 1460 0 -1 1077944384 55 12472 0 0 0 0 5 2 20 0 15 0 89386439 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013148783456 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2915] ppid=2855 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2915/stat : 2915 (java) S 2855 2858 1460 0 -1 1077944384 44 12472 0 0 0 0 5 2 20 0 15 0 89386439 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013147731072 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2916] ppid=2855 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2916/stat : 2916 (java) S 2855 2858 1460 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 89386442 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013146679376 140013671245723 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2917] ppid=2855 vsize=14071612 CPUtime=4.86 cores=1,3,5,7
/proc/2858/task/2917/stat : 2917 (java) S 2855 2858 1460 0 -1 1077944384 21732 12472 0 0 474 5 5 2 20 0 15 0 89386442 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013145627248 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2918] ppid=2855 vsize=14071612 CPUtime=4.84 cores=1,3,5,7
/proc/2858/task/2918/stat : 2918 (java) S 2855 2858 1460 0 -1 1077944384 20679 12472 0 0 474 3 5 2 20 0 15 0 89386442 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013144574448 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2919] ppid=2855 vsize=14071612 CPUtime=2.41 cores=1,3,5,7
/proc/2858/task/2919/stat : 2919 (java) S 2855 2858 1460 0 -1 1077944384 22755 12472 0 0 229 5 5 2 20 0 15 0 89386442 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013143522160 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2920] ppid=2855 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2920/stat : 2920 (java) S 2855 2858 1460 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 15 0 89386442 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013142469600 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2921] ppid=2855 vsize=14071612 CPUtime=1.66 cores=1,3,5,7
/proc/2858/task/2921/stat : 2921 (java) S 2855 2858 1460 0 -1 1077944384 1575 12472 0 0 72 87 5 2 20 0 15 0 89386447 14409330688 333604 18446744073709551615 4194304 4196468 140729087809648 140013141416368 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
Current children cumulated CPU time (s) 2520.03
Current children cumulated vsize (KiB) 14071612

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

[startup+2465.41 s]
/proc/loadavg: 1.67 1.55 1.48 3/217 3217
/proc/meminfo: memFree=25336796/32770624 swapFree=0/562452
[pid=2858] ppid=2855 vsize=14204740 CPUtime=2520.35 cores=1,3,5,7
/proc/2858/stat : 2858 (java) S 2855 2858 1460 0 -1 1077944320 320351 12472 0 0 251650 378 5 2 20 0 17 0 89386416 14545653760 335327 18446744073709551615 4194304 4196468 140729087809648 140729087792192 140013671227127 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
/proc/2858/statm: 3551185 335327 3483 1 0 3539799 0
[pid=2858/tid=2908] ppid=2855 vsize=14204740 CPUtime=2437.35 cores=1,3,5,7
/proc/2858/task/2908/stat : 2908 (java) S 2855 2858 1460 0 -1 1077944384 119886 12472 0 0 243665 63 5 2 20 0 17 0 89386437 14545653760 335327 18446744073709551615 4194304 4196468 140729087809648 140013675464912 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2909] ppid=2855 vsize=14204740 CPUtime=14.96 cores=1,3,5,7
/proc/2858/task/2909/stat : 2909 (java) S 2855 2858 1460 0 -1 1077944384 18547 12472 0 0 1436 53 5 2 20 0 17 0 89386437 14545653760 335327 18446744073709551615 4194304 4196468 140729087809648 140013590641552 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2910] ppid=2855 vsize=14204740 CPUtime=14.93 cores=1,3,5,7
/proc/2858/task/2910/stat : 2910 (java) S 2855 2858 1460 0 -1 1077944384 31095 12472 0 0 1435 51 5 2 20 0 17 0 89386437 14545653760 335327 18446744073709551615 4194304 4196468 140729087809648 140013589588752 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2911] ppid=2855 vsize=14204740 CPUtime=14.96 cores=1,3,5,7
/proc/2858/task/2911/stat : 2911 (java) S 2855 2858 1460 0 -1 1077944384 34436 12472 0 0 1437 52 5 2 20 0 17 0 89386437 14545653760 335327 18446744073709551615 4194304 4196468 140729087809648 140013588536464 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2912] ppid=2855 vsize=14204740 CPUtime=14.91 cores=1,3,5,7
/proc/2858/task/2912/stat : 2912 (java) R 2855 2858 1460 0 -1 1077944384 18407 12472 0 0 1433 51 5 2 20 0 17 0 89386437 14545653760 335327 18446744073709551615 4194304 4196468 140729087809648 140013587483680 140013671237333 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2913] ppid=2855 vsize=14204740 CPUtime=10.01 cores=1,3,5,7
/proc/2858/task/2913/stat : 2913 (java) S 2855 2858 1460 0 -1 1077944384 28783 12472 0 0 938 56 5 2 20 0 17 0 89386439 14545653760 335327 18446744073709551615 4194304 4196468 140729087809648 140013149836048 140013671237333 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2914] ppid=2855 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2914/stat : 2914 (java) S 2855 2858 1460 0 -1 1077944384 55 12472 0 0 0 0 5 2 20 0 17 0 89386439 14545653760 335327 18446744073709551615 4194304 4196468 140729087809648 140013148783456 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2915] ppid=2855 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2915/stat : 2915 (java) S 2855 2858 1460 0 -1 1077944384 44 12472 0 0 0 0 5 2 20 0 17 0 89386439 14545653760 335327 18446744073709551615 4194304 4196468 140729087809648 140013147731072 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2916] ppid=2855 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2916/stat : 2916 (java) S 2855 2858 1460 0 -1 1077944384 81 12472 0 0 0 0 5 2 20 0 17 0 89386442 14545653760 335327 18446744073709551615 4194304 4196468 140729087809648 140013146679376 140013671245723 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2917] ppid=2855 vsize=14204740 CPUtime=4.86 cores=1,3,5,7
/proc/2858/task/2917/stat : 2917 (java) S 2855 2858 1460 0 -1 1077944384 21732 12472 0 0 474 5 5 2 20 0 17 0 89386442 14545653760 335327 18446744073709551615 4194304 4196468 140729087809648 140013145627248 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2918] ppid=2855 vsize=14204740 CPUtime=4.84 cores=1,3,5,7
/proc/2858/task/2918/stat : 2918 (java) S 2855 2858 1460 0 -1 1077944384 20679 12472 0 0 474 3 5 2 20 0 17 0 89386442 14545653760 335327 18446744073709551615 4194304 4196468 140729087809648 140013144574448 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2919] ppid=2855 vsize=14204740 CPUtime=2.41 cores=1,3,5,7
/proc/2858/task/2919/stat : 2919 (java) S 2855 2858 1460 0 -1 1077944384 22755 12472 0 0 229 5 5 2 20 0 17 0 89386442 14545653760 335327 18446744073709551615 4194304 4196468 140729087809648 140013143522160 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2920] ppid=2855 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2920/stat : 2920 (java) S 2855 2858 1460 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 17 0 89386442 14545653760 335327 18446744073709551615 4194304 4196468 140729087809648 140013142469600 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2921] ppid=2855 vsize=14204740 CPUtime=1.66 cores=1,3,5,7
/proc/2858/task/2921/stat : 2921 (java) S 2855 2858 1460 0 -1 1077944384 1575 12472 0 0 72 87 5 2 20 0 17 0 89386447 14545653760 335327 18446744073709551615 4194304 4196468 140729087809648 140013141416368 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
Current children cumulated CPU time (s) 2520.35
Current children cumulated vsize (KiB) 14204740

[startup+2465.5 s]
/proc/loadavg: 1.67 1.55 1.48 3/217 3217
/proc/meminfo: memFree=25336796/32770624 swapFree=0/562452
[pid=2858] ppid=2855 vsize=14204740 CPUtime=2520.57 cores=1,3,5,7
/proc/2858/stat : 2858 (java) S 2855 2858 1460 0 -1 1077944320 320672 12472 0 0 251671 379 5 2 20 0 17 0 89386416 14545653760 335476 18446744073709551615 4194304 4196468 140729087809648 140729087792192 140013671227127 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
/proc/2858/statm: 3551185 335476 3483 1 0 3539799 0
[pid=2858/tid=2908] ppid=2855 vsize=14204740 CPUtime=2437.35 cores=1,3,5,7
/proc/2858/task/2908/stat : 2908 (java) S 2855 2858 1460 0 -1 1077944384 119886 12472 0 0 243665 63 5 2 20 0 17 0 89386437 14545653760 335476 18446744073709551615 4194304 4196468 140729087809648 140013675464912 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2909] ppid=2855 vsize=14204740 CPUtime=15 cores=1,3,5,7
/proc/2858/task/2909/stat : 2909 (java) S 2855 2858 1460 0 -1 1077944384 18548 12472 0 0 1440 53 5 2 20 0 17 0 89386437 14545653760 335476 18446744073709551615 4194304 4196468 140729087809648 140013590641552 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2910] ppid=2855 vsize=14204740 CPUtime=14.97 cores=1,3,5,7
/proc/2858/task/2910/stat : 2910 (java) S 2855 2858 1460 0 -1 1077944384 31095 12472 0 0 1439 51 5 2 20 0 17 0 89386437 14545653760 335476 18446744073709551615 4194304 4196468 140729087809648 140013589588752 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2911] ppid=2855 vsize=14204740 CPUtime=15 cores=1,3,5,7
/proc/2858/task/2911/stat : 2911 (java) S 2855 2858 1460 0 -1 1077944384 34436 12472 0 0 1441 52 5 2 20 0 17 0 89386437 14545653760 335476 18446744073709551615 4194304 4196468 140729087809648 140013588536464 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2912] ppid=2855 vsize=14204740 CPUtime=14.95 cores=1,3,5,7
/proc/2858/task/2912/stat : 2912 (java) S 2855 2858 1460 0 -1 1077944384 18407 12472 0 0 1437 51 5 2 20 0 17 0 89386437 14545653760 335476 18446744073709551615 4194304 4196468 140729087809648 140013587483664 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2913] ppid=2855 vsize=14204740 CPUtime=10.06 cores=1,3,5,7
/proc/2858/task/2913/stat : 2913 (java) R 2855 2858 1460 0 -1 4202560 29099 12472 0 0 943 56 5 2 20 0 17 0 89386439 14545653760 335476 18446744073709551615 4194304 4196468 140729087809648 140013149835824 140013655581807 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2914] ppid=2855 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2914/stat : 2914 (java) S 2855 2858 1460 0 -1 1077944384 58 12472 0 0 0 0 5 2 20 0 17 0 89386439 14545653760 335476 18446744073709551615 4194304 4196468 140729087809648 140013148782960 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2915] ppid=2855 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2915/stat : 2915 (java) S 2855 2858 1460 0 -1 1077944384 44 12472 0 0 0 0 5 2 20 0 17 0 89386439 14545653760 335476 18446744073709551615 4194304 4196468 140729087809648 140013147731072 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2916] ppid=2855 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2916/stat : 2916 (java) S 2855 2858 1460 0 -1 1077944384 81 12472 0 0 0 0 5 2 20 0 17 0 89386442 14545653760 335476 18446744073709551615 4194304 4196468 140729087809648 140013146679376 140013671245723 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2917] ppid=2855 vsize=14204740 CPUtime=4.86 cores=1,3,5,7
/proc/2858/task/2917/stat : 2917 (java) S 2855 2858 1460 0 -1 1077944384 21732 12472 0 0 474 5 5 2 20 0 17 0 89386442 14545653760 335476 18446744073709551615 4194304 4196468 140729087809648 140013145627248 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2918] ppid=2855 vsize=14204740 CPUtime=4.84 cores=1,3,5,7
/proc/2858/task/2918/stat : 2918 (java) S 2855 2858 1460 0 -1 1077944384 20679 12472 0 0 474 3 5 2 20 0 17 0 89386442 14545653760 335476 18446744073709551615 4194304 4196468 140729087809648 140013144574448 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2919] ppid=2855 vsize=14204740 CPUtime=2.41 cores=1,3,5,7
/proc/2858/task/2919/stat : 2919 (java) S 2855 2858 1460 0 -1 1077944384 22755 12472 0 0 229 5 5 2 20 0 17 0 89386442 14545653760 335476 18446744073709551615 4194304 4196468 140729087809648 140013143522160 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2920] ppid=2855 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/2858/task/2920/stat : 2920 (java) S 2855 2858 1460 0 -1 1077944384 3 12472 0 0 0 0 5 2 20 0 17 0 89386442 14545653760 335476 18446744073709551615 4194304 4196468 140729087809648 140013142469600 140013671237333 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
[pid=2858/tid=2921] ppid=2855 vsize=14204740 CPUtime=1.66 cores=1,3,5,7
/proc/2858/task/2921/stat : 2921 (java) S 2855 2858 1460 0 -1 1077944384 1575 12472 0 0 72 87 5 2 20 0 17 0 89386447 14545653760 335476 18446744073709551615 4194304 4196468 140729087809648 140013141416368 140013671238274 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15212544 140729087817680 140729087820465 140729087820465 140729087823823 0
Current children cumulated CPU time (s) 2520.57
Current children cumulated vsize (KiB) 14204740

Child status: 143
Real time (s): 2465.56
CPU time (s): 2520.71
CPU user time (s): 2516.88
CPU system time (s): 3.82596
CPU usage (%): 102.237
Max. virtual memory (cumulated for all children) (KiB): 14204740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.88
system time used= 3.82596
maximum resident set size= 1450828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333253
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 263336
involuntary context switches= 8321

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7002 second user time and 13.1477 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-11 04:19:25
IDJOB=4262783
IDBENCH=115854
IDSOLVER=2650
FILE ID=node134/4262783-1502418801
RUNJOBID= node134-1502411438-1524
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-10-10-2.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262783-1502418801/watcher-4262783-1502418801 -o /tmp/evaluation-result-4262783-1502418801/solver-4262783-1502418801 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502411438-1524 --watchdog 2580  bin/concrete HOME/instance-4262783-1502418801.xml

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

MD5SUM BENCH= b5461c8e5264bee8206ce4144564b5f2
RANDOM SEED=776233470

node134.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.43
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.43
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.43
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.43
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:        29913668 kB
MemAvailable:   30869308 kB
Buffers:          278532 kB
Cached:           971428 kB
SwapCached:            0 kB
Active:          1826040 kB
Inactive:         593140 kB
Active(anon):    1171728 kB
Inactive(anon):    31216 kB
Active(file):     654312 kB
Inactive(file):   561924 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24476 kB
Writeback:             4 kB
AnonPages:       1169340 kB
Mapped:            63188 kB
Shmem:             33468 kB
Slab:             136852 kB
SReclaimable:     110480 kB
SUnreclaim:        26372 kB
KernelStack:        3456 kB
PageTables:         7444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2052976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    933888 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61984 MiB
End job on node134 at 2017-08-11 05:00:31