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.2 | SAT (TO) | 353 | 2520.09 | 2466.33 |
| Name | Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-8.xml |
| MD5SUM | 43b2ef46cc27b455a3f22cfd7dbefeca |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 353 |
| Best CPU time to get the best result obtained on this benchmark | 28.1866 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 105 |
| Number of constraints | 90 |
| Number of domains | 7 |
| Minimum domain size | 5 |
| Maximum domain size | 453 |
| Distribution of domain sizes | [{"size":5,"count":50},{"size":453,"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.70/1.78 c Concrete v3.12.2.1568631193530 running 14.83/7.99 o 452 16.10/8.35 o 451 16.10/8.36 o 450 16.10/8.38 o 449 17.34/8.79 o 448 17.34/8.79 o 447 17.34/8.79 o 445 18.07/9.06 o 442 18.07/9.07 o 441 18.07/9.08 o 437 18.58/9.31 o 436 18.58/9.38 o 435 19.58/10.08 o 434 19.58/10.09 o 433 19.58/10.09 o 426 19.58/10.10 o 418 19.58/10.10 o 417 19.75/10.11 o 414 19.75/10.11 o 411 20.67/10.58 o 410 20.67/10.59 o 408 20.67/10.59 o 406 20.86/10.61 o 405 20.86/10.61 o 404 20.86/10.62 o 394 20.86/10.68 o 393 20.86/10.69 o 391 20.86/10.69 o 390 21.48/10.91 o 389 21.83/11.28 o 387 21.83/11.28 o 386 23.06/12.16 o 385 23.55/12.51 o 384 23.77/12.71 o 383 23.77/12.72 o 382 23.77/12.72 o 381 23.77/12.73 o 370 26.19/14.77 o 368 26.19/14.77 o 367 35.64/22.61 o 366 35.64/22.62 o 365 55.42/41.23 o 358 79.99/65.04 o 357 79.99/65.10 o 355 94.78/79.56 o 354 94.99/79.76 o 353 2520.04/2466.30 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost 2520.04/2466.30 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:28) 2520.04/2466.30 at concrete.heuristic.value.BestCost.$anonfun$select$1(BestCost.scala:55) 2520.04/2466.30 at concrete.BitVectorDomain.$anonfun$filterBounds$1(BitVectorDomain.scala:27) 2520.04/2466.30 at bitvectors.LargeBitVector.filterBounds(LargeBitVector.scala:267) 2520.04/2466.30 at concrete.BitVectorDomain.filterBounds(BitVectorDomain.scala:27) 2520.04/2466.30 at concrete.BitVectorDomain.filterBounds(BitVectorDomain.scala:8) 2520.04/2466.30 at concrete.heuristic.value.BestCost.select(BestCost.scala:55) 2520.04/2466.30 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89) 2520.04/2466.30 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89) 2520.04/2466.30 at scala.Function2.$anonfun$tupled$1(Function2.scala:53) 2520.04/2466.30 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89) 2520.04/2466.30 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89) 2520.04/2466.30 at scala.Function2.$anonfun$tupled$1(Function2.scala:53) 2520.04/2466.30 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89) 2520.04/2466.30 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89) 2520.04/2466.30 at scala.Function2.$anonfun$tupled$1(Function2.scala:53) 2520.04/2466.30 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89) 2520.04/2466.30 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:95) 2520.04/2466.30 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42) 2520.04/2466.30 at scala.Option.map(Option.scala:243) 2520.04/2466.30 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40) 2520.04/2466.30 at concrete.MAC.mac(MAC.scala:216) 2520.04/2466.30 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265) 2520.04/2466.30 at scala.util.Try$.apply(Try.scala:212) 2520.04/2466.30 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2520.04/2466.30 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2520.04/2466.30 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2520.04/2466.30 at concrete.MAC.oneRun(MAC.scala:265) 2520.04/2466.30 at concrete.MAC.nextSolution(MAC.scala:284) 2520.04/2466.30 at concrete.MAC.nextSolution(MAC.scala:369) 2520.04/2466.30 at concrete.Solver.hasNext(Solver.scala:160) 2520.04/2466.30 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2520.04/2466.30 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2520.04/2466.30 at concrete.Solver.foreach(Solver.scala:67) 2520.04/2466.30 at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73) 2520.04/2466.30 at scala.util.Success.map(Try.scala:264) 2520.04/2466.30 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.04/2466.30 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2520.04/2466.30 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.04/2466.30 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.04/2466.30 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.04/2466.30 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2520.04/2466.30 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2520.04/2466.30 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2520.04/2466.30 at scala.App.$anonfun$main$1(App.scala:75) 2520.04/2466.30 at scala.App.$anonfun$main$1$adapted(App.scala:75) 2520.04/2466.30 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2520.04/2466.30 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2520.04/2466.30 at scala.collection.AbstractIterable.foreach(Iterable.scala:904) 2520.04/2466.30 at scala.App.main(App.scala:75) 2520.04/2466.30 at scala.App.main$(App.scala:73) 2520.04/2466.30 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.04/2466.30 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.04/2466.31 v <instantiation 2520.04/2466.31 v cost = '353'> 2520.04/2466.31 v <list> 2520.04/2466.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.04/2466.31 v </list> 2520.04/2466.31 v <values> 2520.04/2466.31 v 0 35 127 180 263 0 23 96 190 260 0 56 90 131 258 0 55 131 190 257 0 96 112 167 263 353 353 352 353 352 22 38 35 83 90 23 73 84 68 93 38 34 41 77 94 55 72 59 67 96 90 16 49 93 89 0 3 1 2 4 3 0 2 4 1 1 2 4 0 3 2 1 4 3 0 4 0 3 1 2 0 127 180 35 263 23 260 96 0 190 131 0 56 258 90 257 55 0 190 131 96 167 263 112 0 2520.04/2466.31 v </values> 2520.04/2466.31 v </instantiation> 2520.04/2466.31 s SATISFIABLE
OK 353
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 (13957 MiB free)
memory of node 1: 16384 MiB (15747 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401005-1568673331/watcher-4401005-1568673331 -o /tmp/evaluation-result-4401005-1568673331/solver-4401005-1568673331 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568673287-18225 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1889038206 HOME/instance-4401005-1568673331.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
solver pid=18250, runsolver pid=18245
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 0.17 1.57 2.64 4/206 18275
/proc/meminfo: memFree=30416960/32770624 swapFree=66917056/67108860
[pid=18250] ppid=18245 vsize=113256 memory=1564 CPUtime=0.01 cores=1,3,5,7
/proc/18250/stat : 18250 (bash) D 18245 18250 18193 0 -1 4202496 822 5368 1 1 0 0 0 1 20 0 1 0 443247283 115974144 391 33554432000 4194304 5098028 140730977725520 140730977718888 4443360 0 0 4100 65536 18446744071580431491 0 0 17 5 0 0 3 0 0 7196144 7232144 24317952 140730977727508 140730977727633 140730977727633 140730977730542 0
/proc/18250/statm: 28314 391 311 221 0 119 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1564 KiB
[startup+0.210108 s]*
/proc/loadavg: 0.17 1.57 2.64 1/206 18311
/proc/meminfo: memFree=30415664/32770624 swapFree=66917056/67108860
[pid=18250] ppid=18245 vsize=113256 memory=1612 CPUtime=0.01 cores=1,3,5,7
/proc/18250/stat : 18250 (bash) S 18245 18250 18193 0 -1 4202496 883 5688 2 1 0 0 0 1 20 0 1 0 443247283 115974144 403 33554432000 4194304 5098028 140730977725520 140730977719528 140233416207360 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 5 0 0 7196144 7232144 24317952 140730977727508 140730977727633 140730977727633 140730977730542 0
/proc/18250/statm: 28314 403 320 221 0 119 0
[pid=18306] ppid=18250 vsize=113256 memory=708 CPUtime=0 cores=1,3,5,7
/proc/18306/stat : 18306 (bash) S 18250 18250 18193 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 1 0 443247296 115974144 177 33554432000 4194304 5098028 140730977725520 140730977718200 140233416032892 0 65536 4096 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24317952 140730977727508 140730977727633 140730977727633 140730977730542 0
/proc/18306/statm: 28314 177 94 221 0 119 0
[pid=18308] ppid=18306 vsize=296 memory=4 CPUtime=0 cores=1,3,5,7
/proc/18308/stat : 18308 (java) D 18306 18250 18193 0 -1 1077936128 156 0 0 0 0 0 0 0 20 0 1 0 443247296 303104 1 33554432000 4194304 4196468 140725623845488 140725623842760 140234875528903 0 0 4096 0 18446744072101617188 0 0 17 3 0 0 0 0 0 6293624 6294260 18771968 140725623850124 140725623850138 140725623850138 140725623853007 0
/proc/18308/statm: 74 1 0 1 0 38 0
[pid=18311] ppid=18306 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/18311/stat : 18311 (awk) S 18306 18250 18193 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 443247296 116211712 243 33554432000 4194304 4609284 140721867250672 140721867249848 140696786074624 0 0 4096 1216 18446744071580971376 0 0 17 5 0 0 0 0 0 6708720 6711756 13619200 140721867252924 140721867252954 140721867252954 140721867255791 0
/proc/18311/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 340296 KiB
Current children cumulated memory: 3296 KiB
[startup+0.309942 s]*
/proc/loadavg: 0.17 1.57 2.64 1/206 18311
/proc/meminfo: memFree=30415152/32770624 swapFree=66917056/67108860
[pid=18250] ppid=18245 vsize=113256 memory=1612 CPUtime=0.01 cores=1,3,5,7
/proc/18250/stat : 18250 (bash) S 18245 18250 18193 0 -1 4202496 883 5688 2 1 0 0 0 1 20 0 1 0 443247283 115974144 403 33554432000 4194304 5098028 140730977725520 140730977719528 140233416207360 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 5 0 0 7196144 7232144 24317952 140730977727508 140730977727633 140730977727633 140730977730542 0
/proc/18250/statm: 28314 403 320 221 0 119 0
[pid=18306] ppid=18250 vsize=113256 memory=708 CPUtime=0 cores=1,3,5,7
/proc/18306/stat : 18306 (bash) S 18250 18250 18193 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 1 0 443247296 115974144 177 33554432000 4194304 5098028 140730977725520 140730977718200 140233416032892 0 65536 4096 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24317952 140730977727508 140730977727633 140730977727633 140730977730542 0
/proc/18306/statm: 28314 177 94 221 0 119 0
[pid=18308] ppid=18306 vsize=30188 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/18308/stat : 18308 (java) R 18306 18250 18193 0 -1 4202496 448 0 0 0 0 0 0 0 20 0 1 0 443247296 30912512 263 33554432000 4194304 4196468 140725623845488 140725623826184 140234875475579 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6293624 6294260 18771968 140725623850124 140725623850138 140725623850138 140725623853007 0
/proc/18308/statm: 7547 263 210 1 0 159 0
[pid=18311] ppid=18306 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/18311/stat : 18311 (awk) S 18306 18250 18193 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 443247296 116211712 243 33554432000 4194304 4609284 140721867250672 140721867249848 140696786074624 0 0 4096 1216 18446744071580971376 0 0 17 5 0 0 0 0 0 6708720 6711756 13619200 140721867252924 140721867252954 140721867252954 140721867255791 0
/proc/18311/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: 4344 KiB
[startup+0.70068 s]
/proc/loadavg: 0.17 1.57 2.64 1/216 18321
/proc/meminfo: memFree=30399352/32770624 swapFree=66917056/67108860
[pid=18250] ppid=18245 vsize=113256 memory=1612 CPUtime=0.01 cores=1,3,5,7
/proc/18250/stat : 18250 (bash) S 18245 18250 18193 0 -1 4202496 883 5688 2 1 0 0 0 1 20 0 1 0 443247283 115974144 403 33554432000 4194304 5098028 140730977725520 140730977719528 140233416207360 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 5 0 0 7196144 7232144 24317952 140730977727508 140730977727633 140730977727633 140730977730542 0
/proc/18250/statm: 28314 403 320 221 0 119 0
[pid=18306] ppid=18250 vsize=113256 memory=708 CPUtime=0 cores=1,3,5,7
/proc/18306/stat : 18306 (bash) S 18250 18250 18193 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 1 0 443247296 115974144 177 33554432000 4194304 5098028 140730977725520 140730977718200 140233416032892 0 65536 4096 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24317952 140730977727508 140730977727633 140730977727633 140730977730542 0
/proc/18306/statm: 28314 177 94 221 0 119 0
[pid=18308] ppid=18306 vsize=10260324 memory=18452 CPUtime=0.04 cores=1,3,5,7
/proc/18308/stat : 18308 (java) S 18306 18250 18193 0 -1 1077944320 3998 0 0 0 4 0 0 0 20 0 9 0 443247296 10506571776 4613 33554432000 4194304 4196468 140725623845488 140725623828032 140234873253623 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18771968 140725623850124 140725623850138 140725623850138 140725623853007 0
/proc/18308/statm: 2565081 4613 2195 1 0 2527622 0
[pid=18308/tid=18312] ppid=18306 vsize=10260324 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/18308/task/18312/stat : 18312 (java) D 18306 18250 18193 0 -1 1077944384 2651 0 0 0 4 0 0 0 20 0 9 0 443247315 10506571776 4613 33554432000 4194304 4196468 140725623845488 140234877488664 140234865931637 0 4 0 16800971 18446744072101617188 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140725623850124 140725623850138 140725623850138 140725623853007 0
[pid=18308/tid=18318] ppid=18306 vsize=10260324 memory=4134649994686418356 CPUtime=0 cores=1,3,5,7
/proc/18308/task/18318/stat : 18318 (java) S 18306 18250 18193 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 443247333 10506571776 4613 33554432000 4194304 4196468 140725623845488 140234480552592 140234873263829 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140725623850124 140725623850138 140725623850138 140725623853007 0
[pid=18308/tid=18319] ppid=18306 vsize=10260324 memory=7668598073586115904 CPUtime=0 cores=1,3,5,7
/proc/18308/task/18319/stat : 18319 (java) S 18306 18250 18193 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 443247333 10506571776 4613 33554432000 4194304 4196468 140725623845488 140234479499792 140234873263829 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18771968 140725623850124 140725623850138 140725623850138 140725623853007 0
[pid=18308/tid=18320] ppid=18306 vsize=10260324 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/18308/task/18320/stat : 18320 (java) S 18306 18250 18193 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 443247333 10506571776 4613 33554432000 4194304 4196468 140725623845488 140234478446992 140234873263829 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140725623850124 140725623850138 140725623850138 140725623853007 0
[pid=18308/tid=18321] ppid=18306 vsize=10260324 memory=4639098309541126765 CPUtime=0 cores=1,3,5,7
/proc/18308/task/18321/stat : 18321 (java) S 18306 18250 18193 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 443247333 10506571776 4613 33554432000 4194304 4196468 140725623845488 140234477394192 140234873263829 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18771968 140725623850124 140725623850138 140725623850138 140725623853007 0
[pid=18311] ppid=18306 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/18311/stat : 18311 (awk) S 18306 18250 18193 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 443247296 116211712 243 33554432000 4194304 4609284 140721867250672 140721867249848 140696786074624 0 0 4096 1216 18446744071580971376 0 0 17 5 0 0 0 0 0 6708720 6711756 13619200 140721867252924 140721867252954 140721867252954 140721867255791 0
/proc/18311/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 21744 KiB
[startup+1.50061 s]
/proc/loadavg: 0.17 1.57 2.64 2/216 18373
/proc/meminfo: memFree=30389184/32770624 swapFree=66917056/67108860
[pid=18250] ppid=18245 vsize=10820196 memory=45496 CPUtime=0.36 cores=1,3,5,7
/proc/18250/stat : 18250 (java) S 18245 18250 18193 0 -1 1077944320 10102 13025 2 2 25 3 5 3 20 0 15 0 443247283 11079880704 11374 33554432000 4194304 4196468 140735391037312 140735391019856 139797321641719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
/proc/18250/statm: 2705049 11374 3324 1 0 2667149 0
[pid=18250/tid=18349] ppid=18245 vsize=10820196 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/18250/task/18349/stat : 18349 (java) R 18245 18250 18193 0 -1 4202560 6557 13025 0 2 16 2 5 3 20 0 15 0 443247372 11079880704 11374 33554432000 4194304 4196468 140735391037312 139797293443504 139797305685349 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18360] ppid=18245 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18360/stat : 18360 (java) S 18245 18250 18193 0 -1 1077944384 1 13025 0 2 0 0 5 3 20 0 15 0 443247379 11079880704 11374 33554432000 4194304 4196468 140735391037312 139797325884304 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18361] ppid=18245 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18361/stat : 18361 (java) S 18245 18250 18193 0 -1 1077944384 1 13025 0 2 0 0 5 3 20 0 15 0 443247379 11079880704 11374 33554432000 4194304 4196468 140735391037312 139797230086928 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18362] ppid=18245 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18362/stat : 18362 (java) S 18245 18250 18193 0 -1 1077944384 1 13025 0 2 0 0 5 3 20 0 15 0 443247379 11079880704 11374 33554432000 4194304 4196468 140735391037312 139797229034640 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18363] ppid=18245 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18363/stat : 18363 (java) S 18245 18250 18193 0 -1 1077944384 2 13025 0 2 0 0 5 3 20 0 15 0 443247379 11079880704 11374 33554432000 4194304 4196468 140735391037312 139797227981840 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18368] ppid=18245 vsize=10820196 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18368/stat : 18368 (java) S 18245 18250 18193 0 -1 1077944384 2 13025 0 2 0 0 5 3 20 0 15 0 443247381 11079880704 11374 33554432000 4194304 4196468 140735391037312 139796324960368 139797321652866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18369] ppid=18245 vsize=10820196 memory=667680 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18369/stat : 18369 (java) S 18245 18250 18193 0 -1 1077944384 33 13025 0 2 0 0 5 3 20 0 15 0 443247381 11079880704 11374 33554432000 4194304 4196468 140735391037312 139796323906336 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18370] ppid=18245 vsize=10820196 memory=7667772425968838998 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18370/stat : 18370 (java) S 18245 18250 18193 0 -1 1077944384 1 13025 0 2 0 0 5 3 20 0 15 0 443247381 11079880704 11374 33554432000 4194304 4196468 140735391037312 139796219421808 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 45496 KiB
[startup+3.11371 s]
/proc/loadavg: 0.17 1.57 2.64 3/228 18385
/proc/meminfo: memFree=30099644/32770624 swapFree=66917056/67108860
[pid=18250] ppid=18245 vsize=10834680 memory=170856 CPUtime=2.37 cores=1,3,5,7
/proc/18250/stat : 18250 (java) S 18245 18250 18193 0 -1 1077944320 24145 13025 2 2 219 10 5 3 20 0 15 0 443247283 11094712320 42714 33554432000 4194304 4196468 140735391037312 140735391019856 139797321641719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
/proc/18250/statm: 2708670 42714 3585 1 0 2670733 0
[pid=18250/tid=18349] ppid=18245 vsize=10834680 memory=1560 CPUtime=1.39 cores=1,3,5,7
/proc/18250/task/18349/stat : 18349 (java) R 18245 18250 18193 0 -1 4202560 16061 13025 0 2 126 5 5 3 20 0 15 0 443247372 11094712320 42714 33554432000 4194304 4196468 140735391037312 139797293447184 139796911326856 0 4 0 16800975 0 0 0 -1 3 0 0 35 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18360] ppid=18245 vsize=10834680 memory=932 CPUtime=0.09 cores=1,3,5,7
/proc/18250/task/18360/stat : 18360 (java) S 18245 18250 18193 0 -1 1077944384 354 13025 0 2 1 0 5 3 20 0 15 0 443247379 11094712320 42714 33554432000 4194304 4196468 140735391037312 139797325884304 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18361] ppid=18245 vsize=10834680 memory=972 CPUtime=0.09 cores=1,3,5,7
/proc/18250/task/18361/stat : 18361 (java) S 18245 18250 18193 0 -1 1077944384 94 13025 0 2 1 0 5 3 20 0 15 0 443247379 11094712320 42714 33554432000 4194304 4196468 140735391037312 139797230086928 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18362] ppid=18245 vsize=10834680 memory=56 CPUtime=0.09 cores=1,3,5,7
/proc/18250/task/18362/stat : 18362 (java) S 18245 18250 18193 0 -1 1077944384 17 13025 0 2 1 0 5 3 20 0 15 0 443247379 11094712320 42714 33554432000 4194304 4196468 140735391037312 139797229034640 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18363] ppid=18245 vsize=10834680 memory=140668904394688 CPUtime=0.09 cores=1,3,5,7
/proc/18250/task/18363/stat : 18363 (java) S 18245 18250 18193 0 -1 1077944384 67 13025 0 2 1 0 5 3 20 0 15 0 443247379 11094712320 42714 33554432000 4194304 4196468 140735391037312 139797227981840 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18368] ppid=18245 vsize=10834680 memory=4638778398332698672 CPUtime=0.09 cores=1,3,5,7
/proc/18250/task/18368/stat : 18368 (java) S 18245 18250 18193 0 -1 1077944384 1661 13025 0 2 1 0 5 3 20 0 15 0 443247381 11094712320 42714 33554432000 4194304 4196468 140735391037312 139796324960368 139797321652866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18369] ppid=18245 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18369/stat : 18369 (java) S 18245 18250 18193 0 -1 1077944384 34 13025 0 2 0 0 5 3 20 0 15 0 443247381 11094712320 42714 33554432000 4194304 4196468 140735391037312 139796323906400 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18370] ppid=18245 vsize=10834680 memory=28948 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18370/stat : 18370 (java) S 18245 18250 18193 0 -1 1077944384 2 13025 0 2 0 0 5 3 20 0 15 0 443247381 11094712320 42714 33554432000 4194304 4196468 140735391037312 139796219421824 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18374] ppid=18245 vsize=10834680 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18374/stat : 18374 (java) S 18245 18250 18193 0 -1 1077944384 3 13025 0 2 0 0 5 3 20 0 15 0 443247387 11094712320 42714 33554432000 4194304 4196468 140735391037312 139795912022096 139797321660315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18375] ppid=18245 vsize=10834680 memory=5057 CPUtime=0.32 cores=1,3,5,7
/proc/18250/task/18375/stat : 18375 (java) S 18245 18250 18193 0 -1 1077944384 1285 13025 0 2 24 0 5 3 20 0 15 0 443247387 11094712320 42714 33554432000 4194304 4196468 140735391037312 139796290349680 139797321652866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18376] ppid=18245 vsize=10834680 memory=2082 CPUtime=0.3 cores=1,3,5,7
/proc/18250/task/18376/stat : 18376 (java) S 18245 18250 18193 0 -1 1077944384 672 13025 0 2 21 1 5 3 20 0 15 0 443247387 11094712320 42714 33554432000 4194304 4196468 140735391037312 139796289296880 139797321652866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18377] ppid=18245 vsize=10834680 memory=80 CPUtime=0.47 cores=1,3,5,7
/proc/18250/task/18377/stat : 18377 (java) R 18245 18250 18193 0 -1 4202560 1686 13025 0 2 39 0 5 3 20 0 15 0 443247387 11094712320 42714 33554432000 4194304 4196468 140735391037312 139796288244592 139797321663066 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18378] ppid=18245 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18378/stat : 18378 (java) S 18245 18250 18193 0 -1 1077944384 3 13025 0 2 0 0 5 3 20 0 15 0 443247387 11094712320 42714 33554432000 4194304 4196468 140735391037312 139795878464480 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18384] ppid=18245 vsize=10834680 memory=1612 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18384/stat : 18384 (java) S 18245 18250 18193 0 -1 1077944384 4 13025 0 2 0 0 5 3 20 0 15 0 443247416 11094712320 42714 33554432000 4194304 4196468 140735391037312 139796185864624 139797321652866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
Current children cumulated CPU time: 2.37 s
Current children cumulated vsize: 10834680 KiB
Current children cumulated memory: 170856 KiB
heavy processes:
[startup+6.30152 s]
/proc/loadavg: 0.31 1.58 2.63 8/228 18385
/proc/meminfo: memFree=29871088/32770624 swapFree=66917056/67108860
[pid=18250] ppid=18245 vsize=10851096 memory=313064 CPUtime=9.88 cores=1,3,5,7
/proc/18250/stat : 18250 (java) S 18245 18250 18193 0 -1 1077944320 47455 13025 3 2 959 21 5 3 20 0 15 0 443247283 11111522304 78266 33554432000 4194304 4196468 140735391037312 140735391019856 139797321641719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
/proc/18250/statm: 2712774 78266 3615 1 0 2674829 0
[pid=18250/tid=18349] ppid=18245 vsize=10851096 memory=0 CPUtime=4.03 cores=1,3,5,7
/proc/18250/task/18349/stat : 18349 (java) R 18245 18250 18193 0 -1 4202560 25467 13025 1 2 385 10 5 3 20 0 15 0 443247372 11111522304 78266 33554432000 4194304 4196468 140735391037312 139797293472672 139796923336999 0 4 0 16800975 0 0 0 -1 5 0 0 57 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18360] ppid=18245 vsize=10851096 memory=6655300316396806240 CPUtime=0.11 cores=1,3,5,7
/proc/18250/task/18360/stat : 18360 (java) S 18245 18250 18193 0 -1 1077944384 467 13025 0 2 3 0 5 3 20 0 15 0 443247379 11111522304 78266 33554432000 4194304 4196468 140735391037312 139797325884304 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18361] ppid=18245 vsize=10851096 memory=198856 CPUtime=0.11 cores=1,3,5,7
/proc/18250/task/18361/stat : 18361 (java) S 18245 18250 18193 0 -1 1077944384 130 13025 0 2 3 0 5 3 20 0 15 0 443247379 11111522304 78266 33554432000 4194304 4196468 140735391037312 139797230086928 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18362] ppid=18245 vsize=10851096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/18250/task/18362/stat : 18362 (java) S 18245 18250 18193 0 -1 1077944384 58 13025 0 2 4 0 5 3 20 0 15 0 443247379 11111522304 78266 33554432000 4194304 4196468 140735391037312 139797229034640 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18363] ppid=18245 vsize=10851096 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/18250/task/18363/stat : 18363 (java) S 18245 18250 18193 0 -1 1077944384 84 13025 0 2 3 0 5 3 20 0 15 0 443247379 11111522304 78266 33554432000 4194304 4196468 140735391037312 139797227981840 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18368] ppid=18245 vsize=10851096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/18250/task/18368/stat : 18368 (java) S 18245 18250 18193 0 -1 1077944384 3746 13025 0 2 4 0 5 3 20 0 15 0 443247381 11111522304 78266 33554432000 4194304 4196468 140735391037312 139796324960368 139797321652866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18369] ppid=18245 vsize=10851096 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18369/stat : 18369 (java) S 18245 18250 18193 0 -1 1077944384 38 13025 0 2 0 0 5 3 20 0 15 0 443247381 11111522304 78266 33554432000 4194304 4196468 140735391037312 139796323906400 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18370] ppid=18245 vsize=10851096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18370/stat : 18370 (java) S 18245 18250 18193 0 -1 1077944384 2 13025 0 2 0 0 5 3 20 0 15 0 443247381 11111522304 78266 33554432000 4194304 4196468 140735391037312 139796219421824 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18374] ppid=18245 vsize=10851096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18374/stat : 18374 (java) S 18245 18250 18193 0 -1 1077944384 3 13025 0 2 0 0 5 3 20 0 15 0 443247387 11111522304 78266 33554432000 4194304 4196468 140735391037312 139795912022096 139797321660315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18375] ppid=18245 vsize=10851096 memory=33137 CPUtime=2.17 cores=1,3,5,7
/proc/18250/task/18375/stat : 18375 (java) R 18245 18250 18193 0 -1 4202560 4599 13025 0 2 207 2 5 3 20 0 15 0 443247387 11111522304 78266 33554432000 4194304 4196468 140735391037312 139796290336288 139797301334796 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18376] ppid=18245 vsize=10851096 memory=4420 CPUtime=1.86 cores=1,3,5,7
/proc/18250/task/18376/stat : 18376 (java) R 18245 18250 18193 0 -1 4202560 3498 13025 0 2 176 2 5 3 20 0 15 0 443247387 11111522304 78266 33554432000 4194304 4196468 140735391037312 139796289275920 139797302342496 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
################
# More data... #
################
/proc/18250/task/18349/stat : 18349 (java) R 18245 18250 18193 0 -1 4202560 84359 13025 1 2 235338 58 5 3 20 0 15 0 443247372 11111522304 323987 33554432000 4194304 4196468 140735391037312 139797293478192 139796924364003 0 4 0 16800975 0 0 0 -1 1 0 0 57 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18360] ppid=18245 vsize=10851096 memory=1293900 CPUtime=12.54 cores=1,3,5,7
/proc/18250/task/18360/stat : 18360 (java) S 18245 18250 18193 0 -1 1077944384 17080 13025 0 2 1191 55 5 3 20 0 15 0 443247379 11111522304 323987 33554432000 4194304 4196468 140735391037312 139797325884304 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18361] ppid=18245 vsize=10851096 memory=1293900 CPUtime=12.54 cores=1,3,5,7
/proc/18250/task/18361/stat : 18361 (java) S 18245 18250 18193 0 -1 1077944384 14903 13025 0 2 1189 57 5 3 20 0 15 0 443247379 11111522304 323987 33554432000 4194304 4196468 140735391037312 139797230086928 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18362] ppid=18245 vsize=10851096 memory=1295948 CPUtime=12.53 cores=1,3,5,7
/proc/18250/task/18362/stat : 18362 (java) S 18245 18250 18193 0 -1 1077944384 17403 13025 0 2 1187 58 5 3 20 0 15 0 443247379 11111522304 323987 33554432000 4194304 4196468 140735391037312 139797229034640 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18363] ppid=18245 vsize=10851096 memory=1295948 CPUtime=12.55 cores=1,3,5,7
/proc/18250/task/18363/stat : 18363 (java) S 18245 18250 18193 0 -1 1077944384 20793 13025 0 2 1192 55 5 3 20 0 15 0 443247379 11111522304 323987 33554432000 4194304 4196468 140735391037312 139797227981840 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18368] ppid=18245 vsize=10851096 memory=1293900 CPUtime=10.99 cores=1,3,5,7
/proc/18250/task/18368/stat : 18368 (java) S 18245 18250 18193 0 -1 1077944384 20346 13025 0 2 1036 55 5 3 20 0 15 0 443247381 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796324960368 139797321652866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18369] ppid=18245 vsize=10851096 memory=1295948 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18369/stat : 18369 (java) S 18245 18250 18193 0 -1 1077944384 38 13025 0 2 0 0 5 3 20 0 15 0 443247381 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796323906400 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18370] ppid=18245 vsize=10851096 memory=281337538839912 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18370/stat : 18370 (java) S 18245 18250 18193 0 -1 1077944384 2 13025 0 2 0 0 5 3 20 0 15 0 443247381 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796219421824 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18374] ppid=18245 vsize=10851096 memory=3512 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18374/stat : 18374 (java) S 18245 18250 18193 0 -1 1077944384 3 13025 0 2 0 0 5 3 20 0 15 0 443247387 11111522304 323987 33554432000 4194304 4196468 140735391037312 139795912022096 139797321660315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18375] ppid=18245 vsize=10851096 memory=47736 CPUtime=7.13 cores=1,3,5,7
/proc/18250/task/18375/stat : 18375 (java) S 18245 18250 18193 0 -1 1077944384 26664 13025 0 2 699 6 5 3 20 0 15 0 443247387 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796290349680 139797321652866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18376] ppid=18245 vsize=10851096 memory=1293900 CPUtime=6.96 cores=1,3,5,7
/proc/18250/task/18376/stat : 18376 (java) S 18245 18250 18193 0 -1 1077944384 31563 13025 0 2 682 6 5 3 20 0 15 0 443247387 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796289296880 139797321652866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18377] ppid=18245 vsize=10851096 memory=47736 CPUtime=4.47 cores=1,3,5,7
/proc/18250/task/18377/stat : 18377 (java) S 18245 18250 18193 0 -1 1077944384 36462 13025 0 2 432 7 5 3 20 0 15 0 443247387 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796288244592 139797321652866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18378] ppid=18245 vsize=10851096 memory=1295948 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18378/stat : 18378 (java) S 18245 18250 18193 0 -1 1077944384 3 13025 0 2 0 0 5 3 20 0 15 0 443247387 11111522304 323987 33554432000 4194304 4196468 140735391037312 139795878464480 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18384] ppid=18245 vsize=10851096 memory=1295948 CPUtime=1.54 cores=1,3,5,7
/proc/18250/task/18384/stat : 18384 (java) S 18245 18250 18193 0 -1 1077944384 1053 13025 0 2 68 78 5 3 20 0 15 0 443247416 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796185864624 139797321652866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
Current children cumulated CPU time: 2434.69 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1295948 KiB
[startup+2442.3 s]
/proc/loadavg: 1.41 1.33 1.40 3/227 18633
/proc/meminfo: memFree=27920256/32770624 swapFree=66917056/67108860
[pid=18250] ppid=18245 vsize=10851096 memory=1295948 CPUtime=2495.63 cores=1,3,5,7
/proc/18250/stat : 18250 (java) S 18245 18250 18193 0 -1 1077944320 275356 13025 3 2 249174 381 5 3 20 0 15 0 443247283 11111522304 323987 33554432000 4194304 4196468 140735391037312 140735391019856 139797321641719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
/proc/18250/statm: 2712774 323987 3637 1 0 2674829 0
[pid=18250/tid=18349] ppid=18245 vsize=10851096 memory=1295948 CPUtime=2413.4 cores=1,3,5,7
/proc/18250/task/18349/stat : 18349 (java) R 18245 18250 18193 0 -1 4202560 85425 13025 1 2 241273 59 5 3 20 0 15 0 443247372 11111522304 323987 33554432000 4194304 4196468 140735391037312 139797293477008 139796923276174 0 4 0 16800975 0 0 0 -1 5 0 0 57 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18360] ppid=18245 vsize=10851096 memory=1295948 CPUtime=12.87 cores=1,3,5,7
/proc/18250/task/18360/stat : 18360 (java) S 18245 18250 18193 0 -1 1077944384 17525 13025 0 2 1222 57 5 3 20 0 15 0 443247379 11111522304 323987 33554432000 4194304 4196468 140735391037312 139797325884304 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18361] ppid=18245 vsize=10851096 memory=1295948 CPUtime=12.87 cores=1,3,5,7
/proc/18250/task/18361/stat : 18361 (java) S 18245 18250 18193 0 -1 1077944384 15121 13025 0 2 1220 59 5 3 20 0 15 0 443247379 11111522304 323987 33554432000 4194304 4196468 140735391037312 139797230086928 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18362] ppid=18245 vsize=10851096 memory=1295948 CPUtime=12.85 cores=1,3,5,7
/proc/18250/task/18362/stat : 18362 (java) S 18245 18250 18193 0 -1 1077944384 17480 13025 0 2 1218 59 5 3 20 0 15 0 443247379 11111522304 323987 33554432000 4194304 4196468 140735391037312 139797229034640 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18363] ppid=18245 vsize=10851096 memory=1295948 CPUtime=12.87 cores=1,3,5,7
/proc/18250/task/18363/stat : 18363 (java) S 18245 18250 18193 0 -1 1077944384 21179 13025 0 2 1223 56 5 3 20 0 15 0 443247379 11111522304 323987 33554432000 4194304 4196468 140735391037312 139797227981840 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18368] ppid=18245 vsize=10851096 memory=1295948 CPUtime=11.25 cores=1,3,5,7
/proc/18250/task/18368/stat : 18368 (java) S 18245 18250 18193 0 -1 1077944384 20605 13025 0 2 1061 56 5 3 20 0 15 0 443247381 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796324960368 139797321652866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18369] ppid=18245 vsize=10851096 memory=1295948 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18369/stat : 18369 (java) S 18245 18250 18193 0 -1 1077944384 38 13025 0 2 0 0 5 3 20 0 15 0 443247381 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796323906400 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18370] ppid=18245 vsize=10851096 memory=1295948 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18370/stat : 18370 (java) S 18245 18250 18193 0 -1 1077944384 2 13025 0 2 0 0 5 3 20 0 15 0 443247381 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796219421824 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18374] ppid=18245 vsize=10851096 memory=1295948 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18374/stat : 18374 (java) S 18245 18250 18193 0 -1 1077944384 3 13025 0 2 0 0 5 3 20 0 15 0 443247387 11111522304 323987 33554432000 4194304 4196468 140735391037312 139795912022096 139797321660315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18375] ppid=18245 vsize=10851096 memory=1295948 CPUtime=7.13 cores=1,3,5,7
/proc/18250/task/18375/stat : 18375 (java) S 18245 18250 18193 0 -1 1077944384 26668 13025 0 2 699 6 5 3 20 0 15 0 443247387 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796290349680 139797321652866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18376] ppid=18245 vsize=10851096 memory=1295948 CPUtime=6.96 cores=1,3,5,7
/proc/18250/task/18376/stat : 18376 (java) S 18245 18250 18193 0 -1 1077944384 31567 13025 0 2 682 6 5 3 20 0 15 0 443247387 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796289296880 139797321652866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18377] ppid=18245 vsize=10851096 memory=7014751519650567505 CPUtime=4.47 cores=1,3,5,7
/proc/18250/task/18377/stat : 18377 (java) S 18245 18250 18193 0 -1 1077944384 36466 13025 0 2 432 7 5 3 20 0 15 0 443247387 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796288244592 139797321652866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18378] ppid=18245 vsize=10851096 memory=1295948 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18378/stat : 18378 (java) S 18245 18250 18193 0 -1 1077944384 3 13025 0 2 0 0 5 3 20 0 15 0 443247387 11111522304 323987 33554432000 4194304 4196468 140735391037312 139795878464480 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18384] ppid=18245 vsize=10851096 memory=4040 CPUtime=1.58 cores=1,3,5,7
/proc/18250/task/18384/stat : 18384 (java) S 18245 18250 18193 0 -1 1077944384 1072 13025 0 2 70 80 5 3 20 0 15 0 443247416 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796185864624 139797321652866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
Current children cumulated CPU time: 2495.63 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1295948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2466.3 s]
/proc/loadavg: 1.40 1.33 1.40 3/228 18636
/proc/meminfo: memFree=27919524/32770624 swapFree=66917056/67108860
[pid=18250] ppid=18245 vsize=10851096 memory=1295948 CPUtime=2520.04 cores=1,3,5,7
/proc/18250/stat : 18250 (java) S 18245 18250 18193 0 -1 1077944320 276232 13025 3 2 251611 385 5 3 20 0 15 0 443247283 11111522304 323987 33554432000 4194304 4196468 140735391037312 140735391019856 139797321641719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
/proc/18250/statm: 2712774 323987 3637 1 0 2674829 0
[pid=18250/tid=18349] ppid=18245 vsize=10851096 memory=1436 CPUtime=2437.13 cores=1,3,5,7
/proc/18250/task/18349/stat : 18349 (java) R 18245 18250 18193 0 -1 4202560 85712 13025 1 2 243646 59 5 3 20 0 15 0 443247372 11111522304 323987 33554432000 4194304 4196468 140735391037312 139797293477312 139796925398716 0 4 0 16800975 0 0 0 -1 5 0 0 57 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18360] ppid=18245 vsize=10851096 memory=1295948 CPUtime=13 cores=1,3,5,7
/proc/18250/task/18360/stat : 18360 (java) S 18245 18250 18193 0 -1 1077944384 17544 13025 0 2 1235 57 5 3 20 0 15 0 443247379 11111522304 323987 33554432000 4194304 4196468 140735391037312 139797325884304 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18361] ppid=18245 vsize=10851096 memory=1295948 CPUtime=12.99 cores=1,3,5,7
/proc/18250/task/18361/stat : 18361 (java) S 18245 18250 18193 0 -1 1077944384 15291 13025 0 2 1232 59 5 3 20 0 15 0 443247379 11111522304 323987 33554432000 4194304 4196468 140735391037312 139797230086928 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18362] ppid=18245 vsize=10851096 memory=1295948 CPUtime=12.99 cores=1,3,5,7
/proc/18250/task/18362/stat : 18362 (java) S 18245 18250 18193 0 -1 1077944384 17589 13025 0 2 1231 60 5 3 20 0 15 0 443247379 11111522304 323987 33554432000 4194304 4196468 140735391037312 139797229034640 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18363] ppid=18245 vsize=10851096 memory=1295948 CPUtime=13.01 cores=1,3,5,7
/proc/18250/task/18363/stat : 18363 (java) S 18245 18250 18193 0 -1 1077944384 21255 13025 0 2 1236 57 5 3 20 0 15 0 443247379 11111522304 323987 33554432000 4194304 4196468 140735391037312 139797227981840 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18368] ppid=18245 vsize=10851096 memory=1295948 CPUtime=11.36 cores=1,3,5,7
/proc/18250/task/18368/stat : 18368 (java) S 18245 18250 18193 0 -1 1077944384 20808 13025 0 2 1072 56 5 3 20 0 15 0 443247381 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796324960368 139797321652866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18369] ppid=18245 vsize=10851096 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18369/stat : 18369 (java) S 18245 18250 18193 0 -1 1077944384 38 13025 0 2 0 0 5 3 20 0 15 0 443247381 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796323906400 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18370] ppid=18245 vsize=10851096 memory=1295948 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18370/stat : 18370 (java) S 18245 18250 18193 0 -1 1077944384 2 13025 0 2 0 0 5 3 20 0 15 0 443247381 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796219421824 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18374] ppid=18245 vsize=10851096 memory=1295948 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18374/stat : 18374 (java) S 18245 18250 18193 0 -1 1077944384 3 13025 0 2 0 0 5 3 20 0 15 0 443247387 11111522304 323987 33554432000 4194304 4196468 140735391037312 139795912022096 139797321660315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18375] ppid=18245 vsize=10851096 memory=1295948 CPUtime=7.13 cores=1,3,5,7
/proc/18250/task/18375/stat : 18375 (java) S 18245 18250 18193 0 -1 1077944384 26668 13025 0 2 699 6 5 3 20 0 15 0 443247387 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796290349680 139797321652866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18376] ppid=18245 vsize=10851096 memory=1295948 CPUtime=6.96 cores=1,3,5,7
/proc/18250/task/18376/stat : 18376 (java) S 18245 18250 18193 0 -1 1077944384 31567 13025 0 2 682 6 5 3 20 0 15 0 443247387 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796289296880 139797321652866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18377] ppid=18245 vsize=10851096 memory=896 CPUtime=4.47 cores=1,3,5,7
/proc/18250/task/18377/stat : 18377 (java) S 18245 18250 18193 0 -1 1077944384 36466 13025 0 2 432 7 5 3 20 0 15 0 443247387 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796288244592 139797321652866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18378] ppid=18245 vsize=10851096 memory=1980 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18378/stat : 18378 (java) S 18245 18250 18193 0 -1 1077944384 3 13025 0 2 0 0 5 3 20 0 15 0 443247387 11111522304 323987 33554432000 4194304 4196468 140735391037312 139795878464480 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18384] ppid=18245 vsize=10851096 memory=1760 CPUtime=1.59 cores=1,3,5,7
/proc/18250/task/18384/stat : 18384 (java) S 18245 18250 18193 0 -1 1077944384 1084 13025 0 2 70 81 5 3 20 0 15 0 443247416 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796185864624 139797321652866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1295948 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2466.33 s]
# the end of solver process 18250 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.19 s, system=3.89742 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2466.3 s]
/proc/loadavg: 1.40 1.33 1.40 3/228 18636
/proc/meminfo: memFree=27919524/32770624 swapFree=66917056/67108860
[pid=18250] ppid=18245 vsize=10851096 memory=1295948 CPUtime=2520.04 cores=1,3,5,7
/proc/18250/stat : 18250 (java) S 18245 18250 18193 0 -1 1077944320 276232 13025 3 2 251611 385 5 3 20 0 15 0 443247283 11111522304 323987 33554432000 4194304 4196468 140735391037312 140735391019856 139797321641719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
/proc/18250/statm: 2712774 323987 3637 1 0 2674829 0
[pid=18250/tid=18349] ppid=18245 vsize=10851096 memory=1436 CPUtime=2437.13 cores=1,3,5,7
/proc/18250/task/18349/stat : 18349 (java) R 18245 18250 18193 0 -1 4202560 85712 13025 1 2 243646 59 5 3 20 0 15 0 443247372 11111522304 323987 33554432000 4194304 4196468 140735391037312 139797293477312 139796925398716 0 4 0 16800975 0 0 0 -1 5 0 0 57 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18360] ppid=18245 vsize=10851096 memory=1295948 CPUtime=13 cores=1,3,5,7
/proc/18250/task/18360/stat : 18360 (java) S 18245 18250 18193 0 -1 1077944384 17544 13025 0 2 1235 57 5 3 20 0 15 0 443247379 11111522304 323987 33554432000 4194304 4196468 140735391037312 139797325884304 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18361] ppid=18245 vsize=10851096 memory=1295948 CPUtime=12.99 cores=1,3,5,7
/proc/18250/task/18361/stat : 18361 (java) S 18245 18250 18193 0 -1 1077944384 15291 13025 0 2 1232 59 5 3 20 0 15 0 443247379 11111522304 323987 33554432000 4194304 4196468 140735391037312 139797230086928 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18362] ppid=18245 vsize=10851096 memory=1295948 CPUtime=12.99 cores=1,3,5,7
/proc/18250/task/18362/stat : 18362 (java) S 18245 18250 18193 0 -1 1077944384 17589 13025 0 2 1231 60 5 3 20 0 15 0 443247379 11111522304 323987 33554432000 4194304 4196468 140735391037312 139797229034640 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18363] ppid=18245 vsize=10851096 memory=1295948 CPUtime=13.01 cores=1,3,5,7
/proc/18250/task/18363/stat : 18363 (java) S 18245 18250 18193 0 -1 1077944384 21255 13025 0 2 1236 57 5 3 20 0 15 0 443247379 11111522304 323987 33554432000 4194304 4196468 140735391037312 139797227981840 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18368] ppid=18245 vsize=10851096 memory=1295948 CPUtime=11.36 cores=1,3,5,7
/proc/18250/task/18368/stat : 18368 (java) S 18245 18250 18193 0 -1 1077944384 20808 13025 0 2 1072 56 5 3 20 0 15 0 443247381 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796324960368 139797321652866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18369] ppid=18245 vsize=10851096 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18369/stat : 18369 (java) S 18245 18250 18193 0 -1 1077944384 38 13025 0 2 0 0 5 3 20 0 15 0 443247381 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796323906400 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18370] ppid=18245 vsize=10851096 memory=1295948 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18370/stat : 18370 (java) S 18245 18250 18193 0 -1 1077944384 2 13025 0 2 0 0 5 3 20 0 15 0 443247381 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796219421824 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18374] ppid=18245 vsize=10851096 memory=1295948 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18374/stat : 18374 (java) S 18245 18250 18193 0 -1 1077944384 3 13025 0 2 0 0 5 3 20 0 15 0 443247387 11111522304 323987 33554432000 4194304 4196468 140735391037312 139795912022096 139797321660315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18375] ppid=18245 vsize=10851096 memory=1295948 CPUtime=7.13 cores=1,3,5,7
/proc/18250/task/18375/stat : 18375 (java) S 18245 18250 18193 0 -1 1077944384 26668 13025 0 2 699 6 5 3 20 0 15 0 443247387 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796290349680 139797321652866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18376] ppid=18245 vsize=10851096 memory=1295948 CPUtime=6.96 cores=1,3,5,7
/proc/18250/task/18376/stat : 18376 (java) S 18245 18250 18193 0 -1 1077944384 31567 13025 0 2 682 6 5 3 20 0 15 0 443247387 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796289296880 139797321652866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18377] ppid=18245 vsize=10851096 memory=896 CPUtime=4.47 cores=1,3,5,7
/proc/18250/task/18377/stat : 18377 (java) S 18245 18250 18193 0 -1 1077944384 36466 13025 0 2 432 7 5 3 20 0 15 0 443247387 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796288244592 139797321652866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18378] ppid=18245 vsize=10851096 memory=1980 CPUtime=0.08 cores=1,3,5,7
/proc/18250/task/18378/stat : 18378 (java) S 18245 18250 18193 0 -1 1077944384 3 13025 0 2 0 0 5 3 20 0 15 0 443247387 11111522304 323987 33554432000 4194304 4196468 140735391037312 139795878464480 139797321651925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
[pid=18250/tid=18384] ppid=18245 vsize=10851096 memory=1760 CPUtime=1.59 cores=1,3,5,7
/proc/18250/task/18384/stat : 18384 (java) S 18245 18250 18193 0 -1 1077944384 1084 13025 0 2 70 81 5 3 20 0 15 0 443247416 11111522304 323987 33554432000 4194304 4196468 140735391037312 139796185864624 139797321652866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19701760 140735391046383 140735391048901 140735391048901 140735391051727 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1295948 KiB
Child status: 143
Real time (s): 2466.33
CPU time (s): 2520.09
CPU user time (s): 2516.19
CPU system time (s): 3.89742
CPU usage (%): 102.18
Max. virtual memory (cumulated for all children) (KiB): 10933144
Max. memory (cumulated for all children) (KiB): 1309776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.19
system time used= 3.89742
maximum resident set size= 1311824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290564
page faults= 5
swaps= 0
block input operations= 31336
block output operations= 3304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 293087
involuntary context switches= 7007
# summary of solver processes directly reported to runsolver:
# pid: 18250
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.19
# total CPU system time (s): 3.89742
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0792 second user time and 24.6761 second system time
The end
Begin job on node147 at 2019-09-17 00:34:48 IDJOB=4401005 IDBENCH=115815 IDSOLVER=2857 FILE ID=node147/4401005-1568673331 RUNJOBID= node147-1568673287-18225 PBS_JOBID= 21703775 Free space on /tmp= 58880 MiB SOLVER NAME= Concrete 3.12.2 BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-05-05-8.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4401005-1568673331/watcher-4401005-1568673331 -o /tmp/evaluation-result-4401005-1568673331/solver-4401005-1568673331 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568673287-18225 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1889038206 HOME/instance-4401005-1568673331.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 43b2ef46cc27b455a3f22cfd7dbefeca RANDOM SEED=1889038206 node147.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.52 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.52 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.52 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.52 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: 30419408 kB MemAvailable: 31808056 kB Buffers: 86164 kB Cached: 1595204 kB SwapCached: 87660 kB Active: 938000 kB Inactive: 832308 kB Active(anon): 5412 kB Inactive(anon): 133772 kB Active(file): 932588 kB Inactive(file): 698536 kB Unevictable: 108656 kB Mlocked: 108656 kB SwapTotal: 67108860 kB SwapFree: 66917056 kB Dirty: 71188 kB Writeback: 0 kB AnonPages: 112344 kB Mapped: 48244 kB Shmem: 40920 kB Slab: 175964 kB SReclaimable: 146720 kB SUnreclaim: 29244 kB KernelStack: 3408 kB PageTables: 5536 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 509784 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: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 58812 MiB End job on node147 at 2019-09-17 01:15:58