Trace number 4401213

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.2? (TO) 2520.16 2454.55

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.73/1.44	c Concrete v3.12.2.1568631193530 running
2520.08/2454.52	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.08/2454.52		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:28)
2520.08/2454.52		at concrete.heuristic.value.BestCost.$anonfun$select$1(BestCost.scala:55)
2520.08/2454.52		at concrete.IntDomain.find(IntDomain.scala:137)
2520.08/2454.52		at concrete.Domain.filterBounds(Domain.scala:141)
2520.08/2454.52		at concrete.heuristic.value.BestCost.select(BestCost.scala:55)
2520.08/2454.52		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.08/2454.52		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2520.08/2454.52		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2520.08/2454.52		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.08/2454.52		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2520.08/2454.52		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2520.08/2454.52		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.08/2454.52		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2520.08/2454.52		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2520.08/2454.52		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.08/2454.52		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:95)
2520.08/2454.52		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.08/2454.52		at scala.Option.map(Option.scala:243)
2520.08/2454.52		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.08/2454.52		at concrete.MAC.mac(MAC.scala:216)
2520.08/2454.52		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.08/2454.52		at scala.util.Try$.apply(Try.scala:212)
2520.08/2454.52		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.08/2454.52		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.08/2454.52		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.08/2454.52		at concrete.MAC.oneRun(MAC.scala:265)
2520.08/2454.52		at concrete.MAC.nextSolution(MAC.scala:284)
2520.08/2454.52		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:350)
2520.08/2454.52		at concrete.ProblemState.map(ProblemState.scala:238)
2520.08/2454.52		at concrete.ProblemState.map(ProblemState.scala:212)
2520.08/2454.52		at concrete.MAC.nextSolution(MAC.scala:348)
2520.08/2454.52		at concrete.Solver.hasNext(Solver.scala:160)
2520.08/2454.52		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.08/2454.52		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.08/2454.52		at concrete.Solver.foreach(Solver.scala:67)
2520.08/2454.52		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.08/2454.52		at scala.util.Success.map(Try.scala:264)
2520.08/2454.52		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.08/2454.52		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.08/2454.52		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.08/2454.52		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.08/2454.52		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.08/2454.52		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.08/2454.52		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.08/2454.52		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.08/2454.52		at scala.App.$anonfun$main$1(App.scala:75)
2520.08/2454.52		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.08/2454.52		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.08/2454.52		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.08/2454.52		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.08/2454.52		at scala.App.main(App.scala:75)
2520.08/2454.52		at scala.App.main$(App.scala:73)
2520.08/2454.52		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.08/2454.52		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.08/2454.53	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 (13910 MiB free)
  memory of node 1: 16384 MiB (15432 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401213-1568673331/watcher-4401213-1568673331 -o /tmp/evaluation-result-4401213-1568673331/solver-4401213-1568673331 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568673291-32273 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1889038206 HOME/instance-4401213-1568673331.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=32302, runsolver pid=32296

[startup+0.100145 s]*
/proc/loadavg: 0.16 1.08 2.34 2/205 32360
/proc/meminfo: memFree=30045136/32770624 swapFree=67027092/67108860
[pid=32302] ppid=32296 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/32302/stat : 32302 (bash) S 32296 32302 32242 0 -1 4202496 892 5685 0 1 0 0 0 1 20 0 1 0 443605798 115974144 404 33554432000 4194304 5098028 140734154848480 140734154842488 139989777959936 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 1 0 0 7196144 7232144 19619840 140734154855444 140734154855569 140734154855569 140734154858478 0
/proc/32302/statm: 28314 404 320 221 0 119 0
[pid=32358] ppid=32302 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/32358/stat : 32358 (bash) S 32302 32302 32242 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 1 0 443605802 115974144 178 33554432000 4194304 5098028 140734154848480 140734154841160 139989777785468 0 65536 4096 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19619840 140734154855444 140734154855569 140734154855569 140734154858478 0
/proc/32358/statm: 28314 178 94 221 0 119 0
[pid=32359] ppid=32358 vsize=296 memory=4 CPUtime=0 cores=0,2,4,6
/proc/32359/stat : 32359 (java) D 32358 32302 32242 0 -1 1077936128 154 0 0 0 0 0 0 0 20 0 1 0 443605802 303104 1 33554432000 4194304 4196468 140728861922432 140728861919704 140714846127815 0 0 4096 0 18446744072101748260 0 0 17 2 0 0 0 0 0 6293624 6294260 26968064 140728861926540 140728861926554 140728861926554 140728861929423 0
/proc/32359/statm: 74 1 0 1 0 38 0
[pid=32360] ppid=32358 vsize=113488 memory=968 CPUtime=0 cores=0,2,4,6
/proc/32360/stat : 32360 (awk) S 32358 32302 32242 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 443605802 116211712 242 33554432000 4194304 4609284 140724623650192 140724623649368 140670574955520 0 0 4096 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 23506944 140724623652028 140724623652058 140724623652058 140724623654895 0
/proc/32360/statm: 28372 242 204 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.209914 s]*
/proc/loadavg: 0.16 1.08 2.34 3/207 32362
/proc/meminfo: memFree=30043412/32770624 swapFree=67027092/67108860
[pid=32302] ppid=32296 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/32302/stat : 32302 (bash) S 32296 32302 32242 0 -1 4202496 892 5685 0 1 0 0 0 1 20 0 1 0 443605798 115974144 404 33554432000 4194304 5098028 140734154848480 140734154842488 139989777959936 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 1 0 0 7196144 7232144 19619840 140734154855444 140734154855569 140734154855569 140734154858478 0
/proc/32302/statm: 28314 404 320 221 0 119 0
[pid=32358] ppid=32302 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/32358/stat : 32358 (bash) S 32302 32302 32242 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 1 0 443605802 115974144 178 33554432000 4194304 5098028 140734154848480 140734154841160 139989777785468 0 65536 4096 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19619840 140734154855444 140734154855569 140734154855569 140734154858478 0
/proc/32358/statm: 28314 178 94 221 0 119 0
[pid=32359] ppid=32358 vsize=98704 memory=4740 CPUtime=0 cores=0,2,4,6
/proc/32359/stat : 32359 (java) S 32358 32302 32242 0 -1 1077944320 1377 0 0 0 0 0 0 0 20 0 2 0 443605802 101072896 1185 33554432000 4194304 4196468 140728861922432 140728861904976 140714843852535 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26968064 140728861926540 140728861926554 140728861926554 140728861929423 0
/proc/32359/statm: 24676 1185 883 1 0 16800 0
[pid=32359/tid=32362] ppid=32358 vsize=98704 memory=7751702667093440019 CPUtime=0 cores=0,2,4,6
/proc/32359/task/32362/stat : 32362 (java) D 32358 32302 32242 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 2 0 443605817 101072896 1185 33554432000 4194304 4196468 140728861922432 140714848087416 140714846127815 0 0 4096 0 18446744072101748260 0 0 -1 4 0 0 0 0 0 6293624 6294260 26968064 140728861926540 140728861926554 140728861926554 140728861929423 0
[pid=32360] ppid=32358 vsize=113488 memory=968 CPUtime=0 cores=0,2,4,6
/proc/32360/stat : 32360 (awk) S 32358 32302 32242 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 443605802 116211712 242 33554432000 4194304 4609284 140724623650192 140724623649368 140670574955520 0 0 4096 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 23506944 140724623652028 140724623652058 140724623652058 140724623654895 0
/proc/32360/statm: 28372 242 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 438704 KiB
Current children cumulated memory: 8036 KiB

[startup+0.310116 s]*
/proc/loadavg: 0.16 1.08 2.34 2/207 32362
/proc/meminfo: memFree=30042512/32770624 swapFree=67027092/67108860
[pid=32302] ppid=32296 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/32302/stat : 32302 (bash) S 32296 32302 32242 0 -1 4202496 892 5685 0 1 0 0 0 1 20 0 1 0 443605798 115974144 404 33554432000 4194304 5098028 140734154848480 140734154842488 139989777959936 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 1 0 0 7196144 7232144 19619840 140734154855444 140734154855569 140734154855569 140734154858478 0
/proc/32302/statm: 28314 404 320 221 0 119 0
[pid=32358] ppid=32302 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/32358/stat : 32358 (bash) S 32302 32302 32242 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 1 0 443605802 115974144 178 33554432000 4194304 5098028 140734154848480 140734154841160 139989777785468 0 65536 4096 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19619840 140734154855444 140734154855569 140734154855569 140734154858478 0
/proc/32358/statm: 28314 178 94 221 0 119 0
[pid=32359] ppid=32358 vsize=111596 memory=5608 CPUtime=0 cores=0,2,4,6
/proc/32359/stat : 32359 (java) S 32358 32302 32242 0 -1 1077944320 1719 0 0 0 0 0 0 0 20 0 2 0 443605802 114274304 1402 33554432000 4194304 4196468 140728861922432 140728861904976 140714843852535 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26968064 140728861926540 140728861926554 140728861926554 140728861929423 0
/proc/32359/statm: 27899 1402 1063 1 0 16810 0
[pid=32359/tid=32362] ppid=32358 vsize=111596 memory=288355116380323867 CPUtime=0 cores=0,2,4,6
/proc/32359/task/32362/stat : 32362 (java) D 32358 32302 32242 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 2 0 443605817 114274304 1402 33554432000 4194304 4196468 140728861922432 140714848092392 140714836530549 0 4 0 16784584 18446744072101748260 0 0 -1 0 0 0 0 0 0 6293624 6294260 26968064 140728861926540 140728861926554 140728861926554 140728861929423 0
[pid=32360] ppid=32358 vsize=113488 memory=968 CPUtime=0 cores=0,2,4,6
/proc/32360/stat : 32360 (awk) S 32358 32302 32242 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 443605802 116211712 242 33554432000 4194304 4609284 140724623650192 140724623649368 140670574955520 0 0 4096 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 23506944 140724623652028 140724623652058 140724623652058 140724623654895 0
/proc/32360/statm: 28372 242 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 451596 KiB
Current children cumulated memory: 8904 KiB

[startup+0.700734 s]
/proc/loadavg: 0.16 1.08 2.34 3/221 32376
/proc/meminfo: memFree=30019780/32770624 swapFree=67027092/67108860
[pid=32302] ppid=32296 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/32302/stat : 32302 (bash) S 32296 32302 32242 0 -1 4202496 892 5685 0 1 0 0 0 1 20 0 1 0 443605798 115974144 404 33554432000 4194304 5098028 140734154848480 140734154842488 139989777959936 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 1 0 0 7196144 7232144 19619840 140734154855444 140734154855569 140734154855569 140734154858478 0
/proc/32302/statm: 28314 404 320 221 0 119 0
[pid=32358] ppid=32302 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/32358/stat : 32358 (bash) S 32302 32302 32242 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 1 0 443605802 115974144 178 33554432000 4194304 5098028 140734154848480 140734154841160 139989777785468 0 65536 4096 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19619840 140734154855444 140734154855569 140734154855569 140734154858478 0
/proc/32358/statm: 28314 178 94 221 0 119 0
[pid=32359] ppid=32358 vsize=10593144 memory=24144 CPUtime=0.06 cores=0,2,4,6
/proc/32359/stat : 32359 (java) S 32358 32302 32242 0 -1 1077944320 4996 0 0 0 5 1 0 0 20 0 14 0 443605802 10847379456 6036 33554432000 4194304 4196468 140728861922432 140728861904976 140714843852535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26968064 140728861926540 140728861926554 140728861926554 140728861929423 0
/proc/32359/statm: 2648286 6036 2604 1 0 2610827 0
[pid=32359/tid=32362] ppid=32358 vsize=10593144 memory=10092 CPUtime=0.04 cores=0,2,4,6
/proc/32359/task/32362/stat : 32362 (java) D 32358 32302 32242 0 -1 1077944384 3134 0 0 0 4 0 0 0 20 0 14 0 443605817 10847379456 6036 33554432000 4194304 4196468 140728861922432 140714848089920 140714843876413 0 4 0 16800975 18446744072101748260 0 0 -1 0 0 0 0 0 0 6293624 6294260 26968064 140728861926540 140728861926554 140728861926554 140728861929423 0
[pid=32359/tid=32367] ppid=32358 vsize=10593144 memory=1908 CPUtime=0 cores=0,2,4,6
/proc/32359/task/32367/stat : 32367 (java) S 32358 32302 32242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 443605834 10847379456 6036 33554432000 4194304 4196468 140728861922432 140714806958352 140714843862741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26968064 140728861926540 140728861926554 140728861926554 140728861929423 0
[pid=32359/tid=32368] ppid=32358 vsize=10593144 memory=1360 CPUtime=0 cores=0,2,4,6
/proc/32359/task/32368/stat : 32368 (java) S 32358 32302 32242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 443605834 10847379456 6036 33554432000 4194304 4196468 140728861922432 140714449754512 140714843862741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26968064 140728861926540 140728861926554 140728861926554 140728861929423 0
[pid=32359/tid=32369] ppid=32358 vsize=10593144 memory=7496 CPUtime=0 cores=0,2,4,6
/proc/32359/task/32369/stat : 32369 (java) S 32358 32302 32242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 443605834 10847379456 6036 33554432000 4194304 4196468 140728861922432 140714448701968 140714843862741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26968064 140728861926540 140728861926554 140728861926554 140728861929423 0
[pid=32359/tid=32370] ppid=32358 vsize=10593144 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/32359/task/32370/stat : 32370 (java) S 32358 32302 32242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 443605834 10847379456 6036 33554432000 4194304 4196468 140728861922432 140714447649424 140714843862741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26968064 140728861926540 140728861926554 140728861926554 140728861929423 0
[pid=32359/tid=32371] ppid=32358 vsize=10593144 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/32359/task/32371/stat : 32371 (java) S 32358 32302 32242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 443605836 10847379456 6036 33554432000 4194304 4196468 140728861922432 140714335791600 140714843863682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26968064 140728861926540 140728861926554 140728861926554 140728861929423 0
[pid=32359/tid=32374] ppid=32358 vsize=10593144 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/32359/task/32374/stat : 32374 (java) S 32358 32302 32242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 443605836 10847379456 6036 33554432000 4194304 4196468 140728861922432 140714334737824 140714843862741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26968064 140728861926540 140728861926554 140728861926554 140728861929423 0
[pid=32359/tid=32376] ppid=32358 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32359/task/32376/stat : 32376 (java) S 32358 32302 32242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 443605837 10847379456 6036 33554432000 4194304 4196468 140728861922432 140714333685232 140714843862741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26968064 140728861926540 140728861926554 140728861926554 140728861929423 0
[pid=32360] ppid=32358 vsize=113488 memory=968 CPUtime=0 cores=0,2,4,6
/proc/32360/stat : 32360 (awk) S 32358 32302 32242 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 443605802 116211712 242 33554432000 4194304 4609284 140724623650192 140724623649368 140670574955520 0 0 4096 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 23506944 140724623652028 140724623652058 140724623652058 140724623654895 0
/proc/32360/statm: 28372 242 204 102 0 88 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 10933144 KiB
Current children cumulated memory: 27440 KiB

[startup+1.50066 s]
/proc/loadavg: 0.16 1.08 2.34 7/227 32434
/proc/meminfo: memFree=30000032/32770624 swapFree=67027092/67108860
[pid=32302] ppid=32296 vsize=10822316 memory=75684 CPUtime=0.86 cores=0,2,4,6
/proc/32302/stat : 32302 (java) S 32296 32302 32242 0 -1 1077944320 14129 13420 0 1 73 5 5 3 20 0 15 0 443605798 11082051584 18921 33554432000 4194304 4196468 140731381738672 140731381721216 139723505811191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
/proc/32302/statm: 2705579 18921 3480 1 0 2667661 0
[pid=32302/tid=32412] ppid=32296 vsize=10822316 memory=279679680758608 CPUtime=0.56 cores=0,2,4,6
/proc/32302/task/32412/stat : 32412 (java) D 32296 32302 32242 0 -1 1077944384 9575 13420 0 1 45 3 5 3 20 0 15 0 443605878 11082051584 18921 33554432000 4194304 4196468 140731381738672 139723477625936 139723498490413 0 4 0 16800975 18446744072101748260 0 0 -1 6 0 0 3 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32416] ppid=32296 vsize=10822316 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32416/stat : 32416 (java) S 32296 32302 32242 0 -1 1077944384 1 13420 0 1 0 0 5 3 20 0 15 0 443605880 11082051584 18921 33554432000 4194304 4196468 140731381738672 139723510053264 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32417] ppid=32296 vsize=10822316 memory=29300 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32417/stat : 32417 (java) S 32296 32302 32242 0 -1 1077944384 2 13420 0 1 0 0 5 3 20 0 15 0 443605880 11082051584 18921 33554432000 4194304 4196468 140731381738672 139723408943376 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32418] ppid=32296 vsize=10822316 memory=7523107478184158290 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32418/stat : 32418 (java) S 32296 32302 32242 0 -1 1077944384 2 13420 0 1 0 0 5 3 20 0 15 0 443605880 11082051584 18921 33554432000 4194304 4196468 140731381738672 139723407891088 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32419] ppid=32296 vsize=10822316 memory=6298116310665554791 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32419/stat : 32419 (java) S 32296 32302 32242 0 -1 1077944384 2 13420 0 1 0 0 5 3 20 0 15 0 443605880 11082051584 18921 33554432000 4194304 4196468 140731381738672 139723076921872 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32420] ppid=32296 vsize=10822316 memory=7090163775134786128 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32420/stat : 32420 (java) S 32296 32302 32242 0 -1 1077944384 5 13420 0 1 0 0 5 3 20 0 15 0 443605881 11082051584 18921 33554432000 4194304 4196468 140731381738672 139722965248624 139723505822338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32421] ppid=32296 vsize=10822316 memory=290763849282617370 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32421/stat : 32421 (java) S 32296 32302 32242 0 -1 1077944384 13 13420 0 1 0 0 5 3 20 0 15 0 443605882 11082051584 18921 33554432000 4194304 4196468 140731381738672 139722399671584 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32422] ppid=32296 vsize=10822316 memory=288230583166042426 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32422/stat : 32422 (java) S 32296 32302 32242 0 -1 1077944384 1 13420 0 1 0 0 5 3 20 0 15 0 443605882 11082051584 18921 33554432000 4194304 4196468 140731381738672 139722265454192 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32428] ppid=32296 vsize=10822316 memory=16100381516106309 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32428/stat : 32428 (java) S 32296 32302 32242 0 -1 1077944384 3 13420 0 1 0 0 5 3 20 0 15 0 443605887 11082051584 18921 33554432000 4194304 4196468 140731381738672 139722025163344 139723505829787 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32429] ppid=32296 vsize=10822316 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/32302/task/32429/stat : 32429 (java) S 32296 32302 32242 0 -1 1077944384 848 13420 0 1 6 0 5 3 20 0 15 0 443605887 11082051584 18921 33554432000 4194304 4196468 140731381738672 139722964195440 139723505822338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32430] ppid=32296 vsize=10822316 memory=6944652177228980320 CPUtime=0.15 cores=0,2,4,6
/proc/32302/task/32430/stat : 32430 (java) S 32296 32302 32242 0 -1 1077944384 660 13420 0 1 7 0 5 3 20 0 15 0 443605887 11082051584 18921 33554432000 4194304 4196468 140731381738672 139722963142640 139723505822338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32431] ppid=32296 vsize=10822316 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/32302/task/32431/stat : 32431 (java) S 32296 32302 32242 0 -1 1077944384 803 13420 0 1 13 0 5 3 20 0 15 0 443605887 11082051584 18921 33554432000 4194304 4196468 140731381738672 139722962090352 139723505822338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32432] ppid=32296 vsize=10822316 memory=-1664385933527490352 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32432/stat : 32432 (java) S 32296 32302 32242 0 -1 1077944384 3 13420 0 1 0 0 5 3 20 0 15 0 443605888 11082051584 18921 33554432000 4194304 4196468 140731381738672 139721991604704 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32434] ppid=32296 vsize=10822316 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32434/stat : 32434 (java) S 32296 32302 32242 0 -1 1077944384 1 13420 0 1 0 0 5 3 20 0 15 0 443605897 11082051584 18921 33554432000 4194304 4196468 140731381738672 139722961038256 139723505822338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
Current children cumulated CPU time: 0.86 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 75684 KiB

[startup+3.11049 s]
/proc/loadavg: 0.16 1.08 2.34 4/227 32435
/proc/meminfo: memFree=29706876/32770624 swapFree=67027092/67108860
[pid=32302] ppid=32296 vsize=10838796 memory=183932 CPUtime=3.23 cores=0,2,4,6
/proc/32302/stat : 32302 (java) S 32296 32302 32242 0 -1 1077944320 23661 13420 0 1 303 12 5 3 20 0 15 0 443605798 11098927104 45983 33554432000 4194304 4196468 140731381738672 140731381721216 139723505811191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
/proc/32302/statm: 2709699 45983 3586 1 0 2671757 0
[pid=32302/tid=32412] ppid=32296 vsize=10838796 memory=2241 CPUtime=1.8 cores=0,2,4,6
/proc/32302/task/32412/stat : 32412 (java) R 32296 32302 32242 0 -1 4202560 16384 13420 0 1 166 6 5 3 20 0 15 0 443605878 11098927104 45983 33554432000 4194304 4196468 140731381738672 139723477635184 139723505833117 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32416] ppid=32296 vsize=10838796 memory=173340 CPUtime=0.09 cores=0,2,4,6
/proc/32302/task/32416/stat : 32416 (java) S 32296 32302 32242 0 -1 1077944384 33 13420 0 1 1 0 5 3 20 0 15 0 443605880 11098927104 45983 33554432000 4194304 4196468 140731381738672 139723510053264 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32417] ppid=32296 vsize=10838796 memory=288230583166042426 CPUtime=0.09 cores=0,2,4,6
/proc/32302/task/32417/stat : 32417 (java) S 32296 32302 32242 0 -1 1077944384 315 13420 0 1 1 0 5 3 20 0 15 0 443605880 11098927104 45983 33554432000 4194304 4196468 140731381738672 139723408943376 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32418] ppid=32296 vsize=10838796 memory=16100381516106309 CPUtime=0.09 cores=0,2,4,6
/proc/32302/task/32418/stat : 32418 (java) S 32296 32302 32242 0 -1 1077944384 60 13420 0 1 1 0 5 3 20 0 15 0 443605880 11098927104 45983 33554432000 4194304 4196468 140731381738672 139723407891088 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32419] ppid=32296 vsize=10838796 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32419/stat : 32419 (java) S 32296 32302 32242 0 -1 1077944384 74 13420 0 1 0 0 5 3 20 0 15 0 443605880 11098927104 45983 33554432000 4194304 4196468 140731381738672 139723076921872 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32420] ppid=32296 vsize=10838796 memory=8 CPUtime=0.09 cores=0,2,4,6
/proc/32302/task/32420/stat : 32420 (java) S 32296 32302 32242 0 -1 1077944384 143 13420 0 1 1 0 5 3 20 0 15 0 443605881 11098927104 45983 33554432000 4194304 4196468 140731381738672 139722965248624 139723505822338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32421] ppid=32296 vsize=10838796 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32421/stat : 32421 (java) S 32296 32302 32242 0 -1 1077944384 14 13420 0 1 0 0 5 3 20 0 15 0 443605882 11098927104 45983 33554432000 4194304 4196468 140731381738672 139722399671648 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32422] ppid=32296 vsize=10838796 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32422/stat : 32422 (java) S 32296 32302 32242 0 -1 1077944384 1 13420 0 1 0 0 5 3 20 0 15 0 443605882 11098927104 45983 33554432000 4194304 4196468 140731381738672 139722265454208 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32428] ppid=32296 vsize=10838796 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32428/stat : 32428 (java) S 32296 32302 32242 0 -1 1077944384 3 13420 0 1 0 0 5 3 20 0 15 0 443605887 11098927104 45983 33554432000 4194304 4196468 140731381738672 139722025163344 139723505829787 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32429] ppid=32296 vsize=10838796 memory=8 CPUtime=0.4 cores=0,2,4,6
/proc/32302/task/32429/stat : 32429 (java) R 32296 32302 32242 0 -1 1077944384 1107 13420 0 1 31 1 5 3 20 0 15 0 443605887 11098927104 45983 33554432000 4194304 4196468 140731381738672 139722964186768 139723505821397 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32430] ppid=32296 vsize=10838796 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/32302/task/32430/stat : 32430 (java) R 32296 32302 32242 0 -1 4202560 1033 13420 0 1 35 0 5 3 20 0 15 0 443605887 11098927104 45983 33554432000 4194304 4196468 140731381738672 139722963142640 139723489222193 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32431] ppid=32296 vsize=10838796 memory=3472468135259636118 CPUtime=0.71 cores=0,2,4,6
/proc/32302/task/32431/stat : 32431 (java) S 32296 32302 32242 0 -1 1077944384 2280 13420 0 1 62 1 5 3 20 0 15 0 443605887 11098927104 45983 33554432000 4194304 4196468 140731381738672 139722962090352 139723505822338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32432] ppid=32296 vsize=10838796 memory=13766 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32432/stat : 32432 (java) S 32296 32302 32242 0 -1 1077944384 3 13420 0 1 0 0 5 3 20 0 15 0 443605888 11098927104 45983 33554432000 4194304 4196468 140731381738672 139721991604704 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32434] ppid=32296 vsize=10838796 memory=-7249806322133643294 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32434/stat : 32434 (java) S 32296 32302 32242 0 -1 1077944384 1 13420 0 1 0 0 5 3 20 0 15 0 443605897 11098927104 45983 33554432000 4194304 4196468 140731381738672 139722961038256 139723505822338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
Current children cumulated CPU time: 3.23 s
Current children cumulated vsize: 10838796 KiB

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

/proc/32302/task/32412/stat : 32412 (java) R 32296 32302 32242 0 -1 4202560 180622 13420 0 1 235880 77 5 3 20 0 15 0 443605878 11109412864 281874 33554432000 4194304 4196468 140731381738672 139723477644848 139723094460404 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32416] ppid=32296 vsize=10849036 memory=1134684 CPUtime=14.88 cores=0,2,4,6
/proc/32302/task/32416/stat : 32416 (java) S 32296 32302 32242 0 -1 1077944384 34502 13420 0 1 1433 47 5 3 20 0 15 0 443605880 11109412864 281874 33554432000 4194304 4196468 140731381738672 139723510053264 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32417] ppid=32296 vsize=10849036 memory=1130064 CPUtime=14.85 cores=0,2,4,6
/proc/32302/task/32417/stat : 32417 (java) S 32296 32302 32242 0 -1 1077944384 22854 13420 0 1 1433 44 5 3 20 0 15 0 443605880 11109412864 281874 33554432000 4194304 4196468 140731381738672 139723408943376 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32418] ppid=32296 vsize=10849036 memory=1128008 CPUtime=14.88 cores=0,2,4,6
/proc/32302/task/32418/stat : 32418 (java) S 32296 32302 32242 0 -1 1077944384 35963 13420 0 1 1434 46 5 3 20 0 15 0 443605880 11109412864 281874 33554432000 4194304 4196468 140731381738672 139723407891088 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32419] ppid=32296 vsize=10849036 memory=1129036 CPUtime=14.84 cores=0,2,4,6
/proc/32302/task/32419/stat : 32419 (java) S 32296 32302 32242 0 -1 1077944384 28271 13420 0 1 1431 45 5 3 20 0 15 0 443605880 11109412864 281874 33554432000 4194304 4196468 140731381738672 139723076921872 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32420] ppid=32296 vsize=10849036 memory=1128012 CPUtime=4.81 cores=0,2,4,6
/proc/32302/task/32420/stat : 32420 (java) S 32296 32302 32242 0 -1 1077944384 23699 13420 0 1 418 55 5 3 20 0 15 0 443605881 11109412864 281874 33554432000 4194304 4196468 140731381738672 139722965248624 139723505822338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32421] ppid=32296 vsize=10849036 memory=1127496 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32421/stat : 32421 (java) S 32296 32302 32242 0 -1 1077944384 41 13420 0 1 0 0 5 3 20 0 15 0 443605882 11109412864 281874 33554432000 4194304 4196468 140731381738672 139722399671648 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32422] ppid=32296 vsize=10849036 memory=1146996 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32422/stat : 32422 (java) S 32296 32302 32242 0 -1 1077944384 52 13420 0 1 0 0 5 3 20 0 15 0 443605882 11109412864 281874 33554432000 4194304 4196468 140731381738672 139722265454208 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32428] ppid=32296 vsize=10849036 memory=1128008 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32428/stat : 32428 (java) S 32296 32302 32242 0 -1 1077944384 3 13420 0 1 0 0 5 3 20 0 15 0 443605887 11109412864 281874 33554432000 4194304 4196468 140731381738672 139722025163344 139723505829787 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32429] ppid=32296 vsize=10849036 memory=1224 CPUtime=8.86 cores=0,2,4,6
/proc/32302/task/32429/stat : 32429 (java) S 32296 32302 32242 0 -1 1077944384 49916 13420 0 1 872 6 5 3 20 0 15 0 443605887 11109412864 281874 33554432000 4194304 4196468 140731381738672 139722964195440 139723505822338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32430] ppid=32296 vsize=10849036 memory=916 CPUtime=10.03 cores=0,2,4,6
/proc/32302/task/32430/stat : 32430 (java) S 32296 32302 32242 0 -1 1077944384 53791 13420 0 1 987 8 5 3 20 0 15 0 443605887 11109412864 281874 33554432000 4194304 4196468 140731381738672 139722963142640 139723505822338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32431] ppid=32296 vsize=10849036 memory=3820 CPUtime=2.82 cores=0,2,4,6
/proc/32302/task/32431/stat : 32431 (java) S 32296 32302 32242 0 -1 1077944384 71949 13420 0 1 267 7 5 3 20 0 15 0 443605887 11109412864 281874 33554432000 4194304 4196468 140731381738672 139722962090352 139723505822338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32432] ppid=32296 vsize=10849036 memory=1181328 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32432/stat : 32432 (java) S 32296 32302 32242 0 -1 1077944384 3 13420 0 1 0 0 5 3 20 0 15 0 443605888 11109412864 281874 33554432000 4194304 4196468 140731381738672 139721991604704 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32434] ppid=32296 vsize=10849036 memory=1182868 CPUtime=1.42 cores=0,2,4,6
/proc/32302/task/32434/stat : 32434 (java) S 32296 32302 32242 0 -1 1077944384 1971 13420 0 1 63 71 5 3 20 0 15 0 443605897 11109412864 281874 33554432000 4194304 4196468 140731381738672 139722961038256 139723505822338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
Current children cumulated CPU time: 2446.42 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1127496 KiB

[startup+2442.3 s]
/proc/loadavg: 1.65 1.46 1.47 4/227 32686
/proc/meminfo: memFree=26177564/32770624 swapFree=67027124/67108860
[pid=32302] ppid=32296 vsize=10849036 memory=1254272 CPUtime=2507.63 cores=0,2,4,6
/proc/32302/stat : 32302 (java) S 32296 32302 32242 0 -1 1077944320 519128 13420 0 1 250357 398 5 3 20 0 15 0 443605798 11109412864 313568 33554432000 4194304 4196468 140731381738672 140731381721216 139723505811191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
/proc/32302/statm: 2712259 313568 3644 1 0 2674317 0
[pid=32302/tid=32412] ppid=32296 vsize=10849036 memory=1354652 CPUtime=2419.1 cores=0,2,4,6
/proc/32302/task/32412/stat : 32412 (java) R 32296 32302 32242 0 -1 4202560 189953 13420 0 1 241821 81 5 3 20 0 15 0 443605878 11109412864 313568 33554432000 4194304 4196468 140731381738672 139723477644624 139723099863168 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32416] ppid=32296 vsize=10849036 memory=1307992 CPUtime=15.28 cores=0,2,4,6
/proc/32302/task/32416/stat : 32416 (java) S 32296 32302 32242 0 -1 1077944384 34848 13420 0 1 1470 50 5 3 20 0 15 0 443605880 11109412864 313568 33554432000 4194304 4196468 140731381738672 139723510053264 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32417] ppid=32296 vsize=10849036 memory=1291064 CPUtime=15.25 cores=0,2,4,6
/proc/32302/task/32417/stat : 32417 (java) S 32296 32302 32242 0 -1 1077944384 23151 13420 0 1 1470 47 5 3 20 0 15 0 443605880 11109412864 313568 33554432000 4194304 4196468 140731381738672 139723408943376 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32418] ppid=32296 vsize=10849036 memory=1278896 CPUtime=15.28 cores=0,2,4,6
/proc/32302/task/32418/stat : 32418 (java) S 32296 32302 32242 0 -1 1077944384 36251 13420 0 1 1471 49 5 3 20 0 15 0 443605880 11109412864 313568 33554432000 4194304 4196468 140731381738672 139723407891088 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32419] ppid=32296 vsize=10849036 memory=1261968 CPUtime=15.24 cores=0,2,4,6
/proc/32302/task/32419/stat : 32419 (java) S 32296 32302 32242 0 -1 1077944384 28595 13420 0 1 1468 48 5 3 20 0 15 0 443605880 11109412864 313568 33554432000 4194304 4196468 140731381738672 139723076921872 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32420] ppid=32296 vsize=10849036 memory=1257864 CPUtime=4.91 cores=0,2,4,6
/proc/32302/task/32420/stat : 32420 (java) S 32296 32302 32242 0 -1 1077944384 23850 13420 0 1 426 57 5 3 20 0 15 0 443605881 11109412864 313568 33554432000 4194304 4196468 140731381738672 139722965248624 139723505822338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32421] ppid=32296 vsize=10849036 memory=1261968 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32421/stat : 32421 (java) S 32296 32302 32242 0 -1 1077944384 41 13420 0 1 0 0 5 3 20 0 15 0 443605882 11109412864 313568 33554432000 4194304 4196468 140731381738672 139722399671648 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32422] ppid=32296 vsize=10849036 memory=1255296 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32422/stat : 32422 (java) S 32296 32302 32242 0 -1 1077944384 52 13420 0 1 0 0 5 3 20 0 15 0 443605882 11109412864 313568 33554432000 4194304 4196468 140731381738672 139722265454208 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32428] ppid=32296 vsize=10849036 memory=-7029379521808015264 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32428/stat : 32428 (java) S 32296 32302 32242 0 -1 1077944384 3 13420 0 1 0 0 5 3 20 0 15 0 443605887 11109412864 313568 33554432000 4194304 4196468 140731381738672 139722025163344 139723505829787 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32429] ppid=32296 vsize=10849036 memory=1277356 CPUtime=8.86 cores=0,2,4,6
/proc/32302/task/32429/stat : 32429 (java) S 32296 32302 32242 0 -1 1077944384 50167 13420 0 1 872 6 5 3 20 0 15 0 443605887 11109412864 313568 33554432000 4194304 4196468 140731381738672 139722964195440 139723505822338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32430] ppid=32296 vsize=10849036 memory=8 CPUtime=10.03 cores=0,2,4,6
/proc/32302/task/32430/stat : 32430 (java) S 32296 32302 32242 0 -1 1077944384 54039 13420 0 1 987 8 5 3 20 0 15 0 443605887 11109412864 313568 33554432000 4194304 4196468 140731381738672 139722963142640 139723505822338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32431] ppid=32296 vsize=10849036 memory=1267608 CPUtime=2.84 cores=0,2,4,6
/proc/32302/task/32431/stat : 32431 (java) S 32296 32302 32242 0 -1 1077944384 73990 13420 0 1 268 8 5 3 20 0 15 0 443605887 11109412864 313568 33554432000 4194304 4196468 140731381738672 139722962090352 139723505822338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32432] ppid=32296 vsize=10849036 memory=1254272 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32432/stat : 32432 (java) S 32296 32302 32242 0 -1 1077944384 3 13420 0 1 0 0 5 3 20 0 15 0 443605888 11109412864 313568 33554432000 4194304 4196468 140731381738672 139721991604704 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32434] ppid=32296 vsize=10849036 memory=1255296 CPUtime=1.46 cores=0,2,4,6
/proc/32302/task/32434/stat : 32434 (java) S 32296 32302 32242 0 -1 1077944384 1975 13420 0 1 65 73 5 3 20 0 15 0 443605897 11109412864 313568 33554432000 4194304 4196468 140731381738672 139722961038256 139723505822338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
Current children cumulated CPU time: 2507.63 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1254272 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2454.5 s]
/proc/loadavg: 1.71 1.48 1.48 4/227 32686
/proc/meminfo: memFree=26214808/32770624 swapFree=67027124/67108860
[pid=32302] ppid=32296 vsize=10849036 memory=1223524 CPUtime=2520.08 cores=0,2,4,6
/proc/32302/stat : 32302 (java) S 32296 32302 32242 0 -1 1077944320 520943 13420 0 1 251601 399 5 3 20 0 15 0 443605798 11109412864 305881 33554432000 4194304 4196468 140731381738672 140731381721216 139723505811191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
/proc/32302/statm: 2712259 305881 3644 1 0 2674317 0
[pid=32302/tid=32412] ppid=32296 vsize=10849036 memory=1223016 CPUtime=2431.18 cores=0,2,4,6
/proc/32302/task/32412/stat : 32412 (java) R 32296 32302 32242 0 -1 4202560 190356 13420 0 1 243029 81 5 3 20 0 15 0 443605878 11109412864 305881 33554432000 4194304 4196468 140731381738672 139723477645024 139723107622055 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32416] ppid=32296 vsize=10849036 memory=1230672 CPUtime=15.36 cores=0,2,4,6
/proc/32302/task/32416/stat : 32416 (java) S 32296 32302 32242 0 -1 1077944384 34944 13420 0 1 1478 50 5 3 20 0 15 0 443605880 11109412864 305881 33554432000 4194304 4196468 140731381738672 139723510053264 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32417] ppid=32296 vsize=10849036 memory=1236828 CPUtime=15.33 cores=0,2,4,6
/proc/32302/task/32417/stat : 32417 (java) S 32296 32302 32242 0 -1 1077944384 24197 13420 0 1 1478 47 5 3 20 0 15 0 443605880 11109412864 305881 33554432000 4194304 4196468 140731381738672 139723408943376 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32418] ppid=32296 vsize=10849036 memory=1251192 CPUtime=15.37 cores=0,2,4,6
/proc/32302/task/32418/stat : 32418 (java) S 32296 32302 32242 0 -1 1077944384 36281 13420 0 1 1480 49 5 3 20 0 15 0 443605880 11109412864 305881 33554432000 4194304 4196468 140731381738672 139723407891088 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32419] ppid=32296 vsize=10849036 memory=1254272 CPUtime=15.33 cores=0,2,4,6
/proc/32302/task/32419/stat : 32419 (java) S 32296 32302 32242 0 -1 1077944384 28662 13420 0 1 1476 49 5 3 20 0 15 0 443605880 11109412864 305881 33554432000 4194304 4196468 140731381738672 139723076921872 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32420] ppid=32296 vsize=10849036 memory=1257864 CPUtime=4.93 cores=0,2,4,6
/proc/32302/task/32420/stat : 32420 (java) S 32296 32302 32242 0 -1 1077944384 24013 13420 0 1 428 57 5 3 20 0 15 0 443605881 11109412864 305881 33554432000 4194304 4196468 140731381738672 139722965248624 139723505822338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32421] ppid=32296 vsize=10849036 memory=1278896 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32421/stat : 32421 (java) S 32296 32302 32242 0 -1 1077944384 41 13420 0 1 0 0 5 3 20 0 15 0 443605882 11109412864 305881 33554432000 4194304 4196468 140731381738672 139722399671648 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32422] ppid=32296 vsize=10849036 memory=1291064 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32422/stat : 32422 (java) S 32296 32302 32242 0 -1 1077944384 52 13420 0 1 0 0 5 3 20 0 15 0 443605882 11109412864 305881 33554432000 4194304 4196468 140731381738672 139722265454208 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32428] ppid=32296 vsize=10849036 memory=1307992 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32428/stat : 32428 (java) S 32296 32302 32242 0 -1 1077944384 3 13420 0 1 0 0 5 3 20 0 15 0 443605887 11109412864 305881 33554432000 4194304 4196468 140731381738672 139722025163344 139723505829787 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32429] ppid=32296 vsize=10849036 memory=1223524 CPUtime=8.86 cores=0,2,4,6
/proc/32302/task/32429/stat : 32429 (java) S 32296 32302 32242 0 -1 1077944384 50169 13420 0 1 872 6 5 3 20 0 15 0 443605887 11109412864 305881 33554432000 4194304 4196468 140731381738672 139722964195440 139723505822338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32430] ppid=32296 vsize=10849036 memory=4126316290023845779 CPUtime=10.03 cores=0,2,4,6
/proc/32302/task/32430/stat : 32430 (java) S 32296 32302 32242 0 -1 1077944384 54041 13420 0 1 987 8 5 3 20 0 15 0 443605887 11109412864 305881 33554432000 4194304 4196468 140731381738672 139722963142640 139723505822338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32431] ppid=32296 vsize=10849036 memory=4120 CPUtime=2.84 cores=0,2,4,6
/proc/32302/task/32431/stat : 32431 (java) S 32296 32302 32242 0 -1 1077944384 73992 13420 0 1 268 8 5 3 20 0 15 0 443605887 11109412864 305881 33554432000 4194304 4196468 140731381738672 139722962090352 139723505822338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32432] ppid=32296 vsize=10849036 memory=1225580 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32432/stat : 32432 (java) S 32296 32302 32242 0 -1 1077944384 3 13420 0 1 0 0 5 3 20 0 15 0 443605888 11109412864 305881 33554432000 4194304 4196468 140731381738672 139721991604704 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32434] ppid=32296 vsize=10849036 memory=1233752 CPUtime=1.46 cores=0,2,4,6
/proc/32302/task/32434/stat : 32434 (java) S 32296 32302 32242 0 -1 1077944384 1979 13420 0 1 65 73 5 3 20 0 15 0 443605897 11109412864 305881 33554432000 4194304 4196468 140731381738672 139722961038256 139723505822338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1223524 KiB

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

[startup+2454.55 s]
# the end of solver process 32302 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.11 s, system=4.05158 s

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

[startup+2454.5 s]
/proc/loadavg: 1.71 1.48 1.48 4/227 32686
/proc/meminfo: memFree=26214808/32770624 swapFree=67027124/67108860
[pid=32302] ppid=32296 vsize=10849036 memory=1223524 CPUtime=2520.08 cores=0,2,4,6
/proc/32302/stat : 32302 (java) S 32296 32302 32242 0 -1 1077944320 520943 13420 0 1 251601 399 5 3 20 0 15 0 443605798 11109412864 305881 33554432000 4194304 4196468 140731381738672 140731381721216 139723505811191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 1 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
/proc/32302/statm: 2712259 305881 3644 1 0 2674317 0
[pid=32302/tid=32412] ppid=32296 vsize=10849036 memory=1223016 CPUtime=2431.18 cores=0,2,4,6
/proc/32302/task/32412/stat : 32412 (java) R 32296 32302 32242 0 -1 4202560 190356 13420 0 1 243029 81 5 3 20 0 15 0 443605878 11109412864 305881 33554432000 4194304 4196468 140731381738672 139723477645024 139723107622055 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32416] ppid=32296 vsize=10849036 memory=1230672 CPUtime=15.36 cores=0,2,4,6
/proc/32302/task/32416/stat : 32416 (java) S 32296 32302 32242 0 -1 1077944384 34944 13420 0 1 1478 50 5 3 20 0 15 0 443605880 11109412864 305881 33554432000 4194304 4196468 140731381738672 139723510053264 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32417] ppid=32296 vsize=10849036 memory=1236828 CPUtime=15.33 cores=0,2,4,6
/proc/32302/task/32417/stat : 32417 (java) S 32296 32302 32242 0 -1 1077944384 24197 13420 0 1 1478 47 5 3 20 0 15 0 443605880 11109412864 305881 33554432000 4194304 4196468 140731381738672 139723408943376 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32418] ppid=32296 vsize=10849036 memory=1251192 CPUtime=15.37 cores=0,2,4,6
/proc/32302/task/32418/stat : 32418 (java) S 32296 32302 32242 0 -1 1077944384 36281 13420 0 1 1480 49 5 3 20 0 15 0 443605880 11109412864 305881 33554432000 4194304 4196468 140731381738672 139723407891088 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32419] ppid=32296 vsize=10849036 memory=1254272 CPUtime=15.33 cores=0,2,4,6
/proc/32302/task/32419/stat : 32419 (java) S 32296 32302 32242 0 -1 1077944384 28662 13420 0 1 1476 49 5 3 20 0 15 0 443605880 11109412864 305881 33554432000 4194304 4196468 140731381738672 139723076921872 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32420] ppid=32296 vsize=10849036 memory=1257864 CPUtime=4.93 cores=0,2,4,6
/proc/32302/task/32420/stat : 32420 (java) S 32296 32302 32242 0 -1 1077944384 24013 13420 0 1 428 57 5 3 20 0 15 0 443605881 11109412864 305881 33554432000 4194304 4196468 140731381738672 139722965248624 139723505822338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32421] ppid=32296 vsize=10849036 memory=1278896 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32421/stat : 32421 (java) S 32296 32302 32242 0 -1 1077944384 41 13420 0 1 0 0 5 3 20 0 15 0 443605882 11109412864 305881 33554432000 4194304 4196468 140731381738672 139722399671648 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32422] ppid=32296 vsize=10849036 memory=1291064 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32422/stat : 32422 (java) S 32296 32302 32242 0 -1 1077944384 52 13420 0 1 0 0 5 3 20 0 15 0 443605882 11109412864 305881 33554432000 4194304 4196468 140731381738672 139722265454208 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32428] ppid=32296 vsize=10849036 memory=1307992 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32428/stat : 32428 (java) S 32296 32302 32242 0 -1 1077944384 3 13420 0 1 0 0 5 3 20 0 15 0 443605887 11109412864 305881 33554432000 4194304 4196468 140731381738672 139722025163344 139723505829787 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32429] ppid=32296 vsize=10849036 memory=1223524 CPUtime=8.86 cores=0,2,4,6
/proc/32302/task/32429/stat : 32429 (java) S 32296 32302 32242 0 -1 1077944384 50169 13420 0 1 872 6 5 3 20 0 15 0 443605887 11109412864 305881 33554432000 4194304 4196468 140731381738672 139722964195440 139723505822338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32430] ppid=32296 vsize=10849036 memory=4126316290023845779 CPUtime=10.03 cores=0,2,4,6
/proc/32302/task/32430/stat : 32430 (java) S 32296 32302 32242 0 -1 1077944384 54041 13420 0 1 987 8 5 3 20 0 15 0 443605887 11109412864 305881 33554432000 4194304 4196468 140731381738672 139722963142640 139723505822338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32431] ppid=32296 vsize=10849036 memory=4120 CPUtime=2.84 cores=0,2,4,6
/proc/32302/task/32431/stat : 32431 (java) S 32296 32302 32242 0 -1 1077944384 73992 13420 0 1 268 8 5 3 20 0 15 0 443605887 11109412864 305881 33554432000 4194304 4196468 140731381738672 139722962090352 139723505822338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32432] ppid=32296 vsize=10849036 memory=1225580 CPUtime=0.08 cores=0,2,4,6
/proc/32302/task/32432/stat : 32432 (java) S 32296 32302 32242 0 -1 1077944384 3 13420 0 1 0 0 5 3 20 0 15 0 443605888 11109412864 305881 33554432000 4194304 4196468 140731381738672 139721991604704 139723505821397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
[pid=32302/tid=32434] ppid=32296 vsize=10849036 memory=1233752 CPUtime=1.46 cores=0,2,4,6
/proc/32302/task/32434/stat : 32434 (java) S 32296 32302 32242 0 -1 1077944384 1979 13420 0 1 65 73 5 3 20 0 15 0 443605897 11109412864 305881 33554432000 4194304 4196468 140731381738672 139722961038256 139723505822338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8179712 140731381746415 140731381748933 140731381748933 140731381751759 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1223524 KiB

Child status: 143
Real time (s): 2454.55
CPU time (s): 2520.16
CPU user time (s): 2516.11
CPU system time (s): 4.05158
CPU usage (%): 102.673
Max. virtual memory (cumulated for all children) (KiB): 10933144
Max. memory (cumulated for all children) (KiB): 2945116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.11
system time used= 4.05158
maximum resident set size= 2945116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 536499
page faults= 1
swaps= 0
block input operations= 16
block output operations= 3200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 146136
involuntary context switches= 5369


# summary of solver processes directly reported to runsolver:
#   pid: 32302
#   total CPU time (s): 2520.16
#   total CPU user time (s): 2516.11
#   total CPU system time (s): 4.05158

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8683 second user time and 17.2642 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-17 00:34:51
IDJOB=4401213
IDBENCH=115769
IDSOLVER=2857
FILE ID=node150/4401213-1568673331
RUNJOBID= node150-1568673291-32273
PBS_JOBID= 21703772
Free space on /tmp= 59368 MiB

SOLVER NAME= Concrete 3.12.2
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 /tmp/evaluation-result-4401213-1568673331/watcher-4401213-1568673331 -o /tmp/evaluation-result-4401213-1568673331/solver-4401213-1568673331 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568673291-32273 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1889038206 HOME/instance-4401213-1568673331.xml

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

MD5SUM BENCH= ba573a75edcb56a5f29535772f8b277a
RANDOM SEED=1889038206

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:        30048828 kB
MemAvailable:   31842836 kB
Buffers:          203920 kB
Cached:          1852008 kB
SwapCached:        11180 kB
Active:           931672 kB
Inactive:        1167924 kB
Active(anon):       4468 kB
Inactive(anon):    78600 kB
Active(file):     927204 kB
Inactive(file):  1089324 kB
Unevictable:      109640 kB
Mlocked:          109640 kB
SwapTotal:      67108860 kB
SwapFree:       67027092 kB
Dirty:             70860 kB
Writeback:             0 kB
AnonPages:        142652 kB
Mapped:            46480 kB
Shmem:             30556 kB
Slab:             216032 kB
SReclaimable:     186628 kB
SUnreclaim:        29404 kB
KernelStack:        3408 kB
PageTables:         5512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     511688 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 /tmp at the end= 59300 MiB
End job on node150 at 2019-09-17 01:15:47