Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Concrete 3.10 | ? (TO) | 2520.14 | 2466.96 |
Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K09-P07.xml |
MD5SUM | 77d215e563c424ff51075488b165aa80 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 684 |
Number of constraints | 308 |
Number of domains | 2 |
Minimum domain size | 306 |
Maximum domain size | 307 |
Distribution of domain sizes | [{"size":306,"count":306},{"size":307,"count":63}] |
Minimum variable degree | 0 |
Maximum variable degree | 11 |
Distribution of variable degrees | [{"degree":0,"count":315},{"degree":2,"count":306},{"degree":10,"count":18},{"degree":11,"count":45}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 306 |
Distribution of constraint arities | [{"arity":3,"count":306},{"arity":63,"count":1},{"arity":306,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 306 |
Distribution of constraint types | [{"type":"intension","count":306},{"type":"allDifferent","count":2}] |
Optimization problem | NO |
Type of objective |
0.70/0.60 c Concrete v3.10.1560635388952 running 2520.05/2466.92 Exception in thread "main" java.util.concurrent.TimeoutException 2520.05/2466.92 at concrete.MAC.mac(MAC.scala:189) 2520.05/2466.92 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:253) 2520.05/2466.92 at scala.util.Try$.apply(Try.scala:212) 2520.05/2466.92 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2520.05/2466.92 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2520.05/2466.92 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2520.05/2466.92 at concrete.MAC.oneRun(MAC.scala:253) 2520.05/2466.92 at concrete.MAC.nextSolution(MAC.scala:272) 2520.05/2466.92 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336) 2520.05/2466.92 at concrete.ProblemState.map(ProblemState.scala:228) 2520.05/2466.92 at concrete.ProblemState.map(ProblemState.scala:210) 2520.05/2466.92 at concrete.MAC.nextSolution(MAC.scala:334) 2520.05/2466.92 at concrete.Solver.hasNext(Solver.scala:160) 2520.05/2466.92 at scala.collection.Iterator.nextOption(Iterator.scala:104) 2520.05/2466.92 at scala.collection.Iterator.nextOption$(Iterator.scala:104) 2520.05/2466.92 at concrete.Solver.nextOption(Solver.scala:67) 2520.05/2466.92 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:77) 2520.05/2466.92 at scala.util.Success.map(Try.scala:264) 2520.05/2466.92 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:67) 2520.05/2466.92 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2520.05/2466.92 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.05/2466.92 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.05/2466.92 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.05/2466.92 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2520.05/2466.92 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2520.05/2466.92 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2520.05/2466.92 at scala.App.$anonfun$main$1(App.scala:75) 2520.05/2466.92 at scala.App.$anonfun$main$1$adapted(App.scala:75) 2520.05/2466.92 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2520.05/2466.92 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2520.05/2466.92 at scala.collection.AbstractIterable.foreach(Iterable.scala:904) 2520.05/2466.92 at scala.App.main(App.scala:75) 2520.05/2466.92 at scala.App.main$(App.scala:73) 2520.05/2466.92 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.05/2466.92 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.05/2466.92 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 (10159 MiB free) memory of node 1: 16384 MiB (10080 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387021-1568288424/watcher-4387021-1568288424 -o /tmp/evaluation-result-4387021-1568288424/solver-4387021-1568288424 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568285921-31916 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=706344140 HOME/instance-4387021-1568288424.xml running on 4 cores: 0-3 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=32639, runsolver pid=32636 [startup+0.100121 s]* /proc/loadavg: 2.22 1.68 1.58 3/214 32692 /proc/meminfo: memFree=20722404/32770688 swapFree=66960400/67108860 [pid=32639] ppid=32636 vsize=9972712 memory=15364 CPUtime=0.09 cores=0-3 /proc/32639/stat : 32639 (java) S 32636 32639 31157 0 -1 1077944320 4081 13388 0 0 1 0 5 3 20 0 6 0 404784155 10212057088 3841 33554432000 4194304 4196468 140724279169280 140724279151824 140541536902903 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 /proc/32639/statm: 2493178 3841 1721 1 0 2481616 0 [pid=32639/tid=32692] ppid=32636 vsize=9972712 memory=4279135703980343436 CPUtime=0.08 cores=0-3 /proc/32639/task/32692/stat : 32692 (java) R 32636 32639 31157 0 -1 4202560 1897 13388 0 0 0 0 5 3 20 0 6 0 404784164 10212057088 3841 33554432000 4194304 4196468 140724279169280 140541508739664 140541391924803 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32693] ppid=32636 vsize=9972712 memory=0 CPUtime=0.08 cores=0-3 /proc/32639/task/32693/stat : 32693 (java) S 32636 32639 31157 0 -1 1077944384 2 13388 0 0 0 0 5 3 20 0 6 0 404784165 10212057088 3841 33554432000 4194304 4196468 140724279169280 140541541144848 140541536913109 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32694] ppid=32636 vsize=9972712 memory=139911899731584 CPUtime=0.08 cores=0-3 /proc/32639/task/32694/stat : 32694 (java) S 32636 32639 31157 0 -1 1077944384 1 13388 0 0 0 0 5 3 20 0 6 0 404784165 10212057088 3907 33554432000 4194304 4196468 140724279169280 140541109705104 140541536913109 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32695] ppid=32636 vsize=9972712 memory=0 CPUtime=0.08 cores=0-3 /proc/32639/task/32695/stat : 32695 (java) S 32636 32639 31157 0 -1 1077944384 2 13388 0 0 0 0 5 3 20 0 6 0 404784165 10212057088 3907 33554432000 4194304 4196468 140724279169280 140541108652560 140541536913109 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32696] ppid=32636 vsize=9972712 memory=-1 CPUtime=0.08 cores=0-3 /proc/32639/task/32696/stat : 32696 (java) S 32636 32639 31157 0 -1 1077944384 1 13388 0 0 0 0 5 3 20 0 6 0 404784165 10212057088 3907 33554432000 4194304 4196468 140724279169280 140541107600016 140541536913109 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 9972712 KiB Current children cumulated memory: 15364 KiB [startup+0.2112 s]* /proc/loadavg: 2.22 1.68 1.58 5/227 32705 /proc/meminfo: memFree=20700524/32770688 swapFree=66960400/67108860 [pid=32639] ppid=32636 vsize=10818900 memory=36780 CPUtime=0.25 cores=0-3 /proc/32639/stat : 32639 (java) S 32636 32639 31157 0 -1 1077944320 6984 13388 0 0 16 1 5 3 20 0 15 0 404784155 11078553600 9195 33554432000 4194304 4196468 140724279169280 140724279151824 140541536902903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 /proc/32639/statm: 2704725 9195 2970 1 0 2667149 0 [pid=32639/tid=32692] ppid=32636 vsize=10818900 memory=7022364594140610616 CPUtime=0.19 cores=0-3 /proc/32639/task/32692/stat : 32692 (java) R 32636 32639 31157 0 -1 4202560 3500 13388 0 0 10 1 5 3 20 0 15 0 404784164 11078553600 9195 33554432000 4194304 4196468 140724279169280 140541508690688 140541520983390 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32693] ppid=32636 vsize=10818900 memory=365 CPUtime=0.08 cores=0-3 /proc/32639/task/32693/stat : 32693 (java) S 32636 32639 31157 0 -1 1077944384 2 13388 0 0 0 0 5 3 20 0 15 0 404784165 11078553600 9195 33554432000 4194304 4196468 140724279169280 140541541144848 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32694] ppid=32636 vsize=10818900 memory=139911902632215 CPUtime=0.08 cores=0-3 /proc/32639/task/32694/stat : 32694 (java) S 32636 32639 31157 0 -1 1077944384 1 13388 0 0 0 0 5 3 20 0 15 0 404784165 11078553600 9195 33554432000 4194304 4196468 140724279169280 140541109705104 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32695] ppid=32636 vsize=10818900 memory=0 CPUtime=0.08 cores=0-3 /proc/32639/task/32695/stat : 32695 (java) S 32636 32639 31157 0 -1 1077944384 2 13388 0 0 0 0 5 3 20 0 15 0 404784165 11078553600 9195 33554432000 4194304 4196468 140724279169280 140541108652560 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32696] ppid=32636 vsize=10818900 memory=-1 CPUtime=0.08 cores=0-3 /proc/32639/task/32696/stat : 32696 (java) S 32636 32639 31157 0 -1 1077944384 1 13388 0 0 0 0 5 3 20 0 15 0 404784165 11078553600 9195 33554432000 4194304 4196468 140724279169280 140541107600016 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32697] ppid=32636 vsize=10818900 memory=139911899731584 CPUtime=0.08 cores=0-3 /proc/32639/task/32697/stat : 32697 (java) S 32636 32639 31157 0 -1 1077944384 2 13388 0 0 0 0 5 3 20 0 15 0 404784167 11078553600 9195 33554432000 4194304 4196468 140724279169280 140541063506416 140541536914050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32698] ppid=32636 vsize=10818900 memory=-1 CPUtime=0.08 cores=0-3 /proc/32639/task/32698/stat : 32698 (java) S 32636 32639 31157 0 -1 1077944384 13 13388 0 0 0 0 5 3 20 0 15 0 404784167 11078553600 9195 33554432000 4194304 4196468 140724279169280 140540993594784 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32699] ppid=32636 vsize=10818900 memory=0 CPUtime=0.08 cores=0-3 /proc/32639/task/32699/stat : 32699 (java) S 32636 32639 31157 0 -1 1077944384 1 13388 0 0 0 0 5 3 20 0 15 0 404784167 11078553600 9195 33554432000 4194304 4196468 140724279169280 140540859377136 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32700] ppid=32636 vsize=10818900 memory=0 CPUtime=0.08 cores=0-3 /proc/32639/task/32700/stat : 32700 (java) S 32636 32639 31157 0 -1 1077944384 3 13388 0 0 0 0 5 3 20 0 15 0 404784170 11078553600 9195 33554432000 4194304 4196468 140724279169280 140540082215632 140541536921499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32701] ppid=32636 vsize=10818900 memory=0 CPUtime=0.09 cores=0-3 /proc/32639/task/32701/stat : 32701 (java) S 32636 32639 31157 0 -1 1077944384 468 13388 0 0 1 0 5 3 20 0 15 0 404784170 11078553600 9195 33554432000 4194304 4196468 140724279169280 140541062453232 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32702] ppid=32636 vsize=10818900 memory=-1 CPUtime=0.09 cores=0-3 /proc/32639/task/32702/stat : 32702 (java) S 32636 32639 31157 0 -1 1077944384 164 13388 0 0 1 0 5 3 20 0 15 0 404784170 11078553600 9195 33554432000 4194304 4196468 140724279169280 140540960036976 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32703] ppid=32636 vsize=10818900 memory=139911899731584 CPUtime=0.1 cores=0-3 /proc/32639/task/32703/stat : 32703 (java) S 32636 32639 31157 0 -1 1077944384 612 13388 0 0 2 0 5 3 20 0 15 0 404784170 11078553600 9195 33554432000 4194304 4196468 140724279169280 140540958984432 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32704] ppid=32636 vsize=10818900 memory=-1 CPUtime=0.08 cores=0-3 /proc/32639/task/32704/stat : 32704 (java) S 32636 32639 31157 0 -1 1077944384 3 13388 0 0 0 0 5 3 20 0 15 0 404784171 11078553600 9195 33554432000 4194304 4196468 140724279169280 140540048656992 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32705] ppid=32636 vsize=10818900 memory=139911899731584 CPUtime=0.08 cores=0-3 /proc/32639/task/32705/stat : 32705 (java) S 32636 32639 31157 0 -1 1077944384 1 13388 0 0 0 0 5 3 20 0 15 0 404784171 11078553600 9195 33554432000 4194304 4196468 140724279169280 140540957932336 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 10818900 KiB Current children cumulated memory: 36780 KiB [startup+0.311525 s]* /proc/loadavg: 2.22 1.68 1.58 4/227 32705 /proc/meminfo: memFree=20687452/32770688 swapFree=66960400/67108860 [pid=32639] ppid=32636 vsize=10819084 memory=47608 CPUtime=0.4 cores=0-3 /proc/32639/stat : 32639 (java) S 32636 32639 31157 0 -1 1077944320 10595 13388 0 0 29 3 5 3 20 0 15 0 404784155 11078742016 11902 33554432000 4194304 4196468 140724279169280 140724279151824 140541536902903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 /proc/32639/statm: 2704771 11902 3024 1 0 2667149 0 [pid=32639/tid=32692] ppid=32636 vsize=10819084 memory=6791534058613427641 CPUtime=0.28 cores=0-3 /proc/32639/task/32692/stat : 32692 (java) R 32636 32639 31157 0 -1 4202560 7089 13388 0 0 18 2 5 3 20 0 15 0 404784164 11078742016 11902 33554432000 4194304 4196468 140724279169280 140541508702160 140541536924829 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32693] ppid=32636 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/32639/task/32693/stat : 32693 (java) S 32636 32639 31157 0 -1 1077944384 2 13388 0 0 0 0 5 3 20 0 15 0 404784165 11078742016 11902 33554432000 4194304 4196468 140724279169280 140541541144848 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32694] ppid=32636 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/32639/task/32694/stat : 32694 (java) S 32636 32639 31157 0 -1 1077944384 1 13388 0 0 0 0 5 3 20 0 15 0 404784165 11078742016 11902 33554432000 4194304 4196468 140724279169280 140541109705104 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32695] ppid=32636 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/32639/task/32695/stat : 32695 (java) S 32636 32639 31157 0 -1 1077944384 2 13388 0 0 0 0 5 3 20 0 15 0 404784165 11078742016 11902 33554432000 4194304 4196468 140724279169280 140541108652560 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32696] ppid=32636 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/32639/task/32696/stat : 32696 (java) S 32636 32639 31157 0 -1 1077944384 1 13388 0 0 0 0 5 3 20 0 15 0 404784165 11078742016 11902 33554432000 4194304 4196468 140724279169280 140541107600016 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32697] ppid=32636 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/32639/task/32697/stat : 32697 (java) S 32636 32639 31157 0 -1 1077944384 2 13388 0 0 0 0 5 3 20 0 15 0 404784167 11078742016 11902 33554432000 4194304 4196468 140724279169280 140541063506416 140541536914050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32698] ppid=32636 vsize=10819084 memory=-1 CPUtime=0.08 cores=0-3 /proc/32639/task/32698/stat : 32698 (java) S 32636 32639 31157 0 -1 1077944384 13 13388 0 0 0 0 5 3 20 0 15 0 404784167 11078742016 11902 33554432000 4194304 4196468 140724279169280 140540993594784 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32699] ppid=32636 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/32639/task/32699/stat : 32699 (java) S 32636 32639 31157 0 -1 1077944384 1 13388 0 0 0 0 5 3 20 0 15 0 404784167 11078742016 11902 33554432000 4194304 4196468 140724279169280 140540859377136 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32700] ppid=32636 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/32639/task/32700/stat : 32700 (java) S 32636 32639 31157 0 -1 1077944384 3 13388 0 0 0 0 5 3 20 0 15 0 404784170 11078742016 11902 33554432000 4194304 4196468 140724279169280 140540082215632 140541536921499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32701] ppid=32636 vsize=10819084 memory=0 CPUtime=0.1 cores=0-3 /proc/32639/task/32701/stat : 32701 (java) S 32636 32639 31157 0 -1 1077944384 469 13388 0 0 2 0 5 3 20 0 15 0 404784170 11078742016 11902 33554432000 4194304 4196468 140724279169280 140541062453232 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32702] ppid=32636 vsize=10819084 memory=-1 CPUtime=0.09 cores=0-3 /proc/32639/task/32702/stat : 32702 (java) S 32636 32639 31157 0 -1 1077944384 164 13388 0 0 1 0 5 3 20 0 15 0 404784170 11078742016 11902 33554432000 4194304 4196468 140724279169280 140540960036976 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32703] ppid=32636 vsize=10819084 memory=139911899731584 CPUtime=0.13 cores=0-3 /proc/32639/task/32703/stat : 32703 (java) S 32636 32639 31157 0 -1 1077944384 633 13388 0 0 5 0 5 3 20 0 15 0 404784170 11078742016 11902 33554432000 4194304 4196468 140724279169280 140540958984432 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32704] ppid=32636 vsize=10819084 memory=-1 CPUtime=0.08 cores=0-3 /proc/32639/task/32704/stat : 32704 (java) S 32636 32639 31157 0 -1 1077944384 3 13388 0 0 0 0 5 3 20 0 15 0 404784171 11078742016 11902 33554432000 4194304 4196468 140724279169280 140540048656992 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32705] ppid=32636 vsize=10819084 memory=139911899731584 CPUtime=0.08 cores=0-3 /proc/32639/task/32705/stat : 32705 (java) S 32636 32639 31157 0 -1 1077944384 1 13388 0 0 0 0 5 3 20 0 15 0 404784171 11078742016 11902 33554432000 4194304 4196468 140724279169280 140540957932336 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 Current children cumulated CPU time: 0.4 s Current children cumulated vsize: 10819084 KiB Current children cumulated memory: 47608 KiB [startup+0.701217 s] /proc/loadavg: 2.22 1.68 1.58 3/227 32705 /proc/meminfo: memFree=20676508/32770688 swapFree=66960400/67108860 [pid=32639] ppid=32636 vsize=10822292 memory=76544 CPUtime=1.11 cores=0-3 /proc/32639/stat : 32639 (java) S 32636 32639 31157 0 -1 1077944320 14384 13388 0 0 98 5 5 3 20 0 15 0 404784155 11082027008 19136 33554432000 4194304 4196468 140724279169280 140724279151824 140541536902903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 /proc/32639/statm: 2705573 19136 3496 1 0 2667661 0 [pid=32639/tid=32692] ppid=32636 vsize=10822292 memory=0 CPUtime=0.67 cores=0-3 /proc/32639/task/32692/stat : 32692 (java) R 32636 32639 31157 0 -1 4202560 10189 13388 0 0 55 4 5 3 20 0 15 0 404784164 11082027008 19136 33554432000 4194304 4196468 140724279169280 140541508729024 140541516495938 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32693] ppid=32636 vsize=10822292 memory=0 CPUtime=0.08 cores=0-3 /proc/32639/task/32693/stat : 32693 (java) S 32636 32639 31157 0 -1 1077944384 2 13388 0 0 0 0 5 3 20 0 15 0 404784165 11082027008 19136 33554432000 4194304 4196468 140724279169280 140541541144848 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32694] ppid=32636 vsize=10822292 memory=0 CPUtime=0.08 cores=0-3 /proc/32639/task/32694/stat : 32694 (java) S 32636 32639 31157 0 -1 1077944384 1 13388 0 0 0 0 5 3 20 0 15 0 404784165 11082027008 19136 33554432000 4194304 4196468 140724279169280 140541109705104 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32695] ppid=32636 vsize=10822292 memory=32804 CPUtime=0.08 cores=0-3 /proc/32639/task/32695/stat : 32695 (java) S 32636 32639 31157 0 -1 1077944384 2 13388 0 0 0 0 5 3 20 0 15 0 404784165 11082027008 19136 33554432000 4194304 4196468 140724279169280 140541108652560 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32696] ppid=32636 vsize=10822292 memory=0 CPUtime=0.08 cores=0-3 /proc/32639/task/32696/stat : 32696 (java) S 32636 32639 31157 0 -1 1077944384 1 13388 0 0 0 0 5 3 20 0 15 0 404784165 11082027008 19136 33554432000 4194304 4196468 140724279169280 140541107600016 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32697] ppid=32636 vsize=10822292 memory=0 CPUtime=0.08 cores=0-3 /proc/32639/task/32697/stat : 32697 (java) S 32636 32639 31157 0 -1 1077944384 5 13388 0 0 0 0 5 3 20 0 15 0 404784167 11082027008 19136 33554432000 4194304 4196468 140724279169280 140541063506416 140541536914050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32698] ppid=32636 vsize=10822292 memory=139911781036720 CPUtime=0.08 cores=0-3 /proc/32639/task/32698/stat : 32698 (java) S 32636 32639 31157 0 -1 1077944384 13 13388 0 0 0 0 5 3 20 0 15 0 404784167 11082027008 19136 33554432000 4194304 4196468 140724279169280 140540993594784 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32699] ppid=32636 vsize=10822292 memory=139912854635076 CPUtime=0.08 cores=0-3 /proc/32639/task/32699/stat : 32699 (java) S 32636 32639 31157 0 -1 1077944384 1 13388 0 0 0 0 5 3 20 0 15 0 404784167 11082027008 19136 33554432000 4194304 4196468 140724279169280 140540859377136 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32700] ppid=32636 vsize=10822292 memory=2832 CPUtime=0.08 cores=0-3 /proc/32639/task/32700/stat : 32700 (java) S 32636 32639 31157 0 -1 1077944384 3 13388 0 0 0 0 5 3 20 0 15 0 404784170 11082027008 19136 33554432000 4194304 4196468 140724279169280 140540082215632 140541536921499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32701] ppid=32636 vsize=10822292 memory=7524764360453481792 CPUtime=0.19 cores=0-3 /proc/32639/task/32701/stat : 32701 (java) R 32636 32639 31157 0 -1 4202560 740 13388 0 0 11 0 5 3 20 0 15 0 404784170 11082027008 19136 33554432000 4194304 4196468 140724279169280 140541062441824 140541522028282 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32702] ppid=32636 vsize=10822292 memory=6081100190147964518 CPUtime=0.2 cores=0-3 /proc/32639/task/32702/stat : 32702 (java) R 32636 32639 31157 0 -1 4202560 468 13388 0 0 12 0 5 3 20 0 15 0 404784170 11082027008 19136 33554432000 4194304 4196468 140724279169280 140540960017248 140541518447121 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32703] ppid=32636 vsize=10822292 memory=6220993253238723945 CPUtime=0.25 cores=0-3 /proc/32639/task/32703/stat : 32703 (java) S 32636 32639 31157 0 -1 1077944384 744 13388 0 0 17 0 5 3 20 0 15 0 404784170 11082027008 19136 33554432000 4194304 4196468 140724279169280 140540958984432 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32704] ppid=32636 vsize=10822292 memory=3612 CPUtime=0.08 cores=0-3 /proc/32639/task/32704/stat : 32704 (java) S 32636 32639 31157 0 -1 1077944384 3 13388 0 0 0 0 5 3 20 0 15 0 404784171 11082027008 19136 33554432000 4194304 4196468 140724279169280 140540048656992 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32705] ppid=32636 vsize=10822292 memory=2241 CPUtime=0.08 cores=0-3 /proc/32639/task/32705/stat : 32705 (java) S 32636 32639 31157 0 -1 1077944384 1 13388 0 0 0 0 5 3 20 0 15 0 404784171 11082027008 19136 33554432000 4194304 4196468 140724279169280 140540957932336 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 Current children cumulated CPU time: 1.11 s Current children cumulated vsize: 10822292 KiB Current children cumulated memory: 76544 KiB [startup+1.50083 s] /proc/loadavg: 2.22 1.68 1.58 3/227 32705 /proc/meminfo: memFree=20643140/32770688 swapFree=66960400/67108860 [pid=32639] ppid=32636 vsize=10832608 memory=167996 CPUtime=2.57 cores=0-3 /proc/32639/stat : 32639 (java) S 32636 32639 31157 0 -1 1077944320 21672 13388 0 0 239 10 5 3 20 0 15 0 404784155 11092590592 41999 33554432000 4194304 4196468 140724279169280 140724279151824 140541536902903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 /proc/32639/statm: 2708152 41999 3581 1 0 2670221 0 [pid=32639/tid=32692] ppid=32636 vsize=10832608 memory=9316 CPUtime=1.43 cores=0-3 /proc/32639/task/32692/stat : 32692 (java) R 32636 32639 31157 0 -1 4202560 15455 13388 0 0 129 6 5 3 20 0 15 0 404784164 11092590592 41999 33554432000 4194304 4196468 140724279169280 140541508731072 140541520983390 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32693] ppid=32636 vsize=10832608 memory=6791534058613427641 CPUtime=0.08 cores=0-3 /proc/32639/task/32693/stat : 32693 (java) S 32636 32639 31157 0 -1 1077944384 13 13388 0 0 0 0 5 3 20 0 15 0 404784165 11092590592 41999 33554432000 4194304 4196468 140724279169280 140541541144848 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32694] ppid=32636 vsize=10832608 memory=3260 CPUtime=0.09 cores=0-3 /proc/32639/task/32694/stat : 32694 (java) S 32636 32639 31157 0 -1 1077944384 100 13388 0 0 1 0 5 3 20 0 15 0 404784165 11092590592 41999 33554432000 4194304 4196468 140724279169280 140541109705104 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32695] ppid=32636 vsize=10832608 memory=3584556 CPUtime=0.09 cores=0-3 /proc/32639/task/32695/stat : 32695 (java) S 32636 32639 31157 0 -1 1077944384 67 13388 0 0 1 0 5 3 20 0 15 0 404784165 11092590592 41999 33554432000 4194304 4196468 140724279169280 140541108652560 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32696] ppid=32636 vsize=10832608 memory=76544 CPUtime=0.09 cores=0-3 /proc/32639/task/32696/stat : 32696 (java) S 32636 32639 31157 0 -1 1077944384 264 13388 0 0 1 0 5 3 20 0 15 0 404784165 11092590592 41999 33554432000 4194304 4196468 140724279169280 140541107600016 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32697] ppid=32636 vsize=10832608 memory=0 CPUtime=0.09 cores=0-3 /proc/32639/task/32697/stat : 32697 (java) S 32636 32639 31157 0 -1 1077944384 407 13388 0 0 1 0 5 3 20 0 15 0 404784167 11092590592 41999 33554432000 4194304 4196468 140724279169280 140541063506416 140541536914050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32698] ppid=32636 vsize=10832608 memory=0 CPUtime=0.08 cores=0-3 /proc/32639/task/32698/stat : 32698 (java) S 32636 32639 31157 0 -1 1077944384 14 13388 0 0 0 0 5 3 20 0 15 0 404784167 11092590592 41999 33554432000 4194304 4196468 140724279169280 140540993594848 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32699] ppid=32636 vsize=10832608 memory=0 CPUtime=0.08 cores=0-3 /proc/32639/task/32699/stat : 32699 (java) S 32636 32639 31157 0 -1 1077944384 1 13388 0 0 0 0 5 3 20 0 15 0 404784167 11092590592 41999 33554432000 4194304 4196468 140724279169280 140540859377136 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32700] ppid=32636 vsize=10832608 memory=6791534058613427641 CPUtime=0.08 cores=0-3 /proc/32639/task/32700/stat : 32700 (java) S 32636 32639 31157 0 -1 1077944384 3 13388 0 0 0 0 5 3 20 0 15 0 404784170 11092590592 41999 33554432000 4194304 4196468 140724279169280 140540082215632 140541536921499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32701] ppid=32636 vsize=10832608 memory=4638778398332698720 CPUtime=0.38 cores=0-3 /proc/32639/task/32701/stat : 32701 (java) S 32636 32639 31157 0 -1 1077944384 1001 13388 0 0 30 0 5 3 20 0 15 0 404784170 11092590592 41999 33554432000 4194304 4196468 140724279169280 140541062453232 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32702] ppid=32636 vsize=10832608 memory=279823562349504 CPUtime=0.4 cores=0-3 /proc/32639/task/32702/stat : 32702 (java) S 32636 32639 31157 0 -1 1077944384 840 13388 0 0 32 0 5 3 20 0 15 0 404784170 11092590592 41999 33554432000 4194304 4196468 140724279169280 140540960036976 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32703] ppid=32636 vsize=10832608 memory=4137290303932963203 CPUtime=0.48 cores=0-3 /proc/32639/task/32703/stat : 32703 (java) S 32636 32639 31157 0 -1 1077944384 1293 13388 0 0 40 0 5 3 20 0 15 0 404784170 11092590592 41999 33554432000 4194304 4196468 140724279169280 140540958984432 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32704] ppid=32636 vsize=10832608 memory=6944656591801719708 CPUtime=0.08 cores=0-3 /proc/32639/task/32704/stat : 32704 (java) S 32636 32639 31157 0 -1 1077944384 3 13388 0 0 0 0 5 3 20 0 15 0 404784171 11092590592 41999 33554432000 4194304 4196468 140724279169280 140540048656992 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32705] ppid=32636 vsize=10832608 memory=6944656425123290226 CPUtime=0.08 cores=0-3 /proc/32639/task/32705/stat : 32705 (java) S 32636 32639 31157 0 -1 1077944384 1 13388 0 0 0 0 5 3 20 0 15 0 404784171 11092590592 41999 33554432000 4194304 4196468 140724279169280 140540957932336 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 Current children cumulated CPU time: 2.57 s Current children cumulated vsize: 10832608 KiB ################ # More data... # ################ /proc/32639/task/32692/stat : 32692 (java) R 32636 32639 31157 0 -1 4202560 476437 13388 0 0 236033 114 5 3 20 0 15 0 404784164 11109400576 818813 33554432000 4194304 4196468 140724279169280 140541508738336 140541154762608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32693] ppid=32636 vsize=10849024 memory=3275252 CPUtime=12.8 cores=0-3 /proc/32639/task/32693/stat : 32693 (java) S 32636 32639 31157 0 -1 1077944384 17111 13388 0 0 1218 54 5 3 20 0 15 0 404784165 11109400576 818813 33554432000 4194304 4196468 140724279169280 140541541144848 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32694] ppid=32636 vsize=10849024 memory=3274756 CPUtime=12.81 cores=0-3 /proc/32639/task/32694/stat : 32694 (java) S 32636 32639 31157 0 -1 1077944384 18730 13388 0 0 1218 55 5 3 20 0 15 0 404784165 11109400576 818813 33554432000 4194304 4196468 140724279169280 140541109705104 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32695] ppid=32636 vsize=10849024 memory=3275252 CPUtime=12.78 cores=0-3 /proc/32639/task/32695/stat : 32695 (java) S 32636 32639 31157 0 -1 1077944384 17192 13388 0 0 1213 57 5 3 20 0 15 0 404784165 11109400576 818813 33554432000 4194304 4196468 140724279169280 140541108652560 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32696] ppid=32636 vsize=10849024 memory=3275252 CPUtime=12.8 cores=0-3 /proc/32639/task/32696/stat : 32696 (java) S 32636 32639 31157 0 -1 1077944384 19685 13388 0 0 1218 54 5 3 20 0 15 0 404784165 11109400576 818813 33554432000 4194304 4196468 140724279169280 140541107600016 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32697] ppid=32636 vsize=10849024 memory=3275252 CPUtime=6.03 cores=0-3 /proc/32639/task/32697/stat : 32697 (java) S 32636 32639 31157 0 -1 1077944384 21326 13388 0 0 542 53 5 3 20 0 15 0 404784167 11109400576 818813 33554432000 4194304 4196468 140724279169280 140541063506416 140541536914050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32698] ppid=32636 vsize=10849024 memory=3275252 CPUtime=0.08 cores=0-3 /proc/32639/task/32698/stat : 32698 (java) S 32636 32639 31157 0 -1 1077944384 15 13388 0 0 0 0 5 3 20 0 15 0 404784167 11109400576 818813 33554432000 4194304 4196468 140724279169280 140540993594848 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32699] ppid=32636 vsize=10849024 memory=3275252 CPUtime=0.08 cores=0-3 /proc/32639/task/32699/stat : 32699 (java) S 32636 32639 31157 0 -1 1077944384 1 13388 0 0 0 0 5 3 20 0 15 0 404784167 11109400576 818813 33554432000 4194304 4196468 140724279169280 140540859377152 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32700] ppid=32636 vsize=10849024 memory=3275252 CPUtime=0.08 cores=0-3 /proc/32639/task/32700/stat : 32700 (java) S 32636 32639 31157 0 -1 1077944384 3 13388 0 0 0 0 5 3 20 0 15 0 404784170 11109400576 818813 33554432000 4194304 4196468 140724279169280 140540082215632 140541536921499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32701] ppid=32636 vsize=10849024 memory=6791534058613427641 CPUtime=5.85 cores=0-3 /proc/32639/task/32701/stat : 32701 (java) S 32636 32639 31157 0 -1 1077944384 48776 13388 0 0 570 7 5 3 20 0 15 0 404784170 11109400576 818813 33554432000 4194304 4196468 140724279169280 140541062453232 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32702] ppid=32636 vsize=10849024 memory=3275252 CPUtime=5.76 cores=0-3 /proc/32639/task/32702/stat : 32702 (java) S 32636 32639 31157 0 -1 1077944384 35204 13388 0 0 560 8 5 3 20 0 15 0 404784170 11109400576 818813 33554432000 4194304 4196468 140724279169280 140540960036976 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32703] ppid=32636 vsize=10849024 memory=288230574492221466 CPUtime=4.12 cores=0-3 /proc/32639/task/32703/stat : 32703 (java) S 32636 32639 31157 0 -1 1077944384 38613 13388 0 0 397 7 5 3 20 0 15 0 404784170 11109400576 818813 33554432000 4194304 4196468 140724279169280 140540958984432 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32704] ppid=32636 vsize=10849024 memory=288230596050944315 CPUtime=0.08 cores=0-3 /proc/32639/task/32704/stat : 32704 (java) S 32636 32639 31157 0 -1 1077944384 3 13388 0 0 0 0 5 3 20 0 15 0 404784171 11109400576 818813 33554432000 4194304 4196468 140724279169280 140540048656992 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32705] ppid=32636 vsize=10849024 memory=279823563466080 CPUtime=1.4 cores=0-3 /proc/32639/task/32705/stat : 32705 (java) S 32636 32639 31157 0 -1 1077944384 1017 13388 0 0 69 63 5 3 20 0 15 0 404784171 11109400576 818813 33554432000 4194304 4196468 140724279169280 140540957932336 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 Current children cumulated CPU time: 2435.31 s Current children cumulated vsize: 10849024 KiB Current children cumulated memory: 3275252 KiB [startup+2442.3 s] /proc/loadavg: 1.45 1.43 1.50 3/228 924 /proc/meminfo: memFree=19555776/32770688 swapFree=66960404/67108860 [pid=32639] ppid=32636 vsize=10849024 memory=3274228 CPUtime=2495.41 cores=0-3 /proc/32639/stat : 32639 (java) S 32636 32639 31157 0 -1 1077944320 748858 13388 0 0 249091 442 5 3 20 0 15 0 404784155 11109400576 818557 33554432000 4194304 4196468 140724279169280 140724279151824 140541536902903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 /proc/32639/statm: 2712256 818557 3629 1 0 2674317 0 [pid=32639/tid=32692] ppid=32636 vsize=10849024 memory=3275252 CPUtime=2421.5 cores=0-3 /proc/32639/task/32692/stat : 32692 (java) R 32636 32639 31157 0 -1 4202560 528112 13388 0 0 242026 116 5 3 20 0 15 0 404784164 11109400576 818557 33554432000 4194304 4196468 140724279169280 140541508738592 140541155723137 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32693] ppid=32636 vsize=10849024 memory=3274228 CPUtime=12.83 cores=0-3 /proc/32639/task/32693/stat : 32693 (java) S 32636 32639 31157 0 -1 1077944384 17219 13388 0 0 1221 54 5 3 20 0 15 0 404784165 11109400576 818557 33554432000 4194304 4196468 140724279169280 140541541144848 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32694] ppid=32636 vsize=10849024 memory=3274228 CPUtime=12.84 cores=0-3 /proc/32639/task/32694/stat : 32694 (java) S 32636 32639 31157 0 -1 1077944384 18958 13388 0 0 1221 55 5 3 20 0 15 0 404784165 11109400576 818557 33554432000 4194304 4196468 140724279169280 140541109705104 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32695] ppid=32636 vsize=10849024 memory=3274228 CPUtime=12.8 cores=0-3 /proc/32639/task/32695/stat : 32695 (java) S 32636 32639 31157 0 -1 1077944384 17321 13388 0 0 1215 57 5 3 20 0 15 0 404784165 11109400576 818557 33554432000 4194304 4196468 140724279169280 140541108652560 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32696] ppid=32636 vsize=10849024 memory=3274228 CPUtime=12.83 cores=0-3 /proc/32639/task/32696/stat : 32696 (java) S 32636 32639 31157 0 -1 1077944384 19861 13388 0 0 1221 54 5 3 20 0 15 0 404784165 11109400576 818557 33554432000 4194304 4196468 140724279169280 140541107600016 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32697] ppid=32636 vsize=10849024 memory=3274228 CPUtime=6.05 cores=0-3 /proc/32639/task/32697/stat : 32697 (java) S 32636 32639 31157 0 -1 1077944384 21520 13388 0 0 544 53 5 3 20 0 15 0 404784167 11109400576 818557 33554432000 4194304 4196468 140724279169280 140541063506416 140541536914050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32698] ppid=32636 vsize=10849024 memory=3274228 CPUtime=0.08 cores=0-3 /proc/32639/task/32698/stat : 32698 (java) S 32636 32639 31157 0 -1 1077944384 15 13388 0 0 0 0 5 3 20 0 15 0 404784167 11109400576 818557 33554432000 4194304 4196468 140724279169280 140540993594848 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32699] ppid=32636 vsize=10849024 memory=3274228 CPUtime=0.08 cores=0-3 /proc/32639/task/32699/stat : 32699 (java) S 32636 32639 31157 0 -1 1077944384 1 13388 0 0 0 0 5 3 20 0 15 0 404784167 11109400576 818557 33554432000 4194304 4196468 140724279169280 140540859377152 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32700] ppid=32636 vsize=10849024 memory=3274228 CPUtime=0.08 cores=0-3 /proc/32639/task/32700/stat : 32700 (java) S 32636 32639 31157 0 -1 1077944384 3 13388 0 0 0 0 5 3 20 0 15 0 404784170 11109400576 818557 33554432000 4194304 4196468 140724279169280 140540082215632 140541536921499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32701] ppid=32636 vsize=10849024 memory=3274228 CPUtime=5.85 cores=0-3 /proc/32639/task/32701/stat : 32701 (java) S 32636 32639 31157 0 -1 1077944384 48778 13388 0 0 570 7 5 3 20 0 15 0 404784170 11109400576 818557 33554432000 4194304 4196468 140724279169280 140541062453232 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32702] ppid=32636 vsize=10849024 memory=3274228 CPUtime=5.76 cores=0-3 /proc/32639/task/32702/stat : 32702 (java) S 32636 32639 31157 0 -1 1077944384 35206 13388 0 0 560 8 5 3 20 0 15 0 404784170 11109400576 818557 33554432000 4194304 4196468 140724279169280 140540960036976 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32703] ppid=32636 vsize=10849024 memory=3612 CPUtime=4.12 cores=0-3 /proc/32639/task/32703/stat : 32703 (java) S 32636 32639 31157 0 -1 1077944384 38615 13388 0 0 397 7 5 3 20 0 15 0 404784170 11109400576 818557 33554432000 4194304 4196468 140724279169280 140540958984432 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32704] ppid=32636 vsize=10849024 memory=6791534058613427641 CPUtime=0.08 cores=0-3 /proc/32639/task/32704/stat : 32704 (java) S 32636 32639 31157 0 -1 1077944384 3 13388 0 0 0 0 5 3 20 0 15 0 404784171 11109400576 818557 33554432000 4194304 4196468 140724279169280 140540048656992 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32705] ppid=32636 vsize=10849024 memory=984 CPUtime=1.44 cores=0-3 /proc/32639/task/32705/stat : 32705 (java) S 32636 32639 31157 0 -1 1077944384 1035 13388 0 0 71 65 5 3 20 0 15 0 404784171 11109400576 818557 33554432000 4194304 4196468 140724279169280 140540957932336 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 Current children cumulated CPU time: 2495.41 s Current children cumulated vsize: 10849024 KiB Current children cumulated memory: 3274228 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2466.9 s] /proc/loadavg: 1.43 1.43 1.49 3/228 925 /proc/meminfo: memFree=19555832/32770688 swapFree=66960404/67108860 [pid=32639] ppid=32636 vsize=10849024 memory=3274228 CPUtime=2520.05 cores=0-3 /proc/32639/stat : 32639 (java) S 32636 32639 31157 0 -1 1077944320 781274 13388 0 0 251553 444 5 3 20 0 15 0 404784155 11109400576 818557 33554432000 4194304 4196468 140724279169280 140724279151824 140541536902903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 /proc/32639/statm: 2712256 818557 3629 1 0 2674317 0 [pid=32639/tid=32692] ppid=32636 vsize=10849024 memory=3274228 CPUtime=2446.07 cores=0-3 /proc/32639/task/32692/stat : 32692 (java) R 32636 32639 31157 0 -1 4202560 560243 13388 0 0 244482 117 5 3 20 0 15 0 404784164 11109400576 818557 33554432000 4194304 4196468 140724279169280 140541508738032 140541141250259 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32693] ppid=32636 vsize=10849024 memory=3274228 CPUtime=12.84 cores=0-3 /proc/32639/task/32693/stat : 32693 (java) S 32636 32639 31157 0 -1 1077944384 17257 13388 0 0 1222 54 5 3 20 0 15 0 404784165 11109400576 818557 33554432000 4194304 4196468 140724279169280 140541541144848 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32694] ppid=32636 vsize=10849024 memory=279823562843072 CPUtime=12.85 cores=0-3 /proc/32639/task/32694/stat : 32694 (java) S 32636 32639 31157 0 -1 1077944384 19130 13388 0 0 1222 55 5 3 20 0 15 0 404784165 11109400576 818557 33554432000 4194304 4196468 140724279169280 140541109705104 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32695] ppid=32636 vsize=10849024 memory=3274228 CPUtime=12.82 cores=0-3 /proc/32639/task/32695/stat : 32695 (java) S 32636 32639 31157 0 -1 1077944384 17364 13388 0 0 1217 57 5 3 20 0 15 0 404784165 11109400576 818557 33554432000 4194304 4196468 140724279169280 140541108652560 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32696] ppid=32636 vsize=10849024 memory=3274228 CPUtime=12.84 cores=0-3 /proc/32639/task/32696/stat : 32696 (java) S 32636 32639 31157 0 -1 1077944384 19888 13388 0 0 1222 54 5 3 20 0 15 0 404784165 11109400576 818557 33554432000 4194304 4196468 140724279169280 140541107600016 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32697] ppid=32636 vsize=10849024 memory=3274228 CPUtime=6.05 cores=0-3 /proc/32639/task/32697/stat : 32697 (java) S 32636 32639 31157 0 -1 1077944384 21523 13388 0 0 544 53 5 3 20 0 15 0 404784167 11109400576 818557 33554432000 4194304 4196468 140724279169280 140541063506416 140541536914050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32698] ppid=32636 vsize=10849024 memory=3274228 CPUtime=0.08 cores=0-3 /proc/32639/task/32698/stat : 32698 (java) S 32636 32639 31157 0 -1 1077944384 15 13388 0 0 0 0 5 3 20 0 15 0 404784167 11109400576 818557 33554432000 4194304 4196468 140724279169280 140540993594848 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32699] ppid=32636 vsize=10849024 memory=3274228 CPUtime=0.08 cores=0-3 /proc/32639/task/32699/stat : 32699 (java) S 32636 32639 31157 0 -1 1077944384 1 13388 0 0 0 0 5 3 20 0 15 0 404784167 11109400576 818557 33554432000 4194304 4196468 140724279169280 140540859377152 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32700] ppid=32636 vsize=10849024 memory=3274228 CPUtime=0.08 cores=0-3 /proc/32639/task/32700/stat : 32700 (java) S 32636 32639 31157 0 -1 1077944384 3 13388 0 0 0 0 5 3 20 0 15 0 404784170 11109400576 818557 33554432000 4194304 4196468 140724279169280 140540082215632 140541536921499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32701] ppid=32636 vsize=10849024 memory=3274228 CPUtime=5.85 cores=0-3 /proc/32639/task/32701/stat : 32701 (java) S 32636 32639 31157 0 -1 1077944384 48778 13388 0 0 570 7 5 3 20 0 15 0 404784170 11109400576 818557 33554432000 4194304 4196468 140724279169280 140541062453232 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32702] ppid=32636 vsize=10849024 memory=6791534058613427641 CPUtime=5.76 cores=0-3 /proc/32639/task/32702/stat : 32702 (java) S 32636 32639 31157 0 -1 1077944384 35206 13388 0 0 560 8 5 3 20 0 15 0 404784170 11109400576 818557 33554432000 4194304 4196468 140724279169280 140540960036976 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32703] ppid=32636 vsize=10849024 memory=1408 CPUtime=4.12 cores=0-3 /proc/32639/task/32703/stat : 32703 (java) S 32636 32639 31157 0 -1 1077944384 38615 13388 0 0 397 7 5 3 20 0 15 0 404784170 11109400576 818557 33554432000 4194304 4196468 140724279169280 140540958984432 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32704] ppid=32636 vsize=10849024 memory=3274228 CPUtime=0.08 cores=0-3 /proc/32639/task/32704/stat : 32704 (java) S 32636 32639 31157 0 -1 1077944384 3 13388 0 0 0 0 5 3 20 0 15 0 404784171 11109400576 818557 33554432000 4194304 4196468 140724279169280 140540048656992 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32705] ppid=32636 vsize=10849024 memory=3274228 CPUtime=1.46 cores=0-3 /proc/32639/task/32705/stat : 32705 (java) S 32636 32639 31157 0 -1 1077944384 1037 13388 0 0 72 66 5 3 20 0 15 0 404784171 11109400576 818557 33554432000 4194304 4196468 140724279169280 140540957932336 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 Current children cumulated CPU time: 2520.05 s Current children cumulated vsize: 10849024 KiB Current children cumulated memory: 3274228 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2466.96 s] # the end of solver process 32639 was just reported to runsolver # cumulated CPU time of all completed processes: user=2515.62 s, system=4.52111 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2466.9 s] /proc/loadavg: 1.43 1.43 1.49 3/228 925 /proc/meminfo: memFree=19555832/32770688 swapFree=66960404/67108860 [pid=32639] ppid=32636 vsize=10849024 memory=3274228 CPUtime=2520.05 cores=0-3 /proc/32639/stat : 32639 (java) S 32636 32639 31157 0 -1 1077944320 781274 13388 0 0 251553 444 5 3 20 0 15 0 404784155 11109400576 818557 33554432000 4194304 4196468 140724279169280 140724279151824 140541536902903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 /proc/32639/statm: 2712256 818557 3629 1 0 2674317 0 [pid=32639/tid=32692] ppid=32636 vsize=10849024 memory=3274228 CPUtime=2446.07 cores=0-3 /proc/32639/task/32692/stat : 32692 (java) R 32636 32639 31157 0 -1 4202560 560243 13388 0 0 244482 117 5 3 20 0 15 0 404784164 11109400576 818557 33554432000 4194304 4196468 140724279169280 140541508738032 140541141250259 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32693] ppid=32636 vsize=10849024 memory=3274228 CPUtime=12.84 cores=0-3 /proc/32639/task/32693/stat : 32693 (java) S 32636 32639 31157 0 -1 1077944384 17257 13388 0 0 1222 54 5 3 20 0 15 0 404784165 11109400576 818557 33554432000 4194304 4196468 140724279169280 140541541144848 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32694] ppid=32636 vsize=10849024 memory=279823562843072 CPUtime=12.85 cores=0-3 /proc/32639/task/32694/stat : 32694 (java) S 32636 32639 31157 0 -1 1077944384 19130 13388 0 0 1222 55 5 3 20 0 15 0 404784165 11109400576 818557 33554432000 4194304 4196468 140724279169280 140541109705104 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32695] ppid=32636 vsize=10849024 memory=3274228 CPUtime=12.82 cores=0-3 /proc/32639/task/32695/stat : 32695 (java) S 32636 32639 31157 0 -1 1077944384 17364 13388 0 0 1217 57 5 3 20 0 15 0 404784165 11109400576 818557 33554432000 4194304 4196468 140724279169280 140541108652560 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32696] ppid=32636 vsize=10849024 memory=3274228 CPUtime=12.84 cores=0-3 /proc/32639/task/32696/stat : 32696 (java) S 32636 32639 31157 0 -1 1077944384 19888 13388 0 0 1222 54 5 3 20 0 15 0 404784165 11109400576 818557 33554432000 4194304 4196468 140724279169280 140541107600016 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32697] ppid=32636 vsize=10849024 memory=3274228 CPUtime=6.05 cores=0-3 /proc/32639/task/32697/stat : 32697 (java) S 32636 32639 31157 0 -1 1077944384 21523 13388 0 0 544 53 5 3 20 0 15 0 404784167 11109400576 818557 33554432000 4194304 4196468 140724279169280 140541063506416 140541536914050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32698] ppid=32636 vsize=10849024 memory=3274228 CPUtime=0.08 cores=0-3 /proc/32639/task/32698/stat : 32698 (java) S 32636 32639 31157 0 -1 1077944384 15 13388 0 0 0 0 5 3 20 0 15 0 404784167 11109400576 818557 33554432000 4194304 4196468 140724279169280 140540993594848 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32699] ppid=32636 vsize=10849024 memory=3274228 CPUtime=0.08 cores=0-3 /proc/32639/task/32699/stat : 32699 (java) S 32636 32639 31157 0 -1 1077944384 1 13388 0 0 0 0 5 3 20 0 15 0 404784167 11109400576 818557 33554432000 4194304 4196468 140724279169280 140540859377152 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32700] ppid=32636 vsize=10849024 memory=3274228 CPUtime=0.08 cores=0-3 /proc/32639/task/32700/stat : 32700 (java) S 32636 32639 31157 0 -1 1077944384 3 13388 0 0 0 0 5 3 20 0 15 0 404784170 11109400576 818557 33554432000 4194304 4196468 140724279169280 140540082215632 140541536921499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32701] ppid=32636 vsize=10849024 memory=3274228 CPUtime=5.85 cores=0-3 /proc/32639/task/32701/stat : 32701 (java) S 32636 32639 31157 0 -1 1077944384 48778 13388 0 0 570 7 5 3 20 0 15 0 404784170 11109400576 818557 33554432000 4194304 4196468 140724279169280 140541062453232 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32702] ppid=32636 vsize=10849024 memory=6791534058613427641 CPUtime=5.76 cores=0-3 /proc/32639/task/32702/stat : 32702 (java) S 32636 32639 31157 0 -1 1077944384 35206 13388 0 0 560 8 5 3 20 0 15 0 404784170 11109400576 818557 33554432000 4194304 4196468 140724279169280 140540960036976 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32703] ppid=32636 vsize=10849024 memory=1408 CPUtime=4.12 cores=0-3 /proc/32639/task/32703/stat : 32703 (java) S 32636 32639 31157 0 -1 1077944384 38615 13388 0 0 397 7 5 3 20 0 15 0 404784170 11109400576 818557 33554432000 4194304 4196468 140724279169280 140540958984432 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32704] ppid=32636 vsize=10849024 memory=3274228 CPUtime=0.08 cores=0-3 /proc/32639/task/32704/stat : 32704 (java) S 32636 32639 31157 0 -1 1077944384 3 13388 0 0 0 0 5 3 20 0 15 0 404784171 11109400576 818557 33554432000 4194304 4196468 140724279169280 140540048656992 140541536913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 [pid=32639/tid=32705] ppid=32636 vsize=10849024 memory=3274228 CPUtime=1.46 cores=0-3 /proc/32639/task/32705/stat : 32705 (java) S 32636 32639 31157 0 -1 1077944384 1037 13388 0 0 72 66 5 3 20 0 15 0 404784171 11109400576 818557 33554432000 4194304 4196468 140724279169280 140540957932336 140541536914050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21172224 140724279171830 140724279174341 140724279174341 140724279177167 0 Current children cumulated CPU time: 2520.05 s Current children cumulated vsize: 10849024 KiB Current children cumulated memory: 3274228 KiB Child status: 143 Real time (s): 2466.96 CPU time (s): 2520.14 CPU user time (s): 2515.62 CPU system time (s): 4.52111 CPU usage (%): 102.156 Max. virtual memory (cumulated for all children) (KiB): 10852004 Max. memory (cumulated for all children) (KiB): 3275252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2515.62 system time used= 4.52111 maximum resident set size= 3278456 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 795649 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3072 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 181309 involuntary context switches= 6720 # summary of solver processes directly reported to runsolver: # pid: 32639 # total CPU time (s): 2520.14 # total CPU user time (s): 2515.62 # total CPU system time (s): 4.52111 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 17.417 second user time and 25.2145 second system time The end
Begin job on node116 at 2019-09-12 13:39:44 IDJOB=4387021 IDBENCH=120766 IDSOLVER=2823 FILE ID=node116/4387021-1568288424 RUNJOBID= node116-1568285921-31916 PBS_JOBID= 21701086 Free space on /tmp= 54296 MiB SOLVER NAME= Concrete 3.10 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K09-P07.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387021-1568288424/watcher-4387021-1568288424 -o /tmp/evaluation-result-4387021-1568288424/solver-4387021-1568288424 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568285921-31916 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=706344140 HOME/instance-4387021-1568288424.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 77d215e563c424ff51075488b165aa80 RANDOM SEED=706344140 node116.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.12 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.12 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.12 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.12 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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 : 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 : 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 20725832 kB MemAvailable: 28239768 kB Buffers: 95352 kB Cached: 7631904 kB SwapCached: 46384 kB Active: 5000800 kB Inactive: 6346964 kB Active(anon): 3584440 kB Inactive(anon): 76696 kB Active(file): 1416360 kB Inactive(file): 6270268 kB Unevictable: 110104 kB Mlocked: 110104 kB SwapTotal: 67108860 kB SwapFree: 66960400 kB Dirty: 35804 kB Writeback: 0 kB AnonPages: 3685348 kB Mapped: 54968 kB Shmem: 31784 kB Slab: 284532 kB SReclaimable: 255768 kB SUnreclaim: 28764 kB KernelStack: 3728 kB PageTables: 13072 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 4717920 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3500032 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 54260 MiB End job on node116 at 2019-09-12 14:20:51