Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Concrete 3.12.2 | ? (TO) | 2520.04 | 2471.14 |
Name | RectPacking/RectPacking-m1-perf/ RectPacking-perfect-012.xml |
MD5SUM | 2f6e926eec9d3271c32e6368d6cce3f2 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 18.0419 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 46 |
Number of constraints | 49 |
Number of domains | 1 |
Minimum domain size | 140 |
Maximum domain size | 140 |
Distribution of domain sizes | [{"size":140,"count":46}] |
Minimum variable degree | 2 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":2,"count":44},{"degree":3,"count":1},{"degree":4,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 46 |
Distribution of constraint arities | [{"arity":1,"count":47},{"arity":2,"count":1},{"arity":46,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 48 |
Distribution of constraint types | [{"type":"intension","count":48},{"type":"noOverlap","count":1}] |
Optimization problem | NO |
Type of objective |
0.79/0.60 c Concrete v3.12.2.1568380929293 running 2520.00/2471.12 Exception in thread "main" java.util.concurrent.TimeoutException 2520.00/2471.12 at concrete.MAC.mac(MAC.scala:192) 2520.00/2471.12 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265) 2520.00/2471.12 at scala.util.Try$.apply(Try.scala:212) 2520.00/2471.12 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2520.00/2471.12 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2520.00/2471.12 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2520.00/2471.12 at concrete.MAC.oneRun(MAC.scala:265) 2520.00/2471.12 at concrete.MAC.nextSolution(MAC.scala:284) 2520.00/2471.12 at concrete.MAC.$anonfun$nextSolution$7(MAC.scala:350) 2520.00/2471.12 at concrete.ProblemState.map(ProblemState.scala:238) 2520.00/2471.12 at concrete.ProblemState.map(ProblemState.scala:212) 2520.00/2471.12 at concrete.MAC.nextSolution(MAC.scala:348) 2520.00/2471.12 at concrete.Solver.hasNext(Solver.scala:160) 2520.00/2471.12 at scala.collection.Iterator.nextOption(Iterator.scala:104) 2520.00/2471.12 at scala.collection.Iterator.nextOption$(Iterator.scala:104) 2520.00/2471.12 at concrete.Solver.nextOption(Solver.scala:67) 2520.00/2471.12 at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:78) 2520.00/2471.12 at scala.util.Success.map(Try.scala:264) 2520.00/2471.12 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.00/2471.12 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2520.00/2471.12 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.00/2471.12 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.00/2471.12 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.00/2471.12 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2520.00/2471.12 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2520.00/2471.12 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2520.00/2471.12 at scala.App.$anonfun$main$1(App.scala:75) 2520.00/2471.12 at scala.App.$anonfun$main$1$adapted(App.scala:75) 2520.00/2471.12 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2520.00/2471.12 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2520.00/2471.12 at scala.collection.AbstractIterable.foreach(Iterable.scala:904) 2520.00/2471.12 at scala.App.main(App.scala:75) 2520.00/2471.12 at scala.App.main$(App.scala:73) 2520.00/2471.12 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.00/2471.12 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.00/2471.12 s UNKNOWN
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: 16375 MiB (13411 MiB free) memory of node 1: 16384 MiB (13898 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395813-1568401424/watcher-4395813-1568401424 -o /tmp/evaluation-result-4395813-1568401424/solver-4395813-1568401424 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323907941-3248 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=535906377 HOME/instance-4395813-1568401424.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=5655, runsolver pid=5652 [startup+0.100225 s]* /proc/loadavg: 1.48 1.50 1.50 3/215 5708 /proc/meminfo: memFree=27960840/32770688 swapFree=66919992/67108860 [pid=5655] ppid=5652 vsize=9972712 memory=18068 CPUtime=0.09 cores=4-7 /proc/5655/stat : 5655 (java) S 5652 5655 804 0 -1 1077944320 4217 13544 0 0 0 1 5 3 20 0 6 0 416148724 10212057088 4451 33554432000 4194304 4196468 140731691205264 140731691187808 139970482892535 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 /proc/5655/statm: 2493178 4517 1896 1 0 2481616 0 [pid=5655/tid=5708] ppid=5652 vsize=9972712 memory=7022364594140610616 CPUtime=0.08 cores=4-7 /proc/5655/task/5708/stat : 5708 (java) R 5652 5655 804 0 -1 4202560 2073 13544 0 0 0 0 5 3 20 0 6 0 416148734 10212057088 4517 33554432000 4194304 4196468 140731691205264 139970454729296 139970482914461 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5709] ppid=5652 vsize=9972712 memory=364 CPUtime=0.08 cores=4-7 /proc/5655/task/5709/stat : 5709 (java) S 5652 5655 804 0 -1 1077944384 1 13544 0 0 0 0 5 3 20 0 6 0 416148735 10212057088 4517 33554432000 4194304 4196468 140731691205264 139970487134480 139970482902741 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5710] ppid=5652 vsize=9972712 memory=140684593661523 CPUtime=0.08 cores=4-7 /proc/5655/task/5710/stat : 5710 (java) S 5652 5655 804 0 -1 1077944384 1 13544 0 0 0 0 5 3 20 0 6 0 416148735 10212057088 4517 33554432000 4194304 4196468 140731691205264 139970375408016 139970482902741 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5711] ppid=5652 vsize=9972712 memory=0 CPUtime=0.08 cores=4-7 /proc/5655/task/5711/stat : 5711 (java) S 5652 5655 804 0 -1 1077944384 2 13544 0 0 0 0 5 3 20 0 6 0 416148735 10212057088 4517 33554432000 4194304 4196468 140731691205264 139970374355472 139970482902741 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5712] ppid=5652 vsize=9972712 memory=-1 CPUtime=0.08 cores=4-7 /proc/5655/task/5712/stat : 5712 (java) S 5652 5655 804 0 -1 1077944384 2 13544 0 0 0 0 5 3 20 0 6 0 416148735 10212057088 4517 33554432000 4194304 4196468 140731691205264 139970373302928 139970482902741 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 9972712 KiB Current children cumulated memory: 18068 KiB [startup+0.211336 s]* /proc/loadavg: 1.48 1.50 1.50 4/228 5721 /proc/meminfo: memFree=27940148/32770688 swapFree=66919992/67108860 [pid=5655] ppid=5652 vsize=10819664 memory=37936 CPUtime=0.26 cores=4-7 /proc/5655/stat : 5655 (java) S 5652 5655 804 0 -1 1077944320 6827 13544 0 0 16 2 5 3 20 0 15 0 416148724 11079335936 9484 33554432000 4194304 4196468 140731691205264 140731691187808 139970482892535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 /proc/5655/statm: 2704916 9484 3164 1 0 2667149 0 [pid=5655/tid=5708] ppid=5652 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=4-7 /proc/5655/task/5708/stat : 5708 (java) R 5652 5655 804 0 -1 4202560 3321 13544 0 0 10 1 5 3 20 0 15 0 416148734 11079335936 9484 33554432000 4194304 4196468 140731691205264 139970454725248 139970466079344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5709] ppid=5652 vsize=10819664 memory=364 CPUtime=0.08 cores=4-7 /proc/5655/task/5709/stat : 5709 (java) S 5652 5655 804 0 -1 1077944384 1 13544 0 0 0 0 5 3 20 0 15 0 416148735 11079335936 9484 33554432000 4194304 4196468 140731691205264 139970487134480 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5710] ppid=5652 vsize=10819664 memory=140684593661523 CPUtime=0.08 cores=4-7 /proc/5655/task/5710/stat : 5710 (java) S 5652 5655 804 0 -1 1077944384 1 13544 0 0 0 0 5 3 20 0 15 0 416148735 11079335936 9484 33554432000 4194304 4196468 140731691205264 139970375408016 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5711] ppid=5652 vsize=10819664 memory=0 CPUtime=0.08 cores=4-7 /proc/5655/task/5711/stat : 5711 (java) S 5652 5655 804 0 -1 1077944384 2 13544 0 0 0 0 5 3 20 0 15 0 416148735 11079335936 9484 33554432000 4194304 4196468 140731691205264 139970374355472 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5712] ppid=5652 vsize=10819664 memory=-1 CPUtime=0.08 cores=4-7 /proc/5655/task/5712/stat : 5712 (java) S 5652 5655 804 0 -1 1077944384 2 13544 0 0 0 0 5 3 20 0 15 0 416148735 11079335936 9484 33554432000 4194304 4196468 140731691205264 139970373302928 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5713] ppid=5652 vsize=10819664 memory=140684593649280 CPUtime=0.08 cores=4-7 /proc/5655/task/5713/stat : 5713 (java) S 5652 5655 804 0 -1 1077944384 2 13544 0 0 0 0 5 3 20 0 15 0 416148736 11079335936 9484 33554432000 4194304 4196468 140731691205264 139969942198768 139970482903682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5714] ppid=5652 vsize=10819664 memory=-1 CPUtime=0.08 cores=4-7 /proc/5655/task/5714/stat : 5714 (java) S 5652 5655 804 0 -1 1077944384 33 13544 0 0 0 0 5 3 20 0 15 0 416148737 11079335936 9484 33554432000 4194304 4196468 140731691205264 139969941144992 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5715] ppid=5652 vsize=10819664 memory=0 CPUtime=0.08 cores=4-7 /proc/5655/task/5715/stat : 5715 (java) S 5652 5655 804 0 -1 1077944384 1 13544 0 0 0 0 5 3 20 0 15 0 416148737 11079335936 9484 33554432000 4194304 4196468 140731691205264 139969360291312 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5716] ppid=5652 vsize=10819664 memory=0 CPUtime=0.08 cores=4-7 /proc/5655/task/5716/stat : 5716 (java) S 5652 5655 804 0 -1 1077944384 3 13544 0 0 0 0 5 3 20 0 15 0 416148740 11079335936 9484 33554432000 4194304 4196468 140731691205264 139969052891856 139970482911131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5717] ppid=5652 vsize=10819664 memory=0 CPUtime=0.09 cores=4-7 /proc/5655/task/5717/stat : 5717 (java) S 5652 5655 804 0 -1 1077944384 466 13544 0 0 1 0 5 3 20 0 15 0 416148740 11079335936 9484 33554432000 4194304 4196468 140731691205264 139969907587056 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5718] ppid=5652 vsize=10819664 memory=-1 CPUtime=0.08 cores=4-7 /proc/5655/task/5718/stat : 5718 (java) S 5652 5655 804 0 -1 1077944384 185 13544 0 0 0 0 5 3 20 0 15 0 416148740 11079335936 9484 33554432000 4194304 4196468 140731691205264 139969906534512 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5719] ppid=5652 vsize=10819664 memory=140684593649280 CPUtime=0.1 cores=4-7 /proc/5655/task/5719/stat : 5719 (java) S 5652 5655 804 0 -1 1077944384 617 13544 0 0 2 0 5 3 20 0 15 0 416148740 11079335936 9484 33554432000 4194304 4196468 140731691205264 139969905481968 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5720] ppid=5652 vsize=10819664 memory=-1 CPUtime=0.08 cores=4-7 /proc/5655/task/5720/stat : 5720 (java) S 5652 5655 804 0 -1 1077944384 3 13544 0 0 0 0 5 3 20 0 15 0 416148740 11079335936 9484 33554432000 4194304 4196468 140731691205264 139969019333216 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5721] ppid=5652 vsize=10819664 memory=140684593649280 CPUtime=0.08 cores=4-7 /proc/5655/task/5721/stat : 5721 (java) S 5652 5655 804 0 -1 1077944384 1 13544 0 0 0 0 5 3 20 0 15 0 416148740 11079335936 9484 33554432000 4194304 4196468 140731691205264 139969904429872 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 Current children cumulated CPU time: 0.26 s Current children cumulated vsize: 10819664 KiB Current children cumulated memory: 37936 KiB [startup+0.311544 s]* /proc/loadavg: 1.48 1.50 1.50 3/228 5721 /proc/meminfo: memFree=27926920/32770688 swapFree=66919992/67108860 [pid=5655] ppid=5652 vsize=10820148 memory=49140 CPUtime=0.4 cores=4-7 /proc/5655/stat : 5655 (java) S 5652 5655 804 0 -1 1077944320 10518 13544 0 0 29 3 5 3 20 0 15 0 416148724 11079831552 12285 33554432000 4194304 4196468 140731691205264 140731691187808 139970482892535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 /proc/5655/statm: 2705037 12285 3293 1 0 2667149 0 [pid=5655/tid=5708] ppid=5652 vsize=10820148 memory=1398722017469774279 CPUtime=0.29 cores=4-7 /proc/5655/task/5708/stat : 5708 (java) R 5652 5655 804 0 -1 4202560 6977 13544 0 0 19 2 5 3 20 0 15 0 416148734 11079831552 12285 33554432000 4194304 4196468 140731691205264 139970454692448 139970464456095 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5709] ppid=5652 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/5655/task/5709/stat : 5709 (java) S 5652 5655 804 0 -1 1077944384 1 13544 0 0 0 0 5 3 20 0 15 0 416148735 11079831552 12285 33554432000 4194304 4196468 140731691205264 139970487134480 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5710] ppid=5652 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/5655/task/5710/stat : 5710 (java) S 5652 5655 804 0 -1 1077944384 1 13544 0 0 0 0 5 3 20 0 15 0 416148735 11079831552 12285 33554432000 4194304 4196468 140731691205264 139970375408016 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5711] ppid=5652 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/5655/task/5711/stat : 5711 (java) S 5652 5655 804 0 -1 1077944384 2 13544 0 0 0 0 5 3 20 0 15 0 416148735 11079831552 12285 33554432000 4194304 4196468 140731691205264 139970374355472 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5712] ppid=5652 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/5655/task/5712/stat : 5712 (java) S 5652 5655 804 0 -1 1077944384 2 13544 0 0 0 0 5 3 20 0 15 0 416148735 11079831552 12285 33554432000 4194304 4196468 140731691205264 139970373302928 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5713] ppid=5652 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/5655/task/5713/stat : 5713 (java) S 5652 5655 804 0 -1 1077944384 2 13544 0 0 0 0 5 3 20 0 15 0 416148736 11079831552 12285 33554432000 4194304 4196468 140731691205264 139969942198768 139970482903682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5714] ppid=5652 vsize=10820148 memory=-1 CPUtime=0.08 cores=4-7 /proc/5655/task/5714/stat : 5714 (java) S 5652 5655 804 0 -1 1077944384 33 13544 0 0 0 0 5 3 20 0 15 0 416148737 11079831552 12285 33554432000 4194304 4196468 140731691205264 139969941144992 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5715] ppid=5652 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/5655/task/5715/stat : 5715 (java) S 5652 5655 804 0 -1 1077944384 1 13544 0 0 0 0 5 3 20 0 15 0 416148737 11079831552 12285 33554432000 4194304 4196468 140731691205264 139969360291312 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5716] ppid=5652 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/5655/task/5716/stat : 5716 (java) S 5652 5655 804 0 -1 1077944384 3 13544 0 0 0 0 5 3 20 0 15 0 416148740 11079831552 12285 33554432000 4194304 4196468 140731691205264 139969052891856 139970482911131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5717] ppid=5652 vsize=10820148 memory=0 CPUtime=0.1 cores=4-7 /proc/5655/task/5717/stat : 5717 (java) S 5652 5655 804 0 -1 1077944384 467 13544 0 0 2 0 5 3 20 0 15 0 416148740 11079831552 12285 33554432000 4194304 4196468 140731691205264 139969907587056 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5718] ppid=5652 vsize=10820148 memory=-1 CPUtime=0.09 cores=4-7 /proc/5655/task/5718/stat : 5718 (java) S 5652 5655 804 0 -1 1077944384 194 13544 0 0 1 0 5 3 20 0 15 0 416148740 11079831552 12285 33554432000 4194304 4196468 140731691205264 139969906534512 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5719] ppid=5652 vsize=10820148 memory=140684593649280 CPUtime=0.13 cores=4-7 /proc/5655/task/5719/stat : 5719 (java) S 5652 5655 804 0 -1 1077944384 630 13544 0 0 5 0 5 3 20 0 15 0 416148740 11079831552 12285 33554432000 4194304 4196468 140731691205264 139969905481968 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5720] ppid=5652 vsize=10820148 memory=-1 CPUtime=0.08 cores=4-7 /proc/5655/task/5720/stat : 5720 (java) S 5652 5655 804 0 -1 1077944384 3 13544 0 0 0 0 5 3 20 0 15 0 416148740 11079831552 12285 33554432000 4194304 4196468 140731691205264 139969019333216 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5721] ppid=5652 vsize=10820148 memory=140684593649280 CPUtime=0.08 cores=4-7 /proc/5655/task/5721/stat : 5721 (java) S 5652 5655 804 0 -1 1077944384 1 13544 0 0 0 0 5 3 20 0 15 0 416148740 11079831552 12285 33554432000 4194304 4196468 140731691205264 139969904429872 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 Current children cumulated CPU time: 0.4 s Current children cumulated vsize: 10820148 KiB Current children cumulated memory: 49140 KiB [startup+0.701029 s] /proc/loadavg: 1.48 1.50 1.50 3/228 5721 /proc/meminfo: memFree=27915788/32770688 swapFree=66919992/67108860 [pid=5655] ppid=5652 vsize=10822312 memory=75704 CPUtime=1.11 cores=4-7 /proc/5655/stat : 5655 (java) S 5652 5655 804 0 -1 1077944320 14296 13544 0 0 97 6 5 3 20 0 15 0 416148724 11082047488 18926 33554432000 4194304 4196468 140731691205264 140731691187808 139970482892535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 /proc/5655/statm: 2705578 18926 3493 1 0 2667661 0 [pid=5655/tid=5708] ppid=5652 vsize=10822312 memory=5795117241467496816 CPUtime=0.67 cores=4-7 /proc/5655/task/5708/stat : 5708 (java) R 5652 5655 804 0 -1 4202560 9646 13544 0 0 55 4 5 3 20 0 15 0 416148734 11082047488 18926 33554432000 4194304 4196468 140731691205264 139970454720864 139970466973022 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5709] ppid=5652 vsize=10822312 memory=47008 CPUtime=0.08 cores=4-7 /proc/5655/task/5709/stat : 5709 (java) S 5652 5655 804 0 -1 1077944384 1 13544 0 0 0 0 5 3 20 0 15 0 416148735 11082047488 18926 33554432000 4194304 4196468 140731691205264 139970487134480 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5710] ppid=5652 vsize=10822312 memory=2452 CPUtime=0.08 cores=4-7 /proc/5655/task/5710/stat : 5710 (java) S 5652 5655 804 0 -1 1077944384 1 13544 0 0 0 0 5 3 20 0 15 0 416148735 11082047488 18926 33554432000 4194304 4196468 140731691205264 139970375408016 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5711] ppid=5652 vsize=10822312 memory=281368944734528 CPUtime=0.08 cores=4-7 /proc/5655/task/5711/stat : 5711 (java) S 5652 5655 804 0 -1 1077944384 2 13544 0 0 0 0 5 3 20 0 15 0 416148735 11082047488 18926 33554432000 4194304 4196468 140731691205264 139970374355472 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5712] ppid=5652 vsize=10822312 memory=3624 CPUtime=0.08 cores=4-7 /proc/5655/task/5712/stat : 5712 (java) S 5652 5655 804 0 -1 1077944384 2 13544 0 0 0 0 5 3 20 0 15 0 416148735 11082047488 18926 33554432000 4194304 4196468 140731691205264 139970373302928 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5713] ppid=5652 vsize=10822312 memory=8897 CPUtime=0.08 cores=4-7 /proc/5655/task/5713/stat : 5713 (java) S 5652 5655 804 0 -1 1077944384 5 13544 0 0 0 0 5 3 20 0 15 0 416148736 11082047488 18926 33554432000 4194304 4196468 140731691205264 139969942198768 139970482903682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5714] ppid=5652 vsize=10822312 memory=4420 CPUtime=0.08 cores=4-7 /proc/5655/task/5714/stat : 5714 (java) S 5652 5655 804 0 -1 1077944384 33 13544 0 0 0 0 5 3 20 0 15 0 416148737 11082047488 18926 33554432000 4194304 4196468 140731691205264 139969941144992 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5715] ppid=5652 vsize=10822312 memory=6628 CPUtime=0.08 cores=4-7 /proc/5655/task/5715/stat : 5715 (java) S 5652 5655 804 0 -1 1077944384 1 13544 0 0 0 0 5 3 20 0 15 0 416148737 11082047488 18926 33554432000 4194304 4196468 140731691205264 139969360291312 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5716] ppid=5652 vsize=10822312 memory=6660 CPUtime=0.08 cores=4-7 /proc/5655/task/5716/stat : 5716 (java) S 5652 5655 804 0 -1 1077944384 3 13544 0 0 0 0 5 3 20 0 15 0 416148740 11082047488 18926 33554432000 4194304 4196468 140731691205264 139969052891856 139970482911131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5717] ppid=5652 vsize=10822312 memory=3472328296227418193 CPUtime=0.22 cores=4-7 /proc/5655/task/5717/stat : 5717 (java) R 5652 5655 804 0 -1 4202560 990 13544 0 0 14 0 5 3 20 0 15 0 416148740 11082047488 18926 33554432000 4194304 4196468 140731691205264 139969907573600 139970464436224 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5718] ppid=5652 vsize=10822312 memory=0 CPUtime=0.18 cores=4-7 /proc/5655/task/5718/stat : 5718 (java) R 5652 5655 804 0 -1 4202560 582 13544 0 0 10 0 5 3 20 0 15 0 416148740 11082047488 18926 33554432000 4194304 4196468 140731691205264 139969906521744 139970464437214 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5719] ppid=5652 vsize=10822312 memory=0 CPUtime=0.25 cores=4-7 /proc/5655/task/5719/stat : 5719 (java) S 5652 5655 804 0 -1 1077944384 824 13544 0 0 17 0 5 3 20 0 15 0 416148740 11082047488 18926 33554432000 4194304 4196468 140731691205264 139969905481968 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5720] ppid=5652 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7 /proc/5655/task/5720/stat : 5720 (java) S 5652 5655 804 0 -1 1077944384 3 13544 0 0 0 0 5 3 20 0 15 0 416148740 11082047488 18926 33554432000 4194304 4196468 140731691205264 139969019333216 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5721] ppid=5652 vsize=10822312 memory=-7749696028082845524 CPUtime=0.08 cores=4-7 /proc/5655/task/5721/stat : 5721 (java) S 5652 5655 804 0 -1 1077944384 1 13544 0 0 0 0 5 3 20 0 15 0 416148740 11082047488 18991 33554432000 4194304 4196468 140731691205264 139969904429872 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 Current children cumulated CPU time: 1.11 s Current children cumulated vsize: 10822312 KiB Current children cumulated memory: 75704 KiB [startup+1.50078 s] /proc/loadavg: 1.48 1.50 1.50 3/228 5721 /proc/meminfo: memFree=27879472/32770688 swapFree=66919992/67108860 [pid=5655] ppid=5652 vsize=10834676 memory=168212 CPUtime=2.4 cores=4-7 /proc/5655/stat : 5655 (java) S 5652 5655 804 0 -1 1077944320 20921 13544 0 0 222 10 5 3 20 0 15 0 416148724 11094708224 42053 33554432000 4194304 4196468 140731691205264 140731691187808 139970482892535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 /proc/5655/statm: 2708669 42053 3572 1 0 2670733 0 [pid=5655/tid=5708] ppid=5652 vsize=10834676 memory=0 CPUtime=1.43 cores=4-7 /proc/5655/task/5708/stat : 5708 (java) R 5652 5655 804 0 -1 4202560 14602 13544 0 0 129 6 5 3 20 0 15 0 416148734 11094708224 42053 33554432000 4194304 4196468 140731691205264 139970454721376 139970466973022 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5709] ppid=5652 vsize=10834676 memory=281368945160384 CPUtime=0.09 cores=4-7 /proc/5655/task/5709/stat : 5709 (java) S 5652 5655 804 0 -1 1077944384 316 13544 0 0 1 0 5 3 20 0 15 0 416148735 11094708224 42053 33554432000 4194304 4196468 140731691205264 139970487134480 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5710] ppid=5652 vsize=10834676 memory=3472328296227418193 CPUtime=0.08 cores=4-7 /proc/5655/task/5710/stat : 5710 (java) S 5652 5655 804 0 -1 1077944384 27 13544 0 0 0 0 5 3 20 0 15 0 416148735 11094708224 42053 33554432000 4194304 4196468 140731691205264 139970375408016 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5711] ppid=5652 vsize=10834676 memory=0 CPUtime=0.09 cores=4-7 /proc/5655/task/5711/stat : 5711 (java) S 5652 5655 804 0 -1 1077944384 59 13544 0 0 1 0 5 3 20 0 15 0 416148735 11094708224 42053 33554432000 4194304 4196468 140731691205264 139970374355472 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5712] ppid=5652 vsize=10834676 memory=0 CPUtime=0.09 cores=4-7 /proc/5655/task/5712/stat : 5712 (java) S 5652 5655 804 0 -1 1077944384 64 13544 0 0 1 0 5 3 20 0 15 0 416148735 11094708224 42053 33554432000 4194304 4196468 140731691205264 139970373302928 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5713] ppid=5652 vsize=10834676 memory=0 CPUtime=0.09 cores=4-7 /proc/5655/task/5713/stat : 5713 (java) S 5652 5655 804 0 -1 1077944384 178 13544 0 0 1 0 5 3 20 0 15 0 416148736 11094708224 42053 33554432000 4194304 4196468 140731691205264 139969942198768 139970482903682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5714] ppid=5652 vsize=10834676 memory=-7749696028082845524 CPUtime=0.08 cores=4-7 /proc/5655/task/5714/stat : 5714 (java) S 5652 5655 804 0 -1 1077944384 33 13544 0 0 0 0 5 3 20 0 15 0 416148737 11094708224 42053 33554432000 4194304 4196468 140731691205264 139969941145056 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5715] ppid=5652 vsize=10834676 memory=55 CPUtime=0.08 cores=4-7 /proc/5655/task/5715/stat : 5715 (java) S 5652 5655 804 0 -1 1077944384 2 13544 0 0 0 0 5 3 20 0 15 0 416148737 11094708224 42053 33554432000 4194304 4196468 140731691205264 139969360291312 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5716] ppid=5652 vsize=10834676 memory=8 CPUtime=0.08 cores=4-7 /proc/5655/task/5716/stat : 5716 (java) S 5652 5655 804 0 -1 1077944384 3 13544 0 0 0 0 5 3 20 0 15 0 416148740 11094708224 42053 33554432000 4194304 4196468 140731691205264 139969052891856 139970482911131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5717] ppid=5652 vsize=10834676 memory=281368944757888 CPUtime=0.37 cores=4-7 /proc/5655/task/5717/stat : 5717 (java) S 5652 5655 804 0 -1 1077944384 1238 13544 0 0 29 0 5 3 20 0 15 0 416148740 11094708224 42053 33554432000 4194304 4196468 140731691205264 139969907587056 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5718] ppid=5652 vsize=10834676 memory=0 CPUtime=0.3 cores=4-7 /proc/5655/task/5718/stat : 5718 (java) R 5652 5655 804 0 -1 1077944384 855 13544 0 0 21 1 5 3 20 0 15 0 416148740 11094708224 42053 33554432000 4194304 4196468 140731691205264 139969906534512 139970482903682 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5719] ppid=5652 vsize=10834676 memory=0 CPUtime=0.42 cores=4-7 /proc/5655/task/5719/stat : 5719 (java) R 5652 5655 804 0 -1 4202560 1336 13544 0 0 34 0 5 3 20 0 15 0 416148740 11094708224 42053 33554432000 4194304 4196468 140731691205264 139969905481968 139970464302543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5720] ppid=5652 vsize=10834676 memory=0 CPUtime=0.08 cores=4-7 /proc/5655/task/5720/stat : 5720 (java) S 5652 5655 804 0 -1 1077944384 3 13544 0 0 0 0 5 3 20 0 15 0 416148740 11094708224 42053 33554432000 4194304 4196468 140731691205264 139969019333216 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5721] ppid=5652 vsize=10834676 memory=0 CPUtime=0.08 cores=4-7 /proc/5655/task/5721/stat : 5721 (java) S 5652 5655 804 0 -1 1077944384 1 13544 0 0 0 0 5 3 20 0 15 0 416148740 11094708224 42053 33554432000 4194304 4196468 140731691205264 139969904429872 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 Current children cumulated CPU time: 2.4 s Current children cumulated vsize: 10834676 KiB ################ # More data... # ################ /proc/5655/task/5708/stat : 5708 (java) R 5652 5655 804 0 -1 4202560 74112 13544 0 0 235323 56 5 3 20 0 15 0 416148734 11107311616 249316 33554432000 4194304 4196468 140731691205264 139970454728064 139970061966862 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5709] ppid=5652 vsize=10846984 memory=0 CPUtime=11.77 cores=4-7 /proc/5655/task/5709/stat : 5709 (java) S 5652 5655 804 0 -1 1077944384 15386 13544 0 0 1112 57 5 3 20 0 15 0 416148735 11107311616 249316 33554432000 4194304 4196468 140731691205264 139970487134480 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5710] ppid=5652 vsize=10846984 memory=997264 CPUtime=11.79 cores=4-7 /proc/5655/task/5710/stat : 5710 (java) S 5652 5655 804 0 -1 1077944384 16994 13544 0 0 1111 60 5 3 20 0 15 0 416148735 11107311616 249316 33554432000 4194304 4196468 140731691205264 139970375408016 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5711] ppid=5652 vsize=10846984 memory=997264 CPUtime=11.81 cores=4-7 /proc/5655/task/5711/stat : 5711 (java) S 5652 5655 804 0 -1 1077944384 10192 13544 0 0 1110 63 5 3 20 0 15 0 416148735 11107311616 249316 33554432000 4194304 4196468 140731691205264 139970374355472 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5712] ppid=5652 vsize=10846984 memory=997264 CPUtime=11.79 cores=4-7 /proc/5655/task/5712/stat : 5712 (java) S 5652 5655 804 0 -1 1077944384 11710 13544 0 0 1110 61 5 3 20 0 15 0 416148735 11107311616 249316 33554432000 4194304 4196468 140731691205264 139970373302928 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5713] ppid=5652 vsize=10846984 memory=997264 CPUtime=11.66 cores=4-7 /proc/5655/task/5713/stat : 5713 (java) S 5652 5655 804 0 -1 1077944384 15804 13544 0 0 1102 56 5 3 20 0 15 0 416148736 11107311616 249316 33554432000 4194304 4196468 140731691205264 139969942198768 139970482903682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5714] ppid=5652 vsize=10846984 memory=997264 CPUtime=0.08 cores=4-7 /proc/5655/task/5714/stat : 5714 (java) S 5652 5655 804 0 -1 1077944384 40 13544 0 0 0 0 5 3 20 0 15 0 416148737 11107311616 249316 33554432000 4194304 4196468 140731691205264 139969941145056 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5715] ppid=5652 vsize=10846984 memory=997264 CPUtime=0.08 cores=4-7 /proc/5655/task/5715/stat : 5715 (java) S 5652 5655 804 0 -1 1077944384 5 13544 0 0 0 0 5 3 20 0 15 0 416148737 11107311616 249316 33554432000 4194304 4196468 140731691205264 139969360291328 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5716] ppid=5652 vsize=10846984 memory=997264 CPUtime=0.08 cores=4-7 /proc/5655/task/5716/stat : 5716 (java) S 5652 5655 804 0 -1 1077944384 3 13544 0 0 0 0 5 3 20 0 15 0 416148740 11107311616 249316 33554432000 4194304 4196468 140731691205264 139969052891856 139970482911131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5717] ppid=5652 vsize=10846984 memory=14008 CPUtime=6.38 cores=4-7 /proc/5655/task/5717/stat : 5717 (java) S 5652 5655 804 0 -1 1077944384 52391 13544 0 0 623 7 5 3 20 0 15 0 416148740 11107311616 249316 33554432000 4194304 4196468 140731691205264 139969907587056 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5718] ppid=5652 vsize=10846984 memory=997264 CPUtime=5.78 cores=4-7 /proc/5655/task/5718/stat : 5718 (java) S 5652 5655 804 0 -1 1077944384 44727 13544 0 0 563 7 5 3 20 0 15 0 416148740 11107311616 249316 33554432000 4194304 4196468 140731691205264 139969906534512 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5719] ppid=5652 vsize=10846984 memory=7741246195562407782 CPUtime=3.46 cores=4-7 /proc/5655/task/5719/stat : 5719 (java) S 5652 5655 804 0 -1 1077944384 55574 13544 0 0 330 8 5 3 20 0 15 0 416148740 11107311616 249316 33554432000 4194304 4196468 140731691205264 139969905481968 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5720] ppid=5652 vsize=10846984 memory=997264 CPUtime=0.08 cores=4-7 /proc/5655/task/5720/stat : 5720 (java) S 5652 5655 804 0 -1 1077944384 3 13544 0 0 0 0 5 3 20 0 15 0 416148740 11107311616 249316 33554432000 4194304 4196468 140731691205264 139969019333216 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5721] ppid=5652 vsize=10846984 memory=997264 CPUtime=1.51 cores=4-7 /proc/5655/task/5721/stat : 5721 (java) S 5652 5655 804 0 -1 1077944384 2167 13544 0 0 65 78 5 3 20 0 15 0 416148740 11107311616 249316 33554432000 4194304 4196468 140731691205264 139969904429872 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 Current children cumulated CPU time: 2429.2 s Current children cumulated vsize: 10846984 KiB Current children cumulated memory: 997264 KiB [startup+2442.3 s] /proc/loadavg: 1.12 1.31 1.37 3/229 6272 /proc/meminfo: memFree=26780320/32770688 swapFree=66919992/67108860 [pid=5655] ppid=5652 vsize=10846984 memory=999332 CPUtime=2490.29 cores=4-7 /proc/5655/stat : 5655 (java) S 5652 5655 804 0 -1 1077944320 304286 13544 0 0 248628 393 5 3 20 0 15 0 416148724 11107311616 249833 33554432000 4194304 4196468 140731691205264 140731691187808 139970482892535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 /proc/5655/statm: 2711746 249833 3630 1 0 2673805 0 [pid=5655/tid=5708] ppid=5652 vsize=10846984 memory=999332 CPUtime=2413.16 cores=4-7 /proc/5655/task/5708/stat : 5708 (java) R 5652 5655 804 0 -1 4202560 74940 13544 0 0 241251 57 5 3 20 0 15 0 416148734 11107311616 249833 33554432000 4194304 4196468 140731691205264 139970454726512 139970055903939 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5709] ppid=5652 vsize=10846984 memory=999332 CPUtime=12.09 cores=4-7 /proc/5655/task/5709/stat : 5709 (java) S 5652 5655 804 0 -1 1077944384 15502 13544 0 0 1142 59 5 3 20 0 15 0 416148735 11107311616 249833 33554432000 4194304 4196468 140731691205264 139970487134480 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5710] ppid=5652 vsize=10846984 memory=999332 CPUtime=12.11 cores=4-7 /proc/5655/task/5710/stat : 5710 (java) S 5652 5655 804 0 -1 1077944384 17008 13544 0 0 1141 62 5 3 20 0 15 0 416148735 11107311616 249833 33554432000 4194304 4196468 140731691205264 139970375408016 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5711] ppid=5652 vsize=10846984 memory=0 CPUtime=12.12 cores=4-7 /proc/5655/task/5711/stat : 5711 (java) S 5652 5655 804 0 -1 1077944384 10481 13544 0 0 1139 65 5 3 20 0 15 0 416148735 11107311616 249833 33554432000 4194304 4196468 140731691205264 139970374355472 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5712] ppid=5652 vsize=10846984 memory=997264 CPUtime=12.11 cores=4-7 /proc/5655/task/5712/stat : 5712 (java) S 5652 5655 804 0 -1 1077944384 11719 13544 0 0 1140 63 5 3 20 0 15 0 416148735 11107311616 249833 33554432000 4194304 4196468 140731691205264 139970373302928 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5713] ppid=5652 vsize=10846984 memory=997264 CPUtime=11.96 cores=4-7 /proc/5655/task/5713/stat : 5713 (java) S 5652 5655 804 0 -1 1077944384 15997 13544 0 0 1130 58 5 3 20 0 15 0 416148736 11107311616 249833 33554432000 4194304 4196468 140731691205264 139969942198768 139970482903682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5714] ppid=5652 vsize=10846984 memory=997284 CPUtime=0.08 cores=4-7 /proc/5655/task/5714/stat : 5714 (java) S 5652 5655 804 0 -1 1077944384 40 13544 0 0 0 0 5 3 20 0 15 0 416148737 11107311616 249833 33554432000 4194304 4196468 140731691205264 139969941145056 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5715] ppid=5652 vsize=10846984 memory=0 CPUtime=0.08 cores=4-7 /proc/5655/task/5715/stat : 5715 (java) S 5652 5655 804 0 -1 1077944384 5 13544 0 0 0 0 5 3 20 0 15 0 416148737 11107311616 249833 33554432000 4194304 4196468 140731691205264 139969360291328 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5716] ppid=5652 vsize=10846984 memory=999332 CPUtime=0.08 cores=4-7 /proc/5655/task/5716/stat : 5716 (java) S 5652 5655 804 0 -1 1077944384 3 13544 0 0 0 0 5 3 20 0 15 0 416148740 11107311616 249833 33554432000 4194304 4196468 140731691205264 139969052891856 139970482911131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5717] ppid=5652 vsize=10846984 memory=999332 CPUtime=6.4 cores=4-7 /proc/5655/task/5717/stat : 5717 (java) S 5652 5655 804 0 -1 1077944384 52746 13544 0 0 625 7 5 3 20 0 15 0 416148740 11107311616 249833 33554432000 4194304 4196468 140731691205264 139969907587056 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5718] ppid=5652 vsize=10846984 memory=999332 CPUtime=5.81 cores=4-7 /proc/5655/task/5718/stat : 5718 (java) S 5652 5655 804 0 -1 1077944384 44995 13544 0 0 566 7 5 3 20 0 15 0 416148740 11107311616 249833 33554432000 4194304 4196468 140731691205264 139969906534512 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5719] ppid=5652 vsize=10846984 memory=999332 CPUtime=3.6 cores=4-7 /proc/5655/task/5719/stat : 5719 (java) S 5652 5655 804 0 -1 1077944384 56457 13544 0 0 344 8 5 3 20 0 15 0 416148740 11107311616 249833 33554432000 4194304 4196468 140731691205264 139969905481968 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5720] ppid=5652 vsize=10846984 memory=999332 CPUtime=0.08 cores=4-7 /proc/5655/task/5720/stat : 5720 (java) S 5652 5655 804 0 -1 1077944384 3 13544 0 0 0 0 5 3 20 0 15 0 416148740 11107311616 249833 33554432000 4194304 4196468 140731691205264 139969019333216 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5721] ppid=5652 vsize=10846984 memory=47112 CPUtime=1.54 cores=4-7 /proc/5655/task/5721/stat : 5721 (java) S 5652 5655 804 0 -1 1077944384 2185 13544 0 0 67 79 5 3 20 0 15 0 416148740 11107311616 249833 33554432000 4194304 4196468 140731691205264 139969904429872 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 Current children cumulated CPU time: 2490.29 s Current children cumulated vsize: 10846984 KiB Current children cumulated memory: 999332 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2471.11 s] /proc/loadavg: 1.07 1.28 1.36 3/228 6276 /proc/meminfo: memFree=26779600/32770688 swapFree=66919992/67108860 [pid=5655] ppid=5652 vsize=10846984 memory=999356 CPUtime=2520 cores=4-7 /proc/5655/stat : 5655 (java) S 5652 5655 804 0 -1 1077944320 306825 13544 0 0 251594 398 5 3 20 0 15 0 416148724 11107311616 249839 33554432000 4194304 4196468 140731691205264 140731691187808 139970482892535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 /proc/5655/statm: 2711746 249839 3630 1 0 2673805 0 [pid=5655/tid=5708] ppid=5652 vsize=10846984 memory=999356 CPUtime=2441.61 cores=4-7 /proc/5655/task/5708/stat : 5708 (java) R 5652 5655 804 0 -1 4202560 75520 13544 0 0 244096 57 5 3 20 0 15 0 416148734 11107311616 249839 33554432000 4194304 4196468 140731691205264 139970454727120 139970062734252 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5709] ppid=5652 vsize=10846984 memory=999352 CPUtime=12.24 cores=4-7 /proc/5655/task/5709/stat : 5709 (java) S 5652 5655 804 0 -1 1077944384 15743 13544 0 0 1156 60 5 3 20 0 15 0 416148735 11107311616 249839 33554432000 4194304 4196468 140731691205264 139970487134480 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5710] ppid=5652 vsize=10846984 memory=999352 CPUtime=12.26 cores=4-7 /proc/5655/task/5710/stat : 5710 (java) S 5652 5655 804 0 -1 1077944384 17020 13544 0 0 1156 62 5 3 20 0 15 0 416148735 11107311616 249839 33554432000 4194304 4196468 140731691205264 139970375408016 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5711] ppid=5652 vsize=10846984 memory=8 CPUtime=12.28 cores=4-7 /proc/5655/task/5711/stat : 5711 (java) S 5652 5655 804 0 -1 1077944384 10586 13544 0 0 1154 66 5 3 20 0 15 0 416148735 11107311616 249839 33554432000 4194304 4196468 140731691205264 139970374355472 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5712] ppid=5652 vsize=10846984 memory=999356 CPUtime=12.26 cores=4-7 /proc/5655/task/5712/stat : 5712 (java) S 5652 5655 804 0 -1 1077944384 11764 13544 0 0 1154 64 5 3 20 0 15 0 416148735 11107311616 249839 33554432000 4194304 4196468 140731691205264 139970373302928 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5713] ppid=5652 vsize=10846984 memory=999356 CPUtime=12.12 cores=4-7 /proc/5655/task/5713/stat : 5713 (java) S 5652 5655 804 0 -1 1077944384 16186 13544 0 0 1145 59 5 3 20 0 15 0 416148736 11107311616 249839 33554432000 4194304 4196468 140731691205264 139969942198768 139970482903682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5714] ppid=5652 vsize=10846984 memory=999352 CPUtime=0.08 cores=4-7 /proc/5655/task/5714/stat : 5714 (java) S 5652 5655 804 0 -1 1077944384 40 13544 0 0 0 0 5 3 20 0 15 0 416148737 11107311616 249839 33554432000 4194304 4196468 140731691205264 139969941145056 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5715] ppid=5652 vsize=10846984 memory=999356 CPUtime=0.08 cores=4-7 /proc/5655/task/5715/stat : 5715 (java) S 5652 5655 804 0 -1 1077944384 5 13544 0 0 0 0 5 3 20 0 15 0 416148737 11107311616 249839 33554432000 4194304 4196468 140731691205264 139969360291328 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5716] ppid=5652 vsize=10846984 memory=16192026709247 CPUtime=0.08 cores=4-7 /proc/5655/task/5716/stat : 5716 (java) S 5652 5655 804 0 -1 1077944384 3 13544 0 0 0 0 5 3 20 0 15 0 416148740 11107311616 249839 33554432000 4194304 4196468 140731691205264 139969052891856 139970482911131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5717] ppid=5652 vsize=10846984 memory=999356 CPUtime=6.72 cores=4-7 /proc/5655/task/5717/stat : 5717 (java) S 5652 5655 804 0 -1 1077944384 53457 13544 0 0 657 7 5 3 20 0 15 0 416148740 11107311616 249839 33554432000 4194304 4196468 140731691205264 139969907587056 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5718] ppid=5652 vsize=10846984 memory=3624 CPUtime=5.92 cores=4-7 /proc/5655/task/5718/stat : 5718 (java) S 5652 5655 804 0 -1 1077944384 45362 13544 0 0 577 7 5 3 20 0 15 0 416148740 11107311616 249839 33554432000 4194304 4196468 140731691205264 139969906534512 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5719] ppid=5652 vsize=10846984 memory=3624 CPUtime=3.64 cores=4-7 /proc/5655/task/5719/stat : 5719 (java) S 5652 5655 804 0 -1 1077944384 56730 13544 0 0 348 8 5 3 20 0 15 0 416148740 11107311616 249839 33554432000 4194304 4196468 140731691205264 139969905481968 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5720] ppid=5652 vsize=10846984 memory=47112 CPUtime=0.08 cores=4-7 /proc/5655/task/5720/stat : 5720 (java) S 5652 5655 804 0 -1 1077944384 3 13544 0 0 0 0 5 3 20 0 15 0 416148740 11107311616 249839 33554432000 4194304 4196468 140731691205264 139969019333216 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5721] ppid=5652 vsize=10846984 memory=999356 CPUtime=1.56 cores=4-7 /proc/5655/task/5721/stat : 5721 (java) S 5652 5655 804 0 -1 1077944384 2201 13544 0 0 68 80 5 3 20 0 15 0 416148740 11107311616 249839 33554432000 4194304 4196468 140731691205264 139969904429872 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 Current children cumulated CPU time: 2520 s Current children cumulated vsize: 10846984 KiB Current children cumulated memory: 999356 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2471.14 s] # the end of solver process 5655 was just reported to runsolver # cumulated CPU time of all completed processes: user=2516.02 s, system=4.02721 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2471.11 s] /proc/loadavg: 1.07 1.28 1.36 3/228 6276 /proc/meminfo: memFree=26779600/32770688 swapFree=66919992/67108860 [pid=5655] ppid=5652 vsize=10846984 memory=999356 CPUtime=2520 cores=4-7 /proc/5655/stat : 5655 (java) S 5652 5655 804 0 -1 1077944320 306825 13544 0 0 251594 398 5 3 20 0 15 0 416148724 11107311616 249839 33554432000 4194304 4196468 140731691205264 140731691187808 139970482892535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 /proc/5655/statm: 2711746 249839 3630 1 0 2673805 0 [pid=5655/tid=5708] ppid=5652 vsize=10846984 memory=999356 CPUtime=2441.61 cores=4-7 /proc/5655/task/5708/stat : 5708 (java) R 5652 5655 804 0 -1 4202560 75520 13544 0 0 244096 57 5 3 20 0 15 0 416148734 11107311616 249839 33554432000 4194304 4196468 140731691205264 139970454727120 139970062734252 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5709] ppid=5652 vsize=10846984 memory=999352 CPUtime=12.24 cores=4-7 /proc/5655/task/5709/stat : 5709 (java) S 5652 5655 804 0 -1 1077944384 15743 13544 0 0 1156 60 5 3 20 0 15 0 416148735 11107311616 249839 33554432000 4194304 4196468 140731691205264 139970487134480 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5710] ppid=5652 vsize=10846984 memory=999352 CPUtime=12.26 cores=4-7 /proc/5655/task/5710/stat : 5710 (java) S 5652 5655 804 0 -1 1077944384 17020 13544 0 0 1156 62 5 3 20 0 15 0 416148735 11107311616 249839 33554432000 4194304 4196468 140731691205264 139970375408016 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5711] ppid=5652 vsize=10846984 memory=8 CPUtime=12.28 cores=4-7 /proc/5655/task/5711/stat : 5711 (java) S 5652 5655 804 0 -1 1077944384 10586 13544 0 0 1154 66 5 3 20 0 15 0 416148735 11107311616 249839 33554432000 4194304 4196468 140731691205264 139970374355472 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5712] ppid=5652 vsize=10846984 memory=999356 CPUtime=12.26 cores=4-7 /proc/5655/task/5712/stat : 5712 (java) S 5652 5655 804 0 -1 1077944384 11764 13544 0 0 1154 64 5 3 20 0 15 0 416148735 11107311616 249839 33554432000 4194304 4196468 140731691205264 139970373302928 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5713] ppid=5652 vsize=10846984 memory=999356 CPUtime=12.12 cores=4-7 /proc/5655/task/5713/stat : 5713 (java) S 5652 5655 804 0 -1 1077944384 16186 13544 0 0 1145 59 5 3 20 0 15 0 416148736 11107311616 249839 33554432000 4194304 4196468 140731691205264 139969942198768 139970482903682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5714] ppid=5652 vsize=10846984 memory=999352 CPUtime=0.08 cores=4-7 /proc/5655/task/5714/stat : 5714 (java) S 5652 5655 804 0 -1 1077944384 40 13544 0 0 0 0 5 3 20 0 15 0 416148737 11107311616 249839 33554432000 4194304 4196468 140731691205264 139969941145056 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5715] ppid=5652 vsize=10846984 memory=999356 CPUtime=0.08 cores=4-7 /proc/5655/task/5715/stat : 5715 (java) S 5652 5655 804 0 -1 1077944384 5 13544 0 0 0 0 5 3 20 0 15 0 416148737 11107311616 249839 33554432000 4194304 4196468 140731691205264 139969360291328 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5716] ppid=5652 vsize=10846984 memory=16192026709247 CPUtime=0.08 cores=4-7 /proc/5655/task/5716/stat : 5716 (java) S 5652 5655 804 0 -1 1077944384 3 13544 0 0 0 0 5 3 20 0 15 0 416148740 11107311616 249839 33554432000 4194304 4196468 140731691205264 139969052891856 139970482911131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5717] ppid=5652 vsize=10846984 memory=999356 CPUtime=6.72 cores=4-7 /proc/5655/task/5717/stat : 5717 (java) S 5652 5655 804 0 -1 1077944384 53457 13544 0 0 657 7 5 3 20 0 15 0 416148740 11107311616 249839 33554432000 4194304 4196468 140731691205264 139969907587056 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5718] ppid=5652 vsize=10846984 memory=3624 CPUtime=5.92 cores=4-7 /proc/5655/task/5718/stat : 5718 (java) S 5652 5655 804 0 -1 1077944384 45362 13544 0 0 577 7 5 3 20 0 15 0 416148740 11107311616 249839 33554432000 4194304 4196468 140731691205264 139969906534512 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5719] ppid=5652 vsize=10846984 memory=3624 CPUtime=3.64 cores=4-7 /proc/5655/task/5719/stat : 5719 (java) S 5652 5655 804 0 -1 1077944384 56730 13544 0 0 348 8 5 3 20 0 15 0 416148740 11107311616 249839 33554432000 4194304 4196468 140731691205264 139969905481968 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5720] ppid=5652 vsize=10846984 memory=47112 CPUtime=0.08 cores=4-7 /proc/5655/task/5720/stat : 5720 (java) S 5652 5655 804 0 -1 1077944384 3 13544 0 0 0 0 5 3 20 0 15 0 416148740 11107311616 249839 33554432000 4194304 4196468 140731691205264 139969019333216 139970482902741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 [pid=5655/tid=5721] ppid=5652 vsize=10846984 memory=999356 CPUtime=1.56 cores=4-7 /proc/5655/task/5721/stat : 5721 (java) S 5652 5655 804 0 -1 1077944384 2201 13544 0 0 68 80 5 3 20 0 15 0 416148740 11107311616 249839 33554432000 4194304 4196468 140731691205264 139969904429872 139970482903682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37695488 140731691211504 140731691214021 140731691214021 140731691216847 0 Current children cumulated CPU time: 2520 s Current children cumulated vsize: 10846984 KiB Current children cumulated memory: 999356 KiB Child status: 143 Real time (s): 2471.14 CPU time (s): 2520.04 CPU user time (s): 2516.02 CPU system time (s): 4.02721 CPU usage (%): 101.979 Max. virtual memory (cumulated for all children) (KiB): 10849608 Max. memory (cumulated for all children) (KiB): 999356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2516.02 system time used= 4.02721 maximum resident set size= 1003480 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 320903 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3336 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 311475 involuntary context switches= 8557 # summary of solver processes directly reported to runsolver: # pid: 5655 # total CPU time (s): 2520.04 # total CPU user time (s): 2516.02 # total CPU system time (s): 4.02721 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 15.8214 second user time and 26.5934 second system time The end
Begin job on node120 at 2011-12-15 03:24:06 IDJOB=4395813 IDBENCH=127909 IDSOLVER=2846 FILE ID=node120/4395813-1568401424 RUNJOBID= node120-1323907941-3248 PBS_JOBID= 21701843 Free space on /tmp= 61612 MiB SOLVER NAME= Concrete 3.12.2 BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-012.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395813-1568401424/watcher-4395813-1568401424 -o /tmp/evaluation-result-4395813-1568401424/solver-4395813-1568401424 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323907941-3248 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=535906377 HOME/instance-4395813-1568401424.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2f6e926eec9d3271c32e6368d6cce3f2 RANDOM SEED=535906377 node120.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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 27965276 kB MemAvailable: 31465552 kB Buffers: 181964 kB Cached: 3623072 kB SwapCached: 77548 kB Active: 1430916 kB Inactive: 2817468 kB Active(anon): 365244 kB Inactive(anon): 127896 kB Active(file): 1065672 kB Inactive(file): 2689572 kB Unevictable: 107236 kB Mlocked: 107236 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 35384 kB Writeback: 0 kB AnonPages: 479036 kB Mapped: 61852 kB Shmem: 41040 kB Slab: 150804 kB SReclaimable: 121736 kB SUnreclaim: 29068 kB KernelStack: 3728 kB PageTables: 8308 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 1451328 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 382976 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 61580 MiB End job on node120 at 2011-12-15 04:05:18