Trace number 4262660

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete 3.4? (TO) 2521.8 2476.0701

General information on the benchmark

NameSportsScheduling/SportsScheduling-m1-s1/
SportsScheduling-28.xml
MD5SUMec4845efd826c884e0cb314c730a074b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1162
Number of constraints490
Number of domains2
Minimum domain size28
Maximum domain size378
Distribution of domain sizes[{"size":28,"count":784},{"size":378,"count":378}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":392},{"degree":4,"count":770}]
Minimum constraint arity1
Maximum constraint arity378
Distribution of constraint arities[{"arity":1,"count":14},{"arity":2,"count":14},{"arity":3,"count":378},{"arity":14,"count":27},{"arity":28,"count":28},{"arity":54,"count":14},{"arity":56,"count":14},{"arity":378,"count":1}]
Number of extensional constraints378
Number of intensional constraints28
Distribution of constraint types[{"type":"extension","count":378},{"type":"intension","count":28},{"type":"allDifferent","count":29},{"type":"count","count":27},{"type":"cardinality","count":28}]
Optimization problemNO
Type of objective

Solver Data 

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.75 1.73 1.75 2/199 26843
/proc/meminfo: memFree=28648152/32770624 swapFree=0/466688
[pid=26843] ppid=26840 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/26843/stat : 26843 (runsolver) D 26840 26843 13007 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 88213434 24240128 108 18446744073709551615 4194304 4338465 140734209859488 140734209857128 140262210151127 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 23113728 140734209867984 140734209868361 140734209868361 140734209871818 0
/proc/26843/statm: 5918 108 54 36 0 2156 0

[startup+0.102817 s]
/proc/loadavg: 1.75 1.73 1.75 2/199 26843
/proc/meminfo: memFree=28648152/32770624 swapFree=0/466688
[pid=26843] ppid=26840 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/26843/stat : 26843 (bash) S 26840 26843 13007 0 -1 4202496 891 6489 0 0 0 0 0 1 20 0 1 0 88213434 9867264 377 18446744073709551615 4194304 5098028 140731289587712 140731289581720 139851811937280 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 5 0 0 7196144 7232144 24281088 140731289592340 140731289592425 140731289592425 140731289595882 0
/proc/26843/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200232 s]
/proc/loadavg: 1.75 1.73 1.75 2/199 26843
/proc/meminfo: memFree=28648152/32770624 swapFree=0/466688
[pid=26843] ppid=26840 vsize=13358716 CPUtime=0.08 cores=0,2,4,6
/proc/26843/stat : 26843 (java) S 26840 26843 13007 0 -1 1077944320 4162 12656 0 0 0 0 5 3 20 0 6 0 88213434 13679325184 3462 18446744073709551615 4194304 4196468 140732624430528 140732624413072 139978932846327 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
/proc/26843/statm: 3339679 3462 1867 1 0 3329176 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13358716

[startup+0.300279 s]
/proc/loadavg: 1.75 1.73 1.75 2/199 26843
/proc/meminfo: memFree=28648152/32770624 swapFree=0/466688
[pid=26843] ppid=26840 vsize=13973872 CPUtime=0.15 cores=0,2,4,6
/proc/26843/stat : 26843 (java) S 26840 26843 13007 0 -1 1077944320 6006 12656 0 0 6 1 5 3 20 0 15 0 88213434 14309244928 6080 18446744073709551615 4194304 4196468 140732624430528 140732624413072 139978932846327 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
/proc/26843/statm: 3493468 6080 2622 1 0 3482965 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 13973872

[startup+0.700209 s]
/proc/loadavg: 1.75 1.73 1.75 2/199 26843
/proc/meminfo: memFree=28648152/32770624 swapFree=0/466688
[pid=26843] ppid=26840 vsize=13974784 CPUtime=0.71 cores=0,2,4,6
/proc/26843/stat : 26843 (java) S 26840 26843 13007 0 -1 1077944320 13934 12656 0 0 59 4 5 3 20 0 15 0 88213434 14310178816 14842 18446744073709551615 4194304 4196468 140732624430528 140732624413072 139978932846327 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
/proc/26843/statm: 3493696 14842 3098 1 0 3482965 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 13974784

[startup+1.50403 s]
/proc/loadavg: 1.75 1.73 1.75 4/214 26906
/proc/meminfo: memFree=28559068/32770624 swapFree=0/466664
[pid=26843] ppid=26840 vsize=13985408 CPUtime=1.92 cores=0,2,4,6
/proc/26843/stat : 26843 (java) S 26840 26843 13007 0 -1 1077944320 29570 12656 0 0 173 11 5 3 20 0 15 0 88213434 14321057792 42726 18446744073709551615 4194304 4196468 140732624430528 140732624413072 139978932846327 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
/proc/26843/statm: 3496352 42726 3367 1 0 3485525 0
[pid=26843/tid=26893] ppid=26840 vsize=13985408 CPUtime=1.3 cores=0,2,4,6
/proc/26843/task/26893/stat : 26893 (java) S 26840 26843 13007 0 -1 1077944384 22349 12656 0 0 115 7 5 3 20 0 15 0 88213453 14321057792 42726 18446744073709551615 4194304 4196468 140732624430528 139978937068384 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26894] ppid=26840 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26894/stat : 26894 (java) S 26840 26843 13007 0 -1 1077944384 53 12656 0 0 0 0 5 3 20 0 15 0 88213453 14321057792 42726 18446744073709551615 4194304 4196468 140732624430528 139978533432080 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26895] ppid=26840 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26895/stat : 26895 (java) S 26840 26843 13007 0 -1 1077944384 190 12656 0 0 0 0 5 3 20 0 15 0 88213453 14321057792 42726 18446744073709551615 4194304 4196468 140732624430528 139978532379552 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26896] ppid=26840 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/26843/task/26896/stat : 26896 (java) R 26840 26843 13007 0 -1 4202560 50 12656 0 0 1 0 5 3 20 0 15 0 88213453 14321057792 42726 18446744073709551615 4194304 4196468 140732624430528 139978531327112 139978925474535 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26897] ppid=26840 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26897/stat : 26897 (java) S 26840 26843 13007 0 -1 1077944384 63 12656 0 0 0 0 5 3 20 0 15 0 88213453 14321057792 42726 18446744073709551615 4194304 4196468 140732624430528 139978530274448 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26898] ppid=26840 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/26843/task/26898/stat : 26898 (java) S 26840 26843 13007 0 -1 1077944384 1469 12656 0 0 1 0 5 3 20 0 15 0 88213455 14321057792 42726 18446744073709551615 4194304 4196468 140732624430528 139978411430432 139978932856533 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26899] ppid=26840 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26899/stat : 26899 (java) S 26840 26843 13007 0 -1 1077944384 33 12656 0 0 0 0 5 3 20 0 15 0 88213455 14321057792 42726 18446744073709551615 4194304 4196468 140732624430528 139978410378144 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26900] ppid=26840 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26900/stat : 26900 (java) S 26840 26843 13007 0 -1 1077944384 21 12656 0 0 0 0 5 3 20 0 15 0 88213455 14321057792 42726 18446744073709551615 4194304 4196468 140732624430528 139978409325552 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26901] ppid=26840 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26901/stat : 26901 (java) S 26840 26843 13007 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 88213458 14321057792 42726 18446744073709551615 4194304 4196468 140732624430528 139978408274128 139978932864923 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26902] ppid=26840 vsize=13985408 CPUtime=0.19 cores=0,2,4,6
/proc/26843/task/26902/stat : 26902 (java) S 26840 26843 13007 0 -1 1077944384 849 12656 0 0 11 0 5 3 20 0 15 0 88213458 14321057792 42726 18446744073709551615 4194304 4196468 140732624430528 139978407221744 139978932857474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26903] ppid=26840 vsize=13985408 CPUtime=0.25 cores=0,2,4,6
/proc/26843/task/26903/stat : 26903 (java) S 26840 26843 13007 0 -1 1077944384 967 12656 0 0 17 0 5 3 20 0 15 0 88213458 14321057792 42726 18446744073709551615 4194304 4196468 140732624430528 139978406169200 139978932857474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26904] ppid=26840 vsize=13985408 CPUtime=0.31 cores=0,2,4,6
/proc/26843/task/26904/stat : 26904 (java) S 26840 26843 13007 0 -1 1077944384 1359 12656 0 0 23 0 5 3 20 0 15 0 88213458 14321057792 42726 18446744073709551615 4194304 4196468 140732624430528 139978405114032 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26905] ppid=26840 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26905/stat : 26905 (java) S 26840 26843 13007 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 88213458 14321057792 42726 18446744073709551615 4194304 4196468 140732624430528 139978404064352 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26906] ppid=26840 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26906/stat : 26906 (java) S 26840 26843 13007 0 -1 1077944384 10 12656 0 0 0 0 5 3 20 0 15 0 88213463 14321057792 42726 18446744073709551615 4194304 4196468 140732624430528 139978403010864 139978932857474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 13985408

[startup+3.10357 s]
/proc/loadavg: 2.01 1.78 1.77 4/214 26906
/proc/meminfo: memFree=28487888/32770624 swapFree=0/466664
[pid=26843] ppid=26840 vsize=13997884 CPUtime=5.64 cores=0,2,4,6
/proc/26843/stat : 26843 (java) S 26840 26843 13007 0 -1 1077944320 49486 12656 0 0 540 16 5 3 20 0 15 0 88213434 14333833216 54014 18446744073709551615 4194304 4196468 140732624430528 140732624413072 139978932846327 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
/proc/26843/statm: 3499471 54014 3445 1 0 3488085 0
[pid=26843/tid=26893] ppid=26840 vsize=13997884 CPUtime=2.88 cores=0,2,4,6
/proc/26843/task/26893/stat : 26893 (java) R 26840 26843 13007 0 -1 4202560 35270 12656 0 0 271 9 5 3 20 0 15 0 88213453 14333833216 54014 18446744073709551615 4194304 4196468 140732624430528 139978937078944 139978913072318 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26894] ppid=26840 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26894/stat : 26894 (java) S 26840 26843 13007 0 -1 1077944384 53 12656 0 0 0 0 5 3 20 0 15 0 88213453 14333833216 54014 18446744073709551615 4194304 4196468 140732624430528 139978533432080 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26895] ppid=26840 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26895/stat : 26895 (java) S 26840 26843 13007 0 -1 1077944384 190 12656 0 0 0 0 5 3 20 0 15 0 88213453 14333833216 54014 18446744073709551615 4194304 4196468 140732624430528 139978532379536 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26896] ppid=26840 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/26843/task/26896/stat : 26896 (java) S 26840 26843 13007 0 -1 1077944384 50 12656 0 0 1 0 5 3 20 0 15 0 88213453 14333833216 54014 18446744073709551615 4194304 4196468 140732624430528 139978531326992 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26897] ppid=26840 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26897/stat : 26897 (java) S 26840 26843 13007 0 -1 1077944384 63 12656 0 0 0 0 5 3 20 0 15 0 88213453 14333833216 54014 18446744073709551615 4194304 4196468 140732624430528 139978530274448 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26898] ppid=26840 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/26843/task/26898/stat : 26898 (java) S 26840 26843 13007 0 -1 1077944384 1668 12656 0 0 1 0 5 3 20 0 15 0 88213455 14333833216 54014 18446744073709551615 4194304 4196468 140732624430528 139978411431920 139978932857474 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26899] ppid=26840 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26899/stat : 26899 (java) S 26840 26843 13007 0 -1 1077944384 54 12656 0 0 0 0 5 3 20 0 15 0 88213455 14333833216 54014 18446744073709551615 4194304 4196468 140732624430528 139978410378208 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26900] ppid=26840 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26900/stat : 26900 (java) S 26840 26843 13007 0 -1 1077944384 43 12656 0 0 0 0 5 3 20 0 15 0 88213455 14333833216 54014 18446744073709551615 4194304 4196468 140732624430528 139978409325568 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26901] ppid=26840 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26901/stat : 26901 (java) S 26840 26843 13007 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 88213458 14333833216 54014 18446744073709551615 4194304 4196468 140732624430528 139978408274128 139978932864923 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26902] ppid=26840 vsize=13997884 CPUtime=0.8 cores=0,2,4,6
/proc/26843/task/26902/stat : 26902 (java) R 26840 26843 13007 0 -1 4202560 2195 12656 0 0 72 0 5 3 20 0 15 0 88213458 14333833216 54014 18446744073709551615 4194304 4196468 140732624430528 139978407211856 139978932858262 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26903] ppid=26840 vsize=13997884 CPUtime=1.02 cores=0,2,4,6
/proc/26843/task/26903/stat : 26903 (java) R 26840 26843 13007 0 -1 1077944384 4081 12656 0 0 93 1 5 3 20 0 15 0 88213458 14333833216 54014 18446744073709551615 4194304 4196468 140732624430528 139978406150672 139978932856533 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26904] ppid=26840 vsize=13997884 CPUtime=1.07 cores=0,2,4,6
/proc/26843/task/26904/stat : 26904 (java) R 26840 26843 13007 0 -1 1077944384 3651 12656 0 0 97 2 5 3 20 0 15 0 88213458 14333833216 54014 18446744073709551615 4194304 4196468 140732624430528 139978405116656 139978932857474 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26905] ppid=26840 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26905/stat : 26905 (java) S 26840 26843 13007 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 88213458 14333833216 54014 18446744073709551615 4194304 4196468 140732624430528 139978404064352 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26906] ppid=26840 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26906/stat : 26906 (java) S 26840 26843 13007 0 -1 1077944384 11 12656 0 0 0 0 5 3 20 0 15 0 88213463 14333833216 54014 18446744073709551615 4194304 4196468 140732624430528 139978403010864 139978932857474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
Current children cumulated CPU time (s) 5.64
Current children cumulated vsize (KiB) 13997884

[startup+6.30873 s]
/proc/loadavg: 2.01 1.78 1.77 5/214 26906
/proc/meminfo: memFree=28309412/32770624 swapFree=0/466656
[pid=26843] ppid=26840 vsize=14001980 CPUtime=15.11 cores=0,2,4,6
/proc/26843/stat : 26843 (java) S 26840 26843 13007 0 -1 1077944320 72323 12656 0 0 1475 28 5 3 20 0 15 0 88213434 14338027520 117896 18446744073709551615 4194304 4196468 140732624430528 140732624413072 139978932846327 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
/proc/26843/statm: 3500495 117896 3470 1 0 3489109 0
[pid=26843/tid=26893] ppid=26840 vsize=14001980 CPUtime=5.96 cores=0,2,4,6
/proc/26843/task/26893/stat : 26893 (java) R 26840 26843 13007 0 -1 4202560 40262 12656 0 0 575 13 5 3 20 0 15 0 88213453 14338027520 117896 18446744073709551615 4194304 4196468 140732624430528 139978937073968 139978588039787 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26894] ppid=26840 vsize=14001980 CPUtime=0.14 cores=0,2,4,6
/proc/26843/task/26894/stat : 26894 (java) S 26840 26843 13007 0 -1 1077944384 516 12656 0 0 5 1 5 3 20 0 15 0 88213453 14338027520 117896 18446744073709551615 4194304 4196468 140732624430528 139978533432080 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26895] ppid=26840 vsize=14001980 CPUtime=0.15 cores=0,2,4,6
/proc/26843/task/26895/stat : 26895 (java) S 26840 26843 13007 0 -1 1077944384 716 12656 0 0 6 1 5 3 20 0 15 0 88213453 14338027520 117896 18446744073709551615 4194304 4196468 140732624430528 139978532379536 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26896] ppid=26840 vsize=14001980 CPUtime=0.15 cores=0,2,4,6
/proc/26843/task/26896/stat : 26896 (java) S 26840 26843 13007 0 -1 1077944384 108 12656 0 0 6 1 5 3 20 0 15 0 88213453 14338027520 117896 18446744073709551615 4194304 4196468 140732624430528 139978531326992 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26897] ppid=26840 vsize=14001980 CPUtime=0.17 cores=0,2,4,6
/proc/26843/task/26897/stat : 26897 (java) S 26840 26843 13007 0 -1 1077944384 257 12656 0 0 8 1 5 3 20 0 15 0 88213453 14338027520 117896 18446744073709551615 4194304 4196468 140732624430528 139978530274448 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26898] ppid=26840 vsize=14001980 CPUtime=0.12 cores=0,2,4,6
/proc/26843/task/26898/stat : 26898 (java) S 26840 26843 13007 0 -1 1077944384 2750 12656 0 0 4 0 5 3 20 0 15 0 88213455 14338027520 117896 18446744073709551615 4194304 4196468 140732624430528 139978411431920 139978932857474 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26899] ppid=26840 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26899/stat : 26899 (java) S 26840 26843 13007 0 -1 1077944384 55 12656 0 0 0 0 5 3 20 0 15 0 88213455 14338027520 117896 18446744073709551615 4194304 4196468 140732624430528 139978410378208 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26900] ppid=26840 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26900/stat : 26900 (java) S 26840 26843 13007 0 -1 1077944384 43 12656 0 0 0 0 5 3 20 0 15 0 88213455 14338027520 117896 18446744073709551615 4194304 4196468 140732624430528 139978409325568 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26901] ppid=26840 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26901/stat : 26901 (java) S 26840 26843 13007 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 88213458 14338027520 117896 18446744073709551615 4194304 4196468 140732624430528 139978408274128 139978932864923 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26902] ppid=26840 vsize=14001980 CPUtime=3.49 cores=0,2,4,6
/proc/26843/task/26902/stat : 26902 (java) R 26840 26843 13007 0 -1 1077944384 7717 12656 0 0 340 1 5 3 20 0 15 0 88213458 14338027520 117896 18446744073709551615 4194304 4196468 140732624430528 139978407211536 139978932856533 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26903] ppid=26840 vsize=14001980 CPUtime=3.67 cores=0,2,4,6
/proc/26843/task/26903/stat : 26903 (java) R 26840 26843 13007 0 -1 4202560 10492 12656 0 0 356 3 5 3 20 0 15 0 88213458 14338027520 117896 18446744073709551615 4194304 4196468 140732624430528 139978406169200 139978914369220 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26904] ppid=26840 vsize=14001980 CPUtime=1.81 cores=0,2,4,6
/proc/26843/task/26904/stat : 26904 (java) R 26840 26843 13007 0 -1 4202560 7143 12656 0 0 170 3 5 3 20 0 15 0 88213458 14338027520 117896 18446744073709551615 4194304 4196468 140732624430528 139978405114448 139978911644957 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26905] ppid=26840 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26905/stat : 26905 (java) S 26840 26843 13007 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 88213458 14338027520 117896 18446744073709551615 4194304 4196468 140732624430528 139978404064352 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26906] ppid=26840 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26906/stat : 26906 (java) S 26840 26843 13007 0 -1 1077944384 107 12656 0 0 0 0 5 3 20 0 15 0 88213463 14338027520 117896 18446744073709551615 4194304 4196468 140732624430528 139978403010864 139978932857474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
Current children cumulated CPU time (s) 15.11
Current children cumulated vsize (KiB) 14001980

[startup+12.7008 s]
/proc/loadavg: 2.01 1.79 1.77 3/214 26906
/proc/meminfo: memFree=27784744/32770624 swapFree=0/466648
[pid=26843] ppid=26840 vsize=14071612 CPUtime=28.84 cores=0,2,4,6
/proc/26843/stat : 26843 (java) S 26840 26843 13007 0 -1 1077944320 100978 12656 0 0 2820 56 5 3 20 0 15 0 88213434 14409330688 251578 18446744073709551615 4194304 4196468 140732624430528 140732624413072 139978932846327 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
/proc/26843/statm: 3517903 251578 3479 1 0 3506517 0
[pid=26843/tid=26893] ppid=26840 vsize=14071612 CPUtime=12.17 cores=0,2,4,6
/proc/26843/task/26893/stat : 26893 (java) R 26840 26843 13007 0 -1 4202560 55844 12656 0 0 1190 19 5 3 20 0 15 0 88213453 14409330688 251578 18446744073709551615 4194304 4196468 140732624430528 139978937073408 139978582189581 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26894] ppid=26840 vsize=14071612 CPUtime=0.3 cores=0,2,4,6
/proc/26843/task/26894/stat : 26894 (java) S 26840 26843 13007 0 -1 1077944384 707 12656 0 0 16 6 5 3 20 0 15 0 88213453 14409330688 251578 18446744073709551615 4194304 4196468 140732624430528 139978533432080 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26895] ppid=26840 vsize=14071612 CPUtime=0.3 cores=0,2,4,6
/proc/26843/task/26895/stat : 26895 (java) S 26840 26843 13007 0 -1 1077944384 907 12656 0 0 17 5 5 3 20 0 15 0 88213453 14409330688 251578 18446744073709551615 4194304 4196468 140732624430528 139978532379536 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26896] ppid=26840 vsize=14071612 CPUtime=0.3 cores=0,2,4,6
/proc/26843/task/26896/stat : 26896 (java) S 26840 26843 13007 0 -1 1077944384 1081 12656 0 0 17 5 5 3 20 0 15 0 88213453 14409330688 251578 18446744073709551615 4194304 4196468 140732624430528 139978531326992 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26897] ppid=26840 vsize=14071612 CPUtime=0.31 cores=0,2,4,6
/proc/26843/task/26897/stat : 26897 (java) S 26840 26843 13007 0 -1 1077944384 511 12656 0 0 18 5 5 3 20 0 15 0 88213453 14409330688 252090 18446744073709551615 4194304 4196468 140732624430528 139978530274448 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26898] ppid=26840 vsize=14071612 CPUtime=0.13 cores=0,2,4,6
/proc/26843/task/26898/stat : 26898 (java) S 26840 26843 13007 0 -1 1077944384 2959 12656 0 0 5 0 5 3 20 0 15 0 88213455 14409330688 252090 18446744073709551615 4194304 4196468 140732624430528 139978411431920 139978932857474 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26899] ppid=26840 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26899/stat : 26899 (java) S 26840 26843 13007 0 -1 1077944384 59 12656 0 0 0 0 5 3 20 0 15 0 88213455 14409330688 252090 18446744073709551615 4194304 4196468 140732624430528 139978410378208 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26900] ppid=26840 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26900/stat : 26900 (java) S 26840 26843 13007 0 -1 1077944384 47 12656 0 0 0 0 5 3 20 0 15 0 88213455 14409330688 252090 18446744073709551615 4194304 4196468 140732624430528 139978409325568 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26901] ppid=26840 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26901/stat : 26901 (java) S 26840 26843 13007 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 88213458 14409330688 252090 18446744073709551615 4194304 4196468 140732624430528 139978408274128 139978932864923 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0

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

/proc/26843/task/26905/stat : 26905 (java) S 26840 26843 13007 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 88213458 14409330688 1024636 18446744073709551615 4194304 4196468 140732624430528 139978404064352 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26906] ppid=26840 vsize=14071612 CPUtime=1.57 cores=0,2,4,6
/proc/26843/task/26906/stat : 26906 (java) S 26840 26843 13007 0 -1 1077944384 1931 12656 0 0 77 72 5 3 20 0 15 0 88213463 14409330688 1024636 18446744073709551615 4194304 4196468 140732624430528 139978403010864 139978932857474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
Current children cumulated CPU time (s) 2426.28
Current children cumulated vsize (KiB) 14071612

[startup+2442.3 s]
/proc/loadavg: 1.32 1.43 1.56 3/214 27204
/proc/meminfo: memFree=25381108/32770624 swapFree=0/467152
[pid=26843] ppid=26840 vsize=14071612 CPUtime=2486.66 cores=0,2,4,6
/proc/26843/stat : 26843 (java) S 26840 26843 13007 0 -1 1077944320 533567 12656 0 0 248174 484 5 3 20 0 15 0 88213434 14409330688 1023464 18446744073709551615 4194304 4196468 140732624430528 140732624413072 139978932846327 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
/proc/26843/statm: 3517903 1023464 3483 1 0 3506517 0
[pid=26843/tid=26893] ppid=26840 vsize=14071612 CPUtime=2432.06 cores=0,2,4,6
/proc/26843/task/26893/stat : 26893 (java) R 26840 26843 13007 0 -1 4202560 276968 12656 0 0 243080 118 5 3 20 0 15 0 88213453 14409330688 1023464 18446744073709551615 4194304 4196468 140732624430528 139978937075072 139978591986001 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26894] ppid=26840 vsize=14071612 CPUtime=8.76 cores=0,2,4,6
/proc/26843/task/26894/stat : 26894 (java) S 26840 26843 13007 0 -1 1077944384 29416 12656 0 0 799 69 5 3 20 0 15 0 88213453 14409330688 1023464 18446744073709551615 4194304 4196468 140732624430528 139978533432080 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26895] ppid=26840 vsize=14071612 CPUtime=8.76 cores=0,2,4,6
/proc/26843/task/26895/stat : 26895 (java) S 26840 26843 13007 0 -1 1077944384 36657 12656 0 0 799 69 5 3 20 0 15 0 88213453 14409330688 1023464 18446744073709551615 4194304 4196468 140732624430528 139978532379536 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26896] ppid=26840 vsize=14071612 CPUtime=8.77 cores=0,2,4,6
/proc/26843/task/26896/stat : 26896 (java) S 26840 26843 13007 0 -1 1077944384 23466 12656 0 0 799 70 5 3 20 0 15 0 88213453 14409330688 1023464 18446744073709551615 4194304 4196468 140732624430528 139978531326992 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26897] ppid=26840 vsize=14071612 CPUtime=8.77 cores=0,2,4,6
/proc/26843/task/26897/stat : 26897 (java) S 26840 26843 13007 0 -1 1077944384 38771 12656 0 0 799 70 5 3 20 0 15 0 88213453 14409330688 1023464 18446744073709551615 4194304 4196468 140732624430528 139978530274448 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26898] ppid=26840 vsize=14071612 CPUtime=1.04 cores=0,2,4,6
/proc/26843/task/26898/stat : 26898 (java) S 26840 26843 13007 0 -1 1077944384 47828 12656 0 0 77 19 5 3 20 0 15 0 88213455 14409330688 1023464 18446744073709551615 4194304 4196468 140732624430528 139978411431920 139978932857474 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26899] ppid=26840 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26899/stat : 26899 (java) S 26840 26843 13007 0 -1 1077944384 61 12656 0 0 0 0 5 3 20 0 15 0 88213455 14409330688 1023464 18446744073709551615 4194304 4196468 140732624430528 139978410378208 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26900] ppid=26840 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26900/stat : 26900 (java) S 26840 26843 13007 0 -1 1077944384 47 12656 0 0 0 0 5 3 20 0 15 0 88213455 14409330688 1023464 18446744073709551615 4194304 4196468 140732624430528 139978409325568 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26901] ppid=26840 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26901/stat : 26901 (java) S 26840 26843 13007 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 88213458 14409330688 1023464 18446744073709551615 4194304 4196468 140732624430528 139978408274128 139978932864923 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26902] ppid=26840 vsize=14071612 CPUtime=7.23 cores=0,2,4,6
/proc/26843/task/26902/stat : 26902 (java) S 26840 26843 13007 0 -1 1077944384 25443 12656 0 0 712 3 5 3 20 0 15 0 88213458 14409330688 1023464 18446744073709551615 4194304 4196468 140732624430528 139978407221744 139978932857474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26903] ppid=26840 vsize=14071612 CPUtime=7.79 cores=0,2,4,6
/proc/26843/task/26903/stat : 26903 (java) S 26840 26843 13007 0 -1 1077944384 28689 12656 0 0 766 5 5 3 20 0 15 0 88213458 14409330688 1023464 18446744073709551615 4194304 4196468 140732624430528 139978406169200 139978932857474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26904] ppid=26840 vsize=14071612 CPUtime=2.48 cores=0,2,4,6
/proc/26843/task/26904/stat : 26904 (java) S 26840 26843 13007 0 -1 1077944384 22092 12656 0 0 234 6 5 3 20 0 15 0 88213458 14409330688 1023464 18446744073709551615 4194304 4196468 140732624430528 139978405116656 139978932857474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26905] ppid=26840 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26905/stat : 26905 (java) S 26840 26843 13007 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 88213458 14409330688 1023464 18446744073709551615 4194304 4196468 140732624430528 139978404064352 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26906] ppid=26840 vsize=14071612 CPUtime=1.61 cores=0,2,4,6
/proc/26843/task/26906/stat : 26906 (java) S 26840 26843 13007 0 -1 1077944384 1972 12656 0 0 79 74 5 3 20 0 15 0 88213463 14409330688 1023464 18446744073709551615 4194304 4196468 140732624430528 139978403010864 139978932857474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
Current children cumulated CPU time (s) 2486.66
Current children cumulated vsize (KiB) 14071612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2475.5 s]
/proc/loadavg: 1.52 1.47 1.57 3/214 27205
/proc/meminfo: memFree=25442712/32770624 swapFree=0/467172
[pid=26843] ppid=26840 vsize=14071612 CPUtime=2520.04 cores=0,2,4,6
/proc/26843/stat : 26843 (java) S 26840 26843 13007 0 -1 1077944320 536240 12656 0 0 251511 485 5 3 20 0 15 0 88213434 14409330688 1017821 18446744073709551615 4194304 4196468 140732624430528 140732624413072 139978932846327 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
/proc/26843/statm: 3517903 1017821 3483 1 0 3506517 0
[pid=26843/tid=26893] ppid=26840 vsize=14071612 CPUtime=2465.19 cores=0,2,4,6
/proc/26843/task/26893/stat : 26893 (java) R 26840 26843 13007 0 -1 4202560 279561 12656 0 0 246393 118 5 3 20 0 15 0 88213453 14409330688 1017821 18446744073709551615 4194304 4196468 140732624430528 139978937080448 139978572085881 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26894] ppid=26840 vsize=14071612 CPUtime=8.81 cores=0,2,4,6
/proc/26843/task/26894/stat : 26894 (java) S 26840 26843 13007 0 -1 1077944384 29428 12656 0 0 804 69 5 3 20 0 15 0 88213453 14409330688 1017821 18446744073709551615 4194304 4196468 140732624430528 139978533432080 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26895] ppid=26840 vsize=14071612 CPUtime=8.82 cores=0,2,4,6
/proc/26843/task/26895/stat : 26895 (java) S 26840 26843 13007 0 -1 1077944384 36666 12656 0 0 805 69 5 3 20 0 15 0 88213453 14409330688 1017821 18446744073709551615 4194304 4196468 140732624430528 139978532379536 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26896] ppid=26840 vsize=14071612 CPUtime=8.82 cores=0,2,4,6
/proc/26843/task/26896/stat : 26896 (java) S 26840 26843 13007 0 -1 1077944384 23479 12656 0 0 804 70 5 3 20 0 15 0 88213453 14409330688 1017821 18446744073709551615 4194304 4196468 140732624430528 139978531326992 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26897] ppid=26840 vsize=14071612 CPUtime=8.83 cores=0,2,4,6
/proc/26843/task/26897/stat : 26897 (java) S 26840 26843 13007 0 -1 1077944384 38796 12656 0 0 805 70 5 3 20 0 15 0 88213453 14409330688 1017821 18446744073709551615 4194304 4196468 140732624430528 139978530274448 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26898] ppid=26840 vsize=14071612 CPUtime=1.05 cores=0,2,4,6
/proc/26843/task/26898/stat : 26898 (java) S 26840 26843 13007 0 -1 1077944384 47846 12656 0 0 78 19 5 3 20 0 15 0 88213455 14409330688 1017821 18446744073709551615 4194304 4196468 140732624430528 139978411431920 139978932857474 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26899] ppid=26840 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26899/stat : 26899 (java) S 26840 26843 13007 0 -1 1077944384 61 12656 0 0 0 0 5 3 20 0 15 0 88213455 14409330688 1017821 18446744073709551615 4194304 4196468 140732624430528 139978410378208 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26900] ppid=26840 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26900/stat : 26900 (java) S 26840 26843 13007 0 -1 1077944384 47 12656 0 0 0 0 5 3 20 0 15 0 88213455 14409330688 1017821 18446744073709551615 4194304 4196468 140732624430528 139978409325568 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26901] ppid=26840 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26901/stat : 26901 (java) S 26840 26843 13007 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 88213458 14409330688 1017821 18446744073709551615 4194304 4196468 140732624430528 139978408274128 139978932864923 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26902] ppid=26840 vsize=14071612 CPUtime=7.23 cores=0,2,4,6
/proc/26843/task/26902/stat : 26902 (java) S 26840 26843 13007 0 -1 1077944384 25443 12656 0 0 712 3 5 3 20 0 15 0 88213458 14409330688 1017821 18446744073709551615 4194304 4196468 140732624430528 139978407221744 139978932857474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26903] ppid=26840 vsize=14071612 CPUtime=7.79 cores=0,2,4,6
/proc/26843/task/26903/stat : 26903 (java) S 26840 26843 13007 0 -1 1077944384 28690 12656 0 0 766 5 5 3 20 0 15 0 88213458 14409330688 1017821 18446744073709551615 4194304 4196468 140732624430528 139978406169200 139978932857474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26904] ppid=26840 vsize=14071612 CPUtime=2.48 cores=0,2,4,6
/proc/26843/task/26904/stat : 26904 (java) S 26840 26843 13007 0 -1 1077944384 22092 12656 0 0 234 6 5 3 20 0 15 0 88213458 14409330688 1017821 18446744073709551615 4194304 4196468 140732624430528 139978405116656 139978932857474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26905] ppid=26840 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26905/stat : 26905 (java) S 26840 26843 13007 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 15 0 88213458 14409330688 1017821 18446744073709551615 4194304 4196468 140732624430528 139978404064352 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26906] ppid=26840 vsize=14071612 CPUtime=1.63 cores=0,2,4,6
/proc/26843/task/26906/stat : 26906 (java) S 26840 26843 13007 0 -1 1077944384 1974 12656 0 0 80 75 5 3 20 0 15 0 88213463 14409330688 1017821 18446744073709551615 4194304 4196468 140732624430528 139978403010864 139978932857474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
Current children cumulated CPU time (s) 2520.04
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 26843 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2475.61 s]
/proc/loadavg: 1.52 1.47 1.57 3/214 27205
/proc/meminfo: memFree=25442712/32770624 swapFree=0/467172
[pid=26843] ppid=26840 vsize=14204740 CPUtime=2520.31 cores=0,2,4,6
/proc/26843/stat : 26843 (java) S 26840 26843 13007 0 -1 1077944320 550379 12656 0 0 251537 486 5 3 20 0 17 0 88213434 14545653760 1017938 18446744073709551615 4194304 4196468 140732624430528 140732624413072 139978932846327 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
/proc/26843/statm: 3551185 1017938 3483 1 0 3539799 0
[pid=26843/tid=26893] ppid=26840 vsize=14204740 CPUtime=2465.21 cores=0,2,4,6
/proc/26843/task/26893/stat : 26893 (java) S 26840 26843 13007 0 -1 1077944384 280709 12656 0 0 246394 119 5 3 20 0 17 0 88213453 14545653760 1017938 18446744073709551615 4194304 4196468 140732624430528 139978937084048 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26894] ppid=26840 vsize=14204740 CPUtime=8.88 cores=0,2,4,6
/proc/26843/task/26894/stat : 26894 (java) R 26840 26843 13007 0 -1 4202560 29473 12656 0 0 810 70 5 3 20 0 17 0 88213453 14545653760 1017938 18446744073709551615 4194304 4196468 140732624430528 139978533432080 139978914456147 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26895] ppid=26840 vsize=14204740 CPUtime=8.88 cores=0,2,4,6
/proc/26843/task/26895/stat : 26895 (java) R 26840 26843 13007 0 -1 4202560 36739 12656 0 0 810 70 5 3 20 0 17 0 88213453 14545653760 1017938 18446744073709551615 4194304 4196468 140732624430528 139978532379656 139978925474535 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26896] ppid=26840 vsize=14204740 CPUtime=8.88 cores=0,2,4,6
/proc/26843/task/26896/stat : 26896 (java) R 26840 26843 13007 0 -1 4202560 23631 12656 0 0 810 70 5 3 20 0 17 0 88213453 14545653760 1017938 18446744073709551615 4194304 4196468 140732624430528 139978531326992 139978914456013 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26897] ppid=26840 vsize=14204740 CPUtime=8.88 cores=0,2,4,6
/proc/26843/task/26897/stat : 26897 (java) R 26840 26843 13007 0 -1 4202560 38860 12656 0 0 810 70 5 3 20 0 17 0 88213453 14545653760 1017938 18446744073709551615 4194304 4196468 140732624430528 139978530274448 139978925474535 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26898] ppid=26840 vsize=14204740 CPUtime=1.08 cores=0,2,4,6
/proc/26843/task/26898/stat : 26898 (java) S 26840 26843 13007 0 -1 1077944384 59771 12656 0 0 80 20 5 3 20 0 17 0 88213455 14545653760 1017938 18446744073709551615 4194304 4196468 140732624430528 139978411430544 139978932856533 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26899] ppid=26840 vsize=14204740 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26899/stat : 26899 (java) S 26840 26843 13007 0 -1 1077944384 61 12656 0 0 0 0 5 3 20 0 17 0 88213455 14545653760 1017938 18446744073709551615 4194304 4196468 140732624430528 139978410378208 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26900] ppid=26840 vsize=14204740 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26900/stat : 26900 (java) S 26840 26843 13007 0 -1 1077944384 47 12656 0 0 0 0 5 3 20 0 17 0 88213455 14545653760 1017938 18446744073709551615 4194304 4196468 140732624430528 139978409325568 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26901] ppid=26840 vsize=14204740 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26901/stat : 26901 (java) S 26840 26843 13007 0 -1 1077944384 249 12656 0 0 0 0 5 3 20 0 17 0 88213458 14545653760 1017938 18446744073709551615 4194304 4196468 140732624430528 139978408274128 139978932864923 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26902] ppid=26840 vsize=14204740 CPUtime=7.23 cores=0,2,4,6
/proc/26843/task/26902/stat : 26902 (java) S 26840 26843 13007 0 -1 1077944384 25551 12656 0 0 712 3 5 3 20 0 17 0 88213458 14545653760 1017938 18446744073709551615 4194304 4196468 140732624430528 139978407213024 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26903] ppid=26840 vsize=14204740 CPUtime=7.79 cores=0,2,4,6
/proc/26843/task/26903/stat : 26903 (java) S 26840 26843 13007 0 -1 1077944384 28691 12656 0 0 766 5 5 3 20 0 17 0 88213458 14545653760 1017938 18446744073709551615 4194304 4196468 140732624430528 139978406168960 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26904] ppid=26840 vsize=14204740 CPUtime=2.48 cores=0,2,4,6
/proc/26843/task/26904/stat : 26904 (java) S 26840 26843 13007 0 -1 1077944384 22092 12656 0 0 234 6 5 3 20 0 17 0 88213458 14545653760 1017938 18446744073709551615 4194304 4196468 140732624430528 139978405116656 139978932857474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26905] ppid=26840 vsize=14204740 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26905/stat : 26905 (java) S 26840 26843 13007 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 17 0 88213458 14545653760 1017938 18446744073709551615 4194304 4196468 140732624430528 139978404064352 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26906] ppid=26840 vsize=14204740 CPUtime=1.63 cores=0,2,4,6
/proc/26843/task/26906/stat : 26906 (java) S 26840 26843 13007 0 -1 1077944384 1974 12656 0 0 80 75 5 3 20 0 17 0 88213463 14545653760 1017938 18446744073709551615 4194304 4196468 140732624430528 139978403010864 139978932857474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
Current children cumulated CPU time (s) 2520.31
Current children cumulated vsize (KiB) 14204740

[startup+2476 s]
/proc/loadavg: 1.52 1.47 1.57 3/214 27205
/proc/meminfo: memFree=25442712/32770624 swapFree=0/467172
[pid=26843] ppid=26840 vsize=14204740 CPUtime=2521.65 cores=0,2,4,6
/proc/26843/stat : 26843 (java) S 26840 26843 13007 0 -1 1077944320 550867 12656 0 0 251670 487 5 3 20 0 17 0 88213434 14545653760 1014996 18446744073709551615 4194304 4196468 140732624430528 140732624413072 139978932846327 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
/proc/26843/statm: 3551185 1014996 3483 1 0 3539799 0
[pid=26843/tid=26893] ppid=26840 vsize=14204740 CPUtime=2465.21 cores=0,2,4,6
/proc/26843/task/26893/stat : 26893 (java) S 26840 26843 13007 0 -1 1077944384 280709 12656 0 0 246394 119 5 3 20 0 17 0 88213453 14545653760 1014996 18446744073709551615 4194304 4196468 140732624430528 139978937084048 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26894] ppid=26840 vsize=14204740 CPUtime=9.19 cores=0,2,4,6
/proc/26843/task/26894/stat : 26894 (java) S 26840 26843 13007 0 -1 1077944384 29474 12656 0 0 841 70 5 3 20 0 17 0 88213453 14545653760 1014996 18446744073709551615 4194304 4196468 140732624430528 139978533432080 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26895] ppid=26840 vsize=14204740 CPUtime=9.19 cores=0,2,4,6
/proc/26843/task/26895/stat : 26895 (java) S 26840 26843 13007 0 -1 1077944384 36746 12656 0 0 841 70 5 3 20 0 17 0 88213453 14545653760 1014996 18446744073709551615 4194304 4196468 140732624430528 139978532379536 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26896] ppid=26840 vsize=14204740 CPUtime=9.2 cores=0,2,4,6
/proc/26843/task/26896/stat : 26896 (java) S 26840 26843 13007 0 -1 1077944384 23636 12656 0 0 842 70 5 3 20 0 17 0 88213453 14545653760 1014996 18446744073709551615 4194304 4196468 140732624430528 139978531326992 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26897] ppid=26840 vsize=14204740 CPUtime=9.2 cores=0,2,4,6
/proc/26843/task/26897/stat : 26897 (java) S 26840 26843 13007 0 -1 1077944384 38865 12656 0 0 842 70 5 3 20 0 17 0 88213453 14545653760 1014996 18446744073709551615 4194304 4196468 140732624430528 139978530274448 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26898] ppid=26840 vsize=14204740 CPUtime=1.16 cores=0,2,4,6
/proc/26843/task/26898/stat : 26898 (java) R 26840 26843 13007 0 -1 4202560 60125 12656 0 0 88 20 5 3 20 0 17 0 88213455 14545653760 1014996 18446744073709551615 4194304 4196468 140732624430528 139978411430320 139978917201014 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26899] ppid=26840 vsize=14204740 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26899/stat : 26899 (java) S 26840 26843 13007 0 -1 1077944384 63 12656 0 0 0 0 5 3 20 0 17 0 88213455 14545653760 1014996 18446744073709551615 4194304 4196468 140732624430528 139978410377840 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26900] ppid=26840 vsize=14204740 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26900/stat : 26900 (java) S 26840 26843 13007 0 -1 1077944384 47 12656 0 0 0 0 5 3 20 0 17 0 88213455 14545653760 1014996 18446744073709551615 4194304 4196468 140732624430528 139978409325568 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26901] ppid=26840 vsize=14204740 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26901/stat : 26901 (java) S 26840 26843 13007 0 -1 1077944384 249 12656 0 0 0 0 5 3 20 0 17 0 88213458 14545653760 1014996 18446744073709551615 4194304 4196468 140732624430528 139978408274128 139978932864923 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26902] ppid=26840 vsize=14204740 CPUtime=7.23 cores=0,2,4,6
/proc/26843/task/26902/stat : 26902 (java) S 26840 26843 13007 0 -1 1077944384 25613 12656 0 0 712 3 5 3 20 0 17 0 88213458 14545653760 1014996 18446744073709551615 4194304 4196468 140732624430528 139978407221744 139978932857474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26903] ppid=26840 vsize=14204740 CPUtime=7.79 cores=0,2,4,6
/proc/26843/task/26903/stat : 26903 (java) S 26840 26843 13007 0 -1 1077944384 28741 12656 0 0 766 5 5 3 20 0 17 0 88213458 14545653760 1014996 18446744073709551615 4194304 4196468 140732624430528 139978406169200 139978932857474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26904] ppid=26840 vsize=14204740 CPUtime=2.48 cores=0,2,4,6
/proc/26843/task/26904/stat : 26904 (java) S 26840 26843 13007 0 -1 1077944384 22092 12656 0 0 234 6 5 3 20 0 17 0 88213458 14545653760 1014996 18446744073709551615 4194304 4196468 140732624430528 139978405116656 139978932857474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26905] ppid=26840 vsize=14204740 CPUtime=0.08 cores=0,2,4,6
/proc/26843/task/26905/stat : 26905 (java) S 26840 26843 13007 0 -1 1077944384 3 12656 0 0 0 0 5 3 20 0 17 0 88213458 14545653760 1014996 18446744073709551615 4194304 4196468 140732624430528 139978404064352 139978932856533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
[pid=26843/tid=26906] ppid=26840 vsize=14204740 CPUtime=1.63 cores=0,2,4,6
/proc/26843/task/26906/stat : 26906 (java) S 26840 26843 13007 0 -1 1077944384 1974 12656 0 0 80 75 5 3 20 0 17 0 88213463 14545653760 1014996 18446744073709551615 4194304 4196468 140732624430528 139978403010864 139978932857474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22024192 140732624439248 140732624442033 140732624442033 140732624445391 0
Current children cumulated CPU time (s) 2521.65
Current children cumulated vsize (KiB) 14204740

Child status: 143
Real time (s): 2476.07
CPU time (s): 2521.8
CPU user time (s): 2516.86
CPU system time (s): 4.93971
CPU usage (%): 101.847
Max. virtual memory (cumulated for all children) (KiB): 14204740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.86
system time used= 4.93971
maximum resident set size= 4313400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 563761
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77438
involuntary context switches= 3861

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.9133 second user time and 15.2673 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-11 16:36:28
IDJOB=4262660
IDBENCH=133924
IDSOLVER=2650
FILE ID=node135/4262660-1502463022
RUNJOBID= node135-1502411443-13071
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/SportsScheduling/SportsScheduling-m1-s1/SportsScheduling-28.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262660-1502463022/watcher-4262660-1502463022 -o /tmp/evaluation-result-4262660-1502463022/solver-4262660-1502463022 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13071 --watchdog 2580  bin/concrete HOME/instance-4262660-1502463022.xml

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

MD5SUM BENCH= ec4845efd826c884e0cb314c730a074b
RANDOM SEED=94224513

node135.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.21
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.21
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.21
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.21
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:        28648824 kB
MemAvailable:   29484980 kB
Buffers:          293760 kB
Cached:           833640 kB
SwapCached:            0 kB
Active:          3176460 kB
Inactive:         499828 kB
Active(anon):    2548852 kB
Inactive(anon):    33140 kB
Active(file):     627608 kB
Inactive(file):   466688 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24240 kB
Writeback:             0 kB
AnonPages:       2550308 kB
Mapped:            63268 kB
Shmem:             33464 kB
Slab:             143184 kB
SReclaimable:     115392 kB
SUnreclaim:        27792 kB
KernelStack:        3504 kB
PageTables:        10712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3327548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2314240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61980 MiB
End job on node135 at 2017-08-11 17:17:44