Trace number 4403123

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.3SAT (TO)326 2400.19 2357.8

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-05-05-9.xml
MD5SUMb1b903d633c720775ef1eb29649a113f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark326
Best CPU time to get the best result obtained on this benchmark36.6984
Satisfiable
(Un)Satisfiability was proved
Number of variables105
Number of constraints90
Number of domains7
Minimum domain size5
Maximum domain size426
Distribution of domain sizes[{"size":5,"count":50},{"size":426,"count":55}]
Minimum variable degree2
Maximum variable degree6
Distribution of variable degrees[{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}]
Minimum constraint arity1
Maximum constraint arity7
Distribution of constraint arities[{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}]
Number of extensional constraints25
Number of intensional constraints30
Distribution of constraint types[{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.82/2.26	c Concrete v3.12.3.1568965526260 running
9.75/13.06	o 425
9.75/13.07	o 417
11.62/13.64	o 412
12.90/14.01	o 400
13.23/14.13	o 399
13.23/14.13	o 390
13.83/14.35	o 386
14.13/14.48	o 385
15.08/14.70	o 384
15.08/14.71	o 376
15.08/14.71	o 375
15.08/14.74	o 372
15.38/14.88	o 364
15.38/14.88	o 363
16.21/15.18	o 362
16.48/15.22	o 359
16.71/15.36	o 358
16.71/15.38	o 357
16.71/15.38	o 351
16.71/15.39	o 350
16.95/15.47	o 349
18.58/16.47	o 348
18.91/16.70	o 347
18.91/16.70	o 346
18.91/16.74	o 343
18.91/16.75	o 342
22.04/19.36	o 341
22.52/19.73	o 340
22.52/19.74	o 339
22.52/19.75	o 338
37.82/32.63	o 337
37.82/32.64	o 336
37.82/32.64	o 335
41.13/35.83	o 334
41.13/35.83	o 333
41.13/35.86	o 332
64.72/58.72	o 331
64.84/58.84	o 330
64.84/58.86	o 329
414.51/403.23	o 328
667.14/652.11	o 327
667.14/652.11	o 326
2400.07/2357.70	Exception in thread "main" java.util.concurrent.TimeoutException
2400.07/2357.70		at concrete.MAC.mac(MAC.scala:192)
2400.07/2357.70		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2400.07/2357.70		at scala.util.Try$.apply(Try.scala:210)
2400.07/2357.70		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2400.07/2357.70		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2400.07/2357.70		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2400.07/2357.70		at concrete.MAC.oneRun(MAC.scala:265)
2400.07/2357.70		at concrete.MAC.nextSolution(MAC.scala:284)
2400.07/2357.70		at concrete.MAC.nextSolution(MAC.scala:369)
2400.07/2357.70		at concrete.Solver.hasNext(Solver.scala:160)
2400.07/2357.70		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2400.07/2357.70		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2400.07/2357.70		at concrete.Solver.foreach(Solver.scala:67)
2400.07/2357.70		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2400.07/2357.70		at scala.util.Success.map(Try.scala:262)
2400.07/2357.70		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2400.07/2357.70		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2400.07/2357.70		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.07/2357.70		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2400.07/2357.70		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.07/2357.70		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2400.07/2357.70		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2400.07/2357.70		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2400.07/2357.70		at scala.App.$anonfun$main$1(App.scala:73)
2400.07/2357.70		at scala.App.$anonfun$main$1$adapted(App.scala:73)
2400.07/2357.70		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2400.07/2357.70		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2400.07/2357.70		at scala.collection.AbstractIterable.foreach(Iterable.scala:921)
2400.07/2357.70		at scala.App.main(App.scala:73)
2400.07/2357.70		at scala.App.main$(App.scala:71)
2400.07/2357.70		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.07/2357.70		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.07/2357.71	v <instantiation
2400.07/2357.71	v         cost = '326'>
2400.07/2357.71	v       <list>
2400.07/2357.71	v         s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] e[0] e[1] e[2] e[3] e[4] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4]
2400.07/2357.71	v       </list>
2400.07/2357.71	v       <values>
2400.07/2357.71	v         0 45 143 160 250 0 99 155 219 312 0 45 99 155 252 14 44 93 169 245 0 91 144 169 252 309 326 311 326 326 36 87 17 90 59 99 56 32 93 14 45 40 44 97 59 30 49 67 50 81 91 53 25 76 74 1 2 3 0 4 3 1 4 2 0 2 4 3 1 0 4 1 0 2 3 0 4 2 3 1 160 0 45 143 250 312 99 219 0 155 252 155 0 99 45 93 44 169 245 14 0 252 144 169 91
2400.07/2357.71	v       </values>
2400.07/2357.71	v     </instantiation>
2400.07/2357.71	s SATISFIABLE

Verifier Data 

OK	326

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 (134 MiB free)
  memory of node 1: 16384 MiB (65 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403123-1568967638/watcher-4403123-1568967638 -o /var/tmp/evaluation-result-4403123-1568967638/solver-4403123-1568967638 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1568967598-14413 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1159292332 HOME/instance-4403123-1568967638.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
solver pid=14450, runsolver pid=14441
Current StackSize limit: 8192 KiB


[startup+0.100138 s]*
/proc/loadavg: 0.45 0.11 0.08 2/206 14461
/proc/meminfo: memFree=203764/32770624 swapFree=66953184/67108860
[pid=14450] ppid=14441 vsize=113256 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14450/stat : 14450 (bash) S 14441 14450 14381 0 -1 4202496 695 0 0 0 0 0 0 0 20 0 1 0 472679616 115974144 363 33554432000 4194304 5098028 140727940323264 140727940320904 140648482196480 0 0 4100 65536 18446744071580971376 0 0 17 7 0 0 1 0 0 7196144 7232144 10670080 140727940330496 140727940330625 140727940330625 140727940333550 0
/proc/14450/statm: 28314 363 290 221 0 119 0
[pid=14452] ppid=14450 vsize=113256 memory=708 CPUtime=0 cores=1,3,5,7
/proc/14452/stat : 14452 (bash) S 14450 14450 14381 0 -1 4202560 171 0 0 0 0 0 0 0 20 0 1 0 472679617 115974144 177 33554432000 4194304 5098028 140727940323264 140727940319432 140648482022012 0 65536 4096 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10670080 140727940330496 140727940330625 140727940330625 140727940333550 0
/proc/14452/statm: 28314 177 101 221 0 119 0
[pid=14454] ppid=14452 vsize=113256 memory=888 CPUtime=0 cores=1,3,5,7
/proc/14454/stat : 14454 (bash) S 14452 14450 14381 0 -1 4202560 211 426 0 0 0 0 0 0 20 0 1 0 472679618 115974144 222 33554432000 4194304 5098028 140727940323264 140727940316728 140648482196480 0 0 4096 65538 18446744071580971376 0 0 17 3 0 0 0 0 0 7196144 7232144 10670080 140727940330496 140727940330625 140727940330625 140727940333550 0
/proc/14454/statm: 28314 222 146 221 0 119 0
[pid=14461] ppid=14454 vsize=113256 memory=492 CPUtime=0 cores=1,3,5,7
/proc/14461/stat : 14461 (bash) D 14454 14450 14381 0 -1 4202560 125 0 0 0 0 0 0 0 20 0 1 0 472679623 115974144 123 33554432000 4194304 5098028 140727940323264 140727940315784 140648482194805 0 0 4096 65538 18446744071585676691 0 0 17 5 0 0 0 0 0 7196144 7232144 10670080 140727940330496 140727940330625 140727940330625 140727940333550 0
/proc/14461/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.209911 s]*
/proc/loadavg: 0.45 0.11 0.08 2/202 14501
/proc/meminfo: memFree=203660/32770624 swapFree=66953184/67108860
[pid=14450] ppid=14441 vsize=113256 memory=1568 CPUtime=0.01 cores=1,3,5,7
/proc/14450/stat : 14450 (bash) S 14441 14450 14381 0 -1 4202496 854 5347 0 0 0 0 0 1 20 0 1 0 472679616 115974144 392 33554432000 4194304 5098028 140727940323264 140727940317000 140648482196480 0 0 4100 65536 18446744071580971376 0 0 17 7 0 0 1 0 0 7196144 7232144 10670080 140727940330496 140727940330625 140727940330625 140727940333550 0
/proc/14450/statm: 28314 392 311 221 0 119 0
[pid=14499] ppid=14450 vsize=113256 memory=508 CPUtime=0 cores=1,3,5,7
/proc/14499/stat : 14499 (bash) D 14450 14450 14381 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 1 0 472679630 115974144 127 33554432000 4194304 5098028 140727940323264 140727940316056 140648482194805 0 0 4096 65538 18446744072101821988 0 0 17 1 0 0 0 0 0 7196144 7232144 10670080 140727940330496 140727940330625 140727940330625 140727940333550 0
/proc/14499/statm: 28314 127 43 221 0 119 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 226512 KiB
Current children cumulated memory: 2076 KiB

[startup+0.309525 s]*
/proc/loadavg: 0.45 0.11 0.08 2/206 14507
/proc/meminfo: memFree=202648/32770624 swapFree=66953184/67108860
[pid=14450] ppid=14441 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/14450/stat : 14450 (bash) S 14441 14450 14381 0 -1 4202496 893 5667 0 0 0 0 0 1 20 0 1 0 472679616 115974144 404 33554432000 4194304 5098028 140727940323264 140727940317272 140648482196480 0 0 4100 65536 18446744071580971376 0 0 17 7 0 0 1 0 0 7196144 7232144 10670080 140727940330496 140727940330625 140727940330625 140727940333550 0
/proc/14450/statm: 28314 404 320 221 0 119 0
[pid=14502] ppid=14450 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/14502/stat : 14502 (bash) S 14450 14450 14381 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 1 0 472679641 115974144 178 33554432000 4194304 5098028 140727940323264 140727940315944 140648482022012 0 65536 4096 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10670080 140727940330496 140727940330625 140727940330625 140727940333550 0
/proc/14502/statm: 28314 178 94 221 0 119 0
[pid=14504] ppid=14502 vsize=113256 memory=532 CPUtime=0 cores=1,3,5,7
/proc/14504/stat : 14504 (bash) D 14502 14450 14381 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 1 0 472679641 115974144 133 33554432000 4194304 5098028 140727940323264 140727940316008 140648482023927 0 0 4096 0 18446744072101821988 0 0 17 3 0 0 0 0 0 7196144 7232144 10670080 140727940330496 140727940330625 140727940330625 140727940333550 0
/proc/14504/statm: 28314 133 49 221 0 119 0
[pid=14505] ppid=14502 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/14505/stat : 14505 (awk) S 14502 14450 14381 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 472679641 116211712 243 33554432000 4194304 4609284 140722101335248 140722101334424 140381780315136 0 0 4096 1216 18446744071580971376 0 0 17 7 0 0 0 0 0 6708720 6711756 7667712 140722101343404 140722101343434 140722101343434 140722101346287 0
/proc/14505/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 453256 KiB
Current children cumulated memory: 3832 KiB

[startup+0.70052 s]
/proc/loadavg: 0.45 0.11 0.08 2/206 14507
/proc/meminfo: memFree=198000/32770624 swapFree=66953184/67108860
[pid=14450] ppid=14441 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/14450/stat : 14450 (bash) S 14441 14450 14381 0 -1 4202496 893 5667 0 0 0 0 0 1 20 0 1 0 472679616 115974144 404 33554432000 4194304 5098028 140727940323264 140727940317272 140648482196480 0 0 4100 65536 18446744071580971376 0 0 17 7 0 0 1 0 0 7196144 7232144 10670080 140727940330496 140727940330625 140727940330625 140727940333550 0
/proc/14450/statm: 28314 404 320 221 0 119 0
[pid=14502] ppid=14450 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/14502/stat : 14502 (bash) S 14450 14450 14381 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 1 0 472679641 115974144 178 33554432000 4194304 5098028 140727940323264 140727940315944 140648482022012 0 65536 4096 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10670080 140727940330496 140727940330625 140727940330625 140727940333550 0
/proc/14502/statm: 28314 178 94 221 0 119 0
[pid=14504] ppid=14502 vsize=30188 memory=796 CPUtime=0 cores=1,3,5,7
/proc/14504/stat : 14504 (java) D 14502 14450 14381 0 -1 4202496 358 0 1 0 0 0 0 0 20 0 1 0 472679641 30912512 199 33554432000 4194304 4196468 140733552255984 140733552237464 139932847953545 0 0 4096 0 18446744071580431491 0 0 17 5 0 0 1 0 0 6293624 6294260 25038848 140733552264316 140733552264330 140733552264330 140733552267215 0
/proc/14504/statm: 7547 199 161 1 0 159 0
[pid=14505] ppid=14502 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/14505/stat : 14505 (awk) S 14502 14450 14381 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 472679641 116211712 243 33554432000 4194304 4609284 140722101335248 140722101334424 140381780315136 0 0 4096 1216 18446744071580971376 0 0 17 7 0 0 0 0 0 6708720 6711756 7667712 140722101343404 140722101343434 140722101343434 140722101346287 0
/proc/14505/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 370188 KiB
Current children cumulated memory: 4096 KiB

[startup+1.50039 s]
/proc/loadavg: 0.45 0.11 0.08 2/220 14521
/proc/meminfo: memFree=176912/32770624 swapFree=66953184/67108860
[pid=14450] ppid=14441 vsize=10818432 memory=27316 CPUtime=0.14 cores=1,3,5,7
/proc/14450/stat : 14450 (java) S 14441 14450 14381 0 -1 1077944320 5654 13062 0 2 5 1 5 3 20 0 15 0 472679616 11078074368 6829 33554432000 4194304 4196468 140726048352096 140726048334640 140075931848439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
/proc/14450/statm: 2704608 6829 2600 1 0 2667149 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10818432 KiB
Current children cumulated memory: 27316 KiB

[startup+3.10994 s]
/proc/loadavg: 0.45 0.11 0.08 2/229 14583
/proc/meminfo: memFree=198828/32770624 swapFree=66953184/67108860
[pid=14450] ppid=14441 vsize=10822316 memory=72332 CPUtime=0.94 cores=1,3,5,7
/proc/14450/stat : 14450 (java) S 14441 14450 14381 0 -1 1077944320 13930 13062 0 2 79 7 5 3 20 0 15 0 472679616 11082051584 18083 33554432000 4194304 4196468 140726048352096 140726048334640 140075931848439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
/proc/14450/statm: 2705579 18083 3478 1 0 2667661 0
[pid=14450/tid=14555] ppid=14441 vsize=10822316 memory=280083407377376 CPUtime=0.62 cores=1,3,5,7
/proc/14450/task/14555/stat : 14555 (java) D 14441 14450 14381 0 -1 4202560 9762 13062 0 2 48 6 5 3 20 0 15 0 472679751 11082051584 18083 33554432000 4194304 4196468 140726048352096 140075903667120 140075931870365 0 4 0 16800975 18446744071580419588 0 0 -1 5 0 0 98 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14560] ppid=14441 vsize=10822316 memory=54728 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14560/stat : 14560 (java) S 14441 14450 14381 0 -1 1077944384 1 13062 0 2 0 0 5 3 20 0 15 0 472679753 11082051584 18083 33554432000 4194304 4196468 140726048352096 140075936091024 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14561] ppid=14441 vsize=10822316 memory=988 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14561/stat : 14561 (java) S 14441 14450 14381 0 -1 1077944384 1 13062 0 2 0 0 5 3 20 0 15 0 472679753 11082051584 18083 33554432000 4194304 4196468 140726048352096 140075863571216 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14562] ppid=14441 vsize=10822316 memory=520 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14562/stat : 14562 (java) S 14441 14450 14381 0 -1 1077944384 1 13062 0 2 0 0 5 3 20 0 15 0 472679753 11082051584 18083 33554432000 4194304 4196468 140726048352096 140075504086160 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14563] ppid=14441 vsize=10822316 memory=1560 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14563/stat : 14563 (java) S 14441 14450 14381 0 -1 1077944384 2 13062 0 2 0 0 5 3 20 0 15 0 472679753 11082051584 18083 33554432000 4194304 4196468 140726048352096 140075503033360 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14565] ppid=14441 vsize=10822316 memory=924 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14565/stat : 14565 (java) S 14441 14450 14381 0 -1 1077944384 5 13062 0 2 0 0 5 3 20 0 15 0 472679754 11082051584 18083 33554432000 4194304 4196468 140726048352096 140074935113840 140075931859586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14567] ppid=14441 vsize=10822316 memory=3688 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14567/stat : 14567 (java) S 14441 14450 14381 0 -1 1077944384 13 13062 0 2 0 0 5 3 20 0 15 0 472679755 11082051584 18083 33554432000 4194304 4196468 140726048352096 140074855424800 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14569] ppid=14441 vsize=10822316 memory=1984 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14569/stat : 14569 (java) S 14441 14450 14381 0 -1 1077944384 1 13062 0 2 0 0 5 3 20 0 15 0 472679755 11082051584 18083 33554432000 4194304 4196468 140726048352096 140074721207408 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14575] ppid=14441 vsize=10822316 memory=1440 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14575/stat : 14575 (java) S 14441 14450 14381 0 -1 1077944384 3 13062 0 2 0 0 5 3 20 0 15 0 472679760 11082051584 18083 33554432000 4194304 4196468 140726048352096 140074480916560 140075931867035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14576] ppid=14441 vsize=10822316 memory=800 CPUtime=0.16 cores=1,3,5,7
/proc/14450/task/14576/stat : 14576 (java) S 14441 14450 14381 0 -1 1077944384 703 13062 0 2 8 0 5 3 20 0 15 0 472679760 11082051584 18083 33554432000 4194304 4196468 140726048352096 140074934061680 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14577] ppid=14441 vsize=10822316 memory=56 CPUtime=0.14 cores=1,3,5,7
/proc/14450/task/14577/stat : 14577 (java) S 14441 14450 14381 0 -1 1077944384 526 13062 0 2 6 0 5 3 20 0 15 0 472679760 11082051584 18083 33554432000 4194304 4196468 140726048352096 140074933008880 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14578] ppid=14441 vsize=10822316 memory=6944613755495348631 CPUtime=0.23 cores=1,3,5,7
/proc/14450/task/14578/stat : 14578 (java) S 14441 14450 14381 0 -1 1077944384 701 13062 0 2 15 0 5 3 20 0 15 0 472679760 11082051584 18083 33554432000 4194304 4196468 140726048352096 140074931956592 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14579] ppid=14441 vsize=10822316 memory=-7384994774051102368 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14579/stat : 14579 (java) S 14441 14450 14381 0 -1 1077944384 3 13062 0 2 0 0 5 3 20 0 15 0 472679760 11082051584 18083 33554432000 4194304 4196468 140726048352096 140074447358944 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14581] ppid=14441 vsize=10822316 memory=-9001733975035373671 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14581/stat : 14581 (java) S 14441 14450 14381 0 -1 1077944384 1 13062 0 2 0 0 5 3 20 0 15 0 472679766 11082051584 18083 33554432000 4194304 4196468 140726048352096 140074930903472 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 72332 KiB
heavy processes:

[startup+6.30071 s]
/proc/loadavg: 0.66 0.16 0.09 2/229 14583
/proc/meminfo: memFree=215152/32770624 swapFree=66953184/67108860
[pid=14450] ppid=14441 vsize=10822316 memory=76384 CPUtime=1.06 cores=1,3,5,7
/proc/14450/stat : 14450 (java) S 14441 14450 14381 0 -1 1077944320 14378 13062 0 2 90 8 5 3 20 0 15 0 472679616 11082051584 19096 33554432000 4194304 4196468 140726048352096 140726048334640 140075931848439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
/proc/14450/statm: 2705579 19096 3502 1 0 2667661 0
[pid=14450/tid=14555] ppid=14441 vsize=10822316 memory=76384 CPUtime=0.66 cores=1,3,5,7
/proc/14450/task/14555/stat : 14555 (java) D 14441 14450 14381 0 -1 4202560 10163 13062 0 2 52 6 5 3 20 0 15 0 472679751 11082051584 19096 33554432000 4194304 4196468 140726048352096 140075903674832 140075931870365 0 4 0 16800975 18446744071580419588 0 0 -1 5 0 0 319 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14560] ppid=14441 vsize=10822316 memory=7681407940103534239 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14560/stat : 14560 (java) S 14441 14450 14381 0 -1 1077944384 1 13062 0 2 0 0 5 3 20 0 15 0 472679753 11082051584 19096 33554432000 4194304 4196468 140726048352096 140075936091024 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14561] ppid=14441 vsize=10822316 memory=2320398886234501804 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14561/stat : 14561 (java) S 14441 14450 14381 0 -1 1077944384 1 13062 0 2 0 0 5 3 20 0 15 0 472679753 11082051584 19096 33554432000 4194304 4196468 140726048352096 140075863571216 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14562] ppid=14441 vsize=10822316 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14562/stat : 14562 (java) S 14441 14450 14381 0 -1 1077944384 1 13062 0 2 0 0 5 3 20 0 15 0 472679753 11082051584 19096 33554432000 4194304 4196468 140726048352096 140075504086160 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14563] ppid=14441 vsize=10822316 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14563/stat : 14563 (java) S 14441 14450 14381 0 -1 1077944384 2 13062 0 2 0 0 5 3 20 0 15 0 472679753 11082051584 19096 33554432000 4194304 4196468 140726048352096 140075503033360 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14565] ppid=14441 vsize=10822316 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14565/stat : 14565 (java) S 14441 14450 14381 0 -1 1077944384 5 13062 0 2 0 0 5 3 20 0 15 0 472679754 11082051584 19096 33554432000 4194304 4196468 140726048352096 140074935113840 140075931859586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14567] ppid=14441 vsize=10822316 memory=6944656592387989600 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14567/stat : 14567 (java) S 14441 14450 14381 0 -1 1077944384 13 13062 0 2 0 0 5 3 20 0 15 0 472679755 11082051584 19096 33554432000 4194304 4196468 140726048352096 140074855424800 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14569] ppid=14441 vsize=10822316 memory=280083407818560 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14569/stat : 14569 (java) S 14441 14450 14381 0 -1 1077944384 1 13062 0 2 0 0 5 3 20 0 15 0 472679755 11082051584 19096 33554432000 4194304 4196468 140726048352096 140074721207408 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14575] ppid=14441 vsize=10822316 memory=-7082918048272507482 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14575/stat : 14575 (java) S 14441 14450 14381 0 -1 1077944384 3 13062 0 2 0 0 5 3 20 0 15 0 472679760 11082051584 19096 33554432000 4194304 4196468 140726048352096 140074480916560 140075931867035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14576] ppid=14441 vsize=10822316 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/14450/task/14576/stat : 14576 (java) S 14441 14450 14381 0 -1 1077944384 716 13062 0 2 11 0 5 3 20 0 15 0 472679760 11082051584 19096 33554432000 4194304 4196468 140726048352096 140074934061680 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14577] ppid=14441 vsize=10822316 memory=11 CPUtime=0.17 cores=1,3,5,7
/proc/14450/task/14577/stat : 14577 (java) S 14441 14450 14381 0 -1 1077944384 543 13062 0 2 9 0 5 3 20 0 15 0 472679760 11082051584 19096 33554432000 4194304 4196468 140726048352096 140074933008880 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14578] ppid=14441 vsize=10822316 memory=9 CPUtime=0.24 cores=1,3,5,7
/proc/14450/task/14578/stat : 14578 (java) S 14441 14450 14381 0 -1 1077944384 718 13062 0 2 16 0 5 3 20 0 15 0 472679760 11082051584 19096 33554432000 4194304 4196468 140726048352096 140074931956592 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14579] ppid=14441 vsize=10822316 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14579/stat : 14579 (java) S 14441 14450 14381 0 -1 1077944384 3 13062 0 2 0 0 5 3 20 0 15 0 472679760 11082051584 19096 33554432000 4194304 4196468 140726048352096 140074447358944 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14581] ppid=14441 vsize=10822316 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14581/stat : 14581 (java) S 14441 14450 14381 0 -1 1077944384 1 13062 0 2 0 0 5 3 20 0 15 0 472679766 11082051584 19096 33554432000 4194304 4196468 140726048352096 140074930903472 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 76384 KiB
heavy processes:

[startup+12.7007 s]
/proc/loadavg: 0.84 0.21 0.11 10/230 14585
/proc/meminfo: memFree=194244/32770624 swapFree=66953184/67108860
[pid=14450] ppid=14441 vsize=10851096 memory=259724 CPUtime=8.84 cores=1,3,5,7
/proc/14450/stat : 14450 (java) S 14441 14450 14381 0 -1 1077944320 70199 13062 2 2 847 29 5 3 20 0 15 0 472679616 11111522304 64931 33554432000 4194304 4196468 140726048352096 140726048334640 140075931848439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
/proc/14450/statm: 2712774 64931 3623 1 0 2674829 0
[pid=14450/tid=14555] ppid=14441 vsize=10851096 memory=6791534058613427641 CPUtime=4.04 cores=1,3,5,7
/proc/14450/task/14555/stat : 14555 (java) R 14441 14450 14381 0 -1 12593216 42438 13062 2 2 376 20 5 3 20 0 15 0 472679751 11111522304 64931 33554432000 4194304 4196468 140726048352096 140075903678592 140075549955113 0 4 0 16800975 0 0 0 -1 5 0 0 652 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14560] ppid=14441 vsize=10851096 memory=14008 CPUtime=0.11 cores=1,3,5,7
/proc/14450/task/14560/stat : 14560 (java) S 14441 14450 14381 0 -1 1077944384 1773 13062 0 2 3 0 5 3 20 0 15 0 472679753 11111522304 64931 33554432000 4194304 4196468 140726048352096 140075936091024 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14561] ppid=14441 vsize=10851096 memory=79120 CPUtime=0.1 cores=1,3,5,7
/proc/14450/task/14561/stat : 14561 (java) S 14441 14450 14381 0 -1 1077944384 1504 13062 0 2 2 0 5 3 20 0 15 0 472679753 11111522304 64931 33554432000 4194304 4196468 140726048352096 140075863571216 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0

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

/proc/14450/task/14555/stat : 14555 (java) R 14441 14450 14381 0 -1 4202560 2359579 13062 2 2 222726 310 5 3 20 0 15 0 472679751 11111522304 479009 33554432000 4194304 4196468 140726048352096 140075903684608 140075538918199 0 4 0 16800975 0 0 0 -1 5 0 0 652 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14560] ppid=14441 vsize=10851096 memory=1916036 CPUtime=11.55 cores=1,3,5,7
/proc/14450/task/14560/stat : 14560 (java) S 14441 14450 14381 0 -1 1077944384 48759 13062 0 2 1083 64 5 3 20 0 15 0 472679753 11111522304 479009 33554432000 4194304 4196468 140726048352096 140075936091024 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14561] ppid=14441 vsize=10851096 memory=1915584 CPUtime=11.54 cores=1,3,5,7
/proc/14450/task/14561/stat : 14561 (java) S 14441 14450 14381 0 -1 1077944384 49095 13062 0 2 1084 62 5 3 20 0 15 0 472679753 11111522304 479009 33554432000 4194304 4196468 140726048352096 140075863571216 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14562] ppid=14441 vsize=10851096 memory=1915916 CPUtime=11.53 cores=1,3,5,7
/proc/14450/task/14562/stat : 14562 (java) S 14441 14450 14381 0 -1 1077944384 53892 13062 0 2 1083 62 5 3 20 0 15 0 472679753 11111522304 479009 33554432000 4194304 4196468 140726048352096 140075504086160 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14563] ppid=14441 vsize=10851096 memory=1916036 CPUtime=11.51 cores=1,3,5,7
/proc/14450/task/14563/stat : 14563 (java) S 14441 14450 14381 0 -1 1077944384 46643 13062 0 2 1082 61 5 3 20 0 15 0 472679753 11111522304 479009 33554432000 4194304 4196468 140726048352096 140075503033360 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14565] ppid=14441 vsize=10851096 memory=1916036 CPUtime=9.52 cores=1,3,5,7
/proc/14450/task/14565/stat : 14565 (java) S 14441 14450 14381 0 -1 1077944384 34048 13062 0 2 891 53 5 3 20 0 15 0 472679754 11111522304 479009 33554432000 4194304 4196468 140726048352096 140074935113840 140075931859586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14567] ppid=14441 vsize=10851096 memory=1916036 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14567/stat : 14567 (java) S 14441 14450 14381 0 -1 1077944384 17 13062 0 2 0 0 5 3 20 0 15 0 472679755 11111522304 479009 33554432000 4194304 4196468 140726048352096 140074855424864 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14569] ppid=14441 vsize=10851096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14569/stat : 14569 (java) S 14441 14450 14381 0 -1 1077944384 3 13062 0 2 0 0 5 3 20 0 15 0 472679755 11111522304 479009 33554432000 4194304 4196468 140726048352096 140074721207424 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14575] ppid=14441 vsize=10851096 memory=1916036 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14575/stat : 14575 (java) S 14441 14450 14381 0 -1 1077944384 3 13062 0 2 0 0 5 3 20 0 15 0 472679760 11111522304 479009 33554432000 4194304 4196468 140726048352096 140074480916560 140075931867035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14576] ppid=14441 vsize=10851096 memory=1916036 CPUtime=6.02 cores=1,3,5,7
/proc/14450/task/14576/stat : 14576 (java) S 14441 14450 14381 0 -1 1077944384 30180 13062 0 2 588 6 5 3 20 0 15 0 472679760 11111522304 479009 33554432000 4194304 4196468 140726048352096 140074934061680 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14577] ppid=14441 vsize=10851096 memory=1916036 CPUtime=5.91 cores=1,3,5,7
/proc/14450/task/14577/stat : 14577 (java) S 14441 14450 14381 0 -1 1077944384 28462 13062 0 2 578 5 5 3 20 0 15 0 472679760 11111522304 479009 33554432000 4194304 4196468 140726048352096 140074933008880 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14578] ppid=14441 vsize=10851096 memory=3504 CPUtime=4.37 cores=1,3,5,7
/proc/14450/task/14578/stat : 14578 (java) S 14441 14450 14381 0 -1 1077944384 44823 13062 0 2 421 8 5 3 20 0 15 0 472679760 11111522304 479009 33554432000 4194304 4196468 140726048352096 140074931956592 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14579] ppid=14441 vsize=10851096 memory=3504 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14579/stat : 14579 (java) S 14441 14450 14381 0 -1 1077944384 3 13062 0 2 0 0 5 3 20 0 15 0 472679760 11111522304 479009 33554432000 4194304 4196468 140726048352096 140074447358944 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14581] ppid=14441 vsize=10851096 memory=54768 CPUtime=1.31 cores=1,3,5,7
/proc/14450/task/14581/stat : 14581 (java) S 14441 14450 14381 0 -1 1077944384 1313 13062 0 2 53 70 5 3 20 0 15 0 472679766 11111522304 479009 33554432000 4194304 4196468 140726048352096 140074930903472 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
Current children cumulated CPU time: 2303.12 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1916036 KiB

[startup+2322.3 s]
/proc/loadavg: 1.63 1.51 1.33 4/227 14791
/proc/meminfo: memFree=235164/32770624 swapFree=66953184/67108860
[pid=14450] ppid=14441 vsize=10851096 memory=1916624 CPUtime=2364.07 cores=1,3,5,7
/proc/14450/stat : 14450 (java) S 14441 14450 14381 0 -1 1077944320 2757882 13062 2 2 235743 656 5 3 20 0 15 0 472679616 11111522304 479156 33554432000 4194304 4196468 140726048352096 140726048334640 140075931848439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
/proc/14450/statm: 2712774 479156 3633 1 0 2674829 0
[pid=14450/tid=14555] ppid=14441 vsize=10851096 memory=1916624 CPUtime=2289.77 cores=1,3,5,7
/proc/14450/task/14555/stat : 14555 (java) R 14441 14450 14381 0 -1 4202560 2409692 13062 2 2 228655 314 5 3 20 0 15 0 472679751 11111522304 479156 33554432000 4194304 4196468 140726048352096 140075903683696 140075549922384 0 4 0 16800975 0 0 0 -1 7 0 0 652 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14560] ppid=14441 vsize=10851096 memory=1916624 CPUtime=11.87 cores=1,3,5,7
/proc/14450/task/14560/stat : 14560 (java) S 14441 14450 14381 0 -1 1077944384 49630 13062 0 2 1114 65 5 3 20 0 15 0 472679753 11111522304 479156 33554432000 4194304 4196468 140726048352096 140075936091024 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14561] ppid=14441 vsize=10851096 memory=1916612 CPUtime=11.87 cores=1,3,5,7
/proc/14450/task/14561/stat : 14561 (java) S 14441 14450 14381 0 -1 1077944384 50866 13062 0 2 1115 64 5 3 20 0 15 0 472679753 11111522304 479156 33554432000 4194304 4196468 140726048352096 140075863571216 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14562] ppid=14441 vsize=10851096 memory=1916560 CPUtime=11.87 cores=1,3,5,7
/proc/14450/task/14562/stat : 14562 (java) S 14441 14450 14381 0 -1 1077944384 55639 13062 0 2 1116 63 5 3 20 0 15 0 472679753 11111522304 479156 33554432000 4194304 4196468 140726048352096 140075504086160 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14563] ppid=14441 vsize=10851096 memory=1916524 CPUtime=11.86 cores=1,3,5,7
/proc/14450/task/14563/stat : 14563 (java) S 14441 14450 14381 0 -1 1077944384 48061 13062 0 2 1115 63 5 3 20 0 15 0 472679753 11111522304 479156 33554432000 4194304 4196468 140726048352096 140075503033360 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14565] ppid=14441 vsize=10851096 memory=1916624 CPUtime=9.77 cores=1,3,5,7
/proc/14450/task/14565/stat : 14565 (java) S 14441 14450 14381 0 -1 1077944384 34835 13062 0 2 915 54 5 3 20 0 15 0 472679754 11111522304 479156 33554432000 4194304 4196468 140726048352096 140074935113840 140075931859586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14567] ppid=14441 vsize=10851096 memory=1916624 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14567/stat : 14567 (java) S 14441 14450 14381 0 -1 1077944384 17 13062 0 2 0 0 5 3 20 0 15 0 472679755 11111522304 479156 33554432000 4194304 4196468 140726048352096 140074855424864 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14569] ppid=14441 vsize=10851096 memory=1052 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14569/stat : 14569 (java) S 14441 14450 14381 0 -1 1077944384 3 13062 0 2 0 0 5 3 20 0 15 0 472679755 11111522304 479156 33554432000 4194304 4196468 140726048352096 140074721207424 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14575] ppid=14441 vsize=10851096 memory=1916316 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14575/stat : 14575 (java) S 14441 14450 14381 0 -1 1077944384 3 13062 0 2 0 0 5 3 20 0 15 0 472679760 11111522304 479156 33554432000 4194304 4196468 140726048352096 140074480916560 140075931867035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14576] ppid=14441 vsize=10851096 memory=1916612 CPUtime=6.04 cores=1,3,5,7
/proc/14450/task/14576/stat : 14576 (java) S 14441 14450 14381 0 -1 1077944384 32271 13062 0 2 590 6 5 3 20 0 15 0 472679760 11111522304 479156 33554432000 4194304 4196468 140726048352096 140074934061680 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14577] ppid=14441 vsize=10851096 memory=1916560 CPUtime=5.91 cores=1,3,5,7
/proc/14450/task/14577/stat : 14577 (java) S 14441 14450 14381 0 -1 1077944384 28464 13062 0 2 578 5 5 3 20 0 15 0 472679760 11111522304 479156 33554432000 4194304 4196468 140726048352096 140074933008880 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14578] ppid=14441 vsize=10851096 memory=1916612 CPUtime=4.37 cores=1,3,5,7
/proc/14450/task/14578/stat : 14578 (java) S 14441 14450 14381 0 -1 1077944384 44827 13062 0 2 421 8 5 3 20 0 15 0 472679760 11111522304 479156 33554432000 4194304 4196468 140726048352096 140074931956592 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14579] ppid=14441 vsize=10851096 memory=1916612 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14579/stat : 14579 (java) S 14441 14450 14381 0 -1 1077944384 3 13062 0 2 0 0 5 3 20 0 15 0 472679760 11111522304 479156 33554432000 4194304 4196468 140726048352096 140074447358944 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14581] ppid=14441 vsize=10851096 memory=1916624 CPUtime=1.35 cores=1,3,5,7
/proc/14450/task/14581/stat : 14581 (java) S 14441 14450 14381 0 -1 1077944384 1364 13062 0 2 55 72 5 3 20 0 15 0 472679766 11111522304 479156 33554432000 4194304 4196468 140726048352096 140074930903472 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
Current children cumulated CPU time: 2364.07 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1916624 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2357.7 s]
/proc/loadavg: 1.63 1.53 1.34 4/227 14795
/proc/meminfo: memFree=235364/32770624 swapFree=66953184/67108860
[pid=14450] ppid=14441 vsize=10851096 memory=1916956 CPUtime=2400.07 cores=1,3,5,7
/proc/14450/stat : 14450 (java) S 14441 14450 14381 0 -1 1077944320 2777628 13062 2 2 239338 661 5 3 20 0 15 0 472679616 11111522304 479239 33554432000 4194304 4196468 140726048352096 140726048334640 140075931848439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
/proc/14450/statm: 2712774 479239 3633 1 0 2674829 0
[pid=14450/tid=14555] ppid=14441 vsize=10851096 memory=1916932 CPUtime=2324.76 cores=1,3,5,7
/proc/14450/task/14555/stat : 14555 (java) R 14441 14450 14381 0 -1 4202560 2425248 13062 2 2 232153 315 5 3 20 0 15 0 472679751 11111522304 479239 33554432000 4194304 4196468 140726048352096 140075903683712 140075549622681 0 4 0 16800975 0 0 0 -1 3 0 0 652 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14560] ppid=14441 vsize=10851096 memory=1913660 CPUtime=12.08 cores=1,3,5,7
/proc/14450/task/14560/stat : 14560 (java) S 14441 14450 14381 0 -1 1077944384 50555 13062 0 2 1134 66 5 3 20 0 15 0 472679753 11111522304 479239 33554432000 4194304 4196468 140726048352096 140075936091024 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14561] ppid=14441 vsize=10851096 memory=1916932 CPUtime=12.07 cores=1,3,5,7
/proc/14450/task/14561/stat : 14561 (java) S 14441 14450 14381 0 -1 1077944384 51322 13062 0 2 1135 64 5 3 20 0 15 0 472679753 11111522304 479239 33554432000 4194304 4196468 140726048352096 140075863571216 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14562] ppid=14441 vsize=10851096 memory=1916824 CPUtime=12.08 cores=1,3,5,7
/proc/14450/task/14562/stat : 14562 (java) S 14441 14450 14381 0 -1 1077944384 57339 13062 0 2 1136 64 5 3 20 0 15 0 472679753 11111522304 479239 33554432000 4194304 4196468 140726048352096 140075504086160 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14563] ppid=14441 vsize=10851096 memory=1916704 CPUtime=12.06 cores=1,3,5,7
/proc/14450/task/14563/stat : 14563 (java) S 14441 14450 14381 0 -1 1077944384 48703 13062 0 2 1134 64 5 3 20 0 15 0 472679753 11111522304 479239 33554432000 4194304 4196468 140726048352096 140075503033360 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14565] ppid=14441 vsize=10851096 memory=1916648 CPUtime=9.93 cores=1,3,5,7
/proc/14450/task/14565/stat : 14565 (java) S 14441 14450 14381 0 -1 1077944384 35274 13062 0 2 930 55 5 3 20 0 15 0 472679754 11111522304 479239 33554432000 4194304 4196468 140726048352096 140074935113840 140075931859586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14567] ppid=14441 vsize=10851096 memory=1916932 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14567/stat : 14567 (java) S 14441 14450 14381 0 -1 1077944384 17 13062 0 2 0 0 5 3 20 0 15 0 472679755 11111522304 479239 33554432000 4194304 4196468 140726048352096 140074855424864 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14569] ppid=14441 vsize=10851096 memory=1916956 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14569/stat : 14569 (java) S 14441 14450 14381 0 -1 1077944384 3 13062 0 2 0 0 5 3 20 0 15 0 472679755 11111522304 479239 33554432000 4194304 4196468 140726048352096 140074721207424 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14575] ppid=14441 vsize=10851096 memory=1915456 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14575/stat : 14575 (java) S 14441 14450 14381 0 -1 1077944384 3 13062 0 2 0 0 5 3 20 0 15 0 472679760 11111522304 479239 33554432000 4194304 4196468 140726048352096 140074480916560 140075931867035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14576] ppid=14441 vsize=10851096 memory=1916824 CPUtime=6.04 cores=1,3,5,7
/proc/14450/task/14576/stat : 14576 (java) S 14441 14450 14381 0 -1 1077944384 32273 13062 0 2 590 6 5 3 20 0 15 0 472679760 11111522304 479239 33554432000 4194304 4196468 140726048352096 140074934061680 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14577] ppid=14441 vsize=10851096 memory=1916612 CPUtime=5.91 cores=1,3,5,7
/proc/14450/task/14577/stat : 14577 (java) S 14441 14450 14381 0 -1 1077944384 28466 13062 0 2 578 5 5 3 20 0 15 0 472679760 11111522304 479239 33554432000 4194304 4196468 140726048352096 140074933008880 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14578] ppid=14441 vsize=10851096 memory=54772 CPUtime=4.37 cores=1,3,5,7
/proc/14450/task/14578/stat : 14578 (java) S 14441 14450 14381 0 -1 1077944384 44830 13062 0 2 421 8 5 3 20 0 15 0 472679760 11111522304 479239 33554432000 4194304 4196468 140726048352096 140074931956592 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14579] ppid=14441 vsize=10851096 memory=1916932 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14579/stat : 14579 (java) S 14441 14450 14381 0 -1 1077944384 3 13062 0 2 0 0 5 3 20 0 15 0 472679760 11111522304 479239 33554432000 4194304 4196468 140726048352096 140074447358944 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14581] ppid=14441 vsize=10851096 memory=1916932 CPUtime=1.37 cores=1,3,5,7
/proc/14450/task/14581/stat : 14581 (java) S 14441 14450 14381 0 -1 1077944384 1385 13062 0 2 56 73 5 3 20 0 15 0 472679766 11111522304 479239 33554432000 4194304 4196468 140726048352096 140074930903472 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1916956 KiB

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

[startup+2357.8 s]
# the end of solver process 14450 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2393.45 s, system=6.74175 s

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

[startup+2357.7 s]
/proc/loadavg: 1.63 1.53 1.34 4/227 14795
/proc/meminfo: memFree=235364/32770624 swapFree=66953184/67108860
[pid=14450] ppid=14441 vsize=10851096 memory=1916956 CPUtime=2400.07 cores=1,3,5,7
/proc/14450/stat : 14450 (java) S 14441 14450 14381 0 -1 1077944320 2777628 13062 2 2 239338 661 5 3 20 0 15 0 472679616 11111522304 479239 33554432000 4194304 4196468 140726048352096 140726048334640 140075931848439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
/proc/14450/statm: 2712774 479239 3633 1 0 2674829 0
[pid=14450/tid=14555] ppid=14441 vsize=10851096 memory=1916932 CPUtime=2324.76 cores=1,3,5,7
/proc/14450/task/14555/stat : 14555 (java) R 14441 14450 14381 0 -1 4202560 2425248 13062 2 2 232153 315 5 3 20 0 15 0 472679751 11111522304 479239 33554432000 4194304 4196468 140726048352096 140075903683712 140075549622681 0 4 0 16800975 0 0 0 -1 3 0 0 652 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14560] ppid=14441 vsize=10851096 memory=1913660 CPUtime=12.08 cores=1,3,5,7
/proc/14450/task/14560/stat : 14560 (java) S 14441 14450 14381 0 -1 1077944384 50555 13062 0 2 1134 66 5 3 20 0 15 0 472679753 11111522304 479239 33554432000 4194304 4196468 140726048352096 140075936091024 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14561] ppid=14441 vsize=10851096 memory=1916932 CPUtime=12.07 cores=1,3,5,7
/proc/14450/task/14561/stat : 14561 (java) S 14441 14450 14381 0 -1 1077944384 51322 13062 0 2 1135 64 5 3 20 0 15 0 472679753 11111522304 479239 33554432000 4194304 4196468 140726048352096 140075863571216 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14562] ppid=14441 vsize=10851096 memory=1916824 CPUtime=12.08 cores=1,3,5,7
/proc/14450/task/14562/stat : 14562 (java) S 14441 14450 14381 0 -1 1077944384 57339 13062 0 2 1136 64 5 3 20 0 15 0 472679753 11111522304 479239 33554432000 4194304 4196468 140726048352096 140075504086160 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14563] ppid=14441 vsize=10851096 memory=1916704 CPUtime=12.06 cores=1,3,5,7
/proc/14450/task/14563/stat : 14563 (java) S 14441 14450 14381 0 -1 1077944384 48703 13062 0 2 1134 64 5 3 20 0 15 0 472679753 11111522304 479239 33554432000 4194304 4196468 140726048352096 140075503033360 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14565] ppid=14441 vsize=10851096 memory=1916648 CPUtime=9.93 cores=1,3,5,7
/proc/14450/task/14565/stat : 14565 (java) S 14441 14450 14381 0 -1 1077944384 35274 13062 0 2 930 55 5 3 20 0 15 0 472679754 11111522304 479239 33554432000 4194304 4196468 140726048352096 140074935113840 140075931859586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14567] ppid=14441 vsize=10851096 memory=1916932 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14567/stat : 14567 (java) S 14441 14450 14381 0 -1 1077944384 17 13062 0 2 0 0 5 3 20 0 15 0 472679755 11111522304 479239 33554432000 4194304 4196468 140726048352096 140074855424864 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14569] ppid=14441 vsize=10851096 memory=1916956 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14569/stat : 14569 (java) S 14441 14450 14381 0 -1 1077944384 3 13062 0 2 0 0 5 3 20 0 15 0 472679755 11111522304 479239 33554432000 4194304 4196468 140726048352096 140074721207424 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14575] ppid=14441 vsize=10851096 memory=1915456 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14575/stat : 14575 (java) S 14441 14450 14381 0 -1 1077944384 3 13062 0 2 0 0 5 3 20 0 15 0 472679760 11111522304 479239 33554432000 4194304 4196468 140726048352096 140074480916560 140075931867035 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14576] ppid=14441 vsize=10851096 memory=1916824 CPUtime=6.04 cores=1,3,5,7
/proc/14450/task/14576/stat : 14576 (java) S 14441 14450 14381 0 -1 1077944384 32273 13062 0 2 590 6 5 3 20 0 15 0 472679760 11111522304 479239 33554432000 4194304 4196468 140726048352096 140074934061680 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14577] ppid=14441 vsize=10851096 memory=1916612 CPUtime=5.91 cores=1,3,5,7
/proc/14450/task/14577/stat : 14577 (java) S 14441 14450 14381 0 -1 1077944384 28466 13062 0 2 578 5 5 3 20 0 15 0 472679760 11111522304 479239 33554432000 4194304 4196468 140726048352096 140074933008880 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14578] ppid=14441 vsize=10851096 memory=54772 CPUtime=4.37 cores=1,3,5,7
/proc/14450/task/14578/stat : 14578 (java) S 14441 14450 14381 0 -1 1077944384 44830 13062 0 2 421 8 5 3 20 0 15 0 472679760 11111522304 479239 33554432000 4194304 4196468 140726048352096 140074931956592 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14579] ppid=14441 vsize=10851096 memory=1916932 CPUtime=0.08 cores=1,3,5,7
/proc/14450/task/14579/stat : 14579 (java) S 14441 14450 14381 0 -1 1077944384 3 13062 0 2 0 0 5 3 20 0 15 0 472679760 11111522304 479239 33554432000 4194304 4196468 140726048352096 140074447358944 140075931858645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
[pid=14450/tid=14581] ppid=14441 vsize=10851096 memory=1916932 CPUtime=1.37 cores=1,3,5,7
/proc/14450/task/14581/stat : 14581 (java) S 14441 14450 14381 0 -1 1077944384 1385 13062 0 2 56 73 5 3 20 0 15 0 472679766 11111522304 479239 33554432000 4194304 4196468 140726048352096 140074930903472 140075931859586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15241216 140726048361059 140726048363701 140726048363701 140726048366543 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1916956 KiB

Child status: 143
Real time (s): 2357.8
CPU time (s): 2400.19
CPU user time (s): 2393.45
CPU system time (s): 6.74175
CPU usage (%): 101.798
Max. virtual memory (cumulated for all children) (KiB): 10933144
Max. memory (cumulated for all children) (KiB): 1916956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.45
system time used= 6.74175
maximum resident set size= 1917472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2794031
page faults= 4
swaps= 0
block input operations= 43112
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 264801
involuntary context switches= 7301


# summary of solver processes directly reported to runsolver:
#   pid: 14450
#   total CPU time (s): 2400.19
#   total CPU user time (s): 2393.45
#   total CPU system time (s): 6.74175

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9916 second user time and 21.3787 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-20 10:19:58
IDJOB=4403123
IDBENCH=115842
IDSOLVER=2862
FILE ID=node119/4403123-1568967638
RUNJOBID= node119-1568967598-14413
PBS_JOBID= 21704628
Free space on /var/tmp= 13516 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-05-05-9.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403123-1568967638/watcher-4403123-1568967638 -o /var/tmp/evaluation-result-4403123-1568967638/solver-4403123-1568967638 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1568967598-14413 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=1159292332 HOME/instance-4403123-1568967638.xml

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

MD5SUM BENCH= b1b903d633c720775ef1eb29649a113f
RANDOM SEED=1159292332

node119.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.47
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.47
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.47
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.47
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:          206248 kB
MemAvailable:   31809320 kB
Buffers:          137756 kB
Cached:         31384500 kB
SwapCached:        46572 kB
Active:         14102624 kB
Inactive:       17467992 kB
Active(anon):       3268 kB
Inactive(anon):    93904 kB
Active(file):   14099356 kB
Inactive(file): 17374088 kB
Unevictable:      109120 kB
Mlocked:          109120 kB
SwapTotal:      67108860 kB
SwapFree:       66953184 kB
Dirty:             22520 kB
Writeback:             0 kB
AnonPages:        112532 kB
Mapped:            51940 kB
Shmem:             40116 kB
Slab:             586740 kB
SReclaimable:     558088 kB
SUnreclaim:        28652 kB
KernelStack:        3408 kB
PageTables:         5548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     509912 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:      126336 kB
DirectMap2M:    33419264 kB

Free space on /var/tmp at the end= 13444 MiB
End job on node119 at 2019-09-20 10:59:25