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 | 2400.12 | 2349.53 |
| 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 | 27.4421 |
| 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.48 c Concrete v3.12.2.1568631193530 running 14.63/7.11 o 452 15.31/7.43 o 451 15.31/7.44 o 450 15.31/7.47 o 449 16.31/7.84 o 448 16.31/7.84 o 447 16.31/7.85 o 445 16.82/8.10 o 442 16.82/8.11 o 441 17.02/8.12 o 437 17.38/8.34 o 436 17.38/8.40 o 435 18.20/9.06 o 434 18.20/9.06 o 433 18.20/9.07 o 426 18.20/9.07 o 418 18.20/9.08 o 417 18.20/9.08 o 414 18.20/9.09 o 411 19.25/9.52 o 410 19.25/9.53 o 408 19.25/9.54 o 406 19.25/9.54 o 405 19.25/9.55 o 404 19.25/9.56 o 394 19.50/9.62 o 393 19.50/9.63 o 391 19.50/9.63 o 390 19.75/9.83 o 389 20.18/10.19 o 387 20.34/10.20 o 386 21.38/11.04 o 385 21.74/11.39 o 384 21.97/11.58 o 383 21.97/11.59 o 382 21.97/11.60 o 381 22.08/11.60 o 370 24.40/13.58 o 368 24.40/13.58 o 367 33.51/21.14 o 366 33.51/21.15 o 365 52.57/39.14 o 358 76.36/62.18 o 357 76.45/62.23 o 355 90.72/76.27 o 354 90.93/76.46 o 353 2400.06/2349.50 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost 2400.06/2349.50 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:28) 2400.06/2349.50 at concrete.heuristic.value.BestCost.$anonfun$select$1(BestCost.scala:55) 2400.06/2349.50 at concrete.BitVectorDomain.$anonfun$filterBounds$1(BitVectorDomain.scala:27) 2400.06/2349.50 at bitvectors.LargeBitVector.filterBounds(LargeBitVector.scala:267) 2400.06/2349.50 at concrete.BitVectorDomain.filterBounds(BitVectorDomain.scala:27) 2400.06/2349.50 at concrete.BitVectorDomain.filterBounds(BitVectorDomain.scala:8) 2400.06/2349.50 at concrete.heuristic.value.BestCost.select(BestCost.scala:55) 2400.06/2349.50 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89) 2400.06/2349.50 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89) 2400.06/2349.50 at scala.Function2.$anonfun$tupled$1(Function2.scala:53) 2400.06/2349.50 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89) 2400.06/2349.50 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89) 2400.06/2349.50 at scala.Function2.$anonfun$tupled$1(Function2.scala:53) 2400.06/2349.50 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89) 2400.06/2349.50 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89) 2400.06/2349.50 at scala.Function2.$anonfun$tupled$1(Function2.scala:53) 2400.06/2349.50 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89) 2400.06/2349.50 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:95) 2400.06/2349.50 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42) 2400.06/2349.50 at scala.Option.map(Option.scala:243) 2400.06/2349.50 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40) 2400.06/2349.50 at concrete.MAC.mac(MAC.scala:216) 2400.06/2349.50 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265) 2400.06/2349.50 at scala.util.Try$.apply(Try.scala:212) 2400.06/2349.50 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2400.06/2349.50 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2400.06/2349.50 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2400.06/2349.50 at concrete.MAC.oneRun(MAC.scala:265) 2400.06/2349.50 at concrete.MAC.nextSolution(MAC.scala:284) 2400.06/2349.50 at concrete.MAC.nextSolution(MAC.scala:369) 2400.06/2349.50 at concrete.Solver.hasNext(Solver.scala:160) 2400.06/2349.50 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2400.06/2349.50 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2400.06/2349.50 at concrete.Solver.foreach(Solver.scala:67) 2400.06/2349.50 at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73) 2400.06/2349.50 at scala.util.Success.map(Try.scala:264) 2400.06/2349.50 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2400.06/2349.50 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2400.06/2349.50 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2400.06/2349.50 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2400.06/2349.51 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2400.06/2349.51 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2400.06/2349.51 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2400.06/2349.51 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2400.06/2349.51 at scala.App.$anonfun$main$1(App.scala:75) 2400.06/2349.51 at scala.App.$anonfun$main$1$adapted(App.scala:75) 2400.06/2349.51 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2400.06/2349.51 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2400.06/2349.51 at scala.collection.AbstractIterable.foreach(Iterable.scala:904) 2400.06/2349.51 at scala.App.main(App.scala:75) 2400.06/2349.51 at scala.App.main$(App.scala:73) 2400.06/2349.51 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2400.06/2349.51 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2400.06/2349.51 v <instantiation 2400.06/2349.51 v cost = '353'> 2400.06/2349.51 v <list> 2400.06/2349.51 v s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] e[0] e[1] e[2] e[3] e[4] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] 2400.06/2349.51 v </list> 2400.06/2349.51 v <values> 2400.06/2349.51 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 2400.06/2349.51 v </values> 2400.06/2349.51 v </instantiation> 2400.06/2349.52 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 (14592 MiB free)
memory of node 1: 16384 MiB (15413 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401305-1568673331/watcher-4401305-1568673331 -o /tmp/evaluation-result-4401305-1568673331/solver-4401305-1568673331 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568673291-24688 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1889038206 HOME/instance-4401305-1568673331.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24717, runsolver pid=24711
[startup+0.100208 s]*
/proc/loadavg: 0.16 0.90 2.11 4/199 24766
/proc/meminfo: memFree=30723444/32770624 swapFree=66953056/67108860
[pid=24717] ppid=24711 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/24717/stat : 24717 (bash) S 24711 24717 24657 0 -1 4202496 890 5685 1 1 0 0 0 1 20 0 1 0 443602588 115974144 404 33554432000 4194304 5098028 140722175809728 140722175803736 140240168655872 0 0 4100 65536 18446744071580971376 0 0 17 2 0 0 2 0 0 7196144 7232144 14618624 140722175812628 140722175812753 140722175812753 140722175815662 0
/proc/24717/statm: 28314 404 320 221 0 119 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1616 KiB
[startup+0.209747 s]*
/proc/loadavg: 0.16 0.90 2.11 2/205 24775
/proc/meminfo: memFree=30723676/32770624 swapFree=66953056/67108860
[pid=24717] ppid=24711 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/24717/stat : 24717 (bash) S 24711 24717 24657 0 -1 4202496 890 5685 1 1 0 0 0 1 20 0 1 0 443602588 115974144 404 33554432000 4194304 5098028 140722175809728 140722175803736 140240168655872 0 0 4100 65536 18446744071580971376 0 0 17 2 0 0 2 0 0 7196144 7232144 14618624 140722175812628 140722175812753 140722175812753 140722175815662 0
/proc/24717/statm: 28314 404 320 221 0 119 0
[pid=24773] ppid=24717 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/24773/stat : 24773 (bash) S 24717 24717 24657 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 1 0 443602598 115974144 178 33554432000 4194304 5098028 140722175809728 140722175802408 140240168481404 0 65536 4096 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14618624 140722175812628 140722175812753 140722175812753 140722175815662 0
/proc/24773/statm: 28314 178 94 221 0 119 0
[pid=24774] ppid=24773 vsize=10648 memory=688 CPUtime=0 cores=0,2,4,6
/proc/24774/stat : 24774 (java) D 24773 24717 24657 0 -1 1077944320 328 0 0 0 0 0 0 0 20 0 1 0 443602598 10903552 172 33554432000 4194304 4196468 140726664334192 140726664314888 140143842621127 0 0 4096 0 18446744072101633572 0 0 17 2 0 0 0 0 0 6293624 6294260 9818112 140726664340620 140726664340634 140726664340634 140726664343503 0
/proc/24774/statm: 2662 172 139 1 0 84 0
[pid=24775] ppid=24773 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/24775/stat : 24775 (awk) S 24773 24717 24657 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 443602598 116211712 243 33554432000 4194304 4609284 140730964669136 140730964668312 139708160965632 0 0 4096 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 25722880 140730964677820 140730964677850 140730964677850 140730964680687 0
/proc/24775/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 350648 KiB
Current children cumulated memory: 3988 KiB
[startup+0.309675 s]*
/proc/loadavg: 0.16 0.90 2.11 2/207 24777
/proc/meminfo: memFree=30721292/32770624 swapFree=66953056/67108860
[pid=24717] ppid=24711 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/24717/stat : 24717 (bash) S 24711 24717 24657 0 -1 4202496 890 5685 1 1 0 0 0 1 20 0 1 0 443602588 115974144 404 33554432000 4194304 5098028 140722175809728 140722175803736 140240168655872 0 0 4100 65536 18446744071580971376 0 0 17 2 0 0 2 0 0 7196144 7232144 14618624 140722175812628 140722175812753 140722175812753 140722175815662 0
/proc/24717/statm: 28314 404 320 221 0 119 0
[pid=24773] ppid=24717 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/24773/stat : 24773 (bash) S 24717 24717 24657 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 1 0 443602598 115974144 178 33554432000 4194304 5098028 140722175809728 140722175802408 140240168481404 0 65536 4096 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14618624 140722175812628 140722175812753 140722175812753 140722175815662 0
/proc/24773/statm: 28314 178 94 221 0 119 0
[pid=24774] ppid=24773 vsize=111596 memory=5608 CPUtime=0 cores=0,2,4,6
/proc/24774/stat : 24774 (java) S 24773 24717 24657 0 -1 1077944320 1719 0 0 0 0 0 0 0 20 0 2 0 443602598 114274304 1402 33554432000 4194304 4196468 140726664334192 140726664316736 140143840345847 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9818112 140726664340620 140726664340634 140726664340634 140726664343503 0
/proc/24774/statm: 27899 1402 1063 1 0 16810 0
[pid=24774/tid=24777] ppid=24773 vsize=111596 memory=8317482817917895235 CPUtime=0 cores=0,2,4,6
/proc/24774/task/24777/stat : 24777 (java) D 24773 24717 24657 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 2 0 443602610 114274304 1402 33554432000 4194304 4196468 140726664334192 140143844585704 140143833023861 0 4 0 16784584 18446744072101633572 0 0 -1 2 0 0 0 0 0 6293624 6294260 9818112 140726664340620 140726664340634 140726664340634 140726664343503 0
[pid=24775] ppid=24773 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/24775/stat : 24775 (awk) S 24773 24717 24657 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 443602598 116211712 243 33554432000 4194304 4609284 140730964669136 140730964668312 139708160965632 0 0 4096 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 25722880 140730964677820 140730964677850 140730964677850 140730964680687 0
/proc/24775/statm: 28372 243 204 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+0.70075 s]
/proc/loadavg: 0.16 0.90 2.11 3/221 24791
/proc/meminfo: memFree=30698836/32770624 swapFree=66953056/67108860
[pid=24717] ppid=24711 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/24717/stat : 24717 (bash) S 24711 24717 24657 0 -1 4202496 890 5685 1 1 0 0 0 1 20 0 1 0 443602588 115974144 404 33554432000 4194304 5098028 140722175809728 140722175803736 140240168655872 0 0 4100 65536 18446744071580971376 0 0 17 2 0 0 2 0 0 7196144 7232144 14618624 140722175812628 140722175812753 140722175812753 140722175815662 0
/proc/24717/statm: 28314 404 320 221 0 119 0
[pid=24773] ppid=24717 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/24773/stat : 24773 (bash) S 24717 24717 24657 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 1 0 443602598 115974144 178 33554432000 4194304 5098028 140722175809728 140722175802408 140240168481404 0 65536 4096 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14618624 140722175812628 140722175812753 140722175812753 140722175815662 0
/proc/24773/statm: 28314 178 94 221 0 119 0
[pid=24774] ppid=24773 vsize=10593144 memory=22856 CPUtime=0.06 cores=0,2,4,6
/proc/24774/stat : 24774 (java) S 24773 24717 24657 0 -1 1077944320 4654 0 0 0 5 1 0 0 20 0 14 0 443602598 10847379456 5714 33554432000 4194304 4196468 140726664334192 140726664316736 140143840345847 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9818112 140726664340620 140726664340634 140726664340634 140726664343503 0
/proc/24774/statm: 2648286 5714 2615 1 0 2610827 0
[pid=24774/tid=24777] ppid=24773 vsize=10593144 memory=1188 CPUtime=0.04 cores=0,2,4,6
/proc/24774/task/24777/stat : 24777 (java) D 24773 24717 24657 0 -1 1077944384 2802 0 0 0 4 0 0 0 20 0 14 0 443602610 10847379456 5714 33554432000 4194304 4196468 140726664334192 140143844580504 140143833023861 0 4 0 16800975 18446744072101633572 0 0 -1 0 0 0 0 0 0 6293624 6294260 9818112 140726664340620 140726664340634 140726664340634 140726664343503 0
[pid=24774/tid=24782] ppid=24773 vsize=10593144 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/24774/task/24782/stat : 24782 (java) S 24773 24717 24657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 443602622 10847379456 5714 33554432000 4194304 4196468 140726664334192 140143446845840 140143840356053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9818112 140726664340620 140726664340634 140726664340634 140726664343503 0
[pid=24774/tid=24783] ppid=24773 vsize=10593144 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/24774/task/24783/stat : 24783 (java) S 24773 24717 24657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 443602622 10847379456 5714 33554432000 4194304 4196468 140726664334192 140143445793040 140143840356053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9818112 140726664340620 140726664340634 140726664340634 140726664343503 0
[pid=24774/tid=24784] ppid=24773 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24774/task/24784/stat : 24784 (java) S 24773 24717 24657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 443602622 10847379456 5714 33554432000 4194304 4196468 140726664334192 140143444740752 140143840356053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9818112 140726664340620 140726664340634 140726664340634 140726664343503 0
[pid=24774/tid=24785] ppid=24773 vsize=10593144 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24774/task/24785/stat : 24785 (java) S 24773 24717 24657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 443602622 10847379456 5714 33554432000 4194304 4196468 140726664334192 140143443687952 140143840356053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9818112 140726664340620 140726664340634 140726664340634 140726664343503 0
[pid=24774/tid=24787] ppid=24773 vsize=10593144 memory=7739834362435234151 CPUtime=0 cores=0,2,4,6
/proc/24774/task/24787/stat : 24787 (java) S 24773 24717 24657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 443602624 10847379456 5714 33554432000 4194304 4196468 140726664334192 140143144630896 140143840356994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9818112 140726664340620 140726664340634 140726664340634 140726664343503 0
[pid=24774/tid=24789] ppid=24773 vsize=10593144 memory=7162806249449548633 CPUtime=0 cores=0,2,4,6
/proc/24774/task/24789/stat : 24789 (java) S 24773 24717 24657 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 443602624 10847379456 5714 33554432000 4194304 4196468 140726664334192 140143143576864 140143840356053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9818112 140726664340620 140726664340634 140726664340634 140726664343503 0
[pid=24774/tid=24791] ppid=24773 vsize=10593144 memory=8226000671992200362 CPUtime=0 cores=0,2,4,6
/proc/24774/task/24791/stat : 24791 (java) S 24773 24717 24657 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 443602624 10847379456 5714 33554432000 4194304 4196468 140726664334192 140143142524528 140143840356053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9818112 140726664340620 140726664340634 140726664340634 140726664343503 0
[pid=24775] ppid=24773 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/24775/stat : 24775 (awk) S 24773 24717 24657 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 443602598 116211712 243 33554432000 4194304 4609284 140730964669136 140730964668312 139708160965632 0 0 4096 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 25722880 140730964677820 140730964677850 140730964677850 140730964680687 0
/proc/24775/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 10933144 KiB
Current children cumulated memory: 26156 KiB
[startup+1.50071 s]
/proc/loadavg: 0.16 0.90 2.11 2/225 24847
/proc/meminfo: memFree=30688584/32770624 swapFree=66953056/67108860
[pid=24717] ppid=24711 vsize=10820268 memory=75416 CPUtime=0.84 cores=0,2,4,6
/proc/24717/stat : 24717 (java) S 24711 24717 24657 0 -1 1077944320 13928 13066 1 1 70 6 5 3 20 0 15 0 443602588 11079954432 18854 33554432000 4194304 4196468 140729619455968 140729619438512 140583150431991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 2 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
/proc/24717/statm: 2705067 18854 3469 1 0 2667149 0
[pid=24717/tid=24823] ppid=24711 vsize=10820268 memory=57928 CPUtime=0.55 cores=0,2,4,6
/proc/24717/task/24823/stat : 24823 (java) R 24711 24717 24657 0 -1 4202560 9455 13066 0 1 43 4 5 3 20 0 15 0 443602673 11079954432 18854 33554432000 4194304 4196468 140729619455968 140583122264320 140583134512478 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24828] ppid=24711 vsize=10820268 memory=3624 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24828/stat : 24828 (java) S 24711 24717 24657 0 -1 1077944384 1 13066 0 1 0 0 5 3 20 0 15 0 443602674 11079954432 18854 33554432000 4194304 4196468 140729619455968 140583154674192 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24829] ppid=24711 vsize=10820268 memory=47432 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24829/stat : 24829 (java) S 24711 24717 24657 0 -1 1077944384 2 13066 0 1 0 0 5 3 20 0 15 0 443602674 11079954432 18854 33554432000 4194304 4196468 140729619455968 140583073426064 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24830] ppid=24711 vsize=10820268 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24830/stat : 24830 (java) S 24711 24717 24657 0 -1 1077944384 1 13066 0 1 0 0 5 3 20 0 15 0 443602675 11079954432 18854 33554432000 4194304 4196468 140729619455968 140583072373008 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24831] ppid=24711 vsize=10820268 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24831/stat : 24831 (java) S 24711 24717 24657 0 -1 1077944384 1 13066 0 1 0 0 5 3 20 0 15 0 443602675 11079954432 18854 33554432000 4194304 4196468 140729619455968 140582721608080 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24835] ppid=24711 vsize=10820268 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24835/stat : 24835 (java) S 24711 24717 24657 0 -1 1077944384 5 13066 0 1 0 0 5 3 20 0 15 0 443602676 11079954432 18854 33554432000 4194304 4196468 140729619455968 140582677031664 140583150443138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24836] ppid=24711 vsize=10820268 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24836/stat : 24836 (java) S 24711 24717 24657 0 -1 1077944384 13 13066 0 1 0 0 5 3 20 0 15 0 443602676 11079954432 18854 33554432000 4194304 4196468 140729619455968 140582601090720 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24837] ppid=24711 vsize=10820268 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24837/stat : 24837 (java) S 24711 24717 24657 0 -1 1077944384 1 13066 0 1 0 0 5 3 20 0 15 0 443602677 11079954432 18854 33554432000 4194304 4196468 140729619455968 140582466872560 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24843] ppid=24711 vsize=10820268 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24843/stat : 24843 (java) S 24711 24717 24657 0 -1 1077944384 2 13066 0 1 0 0 5 3 20 0 15 0 443602683 11079954432 18854 33554432000 4194304 4196468 140729619455968 140581862894032 140583150450587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24844] ppid=24711 vsize=10820268 memory=8514701219242344867 CPUtime=0.15 cores=0,2,4,6
/proc/24717/task/24844/stat : 24844 (java) R 24711 24717 24657 0 -1 4202560 927 13066 0 1 7 0 5 3 20 0 15 0 443602683 11079954432 18854 33554432000 4194304 4196468 140729619455968 140582675978480 140583131976095 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24845] ppid=24711 vsize=10820268 memory=7595444352355620199 CPUtime=0.13 cores=0,2,4,6
/proc/24717/task/24845/stat : 24845 (java) R 24711 24717 24657 0 -1 1077944384 571 13066 0 1 5 0 5 3 20 0 15 0 443602683 11079954432 18854 33554432000 4194304 4196468 140729619455968 140582674925936 140583150443138 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24846] ppid=24711 vsize=10820268 memory=3470692292451393600 CPUtime=0.21 cores=0,2,4,6
/proc/24717/task/24846/stat : 24846 (java) R 24711 24717 24657 0 -1 4202560 740 13066 0 1 13 0 5 3 20 0 15 0 443602683 11079954432 18854 33554432000 4194304 4196468 140729619455968 140582673872880 140583134512478 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24847] ppid=24711 vsize=10820268 memory=140544056224577 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24847/stat : 24847 (java) S 24711 24717 24657 0 -1 1077944384 3 13066 0 1 0 0 5 3 20 0 15 0 443602684 11079954432 18854 33554432000 4194304 4196468 140729619455968 140581393131872 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
Current children cumulated CPU time: 0.84 s
Current children cumulated vsize: 10820268 KiB
Current children cumulated memory: 75416 KiB
[startup+3.11033 s]
/proc/loadavg: 0.31 0.92 2.11 7/227 24849
/proc/meminfo: memFree=30363128/32770624 swapFree=66953056/67108860
[pid=24717] ppid=24711 vsize=10836748 memory=178652 CPUtime=2.84 cores=0,2,4,6
/proc/24717/stat : 24717 (java) S 24711 24717 24657 0 -1 1077944320 22704 13066 2 1 266 10 5 3 20 0 15 0 443602588 11096829952 44663 33554432000 4194304 4196468 140729619455968 140729619438512 140583150431991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 2 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
/proc/24717/statm: 2709187 44663 3587 1 0 2671245 0
[pid=24717/tid=24823] ppid=24711 vsize=10836748 memory=172348 CPUtime=1.62 cores=0,2,4,6
/proc/24717/task/24823/stat : 24823 (java) D 24711 24717 24657 0 -1 4202560 15813 13066 1 1 148 6 5 3 20 0 15 0 443602673 11096829952 44663 33554432000 4194304 4196468 140729619455968 140583122253040 140583150453917 0 4 0 16800975 18446744071580419588 0 0 -1 2 0 0 38 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24828] ppid=24711 vsize=10836748 memory=175408 CPUtime=0.09 cores=0,2,4,6
/proc/24717/task/24828/stat : 24828 (java) S 24711 24717 24657 0 -1 1077944384 338 13066 0 1 1 0 5 3 20 0 15 0 443602674 11096829952 44663 33554432000 4194304 4196468 140729619455968 140583154674192 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24829] ppid=24711 vsize=10836748 memory=1616 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24829/stat : 24829 (java) S 24711 24717 24657 0 -1 1077944384 69 13066 0 1 0 0 5 3 20 0 15 0 443602674 11096829952 44663 33554432000 4194304 4196468 140729619455968 140583073426064 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24830] ppid=24711 vsize=10836748 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24717/task/24830/stat : 24830 (java) S 24711 24717 24657 0 -1 1077944384 66 13066 0 1 1 0 5 3 20 0 15 0 443602675 11096829952 44663 33554432000 4194304 4196468 140729619455968 140583072373008 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24831] ppid=24711 vsize=10836748 memory=7245577201579234449 CPUtime=0.09 cores=0,2,4,6
/proc/24717/task/24831/stat : 24831 (java) S 24711 24717 24657 0 -1 1077944384 27 13066 0 1 1 0 5 3 20 0 15 0 443602675 11096829952 44663 33554432000 4194304 4196468 140729619455968 140582721608080 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24835] ppid=24711 vsize=10836748 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24717/task/24835/stat : 24835 (java) S 24711 24717 24657 0 -1 1077944384 149 13066 0 1 1 0 5 3 20 0 15 0 443602676 11096829952 44663 33554432000 4194304 4196468 140729619455968 140582677031664 140583150443138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24836] ppid=24711 vsize=10836748 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24836/stat : 24836 (java) S 24711 24717 24657 0 -1 1077944384 14 13066 0 1 0 0 5 3 20 0 15 0 443602676 11096829952 44663 33554432000 4194304 4196468 140729619455968 140582601090784 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24837] ppid=24711 vsize=10836748 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24837/stat : 24837 (java) S 24711 24717 24657 0 -1 1077944384 1 13066 0 1 0 0 5 3 20 0 15 0 443602677 11096829952 44663 33554432000 4194304 4196468 140729619455968 140582466872576 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24843] ppid=24711 vsize=10836748 memory=281087893033136 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24843/stat : 24843 (java) S 24711 24717 24657 0 -1 1077944384 2 13066 0 1 0 0 5 3 20 0 15 0 443602683 11096829952 44663 33554432000 4194304 4196468 140729619455968 140581862894032 140583150450587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24844] ppid=24711 vsize=10836748 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/24717/task/24844/stat : 24844 (java) S 24711 24717 24657 0 -1 1077944384 1226 13066 0 1 28 0 5 3 20 0 15 0 443602683 11096829952 44663 33554432000 4194304 4196468 140729619455968 140582675978480 140583150443138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24845] ppid=24711 vsize=10836748 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/24717/task/24845/stat : 24845 (java) S 24711 24717 24657 0 -1 1077944384 829 13066 0 1 27 0 5 3 20 0 15 0 443602683 11096829952 44663 33554432000 4194304 4196468 140729619455968 140582674925936 140583150443138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24846] ppid=24711 vsize=10836748 memory=1384 CPUtime=0.62 cores=0,2,4,6
/proc/24717/task/24846/stat : 24846 (java) S 24711 24717 24657 0 -1 1077944384 1959 13066 0 1 53 1 5 3 20 0 15 0 443602683 11096829952 44663 33554432000 4194304 4196468 140729619455968 140582673872880 140583150443138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24847] ppid=24711 vsize=10836748 memory=4156 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24847/stat : 24847 (java) S 24711 24717 24657 0 -1 1077944384 3 13066 0 1 0 0 5 3 20 0 15 0 443602684 11096829952 44663 33554432000 4194304 4196468 140729619455968 140581393131872 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24849] ppid=24711 vsize=10836748 memory=1056 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24849/stat : 24849 (java) S 24711 24717 24657 0 -1 1077944384 1 13066 0 1 0 0 5 3 20 0 15 0 443602690 11096829952 44663 33554432000 4194304 4196468 140729619455968 140582672821296 140583150443138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 10836748 KiB
Current children cumulated memory: 178652 KiB
[startup+6.30079 s]
/proc/loadavg: 0.31 0.92 2.11 7/227 24849
/proc/meminfo: memFree=30054928/32770624 swapFree=66953056/67108860
[pid=24717] ppid=24711 vsize=10851096 memory=361800 CPUtime=12.33 cores=0,2,4,6
/proc/24717/stat : 24717 (java) S 24711 24717 24657 0 -1 1077944320 60772 13066 3 1 1202 23 5 3 20 0 15 0 443602588 11111522304 90450 33554432000 4194304 4196468 140729619455968 140729619438512 140583150431991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 2 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
/proc/24717/statm: 2712774 90450 3622 1 0 2674829 0
[pid=24717/tid=24823] ppid=24711 vsize=10851096 memory=56 CPUtime=4.74 cores=0,2,4,6
/proc/24717/task/24823/stat : 24823 (java) R 24711 24717 24657 0 -1 4202560 26150 13066 2 1 455 11 5 3 20 0 15 0 443602673 11111522304 90450 33554432000 4194304 4196468 140729619455968 140583122262544 140582769548544 0 4 0 16800975 0 0 0 -1 0 0 0 39 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24828] ppid=24711 vsize=10851096 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/24717/task/24828/stat : 24828 (java) S 24711 24717 24657 0 -1 1077944384 369 13066 0 1 4 0 5 3 20 0 15 0 443602674 11111522304 90450 33554432000 4194304 4196468 140729619455968 140583154674192 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24829] ppid=24711 vsize=10851096 memory=281087893033136 CPUtime=0.11 cores=0,2,4,6
################
# More data... #
################
/proc/24717/task/24823/stat : 24823 (java) R 24711 24717 24657 0 -1 4202560 95134 13066 2 1 223472 55 5 3 20 0 15 0 443602673 11111522304 330993 33554432000 4194304 4196468 140729619455968 140583122266880 140582769509661 0 4 0 16800975 0 0 0 -1 2 0 0 39 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24828] ppid=24711 vsize=10851096 memory=1323972 CPUtime=11.9 cores=0,2,4,6
/proc/24717/task/24828/stat : 24828 (java) S 24711 24717 24657 0 -1 1077944384 20790 13066 0 1 1133 49 5 3 20 0 15 0 443602674 11111522304 330993 33554432000 4194304 4196468 140729619455968 140583154674192 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24829] ppid=24711 vsize=10851096 memory=1323576 CPUtime=11.91 cores=0,2,4,6
/proc/24717/task/24829/stat : 24829 (java) S 24711 24717 24657 0 -1 1077944384 24135 13066 0 1 1133 50 5 3 20 0 15 0 443602674 11111522304 330993 33554432000 4194304 4196468 140729619455968 140583073426064 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24830] ppid=24711 vsize=10851096 memory=1323972 CPUtime=11.88 cores=0,2,4,6
/proc/24717/task/24830/stat : 24830 (java) S 24711 24717 24657 0 -1 1077944384 22857 13066 0 1 1127 53 5 3 20 0 15 0 443602675 11111522304 330993 33554432000 4194304 4196468 140729619455968 140583072373008 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24831] ppid=24711 vsize=10851096 memory=1323972 CPUtime=11.91 cores=0,2,4,6
/proc/24717/task/24831/stat : 24831 (java) S 24711 24717 24657 0 -1 1077944384 26884 13066 0 1 1132 51 5 3 20 0 15 0 443602675 11111522304 330993 33554432000 4194304 4196468 140729619455968 140582721608080 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24835] ppid=24711 vsize=10851096 memory=800 CPUtime=10.48 cores=0,2,4,6
/proc/24717/task/24835/stat : 24835 (java) S 24711 24717 24657 0 -1 1077944384 22551 13066 0 1 992 48 5 3 20 0 15 0 443602676 11111522304 330993 33554432000 4194304 4196468 140729619455968 140582677031664 140583150443138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24836] ppid=24711 vsize=10851096 memory=1323972 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24836/stat : 24836 (java) S 24711 24717 24657 0 -1 1077944384 15 13066 0 1 0 0 5 3 20 0 15 0 443602676 11111522304 330993 33554432000 4194304 4196468 140729619455968 140582601090784 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24837] ppid=24711 vsize=10851096 memory=1323972 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24837/stat : 24837 (java) S 24711 24717 24657 0 -1 1077944384 1 13066 0 1 0 0 5 3 20 0 15 0 443602677 11111522304 330993 33554432000 4194304 4196468 140729619455968 140582466872576 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24843] ppid=24711 vsize=10851096 memory=1323972 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24843/stat : 24843 (java) S 24711 24717 24657 0 -1 1077944384 2 13066 0 1 0 0 5 3 20 0 15 0 443602683 11111522304 330993 33554432000 4194304 4196468 140729619455968 140581862894032 140583150450587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24844] ppid=24711 vsize=10851096 memory=1323972 CPUtime=6.25 cores=0,2,4,6
/proc/24717/task/24844/stat : 24844 (java) S 24711 24717 24657 0 -1 1077944384 34369 13066 0 1 612 5 5 3 20 0 15 0 443602683 11111522304 330993 33554432000 4194304 4196468 140729619455968 140582675978480 140583150443138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24845] ppid=24711 vsize=10851096 memory=301741416376284457 CPUtime=6.27 cores=0,2,4,6
/proc/24717/task/24845/stat : 24845 (java) S 24711 24717 24657 0 -1 1077944384 37746 13066 0 1 613 6 5 3 20 0 15 0 443602683 11111522304 330993 33554432000 4194304 4196468 140729619455968 140582674925936 140583150443138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24846] ppid=24711 vsize=10851096 memory=1323972 CPUtime=4.58 cores=0,2,4,6
/proc/24717/task/24846/stat : 24846 (java) S 24711 24717 24657 0 -1 1077944384 40282 13066 0 1 442 8 5 3 20 0 15 0 443602683 11111522304 330993 33554432000 4194304 4196468 140729619455968 140582673872880 140583150443138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24847] ppid=24711 vsize=10851096 memory=1323972 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24847/stat : 24847 (java) S 24711 24717 24657 0 -1 1077944384 3 13066 0 1 0 0 5 3 20 0 15 0 443602684 11111522304 330993 33554432000 4194304 4196468 140729619455968 140581393131872 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24849] ppid=24711 vsize=10851096 memory=1323972 CPUtime=1.48 cores=0,2,4,6
/proc/24717/task/24849/stat : 24849 (java) S 24711 24717 24657 0 -1 1077944384 1583 13066 0 1 73 67 5 3 20 0 15 0 443602690 11111522304 330993 33554432000 4194304 4196468 140729619455968 140582672821296 140583150443138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
Current children cumulated CPU time: 2311.41 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1323972 KiB
[startup+2322.3 s]
/proc/loadavg: 1.50 1.40 1.47 4/228 25089
/proc/meminfo: memFree=28788096/32770624 swapFree=66953060/67108860
[pid=24717] ppid=24711 vsize=10851096 memory=1323972 CPUtime=2372.42 cores=0,2,4,6
/proc/24717/stat : 24717 (java) S 24711 24717 24657 0 -1 1077944320 331353 13066 3 1 236887 347 5 3 20 0 15 0 443602588 11111522304 330993 33554432000 4194304 4196468 140729619455968 140729619438512 140583150431991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 2 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
/proc/24717/statm: 2712774 330993 3636 1 0 2674829 0
[pid=24717/tid=24823] ppid=24711 vsize=10851096 memory=1323972 CPUtime=2294.67 cores=0,2,4,6
/proc/24717/task/24823/stat : 24823 (java) R 24711 24717 24657 0 -1 4202560 96394 13066 2 1 229403 56 5 3 20 0 15 0 443602673 11111522304 330993 33554432000 4194304 4196468 140729619455968 140583122268080 140582768391488 0 4 0 16800975 0 0 0 -1 0 0 0 39 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24828] ppid=24711 vsize=10851096 memory=1323972 CPUtime=12.24 cores=0,2,4,6
/proc/24717/task/24828/stat : 24828 (java) S 24711 24717 24657 0 -1 1077944384 20893 13066 0 1 1165 51 5 3 20 0 15 0 443602674 11111522304 330993 33554432000 4194304 4196468 140729619455968 140583154674192 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24829] ppid=24711 vsize=10851096 memory=1323972 CPUtime=12.25 cores=0,2,4,6
/proc/24717/task/24829/stat : 24829 (java) S 24711 24717 24657 0 -1 1077944384 24247 13066 0 1 1165 52 5 3 20 0 15 0 443602674 11111522304 330993 33554432000 4194304 4196468 140729619455968 140583073426064 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24830] ppid=24711 vsize=10851096 memory=1323972 CPUtime=12.22 cores=0,2,4,6
/proc/24717/task/24830/stat : 24830 (java) S 24711 24717 24657 0 -1 1077944384 22913 13066 0 1 1159 55 5 3 20 0 15 0 443602675 11111522304 330993 33554432000 4194304 4196468 140729619455968 140583072373008 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24831] ppid=24711 vsize=10851096 memory=1323972 CPUtime=12.25 cores=0,2,4,6
/proc/24717/task/24831/stat : 24831 (java) S 24711 24717 24657 0 -1 1077944384 27674 13066 0 1 1165 52 5 3 20 0 15 0 443602675 11111522304 330993 33554432000 4194304 4196468 140729619455968 140582721608080 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24835] ppid=24711 vsize=10851096 memory=1323972 CPUtime=10.76 cores=0,2,4,6
/proc/24717/task/24835/stat : 24835 (java) S 24711 24717 24657 0 -1 1077944384 22982 13066 0 1 1019 49 5 3 20 0 15 0 443602676 11111522304 330993 33554432000 4194304 4196468 140729619455968 140582677031664 140583150443138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24836] ppid=24711 vsize=10851096 memory=1188 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24836/stat : 24836 (java) S 24711 24717 24657 0 -1 1077944384 15 13066 0 1 0 0 5 3 20 0 15 0 443602676 11111522304 330993 33554432000 4194304 4196468 140729619455968 140582601090784 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24837] ppid=24711 vsize=10851096 memory=1323972 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24837/stat : 24837 (java) S 24711 24717 24657 0 -1 1077944384 1 13066 0 1 0 0 5 3 20 0 15 0 443602677 11111522304 330993 33554432000 4194304 4196468 140729619455968 140582466872576 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24843] ppid=24711 vsize=10851096 memory=800 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24843/stat : 24843 (java) S 24711 24717 24657 0 -1 1077944384 2 13066 0 1 0 0 5 3 20 0 15 0 443602683 11111522304 330993 33554432000 4194304 4196468 140729619455968 140581862894032 140583150450587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24844] ppid=24711 vsize=10851096 memory=1323972 CPUtime=6.25 cores=0,2,4,6
/proc/24717/task/24844/stat : 24844 (java) S 24711 24717 24657 0 -1 1077944384 34373 13066 0 1 612 5 5 3 20 0 15 0 443602683 11111522304 330993 33554432000 4194304 4196468 140729619455968 140582675978480 140583150443138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24845] ppid=24711 vsize=10851096 memory=3624 CPUtime=6.27 cores=0,2,4,6
/proc/24717/task/24845/stat : 24845 (java) S 24711 24717 24657 0 -1 1077944384 37750 13066 0 1 613 6 5 3 20 0 15 0 443602683 11111522304 330993 33554432000 4194304 4196468 140729619455968 140582674925936 140583150443138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24846] ppid=24711 vsize=10851096 memory=1323972 CPUtime=4.58 cores=0,2,4,6
/proc/24717/task/24846/stat : 24846 (java) S 24711 24717 24657 0 -1 1077944384 40286 13066 0 1 442 8 5 3 20 0 15 0 443602683 11111522304 330993 33554432000 4194304 4196468 140729619455968 140582673872880 140583150443138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24847] ppid=24711 vsize=10851096 memory=1323972 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24847/stat : 24847 (java) S 24711 24717 24657 0 -1 1077944384 3 13066 0 1 0 0 5 3 20 0 15 0 443602684 11111522304 330993 33554432000 4194304 4196468 140729619455968 140581393131872 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24849] ppid=24711 vsize=10851096 memory=1323972 CPUtime=1.52 cores=0,2,4,6
/proc/24717/task/24849/stat : 24849 (java) S 24711 24717 24657 0 -1 1077944384 1613 13066 0 1 75 69 5 3 20 0 15 0 443602690 11111522304 330993 33554432000 4194304 4196468 140729619455968 140582672821296 140583150443138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
Current children cumulated CPU time: 2372.42 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1323972 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2349.5 s]
/proc/loadavg: 1.51 1.42 1.47 3/227 25217
/proc/meminfo: memFree=28618812/32770624 swapFree=66953060/67108860
[pid=24717] ppid=24711 vsize=10851096 memory=1326020 CPUtime=2400.06 cores=0,2,4,6
/proc/24717/stat : 24717 (java) S 24711 24717 24657 0 -1 1077944320 332739 13066 3 1 239646 352 5 3 20 0 15 0 443602588 11111522304 331505 33554432000 4194304 4196468 140729619455968 140729619438512 140583150431991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 2 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
/proc/24717/statm: 2712774 331505 3636 1 0 2674829 0
[pid=24717/tid=24823] ppid=24711 vsize=10851096 memory=1326020 CPUtime=2321.58 cores=0,2,4,6
/proc/24717/task/24823/stat : 24823 (java) R 24711 24717 24657 0 -1 4202560 97014 13066 2 1 232092 58 5 3 20 0 15 0 443602673 11111522304 331505 33554432000 4194304 4196468 140729619455968 140583122266464 140582768382835 0 4 0 16800975 0 0 0 -1 2 0 0 39 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24828] ppid=24711 vsize=10851096 memory=1323972 CPUtime=12.39 cores=0,2,4,6
/proc/24717/task/24828/stat : 24828 (java) S 24711 24717 24657 0 -1 1077944384 20909 13066 0 1 1179 52 5 3 20 0 15 0 443602674 11111522304 331505 33554432000 4194304 4196468 140729619455968 140583154674192 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24829] ppid=24711 vsize=10851096 memory=1323972 CPUtime=12.4 cores=0,2,4,6
/proc/24717/task/24829/stat : 24829 (java) S 24711 24717 24657 0 -1 1077944384 24665 13066 0 1 1179 53 5 3 20 0 15 0 443602674 11111522304 331505 33554432000 4194304 4196468 140729619455968 140583073426064 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24830] ppid=24711 vsize=10851096 memory=1323972 CPUtime=12.36 cores=0,2,4,6
/proc/24717/task/24830/stat : 24830 (java) S 24711 24717 24657 0 -1 1077944384 22961 13066 0 1 1173 55 5 3 20 0 15 0 443602675 11111522304 331505 33554432000 4194304 4196468 140729619455968 140583072373008 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24831] ppid=24711 vsize=10851096 memory=1326020 CPUtime=12.4 cores=0,2,4,6
/proc/24717/task/24831/stat : 24831 (java) S 24711 24717 24657 0 -1 1077944384 27740 13066 0 1 1179 53 5 3 20 0 15 0 443602675 11111522304 331505 33554432000 4194304 4196468 140729619455968 140582721608080 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24835] ppid=24711 vsize=10851096 memory=1326020 CPUtime=10.89 cores=0,2,4,6
/proc/24717/task/24835/stat : 24835 (java) S 24711 24717 24657 0 -1 1077944384 23188 13066 0 1 1031 50 5 3 20 0 15 0 443602676 11111522304 331505 33554432000 4194304 4196468 140729619455968 140582677031664 140583150443138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24836] ppid=24711 vsize=10851096 memory=1326020 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24836/stat : 24836 (java) S 24711 24717 24657 0 -1 1077944384 15 13066 0 1 0 0 5 3 20 0 15 0 443602676 11111522304 331505 33554432000 4194304 4196468 140729619455968 140582601090784 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24837] ppid=24711 vsize=10851096 memory=1231 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24837/stat : 24837 (java) S 24711 24717 24657 0 -1 1077944384 1 13066 0 1 0 0 5 3 20 0 15 0 443602677 11111522304 331505 33554432000 4194304 4196468 140729619455968 140582466872576 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24843] ppid=24711 vsize=10851096 memory=1326020 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24843/stat : 24843 (java) S 24711 24717 24657 0 -1 1077944384 2 13066 0 1 0 0 5 3 20 0 15 0 443602683 11111522304 331505 33554432000 4194304 4196468 140729619455968 140581862894032 140583150450587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24844] ppid=24711 vsize=10851096 memory=1326020 CPUtime=6.25 cores=0,2,4,6
/proc/24717/task/24844/stat : 24844 (java) S 24711 24717 24657 0 -1 1077944384 34373 13066 0 1 612 5 5 3 20 0 15 0 443602683 11111522304 331505 33554432000 4194304 4196468 140729619455968 140582675978480 140583150443138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24845] ppid=24711 vsize=10851096 memory=1408 CPUtime=6.27 cores=0,2,4,6
/proc/24717/task/24845/stat : 24845 (java) S 24711 24717 24657 0 -1 1077944384 37750 13066 0 1 613 6 5 3 20 0 15 0 443602683 11111522304 331505 33554432000 4194304 4196468 140729619455968 140582674925936 140583150443138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24846] ppid=24711 vsize=10851096 memory=1326020 CPUtime=4.58 cores=0,2,4,6
/proc/24717/task/24846/stat : 24846 (java) S 24711 24717 24657 0 -1 1077944384 40286 13066 0 1 442 8 5 3 20 0 15 0 443602683 11111522304 331505 33554432000 4194304 4196468 140729619455968 140582673872880 140583150443138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24847] ppid=24711 vsize=10851096 memory=3624 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24847/stat : 24847 (java) S 24711 24717 24657 0 -1 1077944384 3 13066 0 1 0 0 5 3 20 0 15 0 443602684 11111522304 331505 33554432000 4194304 4196468 140729619455968 140581393131872 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24849] ppid=24711 vsize=10851096 memory=1326020 CPUtime=1.54 cores=0,2,4,6
/proc/24717/task/24849/stat : 24849 (java) S 24711 24717 24657 0 -1 1077944384 1625 13066 0 1 76 70 5 3 20 0 15 0 443602690 11111522304 331505 33554432000 4194304 4196468 140729619455968 140582672821296 140583150443138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1326020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2349.53 s]
# the end of solver process 24717 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.54 s, system=3.57366 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2349.5 s]
/proc/loadavg: 1.51 1.42 1.47 3/227 25217
/proc/meminfo: memFree=28618812/32770624 swapFree=66953060/67108860
[pid=24717] ppid=24711 vsize=10851096 memory=1326020 CPUtime=2400.06 cores=0,2,4,6
/proc/24717/stat : 24717 (java) S 24711 24717 24657 0 -1 1077944320 332739 13066 3 1 239646 352 5 3 20 0 15 0 443602588 11111522304 331505 33554432000 4194304 4196468 140729619455968 140729619438512 140583150431991 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 2 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
/proc/24717/statm: 2712774 331505 3636 1 0 2674829 0
[pid=24717/tid=24823] ppid=24711 vsize=10851096 memory=1326020 CPUtime=2321.58 cores=0,2,4,6
/proc/24717/task/24823/stat : 24823 (java) R 24711 24717 24657 0 -1 4202560 97014 13066 2 1 232092 58 5 3 20 0 15 0 443602673 11111522304 331505 33554432000 4194304 4196468 140729619455968 140583122266464 140582768382835 0 4 0 16800975 0 0 0 -1 2 0 0 39 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24828] ppid=24711 vsize=10851096 memory=1323972 CPUtime=12.39 cores=0,2,4,6
/proc/24717/task/24828/stat : 24828 (java) S 24711 24717 24657 0 -1 1077944384 20909 13066 0 1 1179 52 5 3 20 0 15 0 443602674 11111522304 331505 33554432000 4194304 4196468 140729619455968 140583154674192 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24829] ppid=24711 vsize=10851096 memory=1323972 CPUtime=12.4 cores=0,2,4,6
/proc/24717/task/24829/stat : 24829 (java) S 24711 24717 24657 0 -1 1077944384 24665 13066 0 1 1179 53 5 3 20 0 15 0 443602674 11111522304 331505 33554432000 4194304 4196468 140729619455968 140583073426064 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24830] ppid=24711 vsize=10851096 memory=1323972 CPUtime=12.36 cores=0,2,4,6
/proc/24717/task/24830/stat : 24830 (java) S 24711 24717 24657 0 -1 1077944384 22961 13066 0 1 1173 55 5 3 20 0 15 0 443602675 11111522304 331505 33554432000 4194304 4196468 140729619455968 140583072373008 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24831] ppid=24711 vsize=10851096 memory=1326020 CPUtime=12.4 cores=0,2,4,6
/proc/24717/task/24831/stat : 24831 (java) S 24711 24717 24657 0 -1 1077944384 27740 13066 0 1 1179 53 5 3 20 0 15 0 443602675 11111522304 331505 33554432000 4194304 4196468 140729619455968 140582721608080 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24835] ppid=24711 vsize=10851096 memory=1326020 CPUtime=10.89 cores=0,2,4,6
/proc/24717/task/24835/stat : 24835 (java) S 24711 24717 24657 0 -1 1077944384 23188 13066 0 1 1031 50 5 3 20 0 15 0 443602676 11111522304 331505 33554432000 4194304 4196468 140729619455968 140582677031664 140583150443138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24836] ppid=24711 vsize=10851096 memory=1326020 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24836/stat : 24836 (java) S 24711 24717 24657 0 -1 1077944384 15 13066 0 1 0 0 5 3 20 0 15 0 443602676 11111522304 331505 33554432000 4194304 4196468 140729619455968 140582601090784 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24837] ppid=24711 vsize=10851096 memory=1231 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24837/stat : 24837 (java) S 24711 24717 24657 0 -1 1077944384 1 13066 0 1 0 0 5 3 20 0 15 0 443602677 11111522304 331505 33554432000 4194304 4196468 140729619455968 140582466872576 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24843] ppid=24711 vsize=10851096 memory=1326020 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24843/stat : 24843 (java) S 24711 24717 24657 0 -1 1077944384 2 13066 0 1 0 0 5 3 20 0 15 0 443602683 11111522304 331505 33554432000 4194304 4196468 140729619455968 140581862894032 140583150450587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24844] ppid=24711 vsize=10851096 memory=1326020 CPUtime=6.25 cores=0,2,4,6
/proc/24717/task/24844/stat : 24844 (java) S 24711 24717 24657 0 -1 1077944384 34373 13066 0 1 612 5 5 3 20 0 15 0 443602683 11111522304 331505 33554432000 4194304 4196468 140729619455968 140582675978480 140583150443138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24845] ppid=24711 vsize=10851096 memory=1408 CPUtime=6.27 cores=0,2,4,6
/proc/24717/task/24845/stat : 24845 (java) S 24711 24717 24657 0 -1 1077944384 37750 13066 0 1 613 6 5 3 20 0 15 0 443602683 11111522304 331505 33554432000 4194304 4196468 140729619455968 140582674925936 140583150443138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24846] ppid=24711 vsize=10851096 memory=1326020 CPUtime=4.58 cores=0,2,4,6
/proc/24717/task/24846/stat : 24846 (java) S 24711 24717 24657 0 -1 1077944384 40286 13066 0 1 442 8 5 3 20 0 15 0 443602683 11111522304 331505 33554432000 4194304 4196468 140729619455968 140582673872880 140583150443138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24847] ppid=24711 vsize=10851096 memory=3624 CPUtime=0.08 cores=0,2,4,6
/proc/24717/task/24847/stat : 24847 (java) S 24711 24717 24657 0 -1 1077944384 3 13066 0 1 0 0 5 3 20 0 15 0 443602684 11111522304 331505 33554432000 4194304 4196468 140729619455968 140581393131872 140583150442197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
[pid=24717/tid=24849] ppid=24711 vsize=10851096 memory=1326020 CPUtime=1.54 cores=0,2,4,6
/proc/24717/task/24849/stat : 24849 (java) S 24711 24717 24657 0 -1 1077944384 1625 13066 0 1 76 70 5 3 20 0 15 0 443602690 11111522304 331505 33554432000 4194304 4196468 140729619455968 140582672821296 140583150443138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 12136448 140729619462895 140729619465413 140729619465413 140729619468239 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1326020 KiB
Child status: 143
Real time (s): 2349.53
CPU time (s): 2400.12
CPU user time (s): 2396.54
CPU system time (s): 3.57366
CPU usage (%): 102.153
Max. virtual memory (cumulated for all children) (KiB): 10933144
Max. memory (cumulated for all children) (KiB): 1326020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.54
system time used= 3.57366
maximum resident set size= 1330152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346788
page faults= 4
swaps= 0
block input operations= 6952
block output operations= 3592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 283420
involuntary context switches= 8793
# summary of solver processes directly reported to runsolver:
# pid: 24717
# total CPU time (s): 2400.12
# total CPU user time (s): 2396.54
# total CPU system time (s): 3.57366
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3848 second user time and 23.3529 second system time
The end
Begin job on node127 at 2019-09-17 00:34:51 IDJOB=4401305 IDBENCH=115815 IDSOLVER=2858 FILE ID=node127/4401305-1568673331 RUNJOBID= node127-1568673291-24688 PBS_JOBID= 21703783 Free space on /tmp= 61312 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-4401305-1568673331/watcher-4401305-1568673331 -o /tmp/evaluation-result-4401305-1568673331/solver-4401305-1568673331 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568673291-24688 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1889038206 HOME/instance-4401305-1568673331.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 43b2ef46cc27b455a3f22cfd7dbefeca RANDOM SEED=1889038206 node127.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.55 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.55 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.55 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.55 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: 30726356 kB MemAvailable: 31833244 kB Buffers: 68472 kB Cached: 1323468 kB SwapCached: 51460 kB Active: 507164 kB Inactive: 938564 kB Active(anon): 13700 kB Inactive(anon): 89540 kB Active(file): 493464 kB Inactive(file): 849024 kB Unevictable: 110908 kB Mlocked: 110908 kB SwapTotal: 67108860 kB SwapFree: 66953056 kB Dirty: 23412 kB Writeback: 0 kB AnonPages: 114852 kB Mapped: 48104 kB Shmem: 40652 kB Slab: 190456 kB SReclaimable: 160472 kB SUnreclaim: 29984 kB KernelStack: 3392 kB PageTables: 5548 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 512440 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 61244 MiB End job on node127 at 2019-09-17 01:14:07