Trace number 4403013

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.12.3? (TO) 2520.11 2472.17

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-030-15-2.xml
MD5SUMba573a75edcb56a5f29535772f8b277a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables480
Number of constraints495
Number of domains1
Minimum domain size1932
Maximum domain size1932
Distribution of domain sizes[{"size":1932,"count":480}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":30},{"degree":3,"count":450}]
Minimum constraint arity1
Maximum constraint arity30
Distribution of constraint arities[{"arity":1,"count":30},{"arity":2,"count":450},{"arity":30,"count":15}]
Number of extensional constraints0
Number of intensional constraints480
Distribution of constraint types[{"type":"intension","count":480},{"type":"noOverlap","count":15}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.90/2.60	c Concrete v3.12.3.1568965526260 running
2520.06/2472.12	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.06/2472.12		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:28)
2520.06/2472.12		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:57)
2520.06/2472.12		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:110)
2520.06/2472.12		at bitvectors.LargeBitVector.filter(LargeBitVector.scala:249)
2520.06/2472.12		at bitvectors.LargeBitVector.filter(LargeBitVector.scala:16)
2520.06/2472.12		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:110)
2520.06/2472.12		at concrete.IntervalDomain.filter(IntervalDomain.scala:79)
2520.06/2472.12		at concrete.IntervalDomain.filter(IntervalDomain.scala:7)
2520.06/2472.12		at concrete.heuristic.value.BestCost.select(BestCost.scala:57)
2520.06/2472.12		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.06/2472.12		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2520.06/2472.12		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2520.06/2472.12		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.06/2472.12		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2520.06/2472.12		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2520.06/2472.12		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.06/2472.12		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2520.06/2472.12		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2520.06/2472.12		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.06/2472.12		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:95)
2520.06/2472.12		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.06/2472.12		at scala.Option.map(Option.scala:242)
2520.06/2472.12		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.06/2472.12		at concrete.MAC.mac(MAC.scala:216)
2520.06/2472.12		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.06/2472.12		at scala.util.Try$.apply(Try.scala:210)
2520.06/2472.12		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.06/2472.12		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.06/2472.12		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.06/2472.12		at concrete.MAC.oneRun(MAC.scala:265)
2520.06/2472.12		at concrete.MAC.nextSolution(MAC.scala:284)
2520.06/2472.12		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:350)
2520.06/2472.12		at concrete.ProblemState.map(ProblemState.scala:238)
2520.06/2472.12		at concrete.ProblemState.map(ProblemState.scala:212)
2520.06/2472.12		at concrete.MAC.nextSolution(MAC.scala:348)
2520.06/2472.12		at concrete.Solver.hasNext(Solver.scala:160)
2520.06/2472.12		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2520.06/2472.12		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2520.06/2472.12		at concrete.Solver.foreach(Solver.scala:67)
2520.06/2472.12		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.06/2472.12		at scala.util.Success.map(Try.scala:262)
2520.06/2472.12		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.06/2472.12		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.06/2472.12		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.06/2472.12		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.06/2472.12		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.06/2472.12		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.06/2472.12		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.06/2472.12		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.06/2472.12		at scala.App.$anonfun$main$1(App.scala:73)
2520.06/2472.12		at scala.App.$anonfun$main$1$adapted(App.scala:73)
2520.06/2472.12		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2520.06/2472.12		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2520.06/2472.12		at scala.collection.AbstractIterable.foreach(Iterable.scala:921)
2520.06/2472.12		at scala.App.main(App.scala:73)
2520.06/2472.12		at scala.App.main$(App.scala:71)
2520.06/2472.12		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.06/2472.12		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.06/2472.13	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (157 MiB free)
  memory of node 1: 16384 MiB (64 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403013-1568967636/watcher-4403013-1568967636 -o /var/tmp/evaluation-result-4403013-1568967636/solver-4403013-1568967636 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1568967596-1429 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=695258949 HOME/instance-4403013-1568967636.xml 

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1467, runsolver pid=1460

[startup+0.100111 s]*
/proc/loadavg: 0.16 0.05 0.06 2/206 1478
/proc/meminfo: memFree=225804/32770624 swapFree=67021576/67108860
[pid=1467] ppid=1460 vsize=113256 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1467/stat : 1467 (bash) S 1460 1467 1397 0 -1 4202496 694 0 0 0 0 0 0 0 20 0 1 0 473036748 115974144 363 33554432000 4194304 5098028 140735421018352 140735421015992 140247536737280 0 0 4100 65536 18446744071580971376 0 0 17 1 0 0 2 0 0 7196144 7232144 24653824 140735421027329 140735421027457 140735421027457 140735421030382 0
/proc/1467/statm: 28314 363 290 221 0 119 0
[pid=1470] ppid=1467 vsize=113256 memory=708 CPUtime=0 cores=1,3,5,7
/proc/1470/stat : 1470 (bash) S 1467 1467 1397 0 -1 4202560 172 0 0 0 0 0 0 0 20 0 1 0 473036750 115974144 177 33554432000 4194304 5098028 140735421018352 140735421014520 140247536562812 0 65536 4096 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24653824 140735421027329 140735421027457 140735421027457 140735421030382 0
/proc/1470/statm: 28314 177 101 221 0 119 0
[pid=1472] ppid=1470 vsize=113256 memory=888 CPUtime=0 cores=1,3,5,7
/proc/1472/stat : 1472 (bash) S 1470 1467 1397 0 -1 4202560 210 426 0 1 0 0 0 0 20 0 1 0 473036750 115974144 222 33554432000 4194304 5098028 140735421018352 140735421011816 140247536737280 0 0 4096 65538 18446744071580971376 0 0 17 5 0 0 0 0 0 7196144 7232144 24653824 140735421027329 140735421027457 140735421027457 140735421030382 0
/proc/1472/statm: 28314 222 146 221 0 119 0
[pid=1478] ppid=1472 vsize=113256 memory=492 CPUtime=0 cores=1,3,5,7
/proc/1478/stat : 1478 (bash) D 1472 1467 1397 0 -1 4202560 125 0 0 0 0 0 0 0 20 0 1 0 473036757 115974144 123 33554432000 4194304 5098028 140735421018352 140735421010872 140247536735605 0 0 4096 65538 18446744071585676691 0 0 17 7 0 0 0 0 0 7196144 7232144 24653824 140735421027329 140735421027457 140735421027457 140735421030382 0
/proc/1478/statm: 28314 123 47 221 0 119 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 453024 KiB
Current children cumulated memory: 3540 KiB

[startup+0.209979 s]*
/proc/loadavg: 0.16 0.05 0.06 2/202 1519
/proc/meminfo: memFree=225428/32770624 swapFree=67021576/67108860
[pid=1467] ppid=1460 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/1467/stat : 1467 (bash) R 1460 1467 1397 0 -1 4202496 877 5674 0 1 0 0 0 1 20 0 1 0 473036748 115974144 404 33554432000 4194304 5098028 140735421018352 140735421011704 4559380 0 0 4100 65536 0 0 0 17 3 0 0 2 0 0 7196144 7232144 24653824 140735421027329 140735421027457 140735421027457 140735421030382 0
/proc/1467/statm: 28314 404 320 221 0 119 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1616 KiB

[startup+0.309315 s]*
/proc/loadavg: 0.16 0.05 0.06 2/206 1525
/proc/meminfo: memFree=225628/32770624 swapFree=67021576/67108860
[pid=1467] ppid=1460 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/1467/stat : 1467 (bash) S 1460 1467 1397 0 -1 4202496 887 5674 0 1 0 0 0 1 20 0 1 0 473036748 115974144 404 33554432000 4194304 5098028 140735421018352 140735421012360 140247536737280 0 0 4100 65536 18446744071580971376 0 0 17 3 0 0 2 0 0 7196144 7232144 24653824 140735421027329 140735421027457 140735421027457 140735421030382 0
/proc/1467/statm: 28314 404 320 221 0 119 0
[pid=1520] ppid=1467 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/1520/stat : 1520 (bash) S 1467 1467 1397 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 473036769 115974144 178 33554432000 4194304 5098028 140735421018352 140735421011032 140247536562812 0 65536 4096 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24653824 140735421027329 140735421027457 140735421027457 140735421030382 0
/proc/1520/statm: 28314 178 94 221 0 119 0
[pid=1521] ppid=1520 vsize=296 memory=4 CPUtime=0 cores=1,3,5,7
/proc/1521/stat : 1521 (java) D 1520 1467 1397 0 -1 1077936128 153 0 0 0 0 0 0 0 20 0 1 0 473036769 303104 1 33554432000 4194304 4196468 140721371303296 140721371300568 140117812389575 0 0 4096 0 18446744072101748260 0 0 17 5 0 0 0 0 0 6293624 6294260 25026560 140721371309180 140721371309194 140721371309194 140721371312079 0
/proc/1521/statm: 74 1 0 1 0 38 0
[pid=1523] ppid=1520 vsize=113488 memory=968 CPUtime=0 cores=1,3,5,7
/proc/1523/stat : 1523 (awk) S 1520 1467 1397 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 473036769 116211712 242 33554432000 4194304 4609284 140726472631520 140726472630696 140191590358016 0 0 4096 1216 18446744071580971376 0 0 17 7 0 0 0 0 0 6708720 6711756 32030720 140726472635564 140726472635594 140726472635594 140726472638447 0
/proc/1523/statm: 28372 242 203 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 340296 KiB
Current children cumulated memory: 3300 KiB

[startup+0.70059 s]
/proc/loadavg: 0.16 0.05 0.06 2/208 1527
/proc/meminfo: memFree=222868/32770624 swapFree=67021576/67108860
[pid=1467] ppid=1460 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/1467/stat : 1467 (bash) S 1460 1467 1397 0 -1 4202496 887 5674 0 1 0 0 0 1 20 0 1 0 473036748 115974144 404 33554432000 4194304 5098028 140735421018352 140735421012360 140247536737280 0 0 4100 65536 18446744071580971376 0 0 17 3 0 0 2 0 0 7196144 7232144 24653824 140735421027329 140735421027457 140735421027457 140735421030382 0
/proc/1467/statm: 28314 404 320 221 0 119 0
[pid=1520] ppid=1467 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/1520/stat : 1520 (bash) S 1467 1467 1397 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 473036769 115974144 178 33554432000 4194304 5098028 140735421018352 140735421011032 140247536562812 0 65536 4096 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24653824 140735421027329 140735421027457 140735421027457 140735421030382 0
/proc/1520/statm: 28314 178 94 221 0 119 0
[pid=1521] ppid=1520 vsize=9940964 memory=15472 CPUtime=0.01 cores=1,3,5,7
/proc/1521/stat : 1521 (java) S 1520 1467 1397 0 -1 1077944320 2706 0 1 0 0 1 0 0 20 0 6 0 473036769 10179547136 3868 33554432000 4194304 4196468 140721371303296 140721371285840 140117810114295 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 25026560 140721371309180 140721371309194 140721371309194 140721371312079 0
/proc/1521/statm: 2485241 3868 1348 1 0 2473679 0
[pid=1521/tid=1527] ppid=1520 vsize=9940964 memory=968 CPUtime=0 cores=1,3,5,7
/proc/1521/task/1527/stat : 1527 (java) D 1520 1467 1397 0 -1 4202560 1418 0 0 0 0 0 0 0 20 0 6 0 473036790 10179547136 3868 33554432000 4194304 4196468 140721371303296 140117814349512 140117766750070 0 4 0 16784584 18446744071580431491 0 0 -1 5 0 0 4 0 0 6293624 6294260 25026560 140721371309180 140721371309194 140721371309194 140721371312079 0
[pid=1523] ppid=1520 vsize=113488 memory=968 CPUtime=0 cores=1,3,5,7
/proc/1523/stat : 1523 (awk) S 1520 1467 1397 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 473036769 116211712 242 33554432000 4194304 4609284 140726472631520 140726472630696 140191590358016 0 0 4096 1216 18446744071580971376 0 0 17 7 0 0 0 0 0 6708720 6711756 32030720 140726472635564 140726472635594 140726472635594 140726472638447 0
/proc/1523/statm: 28372 242 203 102 0 88 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 10280964 KiB
Current children cumulated memory: 18768 KiB

[startup+1.5007 s]
/proc/loadavg: 0.16 0.05 0.06 2/216 1539
/proc/meminfo: memFree=199440/32770624 swapFree=67021576/67108860
[pid=1467] ppid=1460 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/1467/stat : 1467 (bash) S 1460 1467 1397 0 -1 4202496 887 5674 0 1 0 0 0 1 20 0 1 0 473036748 115974144 404 33554432000 4194304 5098028 140735421018352 140735421012360 140247536737280 0 0 4100 65536 18446744071580971376 0 0 17 3 0 0 2 0 0 7196144 7232144 24653824 140735421027329 140735421027457 140735421027457 140735421030382 0
/proc/1467/statm: 28314 404 320 221 0 119 0
[pid=1520] ppid=1467 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/1520/stat : 1520 (bash) S 1467 1467 1397 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 473036769 115974144 178 33554432000 4194304 5098028 140735421018352 140735421011032 140247536562812 0 65536 4096 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24653824 140735421027329 140735421027457 140735421027457 140735421030382 0
/proc/1520/statm: 28314 178 94 221 0 119 0
[pid=1521] ppid=1520 vsize=10593144 memory=22520 CPUtime=0.06 cores=1,3,5,7
/proc/1521/stat : 1521 (java) S 1520 1467 1397 0 -1 1077944320 4575 0 2 0 5 1 0 0 20 0 14 0 473036769 10847379456 5630 33554432000 4194304 4196468 140721371303296 140721371285840 140117810114295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 25026560 140721371309180 140721371309194 140721371309194 140721371312079 0
/proc/1521/statm: 2648286 5630 2612 1 0 2610827 0
[pid=1521/tid=1527] ppid=1520 vsize=10593144 memory=41028 CPUtime=0.04 cores=1,3,5,7
/proc/1521/task/1527/stat : 1527 (java) D 1520 1467 1397 0 -1 1077944384 2711 0 1 0 4 0 0 0 20 0 14 0 473036790 10847379456 5630 33554432000 4194304 4196468 140721371303296 140117814351896 140117802792309 0 4 0 16800975 18446744072101748260 0 0 -1 7 0 0 67 0 0 6293624 6294260 25026560 140721371309180 140721371309194 140721371309194 140721371312079 0
[pid=1521/tid=1533] ppid=1520 vsize=10593144 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/1521/task/1533/stat : 1533 (java) S 1520 1467 1397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 473036808 10847379456 5630 33554432000 4194304 4196468 140721371303296 140117746805776 140117810124501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140721371309180 140721371309194 140721371309194 140721371312079 0
[pid=1521/tid=1534] ppid=1520 vsize=10593144 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/1521/task/1534/stat : 1534 (java) S 1520 1467 1397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 473036808 10847379456 5630 33554432000 4194304 4196468 140721371303296 140117745753232 140117810124501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25026560 140721371309180 140721371309194 140721371309194 140721371312079 0
[pid=1521/tid=1538] ppid=1520 vsize=10593144 memory=712 CPUtime=0 cores=1,3,5,7
/proc/1521/task/1538/stat : 1538 (java) S 1520 1467 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 473036808 10847379456 5630 33554432000 4194304 4196468 140721371303296 140117744700176 140117810124501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25026560 140721371309180 140721371309194 140721371309194 140721371312079 0
[pid=1521/tid=1539] ppid=1520 vsize=10593144 memory=15472 CPUtime=0 cores=1,3,5,7
/proc/1521/task/1539/stat : 1539 (java) S 1520 1467 1397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 473036808 10847379456 5630 33554432000 4194304 4196468 140721371303296 140117743647632 140117810124501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25026560 140721371309180 140721371309194 140721371309194 140721371312079 0
[pid=1523] ppid=1520 vsize=113488 memory=968 CPUtime=0 cores=1,3,5,7
/proc/1523/stat : 1523 (awk) S 1520 1467 1397 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 473036769 116211712 242 33554432000 4194304 4609284 140726472631520 140726472630696 140191590358016 0 0 4096 1216 18446744071580971376 0 0 17 7 0 0 0 0 0 6708720 6711756 32030720 140726472635564 140726472635594 140726472635594 140726472638447 0
/proc/1523/statm: 28372 242 203 102 0 88 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 10933144 KiB
Current children cumulated memory: 25816 KiB

[startup+3.10976 s]
/proc/loadavg: 0.16 0.05 0.06 2/228 1605
/proc/meminfo: memFree=197760/32770624 swapFree=67021576/67108860
[pid=1467] ppid=1460 vsize=10822316 memory=70304 CPUtime=0.96 cores=1,3,5,7
/proc/1467/stat : 1467 (java) S 1460 1467 1397 0 -1 1077944320 15765 12973 0 4 77 10 6 3 20 0 15 0 473036748 11082051584 17576 33554432000 4194304 4196468 140720979947824 140720979930368 140162013564663 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 2 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
/proc/1467/statm: 2705579 17576 3486 1 0 2667661 0
[pid=1467/tid=1576] ppid=1460 vsize=10822316 memory=288230574492221466 CPUtime=0.62 cores=1,3,5,7
/proc/1467/task/1576/stat : 1576 (java) D 1460 1467 1397 0 -1 4202560 11249 12973 0 4 45 8 6 3 20 0 15 0 473036913 11082051584 17576 33554432000 4194304 4196468 140720979947824 140161985388224 140162013586589 0 4 0 16800975 18446744071580419588 0 0 -1 1 0 0 65 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1580] ppid=1460 vsize=10822316 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1580/stat : 1580 (java) S 1460 1467 1397 0 -1 1077944384 1 12973 0 4 0 0 6 3 20 0 15 0 473036916 11082051584 17576 33554432000 4194304 4196468 140720979947824 140162017807120 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1581] ppid=1460 vsize=10822316 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1581/stat : 1581 (java) S 1460 1467 1397 0 -1 1077944384 1 12973 0 4 0 0 6 3 20 0 15 0 473036916 11082051584 17576 33554432000 4194304 4196468 140720979947824 140161906080656 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1582] ppid=1460 vsize=10822316 memory=3472468577308800240 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1582/stat : 1582 (java) S 1460 1467 1397 0 -1 1077944384 1 12973 0 4 0 0 6 3 20 0 15 0 473036916 11082051584 17576 33554432000 4194304 4196468 140720979947824 140161905028112 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1583] ppid=1460 vsize=10822316 memory=164 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1583/stat : 1583 (java) S 1460 1467 1397 0 -1 1077944384 2 12973 0 4 0 0 6 3 20 0 15 0 473036916 11082051584 17576 33554432000 4194304 4196468 140720979947824 140161903975568 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1588] ppid=1460 vsize=10822316 memory=6944656592455360604 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1588/stat : 1588 (java) S 1460 1467 1397 0 -1 1077944384 6 12973 0 4 0 0 6 3 20 0 15 0 473036918 11082051584 17576 33554432000 4194304 4196468 140720979947824 140161015818224 140162013575810 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1589] ppid=1460 vsize=10822316 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1589/stat : 1589 (java) S 1460 1467 1397 0 -1 1077944384 33 12973 0 4 0 0 6 3 20 0 15 0 473036918 11082051584 17576 33554432000 4194304 4196468 140720979947824 140161014764448 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1591] ppid=1460 vsize=10822316 memory=-1624781813439352349 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1591/stat : 1591 (java) S 1460 1467 1397 0 -1 1077944384 1 12973 0 4 0 0 6 3 20 0 15 0 473036918 11082051584 17576 33554432000 4194304 4196468 140720979947824 140160888988656 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1594] ppid=1460 vsize=10822316 memory=6943526294502006880 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1594/stat : 1594 (java) S 1460 1467 1397 0 -1 1077944384 3 12973 0 4 0 0 6 3 20 0 15 0 473036926 11082051584 17576 33554432000 4194304 4196468 140720979947824 140160581589200 140162013583259 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1595] ppid=1460 vsize=10822316 memory=6944656592455359580 CPUtime=0.19 cores=1,3,5,7
/proc/1467/task/1595/stat : 1595 (java) S 1460 1467 1397 0 -1 1077944384 1017 12973 0 4 10 0 6 3 20 0 15 0 473036926 11082051584 17576 33554432000 4194304 4196468 140720979947824 140160981207536 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1596] ppid=1460 vsize=10822316 memory=6943526294502006880 CPUtime=0.16 cores=1,3,5,7
/proc/1467/task/1596/stat : 1596 (java) S 1460 1467 1397 0 -1 1077944384 500 12973 0 4 7 0 6 3 20 0 15 0 473036926 11082051584 17576 33554432000 4194304 4196468 140720979947824 140160980154992 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1597] ppid=1460 vsize=10822316 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/1467/task/1597/stat : 1597 (java) S 1460 1467 1397 0 -1 1077944384 745 12973 0 4 13 0 6 3 20 0 15 0 473036926 11082051584 17576 33554432000 4194304 4196468 140720979947824 140160979102448 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1598] ppid=1460 vsize=10822316 memory=1760 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1598/stat : 1598 (java) S 1460 1467 1397 0 -1 1077944384 3 12973 0 4 0 0 6 3 20 0 15 0 473036926 11082051584 17576 33554432000 4194304 4196468 140720979947824 140160548031584 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1604] ppid=1460 vsize=10822316 memory=1172 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1604/stat : 1604 (java) S 1460 1467 1397 0 -1 1077944384 1 12973 0 4 0 0 6 3 20 0 15 0 473036937 11082051584 17576 33554432000 4194304 4196468 140720979947824 140160978049328 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 70304 KiB
heavy processes:

[startup+6.30072 s]
/proc/loadavg: 0.31 0.08 0.07 5/228 1605
/proc/meminfo: memFree=186792/32770624 swapFree=67021576/67108860
[pid=1467] ppid=1460 vsize=10824364 memory=85972 CPUtime=1.39 cores=1,3,5,7
/proc/1467/stat : 1467 (java) S 1460 1467 1397 0 -1 1077944320 18386 12973 0 4 118 12 6 3 20 0 15 0 473036748 11084148736 21493 33554432000 4194304 4196468 140720979947824 140720979930368 140162013564663 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 2 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
/proc/1467/statm: 2706091 21493 3515 1 0 2668173 0
[pid=1467/tid=1576] ppid=1460 vsize=10824364 memory=280562296230112 CPUtime=0.82 cores=1,3,5,7
/proc/1467/task/1576/stat : 1576 (java) D 1460 1467 1397 0 -1 1077944384 13629 12973 0 4 64 9 6 3 20 0 15 0 473036913 11084148736 21493 33554432000 4194304 4196468 140720979947824 140161985394272 140162013588541 0 4 0 16800975 18446744072101748260 0 0 -1 5 0 0 343 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1580] ppid=1460 vsize=10824364 memory=280562296618112 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1580/stat : 1580 (java) S 1460 1467 1397 0 -1 1077944384 1 12973 0 4 0 0 6 3 20 0 15 0 473036916 11084148736 21493 33554432000 4194304 4196468 140720979947824 140162017807120 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1581] ppid=1460 vsize=10824364 memory=280562296164928 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1581/stat : 1581 (java) S 1460 1467 1397 0 -1 1077944384 1 12973 0 4 0 0 6 3 20 0 15 0 473036916 11084148736 21493 33554432000 4194304 4196468 140720979947824 140161906080656 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1582] ppid=1460 vsize=10824364 memory=75428 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1582/stat : 1582 (java) S 1460 1467 1397 0 -1 1077944384 1 12973 0 4 0 0 6 3 20 0 15 0 473036916 11084148736 21493 33554432000 4194304 4196468 140720979947824 140161905028112 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1583] ppid=1460 vsize=10824364 memory=2308 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1583/stat : 1583 (java) S 1460 1467 1397 0 -1 1077944384 2 12973 0 4 0 0 6 3 20 0 15 0 473036916 11084148736 21493 33554432000 4194304 4196468 140720979947824 140161903975568 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1588] ppid=1460 vsize=10824364 memory=8112282956445269571 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1588/stat : 1588 (java) S 1460 1467 1397 0 -1 1077944384 6 12973 0 4 0 0 6 3 20 0 15 0 473036918 11084148736 21493 33554432000 4194304 4196468 140720979947824 140161015818224 140162013575810 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1589] ppid=1460 vsize=10824364 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1589/stat : 1589 (java) S 1460 1467 1397 0 -1 1077944384 33 12973 0 4 0 0 6 3 20 0 15 0 473036918 11084148736 21493 33554432000 4194304 4196468 140720979947824 140161014764448 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1591] ppid=1460 vsize=10824364 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1591/stat : 1591 (java) S 1460 1467 1397 0 -1 1077944384 1 12973 0 4 0 0 6 3 20 0 15 0 473036918 11084148736 21493 33554432000 4194304 4196468 140720979947824 140160888988656 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1594] ppid=1460 vsize=10824364 memory=1996 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1594/stat : 1594 (java) S 1460 1467 1397 0 -1 1077944384 3 12973 0 4 0 0 6 3 20 0 15 0 473036926 11084148736 21493 33554432000 4194304 4196468 140720979947824 140160581589200 140162013583259 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1595] ppid=1460 vsize=10824364 memory=2508 CPUtime=0.27 cores=1,3,5,7
/proc/1467/task/1595/stat : 1595 (java) S 1460 1467 1397 0 -1 1077944384 1046 12973 0 4 18 0 6 3 20 0 15 0 473036926 11084148736 21493 33554432000 4194304 4196468 140720979947824 140160981207536 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1596] ppid=1460 vsize=10824364 memory=78488 CPUtime=0.22 cores=1,3,5,7
/proc/1467/task/1596/stat : 1596 (java) S 1460 1467 1397 0 -1 1077944384 548 12973 0 4 13 0 6 3 20 0 15 0 473036926 11084148736 21493 33554432000 4194304 4196468 140720979947824 140160980154992 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1597] ppid=1460 vsize=10824364 memory=4640185777728278608 CPUtime=0.3 cores=1,3,5,7
/proc/1467/task/1597/stat : 1597 (java) S 1460 1467 1397 0 -1 1077944384 907 12973 0 4 20 1 6 3 20 0 15 0 473036926 11084148736 21493 33554432000 4194304 4196468 140720979947824 140160979102448 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1598] ppid=1460 vsize=10824364 memory=6656426216303648864 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1598/stat : 1598 (java) S 1460 1467 1397 0 -1 1077944384 3 12973 0 4 0 0 6 3 20 0 15 0 473036926 11084148736 21493 33554432000 4194304 4196468 140720979947824 140160548031584 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1604] ppid=1460 vsize=10824364 memory=7301293140582820439 CPUtime=0.09 cores=1,3,5,7

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

/proc/1467/task/1576/stat : 1576 (java) R 1460 1467 1397 0 -1 4202560 2419261 12973 1 4 235658 371 6 3 20 0 15 0 473036913 11109412864 273098 33554432000 4194304 4196468 140720979947824 140161985398336 140161597849187 0 4 0 16800975 0 0 0 -1 3 0 0 380 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1580] ppid=1460 vsize=10849036 memory=1099568 CPUtime=11.36 cores=1,3,5,7
/proc/1467/task/1580/stat : 1580 (java) S 1460 1467 1397 0 -1 1077944384 71818 12973 0 4 1080 47 6 3 20 0 15 0 473036916 11109412864 273098 33554432000 4194304 4196468 140720979947824 140162017807120 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1581] ppid=1460 vsize=10849036 memory=1095984 CPUtime=11.31 cores=1,3,5,7
/proc/1467/task/1581/stat : 1581 (java) S 1460 1467 1397 0 -1 1077944384 73888 12973 0 4 1077 45 6 3 20 0 15 0 473036916 11109412864 273098 33554432000 4194304 4196468 140720979947824 140161906080656 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1582] ppid=1460 vsize=10849036 memory=1093416 CPUtime=11.35 cores=1,3,5,7
/proc/1467/task/1582/stat : 1582 (java) S 1460 1467 1397 0 -1 1077944384 68412 12973 0 4 1080 46 6 3 20 0 15 0 473036916 11109412864 273098 33554432000 4194304 4196468 140720979947824 140161905028112 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1583] ppid=1460 vsize=10849036 memory=1093416 CPUtime=11.34 cores=1,3,5,7
/proc/1467/task/1583/stat : 1583 (java) S 1460 1467 1397 0 -1 1077944384 80362 12973 0 4 1077 48 6 3 20 0 15 0 473036916 11109412864 273098 33554432000 4194304 4196468 140720979947824 140161903975568 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1588] ppid=1460 vsize=10849036 memory=1092904 CPUtime=3.36 cores=1,3,5,7
/proc/1467/task/1588/stat : 1588 (java) S 1460 1467 1397 0 -1 1077944384 32718 12973 0 4 280 47 6 3 20 0 15 0 473036918 11109412864 273098 33554432000 4194304 4196468 140720979947824 140161015818224 140162013575810 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1589] ppid=1460 vsize=10849036 memory=1092392 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1589/stat : 1589 (java) S 1460 1467 1397 0 -1 1077944384 77 12973 0 4 0 0 6 3 20 0 15 0 473036918 11109412864 273098 33554432000 4194304 4196468 140720979947824 140161014764576 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1591] ppid=1460 vsize=10849036 memory=1244 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1591/stat : 1591 (java) S 1460 1467 1397 0 -1 1077944384 48 12973 0 4 0 0 6 3 20 0 15 0 473036918 11109412864 273098 33554432000 4194304 4196468 140720979947824 140160888988672 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1594] ppid=1460 vsize=10849036 memory=1094444 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1594/stat : 1594 (java) S 1460 1467 1397 0 -1 1077944384 3 12973 0 4 0 0 6 3 20 0 15 0 473036926 11109412864 273098 33554432000 4194304 4196468 140720979947824 140160581589200 140162013583259 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1595] ppid=1460 vsize=10849036 memory=3648 CPUtime=8.18 cores=1,3,5,7
/proc/1467/task/1595/stat : 1595 (java) S 1460 1467 1397 0 -1 1077944384 51729 12973 0 4 802 7 6 3 20 0 15 0 473036926 11109412864 273098 33554432000 4194304 4196468 140720979947824 140160981207536 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1596] ppid=1460 vsize=10849036 memory=1092904 CPUtime=8.14 cores=1,3,5,7
/proc/1467/task/1596/stat : 1596 (java) S 1460 1467 1397 0 -1 1077944384 61600 12973 0 4 798 7 6 3 20 0 15 0 473036926 11109412864 273098 33554432000 4194304 4196468 140720979947824 140160980154992 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1597] ppid=1460 vsize=10849036 memory=1092904 CPUtime=2.84 cores=1,3,5,7
/proc/1467/task/1597/stat : 1597 (java) S 1460 1467 1397 0 -1 1077944384 63906 12973 0 4 265 10 6 3 20 0 15 0 473036926 11109412864 273098 33554432000 4194304 4196468 140720979947824 140160979102448 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1598] ppid=1460 vsize=10849036 memory=1093416 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1598/stat : 1598 (java) S 1460 1467 1397 0 -1 1077944384 3 12973 0 4 0 0 6 3 20 0 15 0 473036926 11109412864 273098 33554432000 4194304 4196468 140720979947824 140160548031584 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1604] ppid=1460 vsize=10849036 memory=1093416 CPUtime=1.54 cores=1,3,5,7
/proc/1467/task/1604/stat : 1604 (java) S 1460 1467 1397 0 -1 1077944384 1578 12973 0 4 67 78 6 3 20 0 15 0 473036937 11109412864 273098 33554432000 4194304 4196468 140720979947824 140160978049328 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
Current children cumulated CPU time: 2429.1 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1092392 KiB

[startup+2442.3 s]
/proc/loadavg: 1.32 1.34 1.26 3/229 1960
/proc/meminfo: memFree=2119536/32770624 swapFree=67021600/67108860
[pid=1467] ppid=1460 vsize=10849036 memory=1046252 CPUtime=2489.82 cores=1,3,5,7
/proc/1467/stat : 1467 (java) S 1460 1467 1397 0 -1 1077944320 2940893 12973 1 4 248292 681 6 3 20 0 15 0 473036748 11109412864 261563 33554432000 4194304 4196468 140720979947824 140720979930368 140162013564663 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 2 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
/proc/1467/statm: 2712259 261563 3651 1 0 2674317 0
[pid=1467/tid=1576] ppid=1460 vsize=10849036 memory=1083672 CPUtime=2420.07 cores=1,3,5,7
/proc/1467/task/1576/stat : 1576 (java) R 1460 1467 1397 0 -1 4202560 2425063 12973 1 4 241627 371 6 3 20 0 15 0 473036913 11109412864 261563 33554432000 4194304 4196468 140720979947824 140161985397504 140161597274958 0 4 0 16800975 0 0 0 -1 5 0 0 380 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1580] ppid=1460 vsize=10849036 memory=1065236 CPUtime=11.6 cores=1,3,5,7
/proc/1467/task/1580/stat : 1580 (java) S 1460 1467 1397 0 -1 1077944384 73726 12973 0 4 1104 47 6 3 20 0 15 0 473036916 11109412864 261563 33554432000 4194304 4196468 140720979947824 140162017807120 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1581] ppid=1460 vsize=10849036 memory=1049844 CPUtime=11.55 cores=1,3,5,7
/proc/1467/task/1581/stat : 1581 (java) S 1460 1467 1397 0 -1 1077944384 75896 12973 0 4 1101 45 6 3 20 0 15 0 473036916 11109412864 261563 33554432000 4194304 4196468 140720979947824 140161906080656 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1582] ppid=1460 vsize=10849036 memory=1049332 CPUtime=11.58 cores=1,3,5,7
/proc/1467/task/1582/stat : 1582 (java) S 1460 1467 1397 0 -1 1077944384 70061 12973 0 4 1103 46 6 3 20 0 15 0 473036916 11109412864 261563 33554432000 4194304 4196468 140720979947824 140161905028112 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1583] ppid=1460 vsize=10849036 memory=1048304 CPUtime=11.57 cores=1,3,5,7
/proc/1467/task/1583/stat : 1583 (java) S 1460 1467 1397 0 -1 1077944384 82028 12973 0 4 1100 48 6 3 20 0 15 0 473036916 11109412864 261563 33554432000 4194304 4196468 140720979947824 140161903975568 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1588] ppid=1460 vsize=10849036 memory=1046768 CPUtime=3.42 cores=1,3,5,7
/proc/1467/task/1588/stat : 1588 (java) S 1460 1467 1397 0 -1 1077944384 32950 12973 0 4 285 48 6 3 20 0 15 0 473036918 11109412864 261563 33554432000 4194304 4196468 140720979947824 140161015818224 140162013575810 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1589] ppid=1460 vsize=10849036 memory=1046768 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1589/stat : 1589 (java) S 1460 1467 1397 0 -1 1077944384 77 12973 0 4 0 0 6 3 20 0 15 0 473036918 11109412864 261563 33554432000 4194304 4196468 140720979947824 140161014764576 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1591] ppid=1460 vsize=10849036 memory=1059592 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1591/stat : 1591 (java) S 1460 1467 1397 0 -1 1077944384 48 12973 0 4 0 0 6 3 20 0 15 0 473036918 11109412864 261563 33554432000 4194304 4196468 140720979947824 140160888988672 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1594] ppid=1460 vsize=10849036 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1594/stat : 1594 (java) S 1460 1467 1397 0 -1 1077944384 3 12973 0 4 0 0 6 3 20 0 15 0 473036926 11109412864 261563 33554432000 4194304 4196468 140720979947824 140160581589200 140162013583259 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1595] ppid=1460 vsize=10849036 memory=1046768 CPUtime=8.18 cores=1,3,5,7
/proc/1467/task/1595/stat : 1595 (java) S 1460 1467 1397 0 -1 1077944384 51731 12973 0 4 802 7 6 3 20 0 15 0 473036926 11109412864 261563 33554432000 4194304 4196468 140720979947824 140160981207536 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1596] ppid=1460 vsize=10849036 memory=1048304 CPUtime=8.14 cores=1,3,5,7
/proc/1467/task/1596/stat : 1596 (java) S 1460 1467 1397 0 -1 1077944384 61602 12973 0 4 798 7 6 3 20 0 15 0 473036926 11109412864 261563 33554432000 4194304 4196468 140720979947824 140160980154992 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1597] ppid=1460 vsize=10849036 memory=1052408 CPUtime=2.84 cores=1,3,5,7
/proc/1467/task/1597/stat : 1597 (java) S 1460 1467 1397 0 -1 1077944384 63909 12973 0 4 265 10 6 3 20 0 15 0 473036926 11109412864 261563 33554432000 4194304 4196468 140720979947824 140160979102448 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1598] ppid=1460 vsize=10849036 memory=1052408 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1598/stat : 1598 (java) S 1460 1467 1397 0 -1 1077944384 3 12973 0 4 0 0 6 3 20 0 15 0 473036926 11109412864 261563 33554432000 4194304 4196468 140720979947824 140160548031584 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1604] ppid=1460 vsize=10849036 memory=1048304 CPUtime=1.57 cores=1,3,5,7
/proc/1467/task/1604/stat : 1604 (java) S 1460 1467 1397 0 -1 1077944384 1594 12973 0 4 69 79 6 3 20 0 15 0 473036937 11109412864 261563 33554432000 4194304 4196468 140720979947824 140160978049328 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
Current children cumulated CPU time: 2489.82 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1046252 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2472.11 s]
/proc/loadavg: 1.24 1.32 1.26 3/229 1985
/proc/meminfo: memFree=2062380/32770624 swapFree=67021608/67108860
[pid=1467] ppid=1460 vsize=10849036 memory=1107164 CPUtime=2520.06 cores=1,3,5,7
/proc/1467/stat : 1467 (java) S 1460 1467 1397 0 -1 1077944320 2946749 12973 1 4 251308 689 6 3 20 0 15 0 473036748 11109412864 276791 33554432000 4194304 4196468 140720979947824 140720979930368 140162013564663 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 2 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
/proc/1467/statm: 2712259 276791 3651 1 0 2674317 0
[pid=1467/tid=1576] ppid=1460 vsize=10849036 memory=1107164 CPUtime=2449.69 cores=1,3,5,7
/proc/1467/task/1576/stat : 1576 (java) R 1460 1467 1397 0 -1 4202560 2427281 12973 1 4 244585 375 6 3 20 0 15 0 473036913 11109412864 276791 33554432000 4194304 4196468 140720979947824 140161985400064 140161577983744 0 4 0 16800975 0 0 0 -1 5 0 0 380 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1580] ppid=1460 vsize=10849036 memory=1033036 CPUtime=11.74 cores=1,3,5,7
/proc/1467/task/1580/stat : 1580 (java) S 1460 1467 1397 0 -1 1077944384 74572 12973 0 4 1117 48 6 3 20 0 15 0 473036916 11109412864 276791 33554432000 4194304 4196468 140720979947824 140162017807120 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1581] ppid=1460 vsize=10849036 memory=1033036 CPUtime=11.68 cores=1,3,5,7
/proc/1467/task/1581/stat : 1581 (java) S 1460 1467 1397 0 -1 1077944384 76623 12973 0 4 1114 45 6 3 20 0 15 0 473036916 11109412864 276791 33554432000 4194304 4196468 140720979947824 140161906080656 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1582] ppid=1460 vsize=10849036 memory=1026884 CPUtime=11.73 cores=1,3,5,7
/proc/1467/task/1582/stat : 1582 (java) S 1460 1467 1397 0 -1 1077944384 70746 12973 0 4 1117 47 6 3 20 0 15 0 473036916 11109412864 276791 33554432000 4194304 4196468 140720979947824 140161905028112 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1583] ppid=1460 vsize=10849036 memory=1022168 CPUtime=11.71 cores=1,3,5,7
/proc/1467/task/1583/stat : 1583 (java) S 1460 1467 1397 0 -1 1077944384 82765 12973 0 4 1113 49 6 3 20 0 15 0 473036916 11109412864 276791 33554432000 4194304 4196468 140720979947824 140161903975568 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1588] ppid=1460 vsize=10849036 memory=1022168 CPUtime=3.45 cores=1,3,5,7
/proc/1467/task/1588/stat : 1588 (java) S 1460 1467 1397 0 -1 1077944384 33075 12973 0 4 288 48 6 3 20 0 15 0 473036918 11109412864 276791 33554432000 4194304 4196468 140720979947824 140161015818224 140162013575810 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1589] ppid=1460 vsize=10849036 memory=1026772 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1589/stat : 1589 (java) S 1460 1467 1397 0 -1 1077944384 77 12973 0 4 0 0 6 3 20 0 15 0 473036918 11109412864 276791 33554432000 4194304 4196468 140720979947824 140161014764576 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1591] ppid=1460 vsize=10849036 memory=1107164 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1591/stat : 1591 (java) S 1460 1467 1397 0 -1 1077944384 48 12973 0 4 0 0 6 3 20 0 15 0 473036918 11109412864 276791 33554432000 4194304 4196468 140720979947824 140160888988672 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1594] ppid=1460 vsize=10849036 memory=1021688 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1594/stat : 1594 (java) S 1460 1467 1397 0 -1 1077944384 3 12973 0 4 0 0 6 3 20 0 15 0 473036926 11109412864 276791 33554432000 4194304 4196468 140720979947824 140160581589200 140162013583259 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1595] ppid=1460 vsize=10849036 memory=3880 CPUtime=8.18 cores=1,3,5,7
/proc/1467/task/1595/stat : 1595 (java) S 1460 1467 1397 0 -1 1077944384 51733 12973 0 4 802 7 6 3 20 0 15 0 473036926 11109412864 276791 33554432000 4194304 4196468 140720979947824 140160981207536 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1596] ppid=1460 vsize=10849036 memory=1026884 CPUtime=8.14 cores=1,3,5,7
/proc/1467/task/1596/stat : 1596 (java) S 1460 1467 1397 0 -1 1077944384 61799 12973 0 4 798 7 6 3 20 0 15 0 473036926 11109412864 276791 33554432000 4194304 4196468 140720979947824 140160980154992 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1597] ppid=1460 vsize=10849036 memory=3648 CPUtime=2.84 cores=1,3,5,7
/proc/1467/task/1597/stat : 1597 (java) S 1460 1467 1397 0 -1 1077944384 64224 12973 0 4 265 10 6 3 20 0 15 0 473036926 11109412864 276791 33554432000 4194304 4196468 140720979947824 140160979102448 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1598] ppid=1460 vsize=10849036 memory=603 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1598/stat : 1598 (java) S 1460 1467 1397 0 -1 1077944384 3 12973 0 4 0 0 6 3 20 0 15 0 473036926 11109412864 276791 33554432000 4194304 4196468 140720979947824 140160548031584 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1604] ppid=1460 vsize=10849036 memory=3648 CPUtime=1.59 cores=1,3,5,7
/proc/1467/task/1604/stat : 1604 (java) S 1460 1467 1397 0 -1 1077944384 1598 12973 0 4 70 80 6 3 20 0 15 0 473036937 11109412864 276791 33554432000 4194304 4196468 140720979947824 140160978049328 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1107164 KiB

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

[startup+2472.17 s]
# the end of solver process 1467 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2513.17 s, system=6.94311 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2472.11 s]
/proc/loadavg: 1.24 1.32 1.26 3/229 1985
/proc/meminfo: memFree=2062380/32770624 swapFree=67021608/67108860
[pid=1467] ppid=1460 vsize=10849036 memory=1107164 CPUtime=2520.06 cores=1,3,5,7
/proc/1467/stat : 1467 (java) S 1460 1467 1397 0 -1 1077944320 2946749 12973 1 4 251308 689 6 3 20 0 15 0 473036748 11109412864 276791 33554432000 4194304 4196468 140720979947824 140720979930368 140162013564663 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 2 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
/proc/1467/statm: 2712259 276791 3651 1 0 2674317 0
[pid=1467/tid=1576] ppid=1460 vsize=10849036 memory=1107164 CPUtime=2449.69 cores=1,3,5,7
/proc/1467/task/1576/stat : 1576 (java) R 1460 1467 1397 0 -1 4202560 2427281 12973 1 4 244585 375 6 3 20 0 15 0 473036913 11109412864 276791 33554432000 4194304 4196468 140720979947824 140161985400064 140161577983744 0 4 0 16800975 0 0 0 -1 5 0 0 380 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1580] ppid=1460 vsize=10849036 memory=1033036 CPUtime=11.74 cores=1,3,5,7
/proc/1467/task/1580/stat : 1580 (java) S 1460 1467 1397 0 -1 1077944384 74572 12973 0 4 1117 48 6 3 20 0 15 0 473036916 11109412864 276791 33554432000 4194304 4196468 140720979947824 140162017807120 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1581] ppid=1460 vsize=10849036 memory=1033036 CPUtime=11.68 cores=1,3,5,7
/proc/1467/task/1581/stat : 1581 (java) S 1460 1467 1397 0 -1 1077944384 76623 12973 0 4 1114 45 6 3 20 0 15 0 473036916 11109412864 276791 33554432000 4194304 4196468 140720979947824 140161906080656 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1582] ppid=1460 vsize=10849036 memory=1026884 CPUtime=11.73 cores=1,3,5,7
/proc/1467/task/1582/stat : 1582 (java) S 1460 1467 1397 0 -1 1077944384 70746 12973 0 4 1117 47 6 3 20 0 15 0 473036916 11109412864 276791 33554432000 4194304 4196468 140720979947824 140161905028112 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1583] ppid=1460 vsize=10849036 memory=1022168 CPUtime=11.71 cores=1,3,5,7
/proc/1467/task/1583/stat : 1583 (java) S 1460 1467 1397 0 -1 1077944384 82765 12973 0 4 1113 49 6 3 20 0 15 0 473036916 11109412864 276791 33554432000 4194304 4196468 140720979947824 140161903975568 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1588] ppid=1460 vsize=10849036 memory=1022168 CPUtime=3.45 cores=1,3,5,7
/proc/1467/task/1588/stat : 1588 (java) S 1460 1467 1397 0 -1 1077944384 33075 12973 0 4 288 48 6 3 20 0 15 0 473036918 11109412864 276791 33554432000 4194304 4196468 140720979947824 140161015818224 140162013575810 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1589] ppid=1460 vsize=10849036 memory=1026772 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1589/stat : 1589 (java) S 1460 1467 1397 0 -1 1077944384 77 12973 0 4 0 0 6 3 20 0 15 0 473036918 11109412864 276791 33554432000 4194304 4196468 140720979947824 140161014764576 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1591] ppid=1460 vsize=10849036 memory=1107164 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1591/stat : 1591 (java) S 1460 1467 1397 0 -1 1077944384 48 12973 0 4 0 0 6 3 20 0 15 0 473036918 11109412864 276791 33554432000 4194304 4196468 140720979947824 140160888988672 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1594] ppid=1460 vsize=10849036 memory=1021688 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1594/stat : 1594 (java) S 1460 1467 1397 0 -1 1077944384 3 12973 0 4 0 0 6 3 20 0 15 0 473036926 11109412864 276791 33554432000 4194304 4196468 140720979947824 140160581589200 140162013583259 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1595] ppid=1460 vsize=10849036 memory=3880 CPUtime=8.18 cores=1,3,5,7
/proc/1467/task/1595/stat : 1595 (java) S 1460 1467 1397 0 -1 1077944384 51733 12973 0 4 802 7 6 3 20 0 15 0 473036926 11109412864 276791 33554432000 4194304 4196468 140720979947824 140160981207536 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1596] ppid=1460 vsize=10849036 memory=1026884 CPUtime=8.14 cores=1,3,5,7
/proc/1467/task/1596/stat : 1596 (java) S 1460 1467 1397 0 -1 1077944384 61799 12973 0 4 798 7 6 3 20 0 15 0 473036926 11109412864 276791 33554432000 4194304 4196468 140720979947824 140160980154992 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1597] ppid=1460 vsize=10849036 memory=3648 CPUtime=2.84 cores=1,3,5,7
/proc/1467/task/1597/stat : 1597 (java) S 1460 1467 1397 0 -1 1077944384 64224 12973 0 4 265 10 6 3 20 0 15 0 473036926 11109412864 276791 33554432000 4194304 4196468 140720979947824 140160979102448 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1598] ppid=1460 vsize=10849036 memory=603 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1598/stat : 1598 (java) S 1460 1467 1397 0 -1 1077944384 3 12973 0 4 0 0 6 3 20 0 15 0 473036926 11109412864 276791 33554432000 4194304 4196468 140720979947824 140160548031584 140162013574869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
[pid=1467/tid=1604] ppid=1460 vsize=10849036 memory=3648 CPUtime=1.59 cores=1,3,5,7
/proc/1467/task/1604/stat : 1604 (java) S 1460 1467 1397 0 -1 1077944384 1598 12973 0 4 70 80 6 3 20 0 15 0 473036937 11109412864 276791 33554432000 4194304 4196468 140720979947824 140160978049328 140162013575810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39424000 140720979954276 140720979956917 140720979956917 140720979959759 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1107164 KiB

Child status: 143
Real time (s): 2472.17
CPU time (s): 2520.11
CPU user time (s): 2513.17
CPU system time (s): 6.94311
CPU usage (%): 101.939
Max. virtual memory (cumulated for all children) (KiB): 10933144
Max. memory (cumulated for all children) (KiB): 2823260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.17
system time used= 6.94311
maximum resident set size= 2826844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2960391
page faults= 5
swaps= 0
block input operations= 19928
block output operations= 3192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123455
involuntary context switches= 4875


# summary of solver processes directly reported to runsolver:
#   pid: 1467
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2513.17
#   total CPU system time (s): 6.94311

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.3139 second user time and 18.4653 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-20 10:19:56
IDJOB=4403013
IDBENCH=115769
IDSOLVER=2861
FILE ID=node150/4403013-1568967636
RUNJOBID= node150-1568967596-1429
PBS_JOBID= 21704610
Free space on /var/tmp= 13484 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-030-15-2.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403013-1568967636/watcher-4403013-1568967636 -o /var/tmp/evaluation-result-4403013-1568967636/solver-4403013-1568967636 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1568967596-1429 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=695258949 HOME/instance-4403013-1568967636.xml

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

MD5SUM BENCH= ba573a75edcb56a5f29535772f8b277a
RANDOM SEED=695258949

node150.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.79
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.79
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.79
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.79
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:          227832 kB
MemAvailable:   31831456 kB
Buffers:          139528 kB
Cached:         31366164 kB
SwapCached:         7800 kB
Active:         14972740 kB
Inactive:       16565152 kB
Active(anon):       3392 kB
Inactive(anon):    69680 kB
Active(file):   14969348 kB
Inactive(file): 16495472 kB
Unevictable:      110744 kB
Mlocked:          110744 kB
SwapTotal:      67108860 kB
SwapFree:       67021576 kB
Dirty:              8832 kB
Writeback:           400 kB
AnonPages:        135356 kB
Mapped:            47212 kB
Shmem:             32200 kB
Slab:             596972 kB
SReclaimable:     567264 kB
SUnreclaim:        29708 kB
KernelStack:        3376 kB
PageTables:         5604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     509972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /var/tmp at the end= 13412 MiB
End job on node150 at 2019-09-20 11:01:14