Trace number 4262533

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.23 2473.98

General information on the benchmark

NameQuasiGroups/QuasiGroups-elt-qg7/
QuasiGroup-7-28.xml
MD5SUM3acdfa33911068ba5b02b5d01ed992db
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 variables1568
Number of constraints1514
Number of domains1
Minimum domain size28
Maximum domain size28
Distribution of domain sizes[{"size":28,"count":1540}]
Minimum variable degree0
Maximum variable degree57
Distribution of variable degrees[{"degree":0,"count":28},{"degree":2,"count":756},{"degree":56,"count":28},{"degree":57,"count":756}]
Minimum constraint arity28
Maximum constraint arity784
Distribution of constraint arities[{"arity":28,"count":1},{"arity":30,"count":1512},{"arity":784,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":1512}]
Optimization problemNO
Type of objective

Solver Data 

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

pid=19771
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.42 1.32 1.34 3/198 19774
/proc/meminfo: memFree=30598956/32770624 swapFree=0/435712
[pid=19774] ppid=19771 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/19774/stat : 19774 (runsolver) D 19771 19774 4821 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 94005578 24240128 106 18446744073709551615 4194304 4338465 140730596195280 140730596192920 140405840892631 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 15429632 140730596200657 140730596201033 140730596201033 140730596204490 0
/proc/19774/statm: 5918 106 53 36 0 2156 0

[startup+0.10015 s]
/proc/loadavg: 1.42 1.32 1.34 3/198 19774
/proc/meminfo: memFree=30598956/32770624 swapFree=0/435712
[pid=19774] ppid=19771 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/19774/stat : 19774 (bash) S 19771 19774 4821 0 -1 4202496 683 1542 0 0 0 0 0 0 20 0 1 0 94005578 9736192 351 18446744073709551615 4194304 5098028 140729447436592 140729447434232 140224004389888 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 9 0 0 7196144 7232144 33697792 140729447440916 140729447441001 140729447441001 140729447444458 0
/proc/19774/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.20024 s]
/proc/loadavg: 1.42 1.32 1.34 3/198 19774
/proc/meminfo: memFree=30598956/32770624 swapFree=0/435712
[pid=19774] ppid=19771 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/19774/stat : 19774 (bash) S 19771 19774 4821 0 -1 4202496 892 6482 0 0 0 0 0 1 20 0 1 0 94005578 9867264 377 18446744073709551615 4194304 5098028 140729447436592 140729447430600 140224004389888 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 9 0 0 7196144 7232144 33697792 140729447440916 140729447441001 140729447441001 140729447444458 0
/proc/19774/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300259 s]
/proc/loadavg: 1.42 1.32 1.34 3/198 19774
/proc/meminfo: memFree=30598956/32770624 swapFree=0/435712
[pid=19774] ppid=19771 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/19774/stat : 19774 (java) S 19771 19774 4821 0 -1 1077944320 5938 12361 0 0 5 1 4 3 20 0 14 0 94005578 14241083392 6141 18446744073709551615 4194304 4196468 140720789912256 140720789894800 140347640864503 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
/proc/19774/statm: 3476827 6141 2659 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.700551 s]
/proc/loadavg: 1.42 1.32 1.34 3/198 19774
/proc/meminfo: memFree=30598956/32770624 swapFree=0/435712
[pid=19774] ppid=19771 vsize=13974784 CPUtime=0.69 cores=1,3,5,7
/proc/19774/stat : 19774 (java) S 19771 19774 4821 0 -1 1077944320 13966 12361 0 0 58 4 4 3 20 0 15 0 94005578 14310178816 15418 18446744073709551615 4194304 4196468 140720789912256 140720789894800 140347640864503 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
/proc/19774/statm: 3493696 15418 3126 1 0 3482965 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13974784

[startup+1.50059 s]
/proc/loadavg: 1.42 1.32 1.34 4/213 19837
/proc/meminfo: memFree=30503360/32770624 swapFree=0/435620
[pid=19774] ppid=19771 vsize=13985408 CPUtime=1.91 cores=1,3,5,7
/proc/19774/stat : 19774 (java) S 19771 19774 4821 0 -1 1077944320 26541 12361 0 0 175 9 4 3 20 0 15 0 94005578 14321057792 43126 18446744073709551615 4194304 4196468 140720789912256 140720789894800 140347640864503 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
/proc/19774/statm: 3496352 43126 3359 1 0 3485525 0
[pid=19774/tid=19824] ppid=19771 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/19774/task/19824/stat : 19824 (java) R 19771 19774 4821 0 -1 4202560 20475 12361 0 0 115 6 4 3 20 0 15 0 94005599 14321057792 43126 18446744073709551615 4194304 4196468 140720789912256 140347645084688 140347269162555 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19825] ppid=19771 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19825/stat : 19825 (java) S 19771 19774 4821 0 -1 1077944384 53 12361 0 0 0 0 4 3 20 0 15 0 94005600 14321057792 43126 18446744073709551615 4194304 4196468 140720789912256 140347597830544 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19826] ppid=19771 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/19774/task/19826/stat : 19826 (java) S 19771 19774 4821 0 -1 1077944384 26 12361 0 0 1 0 4 3 20 0 15 0 94005600 14321057792 43126 18446744073709551615 4194304 4196468 140720789912256 140347596777744 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19827] ppid=19771 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/19774/task/19827/stat : 19827 (java) S 19771 19774 4821 0 -1 1077944384 40 12361 0 0 1 0 4 3 20 0 15 0 94005600 14321057792 43126 18446744073709551615 4194304 4196468 140720789912256 140347595725456 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19828] ppid=19771 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/19774/task/19828/stat : 19828 (java) S 19771 19774 4821 0 -1 1077944384 186 12361 0 0 1 0 4 3 20 0 15 0 94005600 14321057792 43126 18446744073709551615 4194304 4196468 140720789912256 140347594672656 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19829] ppid=19771 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/19774/task/19829/stat : 19829 (java) S 19771 19774 4821 0 -1 1077944384 637 12361 0 0 1 0 4 3 20 0 15 0 94005601 14321057792 43126 18446744073709551615 4194304 4196468 140720789912256 140347186629232 140347640875650 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19830] ppid=19771 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19830/stat : 19830 (java) S 19771 19774 4821 0 -1 1077944384 34 12361 0 0 0 0 4 3 20 0 15 0 94005602 14321057792 43126 18446744073709551615 4194304 4196468 140720789912256 140347185575200 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19831] ppid=19771 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19831/stat : 19831 (java) S 19771 19774 4821 0 -1 1077944384 23 12361 0 0 0 0 4 3 20 0 15 0 94005602 14321057792 43126 18446744073709551615 4194304 4196468 140720789912256 140347184522864 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19832] ppid=19771 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19832/stat : 19832 (java) S 19771 19774 4821 0 -1 1077944384 2 12361 0 0 0 0 4 3 20 0 15 0 94005605 14321057792 43126 18446744073709551615 4194304 4196468 140720789912256 140346755639888 140347640883099 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19833] ppid=19771 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/19774/task/19833/stat : 19833 (java) S 19771 19774 4821 0 -1 1077944384 1138 12361 0 0 16 0 4 3 20 0 15 0 94005605 14321057792 43126 18446744073709551615 4194304 4196468 140720789912256 140346754586736 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19834] ppid=19771 vsize=13985408 CPUtime=0.2 cores=1,3,5,7
/proc/19774/task/19834/stat : 19834 (java) S 19771 19774 4821 0 -1 1077944384 501 12361 0 0 13 0 4 3 20 0 15 0 94005605 14321057792 43126 18446744073709551615 4194304 4196468 140720789912256 140346753533936 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19835] ppid=19771 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/19774/task/19835/stat : 19835 (java) R 19771 19774 4821 0 -1 4202560 1274 12361 0 0 23 0 4 3 20 0 15 0 94005605 14321057792 43126 18446744073709551615 4194304 4196468 140720789912256 140346752477408 140347622274511 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19836] ppid=19771 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19836/stat : 19836 (java) S 19771 19774 4821 0 -1 1077944384 3 12361 0 0 0 0 4 3 20 0 15 0 94005605 14321057792 43126 18446744073709551615 4194304 4196468 140720789912256 140346751429088 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19837] ppid=19771 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19837/stat : 19837 (java) S 19771 19774 4821 0 -1 1077944384 3 12361 0 0 0 0 4 3 20 0 15 0 94005609 14321057792 43126 18446744073709551615 4194304 4196468 140720789912256 140346750376880 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 13985408

[startup+3.10101 s]
/proc/loadavg: 1.55 1.35 1.35 5/213 19837
/proc/meminfo: memFree=30413708/32770624 swapFree=0/435620
[pid=19774] ppid=19771 vsize=13997884 CPUtime=6.4 cores=1,3,5,7
/proc/19774/stat : 19774 (java) S 19771 19774 4821 0 -1 1077944320 34884 12361 0 0 620 13 4 3 20 0 15 0 94005578 14333833216 58550 18446744073709551615 4194304 4196468 140720789912256 140720789894800 140347640864503 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
/proc/19774/statm: 3499471 58550 3448 1 0 3488085 0
[pid=19774/tid=19824] ppid=19771 vsize=13997884 CPUtime=2.87 cores=1,3,5,7
/proc/19774/task/19824/stat : 19824 (java) R 19771 19774 4821 0 -1 4202560 23973 12361 0 0 272 8 4 3 20 0 15 0 94005599 14333833216 58550 18446744073709551615 4194304 4196468 140720789912256 140347645097328 140347640876438 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19825] ppid=19771 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19825/stat : 19825 (java) S 19771 19774 4821 0 -1 1077944384 53 12361 0 0 0 0 4 3 20 0 15 0 94005600 14333833216 58550 18446744073709551615 4194304 4196468 140720789912256 140347597830544 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19826] ppid=19771 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/19774/task/19826/stat : 19826 (java) S 19771 19774 4821 0 -1 1077944384 26 12361 0 0 1 0 4 3 20 0 15 0 94005600 14333833216 58550 18446744073709551615 4194304 4196468 140720789912256 140347596777744 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19827] ppid=19771 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/19774/task/19827/stat : 19827 (java) S 19771 19774 4821 0 -1 1077944384 40 12361 0 0 1 0 4 3 20 0 15 0 94005600 14333833216 58550 18446744073709551615 4194304 4196468 140720789912256 140347595725456 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19828] ppid=19771 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/19774/task/19828/stat : 19828 (java) S 19771 19774 4821 0 -1 1077944384 186 12361 0 0 1 0 4 3 20 0 15 0 94005600 14333833216 58550 18446744073709551615 4194304 4196468 140720789912256 140347594672656 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19829] ppid=19771 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/19774/task/19829/stat : 19829 (java) S 19771 19774 4821 0 -1 1077944384 639 12361 0 0 1 0 4 3 20 0 15 0 94005601 14333833216 58550 18446744073709551615 4194304 4196468 140720789912256 140347186629232 140347640875650 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19830] ppid=19771 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19830/stat : 19830 (java) S 19771 19774 4821 0 -1 1077944384 34 12361 0 0 0 0 4 3 20 0 15 0 94005602 14333833216 58550 18446744073709551615 4194304 4196468 140720789912256 140347185575200 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19831] ppid=19771 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19831/stat : 19831 (java) S 19771 19774 4821 0 -1 1077944384 23 12361 0 0 0 0 4 3 20 0 15 0 94005602 14333833216 58550 18446744073709551615 4194304 4196468 140720789912256 140347184522864 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19832] ppid=19771 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19832/stat : 19832 (java) S 19771 19774 4821 0 -1 1077944384 2 12361 0 0 0 0 4 3 20 0 15 0 94005605 14333833216 58550 18446744073709551615 4194304 4196468 140720789912256 140346755639888 140347640883099 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19833] ppid=19771 vsize=13997884 CPUtime=1.32 cores=1,3,5,7
/proc/19774/task/19833/stat : 19833 (java) R 19771 19774 4821 0 -1 4202560 2864 12361 0 0 124 1 4 3 20 0 15 0 94005605 14333833216 58550 18446744073709551615 4194304 4196468 140720789912256 140346754570928 140347640876438 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19834] ppid=19771 vsize=13997884 CPUtime=1.16 cores=1,3,5,7
/proc/19774/task/19834/stat : 19834 (java) R 19771 19774 4821 0 -1 1077944384 1590 12361 0 0 108 1 4 3 20 0 15 0 94005605 14333833216 58550 18446744073709551615 4194304 4196468 140720789912256 140346753523728 140347640874709 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19835] ppid=19771 vsize=13997884 CPUtime=1.16 cores=1,3,5,7
/proc/19774/task/19835/stat : 19835 (java) S 19771 19774 4821 0 -1 1077944384 3296 12361 0 0 108 1 4 3 20 0 15 0 94005605 14333833216 58550 18446744073709551615 4194304 4196468 140720789912256 140346752476688 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19836] ppid=19771 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19836/stat : 19836 (java) S 19771 19774 4821 0 -1 1077944384 3 12361 0 0 0 0 4 3 20 0 15 0 94005605 14333833216 58550 18446744073709551615 4194304 4196468 140720789912256 140346751429088 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19837] ppid=19771 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19837/stat : 19837 (java) S 19771 19774 4821 0 -1 1077944384 3 12361 0 0 0 0 4 3 20 0 15 0 94005609 14333833216 58550 18446744073709551615 4194304 4196468 140720789912256 140346750376880 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 13997884

[startup+6.30071 s]
/proc/loadavg: 1.55 1.35 1.35 3/213 19837
/proc/meminfo: memFree=30215280/32770624 swapFree=0/435620
[pid=19774] ppid=19771 vsize=13999932 CPUtime=13.87 cores=1,3,5,7
/proc/19774/stat : 19774 (java) S 19771 19774 4821 0 -1 1077944320 53161 12361 0 0 1356 24 4 3 20 0 15 0 94005578 14335930368 108943 18446744073709551615 4194304 4196468 140720789912256 140720789894800 140347640864503 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
/proc/19774/statm: 3499983 108943 3466 1 0 3488597 0
[pid=19774/tid=19824] ppid=19771 vsize=13999932 CPUtime=5.99 cores=1,3,5,7
/proc/19774/task/19824/stat : 19824 (java) R 19771 19774 4821 0 -1 4202560 27821 12361 0 0 582 10 4 3 20 0 15 0 94005599 14335930368 108943 18446744073709551615 4194304 4196468 140720789912256 140347645099664 140347281580204 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19825] ppid=19771 vsize=13999932 CPUtime=0.13 cores=1,3,5,7
/proc/19774/task/19825/stat : 19825 (java) S 19771 19774 4821 0 -1 1077944384 97 12361 0 0 5 1 4 3 20 0 15 0 94005600 14335930368 108943 18446744073709551615 4194304 4196468 140720789912256 140347597830544 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19826] ppid=19771 vsize=13999932 CPUtime=0.13 cores=1,3,5,7
/proc/19774/task/19826/stat : 19826 (java) S 19771 19774 4821 0 -1 1077944384 846 12361 0 0 5 1 4 3 20 0 15 0 94005600 14335930368 108943 18446744073709551615 4194304 4196468 140720789912256 140347596777744 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19827] ppid=19771 vsize=13999932 CPUtime=0.12 cores=1,3,5,7
/proc/19774/task/19827/stat : 19827 (java) S 19771 19774 4821 0 -1 1077944384 113 12361 0 0 4 1 4 3 20 0 15 0 94005600 14335930368 108943 18446744073709551615 4194304 4196468 140720789912256 140347595725456 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19828] ppid=19771 vsize=13999932 CPUtime=0.13 cores=1,3,5,7
/proc/19774/task/19828/stat : 19828 (java) S 19771 19774 4821 0 -1 1077944384 222 12361 0 0 5 1 4 3 20 0 15 0 94005600 14335930368 108943 18446744073709551615 4194304 4196468 140720789912256 140347594672656 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19829] ppid=19771 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/19774/task/19829/stat : 19829 (java) S 19771 19774 4821 0 -1 1077944384 934 12361 0 0 3 0 4 3 20 0 15 0 94005601 14335930368 108943 18446744073709551615 4194304 4196468 140720789912256 140347186629232 140347640875650 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19830] ppid=19771 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19830/stat : 19830 (java) S 19771 19774 4821 0 -1 1077944384 42 12361 0 0 0 0 4 3 20 0 15 0 94005602 14335930368 108943 18446744073709551615 4194304 4196468 140720789912256 140347185575264 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19831] ppid=19771 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19831/stat : 19831 (java) S 19771 19774 4821 0 -1 1077944384 51 12361 0 0 0 0 4 3 20 0 15 0 94005602 14335930368 108943 18446744073709551615 4194304 4196468 140720789912256 140347184522880 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19832] ppid=19771 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19832/stat : 19832 (java) S 19771 19774 4821 0 -1 1077944384 2 12361 0 0 0 0 4 3 20 0 15 0 94005605 14335930368 108943 18446744073709551615 4194304 4196468 140720789912256 140346755639888 140347640883099 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19833] ppid=19771 vsize=13999932 CPUtime=3.16 cores=1,3,5,7
/proc/19774/task/19833/stat : 19833 (java) S 19771 19774 4821 0 -1 1077944384 8170 12361 0 0 308 1 4 3 20 0 15 0 94005605 14335930368 108943 18446744073709551615 4194304 4196468 140720789912256 140346754586736 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19834] ppid=19771 vsize=13999932 CPUtime=2.97 cores=1,3,5,7
/proc/19774/task/19834/stat : 19834 (java) S 19771 19774 4821 0 -1 1077944384 5880 12361 0 0 288 2 4 3 20 0 15 0 94005605 14335930368 108943 18446744073709551615 4194304 4196468 140720789912256 140346753533936 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19835] ppid=19771 vsize=13999932 CPUtime=1.61 cores=1,3,5,7
/proc/19774/task/19835/stat : 19835 (java) S 19771 19774 4821 0 -1 1077944384 6700 12361 0 0 152 2 4 3 20 0 15 0 94005605 14335930368 108943 18446744073709551615 4194304 4196468 140720789912256 140346752481648 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19836] ppid=19771 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19836/stat : 19836 (java) S 19771 19774 4821 0 -1 1077944384 3 12361 0 0 0 0 4 3 20 0 15 0 94005605 14335930368 108943 18446744073709551615 4194304 4196468 140720789912256 140346751429088 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19837] ppid=19771 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19837/stat : 19837 (java) S 19771 19774 4821 0 -1 1077944384 128 12361 0 0 0 0 4 3 20 0 15 0 94005609 14335930368 108943 18446744073709551615 4194304 4196468 140720789912256 140346750376880 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
Current children cumulated CPU time (s) 13.87
Current children cumulated vsize (KiB) 13999932

[startup+12.7007 s]
/proc/loadavg: 1.58 1.36 1.35 3/213 19837
/proc/meminfo: memFree=29755652/32770624 swapFree=0/435620
[pid=19774] ppid=19771 vsize=14069564 CPUtime=24.55 cores=1,3,5,7
/proc/19774/stat : 19774 (java) S 19771 19774 4821 0 -1 1077944320 74544 12361 0 0 2409 39 4 3 20 0 15 0 94005578 14407233536 194977 18446744073709551615 4194304 4196468 140720789912256 140720789894800 140347640864503 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
/proc/19774/statm: 3517391 194977 3475 1 0 3506005 0
[pid=19774/tid=19824] ppid=19771 vsize=14069564 CPUtime=12.28 cores=1,3,5,7
/proc/19774/task/19824/stat : 19824 (java) R 19771 19774 4821 0 -1 4202560 40895 12361 0 0 1205 16 4 3 20 0 15 0 94005599 14407233536 194977 18446744073709551615 4194304 4196468 140720789912256 140347645094432 140347270494254 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19825] ppid=19771 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/19774/task/19825/stat : 19825 (java) S 19771 19774 4821 0 -1 1077944384 129 12361 0 0 10 2 4 3 20 0 15 0 94005600 14407233536 194977 18446744073709551615 4194304 4196468 140720789912256 140347597830544 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19826] ppid=19771 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/19774/task/19826/stat : 19826 (java) S 19771 19774 4821 0 -1 1077944384 866 12361 0 0 9 3 4 3 20 0 15 0 94005600 14407233536 194977 18446744073709551615 4194304 4196468 140720789912256 140347596777744 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19827] ppid=19771 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/19774/task/19827/stat : 19827 (java) S 19771 19774 4821 0 -1 1077944384 152 12361 0 0 9 2 4 3 20 0 15 0 94005600 14407233536 194977 18446744073709551615 4194304 4196468 140720789912256 140347595725456 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19828] ppid=19771 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/19774/task/19828/stat : 19828 (java) S 19771 19774 4821 0 -1 1077944384 242 12361 0 0 9 3 4 3 20 0 15 0 94005600 14407233536 194977 18446744073709551615 4194304 4196468 140720789912256 140347594672656 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19829] ppid=19771 vsize=14069564 CPUtime=0.13 cores=1,3,5,7
/proc/19774/task/19829/stat : 19829 (java) S 19771 19774 4821 0 -1 1077944384 2470 12361 0 0 6 0 4 3 20 0 15 0 94005601 14407233536 194977 18446744073709551615 4194304 4196468 140720789912256 140347186629232 140347640875650 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19830] ppid=19771 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19830/stat : 19830 (java) S 19771 19774 4821 0 -1 1077944384 42 12361 0 0 0 0 4 3 20 0 15 0 94005602 14407233536 194977 18446744073709551615 4194304 4196468 140720789912256 140347185575328 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19831] ppid=19771 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19831/stat : 19831 (java) S 19771 19774 4821 0 -1 1077944384 51 12361 0 0 0 0 4 3 20 0 15 0 94005602 14407233536 194977 18446744073709551615 4194304 4196468 140720789912256 140347184522880 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19832] ppid=19771 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19832/stat : 19832 (java) S 19771 19774 4821 0 -1 1077944384 2 12361 0 0 0 0 4 3 20 0 15 0 94005605 14407233536 194977 18446744073709551615 4194304 4196468 140720789912256 140346755639888 140347640883099 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0

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


[startup+2442.3 s]
/proc/loadavg: 1.24 1.35 1.39 3/213 20113
/proc/meminfo: memFree=28862224/32770624 swapFree=0/436160
[pid=19774] ppid=19771 vsize=14069564 CPUtime=2488.34 cores=1,3,5,7
/proc/19774/stat : 19774 (java) S 19771 19774 4821 0 -1 1077944320 270277 12361 0 0 248535 292 4 3 20 0 15 0 94005578 14407233536 321299 18446744073709551615 4194304 4196468 140720789912256 140720789894800 140347640864503 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
/proc/19774/statm: 3517391 321299 3478 1 0 3506005 0
[pid=19774/tid=19824] ppid=19771 vsize=14069564 CPUtime=2421.9 cores=1,3,5,7
/proc/19774/task/19824/stat : 19824 (java) R 19771 19774 4821 0 -1 4202560 92514 12361 0 0 242137 46 4 3 20 0 15 0 94005599 14407233536 321299 18446744073709551615 4194304 4196468 140720789912256 140347645098512 140347270494375 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19825] ppid=19771 vsize=14069564 CPUtime=11.29 cores=1,3,5,7
/proc/19774/task/19825/stat : 19825 (java) S 19771 19774 4821 0 -1 1077944384 19547 12361 0 0 1082 40 4 3 20 0 15 0 94005600 14407233536 321299 18446744073709551615 4194304 4196468 140720789912256 140347597830544 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19826] ppid=19771 vsize=14069564 CPUtime=11.29 cores=1,3,5,7
/proc/19774/task/19826/stat : 19826 (java) S 19771 19774 4821 0 -1 1077944384 21441 12361 0 0 1083 39 4 3 20 0 15 0 94005600 14407233536 321299 18446744073709551615 4194304 4196468 140720789912256 140347596777744 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19827] ppid=19771 vsize=14069564 CPUtime=11.32 cores=1,3,5,7
/proc/19774/task/19827/stat : 19827 (java) S 19771 19774 4821 0 -1 1077944384 23022 12361 0 0 1085 40 4 3 20 0 15 0 94005600 14407233536 321299 18446744073709551615 4194304 4196468 140720789912256 140347595725456 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19828] ppid=19771 vsize=14069564 CPUtime=11.27 cores=1,3,5,7
/proc/19774/task/19828/stat : 19828 (java) S 19771 19774 4821 0 -1 1077944384 20147 12361 0 0 1080 40 4 3 20 0 15 0 94005600 14407233536 321299 18446744073709551615 4194304 4196468 140720789912256 140347594672656 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19829] ppid=19771 vsize=14069564 CPUtime=7.22 cores=1,3,5,7
/proc/19774/task/19829/stat : 19829 (java) S 19771 19774 4821 0 -1 1077944384 18975 12361 0 0 674 41 4 3 20 0 15 0 94005601 14407233536 321299 18446744073709551615 4194304 4196468 140720789912256 140347186629232 140347640875650 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19830] ppid=19771 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19830/stat : 19830 (java) S 19771 19774 4821 0 -1 1077944384 42 12361 0 0 0 0 4 3 20 0 15 0 94005602 14407233536 321299 18446744073709551615 4194304 4196468 140720789912256 140347185575328 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19831] ppid=19771 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19831/stat : 19831 (java) S 19771 19774 4821 0 -1 1077944384 51 12361 0 0 0 0 4 3 20 0 15 0 94005602 14407233536 321299 18446744073709551615 4194304 4196468 140720789912256 140347184522880 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19832] ppid=19771 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19832/stat : 19832 (java) S 19771 19774 4821 0 -1 1077944384 2 12361 0 0 0 0 4 3 20 0 15 0 94005605 14407233536 321299 18446744073709551615 4194304 4196468 140720789912256 140346755639888 140347640883099 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19833] ppid=19771 vsize=14069564 CPUtime=5.8 cores=1,3,5,7
/proc/19774/task/19833/stat : 19833 (java) S 19771 19774 4821 0 -1 1077944384 31366 12361 0 0 568 5 4 3 20 0 15 0 94005605 14407233536 321299 18446744073709551615 4194304 4196468 140720789912256 140346754586736 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19834] ppid=19771 vsize=14069564 CPUtime=5.04 cores=1,3,5,7
/proc/19774/task/19834/stat : 19834 (java) S 19771 19774 4821 0 -1 1077944384 17915 12361 0 0 492 5 4 3 20 0 15 0 94005605 14407233536 321299 18446744073709551615 4194304 4196468 140720789912256 140346753533936 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19835] ppid=19771 vsize=14069564 CPUtime=2.34 cores=1,3,5,7
/proc/19774/task/19835/stat : 19835 (java) S 19771 19774 4821 0 -1 1077944384 21761 12361 0 0 223 4 4 3 20 0 15 0 94005605 14407233536 321299 18446744073709551615 4194304 4196468 140720789912256 140346752481648 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19836] ppid=19771 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19836/stat : 19836 (java) S 19771 19774 4821 0 -1 1077944384 3 12361 0 0 0 0 4 3 20 0 15 0 94005605 14407233536 321299 18446744073709551615 4194304 4196468 140720789912256 140346751429088 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19837] ppid=19771 vsize=14069564 CPUtime=1.4 cores=1,3,5,7
/proc/19774/task/19837/stat : 19837 (java) S 19771 19774 4821 0 -1 1077944384 1339 12361 0 0 61 72 4 3 20 0 15 0 94005609 14407233536 321299 18446744073709551615 4194304 4196468 140720789912256 140346750376880 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
Current children cumulated CPU time (s) 2488.34
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2473.6 s]
/proc/loadavg: 1.15 1.31 1.38 3/213 20114
/proc/meminfo: memFree=28860592/32770624 swapFree=0/436156
[pid=19774] ppid=19771 vsize=14069564 CPUtime=2520.09 cores=1,3,5,7
/proc/19774/stat : 19774 (java) S 19771 19774 4821 0 -1 1077944320 270901 12361 0 0 251707 295 4 3 20 0 15 0 94005578 14407233536 320915 18446744073709551615 4194304 4196468 140720789912256 140720789894800 140347640864503 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
/proc/19774/statm: 3517391 320915 3478 1 0 3506005 0
[pid=19774/tid=19824] ppid=19771 vsize=14069564 CPUtime=2452.95 cores=1,3,5,7
/proc/19774/task/19824/stat : 19824 (java) R 19771 19774 4821 0 -1 4202560 93106 12361 0 0 245241 47 4 3 20 0 15 0 94005599 14407233536 320915 18446744073709551615 4194304 4196468 140720789912256 140347645098432 140347285874014 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19825] ppid=19771 vsize=14069564 CPUtime=11.43 cores=1,3,5,7
/proc/19774/task/19825/stat : 19825 (java) S 19771 19774 4821 0 -1 1077944384 19547 12361 0 0 1096 40 4 3 20 0 15 0 94005600 14407233536 320915 18446744073709551615 4194304 4196468 140720789912256 140347597830544 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19826] ppid=19771 vsize=14069564 CPUtime=11.43 cores=1,3,5,7
/proc/19774/task/19826/stat : 19826 (java) S 19771 19774 4821 0 -1 1077944384 21443 12361 0 0 1097 39 4 3 20 0 15 0 94005600 14407233536 320915 18446744073709551615 4194304 4196468 140720789912256 140347596777744 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19827] ppid=19771 vsize=14069564 CPUtime=11.47 cores=1,3,5,7
/proc/19774/task/19827/stat : 19827 (java) S 19771 19774 4821 0 -1 1077944384 23025 12361 0 0 1099 41 4 3 20 0 15 0 94005600 14407233536 320915 18446744073709551615 4194304 4196468 140720789912256 140347595725456 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19828] ppid=19771 vsize=14069564 CPUtime=11.42 cores=1,3,5,7
/proc/19774/task/19828/stat : 19828 (java) S 19771 19774 4821 0 -1 1077944384 20166 12361 0 0 1095 40 4 3 20 0 15 0 94005600 14407233536 320915 18446744073709551615 4194304 4196468 140720789912256 140347594672656 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19829] ppid=19771 vsize=14069564 CPUtime=7.32 cores=1,3,5,7
/proc/19774/task/19829/stat : 19829 (java) S 19771 19774 4821 0 -1 1077944384 18981 12361 0 0 683 42 4 3 20 0 15 0 94005601 14407233536 320915 18446744073709551615 4194304 4196468 140720789912256 140347186629232 140347640875650 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19830] ppid=19771 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19830/stat : 19830 (java) S 19771 19774 4821 0 -1 1077944384 42 12361 0 0 0 0 4 3 20 0 15 0 94005602 14407233536 320915 18446744073709551615 4194304 4196468 140720789912256 140347185575328 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19831] ppid=19771 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19831/stat : 19831 (java) S 19771 19774 4821 0 -1 1077944384 51 12361 0 0 0 0 4 3 20 0 15 0 94005602 14407233536 320915 18446744073709551615 4194304 4196468 140720789912256 140347184522880 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19832] ppid=19771 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19832/stat : 19832 (java) S 19771 19774 4821 0 -1 1077944384 2 12361 0 0 0 0 4 3 20 0 15 0 94005605 14407233536 320915 18446744073709551615 4194304 4196468 140720789912256 140346755639888 140347640883099 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19833] ppid=19771 vsize=14069564 CPUtime=5.8 cores=1,3,5,7
/proc/19774/task/19833/stat : 19833 (java) S 19771 19774 4821 0 -1 1077944384 31366 12361 0 0 568 5 4 3 20 0 15 0 94005605 14407233536 320915 18446744073709551615 4194304 4196468 140720789912256 140346754586736 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19834] ppid=19771 vsize=14069564 CPUtime=5.04 cores=1,3,5,7
/proc/19774/task/19834/stat : 19834 (java) S 19771 19774 4821 0 -1 1077944384 17915 12361 0 0 492 5 4 3 20 0 15 0 94005605 14407233536 320915 18446744073709551615 4194304 4196468 140720789912256 140346753533936 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19835] ppid=19771 vsize=14069564 CPUtime=2.34 cores=1,3,5,7
/proc/19774/task/19835/stat : 19835 (java) S 19771 19774 4821 0 -1 1077944384 21761 12361 0 0 223 4 4 3 20 0 15 0 94005605 14407233536 320915 18446744073709551615 4194304 4196468 140720789912256 140346752481648 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19836] ppid=19771 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19836/stat : 19836 (java) S 19771 19774 4821 0 -1 1077944384 3 12361 0 0 0 0 4 3 20 0 15 0 94005605 14407233536 320915 18446744073709551615 4194304 4196468 140720789912256 140346751429088 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19837] ppid=19771 vsize=14069564 CPUtime=1.42 cores=1,3,5,7
/proc/19774/task/19837/stat : 19837 (java) S 19771 19774 4821 0 -1 1077944384 1341 12361 0 0 63 72 4 3 20 0 15 0 94005609 14407233536 320915 18446744073709551615 4194304 4196468 140720789912256 140346750376880 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
Current children cumulated CPU time (s) 2520.09
Current children cumulated vsize (KiB) 14069564

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

[startup+2473.8 s]
/proc/loadavg: 1.15 1.31 1.38 3/213 20114
/proc/meminfo: memFree=28860592/32770624 swapFree=0/436156
[pid=19774] ppid=19771 vsize=14202692 CPUtime=2520.75 cores=1,3,5,7
/proc/19774/stat : 19774 (java) S 19771 19774 4821 0 -1 1077944320 277356 12361 0 0 251772 296 4 3 20 0 17 0 94005578 14543556608 321979 18446744073709551615 4194304 4196468 140720789912256 140720789894800 140347640864503 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
/proc/19774/statm: 3550673 321979 3478 1 0 3539287 0
[pid=19774/tid=19824] ppid=19771 vsize=14202692 CPUtime=2452.96 cores=1,3,5,7
/proc/19774/task/19824/stat : 19824 (java) S 19771 19774 4821 0 -1 1077944384 93274 12361 0 0 245242 47 4 3 20 0 17 0 94005599 14543556608 321979 18446744073709551615 4194304 4196468 140720789912256 140347645102048 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19825] ppid=19771 vsize=14202692 CPUtime=11.59 cores=1,3,5,7
/proc/19774/task/19825/stat : 19825 (java) S 19771 19774 4821 0 -1 1077944384 19568 12361 0 0 1112 40 4 3 20 0 17 0 94005600 14543556608 321979 18446744073709551615 4194304 4196468 140720789912256 140347597830544 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19826] ppid=19771 vsize=14202692 CPUtime=11.59 cores=1,3,5,7
/proc/19774/task/19826/stat : 19826 (java) S 19771 19774 4821 0 -1 1077944384 21628 12361 0 0 1113 39 4 3 20 0 17 0 94005600 14543556608 321979 18446744073709551615 4194304 4196468 140720789912256 140347596777744 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19827] ppid=19771 vsize=14202692 CPUtime=11.62 cores=1,3,5,7
/proc/19774/task/19827/stat : 19827 (java) S 19771 19774 4821 0 -1 1077944384 23059 12361 0 0 1114 41 4 3 20 0 17 0 94005600 14543556608 321979 18446744073709551615 4194304 4196468 140720789912256 140347595725456 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19828] ppid=19771 vsize=14202692 CPUtime=11.57 cores=1,3,5,7
/proc/19774/task/19828/stat : 19828 (java) S 19771 19774 4821 0 -1 1077944384 20176 12361 0 0 1110 40 4 3 20 0 17 0 94005600 14543556608 321979 18446744073709551615 4194304 4196468 140720789912256 140347594672656 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19829] ppid=19771 vsize=14202692 CPUtime=7.34 cores=1,3,5,7
/proc/19774/task/19829/stat : 19829 (java) R 19771 19774 4821 0 -1 4202560 24846 12361 0 0 685 42 4 3 20 0 17 0 94005601 14543556608 321979 18446744073709551615 4194304 4196468 140720789912256 140347186627632 140347640885850 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19830] ppid=19771 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19830/stat : 19830 (java) S 19771 19774 4821 0 -1 1077944384 43 12361 0 0 0 0 4 3 20 0 17 0 94005602 14543556608 321979 18446744073709551615 4194304 4196468 140720789912256 140347185574928 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19831] ppid=19771 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19831/stat : 19831 (java) S 19771 19774 4821 0 -1 1077944384 51 12361 0 0 0 0 4 3 20 0 17 0 94005602 14543556608 321979 18446744073709551615 4194304 4196468 140720789912256 140347184522880 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19832] ppid=19771 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19832/stat : 19832 (java) S 19771 19774 4821 0 -1 1077944384 61 12361 0 0 0 0 4 3 20 0 17 0 94005605 14543556608 321979 18446744073709551615 4194304 4196468 140720789912256 140346755639888 140347640883099 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19833] ppid=19771 vsize=14202692 CPUtime=5.8 cores=1,3,5,7
/proc/19774/task/19833/stat : 19833 (java) S 19771 19774 4821 0 -1 1077944384 31366 12361 0 0 568 5 4 3 20 0 17 0 94005605 14543556608 321979 18446744073709551615 4194304 4196468 140720789912256 140346754586736 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19834] ppid=19771 vsize=14202692 CPUtime=5.04 cores=1,3,5,7
/proc/19774/task/19834/stat : 19834 (java) S 19771 19774 4821 0 -1 1077944384 17915 12361 0 0 492 5 4 3 20 0 17 0 94005605 14543556608 321979 18446744073709551615 4194304 4196468 140720789912256 140346753533936 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19835] ppid=19771 vsize=14202692 CPUtime=2.34 cores=1,3,5,7
/proc/19774/task/19835/stat : 19835 (java) S 19771 19774 4821 0 -1 1077944384 21761 12361 0 0 223 4 4 3 20 0 17 0 94005605 14543556608 321979 18446744073709551615 4194304 4196468 140720789912256 140346752481648 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19836] ppid=19771 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19836/stat : 19836 (java) S 19771 19774 4821 0 -1 1077944384 3 12361 0 0 0 0 4 3 20 0 17 0 94005605 14543556608 321979 18446744073709551615 4194304 4196468 140720789912256 140346751429088 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19837] ppid=19771 vsize=14202692 CPUtime=1.42 cores=1,3,5,7
/proc/19774/task/19837/stat : 19837 (java) S 19771 19774 4821 0 -1 1077944384 1341 12361 0 0 63 72 4 3 20 0 17 0 94005609 14543556608 321979 18446744073709551615 4194304 4196468 140720789912256 140346750376880 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
Current children cumulated CPU time (s) 2520.75
Current children cumulated vsize (KiB) 14202692

[startup+2473.9 s]
/proc/loadavg: 1.15 1.31 1.38 3/215 20116
/proc/meminfo: memFree=28857096/32770624 swapFree=0/436156
[pid=19774] ppid=19771 vsize=14202692 CPUtime=2521.02 cores=1,3,5,7
/proc/19774/stat : 19774 (java) S 19771 19774 4821 0 -1 1077944320 277358 12361 0 0 251799 296 4 3 20 0 17 0 94005578 14543556608 321851 18446744073709551615 4194304 4196468 140720789912256 140720789894800 140347640864503 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
/proc/19774/statm: 3550673 321851 3478 1 0 3539287 0
[pid=19774/tid=19824] ppid=19771 vsize=14202692 CPUtime=2452.96 cores=1,3,5,7
/proc/19774/task/19824/stat : 19824 (java) S 19771 19774 4821 0 -1 1077944384 93274 12361 0 0 245242 47 4 3 20 0 17 0 94005599 14543556608 321851 18446744073709551615 4194304 4196468 140720789912256 140347645102048 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19825] ppid=19771 vsize=14202692 CPUtime=11.64 cores=1,3,5,7
/proc/19774/task/19825/stat : 19825 (java) R 19771 19774 4821 0 -1 1077944384 19568 12361 0 0 1117 40 4 3 20 0 17 0 94005600 14543556608 321851 18446744073709551615 4194304 4196468 140720789912256 140347597830544 140347640874709 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19826] ppid=19771 vsize=14202692 CPUtime=11.64 cores=1,3,5,7
/proc/19774/task/19826/stat : 19826 (java) R 19771 19774 4821 0 -1 4202560 21628 12361 0 0 1118 39 4 3 20 0 17 0 94005600 14543556608 321851 18446744073709551615 4194304 4196468 140720789912256 140347596777744 140347625563233 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19827] ppid=19771 vsize=14202692 CPUtime=11.68 cores=1,3,5,7
/proc/19774/task/19827/stat : 19827 (java) R 19771 19774 4821 0 -1 4202560 23059 12361 0 0 1120 41 4 3 20 0 17 0 94005600 14543556608 321851 18446744073709551615 4194304 4196468 140720789912256 140347595725456 140347625861139 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19828] ppid=19771 vsize=14202692 CPUtime=11.63 cores=1,3,5,7
/proc/19774/task/19828/stat : 19828 (java) R 19771 19774 4821 0 -1 4202560 20176 12361 0 0 1116 40 4 3 20 0 17 0 94005600 14543556608 321851 18446744073709551615 4194304 4196468 140720789912256 140347594672656 140347625861149 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19829] ppid=19771 vsize=14202692 CPUtime=7.39 cores=1,3,5,7
/proc/19774/task/19829/stat : 19829 (java) S 19771 19774 4821 0 -1 1077944384 24846 12361 0 0 690 42 4 3 20 0 17 0 94005601 14543556608 321851 18446744073709551615 4194304 4196468 140720789912256 140347186627856 140347640874709 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19830] ppid=19771 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19830/stat : 19830 (java) S 19771 19774 4821 0 -1 1077944384 44 12361 0 0 0 0 4 3 20 0 17 0 94005602 14543556608 321851 18446744073709551615 4194304 4196468 140720789912256 140347185574832 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19831] ppid=19771 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19831/stat : 19831 (java) S 19771 19774 4821 0 -1 1077944384 51 12361 0 0 0 0 4 3 20 0 17 0 94005602 14543556608 321851 18446744073709551615 4194304 4196468 140720789912256 140347184522880 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19832] ppid=19771 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19832/stat : 19832 (java) S 19771 19774 4821 0 -1 1077944384 61 12361 0 0 0 0 4 3 20 0 17 0 94005605 14543556608 321851 18446744073709551615 4194304 4196468 140720789912256 140346755639888 140347640883099 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19833] ppid=19771 vsize=14202692 CPUtime=5.8 cores=1,3,5,7
/proc/19774/task/19833/stat : 19833 (java) S 19771 19774 4821 0 -1 1077944384 31366 12361 0 0 568 5 4 3 20 0 17 0 94005605 14543556608 321851 18446744073709551615 4194304 4196468 140720789912256 140346754586736 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19834] ppid=19771 vsize=14202692 CPUtime=5.04 cores=1,3,5,7
/proc/19774/task/19834/stat : 19834 (java) S 19771 19774 4821 0 -1 1077944384 17915 12361 0 0 492 5 4 3 20 0 17 0 94005605 14543556608 321851 18446744073709551615 4194304 4196468 140720789912256 140346753533936 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19835] ppid=19771 vsize=14202692 CPUtime=2.34 cores=1,3,5,7
/proc/19774/task/19835/stat : 19835 (java) S 19771 19774 4821 0 -1 1077944384 21761 12361 0 0 223 4 4 3 20 0 17 0 94005605 14543556608 321851 18446744073709551615 4194304 4196468 140720789912256 140346752481648 140347640875650 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19836] ppid=19771 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/19836/stat : 19836 (java) S 19771 19774 4821 0 -1 1077944384 3 12361 0 0 0 0 4 3 20 0 17 0 94005605 14543556608 321851 18446744073709551615 4194304 4196468 140720789912256 140346751429088 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=19837] ppid=19771 vsize=14202692 CPUtime=1.42 cores=1,3,5,7
/proc/19774/task/19837/stat : 19837 (java) R 19771 19774 4821 0 -1 1077944384 1341 12361 0 0 63 72 4 3 20 0 17 0 94005609 14543556608 321851 18446744073709551615 4194304 4196468 140720789912256 140346750376880 140347640875650 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=20115] ppid=19771 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/20115/stat : 20115 (java) S 19771 19774 4821 0 -1 1077944384 85 12361 0 0 0 0 4 3 20 0 17 0 94252940 14543556608 321851 18446744073709551615 4194304 4196468 140720789912256 140346720920048 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
[pid=19774/tid=20116] ppid=19771 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19774/task/20116/stat : 20116 (java) S 19771 19774 4821 0 -1 1077944384 27 12361 0 0 0 0 4 3 20 0 17 0 94252940 14543556608 321851 18446744073709551615 4194304 4196468 140720789912256 140346719868480 140347640874709 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7483392 140720789919696 140720789922481 140720789922481 140720789925839 0
Current children cumulated CPU time (s) 2521.02
Current children cumulated vsize (KiB) 14202692

Child status: 143
Real time (s): 2473.98
CPU time (s): 2521.23
CPU user time (s): 2518.22
CPU system time (s): 3.0088
CPU usage (%): 101.91
Max. virtual memory (cumulated for all children) (KiB): 14202692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.22
system time used= 3.0088
maximum resident set size= 1469164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289874
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 199549
involuntary context switches= 7357

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9073 second user time and 15.5249 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-11 16:17:36
IDJOB=4262533
IDBENCH=133836
IDSOLVER=2650
FILE ID=node133/4262533-1502461904
RUNJOBID= node133-1502411423-4885
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/QuasiGroups/QuasiGroups-elt-qg7/QuasiGroup-7-28.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262533-1502461904/watcher-4262533-1502461904 -o /tmp/evaluation-result-4262533-1502461904/solver-4262533-1502461904 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4885 --watchdog 2580  bin/concrete HOME/instance-4262533-1502461904.xml

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

MD5SUM BENCH= 3acdfa33911068ba5b02b5d01ed992db
RANDOM SEED=548922838

node133.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.17
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.17
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.17
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.17
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:        30599788 kB
MemAvailable:   31486612 kB
Buffers:          295032 kB
Cached:           885872 kB
SwapCached:            0 kB
Active:          1266024 kB
Inactive:         468824 kB
Active(anon):     554328 kB
Inactive(anon):    33112 kB
Active(file):     711696 kB
Inactive(file):   435712 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24524 kB
Writeback:             0 kB
AnonPages:        555772 kB
Mapped:            64580 kB
Shmem:             33468 kB
Slab:             137544 kB
SReclaimable:     110500 kB
SUnreclaim:        27044 kB
KernelStack:        3472 kB
PageTables:         6424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1210400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    454656 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61984 MiB
End job on node133 at 2017-08-11 16:58:50