Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Concrete 3.10 | ? (TO) | 2520.08 | 2465.33 |
Name | XCSP19/hcp/ graph223.xml |
MD5SUM | c2ae7594dad59fdbc475d1849bdfa679 |
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 | 178.186 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1386 |
Number of constraints | 1 |
Number of domains | 1386 |
Minimum domain size | 2 |
Maximum domain size | 5 |
Distribution of domain sizes | [{"size":2,"count":462},{"size":3,"count":420},{"size":4,"count":168},{"size":5,"count":336}] |
Minimum variable degree | 1 |
Maximum variable degree | 1 |
Distribution of variable degrees | [{"degree":1,"count":1386}] |
Minimum constraint arity | 1386 |
Maximum constraint arity | 1386 |
Distribution of constraint arities | [{"arity":1386,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"circuit","count":1}] |
Optimization problem | NO |
Type of objective |
0.87/0.61 c Concrete v3.10.1560635388952 running 2520.03/2465.31 Exception in thread "main" java.util.concurrent.TimeoutException 2520.03/2465.31 at concrete.MAC.mac(MAC.scala:189) 2520.03/2465.31 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:253) 2520.03/2465.31 at scala.util.Try$.apply(Try.scala:212) 2520.03/2465.31 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2520.03/2465.31 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2520.03/2465.31 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2520.03/2465.31 at concrete.MAC.oneRun(MAC.scala:253) 2520.03/2465.31 at concrete.MAC.nextSolution(MAC.scala:272) 2520.03/2465.31 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336) 2520.03/2465.31 at concrete.ProblemState.map(ProblemState.scala:228) 2520.03/2465.31 at concrete.ProblemState.map(ProblemState.scala:210) 2520.03/2465.31 at concrete.MAC.nextSolution(MAC.scala:334) 2520.03/2465.31 at concrete.Solver.hasNext(Solver.scala:160) 2520.03/2465.31 at scala.collection.Iterator.nextOption(Iterator.scala:104) 2520.03/2465.31 at scala.collection.Iterator.nextOption$(Iterator.scala:104) 2520.03/2465.31 at concrete.Solver.nextOption(Solver.scala:67) 2520.03/2465.31 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:77) 2520.03/2465.31 at scala.util.Success.map(Try.scala:264) 2520.03/2465.31 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:67) 2520.03/2465.31 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2520.03/2465.31 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.03/2465.31 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.03/2465.31 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.03/2465.31 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2520.03/2465.31 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2520.03/2465.31 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2520.03/2465.31 at scala.App.$anonfun$main$1(App.scala:75) 2520.03/2465.31 at scala.App.$anonfun$main$1$adapted(App.scala:75) 2520.03/2465.31 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2520.03/2465.31 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2520.03/2465.31 at scala.collection.AbstractIterable.foreach(Iterable.scala:904) 2520.03/2465.31 at scala.App.main(App.scala:75) 2520.03/2465.31 at scala.App.main$(App.scala:73) 2520.03/2465.31 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.03/2465.31 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.03/2465.31 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 (12910 MiB free) memory of node 1: 16384 MiB (11546 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387540-1568309763/watcher-4387540-1568309763 -o /tmp/evaluation-result-4387540-1568309763/solver-4387540-1568309763 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323800386-1292 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1058020510 HOME/instance-4387540-1568309763.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=9059, runsolver pid=9056 [startup+0.100135 s]* /proc/loadavg: 1.43 1.64 1.58 2/214 9112 /proc/meminfo: memFree=25043752/32770688 swapFree=66919608/67108860 [pid=9059] ppid=9056 vsize=9972712 memory=14004 CPUtime=0.08 cores=0-3 /proc/9059/stat : 9059 (java) S 9056 9059 463 0 -1 1077944320 3710 13263 0 0 0 0 5 3 20 0 6 0 406982687 10212057088 3435 33554432000 4194304 4196468 140721573546496 140721573529040 139952995102455 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 /proc/9059/statm: 2493178 3435 1380 1 0 2481616 0 [pid=9059/tid=9112] ppid=9056 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=0-3 /proc/9059/task/9112/stat : 9112 (java) R 9056 9059 463 0 -1 4202560 1713 13263 0 0 0 0 5 3 20 0 6 0 406982697 10212057088 3699 33554432000 4194304 4196468 140721573546496 139952966939216 139952849386450 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9113] ppid=9056 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0-3 /proc/9059/task/9113/stat : 9113 (java) S 9056 9059 463 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 6 0 406982697 10212057088 3699 33554432000 4194304 4196468 140721573546496 139952999344912 139952995112661 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9114] ppid=9056 vsize=9972712 memory=139957954094720 CPUtime=0.08 cores=0-3 /proc/9059/task/9114/stat : 9114 (java) S 9056 9059 463 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 6 0 406982697 10212057088 3699 33554432000 4194304 4196468 140721573546496 139952920304528 139952995112661 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9115] ppid=9056 vsize=9972712 memory=0 CPUtime=0.08 cores=0-3 /proc/9059/task/9115/stat : 9115 (java) S 9056 9059 463 0 -1 1077944384 2 13263 0 0 0 0 5 3 20 0 6 0 406982697 10212057088 3699 33554432000 4194304 4196468 140721573546496 139952567168016 139952995112661 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9116] ppid=9056 vsize=9972712 memory=-1 CPUtime=0.08 cores=0-3 /proc/9059/task/9116/stat : 9116 (java) S 9056 9059 463 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 6 0 406982697 10212057088 3699 33554432000 4194304 4196468 140721573546496 139952566115472 139952995112661 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 Current children cumulated CPU time: 0.08 s Current children cumulated vsize: 9972712 KiB Current children cumulated memory: 14004 KiB [startup+0.211712 s]* /proc/loadavg: 1.43 1.64 1.58 4/227 9125 /proc/meminfo: memFree=25021812/32770688 swapFree=66919608/67108860 [pid=9059] ppid=9056 vsize=10818900 memory=37516 CPUtime=0.25 cores=0-3 /proc/9059/stat : 9059 (java) S 9056 9059 463 0 -1 1077944320 6714 13263 0 0 16 1 5 3 20 0 15 0 406982687 11078553600 9379 33554432000 4194304 4196468 140721573546496 140721573529040 139952995102455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 /proc/9059/statm: 2704725 9379 2942 1 0 2667149 0 [pid=9059/tid=9112] ppid=9056 vsize=10818900 memory=7022364594140610616 CPUtime=0.19 cores=0-3 /proc/9059/task/9112/stat : 9112 (java) R 9056 9059 463 0 -1 4202560 3239 13263 0 0 10 1 5 3 20 0 15 0 406982697 11078553600 9379 33554432000 4194304 4196468 140721573546496 139952966890304 139952979182942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9113] ppid=9056 vsize=10818900 memory=364 CPUtime=0.08 cores=0-3 /proc/9059/task/9113/stat : 9113 (java) S 9056 9059 463 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 406982697 11078553600 9379 33554432000 4194304 4196468 140721573546496 139952999344912 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9114] ppid=9056 vsize=10818900 memory=139957954104036 CPUtime=0.08 cores=0-3 /proc/9059/task/9114/stat : 9114 (java) S 9056 9059 463 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 406982697 11078553600 9379 33554432000 4194304 4196468 140721573546496 139952920304528 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9115] ppid=9056 vsize=10818900 memory=0 CPUtime=0.08 cores=0-3 /proc/9059/task/9115/stat : 9115 (java) S 9056 9059 463 0 -1 1077944384 2 13263 0 0 0 0 5 3 20 0 15 0 406982697 11078553600 9379 33554432000 4194304 4196468 140721573546496 139952567168016 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9116] ppid=9056 vsize=10818900 memory=-1 CPUtime=0.08 cores=0-3 /proc/9059/task/9116/stat : 9116 (java) S 9056 9059 463 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 406982697 11078553600 9379 33554432000 4194304 4196468 140721573546496 139952566115472 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9117] ppid=9056 vsize=10818900 memory=139957954094720 CPUtime=0.08 cores=0-3 /proc/9059/task/9117/stat : 9117 (java) S 9056 9059 463 0 -1 1077944384 2 13263 0 0 0 0 5 3 20 0 15 0 406982699 11078553600 9379 33554432000 4194304 4196468 140721573546496 139952521672688 139952995113602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9118] ppid=9056 vsize=10818900 memory=-1 CPUtime=0.08 cores=0-3 /proc/9059/task/9118/stat : 9118 (java) S 9056 9059 463 0 -1 1077944384 13 13263 0 0 0 0 5 3 20 0 15 0 406982700 11078553600 9379 33554432000 4194304 4196468 140721573546496 139952448856992 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9119] ppid=9056 vsize=10818900 memory=0 CPUtime=0.08 cores=0-3 /proc/9059/task/9119/stat : 9119 (java) S 9056 9059 463 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 406982700 11078553600 9379 33554432000 4194304 4196468 140721573546496 139952314639344 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9120] ppid=9056 vsize=10818900 memory=0 CPUtime=0.08 cores=0-3 /proc/9059/task/9120/stat : 9120 (java) S 9056 9059 463 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 406982703 11078553600 9379 33554432000 4194304 4196468 140721573546496 139951537477840 139952995121051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9121] ppid=9056 vsize=10818900 memory=0 CPUtime=0.09 cores=0-3 /proc/9059/task/9121/stat : 9121 (java) S 9056 9059 463 0 -1 1077944384 448 13263 0 0 1 0 5 3 20 0 15 0 406982703 11078553600 9379 33554432000 4194304 4196468 140721573546496 139952520620528 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9122] ppid=9056 vsize=10818900 memory=-1 CPUtime=0.08 cores=0-3 /proc/9059/task/9122/stat : 9122 (java) S 9056 9059 463 0 -1 1077944384 178 13263 0 0 0 0 5 3 20 0 15 0 406982703 11078553600 9379 33554432000 4194304 4196468 140721573546496 139952519567984 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9123] ppid=9056 vsize=10818900 memory=139957954094720 CPUtime=0.1 cores=0-3 /proc/9059/task/9123/stat : 9123 (java) S 9056 9059 463 0 -1 1077944384 618 13263 0 0 2 0 5 3 20 0 15 0 406982703 11078553600 9379 33554432000 4194304 4196468 140721573546496 139952518515440 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9124] ppid=9056 vsize=10818900 memory=-1 CPUtime=0.08 cores=0-3 /proc/9059/task/9124/stat : 9124 (java) S 9056 9059 463 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 406982703 11078553600 9379 33554432000 4194304 4196468 140721573546496 139951503920224 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9125] ppid=9056 vsize=10818900 memory=139957954094720 CPUtime=0.08 cores=0-3 /proc/9059/task/9125/stat : 9125 (java) S 9056 9059 463 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 406982703 11078553600 9379 33554432000 4194304 4196468 140721573546496 139952517462320 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 10818900 KiB Current children cumulated memory: 37516 KiB [startup+0.312119 s]* /proc/loadavg: 1.43 1.64 1.58 3/227 9125 /proc/meminfo: memFree=25007248/32770688 swapFree=66919608/67108860 [pid=9059] ppid=9056 vsize=10819084 memory=48232 CPUtime=0.39 cores=0-3 /proc/9059/stat : 9059 (java) S 9056 9059 463 0 -1 1077944320 10197 13263 0 0 28 3 5 3 20 0 15 0 406982687 11078742016 12058 33554432000 4194304 4196468 140721573546496 140721573529040 139952995102455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 /proc/9059/statm: 2704771 12058 2996 1 0 2667149 0 [pid=9059/tid=9112] ppid=9056 vsize=10820108 memory=1398722017469774279 CPUtime=0.28 cores=0-3 /proc/9059/task/9112/stat : 9112 (java) R 9056 9059 463 0 -1 4202560 6727 13263 0 0 18 2 5 3 20 0 15 0 406982697 11079790592 12058 33554432000 4194304 4196468 140721573546496 139952966901712 139952987782173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9113] ppid=9056 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/9059/task/9113/stat : 9113 (java) S 9056 9059 463 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 406982697 11078742016 12086 33554432000 4194304 4196468 140721573546496 139952999344912 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9114] ppid=9056 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/9059/task/9114/stat : 9114 (java) S 9056 9059 463 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 406982697 11078742016 12086 33554432000 4194304 4196468 140721573546496 139952920304528 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9115] ppid=9056 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/9059/task/9115/stat : 9115 (java) S 9056 9059 463 0 -1 1077944384 2 13263 0 0 0 0 5 3 20 0 15 0 406982697 11078742016 12086 33554432000 4194304 4196468 140721573546496 139952567168016 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9116] ppid=9056 vsize=10820108 memory=0 CPUtime=0.08 cores=0-3 /proc/9059/task/9116/stat : 9116 (java) S 9056 9059 463 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 406982697 11079790592 12086 33554432000 4194304 4196468 140721573546496 139952566115472 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9117] ppid=9056 vsize=10820108 memory=0 CPUtime=0.08 cores=0-3 /proc/9059/task/9117/stat : 9117 (java) S 9056 9059 463 0 -1 1077944384 2 13263 0 0 0 0 5 3 20 0 15 0 406982699 11079790592 12086 33554432000 4194304 4196468 140721573546496 139952521672688 139952995113602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9118] ppid=9056 vsize=10820108 memory=-1 CPUtime=0.08 cores=0-3 /proc/9059/task/9118/stat : 9118 (java) S 9056 9059 463 0 -1 1077944384 13 13263 0 0 0 0 5 3 20 0 15 0 406982700 11079790592 12086 33554432000 4194304 4196468 140721573546496 139952448856992 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9119] ppid=9056 vsize=10820108 memory=0 CPUtime=0.08 cores=0-3 /proc/9059/task/9119/stat : 9119 (java) S 9056 9059 463 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 406982700 11079790592 12086 33554432000 4194304 4196468 140721573546496 139952314639344 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9120] ppid=9056 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/9059/task/9120/stat : 9120 (java) S 9056 9059 463 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 406982703 11078742016 12086 33554432000 4194304 4196468 140721573546496 139951537477840 139952995121051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9121] ppid=9056 vsize=10819084 memory=0 CPUtime=0.09 cores=0-3 /proc/9059/task/9121/stat : 9121 (java) S 9056 9059 463 0 -1 1077944384 448 13263 0 0 1 0 5 3 20 0 15 0 406982703 11078742016 12086 33554432000 4194304 4196468 140721573546496 139952520620528 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9122] ppid=9056 vsize=10819084 memory=-1 CPUtime=0.09 cores=0-3 /proc/9059/task/9122/stat : 9122 (java) S 9056 9059 463 0 -1 1077944384 179 13263 0 0 1 0 5 3 20 0 15 0 406982703 11078742016 12086 33554432000 4194304 4196468 140721573546496 139952519567984 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9123] ppid=9056 vsize=10820108 memory=139957954094720 CPUtime=0.13 cores=0-3 /proc/9059/task/9123/stat : 9123 (java) R 9056 9059 463 0 -1 4202560 655 13263 0 0 5 0 5 3 20 0 15 0 406982703 11079790592 12086 33554432000 4194304 4196468 140721573546496 139952518512616 139952974059527 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9124] ppid=9056 vsize=10820108 memory=-1 CPUtime=0.08 cores=0-3 /proc/9059/task/9124/stat : 9124 (java) S 9056 9059 463 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 406982703 11079790592 12086 33554432000 4194304 4196468 140721573546496 139951503920224 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9125] ppid=9056 vsize=10819084 memory=139957954094720 CPUtime=0.08 cores=0-3 /proc/9059/task/9125/stat : 9125 (java) S 9056 9059 463 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 406982703 11078742016 12086 33554432000 4194304 4196468 140721573546496 139952517462320 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 Current children cumulated CPU time: 0.39 s Current children cumulated vsize: 10819084 KiB Current children cumulated memory: 48232 KiB [startup+0.700774 s] /proc/loadavg: 1.43 1.64 1.58 3/227 9125 /proc/meminfo: memFree=24995844/32770688 swapFree=66919608/67108860 [pid=9059] ppid=9056 vsize=10822292 memory=78192 CPUtime=1.09 cores=0-3 /proc/9059/stat : 9059 (java) S 9056 9059 463 0 -1 1077944320 14137 13263 0 0 95 6 5 3 20 0 15 0 406982687 11082027008 19548 33554432000 4194304 4196468 140721573546496 140721573529040 139952995102455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 /proc/9059/statm: 2705573 19548 3497 1 0 2667661 0 [pid=9059/tid=9112] ppid=9056 vsize=10822292 memory=0 CPUtime=0.66 cores=0-3 /proc/9059/task/9112/stat : 9112 (java) R 9056 9059 463 0 -1 4202560 9897 13263 0 0 54 4 5 3 20 0 15 0 406982697 11082027008 19548 33554432000 4194304 4196468 140721573546496 139952966918064 139952979182942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9113] ppid=9056 vsize=10822292 memory=0 CPUtime=0.08 cores=0-3 /proc/9059/task/9113/stat : 9113 (java) S 9056 9059 463 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 406982697 11082027008 19548 33554432000 4194304 4196468 140721573546496 139952999344912 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9114] ppid=9056 vsize=10822292 memory=0 CPUtime=0.08 cores=0-3 /proc/9059/task/9114/stat : 9114 (java) S 9056 9059 463 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 406982697 11082027008 19548 33554432000 4194304 4196468 140721573546496 139952920304528 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9115] ppid=9056 vsize=10822292 memory=68 CPUtime=0.08 cores=0-3 /proc/9059/task/9115/stat : 9115 (java) S 9056 9059 463 0 -1 1077944384 2 13263 0 0 0 0 5 3 20 0 15 0 406982697 11082027008 19548 33554432000 4194304 4196468 140721573546496 139952567168016 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9116] ppid=9056 vsize=10822292 memory=0 CPUtime=0.08 cores=0-3 /proc/9059/task/9116/stat : 9116 (java) S 9056 9059 463 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 406982697 11082027008 19548 33554432000 4194304 4196468 140721573546496 139952566115472 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9117] ppid=9056 vsize=10822292 memory=0 CPUtime=0.08 cores=0-3 /proc/9059/task/9117/stat : 9117 (java) S 9056 9059 463 0 -1 1077944384 6 13263 0 0 0 0 5 3 20 0 15 0 406982699 11082027008 19548 33554432000 4194304 4196468 140721573546496 139952521672688 139952995113602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9118] ppid=9056 vsize=10822292 memory=139957817716848 CPUtime=0.08 cores=0-3 /proc/9059/task/9118/stat : 9118 (java) S 9056 9059 463 0 -1 1077944384 13 13263 0 0 0 0 5 3 20 0 15 0 406982700 11082027008 19548 33554432000 4194304 4196468 140721573546496 139952448856992 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9119] ppid=9056 vsize=10822292 memory=139960099275334 CPUtime=0.08 cores=0-3 /proc/9059/task/9119/stat : 9119 (java) S 9056 9059 463 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 406982700 11082027008 19548 33554432000 4194304 4196468 140721573546496 139952314639344 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9120] ppid=9056 vsize=10822292 memory=3252 CPUtime=0.08 cores=0-3 /proc/9059/task/9120/stat : 9120 (java) S 9056 9059 463 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 406982703 11082027008 19548 33554432000 4194304 4196468 140721573546496 139951537477840 139952995121051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9121] ppid=9056 vsize=10822292 memory=7014751519734584657 CPUtime=0.19 cores=0-3 /proc/9059/task/9121/stat : 9121 (java) R 9056 9059 463 0 -1 4202560 727 13263 0 0 11 0 5 3 20 0 15 0 406982703 11082027008 19548 33554432000 4194304 4196468 140721573546496 139952520607552 139952995123802 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9122] ppid=9056 vsize=10822292 memory=6083077120360606569 CPUtime=0.19 cores=0-3 /proc/9059/task/9122/stat : 9122 (java) R 9056 9059 463 0 -1 4202560 472 13263 0 0 11 0 5 3 20 0 15 0 406982703 11082027008 19548 33554432000 4194304 4196468 140721573546496 139952519556656 139952975805581 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9123] ppid=9056 vsize=10822292 memory=5787500903046145365 CPUtime=0.25 cores=0-3 /proc/9059/task/9123/stat : 9123 (java) S 9056 9059 463 0 -1 1077944384 804 13263 0 0 17 0 5 3 20 0 15 0 406982703 11082027008 19548 33554432000 4194304 4196468 140721573546496 139952518515440 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9124] ppid=9056 vsize=10822292 memory=3624 CPUtime=0.08 cores=0-3 /proc/9059/task/9124/stat : 9124 (java) S 9056 9059 463 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 406982703 11082027008 19548 33554432000 4194304 4196468 140721573546496 139951503920224 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9125] ppid=9056 vsize=10822292 memory=2241 CPUtime=0.08 cores=0-3 /proc/9059/task/9125/stat : 9125 (java) S 9056 9059 463 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 406982703 11082027008 19548 33554432000 4194304 4196468 140721573546496 139952517462320 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 Current children cumulated CPU time: 1.09 s Current children cumulated vsize: 10822292 KiB Current children cumulated memory: 78192 KiB [startup+1.50078 s] /proc/loadavg: 1.43 1.64 1.58 6/227 9125 /proc/meminfo: memFree=24962196/32770688 swapFree=66919608/67108860 [pid=9059] ppid=9056 vsize=10832608 memory=186868 CPUtime=2.81 cores=0-3 /proc/9059/stat : 9059 (java) S 9056 9059 463 0 -1 1077944320 24872 13263 0 0 261 12 5 3 20 0 15 0 406982687 11092590592 46717 33554432000 4194304 4196468 140721573546496 140721573529040 139952995102455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 /proc/9059/statm: 2708152 46717 3568 1 0 2670221 0 [pid=9059/tid=9112] ppid=9056 vsize=10832608 memory=1915838 CPUtime=1.42 cores=0-3 /proc/9059/task/9112/stat : 9112 (java) R 9056 9059 463 0 -1 4202560 15553 13263 0 0 127 7 5 3 20 0 15 0 406982697 11092590592 46717 33554432000 4194304 4196468 140721573546496 139952966920696 139952995124381 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9113] ppid=9056 vsize=10832608 memory=8112282956445269571 CPUtime=0.09 cores=0-3 /proc/9059/task/9113/stat : 9113 (java) S 9056 9059 463 0 -1 1077944384 54 13263 0 0 1 0 5 3 20 0 15 0 406982697 11092590592 46717 33554432000 4194304 4196468 140721573546496 139952999344912 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9114] ppid=9056 vsize=10832608 memory=63576 CPUtime=0.09 cores=0-3 /proc/9059/task/9114/stat : 9114 (java) S 9056 9059 463 0 -1 1077944384 41 13263 0 0 1 0 5 3 20 0 15 0 406982697 11092590592 46717 33554432000 4194304 4196468 140721573546496 139952920304528 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9115] ppid=9056 vsize=10832608 memory=0 CPUtime=0.09 cores=0-3 /proc/9059/task/9115/stat : 9115 (java) S 9056 9059 463 0 -1 1077944384 46 13263 0 0 1 0 5 3 20 0 15 0 406982697 11092590592 46717 33554432000 4194304 4196468 140721573546496 139952567168016 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9116] ppid=9056 vsize=10832608 memory=78192 CPUtime=0.09 cores=0-3 /proc/9059/task/9116/stat : 9116 (java) S 9056 9059 463 0 -1 1077944384 274 13263 0 0 1 0 5 3 20 0 15 0 406982697 11092590592 46717 33554432000 4194304 4196468 140721573546496 139952566115472 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9117] ppid=9056 vsize=10832608 memory=0 CPUtime=0.09 cores=0-3 /proc/9059/task/9117/stat : 9117 (java) S 9056 9059 463 0 -1 1077944384 1178 13263 0 0 1 0 5 3 20 0 15 0 406982699 11092590592 46717 33554432000 4194304 4196468 140721573546496 139952521672688 139952995113602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9118] ppid=9056 vsize=10832608 memory=279915635376672 CPUtime=0.08 cores=0-3 /proc/9059/task/9118/stat : 9118 (java) S 9056 9059 463 0 -1 1077944384 13 13263 0 0 0 0 5 3 20 0 15 0 406982700 11092590592 46717 33554432000 4194304 4196468 140721573546496 139952448857056 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9119] ppid=9056 vsize=10832608 memory=279915635427472 CPUtime=0.08 cores=0-3 /proc/9059/task/9119/stat : 9119 (java) S 9056 9059 463 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 406982700 11092590592 46717 33554432000 4194304 4196468 140721573546496 139952314639360 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9120] ppid=9056 vsize=10832608 memory=0 CPUtime=0.08 cores=0-3 /proc/9059/task/9120/stat : 9120 (java) S 9056 9059 463 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 406982703 11092590592 46717 33554432000 4194304 4196468 140721573546496 139951537477840 139952995121051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9121] ppid=9056 vsize=10832608 memory=6944656575208382560 CPUtime=0.47 cores=0-3 /proc/9059/task/9121/stat : 9121 (java) S 9056 9059 463 0 -1 1077944384 1739 13263 0 0 38 1 5 3 20 0 15 0 406982703 11092590592 46717 33554432000 4194304 4196468 140721573546496 139952520620528 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9122] ppid=9056 vsize=10832608 memory=6944656592387989600 CPUtime=0.5 cores=0-3 /proc/9059/task/9122/stat : 9122 (java) S 9056 9059 463 0 -1 1077944384 1890 13263 0 0 42 0 5 3 20 0 15 0 406982703 11092590592 46717 33554432000 4194304 4196468 140721573546496 139952519567984 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9123] ppid=9056 vsize=10832608 memory=6944656592455359580 CPUtime=0.51 cores=0-3 /proc/9059/task/9123/stat : 9123 (java) S 9056 9059 463 0 -1 1077944384 1868 13263 0 0 43 0 5 3 20 0 15 0 406982703 11092590592 46717 33554432000 4194304 4196468 140721573546496 139952518515440 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9124] ppid=9056 vsize=10832608 memory=6655300316396806240 CPUtime=0.08 cores=0-3 /proc/9059/task/9124/stat : 9124 (java) S 9056 9059 463 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 406982703 11092590592 46717 33554432000 4194304 4196468 140721573546496 139951503920224 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9125] ppid=9056 vsize=10832608 memory=6655300316396806240 CPUtime=0.08 cores=0-3 /proc/9059/task/9125/stat : 9125 (java) S 9056 9059 463 0 -1 1077944384 1 13263 0 0 0 0 5 3 20 0 15 0 406982703 11092590592 46717 33554432000 4194304 4196468 140721573546496 139952517462320 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 Current children cumulated CPU time: 2.81 s Current children cumulated vsize: 10832608 KiB ################ # More data... # ################ /proc/9059/task/9112/stat : 9112 (java) R 9056 9059 463 0 -1 4202560 185598 13263 0 0 235374 83 5 3 20 0 15 0 406982697 11105193984 165745 33554432000 4194304 4196468 140721573546496 139952966937856 139952609143263 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9113] ppid=9056 vsize=10844916 memory=663540 CPUtime=14.39 cores=0-3 /proc/9059/task/9113/stat : 9113 (java) S 9056 9059 463 0 -1 1077944384 24375 13263 0 0 1357 74 5 3 20 0 15 0 406982697 11105193984 165745 33554432000 4194304 4196468 140721573546496 139952999344912 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9114] ppid=9056 vsize=10844916 memory=671824 CPUtime=14.37 cores=0-3 /proc/9059/task/9114/stat : 9114 (java) S 9056 9059 463 0 -1 1077944384 22130 13263 0 0 1367 62 5 3 20 0 15 0 406982697 11105193984 165745 33554432000 4194304 4196468 140721573546496 139952920304528 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9115] ppid=9056 vsize=10844916 memory=663540 CPUtime=14.39 cores=0-3 /proc/9059/task/9115/stat : 9115 (java) S 9056 9059 463 0 -1 1077944384 24472 13263 0 0 1357 74 5 3 20 0 15 0 406982697 11105193984 165745 33554432000 4194304 4196468 140721573546496 139952567168016 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9116] ppid=9056 vsize=10844916 memory=662980 CPUtime=14.34 cores=0-3 /proc/9059/task/9116/stat : 9116 (java) S 9056 9059 463 0 -1 1077944384 21716 13263 0 0 1360 66 5 3 20 0 15 0 406982697 11105193984 165745 33554432000 4194304 4196468 140721573546496 139952566115472 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9117] ppid=9056 vsize=10844916 memory=16192026709247 CPUtime=9.97 cores=0-3 /proc/9059/task/9117/stat : 9117 (java) S 9056 9059 463 0 -1 1077944384 13339 13263 0 0 898 91 5 3 20 0 15 0 406982699 11105193984 165745 33554432000 4194304 4196468 140721573546496 139952521672688 139952995113602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9118] ppid=9056 vsize=10844916 memory=3624 CPUtime=0.08 cores=0-3 /proc/9059/task/9118/stat : 9118 (java) S 9056 9059 463 0 -1 1077944384 14 13263 0 0 0 0 5 3 20 0 15 0 406982700 11105193984 165745 33554432000 4194304 4196468 140721573546496 139952448857056 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9119] ppid=9056 vsize=10844916 memory=43988 CPUtime=0.08 cores=0-3 /proc/9059/task/9119/stat : 9119 (java) S 9056 9059 463 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 406982700 11105193984 165745 33554432000 4194304 4196468 140721573546496 139952314639360 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9120] ppid=9056 vsize=10844916 memory=662516 CPUtime=0.08 cores=0-3 /proc/9059/task/9120/stat : 9120 (java) S 9056 9059 463 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 406982703 11105193984 165745 33554432000 4194304 4196468 140721573546496 139951537477840 139952995121051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9121] ppid=9056 vsize=10844916 memory=3624 CPUtime=3.96 cores=0-3 /proc/9059/task/9121/stat : 9121 (java) S 9056 9059 463 0 -1 1077944384 38427 13263 0 0 381 7 5 3 20 0 15 0 406982703 11105193984 165745 33554432000 4194304 4196468 140721573546496 139952520620528 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9122] ppid=9056 vsize=10844916 memory=662536 CPUtime=4.34 cores=0-3 /proc/9059/task/9122/stat : 9122 (java) S 9056 9059 463 0 -1 1077944384 44556 13263 0 0 417 9 5 3 20 0 15 0 406982703 11105193984 165745 33554432000 4194304 4196468 140721573546496 139952519567984 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9123] ppid=9056 vsize=10844916 memory=662516 CPUtime=4.03 cores=0-3 /proc/9059/task/9123/stat : 9123 (java) S 9056 9059 463 0 -1 1077944384 45961 13263 0 0 388 7 5 3 20 0 15 0 406982703 11105193984 165745 33554432000 4194304 4196468 140721573546496 139952518515440 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9124] ppid=9056 vsize=10844916 memory=2600 CPUtime=0.08 cores=0-3 /proc/9059/task/9124/stat : 9124 (java) S 9056 9059 463 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 406982703 11105193984 165745 33554432000 4194304 4196468 140721573546496 139951503920224 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9125] ppid=9056 vsize=10844916 memory=1724 CPUtime=1.47 cores=0-3 /proc/9059/task/9125/stat : 9125 (java) S 9056 9059 463 0 -1 1077944384 1273 13263 0 0 67 72 5 3 20 0 15 0 406982703 11105193984 165745 33554432000 4194304 4196468 140721573546496 139952517462320 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 Current children cumulated CPU time: 2435.31 s Current children cumulated vsize: 10844916 KiB Current children cumulated memory: 662980 KiB [startup+2442.3 s] /proc/loadavg: 0.62 0.78 1.08 2/207 9423 /proc/meminfo: memFree=25487308/32770688 swapFree=66919608/67108860 [pid=9059] ppid=9056 vsize=10844916 memory=710208 CPUtime=2496.55 cores=0-3 /proc/9059/stat : 9059 (java) S 9056 9059 463 0 -1 1077944320 433730 13263 0 0 249151 496 5 3 20 0 15 0 406982687 11105193984 177552 33554432000 4194304 4196468 140721573546496 140721573529040 139952995102455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 /proc/9059/statm: 2711229 177552 3623 1 0 2673293 0 [pid=9059/tid=9112] ppid=9056 vsize=10844916 memory=683800 CPUtime=2413.93 cores=0-3 /proc/9059/task/9112/stat : 9112 (java) R 9056 9059 463 0 -1 4202560 191963 13263 0 0 241300 85 5 3 20 0 15 0 406982697 11105193984 177552 33554432000 4194304 4196468 140721573546496 139952966937808 139952609434296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9113] ppid=9056 vsize=10844916 memory=702512 CPUtime=14.83 cores=0-3 /proc/9059/task/9113/stat : 9113 (java) S 9056 9059 463 0 -1 1077944384 25142 13263 0 0 1399 76 5 3 20 0 15 0 406982697 11105193984 177552 33554432000 4194304 4196468 140721573546496 139952999344912 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9114] ppid=9056 vsize=10844916 memory=675092 CPUtime=14.78 cores=0-3 /proc/9059/task/9114/stat : 9114 (java) S 9056 9059 463 0 -1 1077944384 22925 13263 0 0 1407 63 5 3 20 0 15 0 406982697 11105193984 177552 33554432000 4194304 4196468 140721573546496 139952920304528 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9115] ppid=9056 vsize=10844916 memory=713288 CPUtime=14.82 cores=0-3 /proc/9059/task/9115/stat : 9115 (java) S 9056 9059 463 0 -1 1077944384 25337 13263 0 0 1398 76 5 3 20 0 15 0 406982697 11105193984 177552 33554432000 4194304 4196468 140721573546496 139952567168016 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9116] ppid=9056 vsize=10844916 memory=711748 CPUtime=14.77 cores=0-3 /proc/9059/task/9116/stat : 9116 (java) S 9056 9059 463 0 -1 1077944384 22319 13263 0 0 1401 68 5 3 20 0 15 0 406982697 11105193984 177552 33554432000 4194304 4196468 140721573546496 139952566115472 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9117] ppid=9056 vsize=10844916 memory=710720 CPUtime=10.19 cores=0-3 /proc/9059/task/9117/stat : 9117 (java) S 9056 9059 463 0 -1 1077944384 13586 13263 0 0 917 94 5 3 20 0 15 0 406982699 11105193984 177552 33554432000 4194304 4196468 140721573546496 139952521672688 139952995113602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9118] ppid=9056 vsize=10844916 memory=710208 CPUtime=0.08 cores=0-3 /proc/9059/task/9118/stat : 9118 (java) S 9056 9059 463 0 -1 1077944384 14 13263 0 0 0 0 5 3 20 0 15 0 406982700 11105193984 177552 33554432000 4194304 4196468 140721573546496 139952448857056 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9119] ppid=9056 vsize=10844916 memory=664968 CPUtime=0.08 cores=0-3 /proc/9059/task/9119/stat : 9119 (java) S 9056 9059 463 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 406982700 11105193984 177552 33554432000 4194304 4196468 140721573546496 139952314639360 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9120] ppid=9056 vsize=10844916 memory=710720 CPUtime=0.08 cores=0-3 /proc/9059/task/9120/stat : 9120 (java) S 9056 9059 463 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 406982703 11105193984 177552 33554432000 4194304 4196468 140721573546496 139951537477840 139952995121051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9121] ppid=9056 vsize=10844916 memory=677132 CPUtime=3.96 cores=0-3 /proc/9059/task/9121/stat : 9121 (java) S 9056 9059 463 0 -1 1077944384 38429 13263 0 0 381 7 5 3 20 0 15 0 406982703 11105193984 177552 33554432000 4194304 4196468 140721573546496 139952520620528 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9122] ppid=9056 vsize=10844916 memory=678672 CPUtime=4.34 cores=0-3 /proc/9059/task/9122/stat : 9122 (java) S 9056 9059 463 0 -1 1077944384 44559 13263 0 0 417 9 5 3 20 0 15 0 406982703 11105193984 177552 33554432000 4194304 4196468 140721573546496 139952519567984 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9123] ppid=9056 vsize=10844916 memory=712772 CPUtime=4.03 cores=0-3 /proc/9059/task/9123/stat : 9123 (java) S 9056 9059 463 0 -1 1077944384 45963 13263 0 0 388 7 5 3 20 0 15 0 406982703 11105193984 177552 33554432000 4194304 4196468 140721573546496 139952518515440 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9124] ppid=9056 vsize=10844916 memory=43988 CPUtime=0.08 cores=0-3 /proc/9059/task/9124/stat : 9124 (java) S 9056 9059 463 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 406982703 11105193984 177552 33554432000 4194304 4196468 140721573546496 139951503920224 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9125] ppid=9056 vsize=10844916 memory=0 CPUtime=1.51 cores=0-3 /proc/9059/task/9125/stat : 9125 (java) S 9056 9059 463 0 -1 1077944384 1278 13263 0 0 69 74 5 3 20 0 15 0 406982703 11105193984 177552 33554432000 4194304 4196468 140721573546496 139952517462320 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 Current children cumulated CPU time: 2496.55 s Current children cumulated vsize: 10844916 KiB Current children cumulated memory: 710208 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2465.3 s] /proc/loadavg: 0.63 0.77 1.07 2/206 9425 /proc/meminfo: memFree=25508156/32770688 swapFree=66919608/67108860 [pid=9059] ppid=9056 vsize=10844916 memory=688656 CPUtime=2520.03 cores=0-3 /proc/9059/stat : 9059 (java) S 9056 9059 463 0 -1 1077944320 434939 13263 0 0 251496 499 5 3 20 0 15 0 406982687 11105193984 172164 33554432000 4194304 4196468 140721573546496 140721573529040 139952995102455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 /proc/9059/statm: 2711229 172164 3623 1 0 2673293 0 [pid=9059/tid=9112] ppid=9056 vsize=10844916 memory=687632 CPUtime=2436.66 cores=0-3 /proc/9059/task/9112/stat : 9112 (java) R 9056 9059 463 0 -1 4202560 192652 13263 0 0 243573 85 5 3 20 0 15 0 406982697 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952966938064 139952609824920 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9113] ppid=9056 vsize=10844916 memory=687632 CPUtime=14.98 cores=0-3 /proc/9059/task/9113/stat : 9113 (java) S 9056 9059 463 0 -1 1077944384 25346 13263 0 0 1414 76 5 3 20 0 15 0 406982697 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952999344912 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9114] ppid=9056 vsize=10844916 memory=164 CPUtime=14.94 cores=0-3 /proc/9059/task/9114/stat : 9114 (java) S 9056 9059 463 0 -1 1077944384 22985 13263 0 0 1423 63 5 3 20 0 15 0 406982697 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952920304528 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9115] ppid=9056 vsize=10844916 memory=690196 CPUtime=14.98 cores=0-3 /proc/9059/task/9115/stat : 9115 (java) S 9056 9059 463 0 -1 1077944384 25462 13263 0 0 1414 76 5 3 20 0 15 0 406982697 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952567168016 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9116] ppid=9056 vsize=10844916 memory=691224 CPUtime=14.93 cores=0-3 /proc/9059/task/9116/stat : 9116 (java) S 9056 9059 463 0 -1 1077944384 22396 13263 0 0 1417 68 5 3 20 0 15 0 406982697 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952566115472 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9117] ppid=9056 vsize=10844916 memory=695328 CPUtime=10.27 cores=0-3 /proc/9059/task/9117/stat : 9117 (java) S 9056 9059 463 0 -1 1077944384 13627 13263 0 0 925 94 5 3 20 0 15 0 406982699 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952521672688 139952995113602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9118] ppid=9056 vsize=10844916 memory=702508 CPUtime=0.08 cores=0-3 /proc/9059/task/9118/stat : 9118 (java) S 9056 9059 463 0 -1 1077944384 14 13263 0 0 0 0 5 3 20 0 15 0 406982700 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952448857056 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9119] ppid=9056 vsize=10844916 memory=688144 CPUtime=0.08 cores=0-3 /proc/9059/task/9119/stat : 9119 (java) S 9056 9059 463 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 406982700 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952314639360 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9120] ppid=9056 vsize=10844916 memory=687632 CPUtime=0.08 cores=0-3 /proc/9059/task/9120/stat : 9120 (java) S 9056 9059 463 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 406982703 11105193984 172164 33554432000 4194304 4196468 140721573546496 139951537477840 139952995121051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9121] ppid=9056 vsize=10844916 memory=688656 CPUtime=3.96 cores=0-3 /proc/9059/task/9121/stat : 9121 (java) S 9056 9059 463 0 -1 1077944384 38429 13263 0 0 381 7 5 3 20 0 15 0 406982703 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952520620528 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9122] ppid=9056 vsize=10844916 memory=696352 CPUtime=4.34 cores=0-3 /proc/9059/task/9122/stat : 9122 (java) S 9056 9059 463 0 -1 1077944384 44559 13263 0 0 417 9 5 3 20 0 15 0 406982703 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952519567984 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9123] ppid=9056 vsize=10844916 memory=689684 CPUtime=4.03 cores=0-3 /proc/9059/task/9123/stat : 9123 (java) S 9056 9059 463 0 -1 1077944384 45963 13263 0 0 388 7 5 3 20 0 15 0 406982703 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952518515440 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9124] ppid=9056 vsize=10844916 memory=692248 CPUtime=0.08 cores=0-3 /proc/9059/task/9124/stat : 9124 (java) S 9056 9059 463 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 406982703 11105193984 172164 33554432000 4194304 4196468 140721573546496 139951503920224 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9125] ppid=9056 vsize=10844916 memory=3624 CPUtime=1.53 cores=0-3 /proc/9059/task/9125/stat : 9125 (java) S 9056 9059 463 0 -1 1077944384 1291 13263 0 0 70 75 5 3 20 0 15 0 406982703 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952517462320 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 Current children cumulated CPU time: 2520.03 s Current children cumulated vsize: 10844916 KiB Current children cumulated memory: 688656 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2465.33 s] # the end of solver process 9059 was just reported to runsolver # cumulated CPU time of all completed processes: user=2515.04 s, system=5.03701 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2465.3 s] /proc/loadavg: 0.63 0.77 1.07 2/206 9425 /proc/meminfo: memFree=25508156/32770688 swapFree=66919608/67108860 [pid=9059] ppid=9056 vsize=10844916 memory=688656 CPUtime=2520.03 cores=0-3 /proc/9059/stat : 9059 (java) S 9056 9059 463 0 -1 1077944320 434939 13263 0 0 251496 499 5 3 20 0 15 0 406982687 11105193984 172164 33554432000 4194304 4196468 140721573546496 140721573529040 139952995102455 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 /proc/9059/statm: 2711229 172164 3623 1 0 2673293 0 [pid=9059/tid=9112] ppid=9056 vsize=10844916 memory=687632 CPUtime=2436.66 cores=0-3 /proc/9059/task/9112/stat : 9112 (java) R 9056 9059 463 0 -1 4202560 192652 13263 0 0 243573 85 5 3 20 0 15 0 406982697 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952966938064 139952609824920 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9113] ppid=9056 vsize=10844916 memory=687632 CPUtime=14.98 cores=0-3 /proc/9059/task/9113/stat : 9113 (java) S 9056 9059 463 0 -1 1077944384 25346 13263 0 0 1414 76 5 3 20 0 15 0 406982697 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952999344912 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9114] ppid=9056 vsize=10844916 memory=164 CPUtime=14.94 cores=0-3 /proc/9059/task/9114/stat : 9114 (java) S 9056 9059 463 0 -1 1077944384 22985 13263 0 0 1423 63 5 3 20 0 15 0 406982697 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952920304528 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9115] ppid=9056 vsize=10844916 memory=690196 CPUtime=14.98 cores=0-3 /proc/9059/task/9115/stat : 9115 (java) S 9056 9059 463 0 -1 1077944384 25462 13263 0 0 1414 76 5 3 20 0 15 0 406982697 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952567168016 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9116] ppid=9056 vsize=10844916 memory=691224 CPUtime=14.93 cores=0-3 /proc/9059/task/9116/stat : 9116 (java) S 9056 9059 463 0 -1 1077944384 22396 13263 0 0 1417 68 5 3 20 0 15 0 406982697 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952566115472 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9117] ppid=9056 vsize=10844916 memory=695328 CPUtime=10.27 cores=0-3 /proc/9059/task/9117/stat : 9117 (java) S 9056 9059 463 0 -1 1077944384 13627 13263 0 0 925 94 5 3 20 0 15 0 406982699 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952521672688 139952995113602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9118] ppid=9056 vsize=10844916 memory=702508 CPUtime=0.08 cores=0-3 /proc/9059/task/9118/stat : 9118 (java) S 9056 9059 463 0 -1 1077944384 14 13263 0 0 0 0 5 3 20 0 15 0 406982700 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952448857056 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9119] ppid=9056 vsize=10844916 memory=688144 CPUtime=0.08 cores=0-3 /proc/9059/task/9119/stat : 9119 (java) S 9056 9059 463 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 406982700 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952314639360 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9120] ppid=9056 vsize=10844916 memory=687632 CPUtime=0.08 cores=0-3 /proc/9059/task/9120/stat : 9120 (java) S 9056 9059 463 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 406982703 11105193984 172164 33554432000 4194304 4196468 140721573546496 139951537477840 139952995121051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9121] ppid=9056 vsize=10844916 memory=688656 CPUtime=3.96 cores=0-3 /proc/9059/task/9121/stat : 9121 (java) S 9056 9059 463 0 -1 1077944384 38429 13263 0 0 381 7 5 3 20 0 15 0 406982703 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952520620528 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9122] ppid=9056 vsize=10844916 memory=696352 CPUtime=4.34 cores=0-3 /proc/9059/task/9122/stat : 9122 (java) S 9056 9059 463 0 -1 1077944384 44559 13263 0 0 417 9 5 3 20 0 15 0 406982703 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952519567984 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9123] ppid=9056 vsize=10844916 memory=689684 CPUtime=4.03 cores=0-3 /proc/9059/task/9123/stat : 9123 (java) S 9056 9059 463 0 -1 1077944384 45963 13263 0 0 388 7 5 3 20 0 15 0 406982703 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952518515440 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9124] ppid=9056 vsize=10844916 memory=692248 CPUtime=0.08 cores=0-3 /proc/9059/task/9124/stat : 9124 (java) S 9056 9059 463 0 -1 1077944384 3 13263 0 0 0 0 5 3 20 0 15 0 406982703 11105193984 172164 33554432000 4194304 4196468 140721573546496 139951503920224 139952995112661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 [pid=9059/tid=9125] ppid=9056 vsize=10844916 memory=3624 CPUtime=1.53 cores=0-3 /proc/9059/task/9125/stat : 9125 (java) S 9056 9059 463 0 -1 1077944384 1291 13263 0 0 70 75 5 3 20 0 15 0 406982703 11105193984 172164 33554432000 4194304 4196468 140721573546496 139952517462320 139952995113602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34082816 140721573550837 140721573553349 140721573553349 140721573556175 0 Current children cumulated CPU time: 2520.03 s Current children cumulated vsize: 10844916 KiB Current children cumulated memory: 688656 KiB Child status: 143 Real time (s): 2465.33 CPU time (s): 2520.08 CPU user time (s): 2515.04 CPU system time (s): 5.03701 CPU usage (%): 102.221 Max. virtual memory (cumulated for all children) (KiB): 10844916 Max. memory (cumulated for all children) (KiB): 949428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2515.04 system time used= 5.03701 maximum resident set size= 950384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 449061 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3216 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 269052 involuntary context switches= 11234 # summary of solver processes directly reported to runsolver: # pid: 9059 # total CPU time (s): 2520.08 # total CPU user time (s): 2515.04 # total CPU system time (s): 5.03701 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 14.8448 second user time and 26.7878 second system time The end
Begin job on node120 at 2011-12-14 01:56:26 IDJOB=4387540 IDBENCH=141691 IDSOLVER=2823 FILE ID=node120/4387540-1568309763 RUNJOBID= node120-1323800386-1292 PBS_JOBID= 21701083 Free space on /tmp= 59120 MiB SOLVER NAME= Concrete 3.10 BENCH NAME= XCSP19/hcp/graph223.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387540-1568309763/watcher-4387540-1568309763 -o /tmp/evaluation-result-4387540-1568309763/solver-4387540-1568309763 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323800386-1292 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1058020510 HOME/instance-4387540-1568309763.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c2ae7594dad59fdbc475d1849bdfa679 RANDOM SEED=1058020510 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: 25045080 kB MemAvailable: 30709184 kB Buffers: 138304 kB Cached: 5799536 kB SwapCached: 77012 kB Active: 2373932 kB Inactive: 4749440 kB Active(anon): 1108696 kB Inactive(anon): 118272 kB Active(file): 1265236 kB Inactive(file): 4631168 kB Unevictable: 107420 kB Mlocked: 107420 kB SwapTotal: 67108860 kB SwapFree: 66919608 kB Dirty: 35280 kB Writeback: 0 kB AnonPages: 1217348 kB Mapped: 59628 kB Shmem: 32812 kB Slab: 195688 kB SReclaimable: 167072 kB SUnreclaim: 28616 kB KernelStack: 3680 kB PageTables: 8112 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 2282292 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1050624 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= 59120 MiB End job on node120 at 2011-12-14 02:37:32