Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.12.3 | SAT (TO) | 326 | 2520.19 | 2474.38 |
| Name | Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-4.xml |
| MD5SUM | a08c622730be04b0ce65f9055d76b754 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 326 |
| Best CPU time to get the best result obtained on this benchmark | 26.2689 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 105 |
| Number of constraints | 90 |
| Number of domains | 7 |
| Minimum domain size | 5 |
| Maximum domain size | 429 |
| Distribution of domain sizes | [{"size":5,"count":50},{"size":429,"count":55}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 6 |
| Distribution of variable degrees | [{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 7 |
| 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 constraints | 25 |
| Number of intensional constraints | 30 |
| 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 problem | YES |
| Type of objective | min MAXIMUM |
0.84/3.34 c Concrete v3.12.3.1568965526260 running 11.23/15.24 o 410 11.23/15.28 o 409 11.23/15.29 o 406 11.23/15.30 o 397 12.55/15.64 o 387 12.55/15.64 o 386 12.55/15.66 o 372 13.82/16.01 o 371 13.82/16.06 o 365 16.55/16.93 o 364 16.55/16.98 o 363 16.55/16.99 o 362 24.28/22.53 o 361 24.28/22.54 o 360 24.28/22.55 o 359 24.28/22.57 o 357 27.41/24.90 o 356 27.41/24.90 o 355 27.58/25.03 o 354 27.58/25.04 o 353 30.01/27.12 o 352 30.01/27.13 o 351 30.01/27.14 o 350 30.01/27.14 o 349 30.01/27.16 o 348 30.01/27.17 o 347 30.01/27.17 o 346 30.01/27.17 o 343 34.61/31.12 o 342 36.79/33.10 o 341 39.35/35.36 o 340 39.35/35.37 o 339 39.35/35.37 o 335 51.38/46.71 o 334 51.38/46.72 o 333 59.69/54.85 o 332 59.69/54.86 o 331 114.09/107.77 o 330 114.09/107.78 o 329 993.09/973.30 o 328 1018.74/998.51 o 327 1018.84/998.62 o 326 2520.09/2474.30 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost 2520.09/2474.30 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:28) 2520.09/2474.30 at concrete.heuristic.value.BestCost.$anonfun$select$1(BestCost.scala:55) 2520.09/2474.30 at concrete.BitVectorDomain.$anonfun$filterBounds$1(BitVectorDomain.scala:27) 2520.09/2474.30 at bitvectors.LargeBitVector.filterBounds(LargeBitVector.scala:267) 2520.09/2474.30 at concrete.BitVectorDomain.filterBounds(BitVectorDomain.scala:27) 2520.09/2474.30 at concrete.BitVectorDomain.filterBounds(BitVectorDomain.scala:8) 2520.09/2474.30 at concrete.heuristic.value.BestCost.select(BestCost.scala:55) 2520.09/2474.30 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89) 2520.09/2474.30 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89) 2520.09/2474.30 at scala.Function2.$anonfun$tupled$1(Function2.scala:53) 2520.09/2474.30 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89) 2520.09/2474.30 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89) 2520.09/2474.30 at scala.Function2.$anonfun$tupled$1(Function2.scala:53) 2520.09/2474.30 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89) 2520.09/2474.30 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89) 2520.09/2474.30 at scala.Function2.$anonfun$tupled$1(Function2.scala:53) 2520.09/2474.30 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89) 2520.09/2474.30 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:95) 2520.09/2474.30 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42) 2520.09/2474.30 at scala.Option.map(Option.scala:242) 2520.09/2474.30 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40) 2520.09/2474.30 at concrete.MAC.mac(MAC.scala:216) 2520.09/2474.30 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265) 2520.09/2474.30 at scala.util.Try$.apply(Try.scala:210) 2520.09/2474.30 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2520.09/2474.30 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2520.09/2474.30 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2520.09/2474.30 at concrete.MAC.oneRun(MAC.scala:265) 2520.09/2474.30 at concrete.MAC.nextSolution(MAC.scala:284) 2520.09/2474.30 at concrete.MAC.nextSolution(MAC.scala:369) 2520.09/2474.30 at concrete.Solver.hasNext(Solver.scala:160) 2520.09/2474.30 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553) 2520.09/2474.30 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551) 2520.09/2474.30 at concrete.Solver.foreach(Solver.scala:67) 2520.09/2474.30 at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73) 2520.09/2474.30 at scala.util.Success.map(Try.scala:262) 2520.09/2474.30 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.09/2474.30 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2520.09/2474.30 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.09/2474.30 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.09/2474.30 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.09/2474.30 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2520.09/2474.30 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2520.09/2474.30 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2520.09/2474.30 at scala.App.$anonfun$main$1(App.scala:73) 2520.09/2474.30 at scala.App.$anonfun$main$1$adapted(App.scala:73) 2520.09/2474.30 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553) 2520.09/2474.30 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551) 2520.09/2474.30 at scala.collection.AbstractIterable.foreach(Iterable.scala:921) 2520.09/2474.30 at scala.App.main(App.scala:73) 2520.09/2474.30 at scala.App.main$(App.scala:71) 2520.09/2474.30 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.09/2474.30 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.09/2474.31 v <instantiation 2520.09/2474.31 v cost = '326'> 2520.09/2474.31 v <list> 2520.09/2474.31 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] 2520.09/2474.31 v </list> 2520.09/2474.31 v <values> 2520.09/2474.31 v 4 77 137 215 273 0 91 148 197 289 3 89 150 215 295 0 119 216 289 321 0 91 119 197 272 325 322 326 326 321 73 60 78 58 52 52 46 48 92 33 86 59 63 80 31 85 92 56 2 5 91 28 78 75 49 4 3 2 0 1 3 2 1 4 0 0 1 3 2 4 1 0 3 4 2 2 0 4 1 3 215 273 137 77 4 289 148 91 0 197 3 89 215 150 295 119 0 321 216 289 91 197 0 272 119 2520.09/2474.31 v </values> 2520.09/2474.31 v </instantiation> 2520.09/2474.31 s SATISFIABLE
OK 326
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 (373 MiB free)
memory of node 1: 16384 MiB (369 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402806-1568967637/watcher-4402806-1568967637 -o /var/tmp/evaluation-result-4402806-1568967637/solver-4402806-1568967637 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1568967598-20069 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=695258949 HOME/instance-4402806-1568967637.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20105, runsolver pid=20096
[startup+0.100116 s]*
/proc/loadavg: 0.16 0.05 0.06 2/205 20112
/proc/meminfo: memFree=759308/32770624 swapFree=66956552/67108860
[pid=20105] ppid=20096 vsize=113256 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20105/stat : 20105 (bash) S 20096 20105 20037 0 -1 4202496 694 0 0 0 0 0 0 0 20 0 1 0 473003020 115974144 363 33554432000 4194304 5098028 140720412848528 140720412846168 140036980669440 0 0 4100 65536 18446744071580971376 0 0 17 1 0 0 8 0 0 7196144 7232144 27222016 140720412857345 140720412857473 140720412857473 140720412860398 0
/proc/20105/statm: 28314 363 290 221 0 119 0
[pid=20108] ppid=20105 vsize=113256 memory=708 CPUtime=0 cores=1,3,5,7
/proc/20108/stat : 20108 (bash) S 20105 20105 20037 0 -1 4202560 172 0 0 0 0 0 0 0 20 0 1 0 473003029 115974144 177 33554432000 4194304 5098028 140720412848528 140720412844696 140036980494972 0 65536 4096 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27222016 140720412857345 140720412857473 140720412857473 140720412860398 0
/proc/20108/statm: 28314 177 101 221 0 119 0
[pid=20111] ppid=20108 vsize=113256 memory=716 CPUtime=0 cores=1,3,5,7
/proc/20111/stat : 20111 (bash) S 20108 20105 20037 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 1 0 473003029 115974144 179 33554432000 4194304 5098028 140720412848528 140720412841704 140036980669440 0 0 4096 65538 18446744071580971376 0 0 17 5 0 0 0 0 0 7196144 7232144 27222016 140720412857345 140720412857473 140720412857473 140720412860398 0
/proc/20111/statm: 28314 179 103 221 0 119 0
[pid=20112] ppid=20111 vsize=113256 memory=496 CPUtime=0 cores=1,3,5,7
/proc/20112/stat : 20112 (bash) D 20111 20105 20037 0 -1 4202560 127 0 0 0 0 0 0 0 20 0 1 0 473003029 115974144 124 33554432000 4194304 5098028 140720412848528 140720412840760 140036980667765 0 0 4096 65538 18446744071585676691 0 0 17 1 0 0 0 0 0 7196144 7232144 27222016 140720412857345 140720412857473 140720412857473 140720412860398 0
/proc/20112/statm: 28314 124 48 221 0 119 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 453024 KiB
Current children cumulated memory: 3372 KiB
[startup+0.209799 s]*
/proc/loadavg: 0.16 0.05 0.06 2/205 20116
/proc/meminfo: memFree=758468/32770624 swapFree=66956552/67108860
[pid=20105] ppid=20096 vsize=113256 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20105/stat : 20105 (bash) S 20096 20105 20037 0 -1 4202496 694 0 0 0 0 0 0 0 20 0 1 0 473003020 115974144 363 33554432000 4194304 5098028 140720412848528 140720412846168 140036980669440 0 0 4100 65536 18446744071580971376 0 0 17 1 0 0 8 0 0 7196144 7232144 27222016 140720412857345 140720412857473 140720412857473 140720412860398 0
/proc/20105/statm: 28314 363 290 221 0 119 0
[pid=20108] ppid=20105 vsize=113256 memory=708 CPUtime=0 cores=1,3,5,7
/proc/20108/stat : 20108 (bash) S 20105 20105 20037 0 -1 4202560 172 0 0 0 0 0 0 0 20 0 1 0 473003029 115974144 177 33554432000 4194304 5098028 140720412848528 140720412844696 140036980494972 0 65536 4096 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27222016 140720412857345 140720412857473 140720412857473 140720412860398 0
/proc/20108/statm: 28314 177 101 221 0 119 0
[pid=20111] ppid=20108 vsize=113256 memory=888 CPUtime=0 cores=1,3,5,7
/proc/20111/stat : 20111 (bash) S 20108 20105 20037 0 -1 4202560 210 426 0 1 0 0 0 0 20 0 1 0 473003029 115974144 222 33554432000 4194304 5098028 140720412848528 140720412841992 140036980669440 0 0 4096 65538 18446744071580971376 0 0 17 7 0 0 0 0 0 7196144 7232144 27222016 140720412857345 140720412857473 140720412857473 140720412860398 0
/proc/20111/statm: 28314 222 146 221 0 119 0
[pid=20115] ppid=20111 vsize=113256 memory=492 CPUtime=0 cores=1,3,5,7
/proc/20115/stat : 20115 (bash) D 20111 20105 20037 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 1 0 473003032 115974144 123 33554432000 4194304 5098028 140720412848528 140720412841048 140036980667765 0 0 4096 65538 18446744072101592612 0 0 17 1 0 0 0 0 0 7196144 7232144 27222016 140720412857345 140720412857473 140720412857473 140720412860398 0
/proc/20115/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.30952 s]*
/proc/loadavg: 0.16 0.05 0.06 3/201 20156
/proc/meminfo: memFree=757092/32770624 swapFree=66956552/67108860
[pid=20105] ppid=20096 vsize=113256 memory=1568 CPUtime=0.01 cores=1,3,5,7
/proc/20105/stat : 20105 (bash) S 20096 20105 20037 0 -1 4202496 849 5353 0 1 0 0 0 1 20 0 1 0 473003020 115974144 392 33554432000 4194304 5098028 140720412848528 140720412842264 140036980669440 0 0 4100 65536 18446744071580971376 0 0 17 1 0 0 8 0 0 7196144 7232144 27222016 140720412857345 140720412857473 140720412857473 140720412860398 0
/proc/20105/statm: 28314 392 311 221 0 119 0
[pid=20155] ppid=20105 vsize=113256 memory=508 CPUtime=0 cores=1,3,5,7
/proc/20155/stat : 20155 (bash) D 20105 20105 20037 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 1 0 473003051 115974144 127 33554432000 4194304 5098028 140720412848528 140720412841320 140036980667765 0 0 4096 65538 18446744072101592612 0 0 17 3 0 0 0 0 0 7196144 7232144 27222016 140720412857345 140720412857473 140720412857473 140720412860398 0
/proc/20155/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.70053 s]
/proc/loadavg: 0.16 0.05 0.06 2/205 20162
/proc/meminfo: memFree=756204/32770624 swapFree=66956552/67108860
[pid=20105] ppid=20096 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/20105/stat : 20105 (bash) S 20096 20105 20037 0 -1 4202496 887 5673 0 1 0 0 0 1 20 0 1 0 473003020 115974144 404 33554432000 4194304 5098028 140720412848528 140720412842536 140036980669440 0 0 4100 65536 18446744071580971376 0 0 17 1 0 0 8 0 0 7196144 7232144 27222016 140720412857345 140720412857473 140720412857473 140720412860398 0
/proc/20105/statm: 28314 404 320 221 0 119 0
[pid=20157] ppid=20105 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/20157/stat : 20157 (bash) S 20105 20105 20037 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 473003055 115974144 178 33554432000 4194304 5098028 140720412848528 140720412841208 140036980494972 0 65536 4096 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27222016 140720412857345 140720412857473 140720412857473 140720412860398 0
/proc/20157/statm: 28314 178 94 221 0 119 0
[pid=20159] ppid=20157 vsize=30188 memory=796 CPUtime=0 cores=1,3,5,7
/proc/20159/stat : 20159 (java) D 20157 20105 20037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 473003055 30912512 199 33554432000 4194304 4196468 140730212882064 140730212863544 140167654250121 0 0 4096 0 18446744071580431491 0 0 17 7 0 0 1 0 0 6293624 6294260 24109056 140730212885628 140730212885642 140730212885642 140730212888527 0
/proc/20159/statm: 7547 199 161 1 0 159 0
[pid=20161] ppid=20157 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/20161/stat : 20161 (awk) S 20157 20105 20037 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 1 0 473003055 116211712 243 33554432000 4194304 4609284 140728544494048 140728544493224 140512593325056 0 0 4096 1216 18446744071580971376 0 0 17 1 0 0 0 0 0 6708720 6711756 8687616 140728544498860 140728544498890 140728544498890 140728544501743 0
/proc/20161/statm: 28372 243 205 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.50053 s]
/proc/loadavg: 0.31 0.08 0.07 2/205 20162
/proc/meminfo: memFree=750828/32770624 swapFree=66956552/67108860
[pid=20105] ppid=20096 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/20105/stat : 20105 (bash) S 20096 20105 20037 0 -1 4202496 887 5673 0 1 0 0 0 1 20 0 1 0 473003020 115974144 404 33554432000 4194304 5098028 140720412848528 140720412842536 140036980669440 0 0 4100 65536 18446744071580971376 0 0 17 1 0 0 8 0 0 7196144 7232144 27222016 140720412857345 140720412857473 140720412857473 140720412860398 0
/proc/20105/statm: 28314 404 320 221 0 119 0
[pid=20157] ppid=20105 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/20157/stat : 20157 (bash) S 20105 20105 20037 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 473003055 115974144 178 33554432000 4194304 5098028 140720412848528 140720412841208 140036980494972 0 65536 4096 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27222016 140720412857345 140720412857473 140720412857473 140720412860398 0
/proc/20157/statm: 28314 178 94 221 0 119 0
[pid=20159] ppid=20157 vsize=111596 memory=5608 CPUtime=0 cores=1,3,5,7
/proc/20159/stat : 20159 (java) S 20157 20105 20037 0 -1 1077944320 1715 0 2 0 0 0 0 0 20 0 2 0 473003055 114274304 1402 33554432000 4194304 4196468 140730212882064 140730212864608 140167652028151 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 76 0 0 6293624 6294260 24109056 140730212885628 140730212885642 140730212885642 140730212888527 0
/proc/20159/statm: 27899 1402 1063 1 0 16810 0
[pid=20161] ppid=20157 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/20161/stat : 20161 (awk) S 20157 20105 20037 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 1 0 473003055 116211712 243 33554432000 4194304 4609284 140728544494048 140728544493224 140512593325056 0 0 4096 1216 18446744071580971376 0 0 17 1 0 0 0 0 0 6708720 6711756 8687616 140728544498860 140728544498890 140728544498890 140728544501743 0
/proc/20161/statm: 28372 243 205 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 451596 KiB
Current children cumulated memory: 8908 KiB
[startup+3.11019 s]
/proc/loadavg: 0.31 0.08 0.07 6/227 20236
/proc/meminfo: memFree=656304/32770624 swapFree=66956552/67108860
[pid=20105] ppid=20096 vsize=10820268 memory=65596 CPUtime=0.8 cores=1,3,5,7
/proc/20105/stat : 20105 (java) S 20096 20105 20037 0 -1 1077944320 13645 13278 0 3 67 4 6 3 20 0 15 0 473003020 11079954432 16399 33554432000 4194304 4196468 140730935355712 140730935338256 140225017106167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
/proc/20105/statm: 2705067 16399 3465 1 0 2667149 0
[pid=20105/tid=20210] ppid=20096 vsize=10820268 memory=1616 CPUtime=0.5 cores=1,3,5,7
/proc/20105/task/20210/stat : 20210 (java) R 20096 20105 20037 0 -1 4202560 9175 13278 0 3 39 2 6 3 20 0 15 0 473003234 11079954432 16399 33554432000 4194304 4196468 140730935355712 140224988942208 140225002271760 0 4 0 16800975 0 0 0 -1 3 0 0 36 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20215] ppid=20096 vsize=10820268 memory=712 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20215/stat : 20215 (java) S 20096 20105 20037 0 -1 1077944384 1 13278 0 3 0 0 6 3 20 0 15 0 473003235 11079954432 16399 33554432000 4194304 4196468 140730935355712 140225021348880 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20216] ppid=20096 vsize=10820268 memory=796 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20216/stat : 20216 (java) S 20096 20105 20037 0 -1 1077944384 1 13278 0 3 0 0 6 3 20 0 15 0 473003235 11079954432 16399 33554432000 4194304 4196468 140730935355712 140224920239248 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20217] ppid=20096 vsize=10820268 memory=972 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20217/stat : 20217 (java) S 20096 20105 20037 0 -1 1077944384 1 13278 0 3 0 0 6 3 20 0 15 0 473003235 11079954432 16399 33554432000 4194304 4196468 140730935355712 140224919186192 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20218] ppid=20096 vsize=10820268 memory=316941022116708378 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20218/stat : 20218 (java) S 20096 20105 20037 0 -1 1077944384 2 13278 0 3 0 0 6 3 20 0 15 0 473003235 11079954432 16399 33554432000 4194304 4196468 140730935355712 140224918133648 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20221] ppid=20096 vsize=10820268 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20221/stat : 20221 (java) S 20096 20105 20037 0 -1 1077944384 2 13278 0 3 0 0 6 3 20 0 15 0 473003237 11079954432 16399 33554432000 4194304 4196468 140730935355712 140224019327216 140225017117314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20223] ppid=20096 vsize=10820268 memory=4951091520932650356 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20223/stat : 20223 (java) S 20096 20105 20037 0 -1 1077944384 33 13278 0 3 0 0 6 3 20 0 15 0 473003237 11079954432 16399 33554432000 4194304 4196468 140730935355712 140224018273440 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20224] ppid=20096 vsize=10820268 memory=-8253362762721548149 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20224/stat : 20224 (java) S 20096 20105 20037 0 -1 1077944384 1 13278 0 3 0 0 6 3 20 0 15 0 473003237 11079954432 16399 33554432000 4194304 4196468 140730935355712 140223904211696 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20230] ppid=20096 vsize=10820268 memory=8324212999269802635 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20230/stat : 20230 (java) S 20096 20105 20037 0 -1 1077944384 3 13278 0 3 0 0 6 3 20 0 15 0 473003242 11079954432 16399 33554432000 4194304 4196468 140730935355712 140223596812240 140225017124763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20231] ppid=20096 vsize=10820268 memory=-1807685287725067907 CPUtime=0.15 cores=1,3,5,7
/proc/20105/task/20231/stat : 20231 (java) S 20096 20105 20037 0 -1 1077944384 978 13278 0 3 6 0 6 3 20 0 15 0 473003242 11079954432 16399 33554432000 4194304 4196468 140730935355712 140223984716528 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20232] ppid=20096 vsize=10820268 memory=-7605839032859654850 CPUtime=0.17 cores=1,3,5,7
/proc/20105/task/20232/stat : 20232 (java) S 20096 20105 20037 0 -1 1077944384 528 13278 0 3 8 0 6 3 20 0 15 0 473003242 11079954432 16399 33554432000 4194304 4196468 140730935355712 140223983663984 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20233] ppid=20096 vsize=10820268 memory=8027505142718884196 CPUtime=0.2 cores=1,3,5,7
/proc/20105/task/20233/stat : 20233 (java) S 20096 20105 20037 0 -1 1077944384 714 13278 0 3 11 0 6 3 20 0 15 0 473003242 11079954432 16399 33554432000 4194304 4196468 140730935355712 140223982610928 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20234] ppid=20096 vsize=10820268 memory=7013346343823632999 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20234/stat : 20234 (java) S 20096 20105 20037 0 -1 1077944384 3 13278 0 3 0 0 6 3 20 0 15 0 473003242 11079954432 16399 33554432000 4194304 4196468 140730935355712 140223563254624 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20236] ppid=20096 vsize=10820268 memory=7810763844726514514 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20236/stat : 20236 (java) S 20096 20105 20037 0 -1 1077944384 1 13278 0 3 0 0 6 3 20 0 15 0 473003249 11079954432 16399 33554432000 4194304 4196468 140730935355712 140223981558320 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
Current children cumulated CPU time: 0.8 s
Current children cumulated vsize: 10820268 KiB
Current children cumulated memory: 65596 KiB
heavy processes:
[startup+6.30071 s]
/proc/loadavg: 0.53 0.13 0.08 2/227 20236
/proc/meminfo: memFree=614484/32770624 swapFree=66956552/67108860
[pid=20105] ppid=20096 vsize=10822316 memory=76248 CPUtime=1.06 cores=1,3,5,7
/proc/20105/stat : 20105 (java) S 20096 20105 20037 0 -1 1077944320 14701 13278 0 3 92 5 6 3 20 0 15 0 473003020 11082051584 19062 33554432000 4194304 4196468 140730935355712 140730935338256 140225017106167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
/proc/20105/statm: 2705579 19062 3501 1 0 2667661 0
[pid=20105/tid=20210] ppid=20096 vsize=10822316 memory=75492 CPUtime=0.63 cores=1,3,5,7
/proc/20105/task/20210/stat : 20210 (java) D 20096 20105 20037 0 -1 4202560 10064 13278 0 3 51 3 6 3 20 0 15 0 473003234 11082051584 19062 33554432000 4194304 4196468 140730935355712 140224988929824 140225017128093 0 4 0 16800975 18446744071580419588 0 0 -1 5 0 0 308 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20215] ppid=20096 vsize=10822316 memory=56 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20215/stat : 20215 (java) S 20096 20105 20037 0 -1 1077944384 1 13278 0 3 0 0 6 3 20 0 15 0 473003235 11082051584 19062 33554432000 4194304 4196468 140730935355712 140225021348880 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20216] ppid=20096 vsize=10822316 memory=72252 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20216/stat : 20216 (java) S 20096 20105 20037 0 -1 1077944384 1 13278 0 3 0 0 6 3 20 0 15 0 473003235 11082051584 19062 33554432000 4194304 4196468 140730935355712 140224920239248 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20217] ppid=20096 vsize=10822316 memory=3620 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20217/stat : 20217 (java) S 20096 20105 20037 0 -1 1077944384 1 13278 0 3 0 0 6 3 20 0 15 0 473003235 11082051584 19062 33554432000 4194304 4196468 140730935355712 140224919186192 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20218] ppid=20096 vsize=10822316 memory=7597977618639054952 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20218/stat : 20218 (java) S 20096 20105 20037 0 -1 1077944384 2 13278 0 3 0 0 6 3 20 0 15 0 473003235 11082051584 19062 33554432000 4194304 4196468 140730935355712 140224918133648 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20221] ppid=20096 vsize=10822316 memory=7451882149976171604 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20221/stat : 20221 (java) S 20096 20105 20037 0 -1 1077944384 5 13278 0 3 0 0 6 3 20 0 15 0 473003237 11082051584 19062 33554432000 4194304 4196468 140730935355712 140224019327216 140225017117314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20223] ppid=20096 vsize=10822316 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20223/stat : 20223 (java) S 20096 20105 20037 0 -1 1077944384 33 13278 0 3 0 0 6 3 20 0 15 0 473003237 11082051584 19062 33554432000 4194304 4196468 140730935355712 140224018273440 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20224] ppid=20096 vsize=10822316 memory=279653911009104 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20224/stat : 20224 (java) S 20096 20105 20037 0 -1 1077944384 1 13278 0 3 0 0 6 3 20 0 15 0 473003237 11082051584 19062 33554432000 4194304 4196468 140730935355712 140223904211696 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20230] ppid=20096 vsize=10822316 memory=279653911009168 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20230/stat : 20230 (java) S 20096 20105 20037 0 -1 1077944384 3 13278 0 3 0 0 6 3 20 0 15 0 473003242 11082051584 19062 33554432000 4194304 4196468 140730935355712 140223596812240 140225017124763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20231] ppid=20096 vsize=10822316 memory=75560 CPUtime=0.19 cores=1,3,5,7
/proc/20105/task/20231/stat : 20231 (java) S 20096 20105 20037 0 -1 1077944384 1012 13278 0 3 10 0 6 3 20 0 15 0 473003242 11082051584 19062 33554432000 4194304 4196468 140730935355712 140223984716528 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20232] ppid=20096 vsize=10822316 memory=75560 CPUtime=0.22 cores=1,3,5,7
/proc/20105/task/20232/stat : 20232 (java) S 20096 20105 20037 0 -1 1077944384 549 13278 0 3 13 0 6 3 20 0 15 0 473003242 11082051584 19062 33554432000 4194304 4196468 140730935355712 140223983663984 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20233] ppid=20096 vsize=10822316 memory=6944656575208382560 CPUtime=0.25 cores=1,3,5,7
/proc/20105/task/20233/stat : 20233 (java) S 20096 20105 20037 0 -1 1077944384 823 13278 0 3 16 0 6 3 20 0 15 0 473003242 11082051584 19062 33554432000 4194304 4196468 140730935355712 140223982610928 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20234] ppid=20096 vsize=10822316 memory=1616 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20234/stat : 20234 (java) S 20096 20105 20037 0 -1 1077944384 3 13278 0 3 0 0 6 3 20 0 15 0 473003242 11082051584 19062 33554432000 4194304 4196468 140730935355712 140223563254624 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20236] ppid=20096 vsize=10822316 memory=712 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20236/stat : 20236 (java) S 20096 20105 20037 0 -1 1077944384 1 13278 0 3 0 0 6 3 20 0 15 0 473003249 11082051584 19062 33554432000 4194304 4196468 140730935355712 140223981558320 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 76248 KiB
heavy processes:
[startup+12.704 s]
/proc/loadavg: 0.56 0.14 0.09 3/227 20236
/proc/meminfo: memFree=384608/32770624 swapFree=66956552/67108860
################
# More data... #
################
/proc/20105/task/20210/stat : 20210 (java) R 20096 20105 20037 0 -1 4202560 797266 13278 3 3 234476 161 6 3 20 0 15 0 473003234 11111522304 344432 33554432000 4194304 4196468 140730935355712 140224988941680 140224600546024 0 4 0 16800975 0 0 0 -1 1 0 0 782 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20215] ppid=20096 vsize=10851096 memory=6791534058613427641 CPUtime=13.03 cores=1,3,5,7
/proc/20105/task/20215/stat : 20215 (java) S 20096 20105 20037 0 -1 1077944384 55541 13278 0 3 1237 57 6 3 20 0 15 0 473003235 11111522304 344432 33554432000 4194304 4196468 140730935355712 140225021348880 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20216] ppid=20096 vsize=10851096 memory=1376824 CPUtime=13.05 cores=1,3,5,7
/proc/20105/task/20216/stat : 20216 (java) S 20096 20105 20037 0 -1 1077944384 59972 13278 0 3 1242 54 6 3 20 0 15 0 473003235 11111522304 344432 33554432000 4194304 4196468 140730935355712 140224920239248 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20217] ppid=20096 vsize=10851096 memory=1376160 CPUtime=13.03 cores=1,3,5,7
/proc/20105/task/20217/stat : 20217 (java) S 20096 20105 20037 0 -1 1077944384 61701 13278 0 3 1236 58 6 3 20 0 15 0 473003235 11111522304 344432 33554432000 4194304 4196468 140730935355712 140224919186192 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20218] ppid=20096 vsize=10851096 memory=1377728 CPUtime=13.07 cores=1,3,5,7
/proc/20105/task/20218/stat : 20218 (java) S 20096 20105 20037 0 -1 1077944384 68656 13278 0 3 1245 53 6 3 20 0 15 0 473003235 11111522304 344432 33554432000 4194304 4196468 140730935355712 140224918133648 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20221] ppid=20096 vsize=10851096 memory=0 CPUtime=9.56 cores=1,3,5,7
/proc/20105/task/20221/stat : 20221 (java) S 20096 20105 20037 0 -1 1077944384 22657 13278 0 3 896 51 6 3 20 0 15 0 473003237 11111522304 344432 33554432000 4194304 4196468 140730935355712 140224019327216 140225017117314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20223] ppid=20096 vsize=10851096 memory=1377728 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20223/stat : 20223 (java) S 20096 20105 20037 0 -1 1077944384 42 13278 0 3 0 0 6 3 20 0 15 0 473003237 11111522304 344432 33554432000 4194304 4196468 140730935355712 140224018273568 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20224] ppid=20096 vsize=10851096 memory=1377728 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20224/stat : 20224 (java) S 20096 20105 20037 0 -1 1077944384 13 13278 0 3 0 0 6 3 20 0 15 0 473003237 11111522304 344432 33554432000 4194304 4196468 140730935355712 140223904211712 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20230] ppid=20096 vsize=10851096 memory=1377212 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20230/stat : 20230 (java) S 20096 20105 20037 0 -1 1077944384 3 13278 0 3 0 0 6 3 20 0 15 0 473003242 11111522304 344432 33554432000 4194304 4196468 140730935355712 140223596812240 140225017124763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20231] ppid=20096 vsize=10851096 memory=1377728 CPUtime=6.5 cores=1,3,5,7
/proc/20105/task/20231/stat : 20231 (java) S 20096 20105 20037 0 -1 1077944384 33622 13278 0 3 636 5 6 3 20 0 15 0 473003242 11111522304 344432 33554432000 4194304 4196468 140730935355712 140223984716528 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20232] ppid=20096 vsize=10851096 memory=6226063114592085609 CPUtime=6.57 cores=1,3,5,7
/proc/20105/task/20232/stat : 20232 (java) S 20096 20105 20037 0 -1 1077944384 37415 13278 0 3 642 6 6 3 20 0 15 0 473003242 11111522304 344432 33554432000 4194304 4196468 140730935355712 140223983663984 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20233] ppid=20096 vsize=10851096 memory=1377728 CPUtime=4.39 cores=1,3,5,7
/proc/20105/task/20233/stat : 20233 (java) S 20096 20105 20037 0 -1 1077944384 41673 13278 0 3 423 7 6 3 20 0 15 0 473003242 11111522304 344432 33554432000 4194304 4196468 140730935355712 140223982610928 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20234] ppid=20096 vsize=10851096 memory=1728 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20234/stat : 20234 (java) S 20096 20105 20037 0 -1 1077944384 3 13278 0 3 0 0 6 3 20 0 15 0 473003242 11111522304 344432 33554432000 4194304 4196468 140730935355712 140223563254624 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20236] ppid=20096 vsize=10851096 memory=6791534058613427641 CPUtime=1.45 cores=1,3,5,7
/proc/20105/task/20236/stat : 20236 (java) S 20096 20105 20037 0 -1 1077944384 1157 13278 0 3 60 76 6 3 20 0 15 0 473003249 11111522304 344432 33554432000 4194304 4196468 140730935355712 140223981558320 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
Current children cumulated CPU time: 2426.42 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1377728 KiB
[startup+2442.3 s]
/proc/loadavg: 1.43 1.46 1.34 4/227 20462
/proc/meminfo: memFree=264960/32770624 swapFree=66956560/67108860
[pid=20105] ppid=20096 vsize=10851096 memory=1381804 CPUtime=2487.5 cores=1,3,5,7
/proc/20105/stat : 20105 (java) S 20096 20105 20037 0 -1 1077944320 1199227 13278 3 3 248256 485 6 3 20 0 15 0 473003020 11111522304 345451 33554432000 4194304 4196468 140730935355712 140730935338256 140225017106167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
/proc/20105/statm: 2712774 345451 3634 1 0 2674829 0
[pid=20105/tid=20210] ppid=20096 vsize=10851096 memory=1381804 CPUtime=2405.75 cores=1,3,5,7
/proc/20105/task/20210/stat : 20210 (java) R 20096 20105 20037 0 -1 4202560 800933 13278 3 3 240404 162 6 3 20 0 15 0 473003234 11111522304 345451 33554432000 4194304 4196468 140730935355712 140224988941488 140224606826350 0 4 0 16800975 0 0 0 -1 7 0 0 782 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20215] ppid=20096 vsize=10851096 memory=1381804 CPUtime=13.41 cores=1,3,5,7
/proc/20105/task/20215/stat : 20215 (java) S 20096 20105 20037 0 -1 1077944384 58366 13278 0 3 1274 58 6 3 20 0 15 0 473003235 11111522304 345451 33554432000 4194304 4196468 140730935355712 140225021348880 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20216] ppid=20096 vsize=10851096 memory=1377728 CPUtime=13.43 cores=1,3,5,7
/proc/20105/task/20216/stat : 20216 (java) S 20096 20105 20037 0 -1 1077944384 63929 13278 0 3 1279 55 6 3 20 0 15 0 473003235 11111522304 345451 33554432000 4194304 4196468 140730935355712 140224920239248 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20217] ppid=20096 vsize=10851096 memory=226739913510786 CPUtime=13.43 cores=1,3,5,7
/proc/20105/task/20217/stat : 20217 (java) S 20096 20105 20037 0 -1 1077944384 64499 13278 0 3 1273 61 6 3 20 0 15 0 473003235 11111522304 345451 33554432000 4194304 4196468 140730935355712 140224919186192 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20218] ppid=20096 vsize=10851096 memory=1378652 CPUtime=13.46 cores=1,3,5,7
/proc/20105/task/20218/stat : 20218 (java) S 20096 20105 20037 0 -1 1077944384 72219 13278 0 3 1281 56 6 3 20 0 15 0 473003235 11111522304 345451 33554432000 4194304 4196468 140730935355712 140224918133648 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20221] ppid=20096 vsize=10851096 memory=1380220 CPUtime=9.79 cores=1,3,5,7
/proc/20105/task/20221/stat : 20221 (java) S 20096 20105 20037 0 -1 1077944384 23121 13278 0 3 918 52 6 3 20 0 15 0 473003237 11111522304 345451 33554432000 4194304 4196468 140730935355712 140224019327216 140225017117314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20223] ppid=20096 vsize=10851096 memory=1380468 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20223/stat : 20223 (java) S 20096 20105 20037 0 -1 1077944384 42 13278 0 3 0 0 6 3 20 0 15 0 473003237 11111522304 345451 33554432000 4194304 4196468 140730935355712 140224018273568 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20224] ppid=20096 vsize=10851096 memory=1381216 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20224/stat : 20224 (java) S 20096 20105 20037 0 -1 1077944384 13 13278 0 3 0 0 6 3 20 0 15 0 473003237 11111522304 345451 33554432000 4194304 4196468 140730935355712 140223904211712 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20230] ppid=20096 vsize=10851096 memory=1379828 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20230/stat : 20230 (java) S 20096 20105 20037 0 -1 1077944384 3 13278 0 3 0 0 6 3 20 0 15 0 473003242 11111522304 345451 33554432000 4194304 4196468 140730935355712 140223596812240 140225017124763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20231] ppid=20096 vsize=10851096 memory=1381356 CPUtime=6.5 cores=1,3,5,7
/proc/20105/task/20231/stat : 20231 (java) S 20096 20105 20037 0 -1 1077944384 33626 13278 0 3 636 5 6 3 20 0 15 0 473003242 11111522304 345451 33554432000 4194304 4196468 140730935355712 140223984716528 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20232] ppid=20096 vsize=10851096 memory=1381356 CPUtime=6.57 cores=1,3,5,7
/proc/20105/task/20232/stat : 20232 (java) S 20096 20105 20037 0 -1 1077944384 37417 13278 0 3 642 6 6 3 20 0 15 0 473003242 11111522304 345451 33554432000 4194304 4196468 140730935355712 140223983663984 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20233] ppid=20096 vsize=10851096 memory=1381356 CPUtime=4.39 cores=1,3,5,7
/proc/20105/task/20233/stat : 20233 (java) S 20096 20105 20037 0 -1 1077944384 41676 13278 0 3 423 7 6 3 20 0 15 0 473003242 11111522304 345451 33554432000 4194304 4196468 140730935355712 140223982610928 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20234] ppid=20096 vsize=10851096 memory=1381804 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20234/stat : 20234 (java) S 20096 20105 20037 0 -1 1077944384 3 13278 0 3 0 0 6 3 20 0 15 0 473003242 11111522304 345451 33554432000 4194304 4196468 140730935355712 140223563254624 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20236] ppid=20096 vsize=10851096 memory=1380220 CPUtime=1.48 cores=1,3,5,7
/proc/20105/task/20236/stat : 20236 (java) S 20096 20105 20037 0 -1 1077944384 1178 13278 0 3 62 77 6 3 20 0 15 0 473003249 11111522304 345451 33554432000 4194304 4196468 140730935355712 140223981558320 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
Current children cumulated CPU time: 2487.5 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1381804 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2474.3 s]
/proc/loadavg: 1.60 1.50 1.36 4/228 20488
/proc/meminfo: memFree=259184/32770624 swapFree=66956560/67108860
[pid=20105] ppid=20096 vsize=10851096 memory=1383728 CPUtime=2520.09 cores=1,3,5,7
/proc/20105/stat : 20105 (java) S 20096 20105 20037 0 -1 1077944320 1201829 13278 3 3 251511 489 6 3 20 0 15 0 473003020 11111522304 345932 33554432000 4194304 4196468 140730935355712 140730935338256 140225017106167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
/proc/20105/statm: 2712774 345932 3634 1 0 2674829 0
[pid=20105/tid=20210] ppid=20096 vsize=10851096 memory=1383500 CPUtime=2437.35 cores=1,3,5,7
/proc/20105/task/20210/stat : 20210 (java) R 20096 20105 20037 0 -1 4202560 801513 13278 3 3 243564 162 6 3 20 0 15 0 473003234 11111522304 345932 33554432000 4194304 4196468 140730935355712 140224988941376 140224608731270 0 4 0 16800975 0 0 0 -1 3 0 0 782 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20215] ppid=20096 vsize=10851096 memory=1383052 CPUtime=13.61 cores=1,3,5,7
/proc/20105/task/20215/stat : 20215 (java) S 20096 20105 20037 0 -1 1077944384 58543 13278 0 3 1294 58 6 3 20 0 15 0 473003235 11111522304 345932 33554432000 4194304 4196468 140730935355712 140225021348880 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20216] ppid=20096 vsize=10851096 memory=1383192 CPUtime=13.64 cores=1,3,5,7
/proc/20105/task/20216/stat : 20216 (java) S 20096 20105 20037 0 -1 1077944384 64112 13278 0 3 1299 56 6 3 20 0 15 0 473003235 11111522304 345932 33554432000 4194304 4196468 140730935355712 140224920239248 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20217] ppid=20096 vsize=10851096 memory=1383376 CPUtime=13.63 cores=1,3,5,7
/proc/20105/task/20217/stat : 20217 (java) S 20096 20105 20037 0 -1 1077944384 65860 13278 0 3 1293 61 6 3 20 0 15 0 473003235 11111522304 345932 33554432000 4194304 4196468 140730935355712 140224919186192 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20218] ppid=20096 vsize=10851096 memory=1383500 CPUtime=13.67 cores=1,3,5,7
/proc/20105/task/20218/stat : 20218 (java) S 20096 20105 20037 0 -1 1077944384 72389 13278 0 3 1302 56 6 3 20 0 15 0 473003235 11111522304 345932 33554432000 4194304 4196468 140730935355712 140224918133648 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20221] ppid=20096 vsize=10851096 memory=1383500 CPUtime=9.91 cores=1,3,5,7
/proc/20105/task/20221/stat : 20221 (java) S 20096 20105 20037 0 -1 1077944384 23242 13278 0 3 930 52 6 3 20 0 15 0 473003237 11111522304 345932 33554432000 4194304 4196468 140730935355712 140224019327216 140225017117314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20223] ppid=20096 vsize=10851096 memory=1383192 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20223/stat : 20223 (java) S 20096 20105 20037 0 -1 1077944384 42 13278 0 3 0 0 6 3 20 0 15 0 473003237 11111522304 345932 33554432000 4194304 4196468 140730935355712 140224018273568 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20224] ppid=20096 vsize=10851096 memory=1944137 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20224/stat : 20224 (java) S 20096 20105 20037 0 -1 1077944384 13 13278 0 3 0 0 6 3 20 0 15 0 473003237 11111522304 345932 33554432000 4194304 4196468 140730935355712 140223904211712 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20230] ppid=20096 vsize=10851096 memory=1383728 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20230/stat : 20230 (java) S 20096 20105 20037 0 -1 1077944384 3 13278 0 3 0 0 6 3 20 0 15 0 473003242 11111522304 345932 33554432000 4194304 4196468 140730935355712 140223596812240 140225017124763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20231] ppid=20096 vsize=10851096 memory=0 CPUtime=6.5 cores=1,3,5,7
/proc/20105/task/20231/stat : 20231 (java) S 20096 20105 20037 0 -1 1077944384 33628 13278 0 3 636 5 6 3 20 0 15 0 473003242 11111522304 345932 33554432000 4194304 4196468 140730935355712 140223984716528 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20232] ppid=20096 vsize=10851096 memory=0 CPUtime=6.57 cores=1,3,5,7
/proc/20105/task/20232/stat : 20232 (java) S 20096 20105 20037 0 -1 1077944384 37419 13278 0 3 642 6 6 3 20 0 15 0 473003242 11111522304 345932 33554432000 4194304 4196468 140730935355712 140223983663984 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20233] ppid=20096 vsize=10851096 memory=1383500 CPUtime=4.39 cores=1,3,5,7
/proc/20105/task/20233/stat : 20233 (java) S 20096 20105 20037 0 -1 1077944384 41678 13278 0 3 423 7 6 3 20 0 15 0 473003242 11111522304 345932 33554432000 4194304 4196468 140730935355712 140223982610928 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20234] ppid=20096 vsize=10851096 memory=1383500 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20234/stat : 20234 (java) S 20096 20105 20037 0 -1 1077944384 3 13278 0 3 0 0 6 3 20 0 15 0 473003242 11111522304 345932 33554432000 4194304 4196468 140730935355712 140223563254624 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20236] ppid=20096 vsize=10851096 memory=1383500 CPUtime=1.5 cores=1,3,5,7
/proc/20105/task/20236/stat : 20236 (java) S 20096 20105 20037 0 -1 1077944384 1182 13278 0 3 62 79 6 3 20 0 15 0 473003249 11111522304 345932 33554432000 4194304 4196468 140730935355712 140223981558320 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1383728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2474.38 s]
# the end of solver process 20105 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.2 s, system=4.99173 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2474.3 s]
/proc/loadavg: 1.60 1.50 1.36 4/228 20488
/proc/meminfo: memFree=259184/32770624 swapFree=66956560/67108860
[pid=20105] ppid=20096 vsize=10851096 memory=1383728 CPUtime=2520.09 cores=1,3,5,7
/proc/20105/stat : 20105 (java) S 20096 20105 20037 0 -1 1077944320 1201829 13278 3 3 251511 489 6 3 20 0 15 0 473003020 11111522304 345932 33554432000 4194304 4196468 140730935355712 140730935338256 140225017106167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
/proc/20105/statm: 2712774 345932 3634 1 0 2674829 0
[pid=20105/tid=20210] ppid=20096 vsize=10851096 memory=1383500 CPUtime=2437.35 cores=1,3,5,7
/proc/20105/task/20210/stat : 20210 (java) R 20096 20105 20037 0 -1 4202560 801513 13278 3 3 243564 162 6 3 20 0 15 0 473003234 11111522304 345932 33554432000 4194304 4196468 140730935355712 140224988941376 140224608731270 0 4 0 16800975 0 0 0 -1 3 0 0 782 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20215] ppid=20096 vsize=10851096 memory=1383052 CPUtime=13.61 cores=1,3,5,7
/proc/20105/task/20215/stat : 20215 (java) S 20096 20105 20037 0 -1 1077944384 58543 13278 0 3 1294 58 6 3 20 0 15 0 473003235 11111522304 345932 33554432000 4194304 4196468 140730935355712 140225021348880 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20216] ppid=20096 vsize=10851096 memory=1383192 CPUtime=13.64 cores=1,3,5,7
/proc/20105/task/20216/stat : 20216 (java) S 20096 20105 20037 0 -1 1077944384 64112 13278 0 3 1299 56 6 3 20 0 15 0 473003235 11111522304 345932 33554432000 4194304 4196468 140730935355712 140224920239248 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20217] ppid=20096 vsize=10851096 memory=1383376 CPUtime=13.63 cores=1,3,5,7
/proc/20105/task/20217/stat : 20217 (java) S 20096 20105 20037 0 -1 1077944384 65860 13278 0 3 1293 61 6 3 20 0 15 0 473003235 11111522304 345932 33554432000 4194304 4196468 140730935355712 140224919186192 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20218] ppid=20096 vsize=10851096 memory=1383500 CPUtime=13.67 cores=1,3,5,7
/proc/20105/task/20218/stat : 20218 (java) S 20096 20105 20037 0 -1 1077944384 72389 13278 0 3 1302 56 6 3 20 0 15 0 473003235 11111522304 345932 33554432000 4194304 4196468 140730935355712 140224918133648 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20221] ppid=20096 vsize=10851096 memory=1383500 CPUtime=9.91 cores=1,3,5,7
/proc/20105/task/20221/stat : 20221 (java) S 20096 20105 20037 0 -1 1077944384 23242 13278 0 3 930 52 6 3 20 0 15 0 473003237 11111522304 345932 33554432000 4194304 4196468 140730935355712 140224019327216 140225017117314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20223] ppid=20096 vsize=10851096 memory=1383192 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20223/stat : 20223 (java) S 20096 20105 20037 0 -1 1077944384 42 13278 0 3 0 0 6 3 20 0 15 0 473003237 11111522304 345932 33554432000 4194304 4196468 140730935355712 140224018273568 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20224] ppid=20096 vsize=10851096 memory=1944137 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20224/stat : 20224 (java) S 20096 20105 20037 0 -1 1077944384 13 13278 0 3 0 0 6 3 20 0 15 0 473003237 11111522304 345932 33554432000 4194304 4196468 140730935355712 140223904211712 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20230] ppid=20096 vsize=10851096 memory=1383728 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20230/stat : 20230 (java) S 20096 20105 20037 0 -1 1077944384 3 13278 0 3 0 0 6 3 20 0 15 0 473003242 11111522304 345932 33554432000 4194304 4196468 140730935355712 140223596812240 140225017124763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20231] ppid=20096 vsize=10851096 memory=0 CPUtime=6.5 cores=1,3,5,7
/proc/20105/task/20231/stat : 20231 (java) S 20096 20105 20037 0 -1 1077944384 33628 13278 0 3 636 5 6 3 20 0 15 0 473003242 11111522304 345932 33554432000 4194304 4196468 140730935355712 140223984716528 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20232] ppid=20096 vsize=10851096 memory=0 CPUtime=6.57 cores=1,3,5,7
/proc/20105/task/20232/stat : 20232 (java) S 20096 20105 20037 0 -1 1077944384 37419 13278 0 3 642 6 6 3 20 0 15 0 473003242 11111522304 345932 33554432000 4194304 4196468 140730935355712 140223983663984 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20233] ppid=20096 vsize=10851096 memory=1383500 CPUtime=4.39 cores=1,3,5,7
/proc/20105/task/20233/stat : 20233 (java) S 20096 20105 20037 0 -1 1077944384 41678 13278 0 3 423 7 6 3 20 0 15 0 473003242 11111522304 345932 33554432000 4194304 4196468 140730935355712 140223982610928 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20234] ppid=20096 vsize=10851096 memory=1383500 CPUtime=0.09 cores=1,3,5,7
/proc/20105/task/20234/stat : 20234 (java) S 20096 20105 20037 0 -1 1077944384 3 13278 0 3 0 0 6 3 20 0 15 0 473003242 11111522304 345932 33554432000 4194304 4196468 140730935355712 140223563254624 140225017116373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
[pid=20105/tid=20236] ppid=20096 vsize=10851096 memory=1383500 CPUtime=1.5 cores=1,3,5,7
/proc/20105/task/20236/stat : 20236 (java) S 20096 20105 20037 0 -1 1077944384 1182 13278 0 3 62 79 6 3 20 0 15 0 473003249 11111522304 345932 33554432000 4194304 4196468 140730935355712 140223981558320 140225017117314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34328576 140730935360100 140730935362741 140730935362741 140730935365583 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1383728 KiB
Child status: 143
Real time (s): 2474.38
CPU time (s): 2520.19
CPU user time (s): 2515.2
CPU system time (s): 4.99173
CPU usage (%): 101.851
Max. virtual memory (cumulated for all children) (KiB): 10933144
Max. memory (cumulated for all children) (KiB): 1383728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.2
system time used= 4.99173
maximum resident set size= 1384608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1218856
page faults= 6
swaps= 0
block input operations= 78640
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 271887
involuntary context switches= 12228
# summary of solver processes directly reported to runsolver:
# pid: 20105
# total CPU time (s): 2520.19
# total CPU user time (s): 2515.2
# total CPU system time (s): 4.99173
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6167 second user time and 21.9092 second system time
The end
Begin job on node149 at 2019-09-20 10:19:58 IDJOB=4402806 IDBENCH=115816 IDSOLVER=2861 FILE ID=node149/4402806-1568967637 RUNJOBID= node149-1568967598-20069 PBS_JOBID= 21704611 Free space on /var/tmp= 13484 MiB SOLVER NAME= Concrete 3.12.3 BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-05-05-4.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402806-1568967637/watcher-4402806-1568967637 -o /var/tmp/evaluation-result-4402806-1568967637/solver-4402806-1568967637 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1568967598-20069 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=695258949 HOME/instance-4402806-1568967637.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a08c622730be04b0ce65f9055d76b754 RANDOM SEED=695258949 node149.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.81 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.81 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.81 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.81 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: 761408 kB MemAvailable: 31819896 kB Buffers: 134200 kB Cached: 30849952 kB SwapCached: 41420 kB Active: 15033784 kB Inactive: 15992692 kB Active(anon): 3364 kB Inactive(anon): 83812 kB Active(file): 15030420 kB Inactive(file): 15908880 kB Unevictable: 109688 kB Mlocked: 109688 kB SwapTotal: 67108860 kB SwapFree: 66956552 kB Dirty: 26008 kB Writeback: 0 kB AnonPages: 112504 kB Mapped: 51384 kB Shmem: 35568 kB Slab: 576240 kB SReclaimable: 547648 kB SUnreclaim: 28592 kB KernelStack: 3392 kB PageTables: 5512 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 510208 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: 144768 kB DirectMap2M: 33400832 kB Free space on /var/tmp at the end= 13412 MiB End job on node149 at 2019-09-20 11:01:20