Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.12.3 | SAT (TO) | 300 | 2520.14 | 2473.39 |
| Name | Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-0.xml |
| MD5SUM | da64694dd3ca715594c36c32a8b555a8 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 300 |
| Best CPU time to get the best result obtained on this benchmark | 25.2154 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 105 |
| Number of constraints | 90 |
| Number of domains | 7 |
| Minimum domain size | 5 |
| Maximum domain size | 400 |
| Distribution of domain sizes | [{"size":5,"count":50},{"size":400,"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.88/2.44 c Concrete v3.12.3.1568965526260 running 10.47/11.49 o 356 10.79/11.51 o 350 11.46/11.70 o 349 11.46/11.71 o 346 11.46/11.72 o 345 11.46/11.73 o 343 11.46/11.74 o 342 11.46/11.75 o 340 11.78/11.80 o 339 11.78/11.84 o 336 11.78/11.85 o 335 11.78/11.87 o 332 11.78/11.87 o 331 12.11/11.92 o 330 12.11/11.93 o 327 12.11/11.94 o 326 12.11/11.96 o 325 12.11/11.98 o 324 12.45/12.04 o 323 12.45/12.05 o 321 12.45/12.05 o 319 12.45/12.06 o 316 12.45/12.10 o 315 12.78/12.11 o 309 20.34/15.87 o 308 20.72/16.19 o 305 20.98/16.38 o 304 21.12/16.46 o 303 152.49/142.74 o 302 167.92/157.89 o 300 2520.04/2473.30 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost 2520.04/2473.30 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:28) 2520.04/2473.30 at concrete.heuristic.value.BestCost.$anonfun$select$1(BestCost.scala:55) 2520.04/2473.30 at concrete.BitVectorDomain.$anonfun$filterBounds$1(BitVectorDomain.scala:27) 2520.04/2473.30 at bitvectors.LargeBitVector.filterBounds(LargeBitVector.scala:267) 2520.04/2473.30 at concrete.BitVectorDomain.filterBounds(BitVectorDomain.scala:27) 2520.04/2473.30 at concrete.BitVectorDomain.filterBounds(BitVectorDomain.scala:8) 2520.04/2473.30 at concrete.heuristic.value.BestCost.select(BestCost.scala:55) 2520.04/2473.30 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89) 2520.04/2473.30 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89) 2520.04/2473.30 at scala.Function2.$anonfun$tupled$1(Function2.scala:53) 2520.04/2473.30 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89) 2520.04/2473.30 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89) 2520.04/2473.30 at scala.Function2.$anonfun$tupled$1(Function2.scala:53) 2520.04/2473.30 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89) 2520.04/2473.30 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89) 2520.04/2473.30 at scala.Function2.$anonfun$tupled$1(Function2.scala:53) 2520.04/2473.30 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89) 2520.04/2473.30 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:95) 2520.04/2473.30 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42) 2520.04/2473.30 at scala.Option.map(Option.scala:242) 2520.04/2473.30 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40) 2520.04/2473.30 at concrete.MAC.mac(MAC.scala:216) 2520.04/2473.30 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265) 2520.04/2473.30 at scala.util.Try$.apply(Try.scala:210) 2520.04/2473.30 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2520.04/2473.30 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2520.04/2473.30 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2520.04/2473.30 at concrete.MAC.oneRun(MAC.scala:265) 2520.04/2473.30 at concrete.MAC.nextSolution(MAC.scala:284) 2520.04/2473.30 at concrete.MAC.nextSolution(MAC.scala:369) 2520.04/2473.30 at concrete.Solver.hasNext(Solver.scala:160) 2520.04/2473.31 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553) 2520.04/2473.31 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551) 2520.04/2473.31 at concrete.Solver.foreach(Solver.scala:67) 2520.04/2473.31 at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73) 2520.04/2473.31 at scala.util.Success.map(Try.scala:262) 2520.04/2473.31 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.04/2473.31 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2520.04/2473.31 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.04/2473.31 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.04/2473.31 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.04/2473.31 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2520.04/2473.31 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2520.04/2473.31 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2520.04/2473.31 at scala.App.$anonfun$main$1(App.scala:73) 2520.04/2473.31 at scala.App.$anonfun$main$1$adapted(App.scala:73) 2520.04/2473.31 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553) 2520.04/2473.31 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551) 2520.04/2473.31 at scala.collection.AbstractIterable.foreach(Iterable.scala:921) 2520.04/2473.31 at scala.App.main(App.scala:73) 2520.04/2473.31 at scala.App.main$(App.scala:71) 2520.04/2473.31 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.04/2473.31 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.04/2473.31 v <instantiation 2520.04/2473.31 v cost = '300'> 2520.04/2473.31 v <list> 2520.04/2473.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/2473.31 v </list> 2520.04/2473.31 v <values> 2520.04/2473.31 v 0 67 131 175 260 0 13 31 61 186 0 1 66 136 210 0 13 67 151 255 1 31 129 139 211 291 255 300 300 291 66 64 44 85 31 7 18 14 68 69 1 60 70 74 90 13 54 76 98 45 15 91 10 45 80 1 0 4 3 2 0 4 3 2 1 3 2 1 0 4 4 0 3 2 1 3 4 2 1 0 67 0 260 175 131 0 186 61 31 13 136 66 1 0 210 13 255 151 67 0 211 139 129 1 31 2520.04/2473.31 v </values> 2520.04/2473.31 v </instantiation> 2520.04/2473.31 s SATISFIABLE
OK 300
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 (147 MiB free)
memory of node 1: 16384 MiB (63 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402826-1568967637/watcher-4402826-1568967637 -o /var/tmp/evaluation-result-4402826-1568967637/solver-4402826-1568967637 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node147-1568967593-29695 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1455309010 HOME/instance-4402826-1568967637.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29724, runsolver pid=29715
Current StackSize limit: 8192 KiB
[startup+0.100112 s]*
/proc/loadavg: 0.31 0.08 0.07 2/205 29735
/proc/meminfo: memFree=214804/32770624 swapFree=66935816/67108860
[pid=29724] ppid=29715 vsize=113256 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29724/stat : 29724 (bash) S 29715 29724 29663 0 -1 4202496 695 0 0 0 0 0 0 0 20 0 1 0 472678017 115974144 363 33554432000 4194304 5098028 140732805009824 140732805007464 140334319193088 0 0 4100 65536 18446744071580971376 0 0 17 1 0 0 1 0 0 7196144 7232144 17739776 140732805014528 140732805014657 140732805014657 140732805017582 0
/proc/29724/statm: 28314 363 290 221 0 119 0
[pid=29727] ppid=29724 vsize=113256 memory=708 CPUtime=0 cores=1,3,5,7
/proc/29727/stat : 29727 (bash) S 29724 29724 29663 0 -1 4202560 172 0 0 0 0 0 0 0 20 0 1 0 472678020 115974144 177 33554432000 4194304 5098028 140732805009824 140732805005992 140334319018620 0 65536 4096 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17739776 140732805014528 140732805014657 140732805014657 140732805017582 0
/proc/29727/statm: 28314 177 101 221 0 119 0
[pid=29729] ppid=29727 vsize=113256 memory=888 CPUtime=0 cores=1,3,5,7
/proc/29729/stat : 29729 (bash) S 29727 29724 29663 0 -1 4202560 210 426 0 1 0 0 0 0 20 0 1 0 472678020 115974144 222 33554432000 4194304 5098028 140732805009824 140732805003288 140334319193088 0 0 4096 65538 18446744071580971376 0 0 17 5 0 0 0 0 0 7196144 7232144 17739776 140732805014528 140732805014657 140732805014657 140732805017582 0
/proc/29729/statm: 28314 222 146 221 0 119 0
[pid=29734] ppid=29729 vsize=113256 memory=492 CPUtime=0 cores=1,3,5,7
/proc/29734/stat : 29734 (bash) D 29729 29724 29663 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 1 0 472678025 115974144 123 33554432000 4194304 5098028 140732805009824 140732805002344 140334319191413 0 0 4096 65538 18446744072101617188 0 0 17 1 0 0 0 0 0 7196144 7232144 17739776 140732805014528 140732805014657 140732805014657 140732805017582 0
/proc/29734/statm: 28314 123 47 221 0 119 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 453024 KiB
Current children cumulated memory: 3540 KiB
[startup+0.209616 s]*
/proc/loadavg: 0.31 0.08 0.07 3/205 29781
/proc/meminfo: memFree=214276/32770624 swapFree=66935816/67108860
[pid=29724] ppid=29715 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/29724/stat : 29724 (bash) S 29715 29724 29663 0 -1 4202496 888 5672 0 1 0 0 0 1 20 0 1 0 472678017 115974144 404 33554432000 4194304 5098028 140732805009824 140732805003832 140334319193088 0 0 4100 65536 18446744071580971376 0 0 17 1 0 0 1 0 0 7196144 7232144 17739776 140732805014528 140732805014657 140732805014657 140732805017582 0
/proc/29724/statm: 28314 404 320 221 0 119 0
[pid=29776] ppid=29724 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/29776/stat : 29776 (bash) S 29724 29724 29663 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 472678037 115974144 178 33554432000 4194304 5098028 140732805009824 140732805002504 140334319018620 0 65536 4096 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17739776 140732805014528 140732805014657 140732805014657 140732805017582 0
/proc/29776/statm: 28314 178 94 221 0 119 0
[pid=29778] ppid=29776 vsize=113256 memory=532 CPUtime=0 cores=1,3,5,7
/proc/29778/stat : 29778 (bash) D 29776 29724 29663 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 1 0 472678037 115974144 133 33554432000 4194304 5098028 140732805009824 140732805002280 140334319191413 0 0 4096 65538 18446744072101617188 0 0 17 5 0 0 0 0 0 7196144 7232144 17739776 140732805014528 140732805014657 140732805014657 140732805017582 0
/proc/29778/statm: 28314 133 49 221 0 119 0
[pid=29779] ppid=29776 vsize=113256 memory=524 CPUtime=0 cores=1,3,5,7
/proc/29779/stat : 29779 (bash) D 29776 29724 29663 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 1 0 472678037 115974144 131 33554432000 4194304 5098028 140732805009824 140732805002280 140334319191413 0 0 4096 65538 18446744072101617188 0 0 17 1 0 0 0 0 0 7196144 7232144 17739776 140732805014528 140732805014657 140732805014657 140732805017582 0
/proc/29779/statm: 28314 131 47 221 0 119 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 453024 KiB
Current children cumulated memory: 3384 KiB
[startup+0.309584 s]*
/proc/loadavg: 0.31 0.08 0.07 2/205 29781
/proc/meminfo: memFree=214004/32770624 swapFree=66935816/67108860
[pid=29724] ppid=29715 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/29724/stat : 29724 (bash) S 29715 29724 29663 0 -1 4202496 888 5672 0 1 0 0 0 1 20 0 1 0 472678017 115974144 404 33554432000 4194304 5098028 140732805009824 140732805003832 140334319193088 0 0 4100 65536 18446744071580971376 0 0 17 1 0 0 1 0 0 7196144 7232144 17739776 140732805014528 140732805014657 140732805014657 140732805017582 0
/proc/29724/statm: 28314 404 320 221 0 119 0
[pid=29776] ppid=29724 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/29776/stat : 29776 (bash) S 29724 29724 29663 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 472678037 115974144 178 33554432000 4194304 5098028 140732805009824 140732805002504 140334319018620 0 65536 4096 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17739776 140732805014528 140732805014657 140732805014657 140732805017582 0
/proc/29776/statm: 28314 178 94 221 0 119 0
[pid=29778] ppid=29776 vsize=2584 memory=180 CPUtime=0 cores=1,3,5,7
/proc/29778/stat : 29778 (java) D 29776 29724 29663 0 -1 1077936128 168 0 0 0 0 0 0 0 20 0 1 0 472678037 2646016 45 33554432000 4194304 4196468 140720901680576 140720901677800 140644222871239 0 0 4096 0 18446744072101617188 0 0 17 1 0 0 0 0 0 6293624 6294260 33210368 140720901682300 140720901682314 140720901682314 140720901685199 0
/proc/29778/statm: 646 45 36 1 0 42 0
[pid=29779] ppid=29776 vsize=113488 memory=968 CPUtime=0 cores=1,3,5,7
/proc/29779/stat : 29779 (awk) S 29776 29724 29663 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 472678037 116211712 242 33554432000 4194304 4609284 140725765005248 140725765004424 140315057073152 0 0 4096 1216 18446744071580971376 0 0 17 3 0 0 0 0 0 6708720 6711756 34750464 140725765006508 140725765006538 140725765006538 140725765009391 0
/proc/29779/statm: 28372 242 205 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 342584 KiB
Current children cumulated memory: 3476 KiB
[startup+0.700545 s]
/proc/loadavg: 0.31 0.08 0.07 3/205 29781
/proc/meminfo: memFree=209004/32770624 swapFree=66935816/67108860
[pid=29724] ppid=29715 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/29724/stat : 29724 (bash) S 29715 29724 29663 0 -1 4202496 888 5672 0 1 0 0 0 1 20 0 1 0 472678017 115974144 404 33554432000 4194304 5098028 140732805009824 140732805003832 140334319193088 0 0 4100 65536 18446744071580971376 0 0 17 1 0 0 1 0 0 7196144 7232144 17739776 140732805014528 140732805014657 140732805014657 140732805017582 0
/proc/29724/statm: 28314 404 320 221 0 119 0
[pid=29776] ppid=29724 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/29776/stat : 29776 (bash) S 29724 29724 29663 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 472678037 115974144 178 33554432000 4194304 5098028 140732805009824 140732805002504 140334319018620 0 65536 4096 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17739776 140732805014528 140732805014657 140732805014657 140732805017582 0
/proc/29776/statm: 28314 178 94 221 0 119 0
[pid=29778] ppid=29776 vsize=30188 memory=792 CPUtime=0 cores=1,3,5,7
/proc/29778/stat : 29778 (java) D 29776 29724 29663 0 -1 4202496 358 0 1 0 0 0 0 0 20 0 1 0 472678037 30912512 198 33554432000 4194304 4196468 140720901680576 140720901662056 140644222817929 0 0 4096 0 18446744071580431491 0 0 17 1 0 0 1 0 0 6293624 6294260 33210368 140720901682300 140720901682314 140720901682314 140720901685199 0
/proc/29778/statm: 7547 198 161 1 0 159 0
[pid=29779] ppid=29776 vsize=113488 memory=968 CPUtime=0 cores=1,3,5,7
/proc/29779/stat : 29779 (awk) S 29776 29724 29663 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 472678037 116211712 242 33554432000 4194304 4609284 140725765005248 140725765004424 140315057073152 0 0 4096 1216 18446744071580971376 0 0 17 3 0 0 0 0 0 6708720 6711756 34750464 140725765006508 140725765006538 140725765006538 140725765009391 0
/proc/29779/statm: 28372 242 205 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 370188 KiB
Current children cumulated memory: 4088 KiB
[startup+1.50102 s]
/proc/loadavg: 0.31 0.08 0.07 3/221 29797
/proc/meminfo: memFree=187204/32770624 swapFree=66935816/67108860
[pid=29724] ppid=29715 vsize=10819716 memory=37684 CPUtime=0.25 cores=1,3,5,7
/proc/29724/stat : 29724 (java) S 29715 29724 29663 0 -1 1077944320 7306 13015 0 3 14 2 5 4 20 0 15 0 472678017 11079389184 9421 33554432000 4194304 4196468 140733098274400 140733098256944 140267723718391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 1 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
/proc/29724/statm: 2704929 9421 3135 1 0 2667149 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 37684 KiB
[startup+3.10983 s]
/proc/loadavg: 0.31 0.08 0.07 2/228 29862
/proc/meminfo: memFree=189104/32770624 swapFree=66935816/67108860
[pid=29724] ppid=29715 vsize=10822316 memory=75708 CPUtime=0.98 cores=1,3,5,7
/proc/29724/stat : 29724 (java) S 29715 29724 29663 0 -1 1077944320 14709 13015 0 3 83 6 5 4 20 0 15 0 472678017 11082051584 18927 33554432000 4194304 4196468 140733098274400 140733098256944 140267723718391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 1 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
/proc/29724/statm: 2705579 18927 3486 1 0 2667661 0
[pid=29724/tid=29829] ppid=29715 vsize=10822316 memory=3617009771460448491 CPUtime=0.62 cores=1,3,5,7
/proc/29724/task/29829/stat : 29829 (java) D 29715 29724 29663 0 -1 4202560 9885 13015 0 3 49 4 5 4 20 0 15 0 472678148 11082051584 18927 33554432000 4194304 4196468 140733098274400 140267695537072 140267723740317 0 4 0 16800975 18446744071580419588 0 0 -1 1 0 0 113 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29834] ppid=29715 vsize=10822316 memory=72540 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29834/stat : 29834 (java) S 29715 29724 29663 0 -1 1077944384 1 13015 0 3 0 0 5 4 20 0 15 0 472678150 11082051584 18927 33554432000 4194304 4196468 140733098274400 140267727960720 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29835] ppid=29715 vsize=10822316 memory=53424 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29835/stat : 29835 (java) S 29715 29724 29663 0 -1 1077944384 1 13015 0 3 0 0 5 4 20 0 15 0 472678150 11082051584 18927 33554432000 4194304 4196468 140733098274400 140267296786960 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29836] ppid=29715 vsize=10822316 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29836/stat : 29836 (java) S 29715 29724 29663 0 -1 1077944384 1 13015 0 3 0 0 5 4 20 0 15 0 472678150 11082051584 18927 33554432000 4194304 4196468 140733098274400 140267295734160 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29837] ppid=29715 vsize=10822316 memory=279801952773104 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29837/stat : 29837 (java) S 29715 29724 29663 0 -1 1077944384 2 13015 0 3 0 0 5 4 20 0 15 0 472678150 11082051584 18927 33554432000 4194304 4196468 140733098274400 140267294681360 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29840] ppid=29715 vsize=10822316 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29840/stat : 29840 (java) S 29715 29724 29663 0 -1 1077944384 5 13015 0 3 0 0 5 4 20 0 15 0 472678151 11082051584 18927 33554432000 4194304 4196468 140733098274400 140266726984560 140267723729538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29842] ppid=29715 vsize=10822316 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29842/stat : 29842 (java) S 29715 29724 29663 0 -1 1077944384 13 13015 0 3 0 0 5 4 20 0 15 0 472678152 11082051584 18927 33554432000 4194304 4196468 140733098274400 140266652558880 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29843] ppid=29715 vsize=10822316 memory=279801952786400 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29843/stat : 29843 (java) S 29715 29724 29663 0 -1 1077944384 1 13015 0 3 0 0 5 4 20 0 15 0 472678152 11082051584 18927 33554432000 4194304 4196468 140733098274400 140266518340976 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29849] ppid=29715 vsize=10822316 memory=80 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29849/stat : 29849 (java) S 29715 29724 29663 0 -1 1077944384 3 13015 0 3 0 0 5 4 20 0 15 0 472678156 11082051584 18927 33554432000 4194304 4196468 140733098274400 140266278050128 140267723736987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29850] ppid=29715 vsize=10822316 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/29724/task/29850/stat : 29850 (java) S 29715 29724 29663 0 -1 1077944384 948 13015 0 3 6 0 5 4 20 0 15 0 472678156 11082051584 18927 33554432000 4194304 4196468 140733098274400 140266725931376 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29851] ppid=29715 vsize=10822316 memory=626 CPUtime=0.2 cores=1,3,5,7
/proc/29724/task/29851/stat : 29851 (java) S 29715 29724 29663 0 -1 1077944384 747 13015 0 3 11 0 5 4 20 0 15 0 472678156 11082051584 18927 33554432000 4194304 4196468 140733098274400 140266724878576 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29852] ppid=29715 vsize=10822316 memory=17034 CPUtime=0.24 cores=1,3,5,7
/proc/29724/task/29852/stat : 29852 (java) S 29715 29724 29663 0 -1 1077944384 896 13015 0 3 15 0 5 4 20 0 15 0 472678156 11082051584 18927 33554432000 4194304 4196468 140733098274400 140266723825776 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29853] ppid=29715 vsize=10822316 memory=279801952784304 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29853/stat : 29853 (java) S 29715 29724 29663 0 -1 1077944384 3 13015 0 3 0 0 5 4 20 0 15 0 472678157 11082051584 18927 33554432000 4194304 4196468 140733098274400 140266244491488 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29855] ppid=29715 vsize=10822316 memory=279801952731376 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29855/stat : 29855 (java) S 29715 29724 29663 0 -1 1077944384 1 13015 0 3 0 0 5 4 20 0 15 0 472678163 11082051584 18927 33554432000 4194304 4196468 140733098274400 140266722774192 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 75708 KiB
heavy processes:
[startup+6.30069 s]
/proc/loadavg: 0.45 0.11 0.08 2/228 29862
/proc/meminfo: memFree=221696/32770624 swapFree=66935816/67108860
[pid=29724] ppid=29715 vsize=10824364 memory=88608 CPUtime=1.3 cores=1,3,5,7
/proc/29724/stat : 29724 (java) S 29715 29724 29663 0 -1 1077944320 15954 13015 0 3 114 7 5 4 20 0 15 0 472678017 11084148736 22152 33554432000 4194304 4196468 140733098274400 140733098256944 140267723718391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 1 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
/proc/29724/statm: 2706091 22152 3515 1 0 2668173 0
[pid=29724/tid=29829] ppid=29715 vsize=10824364 memory=55292 CPUtime=0.77 cores=1,3,5,7
/proc/29724/task/29829/stat : 29829 (java) D 29715 29724 29663 0 -1 4202560 11002 13015 0 3 63 5 5 4 20 0 15 0 472678148 11084148736 22152 33554432000 4194304 4196468 140733098274400 140267695543680 140267723740317 0 4 0 16800975 18446744071580419588 0 0 -1 1 0 0 398 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29834] ppid=29715 vsize=10824364 memory=2020 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29834/stat : 29834 (java) S 29715 29724 29663 0 -1 1077944384 1 13015 0 3 0 0 5 4 20 0 15 0 472678150 11084148736 22152 33554432000 4194304 4196468 140733098274400 140267727960720 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29835] ppid=29715 vsize=10824364 memory=279801953120640 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29835/stat : 29835 (java) S 29715 29724 29663 0 -1 1077944384 1 13015 0 3 0 0 5 4 20 0 15 0 472678150 11084148736 22152 33554432000 4194304 4196468 140733098274400 140267296786960 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29836] ppid=29715 vsize=10824364 memory=6933690305039933585 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29836/stat : 29836 (java) S 29715 29724 29663 0 -1 1077944384 1 13015 0 3 0 0 5 4 20 0 15 0 472678150 11084148736 22152 33554432000 4194304 4196468 140733098274400 140267295734160 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29837] ppid=29715 vsize=10824364 memory=6933690305039933585 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29837/stat : 29837 (java) S 29715 29724 29663 0 -1 1077944384 2 13015 0 3 0 0 5 4 20 0 15 0 472678150 11084148736 22152 33554432000 4194304 4196468 140733098274400 140267294681360 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29840] ppid=29715 vsize=10824364 memory=42044 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29840/stat : 29840 (java) S 29715 29724 29663 0 -1 1077944384 5 13015 0 3 0 0 5 4 20 0 15 0 472678151 11084148736 22152 33554432000 4194304 4196468 140733098274400 140266726984560 140267723729538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29842] ppid=29715 vsize=10824364 memory=78700 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29842/stat : 29842 (java) S 29715 29724 29663 0 -1 1077944384 13 13015 0 3 0 0 5 4 20 0 15 0 472678152 11084148736 22152 33554432000 4194304 4196468 140733098274400 140266652558880 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29843] ppid=29715 vsize=10824364 memory=988 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29843/stat : 29843 (java) S 29715 29724 29663 0 -1 1077944384 1 13015 0 3 0 0 5 4 20 0 15 0 472678152 11084148736 22152 33554432000 4194304 4196468 140733098274400 140266518340976 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29849] ppid=29715 vsize=10824364 memory=1368 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29849/stat : 29849 (java) S 29715 29724 29663 0 -1 1077944384 3 13015 0 3 0 0 5 4 20 0 15 0 472678156 11084148736 22152 33554432000 4194304 4196468 140733098274400 140266278050128 140267723736987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29850] ppid=29715 vsize=10824364 memory=1056 CPUtime=0.23 cores=1,3,5,7
/proc/29724/task/29850/stat : 29850 (java) S 29715 29724 29663 0 -1 1077944384 992 13015 0 3 13 1 5 4 20 0 15 0 472678156 11084148736 22152 33554432000 4194304 4196468 140733098274400 140266725931376 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29851] ppid=29715 vsize=10824364 memory=1716 CPUtime=0.26 cores=1,3,5,7
/proc/29724/task/29851/stat : 29851 (java) S 29715 29724 29663 0 -1 1077944384 771 13015 0 3 17 0 5 4 20 0 15 0 472678156 11084148736 22152 33554432000 4194304 4196468 140733098274400 140266724878576 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29852] ppid=29715 vsize=10824364 memory=6024 CPUtime=0.28 cores=1,3,5,7
/proc/29724/task/29852/stat : 29852 (java) S 29715 29724 29663 0 -1 1077944384 956 13015 0 3 19 0 5 4 20 0 15 0 472678156 11084148736 22152 33554432000 4194304 4196468 140733098274400 140266723825776 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29853] ppid=29715 vsize=10824364 memory=11416 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29853/stat : 29853 (java) S 29715 29724 29663 0 -1 1077944384 3 13015 0 3 0 0 5 4 20 0 15 0 472678157 11084148736 22152 33554432000 4194304 4196468 140733098274400 140266244491488 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29855] ppid=29715 vsize=10824364 memory=78280 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29855/stat : 29855 (java) S 29715 29724 29663 0 -1 1077944384 1 13015 0 3 0 0 5 4 20 0 15 0 472678163 11084148736 22152 33554432000 4194304 4196468 140733098274400 140266722774192 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 88608 KiB
heavy processes:
[startup+12.7007 s]
/proc/loadavg: 0.57 0.14 0.09 9/229 29864
/proc/meminfo: memFree=203000/32770624 swapFree=66935816/67108860
[pid=29724] ppid=29715 vsize=10851096 memory=368272 CPUtime=14.53 cores=1,3,5,7
/proc/29724/stat : 29724 (java) S 29715 29724 29663 0 -1 1077944320 73297 13015 2 3 1410 34 5 4 20 0 15 0 472678017 11111522304 92068 33554432000 4194304 4196468 140733098274400 140733098256944 140267723718391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 1 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
/proc/29724/statm: 2712774 92068 3625 1 0 2674829 0
################
# More data... #
################
/proc/29724/task/29829/stat : 29829 (java) R 29715 29724 29663 0 -1 4202560 1383774 13015 2 3 234683 264 5 4 20 0 15 0 472678148 11111522304 432583 33554432000 4194304 4196468 140733098274400 140267695554544 140267342641613 0 4 0 16800975 0 0 0 -1 1 0 0 532 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29834] ppid=29715 vsize=10851096 memory=1730332 CPUtime=12.48 cores=1,3,5,7
/proc/29724/task/29834/stat : 29834 (java) S 29715 29724 29663 0 -1 1077944384 40638 13015 0 3 1181 58 5 4 20 0 15 0 472678150 11111522304 432583 33554432000 4194304 4196468 140733098274400 140267727960720 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29835] ppid=29715 vsize=10851096 memory=1730316 CPUtime=12.54 cores=1,3,5,7
/proc/29724/task/29835/stat : 29835 (java) S 29715 29724 29663 0 -1 1077944384 37060 13015 0 3 1187 58 5 4 20 0 15 0 472678150 11111522304 432583 33554432000 4194304 4196468 140733098274400 140267296786960 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29836] ppid=29715 vsize=10851096 memory=1730208 CPUtime=12.56 cores=1,3,5,7
/proc/29724/task/29836/stat : 29836 (java) S 29715 29724 29663 0 -1 1077944384 45055 13015 0 3 1189 58 5 4 20 0 15 0 472678150 11111522304 432583 33554432000 4194304 4196468 140733098274400 140267295734160 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29837] ppid=29715 vsize=10851096 memory=1730208 CPUtime=12.52 cores=1,3,5,7
/proc/29724/task/29837/stat : 29837 (java) S 29715 29724 29663 0 -1 1077944384 46203 13015 0 3 1181 62 5 4 20 0 15 0 472678150 11111522304 432583 33554432000 4194304 4196468 140733098274400 140267294681360 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29840] ppid=29715 vsize=10851096 memory=1730316 CPUtime=10.51 cores=1,3,5,7
/proc/29724/task/29840/stat : 29840 (java) S 29715 29724 29663 0 -1 1077944384 27900 13015 0 3 985 57 5 4 20 0 15 0 472678151 11111522304 432583 33554432000 4194304 4196468 140733098274400 140266726984560 140267723729538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29842] ppid=29715 vsize=10851096 memory=920 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29842/stat : 29842 (java) S 29715 29724 29663 0 -1 1077944384 15 13015 0 3 0 0 5 4 20 0 15 0 472678152 11111522304 432583 33554432000 4194304 4196468 140733098274400 140266652558944 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29843] ppid=29715 vsize=10851096 memory=56 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29843/stat : 29843 (java) S 29715 29724 29663 0 -1 1077944384 3 13015 0 3 0 0 5 4 20 0 15 0 472678152 11111522304 432583 33554432000 4194304 4196468 140733098274400 140266518340992 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29849] ppid=29715 vsize=10851096 memory=1730332 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29849/stat : 29849 (java) S 29715 29724 29663 0 -1 1077944384 3 13015 0 3 0 0 5 4 20 0 15 0 472678156 11111522304 432583 33554432000 4194304 4196468 140733098274400 140266278050128 140267723736987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29850] ppid=29715 vsize=10851096 memory=1730184 CPUtime=5.92 cores=1,3,5,7
/proc/29724/task/29850/stat : 29850 (java) S 29715 29724 29663 0 -1 1077944384 30271 13015 0 3 574 9 5 4 20 0 15 0 472678156 11111522304 432583 33554432000 4194304 4196468 140733098274400 140266725931376 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29851] ppid=29715 vsize=10851096 memory=1124 CPUtime=6.08 cores=1,3,5,7
/proc/29724/task/29851/stat : 29851 (java) S 29715 29724 29663 0 -1 1077944384 29268 13015 0 3 591 8 5 4 20 0 15 0 472678156 11111522304 432583 33554432000 4194304 4196468 140733098274400 140266724878576 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29852] ppid=29715 vsize=10851096 memory=1730332 CPUtime=4.55 cores=1,3,5,7
/proc/29724/task/29852/stat : 29852 (java) S 29715 29724 29663 0 -1 1077944384 39696 13015 0 3 438 8 5 4 20 0 15 0 472678156 11111522304 432583 33554432000 4194304 4196468 140733098274400 140266723825776 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29853] ppid=29715 vsize=10851096 memory=3512 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29853/stat : 29853 (java) S 29715 29724 29663 0 -1 1077944384 3 13015 0 3 0 0 5 4 20 0 15 0 472678157 11111522304 432583 33554432000 4194304 4196468 140733098274400 140266244491488 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29855] ppid=29715 vsize=10851096 memory=55320 CPUtime=1.49 cores=1,3,5,7
/proc/29724/task/29855/stat : 29855 (java) S 29715 29724 29663 0 -1 1077944384 1219 13015 0 3 64 76 5 4 20 0 15 0 472678163 11111522304 432583 33554432000 4194304 4196468 140733098274400 140266722774192 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
Current children cumulated CPU time: 2427.49 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1730332 KiB
[startup+2442.3 s]
/proc/loadavg: 1.45 1.27 1.20 4/228 30088
/proc/meminfo: memFree=232888/32770624 swapFree=66935816/67108860
[pid=29724] ppid=29715 vsize=10851096 memory=1731204 CPUtime=2488.51 cores=1,3,5,7
/proc/29724/stat : 29724 (java) S 29715 29724 29663 0 -1 1077944320 1700873 13015 2 3 248234 608 5 4 20 0 15 0 472678017 11111522304 432801 33554432000 4194304 4196468 140733098274400 140733098256944 140267723718391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 1 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
/proc/29724/statm: 2712774 432801 3636 1 0 2674829 0
[pid=29724/tid=29829] ppid=29715 vsize=10851096 memory=1731204 CPUtime=2408.86 cores=1,3,5,7
/proc/29724/task/29829/stat : 29829 (java) R 29715 29724 29663 0 -1 4202560 1395257 13015 2 3 240612 265 5 4 20 0 15 0 472678148 11111522304 432801 33554432000 4194304 4196468 140733098274400 140267695552992 140267344494685 0 4 0 16800975 0 0 0 -1 7 0 0 532 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29834] ppid=29715 vsize=10851096 memory=1731096 CPUtime=12.83 cores=1,3,5,7
/proc/29724/task/29834/stat : 29834 (java) S 29715 29724 29663 0 -1 1077944384 41349 13015 0 3 1215 59 5 4 20 0 15 0 472678150 11111522304 432801 33554432000 4194304 4196468 140733098274400 140267727960720 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29835] ppid=29715 vsize=10851096 memory=1730928 CPUtime=12.88 cores=1,3,5,7
/proc/29724/task/29835/stat : 29835 (java) S 29715 29724 29663 0 -1 1077944384 38422 13015 0 3 1220 59 5 4 20 0 15 0 472678150 11111522304 432801 33554432000 4194304 4196468 140733098274400 140267296786960 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29836] ppid=29715 vsize=10851096 memory=1730884 CPUtime=12.9 cores=1,3,5,7
/proc/29724/task/29836/stat : 29836 (java) S 29715 29724 29663 0 -1 1077944384 46436 13015 0 3 1222 59 5 4 20 0 15 0 472678150 11111522304 432801 33554432000 4194304 4196468 140733098274400 140267295734160 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29837] ppid=29715 vsize=10851096 memory=1731204 CPUtime=12.87 cores=1,3,5,7
/proc/29724/task/29837/stat : 29837 (java) S 29715 29724 29663 0 -1 1077944384 48139 13015 0 3 1215 63 5 4 20 0 15 0 472678150 11111522304 432801 33554432000 4194304 4196468 140733098274400 140267294681360 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29840] ppid=29715 vsize=10851096 memory=1731204 CPUtime=10.78 cores=1,3,5,7
/proc/29724/task/29840/stat : 29840 (java) S 29715 29724 29663 0 -1 1077944384 28544 13015 0 3 1011 58 5 4 20 0 15 0 472678151 11111522304 432801 33554432000 4194304 4196468 140733098274400 140266726984560 140267723729538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29842] ppid=29715 vsize=10851096 memory=1730184 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29842/stat : 29842 (java) S 29715 29724 29663 0 -1 1077944384 15 13015 0 3 0 0 5 4 20 0 15 0 472678152 11111522304 432801 33554432000 4194304 4196468 140733098274400 140266652558944 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29843] ppid=29715 vsize=10851096 memory=1731204 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29843/stat : 29843 (java) S 29715 29724 29663 0 -1 1077944384 3 13015 0 3 0 0 5 4 20 0 15 0 472678152 11111522304 432801 33554432000 4194304 4196468 140733098274400 140266518340992 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29849] ppid=29715 vsize=10851096 memory=1731204 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29849/stat : 29849 (java) S 29715 29724 29663 0 -1 1077944384 3 13015 0 3 0 0 5 4 20 0 15 0 472678156 11111522304 432801 33554432000 4194304 4196468 140733098274400 140266278050128 140267723736987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29850] ppid=29715 vsize=10851096 memory=1731096 CPUtime=5.92 cores=1,3,5,7
/proc/29724/task/29850/stat : 29850 (java) S 29715 29724 29663 0 -1 1077944384 30273 13015 0 3 574 9 5 4 20 0 15 0 472678156 11111522304 432801 33554432000 4194304 4196468 140733098274400 140266725931376 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29851] ppid=29715 vsize=10851096 memory=1731096 CPUtime=6.08 cores=1,3,5,7
/proc/29724/task/29851/stat : 29851 (java) S 29715 29724 29663 0 -1 1077944384 29270 13015 0 3 591 8 5 4 20 0 15 0 472678156 11111522304 432801 33554432000 4194304 4196468 140733098274400 140266724878576 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29852] ppid=29715 vsize=10851096 memory=1731204 CPUtime=4.55 cores=1,3,5,7
/proc/29724/task/29852/stat : 29852 (java) S 29715 29724 29663 0 -1 1077944384 39700 13015 0 3 438 8 5 4 20 0 15 0 472678156 11111522304 432801 33554432000 4194304 4196468 140733098274400 140266723825776 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29853] ppid=29715 vsize=10851096 memory=1731204 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29853/stat : 29853 (java) S 29715 29724 29663 0 -1 1077944384 3 13015 0 3 0 0 5 4 20 0 15 0 472678157 11111522304 432801 33554432000 4194304 4196468 140733098274400 140266244491488 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29855] ppid=29715 vsize=10851096 memory=1730928 CPUtime=1.52 cores=1,3,5,7
/proc/29724/task/29855/stat : 29855 (java) S 29715 29724 29663 0 -1 1077944384 1257 13015 0 3 66 77 5 4 20 0 15 0 472678163 11111522304 432801 33554432000 4194304 4196468 140733098274400 140266722774192 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
Current children cumulated CPU time: 2488.51 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1731204 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2473.3 s]
/proc/loadavg: 1.32 1.26 1.20 4/228 30112
/proc/meminfo: memFree=230564/32770624 swapFree=66935816/67108860
[pid=29724] ppid=29715 vsize=10851096 memory=1731480 CPUtime=2520.04 cores=1,3,5,7
/proc/29724/stat : 29724 (java) S 29715 29724 29663 0 -1 1077944320 1710296 13015 2 3 251381 614 5 4 20 0 15 0 472678017 11111522304 432870 33554432000 4194304 4196468 140733098274400 140733098256944 140267723718391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 1 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
/proc/29724/statm: 2712774 432870 3636 1 0 2674829 0
[pid=29724/tid=29829] ppid=29715 vsize=10851096 memory=7091592092399067473 CPUtime=2439.49 cores=1,3,5,7
/proc/29724/task/29829/stat : 29829 (java) R 29715 29724 29663 0 -1 4202560 1403019 13015 2 3 243674 266 5 4 20 0 15 0 472678148 11111522304 432870 33554432000 4194304 4196468 140733098274400 140267695553936 140267343407868 0 4 0 16800975 0 0 0 -1 5 0 0 532 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29834] ppid=29715 vsize=10851096 memory=1731480 CPUtime=13.01 cores=1,3,5,7
/proc/29724/task/29834/stat : 29834 (java) S 29715 29724 29663 0 -1 1077944384 42502 13015 0 3 1232 60 5 4 20 0 15 0 472678150 11111522304 432870 33554432000 4194304 4196468 140733098274400 140267727960720 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29835] ppid=29715 vsize=10851096 memory=1731480 CPUtime=13.07 cores=1,3,5,7
/proc/29724/task/29835/stat : 29835 (java) S 29715 29724 29663 0 -1 1077944384 38537 13015 0 3 1238 60 5 4 20 0 15 0 472678150 11111522304 432870 33554432000 4194304 4196468 140733098274400 140267296786960 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29836] ppid=29715 vsize=10851096 memory=1731480 CPUtime=13.09 cores=1,3,5,7
/proc/29724/task/29836/stat : 29836 (java) S 29715 29724 29663 0 -1 1077944384 46537 13015 0 3 1240 60 5 4 20 0 15 0 472678150 11111522304 432870 33554432000 4194304 4196468 140733098274400 140267295734160 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29837] ppid=29715 vsize=10851096 memory=1731444 CPUtime=13.05 cores=1,3,5,7
/proc/29724/task/29837/stat : 29837 (java) S 29715 29724 29663 0 -1 1077944384 48199 13015 0 3 1233 63 5 4 20 0 15 0 472678150 11111522304 432870 33554432000 4194304 4196468 140733098274400 140267294681360 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29840] ppid=29715 vsize=10851096 memory=1731480 CPUtime=10.93 cores=1,3,5,7
/proc/29724/task/29840/stat : 29840 (java) S 29715 29724 29663 0 -1 1077944384 28766 13015 0 3 1025 59 5 4 20 0 15 0 472678151 11111522304 432870 33554432000 4194304 4196468 140733098274400 140266726984560 140267723729538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29842] ppid=29715 vsize=10851096 memory=1731480 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29842/stat : 29842 (java) S 29715 29724 29663 0 -1 1077944384 15 13015 0 3 0 0 5 4 20 0 15 0 472678152 11111522304 432870 33554432000 4194304 4196468 140733098274400 140266652558944 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29843] ppid=29715 vsize=10851096 memory=1731480 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29843/stat : 29843 (java) S 29715 29724 29663 0 -1 1077944384 3 13015 0 3 0 0 5 4 20 0 15 0 472678152 11111522304 432870 33554432000 4194304 4196468 140733098274400 140266518340992 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29849] ppid=29715 vsize=10851096 memory=1731480 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29849/stat : 29849 (java) S 29715 29724 29663 0 -1 1077944384 3 13015 0 3 0 0 5 4 20 0 15 0 472678156 11111522304 432870 33554432000 4194304 4196468 140733098274400 140266278050128 140267723736987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29850] ppid=29715 vsize=10851096 memory=3512 CPUtime=5.92 cores=1,3,5,7
/proc/29724/task/29850/stat : 29850 (java) S 29715 29724 29663 0 -1 1077944384 30275 13015 0 3 574 9 5 4 20 0 15 0 472678156 11111522304 432870 33554432000 4194304 4196468 140733098274400 140266725931376 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29851] ppid=29715 vsize=10851096 memory=1124 CPUtime=6.08 cores=1,3,5,7
/proc/29724/task/29851/stat : 29851 (java) S 29715 29724 29663 0 -1 1077944384 29272 13015 0 3 591 8 5 4 20 0 15 0 472678156 11111522304 432870 33554432000 4194304 4196468 140733098274400 140266724878576 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29852] ppid=29715 vsize=10851096 memory=2828 CPUtime=4.55 cores=1,3,5,7
/proc/29724/task/29852/stat : 29852 (java) S 29715 29724 29663 0 -1 1077944384 39702 13015 0 3 438 8 5 4 20 0 15 0 472678156 11111522304 432870 33554432000 4194304 4196468 140733098274400 140266723825776 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29853] ppid=29715 vsize=10851096 memory=1124 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29853/stat : 29853 (java) S 29715 29724 29663 0 -1 1077944384 3 13015 0 3 0 0 5 4 20 0 15 0 472678157 11111522304 432870 33554432000 4194304 4196468 140733098274400 140266244491488 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29855] ppid=29715 vsize=10851096 memory=2828 CPUtime=1.55 cores=1,3,5,7
/proc/29724/task/29855/stat : 29855 (java) S 29715 29724 29663 0 -1 1077944384 1261 13015 0 3 67 79 5 4 20 0 15 0 472678163 11111522304 432870 33554432000 4194304 4196468 140733098274400 140266722774192 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1731480 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2473.39 s]
# the end of solver process 29724 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.89 s, system=6.2529 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2473.3 s]
/proc/loadavg: 1.32 1.26 1.20 4/228 30112
/proc/meminfo: memFree=230564/32770624 swapFree=66935816/67108860
[pid=29724] ppid=29715 vsize=10851096 memory=1731480 CPUtime=2520.04 cores=1,3,5,7
/proc/29724/stat : 29724 (java) S 29715 29724 29663 0 -1 1077944320 1710296 13015 2 3 251381 614 5 4 20 0 15 0 472678017 11111522304 432870 33554432000 4194304 4196468 140733098274400 140733098256944 140267723718391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 1 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
/proc/29724/statm: 2712774 432870 3636 1 0 2674829 0
[pid=29724/tid=29829] ppid=29715 vsize=10851096 memory=7091592092399067473 CPUtime=2439.49 cores=1,3,5,7
/proc/29724/task/29829/stat : 29829 (java) R 29715 29724 29663 0 -1 4202560 1403019 13015 2 3 243674 266 5 4 20 0 15 0 472678148 11111522304 432870 33554432000 4194304 4196468 140733098274400 140267695553936 140267343407868 0 4 0 16800975 0 0 0 -1 5 0 0 532 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29834] ppid=29715 vsize=10851096 memory=1731480 CPUtime=13.01 cores=1,3,5,7
/proc/29724/task/29834/stat : 29834 (java) S 29715 29724 29663 0 -1 1077944384 42502 13015 0 3 1232 60 5 4 20 0 15 0 472678150 11111522304 432870 33554432000 4194304 4196468 140733098274400 140267727960720 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29835] ppid=29715 vsize=10851096 memory=1731480 CPUtime=13.07 cores=1,3,5,7
/proc/29724/task/29835/stat : 29835 (java) S 29715 29724 29663 0 -1 1077944384 38537 13015 0 3 1238 60 5 4 20 0 15 0 472678150 11111522304 432870 33554432000 4194304 4196468 140733098274400 140267296786960 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29836] ppid=29715 vsize=10851096 memory=1731480 CPUtime=13.09 cores=1,3,5,7
/proc/29724/task/29836/stat : 29836 (java) S 29715 29724 29663 0 -1 1077944384 46537 13015 0 3 1240 60 5 4 20 0 15 0 472678150 11111522304 432870 33554432000 4194304 4196468 140733098274400 140267295734160 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29837] ppid=29715 vsize=10851096 memory=1731444 CPUtime=13.05 cores=1,3,5,7
/proc/29724/task/29837/stat : 29837 (java) S 29715 29724 29663 0 -1 1077944384 48199 13015 0 3 1233 63 5 4 20 0 15 0 472678150 11111522304 432870 33554432000 4194304 4196468 140733098274400 140267294681360 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29840] ppid=29715 vsize=10851096 memory=1731480 CPUtime=10.93 cores=1,3,5,7
/proc/29724/task/29840/stat : 29840 (java) S 29715 29724 29663 0 -1 1077944384 28766 13015 0 3 1025 59 5 4 20 0 15 0 472678151 11111522304 432870 33554432000 4194304 4196468 140733098274400 140266726984560 140267723729538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29842] ppid=29715 vsize=10851096 memory=1731480 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29842/stat : 29842 (java) S 29715 29724 29663 0 -1 1077944384 15 13015 0 3 0 0 5 4 20 0 15 0 472678152 11111522304 432870 33554432000 4194304 4196468 140733098274400 140266652558944 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29843] ppid=29715 vsize=10851096 memory=1731480 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29843/stat : 29843 (java) S 29715 29724 29663 0 -1 1077944384 3 13015 0 3 0 0 5 4 20 0 15 0 472678152 11111522304 432870 33554432000 4194304 4196468 140733098274400 140266518340992 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29849] ppid=29715 vsize=10851096 memory=1731480 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29849/stat : 29849 (java) S 29715 29724 29663 0 -1 1077944384 3 13015 0 3 0 0 5 4 20 0 15 0 472678156 11111522304 432870 33554432000 4194304 4196468 140733098274400 140266278050128 140267723736987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29850] ppid=29715 vsize=10851096 memory=3512 CPUtime=5.92 cores=1,3,5,7
/proc/29724/task/29850/stat : 29850 (java) S 29715 29724 29663 0 -1 1077944384 30275 13015 0 3 574 9 5 4 20 0 15 0 472678156 11111522304 432870 33554432000 4194304 4196468 140733098274400 140266725931376 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29851] ppid=29715 vsize=10851096 memory=1124 CPUtime=6.08 cores=1,3,5,7
/proc/29724/task/29851/stat : 29851 (java) S 29715 29724 29663 0 -1 1077944384 29272 13015 0 3 591 8 5 4 20 0 15 0 472678156 11111522304 432870 33554432000 4194304 4196468 140733098274400 140266724878576 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29852] ppid=29715 vsize=10851096 memory=2828 CPUtime=4.55 cores=1,3,5,7
/proc/29724/task/29852/stat : 29852 (java) S 29715 29724 29663 0 -1 1077944384 39702 13015 0 3 438 8 5 4 20 0 15 0 472678156 11111522304 432870 33554432000 4194304 4196468 140733098274400 140266723825776 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29853] ppid=29715 vsize=10851096 memory=1124 CPUtime=0.09 cores=1,3,5,7
/proc/29724/task/29853/stat : 29853 (java) S 29715 29724 29663 0 -1 1077944384 3 13015 0 3 0 0 5 4 20 0 15 0 472678157 11111522304 432870 33554432000 4194304 4196468 140733098274400 140266244491488 140267723728597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
[pid=29724/tid=29855] ppid=29715 vsize=10851096 memory=2828 CPUtime=1.55 cores=1,3,5,7
/proc/29724/task/29855/stat : 29855 (java) S 29715 29724 29663 0 -1 1077944384 1261 13015 0 3 67 79 5 4 20 0 15 0 472678163 11111522304 432870 33554432000 4194304 4196468 140733098274400 140266722774192 140267723729538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 10678272 140733098277475 140733098280117 140733098280117 140733098282959 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1731480 KiB
Child status: 143
Real time (s): 2473.39
CPU time (s): 2520.14
CPU user time (s): 2513.89
CPU system time (s): 6.2529
CPU usage (%): 101.89
Max. virtual memory (cumulated for all children) (KiB): 10933144
Max. memory (cumulated for all children) (KiB): 1735156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.89
system time used= 6.25291
maximum resident set size= 1735464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1727227
page faults= 5
swaps= 0
block input operations= 25376
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 286768
involuntary context switches= 8423
# summary of solver processes directly reported to runsolver:
# pid: 29724
# total CPU time (s): 2520.14
# total CPU user time (s): 2513.89
# total CPU system time (s): 6.2529
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3169 second user time and 24.067 second system time
The end
Begin job on node147 at 2019-09-20 10:19:53 IDJOB=4402826 IDBENCH=115827 IDSOLVER=2861 FILE ID=node147/4402826-1568967637 RUNJOBID= node147-1568967593-29695 PBS_JOBID= 21704613 Free space on /var/tmp= 13512 MiB SOLVER NAME= Concrete 3.12.3 BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-05-05-0.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402826-1568967637/watcher-4402826-1568967637 -o /var/tmp/evaluation-result-4402826-1568967637/solver-4402826-1568967637 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node147-1568967593-29695 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1455309010 HOME/instance-4402826-1568967637.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= da64694dd3ca715594c36c32a8b555a8 RANDOM SEED=1455309010 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: 218168 kB MemAvailable: 31790452 kB Buffers: 135372 kB Cached: 31378780 kB SwapCached: 68672 kB Active: 13886328 kB Inactive: 17697712 kB Active(anon): 2932 kB Inactive(anon): 116428 kB Active(file): 13883396 kB Inactive(file): 17581284 kB Unevictable: 109104 kB Mlocked: 109104 kB SwapTotal: 67108860 kB SwapFree: 66935816 kB Dirty: 22412 kB Writeback: 0 kB AnonPages: 112328 kB Mapped: 51944 kB Shmem: 40768 kB Slab: 564652 kB SReclaimable: 536064 kB SUnreclaim: 28588 kB KernelStack: 3360 kB PageTables: 5444 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 /var/tmp at the end= 13440 MiB End job on node147 at 2019-09-20 11:01:12