Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Concrete 3.12.3 | ? (TO) | 2520.07 | 2476.54 |
Name | XCSP19/ConsecutiveSquarePacking/ ConsecutiveSquarePacking-sp-18-047.xml |
MD5SUM | 503235a9ef2fa2334058f0cfe41dccf4 |
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 | 4.71301 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 36 |
Number of constraints | 153 |
Number of domains | 18 |
Minimum domain size | 30 |
Maximum domain size | 47 |
Distribution of domain sizes | [{"size":30,"count":2},{"size":31,"count":2},{"size":32,"count":2},{"size":33,"count":2},{"size":34,"count":2},{"size":35,"count":2},{"size":36,"count":2},{"size":37,"count":2},{"size":38,"count":2},{"size":39,"count":2},{"size":40,"count":2},{"size":41,"count":2},{"size":42,"count":2},{"size":43,"count":2},{"size":44,"count":2},{"size":45,"count":2},{"size":46,"count":2},{"size":47,"count":2}] |
Minimum variable degree | 17 |
Maximum variable degree | 17 |
Distribution of variable degrees | [{"degree":17,"count":36}] |
Minimum constraint arity | 4 |
Maximum constraint arity | 4 |
Distribution of constraint arities | [{"arity":4,"count":153}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 153 |
Distribution of constraint types | [{"type":"intension","count":153}] |
Optimization problem | NO |
Type of objective |
0.80/0.60 c Concrete v3.12.3.1568965526260 running 2520.02/2476.51 Exception in thread "main" java.util.concurrent.TimeoutException 2520.02/2476.51 at concrete.MAC.mac(MAC.scala:192) 2520.02/2476.51 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265) 2520.02/2476.51 at scala.util.Try$.apply(Try.scala:210) 2520.02/2476.51 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2520.02/2476.51 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2520.02/2476.51 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2520.02/2476.51 at concrete.MAC.oneRun(MAC.scala:265) 2520.02/2476.51 at concrete.MAC.nextSolution(MAC.scala:284) 2520.02/2476.51 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:350) 2520.02/2476.51 at concrete.ProblemState.map(ProblemState.scala:238) 2520.02/2476.51 at concrete.ProblemState.map(ProblemState.scala:212) 2520.02/2476.51 at concrete.MAC.nextSolution(MAC.scala:348) 2520.02/2476.51 at concrete.Solver.hasNext(Solver.scala:160) 2520.02/2476.51 at scala.collection.Iterator.nextOption(Iterator.scala:102) 2520.02/2476.51 at scala.collection.Iterator.nextOption$(Iterator.scala:102) 2520.02/2476.51 at concrete.Solver.nextOption(Solver.scala:67) 2520.02/2476.51 at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:78) 2520.02/2476.51 at scala.util.Success.map(Try.scala:262) 2520.02/2476.51 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.02/2476.51 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2520.02/2476.51 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.02/2476.51 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.02/2476.51 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.02/2476.51 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2520.02/2476.51 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2520.02/2476.51 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2520.02/2476.51 at scala.App.$anonfun$main$1(App.scala:73) 2520.02/2476.51 at scala.App.$anonfun$main$1$adapted(App.scala:73) 2520.02/2476.51 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553) 2520.02/2476.51 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551) 2520.02/2476.51 at scala.collection.AbstractIterable.foreach(Iterable.scala:921) 2520.02/2476.51 at scala.App.main(App.scala:73) 2520.02/2476.51 at scala.App.main$(App.scala:71) 2520.02/2476.51 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.02/2476.51 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.02/2476.51 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 (3135 MiB free) memory of node 1: 16384 MiB (2921 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402425-1568989166/watcher-4402425-1568989166 -o /tmp/evaluation-result-4402425-1568989166/solver-4402425-1568989166 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324482060-14013 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1076526139 HOME/instance-4402425-1568989166.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=20342, runsolver pid=20339 [startup+0.100132 s]* /proc/loadavg: 1.24 1.28 1.35 2/214 20395 /proc/meminfo: memFree=6198500/32770688 swapFree=66927196/67108860 [pid=20342] ppid=20339 vsize=9972712 memory=16024 CPUtime=0.09 cores=4-7 /proc/20342/stat : 20342 (java) S 20339 20342 13981 0 -1 1077944320 4285 13006 0 0 1 0 6 2 20 0 6 0 474922827 10212057088 4006 33554432000 4194304 4196468 140731895142464 140731895125008 140635907489527 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 /proc/20342/statm: 2493178 4006 1896 1 0 2481616 0 [pid=20342/tid=20395] ppid=20339 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=4-7 /proc/20342/task/20395/stat : 20395 (java) R 20339 20342 13981 0 -1 4202560 2096 13006 0 0 0 0 6 2 20 0 6 0 474922837 10212057088 4072 33554432000 4194304 4196468 140731895142464 140635879326288 140635893172053 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20396] ppid=20339 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=4-7 /proc/20342/task/20396/stat : 20396 (java) S 20339 20342 13981 0 -1 1077944384 1 13006 0 0 0 0 6 2 20 0 6 0 474922837 10212057088 4072 33554432000 4194304 4196468 140731895142464 140635911731600 140635907499733 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20397] ppid=20339 vsize=9972712 memory=140257500718720 CPUtime=0.08 cores=4-7 /proc/20342/task/20397/stat : 20397 (java) S 20339 20342 13981 0 -1 1077944384 1 13006 0 0 0 0 6 2 20 0 6 0 474922837 10212057088 4072 33554432000 4194304 4196468 140731895142464 140635826551056 140635907499733 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20398] ppid=20339 vsize=9972712 memory=0 CPUtime=0.08 cores=4-7 /proc/20342/task/20398/stat : 20398 (java) S 20339 20342 13981 0 -1 1077944384 2 13006 0 0 0 0 6 2 20 0 6 0 474922837 10212057088 4072 33554432000 4194304 4196468 140731895142464 140635825498768 140635907499733 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20399] ppid=20339 vsize=9972712 memory=-1 CPUtime=0.08 cores=4-7 /proc/20342/task/20399/stat : 20399 (java) S 20339 20342 13981 0 -1 1077944384 2 13006 0 0 0 0 6 2 20 0 6 0 474922837 10212057088 4072 33554432000 4194304 4196468 140731895142464 140635824445968 140635907499733 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 9972712 KiB Current children cumulated memory: 16024 KiB [startup+0.211101 s]* /proc/loadavg: 1.24 1.28 1.35 3/227 20408 /proc/meminfo: memFree=6174368/32770688 swapFree=66927196/67108860 [pid=20342] ppid=20339 vsize=10819716 memory=40716 CPUtime=0.26 cores=4-7 /proc/20342/stat : 20342 (java) S 20339 20342 13981 0 -1 1077944320 6960 13006 0 0 17 1 6 2 20 0 15 0 474922827 11079389184 10179 33554432000 4194304 4196468 140731895142464 140731895125008 140635907489527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 /proc/20342/statm: 2704929 10179 3178 1 0 2667149 0 [pid=20342/tid=20395] ppid=20339 vsize=10819716 memory=7022364594140610616 CPUtime=0.19 cores=4-7 /proc/20342/task/20395/stat : 20395 (java) R 20339 20342 13981 0 -1 4202560 3465 13006 0 0 10 1 6 2 20 0 15 0 474922837 11079389184 10179 33554432000 4194304 4196468 140731895142464 140635879322304 140635907511453 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20396] ppid=20339 vsize=10819716 memory=364 CPUtime=0.08 cores=4-7 /proc/20342/task/20396/stat : 20396 (java) S 20339 20342 13981 0 -1 1077944384 1 13006 0 0 0 0 6 2 20 0 15 0 474922837 11079389184 10179 33554432000 4194304 4196468 140731895142464 140635911731600 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20397] ppid=20339 vsize=10819716 memory=140257500737208 CPUtime=0.08 cores=4-7 /proc/20342/task/20397/stat : 20397 (java) S 20339 20342 13981 0 -1 1077944384 1 13006 0 0 0 0 6 2 20 0 15 0 474922837 11079389184 10179 33554432000 4194304 4196468 140731895142464 140635826551056 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20398] ppid=20339 vsize=10819716 memory=0 CPUtime=0.08 cores=4-7 /proc/20342/task/20398/stat : 20398 (java) S 20339 20342 13981 0 -1 1077944384 2 13006 0 0 0 0 6 2 20 0 15 0 474922837 11079389184 10179 33554432000 4194304 4196468 140731895142464 140635825498768 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20399] ppid=20339 vsize=10819716 memory=-1 CPUtime=0.08 cores=4-7 /proc/20342/task/20399/stat : 20399 (java) S 20339 20342 13981 0 -1 1077944384 2 13006 0 0 0 0 6 2 20 0 15 0 474922837 11079389184 10179 33554432000 4194304 4196468 140731895142464 140635824445968 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20400] ppid=20339 vsize=10819716 memory=140257500718720 CPUtime=0.08 cores=4-7 /proc/20342/task/20400/stat : 20400 (java) S 20339 20342 13981 0 -1 1077944384 2 13006 0 0 0 0 6 2 20 0 15 0 474922839 11079389184 10179 33554432000 4194304 4196468 140731895142464 140635434056304 140635907500674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20401] ppid=20339 vsize=10819716 memory=-1 CPUtime=0.08 cores=4-7 /proc/20342/task/20401/stat : 20401 (java) S 20339 20342 13981 0 -1 1077944384 13 13006 0 0 0 0 6 2 20 0 15 0 474922840 11079389184 10179 33554432000 4194304 4196468 140731895142464 140635348657440 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20402] ppid=20339 vsize=10819716 memory=0 CPUtime=0.08 cores=4-7 /proc/20342/task/20402/stat : 20402 (java) S 20339 20342 13981 0 -1 1077944384 1 13006 0 0 0 0 6 2 20 0 15 0 474922840 11079389184 10179 33554432000 4194304 4196468 140731895142464 140634744678000 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20403] ppid=20339 vsize=10819716 memory=0 CPUtime=0.08 cores=4-7 /proc/20342/task/20403/stat : 20403 (java) S 20339 20342 13981 0 -1 1077944384 3 13006 0 0 0 0 6 2 20 0 15 0 474922843 11079389184 10179 33554432000 4194304 4196468 140731895142464 140634437278288 140635907508123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20404] ppid=20339 vsize=10819716 memory=0 CPUtime=0.09 cores=4-7 /proc/20342/task/20404/stat : 20404 (java) S 20339 20342 13981 0 -1 1077944384 470 13006 0 0 1 0 6 2 20 0 15 0 474922843 11079389184 10179 33554432000 4194304 4196468 140731895142464 140635433003120 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20405] ppid=20339 vsize=10819716 memory=-1 CPUtime=0.08 cores=4-7 /proc/20342/task/20405/stat : 20405 (java) S 20339 20342 13981 0 -1 1077944384 181 13006 0 0 0 0 6 2 20 0 15 0 474922843 11079389184 10179 33554432000 4194304 4196468 140731895142464 140635431950320 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20406] ppid=20339 vsize=10819716 memory=140257500718720 CPUtime=0.11 cores=4-7 /proc/20342/task/20406/stat : 20406 (java) R 20339 20342 13981 0 -1 4202560 607 13006 0 0 3 0 6 2 20 0 15 0 474922843 11079389184 10179 33554432000 4194304 4196468 140731895142464 140635430898032 140635907510874 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20407] ppid=20339 vsize=10819716 memory=-1 CPUtime=0.08 cores=4-7 /proc/20342/task/20407/stat : 20407 (java) S 20339 20342 13981 0 -1 1077944384 3 13006 0 0 0 0 6 2 20 0 15 0 474922843 11079389184 10179 33554432000 4194304 4196468 140731895142464 140634403719648 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20408] ppid=20339 vsize=10819716 memory=140257500718720 CPUtime=0.08 cores=4-7 /proc/20342/task/20408/stat : 20408 (java) S 20339 20342 13981 0 -1 1077944384 1 13006 0 0 0 0 6 2 20 0 15 0 474922843 11079389184 10179 33554432000 4194304 4196468 140731895142464 140635429845936 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 Current children cumulated CPU time: 0.26 s Current children cumulated vsize: 10819716 KiB Current children cumulated memory: 40716 KiB [startup+0.31135 s]* /proc/loadavg: 1.24 1.28 1.35 4/227 20408 /proc/meminfo: memFree=6162008/32770688 swapFree=66927196/67108860 [pid=20342] ppid=20339 vsize=10820196 memory=51784 CPUtime=0.4 cores=4-7 /proc/20342/stat : 20342 (java) S 20339 20342 13981 0 -1 1077944320 10643 13006 0 0 29 3 6 2 20 0 15 0 474922827 11079880704 12946 33554432000 4194304 4196468 140731895142464 140731895125008 140635907489527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 /proc/20342/statm: 2705049 12946 3306 1 0 2667149 0 [pid=20342/tid=20395] ppid=20339 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=4-7 /proc/20342/task/20395/stat : 20395 (java) R 20339 20342 13981 0 -1 4202560 7122 13006 0 0 19 2 6 2 20 0 15 0 474922837 11079880704 12946 33554432000 4194304 4196468 140731895142464 140635879298448 140635907511453 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20396] ppid=20339 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7 /proc/20342/task/20396/stat : 20396 (java) S 20339 20342 13981 0 -1 1077944384 1 13006 0 0 0 0 6 2 20 0 15 0 474922837 11079880704 12946 33554432000 4194304 4196468 140731895142464 140635911731600 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20397] ppid=20339 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7 /proc/20342/task/20397/stat : 20397 (java) S 20339 20342 13981 0 -1 1077944384 1 13006 0 0 0 0 6 2 20 0 15 0 474922837 11079880704 12946 33554432000 4194304 4196468 140731895142464 140635826551056 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20398] ppid=20339 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7 /proc/20342/task/20398/stat : 20398 (java) S 20339 20342 13981 0 -1 1077944384 2 13006 0 0 0 0 6 2 20 0 15 0 474922837 11079880704 12946 33554432000 4194304 4196468 140731895142464 140635825498768 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20399] ppid=20339 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7 /proc/20342/task/20399/stat : 20399 (java) S 20339 20342 13981 0 -1 1077944384 2 13006 0 0 0 0 6 2 20 0 15 0 474922837 11079880704 12946 33554432000 4194304 4196468 140731895142464 140635824445968 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20400] ppid=20339 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7 /proc/20342/task/20400/stat : 20400 (java) S 20339 20342 13981 0 -1 1077944384 2 13006 0 0 0 0 6 2 20 0 15 0 474922839 11079880704 12946 33554432000 4194304 4196468 140731895142464 140635434056304 140635907500674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20401] ppid=20339 vsize=10820196 memory=-1 CPUtime=0.08 cores=4-7 /proc/20342/task/20401/stat : 20401 (java) S 20339 20342 13981 0 -1 1077944384 13 13006 0 0 0 0 6 2 20 0 15 0 474922840 11079880704 12946 33554432000 4194304 4196468 140731895142464 140635348657440 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20402] ppid=20339 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7 /proc/20342/task/20402/stat : 20402 (java) S 20339 20342 13981 0 -1 1077944384 1 13006 0 0 0 0 6 2 20 0 15 0 474922840 11079880704 12946 33554432000 4194304 4196468 140731895142464 140634744678000 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20403] ppid=20339 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7 /proc/20342/task/20403/stat : 20403 (java) S 20339 20342 13981 0 -1 1077944384 3 13006 0 0 0 0 6 2 20 0 15 0 474922843 11079880704 12946 33554432000 4194304 4196468 140731895142464 140634437278288 140635907508123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20404] ppid=20339 vsize=10820196 memory=0 CPUtime=0.1 cores=4-7 /proc/20342/task/20404/stat : 20404 (java) S 20339 20342 13981 0 -1 1077944384 470 13006 0 0 2 0 6 2 20 0 15 0 474922843 11079880704 12946 33554432000 4194304 4196468 140731895142464 140635433003120 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20405] ppid=20339 vsize=10820196 memory=-1 CPUtime=0.09 cores=4-7 /proc/20342/task/20405/stat : 20405 (java) S 20339 20342 13981 0 -1 1077944384 191 13006 0 0 1 0 6 2 20 0 15 0 474922843 11079880704 12946 33554432000 4194304 4196468 140731895142464 140635431950320 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20406] ppid=20339 vsize=10820196 memory=140257500718720 CPUtime=0.13 cores=4-7 /proc/20342/task/20406/stat : 20406 (java) R 20339 20342 13981 0 -1 4202560 622 13006 0 0 5 0 6 2 20 0 15 0 474922843 11079880704 12946 33554432000 4194304 4196468 140731895142464 140635430898032 140635907510874 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20407] ppid=20339 vsize=10820196 memory=-1 CPUtime=0.08 cores=4-7 /proc/20342/task/20407/stat : 20407 (java) S 20339 20342 13981 0 -1 1077944384 3 13006 0 0 0 0 6 2 20 0 15 0 474922843 11079880704 12946 33554432000 4194304 4196468 140731895142464 140634403719648 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20408] ppid=20339 vsize=10820196 memory=140257500718720 CPUtime=0.08 cores=4-7 /proc/20342/task/20408/stat : 20408 (java) S 20339 20342 13981 0 -1 1077944384 1 13006 0 0 0 0 6 2 20 0 15 0 474922843 11079880704 12946 33554432000 4194304 4196468 140731895142464 140635429845936 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 Current children cumulated CPU time: 0.4 s Current children cumulated vsize: 10820196 KiB Current children cumulated memory: 51784 KiB [startup+0.701402 s] /proc/loadavg: 1.24 1.28 1.35 4/227 20408 /proc/meminfo: memFree=6135644/32770688 swapFree=66927196/67108860 [pid=20342] ppid=20339 vsize=10822316 memory=79444 CPUtime=1.1 cores=4-7 /proc/20342/stat : 20342 (java) S 20339 20342 13981 0 -1 1077944320 14677 13006 0 0 97 5 6 2 20 0 15 0 474922827 11082051584 19861 33554432000 4194304 4196468 140731895142464 140731895125008 140635907489527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 /proc/20342/statm: 2705579 19861 3495 1 0 2667661 0 [pid=20342/tid=20395] ppid=20339 vsize=10822316 memory=0 CPUtime=0.67 cores=4-7 /proc/20342/task/20395/stat : 20395 (java) R 20339 20342 13981 0 -1 4202560 10098 13006 0 0 55 4 6 2 20 0 15 0 474922837 11082051584 19861 33554432000 4194304 4196468 140731895142464 140635879317856 140635891570014 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20396] ppid=20339 vsize=10822316 memory=0 CPUtime=0.08 cores=4-7 /proc/20342/task/20396/stat : 20396 (java) S 20339 20342 13981 0 -1 1077944384 1 13006 0 0 0 0 6 2 20 0 15 0 474922837 11082051584 19861 33554432000 4194304 4196468 140731895142464 140635911731600 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20397] ppid=20339 vsize=10822316 memory=0 CPUtime=0.08 cores=4-7 /proc/20342/task/20397/stat : 20397 (java) S 20339 20342 13981 0 -1 1077944384 1 13006 0 0 0 0 6 2 20 0 15 0 474922837 11082051584 19861 33554432000 4194304 4196468 140731895142464 140635826551056 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20398] ppid=20339 vsize=10822316 memory=140257391685840 CPUtime=0.08 cores=4-7 /proc/20342/task/20398/stat : 20398 (java) S 20339 20342 13981 0 -1 1077944384 2 13006 0 0 0 0 6 2 20 0 15 0 474922837 11082051584 19861 33554432000 4194304 4196468 140731895142464 140635825498768 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20399] ppid=20339 vsize=10822316 memory=140260746986075 CPUtime=0.08 cores=4-7 /proc/20342/task/20399/stat : 20399 (java) S 20339 20342 13981 0 -1 1077944384 2 13006 0 0 0 0 6 2 20 0 15 0 474922837 11082051584 19861 33554432000 4194304 4196468 140731895142464 140635824445968 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20400] ppid=20339 vsize=10822316 memory=980 CPUtime=0.08 cores=4-7 /proc/20342/task/20400/stat : 20400 (java) S 20339 20342 13981 0 -1 1077944384 5 13006 0 0 0 0 6 2 20 0 15 0 474922839 11082051584 19861 33554432000 4194304 4196468 140731895142464 140635434056304 140635907500674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20401] ppid=20339 vsize=10822316 memory=7014751519617144145 CPUtime=0.08 cores=4-7 /proc/20342/task/20401/stat : 20401 (java) S 20339 20342 13981 0 -1 1077944384 13 13006 0 0 0 0 6 2 20 0 15 0 474922840 11082051584 19861 33554432000 4194304 4196468 140731895142464 140635348657440 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20402] ppid=20339 vsize=10822316 memory=6081104596517153130 CPUtime=0.08 cores=4-7 /proc/20342/task/20402/stat : 20402 (java) S 20339 20342 13981 0 -1 1077944384 1 13006 0 0 0 0 6 2 20 0 15 0 474922840 11082051584 19861 33554432000 4194304 4196468 140731895142464 140634744678000 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20403] ppid=20339 vsize=10822316 memory=33280 CPUtime=0.08 cores=4-7 /proc/20342/task/20403/stat : 20403 (java) S 20339 20342 13981 0 -1 1077944384 3 13006 0 0 0 0 6 2 20 0 15 0 474922843 11082051584 19861 33554432000 4194304 4196468 140731895142464 140634437278288 140635907508123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20404] ppid=20339 vsize=10822316 memory=2120 CPUtime=0.22 cores=4-7 /proc/20342/task/20404/stat : 20404 (java) R 20339 20342 13981 0 -1 4202560 962 13006 0 0 14 0 6 2 20 0 15 0 474922843 11082051584 19861 33554432000 4194304 4196468 140731895142464 140635433003120 140635890876106 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20405] ppid=20339 vsize=10822316 memory=496 CPUtime=0.18 cores=4-7 /proc/20342/task/20405/stat : 20405 (java) R 20339 20342 13981 0 -1 4202560 594 13006 0 0 10 0 6 2 20 0 15 0 474922843 11082051584 19861 33554432000 4194304 4196468 140731895142464 140635431936288 140635889033754 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20406] ppid=20339 vsize=10822316 memory=1560 CPUtime=0.24 cores=4-7 /proc/20342/task/20406/stat : 20406 (java) S 20339 20342 13981 0 -1 1077944384 782 13006 0 0 16 0 6 2 20 0 15 0 474922843 11082051584 19861 33554432000 4194304 4196468 140731895142464 140635430898032 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20407] ppid=20339 vsize=10822316 memory=928 CPUtime=0.08 cores=4-7 /proc/20342/task/20407/stat : 20407 (java) S 20339 20342 13981 0 -1 1077944384 3 13006 0 0 0 0 6 2 20 0 15 0 474922843 11082051584 19861 33554432000 4194304 4196468 140731895142464 140634403719648 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20408] ppid=20339 vsize=10822316 memory=1724 CPUtime=0.08 cores=4-7 /proc/20342/task/20408/stat : 20408 (java) S 20339 20342 13981 0 -1 1077944384 2 13006 0 0 0 0 6 2 20 0 15 0 474922843 11082051584 19861 33554432000 4194304 4196468 140731895142464 140635429845936 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 Current children cumulated CPU time: 1.1 s Current children cumulated vsize: 10822316 KiB Current children cumulated memory: 79444 KiB [startup+1.50081 s] /proc/loadavg: 1.24 1.28 1.35 5/227 20408 /proc/meminfo: memFree=6116288/32770688 swapFree=66927196/67108860 [pid=20342] ppid=20339 vsize=10834680 memory=168816 CPUtime=2.42 cores=4-7 /proc/20342/stat : 20342 (java) S 20339 20342 13981 0 -1 1077944320 21263 13006 0 0 225 9 6 2 20 0 15 0 474922827 11094712320 42204 33554432000 4194304 4196468 140731895142464 140731895125008 140635907489527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 /proc/20342/statm: 2708670 42204 3575 1 0 2670733 0 [pid=20342/tid=20395] ppid=20339 vsize=10834680 memory=165048 CPUtime=1.43 cores=4-7 /proc/20342/task/20395/stat : 20395 (java) R 20339 20342 13981 0 -1 4202560 14957 13006 0 0 129 6 6 2 20 0 15 0 474922837 11094712320 42204 33554432000 4194304 4196468 140731895142464 140635879317184 140635890682261 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20396] ppid=20339 vsize=10834680 memory=1444 CPUtime=0.09 cores=4-7 /proc/20342/task/20396/stat : 20396 (java) S 20339 20342 13981 0 -1 1077944384 30 13006 0 0 1 0 6 2 20 0 15 0 474922837 11094712320 42204 33554432000 4194304 4196468 140731895142464 140635911731600 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20397] ppid=20339 vsize=10834680 memory=1764 CPUtime=0.09 cores=4-7 /proc/20342/task/20397/stat : 20397 (java) S 20339 20342 13981 0 -1 1077944384 305 13006 0 0 1 0 6 2 20 0 15 0 474922837 11094712320 42204 33554432000 4194304 4196468 140731895142464 140635826551056 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20398] ppid=20339 vsize=10834680 memory=0 CPUtime=0.09 cores=4-7 /proc/20342/task/20398/stat : 20398 (java) S 20339 20342 13981 0 -1 1077944384 62 13006 0 0 1 0 6 2 20 0 15 0 474922837 11094712320 42204 33554432000 4194304 4196468 140731895142464 140635825498768 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20399] ppid=20339 vsize=10834680 memory=-6154581634397065563 CPUtime=0.09 cores=4-7 /proc/20342/task/20399/stat : 20399 (java) S 20339 20342 13981 0 -1 1077944384 37 13006 0 0 1 0 6 2 20 0 15 0 474922837 11094712320 42204 33554432000 4194304 4196468 140731895142464 140635824445968 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20400] ppid=20339 vsize=10834680 memory=3833724587141655355 CPUtime=0.09 cores=4-7 /proc/20342/task/20400/stat : 20400 (java) S 20339 20342 13981 0 -1 1077944384 130 13006 0 0 1 0 6 2 20 0 15 0 474922839 11094712320 42204 33554432000 4194304 4196468 140731895142464 140635434056304 140635907500674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20401] ppid=20339 vsize=10834680 memory=-6944103529398779036 CPUtime=0.08 cores=4-7 /proc/20342/task/20401/stat : 20401 (java) S 20339 20342 13981 0 -1 1077944384 13 13006 0 0 0 0 6 2 20 0 15 0 474922840 11094712320 42204 33554432000 4194304 4196468 140731895142464 140635348657504 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20402] ppid=20339 vsize=10834680 memory=-6005673638262905286 CPUtime=0.08 cores=4-7 /proc/20342/task/20402/stat : 20402 (java) S 20339 20342 13981 0 -1 1077944384 2 13006 0 0 0 0 6 2 20 0 15 0 474922840 11094712320 42204 33554432000 4194304 4196468 140731895142464 140634744678000 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20403] ppid=20339 vsize=10834680 memory=0 CPUtime=0.08 cores=4-7 /proc/20342/task/20403/stat : 20403 (java) S 20339 20342 13981 0 -1 1077944384 3 13006 0 0 0 0 6 2 20 0 15 0 474922843 11094712320 42204 33554432000 4194304 4196468 140731895142464 140634437278288 140635907508123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20404] ppid=20339 vsize=10834680 memory=0 CPUtime=0.33 cores=4-7 /proc/20342/task/20404/stat : 20404 (java) S 20339 20342 13981 0 -1 1077944384 1345 13006 0 0 25 0 6 2 20 0 15 0 474922843 11094712320 42204 33554432000 4194304 4196468 140731895142464 140635433003120 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20405] ppid=20339 vsize=10834680 memory=4580 CPUtime=0.32 cores=4-7 /proc/20342/task/20405/stat : 20405 (java) S 20339 20342 13981 0 -1 1077944384 800 13006 0 0 24 0 6 2 20 0 15 0 474922843 11094712320 42204 33554432000 4194304 4196468 140731895142464 140635431950320 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20406] ppid=20339 vsize=10834680 memory=7230358031464158288 CPUtime=0.44 cores=4-7 /proc/20342/task/20406/stat : 20406 (java) S 20339 20342 13981 0 -1 1077944384 1364 13006 0 0 36 0 6 2 20 0 15 0 474922843 11094712320 42204 33554432000 4194304 4196468 140731895142464 140635430898032 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20407] ppid=20339 vsize=10834680 memory=4641330317843720547 CPUtime=0.08 cores=4-7 /proc/20342/task/20407/stat : 20407 (java) S 20339 20342 13981 0 -1 1077944384 3 13006 0 0 0 0 6 2 20 0 15 0 474922843 11094712320 42204 33554432000 4194304 4196468 140731895142464 140634403719648 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20408] ppid=20339 vsize=10834680 memory=8100404984524989783 CPUtime=0.08 cores=4-7 /proc/20342/task/20408/stat : 20408 (java) S 20339 20342 13981 0 -1 1077944384 2 13006 0 0 0 0 6 2 20 0 15 0 474922843 11094712320 42204 33554432000 4194304 4196468 140731895142464 140635429845936 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 Current children cumulated CPU time: 2.42 s Current children cumulated vsize: 10834680 KiB ################ # More data... # ################ /proc/20342/task/20395/stat : 20395 (java) R 20339 20342 13981 0 -1 4202560 64238 13006 0 0 235556 51 6 2 20 0 15 0 474922837 11107315712 266059 33554432000 4194304 4196468 140731895142464 140635879324992 140635511838850 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20396] ppid=20339 vsize=10846988 memory=1064236 CPUtime=11.14 cores=4-7 /proc/20342/task/20396/stat : 20396 (java) S 20339 20342 13981 0 -1 1077944384 10950 13006 0 0 1053 53 6 2 20 0 15 0 474922837 11107315712 266059 33554432000 4194304 4196468 140731895142464 140635911731600 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20397] ppid=20339 vsize=10846988 memory=1064196 CPUtime=11.1 cores=4-7 /proc/20342/task/20397/stat : 20397 (java) S 20339 20342 13981 0 -1 1077944384 15094 13006 0 0 1052 50 6 2 20 0 15 0 474922837 11107315712 266059 33554432000 4194304 4196468 140731895142464 140635826551056 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20398] ppid=20339 vsize=10846988 memory=1064196 CPUtime=11.07 cores=4-7 /proc/20342/task/20398/stat : 20398 (java) S 20339 20342 13981 0 -1 1077944384 13102 13006 0 0 1045 54 6 2 20 0 15 0 474922837 11107315712 266059 33554432000 4194304 4196468 140731895142464 140635825498768 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20399] ppid=20339 vsize=10846988 memory=1064196 CPUtime=11.1 cores=4-7 /proc/20342/task/20399/stat : 20399 (java) S 20339 20342 13981 0 -1 1077944384 13692 13006 0 0 1049 53 6 2 20 0 15 0 474922837 11107315712 266059 33554432000 4194304 4196468 140731895142464 140635824445968 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20400] ppid=20339 vsize=10846988 memory=1064236 CPUtime=11.72 cores=4-7 /proc/20342/task/20400/stat : 20400 (java) S 20339 20342 13981 0 -1 1077944384 15470 13006 0 0 1110 54 6 2 20 0 15 0 474922839 11107315712 266059 33554432000 4194304 4196468 140731895142464 140635434056304 140635907500674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20401] ppid=20339 vsize=10846988 memory=1064236 CPUtime=0.08 cores=4-7 /proc/20342/task/20401/stat : 20401 (java) S 20339 20342 13981 0 -1 1077944384 14 13006 0 0 0 0 6 2 20 0 15 0 474922840 11107315712 266059 33554432000 4194304 4196468 140731895142464 140635348657504 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20402] ppid=20339 vsize=10846988 memory=1102 CPUtime=0.08 cores=4-7 /proc/20342/task/20402/stat : 20402 (java) S 20339 20342 13981 0 -1 1077944384 5 13006 0 0 0 0 6 2 20 0 15 0 474922840 11107315712 266059 33554432000 4194304 4196468 140731895142464 140634744678016 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20403] ppid=20339 vsize=10846988 memory=7300481507545885073 CPUtime=0.08 cores=4-7 /proc/20342/task/20403/stat : 20403 (java) S 20339 20342 13981 0 -1 1077944384 3 13006 0 0 0 0 6 2 20 0 15 0 474922843 11107315712 266059 33554432000 4194304 4196468 140731895142464 140634437278288 140635907508123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20404] ppid=20339 vsize=10846988 memory=1064236 CPUtime=4.46 cores=4-7 /proc/20342/task/20404/stat : 20404 (java) S 20339 20342 13981 0 -1 1077944384 17747 13006 0 0 435 3 6 2 20 0 15 0 474922843 11107315712 266059 33554432000 4194304 4196468 140731895142464 140635433003120 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20405] ppid=20339 vsize=10846988 memory=1420 CPUtime=4.52 cores=4-7 /proc/20342/task/20405/stat : 20405 (java) S 20339 20342 13981 0 -1 1077944384 16005 13006 0 0 439 5 6 2 20 0 15 0 474922843 11107315712 266059 33554432000 4194304 4196468 140731895142464 140635431950320 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20406] ppid=20339 vsize=10846988 memory=776 CPUtime=2.27 cores=4-7 /proc/20342/task/20406/stat : 20406 (java) S 20339 20342 13981 0 -1 1077944384 14542 13006 0 0 216 3 6 2 20 0 15 0 474922843 11107315712 266059 33554432000 4194304 4196468 140731895142464 140635430898032 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20407] ppid=20339 vsize=10846988 memory=1064236 CPUtime=0.08 cores=4-7 /proc/20342/task/20407/stat : 20407 (java) S 20339 20342 13981 0 -1 1077944384 3 13006 0 0 0 0 6 2 20 0 15 0 474922843 11107315712 266059 33554432000 4194304 4196468 140731895142464 140634403719648 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20408] ppid=20339 vsize=10846988 memory=14008 CPUtime=1.47 cores=4-7 /proc/20342/task/20408/stat : 20408 (java) S 20339 20342 13981 0 -1 1077944384 2188 13006 0 0 58 81 6 2 20 0 15 0 474922843 11107315712 266059 33554432000 4194304 4196468 140731895142464 140635429845936 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 Current children cumulated CPU time: 2424.39 s Current children cumulated vsize: 10846988 KiB Current children cumulated memory: 1064236 KiB [startup+2442.3 s] /proc/loadavg: 0.54 0.67 0.94 2/206 20707 /proc/meminfo: memFree=5578276/32770688 swapFree=66927204/67108860 [pid=20342] ppid=20339 vsize=10846988 memory=1064336 CPUtime=2485.31 cores=4-7 /proc/20342/stat : 20342 (java) S 20339 20342 13981 0 -1 1077944320 187171 13006 0 0 248168 355 6 2 20 0 15 0 474922827 11107315712 266084 33554432000 4194304 4196468 140731895142464 140731895125008 140635907489527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 /proc/20342/statm: 2711747 266084 3628 1 0 2673805 0 [pid=20342/tid=20395] ppid=20339 vsize=10846988 memory=1064336 CPUtime=2415.49 cores=4-7 /proc/20342/task/20395/stat : 20395 (java) R 20339 20342 13981 0 -1 4202560 64947 13006 0 0 241490 51 6 2 20 0 15 0 474922837 11107315712 266084 33554432000 4194304 4196468 140731895142464 140635879325216 140635513143396 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20396] ppid=20339 vsize=10846988 memory=1064336 CPUtime=11.44 cores=4-7 /proc/20342/task/20396/stat : 20396 (java) S 20339 20342 13981 0 -1 1077944384 11222 13006 0 0 1082 54 6 2 20 0 15 0 474922837 11107315712 266084 33554432000 4194304 4196468 140731895142464 140635911731600 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20397] ppid=20339 vsize=10846988 memory=1064336 CPUtime=11.42 cores=4-7 /proc/20342/task/20397/stat : 20397 (java) S 20339 20342 13981 0 -1 1077944384 15462 13006 0 0 1082 52 6 2 20 0 15 0 474922837 11107315712 266084 33554432000 4194304 4196468 140731895142464 140635826551056 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20398] ppid=20339 vsize=10846988 memory=1064336 CPUtime=11.37 cores=4-7 /proc/20342/task/20398/stat : 20398 (java) S 20339 20342 13981 0 -1 1077944384 13152 13006 0 0 1074 55 6 2 20 0 15 0 474922837 11107315712 266084 33554432000 4194304 4196468 140731895142464 140635825498768 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20399] ppid=20339 vsize=10846988 memory=1064296 CPUtime=11.4 cores=4-7 /proc/20342/task/20399/stat : 20399 (java) S 20339 20342 13981 0 -1 1077944384 13759 13006 0 0 1079 53 6 2 20 0 15 0 474922837 11107315712 266084 33554432000 4194304 4196468 140731895142464 140635824445968 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20400] ppid=20339 vsize=10846988 memory=1064296 CPUtime=12.04 cores=4-7 /proc/20342/task/20400/stat : 20400 (java) S 20339 20342 13981 0 -1 1077944384 15866 13006 0 0 1140 56 6 2 20 0 15 0 474922839 11107315712 266084 33554432000 4194304 4196468 140731895142464 140635434056304 140635907500674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20401] ppid=20339 vsize=10846988 memory=3668 CPUtime=0.08 cores=4-7 /proc/20342/task/20401/stat : 20401 (java) S 20339 20342 13981 0 -1 1077944384 14 13006 0 0 0 0 6 2 20 0 15 0 474922840 11107315712 266084 33554432000 4194304 4196468 140731895142464 140635348657504 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20402] ppid=20339 vsize=10846988 memory=1064284 CPUtime=0.08 cores=4-7 /proc/20342/task/20402/stat : 20402 (java) S 20339 20342 13981 0 -1 1077944384 5 13006 0 0 0 0 6 2 20 0 15 0 474922840 11107315712 266084 33554432000 4194304 4196468 140731895142464 140634744678016 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20403] ppid=20339 vsize=10846988 memory=1064336 CPUtime=0.08 cores=4-7 /proc/20342/task/20403/stat : 20403 (java) S 20339 20342 13981 0 -1 1077944384 3 13006 0 0 0 0 6 2 20 0 15 0 474922843 11107315712 266084 33554432000 4194304 4196468 140731895142464 140634437278288 140635907508123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20404] ppid=20339 vsize=10846988 memory=1064336 CPUtime=4.46 cores=4-7 /proc/20342/task/20404/stat : 20404 (java) S 20339 20342 13981 0 -1 1077944384 17749 13006 0 0 435 3 6 2 20 0 15 0 474922843 11107315712 266084 33554432000 4194304 4196468 140731895142464 140635433003120 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20405] ppid=20339 vsize=10846988 memory=1064336 CPUtime=4.52 cores=4-7 /proc/20342/task/20405/stat : 20405 (java) S 20339 20342 13981 0 -1 1077944384 16007 13006 0 0 439 5 6 2 20 0 15 0 474922843 11107315712 266084 33554432000 4194304 4196468 140731895142464 140635431950320 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20406] ppid=20339 vsize=10846988 memory=1064336 CPUtime=2.28 cores=4-7 /proc/20342/task/20406/stat : 20406 (java) S 20339 20342 13981 0 -1 1077944384 14544 13006 0 0 216 4 6 2 20 0 15 0 474922843 11107315712 266084 33554432000 4194304 4196468 140731895142464 140635430898032 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20407] ppid=20339 vsize=10846988 memory=1064336 CPUtime=0.08 cores=4-7 /proc/20342/task/20407/stat : 20407 (java) S 20339 20342 13981 0 -1 1077944384 3 13006 0 0 0 0 6 2 20 0 15 0 474922843 11107315712 266084 33554432000 4194304 4196468 140731895142464 140634403719648 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20408] ppid=20339 vsize=10846988 memory=280514784668128 CPUtime=1.52 cores=4-7 /proc/20342/task/20408/stat : 20408 (java) S 20339 20342 13981 0 -1 1077944384 2228 13006 0 0 60 84 6 2 20 0 15 0 474922843 11107315712 266084 33554432000 4194304 4196468 140731895142464 140635429845936 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 Current children cumulated CPU time: 2485.31 s Current children cumulated vsize: 10846988 KiB Current children cumulated memory: 1064336 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2476.5 s] /proc/loadavg: 0.66 0.69 0.94 2/206 20710 /proc/meminfo: memFree=5578764/32770688 swapFree=66927204/67108860 [pid=20342] ppid=20339 vsize=10846988 memory=1064356 CPUtime=2520.02 cores=4-7 /proc/20342/stat : 20342 (java) S 20339 20342 13981 0 -1 1077944320 187990 13006 0 0 251635 359 6 2 20 0 15 0 474922827 11107315712 266089 33554432000 4194304 4196468 140731895142464 140731895125008 140635907489527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 /proc/20342/statm: 2711747 266089 3628 1 0 2673805 0 [pid=20342/tid=20395] ppid=20339 vsize=10846988 memory=1064356 CPUtime=2449.33 cores=4-7 /proc/20342/task/20395/stat : 20395 (java) R 20339 20342 13981 0 -1 4202560 65412 13006 0 0 244873 52 6 2 20 0 15 0 474922837 11107315712 266089 33554432000 4194304 4196468 140731895142464 140635879325088 140635516996765 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20396] ppid=20339 vsize=10846988 memory=1064356 CPUtime=11.61 cores=4-7 /proc/20342/task/20396/stat : 20396 (java) S 20339 20342 13981 0 -1 1077944384 11357 13006 0 0 1099 54 6 2 20 0 15 0 474922837 11107315712 266089 33554432000 4194304 4196468 140731895142464 140635911731600 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20397] ppid=20339 vsize=10846988 memory=1064356 CPUtime=11.59 cores=4-7 /proc/20342/task/20397/stat : 20397 (java) S 20339 20342 13981 0 -1 1077944384 15474 13006 0 0 1098 53 6 2 20 0 15 0 474922837 11107315712 266089 33554432000 4194304 4196468 140731895142464 140635826551056 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20398] ppid=20339 vsize=10846988 memory=1064336 CPUtime=11.53 cores=4-7 /proc/20342/task/20398/stat : 20398 (java) S 20339 20342 13981 0 -1 1077944384 13165 13006 0 0 1089 56 6 2 20 0 15 0 474922837 11107315712 266089 33554432000 4194304 4196468 140731895142464 140635825498768 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20399] ppid=20339 vsize=10846988 memory=1064336 CPUtime=11.58 cores=4-7 /proc/20342/task/20399/stat : 20399 (java) S 20339 20342 13981 0 -1 1077944384 13913 13006 0 0 1096 54 6 2 20 0 15 0 474922837 11107315712 266089 33554432000 4194304 4196468 140731895142464 140635824445968 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20400] ppid=20339 vsize=10846988 memory=1064336 CPUtime=12.21 cores=4-7 /proc/20342/task/20400/stat : 20400 (java) S 20339 20342 13981 0 -1 1077944384 15900 13006 0 0 1157 56 6 2 20 0 15 0 474922839 11107315712 266089 33554432000 4194304 4196468 140731895142464 140635434056304 140635907500674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20401] ppid=20339 vsize=10846988 memory=1064336 CPUtime=0.08 cores=4-7 /proc/20342/task/20401/stat : 20401 (java) S 20339 20342 13981 0 -1 1077944384 14 13006 0 0 0 0 6 2 20 0 15 0 474922840 11107315712 266089 33554432000 4194304 4196468 140731895142464 140635348657504 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20402] ppid=20339 vsize=10846988 memory=1064356 CPUtime=0.08 cores=4-7 /proc/20342/task/20402/stat : 20402 (java) S 20339 20342 13981 0 -1 1077944384 5 13006 0 0 0 0 6 2 20 0 15 0 474922840 11107315712 266089 33554432000 4194304 4196468 140731895142464 140634744678016 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20403] ppid=20339 vsize=10846988 memory=1064356 CPUtime=0.08 cores=4-7 /proc/20342/task/20403/stat : 20403 (java) S 20339 20342 13981 0 -1 1077944384 3 13006 0 0 0 0 6 2 20 0 15 0 474922843 11107315712 266089 33554432000 4194304 4196468 140731895142464 140634437278288 140635907508123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20404] ppid=20339 vsize=10846988 memory=1064356 CPUtime=4.46 cores=4-7 /proc/20342/task/20404/stat : 20404 (java) S 20339 20342 13981 0 -1 1077944384 17749 13006 0 0 435 3 6 2 20 0 15 0 474922843 11107315712 266089 33554432000 4194304 4196468 140731895142464 140635433003120 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20405] ppid=20339 vsize=10846988 memory=1064336 CPUtime=4.52 cores=4-7 /proc/20342/task/20405/stat : 20405 (java) S 20339 20342 13981 0 -1 1077944384 16007 13006 0 0 439 5 6 2 20 0 15 0 474922843 11107315712 266089 33554432000 4194304 4196468 140731895142464 140635431950320 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20406] ppid=20339 vsize=10846988 memory=3624 CPUtime=2.28 cores=4-7 /proc/20342/task/20406/stat : 20406 (java) S 20339 20342 13981 0 -1 1077944384 14544 13006 0 0 216 4 6 2 20 0 15 0 474922843 11107315712 266089 33554432000 4194304 4196468 140731895142464 140635430898032 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20407] ppid=20339 vsize=10846988 memory=1064356 CPUtime=0.08 cores=4-7 /proc/20342/task/20407/stat : 20407 (java) S 20339 20342 13981 0 -1 1077944384 3 13006 0 0 0 0 6 2 20 0 15 0 474922843 11107315712 266089 33554432000 4194304 4196468 140731895142464 140634403719648 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20408] ppid=20339 vsize=10846988 memory=1064356 CPUtime=1.53 cores=4-7 /proc/20342/task/20408/stat : 20408 (java) S 20339 20342 13981 0 -1 1077944384 2234 13006 0 0 60 85 6 2 20 0 15 0 474922843 11107315712 266089 33554432000 4194304 4196468 140731895142464 140635429845936 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 Current children cumulated CPU time: 2520.02 s Current children cumulated vsize: 10846988 KiB Current children cumulated memory: 1064356 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2476.54 s] # the end of solver process 20342 was just reported to runsolver # cumulated CPU time of all completed processes: user=2516.43 s, system=3.6342 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2476.5 s] /proc/loadavg: 0.66 0.69 0.94 2/206 20710 /proc/meminfo: memFree=5578764/32770688 swapFree=66927204/67108860 [pid=20342] ppid=20339 vsize=10846988 memory=1064356 CPUtime=2520.02 cores=4-7 /proc/20342/stat : 20342 (java) S 20339 20342 13981 0 -1 1077944320 187990 13006 0 0 251635 359 6 2 20 0 15 0 474922827 11107315712 266089 33554432000 4194304 4196468 140731895142464 140731895125008 140635907489527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 /proc/20342/statm: 2711747 266089 3628 1 0 2673805 0 [pid=20342/tid=20395] ppid=20339 vsize=10846988 memory=1064356 CPUtime=2449.33 cores=4-7 /proc/20342/task/20395/stat : 20395 (java) R 20339 20342 13981 0 -1 4202560 65412 13006 0 0 244873 52 6 2 20 0 15 0 474922837 11107315712 266089 33554432000 4194304 4196468 140731895142464 140635879325088 140635516996765 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20396] ppid=20339 vsize=10846988 memory=1064356 CPUtime=11.61 cores=4-7 /proc/20342/task/20396/stat : 20396 (java) S 20339 20342 13981 0 -1 1077944384 11357 13006 0 0 1099 54 6 2 20 0 15 0 474922837 11107315712 266089 33554432000 4194304 4196468 140731895142464 140635911731600 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20397] ppid=20339 vsize=10846988 memory=1064356 CPUtime=11.59 cores=4-7 /proc/20342/task/20397/stat : 20397 (java) S 20339 20342 13981 0 -1 1077944384 15474 13006 0 0 1098 53 6 2 20 0 15 0 474922837 11107315712 266089 33554432000 4194304 4196468 140731895142464 140635826551056 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20398] ppid=20339 vsize=10846988 memory=1064336 CPUtime=11.53 cores=4-7 /proc/20342/task/20398/stat : 20398 (java) S 20339 20342 13981 0 -1 1077944384 13165 13006 0 0 1089 56 6 2 20 0 15 0 474922837 11107315712 266089 33554432000 4194304 4196468 140731895142464 140635825498768 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20399] ppid=20339 vsize=10846988 memory=1064336 CPUtime=11.58 cores=4-7 /proc/20342/task/20399/stat : 20399 (java) S 20339 20342 13981 0 -1 1077944384 13913 13006 0 0 1096 54 6 2 20 0 15 0 474922837 11107315712 266089 33554432000 4194304 4196468 140731895142464 140635824445968 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20400] ppid=20339 vsize=10846988 memory=1064336 CPUtime=12.21 cores=4-7 /proc/20342/task/20400/stat : 20400 (java) S 20339 20342 13981 0 -1 1077944384 15900 13006 0 0 1157 56 6 2 20 0 15 0 474922839 11107315712 266089 33554432000 4194304 4196468 140731895142464 140635434056304 140635907500674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20401] ppid=20339 vsize=10846988 memory=1064336 CPUtime=0.08 cores=4-7 /proc/20342/task/20401/stat : 20401 (java) S 20339 20342 13981 0 -1 1077944384 14 13006 0 0 0 0 6 2 20 0 15 0 474922840 11107315712 266089 33554432000 4194304 4196468 140731895142464 140635348657504 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20402] ppid=20339 vsize=10846988 memory=1064356 CPUtime=0.08 cores=4-7 /proc/20342/task/20402/stat : 20402 (java) S 20339 20342 13981 0 -1 1077944384 5 13006 0 0 0 0 6 2 20 0 15 0 474922840 11107315712 266089 33554432000 4194304 4196468 140731895142464 140634744678016 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20403] ppid=20339 vsize=10846988 memory=1064356 CPUtime=0.08 cores=4-7 /proc/20342/task/20403/stat : 20403 (java) S 20339 20342 13981 0 -1 1077944384 3 13006 0 0 0 0 6 2 20 0 15 0 474922843 11107315712 266089 33554432000 4194304 4196468 140731895142464 140634437278288 140635907508123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20404] ppid=20339 vsize=10846988 memory=1064356 CPUtime=4.46 cores=4-7 /proc/20342/task/20404/stat : 20404 (java) S 20339 20342 13981 0 -1 1077944384 17749 13006 0 0 435 3 6 2 20 0 15 0 474922843 11107315712 266089 33554432000 4194304 4196468 140731895142464 140635433003120 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20405] ppid=20339 vsize=10846988 memory=1064336 CPUtime=4.52 cores=4-7 /proc/20342/task/20405/stat : 20405 (java) S 20339 20342 13981 0 -1 1077944384 16007 13006 0 0 439 5 6 2 20 0 15 0 474922843 11107315712 266089 33554432000 4194304 4196468 140731895142464 140635431950320 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20406] ppid=20339 vsize=10846988 memory=3624 CPUtime=2.28 cores=4-7 /proc/20342/task/20406/stat : 20406 (java) S 20339 20342 13981 0 -1 1077944384 14544 13006 0 0 216 4 6 2 20 0 15 0 474922843 11107315712 266089 33554432000 4194304 4196468 140731895142464 140635430898032 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20407] ppid=20339 vsize=10846988 memory=1064356 CPUtime=0.08 cores=4-7 /proc/20342/task/20407/stat : 20407 (java) S 20339 20342 13981 0 -1 1077944384 3 13006 0 0 0 0 6 2 20 0 15 0 474922843 11107315712 266089 33554432000 4194304 4196468 140731895142464 140634403719648 140635907499733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 [pid=20342/tid=20408] ppid=20339 vsize=10846988 memory=1064356 CPUtime=1.53 cores=4-7 /proc/20342/task/20408/stat : 20408 (java) S 20339 20342 13981 0 -1 1077944384 2234 13006 0 0 60 85 6 2 20 0 15 0 474922843 11107315712 266089 33554432000 4194304 4196468 140731895142464 140635429845936 140635907500674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140731895147247 140731895149765 140731895149765 140731895152591 0 Current children cumulated CPU time: 2520.02 s Current children cumulated vsize: 10846988 KiB Current children cumulated memory: 1064356 KiB Child status: 143 Real time (s): 2476.54 CPU time (s): 2520.07 CPU user time (s): 2516.43 CPU system time (s): 3.6342 CPU usage (%): 101.758 Max. virtual memory (cumulated for all children) (KiB): 10849636 Max. memory (cumulated for all children) (KiB): 1064356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2516.43 system time used= 3.6342 maximum resident set size= 1068568 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 202195 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3160 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 283300 involuntary context switches= 6671 # summary of solver processes directly reported to runsolver: # pid: 20342 # total CPU time (s): 2520.07 # total CPU user time (s): 2516.43 # total CPU system time (s): 3.6342 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 17.6581 second user time and 24.6553 second system time The end
Begin job on node120 at 2011-12-21 22:39:47 IDJOB=4402425 IDBENCH=141730 IDSOLVER=2861 FILE ID=node120/4402425-1568989166 RUNJOBID= node120-1324482060-14013 PBS_JOBID= 21704627 Free space on /tmp= 23256 MiB SOLVER NAME= Concrete 3.12.3 BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-18-047.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4402425-1568989166/watcher-4402425-1568989166 -o /tmp/evaluation-result-4402425-1568989166/solver-4402425-1568989166 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324482060-14013 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1076526139 HOME/instance-4402425-1568989166.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 503235a9ef2fa2334058f0cfe41dccf4 RANDOM SEED=1076526139 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: 6203068 kB MemAvailable: 31385536 kB Buffers: 120108 kB Cached: 25037336 kB SwapCached: 68660 kB Active: 12943452 kB Inactive: 12678256 kB Active(anon): 394968 kB Inactive(anon): 125496 kB Active(file): 12548484 kB Inactive(file): 12552760 kB Unevictable: 109204 kB Mlocked: 109204 kB SwapTotal: 67108860 kB SwapFree: 66927196 kB Dirty: 35784 kB Writeback: 0 kB AnonPages: 506628 kB Mapped: 70772 kB Shmem: 47320 kB Slab: 538492 kB SReclaimable: 509684 kB SUnreclaim: 28808 kB KernelStack: 3856 kB PageTables: 7872 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 1550780 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 335872 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= 23256 MiB End job on node120 at 2011-12-21 23:21:04