Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Concrete 3.10 | ? (TO) | 2520.27 | 2462.75 |
Name | BinPacking/ BinPacking-mdd-fu/BinPacking-mdd-fu1000-02.xml |
MD5SUM | 81a54afd524339631fcda48b56d1b2da |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4061 |
Number of constraints | 583 |
Number of domains | 2 |
Minimum domain size | 82 |
Maximum domain size | 581 |
Distribution of domain sizes | [{"size":82,"count":4060},{"size":581,"count":1}] |
Minimum variable degree | 2 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":3480},{"degree":4,"count":580}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 4060 |
Distribution of constraint arities | [{"arity":7,"count":580},{"arity":581,"count":1},{"arity":4060,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"mdd","count":580},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}] |
Optimization problem | YES |
Type of objective | max VAR |
0.70/0.60 c Concrete v3.10.1560635388952 running 2520.19/2462.73 Exception in thread "main" java.util.concurrent.TimeoutException 2520.19/2462.73 at concrete.MAC.mac(MAC.scala:189) 2520.19/2462.73 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:253) 2520.19/2462.73 at scala.util.Try$.apply(Try.scala:212) 2520.19/2462.73 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2520.19/2462.73 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2520.19/2462.73 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2520.19/2462.73 at concrete.MAC.oneRun(MAC.scala:253) 2520.19/2462.73 at concrete.MAC.nextSolution(MAC.scala:272) 2520.19/2462.73 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336) 2520.19/2462.73 at concrete.ProblemState.map(ProblemState.scala:228) 2520.19/2462.73 at concrete.ProblemState.map(ProblemState.scala:210) 2520.19/2462.73 at concrete.MAC.nextSolution(MAC.scala:334) 2520.19/2462.73 at concrete.Solver.hasNext(Solver.scala:160) 2520.19/2462.73 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2520.19/2462.73 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2520.19/2462.73 at concrete.Solver.foreach(Solver.scala:67) 2520.19/2462.73 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:72) 2520.19/2462.73 at scala.util.Success.map(Try.scala:264) 2520.19/2462.73 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:67) 2520.19/2462.73 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2520.19/2462.73 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.19/2462.73 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.19/2462.73 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.19/2462.73 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2520.19/2462.73 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2520.19/2462.73 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2520.19/2462.73 at scala.App.$anonfun$main$1(App.scala:75) 2520.19/2462.73 at scala.App.$anonfun$main$1$adapted(App.scala:75) 2520.19/2462.73 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2520.19/2462.73 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2520.19/2462.73 at scala.collection.AbstractIterable.foreach(Iterable.scala:904) 2520.19/2462.73 at scala.App.main(App.scala:75) 2520.19/2462.73 at scala.App.main$(App.scala:73) 2520.19/2462.73 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.19/2462.73 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.19/2462.74 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 (10142 MiB free) memory of node 1: 16384 MiB (12827 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387410-1568303670/watcher-4387410-1568303670 -o /tmp/evaluation-result-4387410-1568303670/solver-4387410-1568303670 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568285921-31916 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=952230558 HOME/instance-4387410-1568303670.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 solver pid=4347, runsolver pid=4344 Current StackSize limit: 8192 KiB [startup+0.100104 s]* /proc/loadavg: 1.64 1.54 1.41 2/215 4400 /proc/meminfo: memFree=23516144/32770688 swapFree=66960432/67108860 [pid=4347] ppid=4344 vsize=9972712 memory=16744 CPUtime=0.09 cores=0-3 /proc/4347/stat : 4347 (java) S 4344 4347 31157 0 -1 1077944320 3895 13126 0 0 1 0 5 3 20 0 6 0 406308755 10212057088 4186 33554432000 4194304 4196468 140720532632272 140720532614816 140506281484023 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 /proc/4347/statm: 2493178 4186 1609 1 0 2481616 0 [pid=4347/tid=4400] ppid=4344 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=0-3 /proc/4347/task/4400/stat : 4400 (java) R 4344 4347 31157 0 -1 4202560 2021 13126 0 0 0 0 5 3 20 0 6 0 406308765 10212057088 4516 33554432000 4194304 4196468 140720532632272 140506253320784 140506262258576 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4401] ppid=4344 vsize=9972712 memory=5792869726567804975 CPUtime=0.08 cores=0-3 /proc/4347/task/4401/stat : 4401 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 6 0 406308765 10212057088 4516 33554432000 4194304 4196468 140720532632272 140506285726480 140506281494229 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4402] ppid=4344 vsize=9972712 memory=139818628318848 CPUtime=0.08 cores=0-3 /proc/4347/task/4402/stat : 4402 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 6 0 406308765 10212057088 4516 33554432000 4194304 4196468 140720532632272 140506174000016 140506281494229 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4403] ppid=4344 vsize=9972712 memory=0 CPUtime=0.08 cores=0-3 /proc/4347/task/4403/stat : 4403 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 6 0 406308765 10212057088 4516 33554432000 4194304 4196468 140720532632272 140506172947472 140506281494229 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4404] ppid=4344 vsize=9972712 memory=-1 CPUtime=0.08 cores=0-3 /proc/4347/task/4404/stat : 4404 (java) S 4344 4347 31157 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 6 0 406308765 10212057088 4516 33554432000 4194304 4196468 140720532632272 140506171894928 140506281494229 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 9972712 KiB Current children cumulated memory: 16744 KiB [startup+0.211126 s]* /proc/loadavg: 1.64 1.54 1.41 3/228 4413 /proc/meminfo: memFree=23497940/32770688 swapFree=66960432/67108860 [pid=4347] ppid=4344 vsize=10818900 memory=35136 CPUtime=0.26 cores=0-3 /proc/4347/stat : 4347 (java) S 4344 4347 31157 0 -1 1077944320 6593 13126 0 0 17 1 5 3 20 0 15 0 406308755 11078553600 8784 33554432000 4194304 4196468 140720532632272 140720532614816 140506281484023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 /proc/4347/statm: 2704725 8784 2978 1 0 2667149 0 [pid=4347/tid=4400] ppid=4344 vsize=10818900 memory=8389772277269004345 CPUtime=0.19 cores=0-3 /proc/4347/task/4400/stat : 4400 (java) R 4344 4347 31157 0 -1 4202560 3095 13126 0 0 11 0 5 3 20 0 15 0 406308765 11078553600 9296 33554432000 4194304 4196468 140720532632272 140506253316608 140506281505949 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4401] ppid=4344 vsize=10818900 memory=4294967661 CPUtime=0.08 cores=0-3 /proc/4347/task/4401/stat : 4401 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 406308765 11078553600 9296 33554432000 4194304 4196468 140720532632272 140506285726480 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4402] ppid=4344 vsize=10818900 memory=3617156152815552160 CPUtime=0.08 cores=0-3 /proc/4347/task/4402/stat : 4402 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 406308765 11078553600 9296 33554432000 4194304 4196468 140720532632272 140506174000016 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4403] ppid=4344 vsize=10818900 memory=0 CPUtime=0.08 cores=0-3 /proc/4347/task/4403/stat : 4403 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 406308765 11078553600 9296 33554432000 4194304 4196468 140720532632272 140506172947472 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4404] ppid=4344 vsize=10818900 memory=-1 CPUtime=0.08 cores=0-3 /proc/4347/task/4404/stat : 4404 (java) S 4344 4347 31157 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 406308765 11078553600 9296 33554432000 4194304 4196468 140720532632272 140506171894928 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4405] ppid=4344 vsize=10818900 memory=139818628318848 CPUtime=0.08 cores=0-3 /proc/4347/task/4405/stat : 4405 (java) S 4344 4347 31157 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 406308767 11078553600 9296 33554432000 4194304 4196468 140720532632272 140505740421104 140506281495170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4406] ppid=4344 vsize=10818900 memory=-1 CPUtime=0.08 cores=0-3 /proc/4347/task/4406/stat : 4406 (java) S 4344 4347 31157 0 -1 1077944384 33 13126 0 0 0 0 5 3 20 0 15 0 406308767 11078553600 9296 33554432000 4194304 4196468 140720532632272 140505739367328 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4407] ppid=4344 vsize=10818900 memory=0 CPUtime=0.08 cores=0-3 /proc/4347/task/4407/stat : 4407 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 406308768 11078553600 9296 33554432000 4194304 4196468 140720532632272 140505157460976 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4408] ppid=4344 vsize=10818900 memory=0 CPUtime=0.08 cores=0-3 /proc/4347/task/4408/stat : 4408 (java) S 4344 4347 31157 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 406308771 11078553600 9296 33554432000 4194304 4196468 140720532632272 140504850061520 140506281502619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4409] ppid=4344 vsize=10818900 memory=0 CPUtime=0.09 cores=0-3 /proc/4347/task/4409/stat : 4409 (java) S 4344 4347 31157 0 -1 1077944384 342 13126 0 0 1 0 5 3 20 0 15 0 406308771 11078553600 9296 33554432000 4194304 4196468 140720532632272 140505705810416 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4410] ppid=4344 vsize=10818900 memory=-1 CPUtime=0.09 cores=0-3 /proc/4347/task/4410/stat : 4410 (java) S 4344 4347 31157 0 -1 1077944384 273 13126 0 0 1 0 5 3 20 0 15 0 406308771 11078553600 9296 33554432000 4194304 4196468 140720532632272 140505704757872 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4411] ppid=4344 vsize=10818900 memory=139818628318848 CPUtime=0.1 cores=0-3 /proc/4347/task/4411/stat : 4411 (java) R 4344 4347 31157 0 -1 4202560 641 13126 0 0 2 0 5 3 20 0 15 0 406308771 11078553600 9296 33554432000 4194304 4196468 140720532632272 140505703705328 140506262724336 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4412] ppid=4344 vsize=10818900 memory=-1 CPUtime=0.08 cores=0-3 /proc/4347/task/4412/stat : 4412 (java) S 4344 4347 31157 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 406308771 11078553600 9296 33554432000 4194304 4196468 140720532632272 140504816503904 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4413] ppid=4344 vsize=10818900 memory=139818628318848 CPUtime=0.08 cores=0-3 /proc/4347/task/4413/stat : 4413 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 406308771 11078553600 9296 33554432000 4194304 4196468 140720532632272 140505702652208 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 Current children cumulated CPU time: 0.26 s Current children cumulated vsize: 10818900 KiB Current children cumulated memory: 35136 KiB [startup+0.311387 s]* /proc/loadavg: 1.64 1.54 1.41 3/228 4413 /proc/meminfo: memFree=23484684/32770688 swapFree=66960432/67108860 [pid=4347] ppid=4344 vsize=10819084 memory=45968 CPUtime=0.4 cores=0-3 /proc/4347/stat : 4347 (java) S 4344 4347 31157 0 -1 1077944320 10202 13126 0 0 29 3 5 3 20 0 15 0 406308755 11078742016 11492 33554432000 4194304 4196468 140720532632272 140720532614816 140506281484023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 /proc/4347/statm: 2704771 11492 3035 1 0 2667149 0 [pid=4347/tid=4400] ppid=4344 vsize=10819084 memory=6935054825532540783 CPUtime=0.29 cores=0-3 /proc/4347/task/4400/stat : 4400 (java) R 4344 4347 31157 0 -1 4202560 6684 13126 0 0 19 2 5 3 20 0 15 0 406308765 11078742016 11492 33554432000 4194304 4196468 140720532632272 140506253283280 140506281505949 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4401] ppid=4344 vsize=10819084 memory=4872558044660077418 CPUtime=0.08 cores=0-3 /proc/4347/task/4401/stat : 4401 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 406308765 11078742016 11492 33554432000 4194304 4196468 140720532632272 140506285726480 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4402] ppid=4344 vsize=10819084 memory=-2843869595318207646 CPUtime=0.08 cores=0-3 /proc/4347/task/4402/stat : 4402 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 406308765 11078742016 11492 33554432000 4194304 4196468 140720532632272 140506174000016 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4403] ppid=4344 vsize=10819084 memory=-8412656567334364540 CPUtime=0.08 cores=0-3 /proc/4347/task/4403/stat : 4403 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 406308765 11078742016 11492 33554432000 4194304 4196468 140720532632272 140506172947472 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4404] ppid=4344 vsize=10819084 memory=-1 CPUtime=0.08 cores=0-3 /proc/4347/task/4404/stat : 4404 (java) S 4344 4347 31157 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 406308765 11078742016 11492 33554432000 4194304 4196468 140720532632272 140506171894928 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4405] ppid=4344 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/4347/task/4405/stat : 4405 (java) S 4344 4347 31157 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 406308767 11078742016 11492 33554432000 4194304 4196468 140720532632272 140505740421104 140506281495170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4406] ppid=4344 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/4347/task/4406/stat : 4406 (java) S 4344 4347 31157 0 -1 1077944384 33 13126 0 0 0 0 5 3 20 0 15 0 406308767 11078742016 11492 33554432000 4194304 4196468 140720532632272 140505739367328 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4407] ppid=4344 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/4347/task/4407/stat : 4407 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 406308768 11078742016 11492 33554432000 4194304 4196468 140720532632272 140505157460976 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4408] ppid=4344 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/4347/task/4408/stat : 4408 (java) S 4344 4347 31157 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 406308771 11078742016 11492 33554432000 4194304 4196468 140720532632272 140504850061520 140506281502619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4409] ppid=4344 vsize=10819084 memory=0 CPUtime=0.09 cores=0-3 /proc/4347/task/4409/stat : 4409 (java) S 4344 4347 31157 0 -1 1077944384 342 13126 0 0 1 0 5 3 20 0 15 0 406308771 11078742016 11492 33554432000 4194304 4196468 140720532632272 140505705810416 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4410] ppid=4344 vsize=10819084 memory=0 CPUtime=0.09 cores=0-3 /proc/4347/task/4410/stat : 4410 (java) S 4344 4347 31157 0 -1 1077944384 274 13126 0 0 1 0 5 3 20 0 15 0 406308771 11078742016 11492 33554432000 4194304 4196468 140720532632272 140505704757872 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4411] ppid=4344 vsize=10819084 memory=0 CPUtime=0.13 cores=0-3 /proc/4347/task/4411/stat : 4411 (java) S 4344 4347 31157 0 -1 1077944384 654 13126 0 0 5 0 5 3 20 0 15 0 406308771 11078742016 11492 33554432000 4194304 4196468 140720532632272 140505703705328 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4412] ppid=4344 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/4347/task/4412/stat : 4412 (java) S 4344 4347 31157 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 406308771 11078742016 11492 33554432000 4194304 4196468 140720532632272 140504816503904 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4413] ppid=4344 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/4347/task/4413/stat : 4413 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 406308771 11078742016 11492 33554432000 4194304 4196468 140720532632272 140505702652208 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 Current children cumulated CPU time: 0.4 s Current children cumulated vsize: 10819084 KiB Current children cumulated memory: 45968 KiB [startup+0.700746 s] /proc/loadavg: 1.64 1.54 1.41 4/228 4413 /proc/meminfo: memFree=23474596/32770688 swapFree=66960432/67108860 [pid=4347] ppid=4344 vsize=10822292 memory=74456 CPUtime=1.12 cores=0-3 /proc/4347/stat : 4347 (java) S 4344 4347 31157 0 -1 1077944320 13915 13126 0 0 100 4 5 3 20 0 15 0 406308755 11082027008 18614 33554432000 4194304 4196468 140720532632272 140720532614816 140506281484023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 /proc/4347/statm: 2705573 18614 3488 1 0 2667661 0 [pid=4347/tid=4400] ppid=4344 vsize=10822292 memory=0 CPUtime=0.67 cores=0-3 /proc/4347/task/4400/stat : 4400 (java) R 4344 4347 31157 0 -1 4202560 9681 13126 0 0 56 3 5 3 20 0 15 0 406308765 11082027008 18614 33554432000 4194304 4196468 140720532632272 140506253299632 140506265564510 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4401] ppid=4344 vsize=10822292 memory=0 CPUtime=0.08 cores=0-3 /proc/4347/task/4401/stat : 4401 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 406308765 11082027008 18614 33554432000 4194304 4196468 140720532632272 140506285726480 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4402] ppid=4344 vsize=10822292 memory=0 CPUtime=0.08 cores=0-3 /proc/4347/task/4402/stat : 4402 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 406308765 11082027008 18614 33554432000 4194304 4196468 140720532632272 140506174000016 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4403] ppid=4344 vsize=10822292 memory=279636999147280 CPUtime=0.08 cores=0-3 /proc/4347/task/4403/stat : 4403 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 406308765 11082027008 18614 33554432000 4194304 4196468 140720532632272 140506172947472 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4404] ppid=4344 vsize=10822292 memory=2465445447425 CPUtime=0.08 cores=0-3 /proc/4347/task/4404/stat : 4404 (java) S 4344 4347 31157 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 406308765 11082027008 18614 33554432000 4194304 4196468 140720532632272 140506171894928 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4405] ppid=4344 vsize=10822292 memory=2469740414721 CPUtime=0.08 cores=0-3 /proc/4347/task/4405/stat : 4405 (java) S 4344 4347 31157 0 -1 1077944384 6 13126 0 0 0 0 5 3 20 0 15 0 406308767 11082027008 18614 33554432000 4194304 4196468 140720532632272 140505740421104 140506281495170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4406] ppid=4344 vsize=10822292 memory=2474035382017 CPUtime=0.08 cores=0-3 /proc/4347/task/4406/stat : 4406 (java) S 4344 4347 31157 0 -1 1077944384 33 13126 0 0 0 0 5 3 20 0 15 0 406308767 11082027008 18614 33554432000 4194304 4196468 140720532632272 140505739367328 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4407] ppid=4344 vsize=10822292 memory=448689960 CPUtime=0.08 cores=0-3 /proc/4347/task/4407/stat : 4407 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 406308768 11082027008 18614 33554432000 4194304 4196468 140720532632272 140505157460976 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4408] ppid=4344 vsize=10822292 memory=4641337133689313955 CPUtime=0.08 cores=0-3 /proc/4347/task/4408/stat : 4408 (java) S 4344 4347 31157 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 406308771 11082027008 18614 33554432000 4194304 4196468 140720532632272 140504850061520 140506281502619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4409] ppid=4344 vsize=10822292 memory=5864902102088180568 CPUtime=0.19 cores=0-3 /proc/4347/task/4409/stat : 4409 (java) R 4344 4347 31157 0 -1 4202560 570 13126 0 0 11 0 5 3 20 0 15 0 406308771 11082027008 18614 33554432000 4194304 4196468 140720532632272 140505705790688 140506263028512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4410] ppid=4344 vsize=10822292 memory=7881696724453321575 CPUtime=0.22 cores=0-3 /proc/4347/task/4410/stat : 4410 (java) R 4344 4347 31157 0 -1 4202560 630 13126 0 0 14 0 5 3 20 0 15 0 406308771 11082027008 18614 33554432000 4194304 4196468 140720532632272 140505704747584 140506266593589 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4411] ppid=4344 vsize=10822292 memory=8740 CPUtime=0.25 cores=0-3 /proc/4347/task/4411/stat : 4411 (java) S 4344 4347 31157 0 -1 1077944384 777 13126 0 0 17 0 5 3 20 0 15 0 406308771 11082027008 18614 33554432000 4194304 4196468 140720532632272 140505703705328 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4412] ppid=4344 vsize=10822292 memory=279636999710272 CPUtime=0.08 cores=0-3 /proc/4347/task/4412/stat : 4412 (java) S 4344 4347 31157 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 406308771 11082027008 18614 33554432000 4194304 4196468 140720532632272 140504816503904 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4413] ppid=4344 vsize=10822292 memory=139822660321881 CPUtime=0.08 cores=0-3 /proc/4347/task/4413/stat : 4413 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 406308771 11082027008 18614 33554432000 4194304 4196468 140720532632272 140505702652208 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 Current children cumulated CPU time: 1.12 s Current children cumulated vsize: 10822292 KiB Current children cumulated memory: 74456 KiB [startup+1.50082 s] /proc/loadavg: 1.64 1.54 1.41 5/228 4413 /proc/meminfo: memFree=23431928/32770688 swapFree=66960432/67108860 [pid=4347] ppid=4344 vsize=10826464 memory=169412 CPUtime=3.5 cores=0-3 /proc/4347/stat : 4347 (java) S 4344 4347 31157 0 -1 1077944320 25562 13126 0 0 334 8 5 3 20 0 15 0 406308755 11086299136 42353 33554432000 4194304 4196468 140720532632272 140720532614816 140506281484023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 /proc/4347/statm: 2706616 42353 3542 1 0 2668685 0 [pid=4347/tid=4400] ppid=4344 vsize=10826464 memory=-7966001967407402336 CPUtime=1.47 cores=0-3 /proc/4347/task/4400/stat : 4400 (java) R 4344 4347 31157 0 -1 4202560 11155 13126 0 0 134 5 5 3 20 0 15 0 406308765 11086299136 42353 33554432000 4194304 4196468 140720532632272 140506253319056 140505849845876 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4401] ppid=4344 vsize=10826464 memory=0 CPUtime=0.08 cores=0-3 /proc/4347/task/4401/stat : 4401 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 406308765 11086299136 42353 33554432000 4194304 4196468 140720532632272 140506285726480 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4402] ppid=4344 vsize=10826464 memory=6944652177228980320 CPUtime=0.08 cores=0-3 /proc/4347/task/4402/stat : 4402 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 406308765 11086299136 42353 33554432000 4194304 4196468 140720532632272 140506174000016 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4403] ppid=4344 vsize=10826464 memory=0 CPUtime=0.08 cores=0-3 /proc/4347/task/4403/stat : 4403 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 406308765 11086299136 42353 33554432000 4194304 4196468 140720532632272 140506172947472 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4404] ppid=4344 vsize=10826464 memory=0 CPUtime=0.08 cores=0-3 /proc/4347/task/4404/stat : 4404 (java) S 4344 4347 31157 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 406308765 11086299136 42353 33554432000 4194304 4196468 140720532632272 140506171894928 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4405] ppid=4344 vsize=10826464 memory=279636999215536 CPUtime=0.08 cores=0-3 /proc/4347/task/4405/stat : 4405 (java) S 4344 4347 31157 0 -1 1077944384 13 13126 0 0 0 0 5 3 20 0 15 0 406308767 11086299136 42353 33554432000 4194304 4196468 140720532632272 140505740421104 140506281495170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4406] ppid=4344 vsize=10826464 memory=139818499699232 CPUtime=0.08 cores=0-3 /proc/4347/task/4406/stat : 4406 (java) S 4344 4347 31157 0 -1 1077944384 33 13126 0 0 0 0 5 3 20 0 15 0 406308767 11086299136 42353 33554432000 4194304 4196468 140720532632272 140505739367328 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4407] ppid=4344 vsize=10826464 memory=0 CPUtime=0.08 cores=0-3 /proc/4347/task/4407/stat : 4407 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 406308768 11086299136 42353 33554432000 4194304 4196468 140720532632272 140505157460976 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4408] ppid=4344 vsize=10826464 memory=3467824627880452160 CPUtime=0.08 cores=0-3 /proc/4347/task/4408/stat : 4408 (java) S 4344 4347 31157 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 406308771 11086299136 42353 33554432000 4194304 4196468 140720532632272 140504850061520 140506281502619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4409] ppid=4344 vsize=10826464 memory=279636999398912 CPUtime=0.84 cores=0-3 /proc/4347/task/4409/stat : 4409 (java) R 4344 4347 31157 0 -1 4202560 5210 13126 0 0 76 0 5 3 20 0 15 0 406308771 11086299136 42353 33554432000 4194304 4196468 140720532632272 140505705791432 140506262676000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4410] ppid=4344 vsize=10826464 memory=-7026283297063673248 CPUtime=0.89 cores=0-3 /proc/4347/task/4410/stat : 4410 (java) R 4344 4347 31157 0 -1 4202560 5470 13126 0 0 81 0 5 3 20 0 15 0 406308771 11086299136 42353 33554432000 4194304 4196468 140720532632272 140505704754240 140506266609974 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4411] ppid=4344 vsize=10826464 memory=8292095139715588497 CPUtime=0.5 cores=0-3 /proc/4347/task/4411/stat : 4411 (java) S 4344 4347 31157 0 -1 1077944384 1462 13126 0 0 41 1 5 3 20 0 15 0 406308771 11086299136 42353 33554432000 4194304 4196468 140720532632272 140505703705328 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4412] ppid=4344 vsize=10826464 memory=1399943076115485043 CPUtime=0.08 cores=0-3 /proc/4347/task/4412/stat : 4412 (java) S 4344 4347 31157 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 406308771 11086299136 42353 33554432000 4194304 4196468 140720532632272 140504816503904 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4413] ppid=4344 vsize=10826464 memory=142159256791235 CPUtime=0.08 cores=0-3 /proc/4347/task/4413/stat : 4413 (java) S 4344 4347 31157 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 406308771 11086299136 42353 33554432000 4194304 4196468 140720532632272 140505702652208 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 Current children cumulated CPU time: 3.5 s Current children cumulated vsize: 10826464 KiB ################ # More data... # ################ /proc/4347/task/4400/stat : 4400 (java) R 4344 4347 31157 0 -1 4202560 131905 13126 0 0 236867 63 5 3 20 0 15 0 406308765 11107291136 409479 33554432000 4194304 4196468 140720532632272 140506253318848 140505861505921 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4401] ppid=4344 vsize=10846964 memory=1637916 CPUtime=10.61 cores=0-3 /proc/4347/task/4401/stat : 4401 (java) S 4344 4347 31157 0 -1 1077944384 32640 13126 0 0 1007 46 5 3 20 0 15 0 406308765 11107291136 409479 33554432000 4194304 4196468 140720532632272 140506285726480 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4402] ppid=4344 vsize=10846964 memory=1638428 CPUtime=10.57 cores=0-3 /proc/4347/task/4402/stat : 4402 (java) S 4344 4347 31157 0 -1 1077944384 29009 13126 0 0 1003 46 5 3 20 0 15 0 406308765 11107291136 409479 33554432000 4194304 4196468 140720532632272 140506174000016 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4403] ppid=4344 vsize=10846964 memory=1637916 CPUtime=10.62 cores=0-3 /proc/4347/task/4403/stat : 4403 (java) S 4344 4347 31157 0 -1 1077944384 34284 13126 0 0 1007 47 5 3 20 0 15 0 406308765 11107291136 409479 33554432000 4194304 4196468 140720532632272 140506172947472 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4404] ppid=4344 vsize=10846964 memory=1638428 CPUtime=10.59 cores=0-3 /proc/4347/task/4404/stat : 4404 (java) S 4344 4347 31157 0 -1 1077944384 25074 13126 0 0 1004 47 5 3 20 0 15 0 406308765 11107291136 409479 33554432000 4194304 4196468 140720532632272 140506171894928 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4405] ppid=4344 vsize=10846964 memory=1644072 CPUtime=1.79 cores=0-3 /proc/4347/task/4405/stat : 4405 (java) S 4344 4347 31157 0 -1 1077944384 20027 13126 0 0 147 24 5 3 20 0 15 0 406308767 11107291136 409479 33554432000 4194304 4196468 140720532632272 140505740421104 140506281495170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4406] ppid=4344 vsize=10846964 memory=1644072 CPUtime=0.08 cores=0-3 /proc/4347/task/4406/stat : 4406 (java) S 4344 4347 31157 0 -1 1077944384 49 13126 0 0 0 0 5 3 20 0 15 0 406308767 11107291136 409479 33554432000 4194304 4196468 140720532632272 140505739367392 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4407] ppid=4344 vsize=10846964 memory=1642532 CPUtime=0.08 cores=0-3 /proc/4347/task/4407/stat : 4407 (java) S 4344 4347 31157 0 -1 1077944384 6 13126 0 0 0 0 5 3 20 0 15 0 406308768 11107291136 409479 33554432000 4194304 4196468 140720532632272 140505157460992 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4408] ppid=4344 vsize=10846964 memory=36148 CPUtime=0.08 cores=0-3 /proc/4347/task/4408/stat : 4408 (java) S 4344 4347 31157 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 406308771 11107291136 409479 33554432000 4194304 4196468 140720532632272 140504850061520 140506281502619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4409] ppid=4344 vsize=10846964 memory=3612 CPUtime=9.2 cores=0-3 /proc/4347/task/4409/stat : 4409 (java) S 4344 4347 31157 0 -1 1077944384 54873 13126 0 0 899 13 5 3 20 0 15 0 406308771 11107291136 409479 33554432000 4194304 4196468 140720532632272 140505705810416 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4410] ppid=4344 vsize=10846964 memory=36148 CPUtime=10.34 cores=0-3 /proc/4347/task/4410/stat : 4410 (java) S 4344 4347 31157 0 -1 1077944384 57638 13126 0 0 1018 8 5 3 20 0 15 0 406308771 11107291136 409479 33554432000 4194304 4196468 140720532632272 140505704757872 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4411] ppid=4344 vsize=10846964 memory=1639968 CPUtime=4.56 cores=0-3 /proc/4347/task/4411/stat : 4411 (java) S 4344 4347 31157 0 -1 1077944384 54453 13126 0 0 437 11 5 3 20 0 15 0 406308771 11107291136 409479 33554432000 4194304 4196468 140720532632272 140505703705328 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4412] ppid=4344 vsize=10846964 memory=3612 CPUtime=0.08 cores=0-3 /proc/4347/task/4412/stat : 4412 (java) S 4344 4347 31157 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 406308771 11107291136 409479 33554432000 4194304 4196468 140720532632272 140504816503904 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4413] ppid=4344 vsize=10846964 memory=1638428 CPUtime=1.46 cores=0-3 /proc/4347/task/4413/stat : 4413 (java) S 4344 4347 31157 0 -1 1077944384 1872 13126 0 0 72 66 5 3 20 0 15 0 406308771 11107291136 409479 33554432000 4194304 4196468 140720532632272 140505702652208 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 Current children cumulated CPU time: 2438.51 s Current children cumulated vsize: 10846964 KiB Current children cumulated memory: 1637916 KiB [startup+2442.3 s] /proc/loadavg: 1.76 1.61 1.66 3/227 5184 /proc/meminfo: memFree=16034232/32770688 swapFree=66960436/67108860 [pid=4347] ppid=4344 vsize=10846964 memory=1601996 CPUtime=2499.54 cores=0-3 /proc/4347/stat : 4347 (java) S 4344 4347 31157 0 -1 1077944320 447200 13126 0 0 249590 356 5 3 20 0 15 0 406308755 11107291136 400499 33554432000 4194304 4196468 140720532632272 140720532614816 140506281484023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 /proc/4347/statm: 2711741 400499 3630 1 0 2673805 0 [pid=4347/tid=4400] ppid=4344 vsize=10846964 memory=1604048 CPUtime=2428.95 cores=0-3 /proc/4347/task/4400/stat : 4400 (java) R 4344 4347 31157 0 -1 4202560 132943 13126 0 0 242823 64 5 3 20 0 15 0 406308765 11107291136 400499 33554432000 4194304 4196468 140720532632272 140506253319792 140505861509013 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4401] ppid=4344 vsize=10846964 memory=1604560 CPUtime=10.95 cores=0-3 /proc/4347/task/4401/stat : 4401 (java) S 4344 4347 31157 0 -1 1077944384 33234 13126 0 0 1040 47 5 3 20 0 15 0 406308765 11107291136 400499 33554432000 4194304 4196468 140720532632272 140506285726480 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4402] ppid=4344 vsize=10846964 memory=1609180 CPUtime=10.91 cores=0-3 /proc/4347/task/4402/stat : 4402 (java) S 4344 4347 31157 0 -1 1077944384 29257 13126 0 0 1036 47 5 3 20 0 15 0 406308765 11107291136 400499 33554432000 4194304 4196468 140720532632272 140506174000016 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4403] ppid=4344 vsize=10846964 memory=1603024 CPUtime=10.96 cores=0-3 /proc/4347/task/4403/stat : 4403 (java) S 4344 4347 31157 0 -1 1077944384 34566 13126 0 0 1041 47 5 3 20 0 15 0 406308765 11107291136 400499 33554432000 4194304 4196468 140720532632272 140506172947472 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4404] ppid=4344 vsize=10846964 memory=1603024 CPUtime=10.92 cores=0-3 /proc/4347/task/4404/stat : 4404 (java) S 4344 4347 31157 0 -1 1077944384 25710 13126 0 0 1037 47 5 3 20 0 15 0 406308765 11107291136 400499 33554432000 4194304 4196468 140720532632272 140506171894928 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4405] ppid=4344 vsize=10846964 memory=1603024 CPUtime=1.86 cores=0-3 /proc/4347/task/4405/stat : 4405 (java) S 4344 4347 31157 0 -1 1077944384 20231 13126 0 0 153 25 5 3 20 0 15 0 406308767 11107291136 400499 33554432000 4194304 4196468 140720532632272 140505740421104 140506281495170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4406] ppid=4344 vsize=10846964 memory=1603024 CPUtime=0.08 cores=0-3 /proc/4347/task/4406/stat : 4406 (java) S 4344 4347 31157 0 -1 1077944384 49 13126 0 0 0 0 5 3 20 0 15 0 406308767 11107291136 400499 33554432000 4194304 4196468 140720532632272 140505739367392 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4407] ppid=4344 vsize=10846964 memory=3612 CPUtime=0.08 cores=0-3 /proc/4347/task/4407/stat : 4407 (java) S 4344 4347 31157 0 -1 1077944384 6 13126 0 0 0 0 5 3 20 0 15 0 406308768 11107291136 400499 33554432000 4194304 4196468 140720532632272 140505157460992 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4408] ppid=4344 vsize=10846964 memory=1604048 CPUtime=0.08 cores=0-3 /proc/4347/task/4408/stat : 4408 (java) S 4344 4347 31157 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 406308771 11107291136 400499 33554432000 4194304 4196468 140720532632272 140504850061520 140506281502619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4409] ppid=4344 vsize=10846964 memory=3612 CPUtime=9.2 cores=0-3 /proc/4347/task/4409/stat : 4409 (java) S 4344 4347 31157 0 -1 1077944384 55007 13126 0 0 899 13 5 3 20 0 15 0 406308771 11107291136 400499 33554432000 4194304 4196468 140720532632272 140505705810416 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4410] ppid=4344 vsize=10846964 memory=1605588 CPUtime=10.34 cores=0-3 /proc/4347/task/4410/stat : 4410 (java) S 4344 4347 31157 0 -1 1077944384 57640 13126 0 0 1018 8 5 3 20 0 15 0 406308771 11107291136 400499 33554432000 4194304 4196468 140720532632272 140505704757872 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4411] ppid=4344 vsize=10846964 memory=1606100 CPUtime=4.56 cores=0-3 /proc/4347/task/4411/stat : 4411 (java) S 4344 4347 31157 0 -1 1077944384 54455 13126 0 0 437 11 5 3 20 0 15 0 406308771 11107291136 400499 33554432000 4194304 4196468 140720532632272 140505703705328 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4412] ppid=4344 vsize=10846964 memory=1604560 CPUtime=0.08 cores=0-3 /proc/4347/task/4412/stat : 4412 (java) S 4344 4347 31157 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 406308771 11107291136 400499 33554432000 4194304 4196468 140720532632272 140504816503904 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4413] ppid=4344 vsize=10846964 memory=1604560 CPUtime=1.51 cores=0-3 /proc/4347/task/4413/stat : 4413 (java) S 4344 4347 31157 0 -1 1077944384 1890 13126 0 0 75 68 5 3 20 0 15 0 406308771 11107291136 400499 33554432000 4194304 4196468 140720532632272 140505702652208 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 Current children cumulated CPU time: 2499.54 s Current children cumulated vsize: 10846964 KiB Current children cumulated memory: 1601996 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2462.6 s] /proc/loadavg: 1.69 1.60 1.66 3/227 5185 /proc/meminfo: memFree=16045008/32770688 swapFree=66960436/67108860 [pid=4347] ppid=4344 vsize=10846964 memory=1591732 CPUtime=2520.09 cores=0-3 /proc/4347/stat : 4347 (java) S 4344 4347 31157 0 -1 1077944320 447800 13126 0 0 251644 357 5 3 20 0 15 0 406308755 11107291136 397933 33554432000 4194304 4196468 140720532632272 140720532614816 140506281484023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 /proc/4347/statm: 2711741 397933 3630 1 0 2673805 0 [pid=4347/tid=4400] ppid=4344 vsize=10846964 memory=1564 CPUtime=2449.15 cores=0-3 /proc/4347/task/4400/stat : 4400 (java) R 4344 4347 31157 0 -1 4202560 133168 13126 0 0 244843 64 5 3 20 0 15 0 406308765 11107291136 397933 33554432000 4194304 4196468 140720532632272 140506253318736 140505860815436 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4401] ppid=4344 vsize=10846964 memory=8560 CPUtime=11.03 cores=0-3 /proc/4347/task/4401/stat : 4401 (java) S 4344 4347 31157 0 -1 1077944384 33304 13126 0 0 1048 47 5 3 20 0 15 0 406308765 11107291136 397933 33554432000 4194304 4196468 140720532632272 140506285726480 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4402] ppid=4344 vsize=10846964 memory=14008 CPUtime=10.99 cores=0-3 /proc/4347/task/4402/stat : 4402 (java) S 4344 4347 31157 0 -1 1077944384 29309 13126 0 0 1044 47 5 3 20 0 15 0 406308765 11107291136 397933 33554432000 4194304 4196468 140720532632272 140506174000016 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4403] ppid=4344 vsize=10846964 memory=8112282956445269571 CPUtime=11.04 cores=0-3 /proc/4347/task/4403/stat : 4403 (java) S 4344 4347 31157 0 -1 1077944384 34613 13126 0 0 1049 47 5 3 20 0 15 0 406308765 11107291136 397933 33554432000 4194304 4196468 140720532632272 140506172947472 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4404] ppid=4344 vsize=10846964 memory=14068 CPUtime=11 cores=0-3 /proc/4347/task/4404/stat : 4404 (java) S 4344 4347 31157 0 -1 1077944384 25897 13126 0 0 1045 47 5 3 20 0 15 0 406308765 11107291136 397933 33554432000 4194304 4196468 140720532632272 140506171894928 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4405] ppid=4344 vsize=10846964 memory=2120 CPUtime=1.87 cores=0-3 /proc/4347/task/4405/stat : 4405 (java) S 4344 4347 31157 0 -1 1077944384 20250 13126 0 0 154 25 5 3 20 0 15 0 406308767 11107291136 397933 33554432000 4194304 4196468 140720532632272 140505740421104 140506281495170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4406] ppid=4344 vsize=10846964 memory=496 CPUtime=0.08 cores=0-3 /proc/4347/task/4406/stat : 4406 (java) S 4344 4347 31157 0 -1 1077944384 49 13126 0 0 0 0 5 3 20 0 15 0 406308767 11107291136 397933 33554432000 4194304 4196468 140720532632272 140505739367392 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4407] ppid=4344 vsize=10846964 memory=8112282956445269571 CPUtime=0.08 cores=0-3 /proc/4347/task/4407/stat : 4407 (java) S 4344 4347 31157 0 -1 1077944384 6 13126 0 0 0 0 5 3 20 0 15 0 406308768 11107291136 397933 33554432000 4194304 4196468 140720532632272 140505157460992 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4408] ppid=4344 vsize=10846964 memory=2424 CPUtime=0.08 cores=0-3 /proc/4347/task/4408/stat : 4408 (java) S 4344 4347 31157 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 406308771 11107291136 397933 33554432000 4194304 4196468 140720532632272 140504850061520 140506281502619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4409] ppid=4344 vsize=10846964 memory=1760 CPUtime=9.2 cores=0-3 /proc/4347/task/4409/stat : 4409 (java) S 4344 4347 31157 0 -1 1077944384 55007 13126 0 0 899 13 5 3 20 0 15 0 406308771 11107291136 397933 33554432000 4194304 4196468 140720532632272 140505705810416 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4410] ppid=4344 vsize=10846964 memory=111636 CPUtime=10.34 cores=0-3 /proc/4347/task/4410/stat : 4410 (java) S 4344 4347 31157 0 -1 1077944384 57640 13126 0 0 1018 8 5 3 20 0 15 0 406308771 11107291136 397933 33554432000 4194304 4196468 140720532632272 140505704757872 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4411] ppid=4344 vsize=10846964 memory=3380 CPUtime=4.56 cores=0-3 /proc/4347/task/4411/stat : 4411 (java) S 4344 4347 31157 0 -1 1077944384 54455 13126 0 0 437 11 5 3 20 0 15 0 406308771 11107291136 397933 33554432000 4194304 4196468 140720532632272 140505703705328 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4412] ppid=4344 vsize=10846964 memory=1088 CPUtime=0.08 cores=0-3 /proc/4347/task/4412/stat : 4412 (java) S 4344 4347 31157 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 406308771 11107291136 397933 33554432000 4194304 4196468 140720532632272 140504816503904 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4413] ppid=4344 vsize=10846964 memory=2832 CPUtime=1.51 cores=0-3 /proc/4347/task/4413/stat : 4413 (java) S 4344 4347 31157 0 -1 1077944384 1890 13126 0 0 75 68 5 3 20 0 15 0 406308771 11107291136 397933 33554432000 4194304 4196468 140720532632272 140505702652208 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 Current children cumulated CPU time: 2520.09 s Current children cumulated vsize: 10846964 KiB Current children cumulated memory: 1591732 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2462.75 s] # the end of solver process 4347 was just reported to runsolver # cumulated CPU time of all completed processes: user=2516.64 s, system=3.62041 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2462.71 s] /proc/loadavg: 1.69 1.60 1.66 3/227 5185 /proc/meminfo: memFree=16045008/32770688 swapFree=66960436/67108860 [pid=4347] ppid=4344 vsize=11043580 memory=1595916 CPUtime=2520.19 cores=0-3 /proc/4347/stat : 4347 (java) S 4344 4347 31157 0 -1 1077944320 447925 13126 0 0 251654 357 5 3 20 0 17 0 406308755 11308625920 398979 33554432000 4194304 4196468 140720532632272 140720532614816 140506281484023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 /proc/4347/statm: 2760895 398979 3631 1 0 2722959 0 [pid=4347/tid=4400] ppid=4344 vsize=11043580 memory=244698 CPUtime=2449.26 cores=0-3 /proc/4347/task/4400/stat : 4400 (java) R 4344 4347 31157 0 -1 4202560 133168 13126 0 0 244854 64 5 3 20 0 17 0 406308765 11308625920 398979 33554432000 4194304 4196468 140720532632272 140506253318736 140505861508692 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4401] ppid=4344 vsize=11043580 memory=1591732 CPUtime=11.03 cores=0-3 /proc/4347/task/4401/stat : 4401 (java) S 4344 4347 31157 0 -1 1077944384 33304 13126 0 0 1048 47 5 3 20 0 17 0 406308765 11308625920 398979 33554432000 4194304 4196468 140720532632272 140506285726480 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4402] ppid=4344 vsize=11043580 memory=1593272 CPUtime=10.99 cores=0-3 /proc/4347/task/4402/stat : 4402 (java) S 4344 4347 31157 0 -1 1077944384 29309 13126 0 0 1044 47 5 3 20 0 17 0 406308765 11308625920 398979 33554432000 4194304 4196468 140720532632272 140506174000016 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4403] ppid=4344 vsize=11043580 memory=1594296 CPUtime=11.04 cores=0-3 /proc/4347/task/4403/stat : 4403 (java) S 4344 4347 31157 0 -1 1077944384 34613 13126 0 0 1049 47 5 3 20 0 17 0 406308765 11308625920 398979 33554432000 4194304 4196468 140720532632272 140506172947472 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4404] ppid=4344 vsize=11043580 memory=55 CPUtime=11 cores=0-3 /proc/4347/task/4404/stat : 4404 (java) S 4344 4347 31157 0 -1 1077944384 25897 13126 0 0 1045 47 5 3 20 0 17 0 406308765 11308625920 398979 33554432000 4194304 4196468 140720532632272 140506171894928 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4405] ppid=4344 vsize=11043580 memory=1591732 CPUtime=1.87 cores=0-3 /proc/4347/task/4405/stat : 4405 (java) S 4344 4347 31157 0 -1 1077944384 20250 13126 0 0 154 25 5 3 20 0 17 0 406308767 11308625920 398979 33554432000 4194304 4196468 140720532632272 140505740421104 140506281495170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4406] ppid=4344 vsize=11043580 memory=1564 CPUtime=0.08 cores=0-3 /proc/4347/task/4406/stat : 4406 (java) S 4344 4347 31157 0 -1 1077944384 49 13126 0 0 0 0 5 3 20 0 17 0 406308767 11308625920 398979 33554432000 4194304 4196468 140720532632272 140505739367392 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4407] ppid=4344 vsize=11043580 memory=796 CPUtime=0.08 cores=0-3 /proc/4347/task/4407/stat : 4407 (java) S 4344 4347 31157 0 -1 1077944384 6 13126 0 0 0 0 5 3 20 0 17 0 406308768 11308625920 398979 33554432000 4194304 4196468 140720532632272 140505157460992 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4408] ppid=4344 vsize=11043580 memory=1593272 CPUtime=0.08 cores=0-3 /proc/4347/task/4408/stat : 4408 (java) S 4344 4347 31157 0 -1 1077944384 82 13126 0 0 0 0 5 3 20 0 17 0 406308771 11308625920 398979 33554432000 4194304 4196468 140720532632272 140504850061520 140506281502619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4409] ppid=4344 vsize=11043580 memory=1594812 CPUtime=9.2 cores=0-3 /proc/4347/task/4409/stat : 4409 (java) S 4344 4347 31157 0 -1 1077944384 55007 13126 0 0 899 13 5 3 20 0 17 0 406308771 11308625920 398979 33554432000 4194304 4196468 140720532632272 140505705810416 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4410] ppid=4344 vsize=11043580 memory=3612 CPUtime=10.34 cores=0-3 /proc/4347/task/4410/stat : 4410 (java) S 4344 4347 31157 0 -1 1077944384 57640 13126 0 0 1018 8 5 3 20 0 17 0 406308771 11308625920 398979 33554432000 4194304 4196468 140720532632272 140505704757872 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4411] ppid=4344 vsize=11043580 memory=1591732 CPUtime=4.56 cores=0-3 /proc/4347/task/4411/stat : 4411 (java) S 4344 4347 31157 0 -1 1077944384 54455 13126 0 0 437 11 5 3 20 0 17 0 406308771 11308625920 398979 33554432000 4194304 4196468 140720532632272 140505703705328 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4412] ppid=4344 vsize=11043580 memory=780 CPUtime=0.08 cores=0-3 /proc/4347/task/4412/stat : 4412 (java) S 4344 4347 31157 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 17 0 406308771 11308625920 398979 33554432000 4194304 4196468 140720532632272 140504816503904 140506281494229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 [pid=4347/tid=4413] ppid=4344 vsize=11043580 memory=1556 CPUtime=1.51 cores=0-3 /proc/4347/task/4413/stat : 4413 (java) S 4344 4347 31157 0 -1 1077944384 1890 13126 0 0 75 68 5 3 20 0 17 0 406308771 11308625920 398979 33554432000 4194304 4196468 140720532632272 140505702652208 140506281495170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140720532634358 140720532636869 140720532636869 140720532639695 0 Current children cumulated CPU time: 2520.19 s Current children cumulated vsize: 11043580 KiB Current children cumulated memory: 1595916 KiB Child status: 143 Real time (s): 2462.75 CPU time (s): 2520.27 CPU user time (s): 2516.64 CPU system time (s): 3.62041 CPU usage (%): 102.335 Max. virtual memory (cumulated for all children) (KiB): 11043580 Max. memory (cumulated for all children) (KiB): 3491868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2516.64 system time used= 3.62041 maximum resident set size= 3491868 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 461839 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3168 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 101720 involuntary context switches= 3446 # summary of solver processes directly reported to runsolver: # pid: 4347 # total CPU time (s): 2520.27 # total CPU user time (s): 2516.64 # total CPU system time (s): 3.62041 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 16.6752 second user time and 25.4577 second system time The end
Begin job on node116 at 2019-09-12 17:53:50 IDJOB=4387410 IDBENCH=138227 IDSOLVER=2823 FILE ID=node116/4387410-1568303670 RUNJOBID= node116-1568285921-31916 PBS_JOBID= 21701086 Free space on /tmp= 54296 MiB SOLVER NAME= Concrete 3.10 BENCH NAME= XCSP17/BinPacking/BinPacking-mdd-fu/BinPacking-mdd-fu1000-02.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387410-1568303670/watcher-4387410-1568303670 -o /tmp/evaluation-result-4387410-1568303670/solver-4387410-1568303670 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568285921-31916 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=952230558 HOME/instance-4387410-1568303670.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 81a54afd524339631fcda48b56d1b2da RANDOM SEED=952230558 node116.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 23520904 kB MemAvailable: 31067208 kB Buffers: 108212 kB Cached: 7650368 kB SwapCached: 46352 kB Active: 2182532 kB Inactive: 6374248 kB Active(anon): 762300 kB Inactive(anon): 76692 kB Active(file): 1420232 kB Inactive(file): 6297556 kB Unevictable: 110108 kB Mlocked: 110108 kB SwapTotal: 67108860 kB SwapFree: 66960432 kB Dirty: 35360 kB Writeback: 0 kB AnonPages: 863008 kB Mapped: 55176 kB Shmem: 31816 kB Slab: 285188 kB SReclaimable: 256976 kB SUnreclaim: 28212 kB KernelStack: 3808 kB PageTables: 6912 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 2001568 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 772096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 56816 MiB End job on node116 at 2019-09-12 18:34:53