Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Concrete 3.12.3 | ? (TO) | 2520.12 | 2470.35 |
Name | NumberPartitioning/NumberPartitioning-m1-s1/ NumberPartitioning-184.xml |
MD5SUM | 50aaeae16ffb672916f4ac64373270f5 |
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 | 114.434 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 368 |
Number of constraints | 192 |
Number of domains | 2 |
Minimum domain size | 184 |
Maximum domain size | 33856 |
Distribution of domain sizes | [{"size":184,"count":184},{"size":33856,"count":184}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":184},{"degree":4,"count":183},{"degree":5,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 184 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":184},{"arity":92,"count":6},{"arity":184,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 185 |
Distribution of constraint types | [{"type":"intension","count":185},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}] |
Optimization problem | NO |
Type of objective |
0.80/0.61 c Concrete v3.12.3.1568965526260 running 2520.05/2470.31 Exception in thread "main" java.util.concurrent.TimeoutException 2520.05/2470.31 at concrete.MAC.mac(MAC.scala:192) 2520.05/2470.31 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265) 2520.05/2470.31 at scala.util.Try$.apply(Try.scala:210) 2520.05/2470.31 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2520.05/2470.31 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2520.05/2470.31 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2520.05/2470.31 at concrete.MAC.oneRun(MAC.scala:265) 2520.05/2470.31 at concrete.MAC.nextSolution(MAC.scala:284) 2520.05/2470.31 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:350) 2520.05/2470.31 at concrete.ProblemState.map(ProblemState.scala:238) 2520.05/2470.31 at concrete.ProblemState.map(ProblemState.scala:212) 2520.05/2470.31 at concrete.MAC.nextSolution(MAC.scala:348) 2520.05/2470.31 at concrete.Solver.hasNext(Solver.scala:160) 2520.05/2470.31 at scala.collection.Iterator.nextOption(Iterator.scala:102) 2520.05/2470.31 at scala.collection.Iterator.nextOption$(Iterator.scala:102) 2520.05/2470.31 at concrete.Solver.nextOption(Solver.scala:67) 2520.05/2470.31 at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:78) 2520.05/2470.31 at scala.util.Success.map(Try.scala:262) 2520.05/2470.31 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.05/2470.31 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2520.05/2470.31 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.05/2470.31 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.05/2470.31 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.05/2470.31 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2520.05/2470.31 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2520.05/2470.31 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2520.05/2470.31 at scala.App.$anonfun$main$1(App.scala:73) 2520.05/2470.31 at scala.App.$anonfun$main$1$adapted(App.scala:73) 2520.05/2470.31 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553) 2520.05/2470.31 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551) 2520.05/2470.31 at scala.collection.AbstractIterable.foreach(Iterable.scala:921) 2520.05/2470.31 at scala.App.main(App.scala:73) 2520.05/2470.31 at scala.App.main$(App.scala:71) 2520.05/2470.31 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.05/2470.31 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.05/2470.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 (2540 MiB free) memory of node 1: 16384 MiB (1653 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402601-1568970135/watcher-4402601-1568970135 -o /tmp/evaluation-result-4402601-1568970135/solver-4402601-1568970135 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324482060-14012 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1567823593 HOME/instance-4402601-1568970135.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=14568, runsolver pid=14565 Current StackSize limit: 8192 KiB [startup+0.100127 s]* /proc/loadavg: 1.07 1.29 1.30 3/212 14667 /proc/meminfo: memFree=4278560/32770688 swapFree=66927188/67108860 [pid=14568] ppid=14565 vsize=9970504 memory=11340 CPUtime=0.1 cores=0-3 /proc/14568/stat : 14568 (java) S 14565 14568 13981 0 -1 1077944320 3576 13418 0 0 1 0 6 3 20 0 6 0 473019730 10209796096 2835 33554432000 4194304 4196468 140733238955728 140733238938272 139975690915575 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 /proc/14568/statm: 2492626 2835 1338 1 0 2481537 0 [pid=14568/tid=14667] ppid=14565 vsize=9972712 memory=-2915668829928281502 CPUtime=0.09 cores=0-3 /proc/14568/task/14667/stat : 14667 (java) R 14565 14568 13981 0 -1 4202560 1599 13418 0 0 0 0 6 3 20 0 6 0 473019740 10212057088 3543 33554432000 4194304 4196468 140733238955728 139975662752336 139975613992515 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14668] ppid=14565 vsize=9972712 memory=7378697629483820645 CPUtime=0.09 cores=0-3 /proc/14568/task/14668/stat : 14668 (java) S 14565 14568 13981 0 -1 1077944384 1 13418 0 0 0 0 6 3 20 0 6 0 473019741 10212057088 3543 33554432000 4194304 4196468 140733238955728 139975695158416 139975690925781 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14669] ppid=14565 vsize=9972712 memory=140550808024704 CPUtime=0.09 cores=0-3 /proc/14568/task/14669/stat : 14669 (java) S 14565 14568 13981 0 -1 1077944384 1 13418 0 0 0 0 6 3 20 0 6 0 473019741 10212057088 3609 33554432000 4194304 4196468 140733238955728 139975609977872 139975690925781 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14670] ppid=14565 vsize=9972712 memory=0 CPUtime=0.09 cores=0-3 /proc/14568/task/14670/stat : 14670 (java) S 14565 14568 13981 0 -1 1077944384 1 13418 0 0 0 0 6 3 20 0 6 0 473019741 10212057088 3609 33554432000 4194304 4196468 140733238955728 139975608925072 139975690925781 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14671] ppid=14565 vsize=9972712 memory=-1 CPUtime=0.09 cores=0-3 /proc/14568/task/14671/stat : 14671 (java) S 14565 14568 13981 0 -1 1077944384 2 13418 0 0 0 0 6 3 20 0 6 0 473019741 10212057088 3609 33554432000 4194304 4196468 140733238955728 139975607872272 139975690925781 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 9970504 KiB Current children cumulated memory: 11340 KiB [startup+0.211329 s]* /proc/loadavg: 1.07 1.29 1.30 5/228 14709 /proc/meminfo: memFree=4248668/32770688 swapFree=66927188/67108860 [pid=14568] ppid=14565 vsize=10819716 memory=38380 CPUtime=0.26 cores=0-3 /proc/14568/stat : 14568 (java) S 14565 14568 13981 0 -1 1077944320 6941 13418 0 0 16 1 6 3 20 0 15 0 473019730 11079389184 9595 33554432000 4194304 4196468 140733238955728 140733238938272 139975690915575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 /proc/14568/statm: 2704929 9595 3148 1 0 2667149 0 [pid=14568/tid=14667] ppid=14565 vsize=10819716 memory=7022364594140610616 CPUtime=0.2 cores=0-3 /proc/14568/task/14667/stat : 14667 (java) R 14565 14568 13981 0 -1 4202560 3470 13418 0 0 10 1 6 3 20 0 15 0 473019740 11079389184 9615 33554432000 4194304 4196468 140733238955728 139975662748784 139975674996062 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14668] ppid=14565 vsize=10819716 memory=364 CPUtime=0.09 cores=0-3 /proc/14568/task/14668/stat : 14668 (java) S 14565 14568 13981 0 -1 1077944384 1 13418 0 0 0 0 6 3 20 0 15 0 473019741 11079389184 9615 33554432000 4194304 4196468 140733238955728 139975695158416 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14669] ppid=14565 vsize=10819716 memory=140550808039142 CPUtime=0.09 cores=0-3 /proc/14568/task/14669/stat : 14669 (java) S 14565 14568 13981 0 -1 1077944384 1 13418 0 0 0 0 6 3 20 0 15 0 473019741 11079389184 9615 33554432000 4194304 4196468 140733238955728 139975609977872 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14670] ppid=14565 vsize=10819716 memory=0 CPUtime=0.09 cores=0-3 /proc/14568/task/14670/stat : 14670 (java) S 14565 14568 13981 0 -1 1077944384 1 13418 0 0 0 0 6 3 20 0 15 0 473019741 11079389184 9615 33554432000 4194304 4196468 140733238955728 139975608925072 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14671] ppid=14565 vsize=10819716 memory=-1 CPUtime=0.09 cores=0-3 /proc/14568/task/14671/stat : 14671 (java) S 14565 14568 13981 0 -1 1077944384 2 13418 0 0 0 0 6 3 20 0 15 0 473019741 11079389184 9615 33554432000 4194304 4196468 140733238955728 139975607872272 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14672] ppid=14565 vsize=10819716 memory=140550808024704 CPUtime=0.09 cores=0-3 /proc/14568/task/14672/stat : 14672 (java) S 14565 14568 13981 0 -1 1077944384 2 13418 0 0 0 0 6 3 20 0 15 0 473019742 11079389184 9615 33554432000 4194304 4196468 140733238955728 139975217564016 139975690926722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14679] ppid=14565 vsize=10819716 memory=-1 CPUtime=0.09 cores=0-3 /proc/14568/task/14679/stat : 14679 (java) S 14565 14568 13981 0 -1 1077944384 13 13418 0 0 0 0 6 3 20 0 15 0 473019743 11079389184 9615 33554432000 4194304 4196468 140733238955728 139975131653152 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14680] ppid=14565 vsize=10819716 memory=0 CPUtime=0.09 cores=0-3 /proc/14568/task/14680/stat : 14680 (java) S 14565 14568 13981 0 -1 1077944384 1 13418 0 0 0 0 6 3 20 0 15 0 473019743 11079389184 9615 33554432000 4194304 4196468 140733238955728 139974527673200 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14695] ppid=14565 vsize=10819716 memory=0 CPUtime=0.09 cores=0-3 /proc/14568/task/14695/stat : 14695 (java) S 14565 14568 13981 0 -1 1077944384 3 13418 0 0 0 0 6 3 20 0 15 0 473019746 11079389184 9615 33554432000 4194304 4196468 140733238955728 139974220273488 139975690934171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14696] ppid=14565 vsize=10819716 memory=0 CPUtime=0.1 cores=0-3 /proc/14568/task/14696/stat : 14696 (java) S 14565 14568 13981 0 -1 1077944384 586 13418 0 0 1 0 6 3 20 0 15 0 473019746 11079389184 9615 33554432000 4194304 4196468 140733238955728 139975216511856 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14697] ppid=14565 vsize=10819716 memory=-1 CPUtime=0.09 cores=0-3 /proc/14568/task/14697/stat : 14697 (java) S 14565 14568 13981 0 -1 1077944384 60 13418 0 0 0 0 6 3 20 0 15 0 473019746 11079389184 9615 33554432000 4194304 4196468 140733238955728 139975215459056 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14698] ppid=14565 vsize=10819716 memory=140550808024704 CPUtime=0.11 cores=0-3 /proc/14568/task/14698/stat : 14698 (java) S 14565 14568 13981 0 -1 1077944384 598 13418 0 0 2 0 6 3 20 0 15 0 473019746 11079389184 9615 33554432000 4194304 4196468 140733238955728 139975214406256 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14700] ppid=14565 vsize=10819716 memory=-1 CPUtime=0.09 cores=0-3 /proc/14568/task/14700/stat : 14700 (java) S 14565 14568 13981 0 -1 1077944384 3 13418 0 0 0 0 6 3 20 0 15 0 473019746 11079389184 9615 33554432000 4194304 4196468 140733238955728 139974186715872 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14701] ppid=14565 vsize=10819716 memory=140550808024704 CPUtime=0.09 cores=0-3 /proc/14568/task/14701/stat : 14701 (java) S 14565 14568 13981 0 -1 1077944384 1 13418 0 0 0 0 6 3 20 0 15 0 473019747 11079389184 9615 33554432000 4194304 4196468 140733238955728 139975213353648 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 Current children cumulated CPU time: 0.26 s Current children cumulated vsize: 10819716 KiB Current children cumulated memory: 38380 KiB [startup+0.31154 s]* /proc/loadavg: 1.07 1.29 1.30 3/228 14709 /proc/meminfo: memFree=4222192/32770688 swapFree=66927188/67108860 [pid=14568] ppid=14565 vsize=10820196 memory=49784 CPUtime=0.41 cores=0-3 /proc/14568/stat : 14568 (java) S 14565 14568 13981 0 -1 1077944320 10502 13418 0 0 29 3 6 3 20 0 15 0 473019730 11079880704 12446 33554432000 4194304 4196468 140733238955728 140733238938272 139975690915575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 /proc/14568/statm: 2705049 12446 3302 1 0 2667149 0 [pid=14568/tid=14667] ppid=14565 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=0-3 /proc/14568/task/14667/stat : 14667 (java) R 14565 14568 13981 0 -1 4202560 6995 13418 0 0 18 2 6 3 20 0 15 0 473019740 11079880704 12446 33554432000 4194304 4196468 140733238955728 139975662720544 139975690937501 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14668] ppid=14565 vsize=10820196 memory=4872558044660077418 CPUtime=0.09 cores=0-3 /proc/14568/task/14668/stat : 14668 (java) S 14565 14568 13981 0 -1 1077944384 1 13418 0 0 0 0 6 3 20 0 15 0 473019741 11079880704 12446 33554432000 4194304 4196468 140733238955728 139975695158416 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14669] ppid=14565 vsize=10820196 memory=-5874771483550381248 CPUtime=0.09 cores=0-3 /proc/14568/task/14669/stat : 14669 (java) S 14565 14568 13981 0 -1 1077944384 1 13418 0 0 0 0 6 3 20 0 15 0 473019741 11079880704 12446 33554432000 4194304 4196468 140733238955728 139975609977872 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14670] ppid=14565 vsize=10820196 memory=7031125463459224206 CPUtime=0.09 cores=0-3 /proc/14568/task/14670/stat : 14670 (java) S 14565 14568 13981 0 -1 1077944384 1 13418 0 0 0 0 6 3 20 0 15 0 473019741 11079880704 12446 33554432000 4194304 4196468 140733238955728 139975608925072 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14671] ppid=14565 vsize=10820196 memory=-6957061461084680038 CPUtime=0.09 cores=0-3 /proc/14568/task/14671/stat : 14671 (java) S 14565 14568 13981 0 -1 1077944384 2 13418 0 0 0 0 6 3 20 0 15 0 473019741 11079880704 12446 33554432000 4194304 4196468 140733238955728 139975607872272 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14672] ppid=14565 vsize=10820196 memory=1398720917958146503 CPUtime=0.09 cores=0-3 /proc/14568/task/14672/stat : 14672 (java) S 14565 14568 13981 0 -1 1077944384 2 13418 0 0 0 0 6 3 20 0 15 0 473019742 11079880704 12446 33554432000 4194304 4196468 140733238955728 139975217564016 139975690926722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14679] ppid=14565 vsize=10821220 memory=140550808031697 CPUtime=0.09 cores=0-3 /proc/14568/task/14679/stat : 14679 (java) S 14565 14568 13981 0 -1 1077944384 13 13418 0 0 0 0 6 3 20 0 15 0 473019743 11080929280 12446 33554432000 4194304 4196468 140733238955728 139975131653152 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14680] ppid=14565 vsize=10821220 memory=-1 CPUtime=0.09 cores=0-3 /proc/14568/task/14680/stat : 14680 (java) S 14565 14568 13981 0 -1 1077944384 1 13418 0 0 0 0 6 3 20 0 15 0 473019743 11080929280 12446 33554432000 4194304 4196468 140733238955728 139974527673200 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14695] ppid=14565 vsize=10821220 memory=0 CPUtime=0.09 cores=0-3 /proc/14568/task/14695/stat : 14695 (java) S 14565 14568 13981 0 -1 1077944384 3 13418 0 0 0 0 6 3 20 0 15 0 473019746 11080929280 12446 33554432000 4194304 4196468 140733238955728 139974220273488 139975690934171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14696] ppid=14565 vsize=10821220 memory=0 CPUtime=0.11 cores=0-3 /proc/14568/task/14696/stat : 14696 (java) S 14565 14568 13981 0 -1 1077944384 586 13418 0 0 2 0 6 3 20 0 15 0 473019746 11080929280 12450 33554432000 4194304 4196468 140733238955728 139975216511856 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14697] ppid=14565 vsize=10820196 memory=0 CPUtime=0.11 cores=0-3 /proc/14568/task/14697/stat : 14697 (java) S 14565 14568 13981 0 -1 1077944384 70 13418 0 0 2 0 6 3 20 0 15 0 473019746 11079880704 12450 33554432000 4194304 4196468 140733238955728 139975215459056 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14698] ppid=14565 vsize=10820196 memory=0 CPUtime=0.14 cores=0-3 /proc/14568/task/14698/stat : 14698 (java) R 14565 14568 13981 0 -1 4202560 617 13418 0 0 5 0 6 3 20 0 15 0 473019746 11079880704 12450 33554432000 4194304 4196468 140733238955728 139975214406256 139975669016248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14700] ppid=14565 vsize=10820196 memory=0 CPUtime=0.09 cores=0-3 /proc/14568/task/14700/stat : 14700 (java) S 14565 14568 13981 0 -1 1077944384 3 13418 0 0 0 0 6 3 20 0 15 0 473019746 11079880704 12450 33554432000 4194304 4196468 140733238955728 139974186715872 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14701] ppid=14565 vsize=10821220 memory=0 CPUtime=0.09 cores=0-3 /proc/14568/task/14701/stat : 14701 (java) S 14565 14568 13981 0 -1 1077944384 1 13418 0 0 0 0 6 3 20 0 15 0 473019747 11080929280 12450 33554432000 4194304 4196468 140733238955728 139975213353648 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 Current children cumulated CPU time: 0.41 s Current children cumulated vsize: 10820196 KiB Current children cumulated memory: 49784 KiB [startup+0.700749 s] /proc/loadavg: 1.07 1.29 1.30 6/228 14709 /proc/meminfo: memFree=4194180/32770688 swapFree=66927188/67108860 [pid=14568] ppid=14565 vsize=10822316 memory=77424 CPUtime=1.09 cores=0-3 /proc/14568/stat : 14568 (java) S 14565 14568 13981 0 -1 1077944320 14618 13418 0 0 95 5 6 3 20 0 15 0 473019730 11082051584 19356 33554432000 4194304 4196468 140733238955728 140733238938272 139975690915575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 /proc/14568/statm: 2705579 19356 3486 1 0 2667661 0 [pid=14568/tid=14667] ppid=14565 vsize=10822316 memory=0 CPUtime=0.68 cores=0-3 /proc/14568/task/14667/stat : 14667 (java) R 14565 14568 13981 0 -1 4202560 10010 13418 0 0 55 4 6 3 20 0 15 0 473019740 11082051584 19356 33554432000 4194304 4196468 140733238955728 139975662704368 139975690937501 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14668] ppid=14565 vsize=10822316 memory=0 CPUtime=0.09 cores=0-3 /proc/14568/task/14668/stat : 14668 (java) S 14565 14568 13981 0 -1 1077944384 1 13418 0 0 0 0 6 3 20 0 15 0 473019741 11082051584 19356 33554432000 4194304 4196468 140733238955728 139975695158416 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14669] ppid=14565 vsize=10822316 memory=140550657320304 CPUtime=0.09 cores=0-3 /proc/14568/task/14669/stat : 14669 (java) S 14565 14568 13981 0 -1 1077944384 1 13418 0 0 0 0 6 3 20 0 15 0 473019741 11082051584 19356 33554432000 4194304 4196468 140733238955728 139975609977872 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14670] ppid=14565 vsize=10822316 memory=140552804762173 CPUtime=0.09 cores=0-3 /proc/14568/task/14670/stat : 14670 (java) S 14565 14568 13981 0 -1 1077944384 1 13418 0 0 0 0 6 3 20 0 15 0 473019741 11082051584 19356 33554432000 4194304 4196468 140733238955728 139975608925072 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14671] ppid=14565 vsize=10822316 memory=6028 CPUtime=0.09 cores=0-3 /proc/14568/task/14671/stat : 14671 (java) S 14565 14568 13981 0 -1 1077944384 2 13418 0 0 0 0 6 3 20 0 15 0 473019741 11082051584 19356 33554432000 4194304 4196468 140733238955728 139975607872272 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14672] ppid=14565 vsize=10822316 memory=0 CPUtime=0.09 cores=0-3 /proc/14568/task/14672/stat : 14672 (java) S 14565 14568 13981 0 -1 1077944384 5 13418 0 0 0 0 6 3 20 0 15 0 473019742 11082051584 19356 33554432000 4194304 4196468 140733238955728 139975217564016 139975690926722 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14679] ppid=14565 vsize=10822316 memory=1 CPUtime=0.09 cores=0-3 /proc/14568/task/14679/stat : 14679 (java) S 14565 14568 13981 0 -1 1077944384 13 13418 0 0 0 0 6 3 20 0 15 0 473019743 11082051584 19356 33554432000 4194304 4196468 140733238955728 139975131653152 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14680] ppid=14565 vsize=10822316 memory=0 CPUtime=0.09 cores=0-3 /proc/14568/task/14680/stat : 14680 (java) S 14565 14568 13981 0 -1 1077944384 1 13418 0 0 0 0 6 3 20 0 15 0 473019743 11082051584 19356 33554432000 4194304 4196468 140733238955728 139974527673200 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14695] ppid=14565 vsize=10822316 memory=0 CPUtime=0.09 cores=0-3 /proc/14568/task/14695/stat : 14695 (java) S 14565 14568 13981 0 -1 1077944384 3 13418 0 0 0 0 6 3 20 0 15 0 473019746 11082051584 19356 33554432000 4194304 4196468 140733238955728 139974220273488 139975690934171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14696] ppid=14565 vsize=10822316 memory=59 CPUtime=0.18 cores=0-3 /proc/14568/task/14696/stat : 14696 (java) R 14565 14568 13981 0 -1 4202560 1023 13418 0 0 9 0 6 3 20 0 15 0 473019746 11082051584 19356 33554432000 4194304 4196468 140733238955728 139975216492128 139975690936922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14697] ppid=14565 vsize=10822316 memory=3 CPUtime=0.22 cores=0-3 /proc/14568/task/14697/stat : 14697 (java) R 14565 14568 13981 0 -1 4202560 552 13418 0 0 13 0 6 3 20 0 15 0 473019746 11082051584 19356 33554432000 4194304 4196468 140733238955728 139975215445488 139975690936922 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14698] ppid=14565 vsize=10822316 memory=0 CPUtime=0.26 cores=0-3 /proc/14568/task/14698/stat : 14698 (java) S 14565 14568 13981 0 -1 1077944384 795 13418 0 0 17 0 6 3 20 0 15 0 473019746 11082051584 19356 33554432000 4194304 4196468 140733238955728 139975214406256 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14700] ppid=14565 vsize=10822316 memory=101 CPUtime=0.09 cores=0-3 /proc/14568/task/14700/stat : 14700 (java) S 14565 14568 13981 0 -1 1077944384 3 13418 0 0 0 0 6 3 20 0 15 0 473019746 11082051584 19356 33554432000 4194304 4196468 140733238955728 139974186715872 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14701] ppid=14565 vsize=10822316 memory=0 CPUtime=0.09 cores=0-3 /proc/14568/task/14701/stat : 14701 (java) S 14565 14568 13981 0 -1 1077944384 1 13418 0 0 0 0 6 3 20 0 15 0 473019747 11082051584 19356 33554432000 4194304 4196468 140733238955728 139975213353648 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 Current children cumulated CPU time: 1.09 s Current children cumulated vsize: 10822316 KiB Current children cumulated memory: 77424 KiB [startup+1.50082 s] /proc/loadavg: 1.07 1.29 1.30 3/228 14709 /proc/meminfo: memFree=4127736/32770688 swapFree=66927188/67108860 [pid=14568] ppid=14565 vsize=10834680 memory=167076 CPUtime=2.45 cores=0-3 /proc/14568/stat : 14568 (java) S 14565 14568 13981 0 -1 1077944320 21326 13418 0 0 227 9 6 3 20 0 15 0 473019730 11094712320 41769 33554432000 4194304 4196468 140733238955728 140733238938272 139975690915575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 /proc/14568/statm: 2708670 41769 3574 1 0 2670733 0 [pid=14568/tid=14667] ppid=14565 vsize=10834680 memory=6944656575208382560 CPUtime=1.44 cores=0-3 /proc/14568/task/14667/stat : 14667 (java) R 14565 14568 13981 0 -1 4202560 14999 13418 0 0 129 6 6 3 20 0 15 0 473019740 11094712320 41769 33554432000 4194304 4196468 140733238955728 139975662743056 139975674996062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14668] ppid=14565 vsize=10834680 memory=3624 CPUtime=0.1 cores=0-3 /proc/14568/task/14668/stat : 14668 (java) S 14565 14568 13981 0 -1 1077944384 45 13418 0 0 1 0 6 3 20 0 15 0 473019741 11094712320 41769 33554432000 4194304 4196468 140733238955728 139975695158416 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14669] ppid=14565 vsize=10834680 memory=63560 CPUtime=0.1 cores=0-3 /proc/14568/task/14669/stat : 14669 (java) S 14565 14568 13981 0 -1 1077944384 57 13418 0 0 1 0 6 3 20 0 15 0 473019741 11094712320 41769 33554432000 4194304 4196468 140733238955728 139975609977872 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14670] ppid=14565 vsize=10834680 memory=984 CPUtime=0.1 cores=0-3 /proc/14568/task/14670/stat : 14670 (java) S 14565 14568 13981 0 -1 1077944384 311 13418 0 0 1 0 6 3 20 0 15 0 473019741 11094712320 41769 33554432000 4194304 4196468 140733238955728 139975608925072 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14671] ppid=14565 vsize=10834680 memory=0 CPUtime=0.1 cores=0-3 /proc/14568/task/14671/stat : 14671 (java) S 14565 14568 13981 0 -1 1077944384 31 13418 0 0 1 0 6 3 20 0 15 0 473019741 11094712320 41769 33554432000 4194304 4196468 140733238955728 139975607872272 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14672] ppid=14565 vsize=10834680 memory=4040 CPUtime=0.1 cores=0-3 /proc/14568/task/14672/stat : 14672 (java) S 14565 14568 13981 0 -1 1077944384 133 13418 0 0 1 0 6 3 20 0 15 0 473019742 11094712320 41769 33554432000 4194304 4196468 140733238955728 139975217564016 139975690926722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14679] ppid=14565 vsize=10834680 memory=1056 CPUtime=0.09 cores=0-3 /proc/14568/task/14679/stat : 14679 (java) S 14565 14568 13981 0 -1 1077944384 14 13418 0 0 0 0 6 3 20 0 15 0 473019743 11094712320 41769 33554432000 4194304 4196468 140733238955728 139975131653216 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14680] ppid=14565 vsize=10834680 memory=0 CPUtime=0.09 cores=0-3 /proc/14568/task/14680/stat : 14680 (java) S 14565 14568 13981 0 -1 1077944384 1 13418 0 0 0 0 6 3 20 0 15 0 473019743 11094712320 41769 33554432000 4194304 4196468 140733238955728 139974527673216 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14695] ppid=14565 vsize=10834680 memory=2241 CPUtime=0.09 cores=0-3 /proc/14568/task/14695/stat : 14695 (java) S 14565 14568 13981 0 -1 1077944384 3 13418 0 0 0 0 6 3 20 0 15 0 473019746 11094712320 41769 33554432000 4194304 4196468 140733238955728 139974220273488 139975690934171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14696] ppid=14565 vsize=10834680 memory=2244 CPUtime=0.31 cores=0-3 /proc/14568/task/14696/stat : 14696 (java) S 14565 14568 13981 0 -1 1077944384 1414 13418 0 0 22 0 6 3 20 0 15 0 473019746 11094712320 41769 33554432000 4194304 4196468 140733238955728 139975216511856 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14697] ppid=14565 vsize=10834680 memory=0 CPUtime=0.38 cores=0-3 /proc/14568/task/14697/stat : 14697 (java) S 14565 14568 13981 0 -1 1077944384 773 13418 0 0 29 0 6 3 20 0 15 0 473019746 11094712320 41769 33554432000 4194304 4196468 140733238955728 139975215459056 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14698] ppid=14565 vsize=10834680 memory=0 CPUtime=0.47 cores=0-3 /proc/14568/task/14698/stat : 14698 (java) S 14565 14568 13981 0 -1 1077944384 1333 13418 0 0 38 0 6 3 20 0 15 0 473019746 11094712320 41769 33554432000 4194304 4196468 140733238955728 139975214406256 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14700] ppid=14565 vsize=10834680 memory=281101315135792 CPUtime=0.09 cores=0-3 /proc/14568/task/14700/stat : 14700 (java) S 14565 14568 13981 0 -1 1077944384 3 13418 0 0 0 0 6 3 20 0 15 0 473019746 11094712320 41769 33554432000 4194304 4196468 140733238955728 139974186715872 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14701] ppid=14565 vsize=10834680 memory=6943487855420614559 CPUtime=0.09 cores=0-3 /proc/14568/task/14701/stat : 14701 (java) S 14565 14568 13981 0 -1 1077944384 1 13418 0 0 0 0 6 3 20 0 15 0 473019747 11094712320 41769 33554432000 4194304 4196468 140733238955728 139975213353648 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 Current children cumulated CPU time: 2.45 s Current children cumulated vsize: 10834680 KiB ################ # More data... # ################ /proc/14568/task/14667/stat : 14667 (java) R 14565 14568 13981 0 -1 4202560 765204 13418 1 0 236194 161 6 3 20 0 15 0 473019740 11111522304 806064 33554432000 4194304 4196468 140733238955728 139975662751120 139975296393602 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14668] ppid=14565 vsize=10851096 memory=3224256 CPUtime=10.59 cores=0-3 /proc/14568/task/14668/stat : 14668 (java) S 14565 14568 13981 0 -1 1077944384 23366 13418 0 0 981 69 6 3 20 0 15 0 473019741 11111522304 806064 33554432000 4194304 4196468 140733238955728 139975695158416 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14669] ppid=14565 vsize=10851096 memory=3224256 CPUtime=10.6 cores=0-3 /proc/14568/task/14669/stat : 14669 (java) S 14565 14568 13981 0 -1 1077944384 24837 13418 0 0 981 70 6 3 20 0 15 0 473019741 11111522304 806064 33554432000 4194304 4196468 140733238955728 139975609977872 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14670] ppid=14565 vsize=10851096 memory=3224256 CPUtime=10.59 cores=0-3 /proc/14568/task/14670/stat : 14670 (java) S 14565 14568 13981 0 -1 1077944384 24528 13418 0 0 979 71 6 3 20 0 15 0 473019741 11111522304 806064 33554432000 4194304 4196468 140733238955728 139975608925072 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14671] ppid=14565 vsize=10851096 memory=3224256 CPUtime=10.59 cores=0-3 /proc/14568/task/14671/stat : 14671 (java) S 14565 14568 13981 0 -1 1077944384 21134 13418 0 0 981 69 6 3 20 0 15 0 473019741 11111522304 806064 33554432000 4194304 4196468 140733238955728 139975607872272 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14672] ppid=14565 vsize=10851096 memory=3224256 CPUtime=5.63 cores=0-3 /proc/14568/task/14672/stat : 14672 (java) S 14565 14568 13981 0 -1 1077944384 23656 13418 0 0 486 68 6 3 20 0 15 0 473019742 11111522304 806064 33554432000 4194304 4196468 140733238955728 139975217564016 139975690926722 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14679] ppid=14565 vsize=10851096 memory=3224256 CPUtime=0.09 cores=0-3 /proc/14568/task/14679/stat : 14679 (java) S 14565 14568 13981 0 -1 1077944384 19 13418 0 0 0 0 6 3 20 0 15 0 473019743 11111522304 806064 33554432000 4194304 4196468 140733238955728 139975131653216 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14680] ppid=14565 vsize=10851096 memory=3224256 CPUtime=0.09 cores=0-3 /proc/14568/task/14680/stat : 14680 (java) S 14565 14568 13981 0 -1 1077944384 10 13418 0 0 0 0 6 3 20 0 15 0 473019743 11111522304 806064 33554432000 4194304 4196468 140733238955728 139974527673216 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14695] ppid=14565 vsize=10851096 memory=3224256 CPUtime=0.09 cores=0-3 /proc/14568/task/14695/stat : 14695 (java) S 14565 14568 13981 0 -1 1077944384 3 13418 0 0 0 0 6 3 20 0 15 0 473019746 11111522304 806064 33554432000 4194304 4196468 140733238955728 139974220273488 139975690934171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14696] ppid=14565 vsize=10851096 memory=3224256 CPUtime=6.63 cores=0-3 /proc/14568/task/14696/stat : 14696 (java) S 14565 14568 13981 0 -1 1077944384 30050 13418 0 0 646 8 6 3 20 0 15 0 473019746 11111522304 806064 33554432000 4194304 4196468 140733238955728 139975216511856 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14697] ppid=14565 vsize=10851096 memory=2340 CPUtime=6.77 cores=0-3 /proc/14568/task/14697/stat : 14697 (java) S 14565 14568 13981 0 -1 1077944384 28464 13418 0 0 662 6 6 3 20 0 15 0 473019746 11111522304 806064 33554432000 4194304 4196468 140733238955728 139975215459056 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14698] ppid=14565 vsize=10851096 memory=6791534058613427641 CPUtime=6.2 cores=0-3 /proc/14568/task/14698/stat : 14698 (java) S 14565 14568 13981 0 -1 1077944384 37138 13418 0 0 602 9 6 3 20 0 15 0 473019746 11111522304 806064 33554432000 4194304 4196468 140733238955728 139975214406256 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14700] ppid=14565 vsize=10851096 memory=111632 CPUtime=0.09 cores=0-3 /proc/14568/task/14700/stat : 14700 (java) S 14565 14568 13981 0 -1 1077944384 3 13418 0 0 0 0 6 3 20 0 15 0 473019746 11111522304 806064 33554432000 4194304 4196468 140733238955728 139974186715872 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14701] ppid=14565 vsize=10851096 memory=800 CPUtime=1.38 cores=0-3 /proc/14568/task/14701/stat : 14701 (java) S 14565 14568 13981 0 -1 1077944384 1847 13418 0 0 69 60 6 3 20 0 15 0 473019747 11111522304 806064 33554432000 4194304 4196468 140733238955728 139975213353648 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 Current children cumulated CPU time: 2431.94 s Current children cumulated vsize: 10851096 KiB Current children cumulated memory: 3224256 KiB [startup+2442.3 s] /proc/loadavg: 1.87 1.75 1.60 3/227 15211 /proc/meminfo: memFree=319240/32770688 swapFree=66927192/67108860 [pid=14568] ppid=14565 vsize=10851096 memory=3224236 CPUtime=2492.03 cores=0-3 /proc/14568/stat : 14568 (java) S 14565 14568 13981 0 -1 1077944320 1047934 13418 1 0 248634 560 6 3 20 0 15 0 473019730 11111522304 806059 33554432000 4194304 4196468 140733238955728 140733238938272 139975690915575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 /proc/14568/statm: 2712774 806059 3641 1 0 2674829 0 [pid=14568/tid=14667] ppid=14565 vsize=10851096 memory=3224236 CPUtime=2423.59 cores=0-3 /proc/14568/task/14667/stat : 14667 (java) R 14565 14568 13981 0 -1 4202560 828486 13418 1 0 242185 165 6 3 20 0 15 0 473019740 11111522304 806059 33554432000 4194304 4196468 140733238955728 139975662750864 139975296603021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14668] ppid=14565 vsize=10851096 memory=3224236 CPUtime=10.61 cores=0-3 /proc/14568/task/14668/stat : 14668 (java) S 14565 14568 13981 0 -1 1077944384 23762 13418 0 0 983 69 6 3 20 0 15 0 473019741 11111522304 806059 33554432000 4194304 4196468 140733238955728 139975695158416 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14669] ppid=14565 vsize=10851096 memory=3224236 CPUtime=10.62 cores=0-3 /proc/14568/task/14669/stat : 14669 (java) S 14565 14568 13981 0 -1 1077944384 25130 13418 0 0 983 70 6 3 20 0 15 0 473019741 11111522304 806059 33554432000 4194304 4196468 140733238955728 139975609977872 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14670] ppid=14565 vsize=10851096 memory=3224236 CPUtime=10.62 cores=0-3 /proc/14568/task/14670/stat : 14670 (java) S 14565 14568 13981 0 -1 1077944384 24956 13418 0 0 982 71 6 3 20 0 15 0 473019741 11111522304 806059 33554432000 4194304 4196468 140733238955728 139975608925072 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14671] ppid=14565 vsize=10851096 memory=3224236 CPUtime=10.62 cores=0-3 /proc/14568/task/14671/stat : 14671 (java) S 14565 14568 13981 0 -1 1077944384 21641 13418 0 0 984 69 6 3 20 0 15 0 473019741 11111522304 806059 33554432000 4194304 4196468 140733238955728 139975607872272 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14672] ppid=14565 vsize=10851096 memory=3224236 CPUtime=5.64 cores=0-3 /proc/14568/task/14672/stat : 14672 (java) S 14565 14568 13981 0 -1 1077944384 23857 13418 0 0 487 68 6 3 20 0 15 0 473019742 11111522304 806059 33554432000 4194304 4196468 140733238955728 139975217564016 139975690926722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14679] ppid=14565 vsize=10851096 memory=3224228 CPUtime=0.09 cores=0-3 /proc/14568/task/14679/stat : 14679 (java) S 14565 14568 13981 0 -1 1077944384 19 13418 0 0 0 0 6 3 20 0 15 0 473019743 11111522304 806059 33554432000 4194304 4196468 140733238955728 139975131653216 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14680] ppid=14565 vsize=10851096 memory=3224236 CPUtime=0.09 cores=0-3 /proc/14568/task/14680/stat : 14680 (java) S 14565 14568 13981 0 -1 1077944384 10 13418 0 0 0 0 6 3 20 0 15 0 473019743 11111522304 806059 33554432000 4194304 4196468 140733238955728 139974527673216 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14695] ppid=14565 vsize=10851096 memory=3224236 CPUtime=0.09 cores=0-3 /proc/14568/task/14695/stat : 14695 (java) S 14565 14568 13981 0 -1 1077944384 3 13418 0 0 0 0 6 3 20 0 15 0 473019746 11111522304 806059 33554432000 4194304 4196468 140733238955728 139974220273488 139975690934171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14696] ppid=14565 vsize=10851096 memory=3224236 CPUtime=6.63 cores=0-3 /proc/14568/task/14696/stat : 14696 (java) S 14565 14568 13981 0 -1 1077944384 30052 13418 0 0 646 8 6 3 20 0 15 0 473019746 11111522304 806059 33554432000 4194304 4196468 140733238955728 139975216511856 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14697] ppid=14565 vsize=10851096 memory=3224108 CPUtime=6.77 cores=0-3 /proc/14568/task/14697/stat : 14697 (java) S 14565 14568 13981 0 -1 1077944384 28466 13418 0 0 662 6 6 3 20 0 15 0 473019746 11111522304 806059 33554432000 4194304 4196468 140733238955728 139975215459056 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14698] ppid=14565 vsize=10851096 memory=3224108 CPUtime=6.21 cores=0-3 /proc/14568/task/14698/stat : 14698 (java) S 14565 14568 13981 0 -1 1077944384 37474 13418 0 0 603 9 6 3 20 0 15 0 473019746 11111522304 806059 33554432000 4194304 4196468 140733238955728 139975214406256 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14700] ppid=14565 vsize=10851096 memory=984 CPUtime=0.09 cores=0-3 /proc/14568/task/14700/stat : 14700 (java) S 14565 14568 13981 0 -1 1077944384 3 13418 0 0 0 0 6 3 20 0 15 0 473019746 11111522304 806059 33554432000 4194304 4196468 140733238955728 139974186715872 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14701] ppid=14565 vsize=10851096 memory=2020 CPUtime=1.42 cores=0-3 /proc/14568/task/14701/stat : 14701 (java) S 14565 14568 13981 0 -1 1077944384 1866 13418 0 0 71 62 6 3 20 0 15 0 473019747 11111522304 806059 33554432000 4194304 4196468 140733238955728 139975213353648 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 Current children cumulated CPU time: 2492.03 s Current children cumulated vsize: 10851096 KiB Current children cumulated memory: 3224236 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2470.3 s] /proc/loadavg: 1.78 1.74 1.60 3/228 15214 /proc/meminfo: memFree=326612/32770688 swapFree=66927192/67108860 [pid=14568] ppid=14565 vsize=10851096 memory=3224324 CPUtime=2520.05 cores=0-3 /proc/14568/stat : 14568 (java) S 14565 14568 13981 0 -1 1077944320 1099651 13418 1 0 251433 563 6 3 20 0 15 0 473019730 11111522304 806081 33554432000 4194304 4196468 140733238955728 140733238938272 139975690915575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 /proc/14568/statm: 2712774 806081 3641 1 0 2674829 0 [pid=14568/tid=14667] ppid=14565 vsize=10851096 memory=6791534058613427641 CPUtime=2451.56 cores=0-3 /proc/14568/task/14667/stat : 14667 (java) R 14565 14568 13981 0 -1 4202560 878657 13418 1 0 244980 167 6 3 20 0 15 0 473019740 11111522304 806081 33554432000 4194304 4196468 140733238955728 139975662750368 139975669022856 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14668] ppid=14565 vsize=10851096 memory=3224324 CPUtime=10.62 cores=0-3 /proc/14568/task/14668/stat : 14668 (java) S 14565 14568 13981 0 -1 1077944384 24211 13418 0 0 984 69 6 3 20 0 15 0 473019741 11111522304 806081 33554432000 4194304 4196468 140733238955728 139975695158416 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14669] ppid=14565 vsize=10851096 memory=3224236 CPUtime=10.62 cores=0-3 /proc/14568/task/14669/stat : 14669 (java) S 14565 14568 13981 0 -1 1077944384 25393 13418 0 0 983 70 6 3 20 0 15 0 473019741 11111522304 806081 33554432000 4194304 4196468 140733238955728 139975609977872 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14670] ppid=14565 vsize=10851096 memory=3224236 CPUtime=10.62 cores=0-3 /proc/14568/task/14670/stat : 14670 (java) S 14565 14568 13981 0 -1 1077944384 25143 13418 0 0 982 71 6 3 20 0 15 0 473019741 11111522304 806081 33554432000 4194304 4196468 140733238955728 139975608925072 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14671] ppid=14565 vsize=10851096 memory=3224324 CPUtime=10.62 cores=0-3 /proc/14568/task/14671/stat : 14671 (java) S 14565 14568 13981 0 -1 1077944384 22075 13418 0 0 984 69 6 3 20 0 15 0 473019741 11111522304 806081 33554432000 4194304 4196468 140733238955728 139975607872272 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14672] ppid=14565 vsize=10851096 memory=3224324 CPUtime=5.65 cores=0-3 /proc/14568/task/14672/stat : 14672 (java) S 14565 14568 13981 0 -1 1077944384 24048 13418 0 0 488 68 6 3 20 0 15 0 473019742 11111522304 806081 33554432000 4194304 4196468 140733238955728 139975217564016 139975690926722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14679] ppid=14565 vsize=10851096 memory=3224324 CPUtime=0.09 cores=0-3 /proc/14568/task/14679/stat : 14679 (java) S 14565 14568 13981 0 -1 1077944384 19 13418 0 0 0 0 6 3 20 0 15 0 473019743 11111522304 806081 33554432000 4194304 4196468 140733238955728 139975131653216 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14680] ppid=14565 vsize=10851096 memory=3224324 CPUtime=0.09 cores=0-3 /proc/14568/task/14680/stat : 14680 (java) S 14565 14568 13981 0 -1 1077944384 10 13418 0 0 0 0 6 3 20 0 15 0 473019743 11111522304 806081 33554432000 4194304 4196468 140733238955728 139974527673216 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14695] ppid=14565 vsize=10851096 memory=3224324 CPUtime=0.09 cores=0-3 /proc/14568/task/14695/stat : 14695 (java) S 14565 14568 13981 0 -1 1077944384 3 13418 0 0 0 0 6 3 20 0 15 0 473019746 11111522304 806081 33554432000 4194304 4196468 140733238955728 139974220273488 139975690934171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14696] ppid=14565 vsize=10851096 memory=3224324 CPUtime=6.63 cores=0-3 /proc/14568/task/14696/stat : 14696 (java) S 14565 14568 13981 0 -1 1077944384 30054 13418 0 0 646 8 6 3 20 0 15 0 473019746 11111522304 806081 33554432000 4194304 4196468 140733238955728 139975216511856 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14697] ppid=14565 vsize=10851096 memory=3224236 CPUtime=6.77 cores=0-3 /proc/14568/task/14697/stat : 14697 (java) S 14565 14568 13981 0 -1 1077944384 28468 13418 0 0 662 6 6 3 20 0 15 0 473019746 11111522304 806081 33554432000 4194304 4196468 140733238955728 139975215459056 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14698] ppid=14565 vsize=10851096 memory=4100 CPUtime=6.21 cores=0-3 /proc/14568/task/14698/stat : 14698 (java) S 14565 14568 13981 0 -1 1077944384 37476 13418 0 0 603 9 6 3 20 0 15 0 473019746 11111522304 806081 33554432000 4194304 4196468 140733238955728 139975214406256 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14700] ppid=14565 vsize=10851096 memory=3224236 CPUtime=0.09 cores=0-3 /proc/14568/task/14700/stat : 14700 (java) S 14565 14568 13981 0 -1 1077944384 3 13418 0 0 0 0 6 3 20 0 15 0 473019746 11111522304 806081 33554432000 4194304 4196468 140733238955728 139974186715872 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14701] ppid=14565 vsize=10851096 memory=288230591755977018 CPUtime=1.44 cores=0-3 /proc/14568/task/14701/stat : 14701 (java) S 14565 14568 13981 0 -1 1077944384 1882 13418 0 0 72 63 6 3 20 0 15 0 473019747 11111522304 806081 33554432000 4194304 4196468 140733238955728 139975213353648 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 Current children cumulated CPU time: 2520.05 s Current children cumulated vsize: 10851096 KiB Current children cumulated memory: 3224324 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2470.35 s] # the end of solver process 14568 was just reported to runsolver # cumulated CPU time of all completed processes: user=2514.42 s, system=5.69975 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2470.3 s] /proc/loadavg: 1.78 1.74 1.60 3/228 15214 /proc/meminfo: memFree=326612/32770688 swapFree=66927192/67108860 [pid=14568] ppid=14565 vsize=10851096 memory=3224324 CPUtime=2520.05 cores=0-3 /proc/14568/stat : 14568 (java) S 14565 14568 13981 0 -1 1077944320 1099651 13418 1 0 251433 563 6 3 20 0 15 0 473019730 11111522304 806081 33554432000 4194304 4196468 140733238955728 140733238938272 139975690915575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 /proc/14568/statm: 2712774 806081 3641 1 0 2674829 0 [pid=14568/tid=14667] ppid=14565 vsize=10851096 memory=6791534058613427641 CPUtime=2451.56 cores=0-3 /proc/14568/task/14667/stat : 14667 (java) R 14565 14568 13981 0 -1 4202560 878657 13418 1 0 244980 167 6 3 20 0 15 0 473019740 11111522304 806081 33554432000 4194304 4196468 140733238955728 139975662750368 139975669022856 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14668] ppid=14565 vsize=10851096 memory=3224324 CPUtime=10.62 cores=0-3 /proc/14568/task/14668/stat : 14668 (java) S 14565 14568 13981 0 -1 1077944384 24211 13418 0 0 984 69 6 3 20 0 15 0 473019741 11111522304 806081 33554432000 4194304 4196468 140733238955728 139975695158416 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14669] ppid=14565 vsize=10851096 memory=3224236 CPUtime=10.62 cores=0-3 /proc/14568/task/14669/stat : 14669 (java) S 14565 14568 13981 0 -1 1077944384 25393 13418 0 0 983 70 6 3 20 0 15 0 473019741 11111522304 806081 33554432000 4194304 4196468 140733238955728 139975609977872 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14670] ppid=14565 vsize=10851096 memory=3224236 CPUtime=10.62 cores=0-3 /proc/14568/task/14670/stat : 14670 (java) S 14565 14568 13981 0 -1 1077944384 25143 13418 0 0 982 71 6 3 20 0 15 0 473019741 11111522304 806081 33554432000 4194304 4196468 140733238955728 139975608925072 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14671] ppid=14565 vsize=10851096 memory=3224324 CPUtime=10.62 cores=0-3 /proc/14568/task/14671/stat : 14671 (java) S 14565 14568 13981 0 -1 1077944384 22075 13418 0 0 984 69 6 3 20 0 15 0 473019741 11111522304 806081 33554432000 4194304 4196468 140733238955728 139975607872272 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14672] ppid=14565 vsize=10851096 memory=3224324 CPUtime=5.65 cores=0-3 /proc/14568/task/14672/stat : 14672 (java) S 14565 14568 13981 0 -1 1077944384 24048 13418 0 0 488 68 6 3 20 0 15 0 473019742 11111522304 806081 33554432000 4194304 4196468 140733238955728 139975217564016 139975690926722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14679] ppid=14565 vsize=10851096 memory=3224324 CPUtime=0.09 cores=0-3 /proc/14568/task/14679/stat : 14679 (java) S 14565 14568 13981 0 -1 1077944384 19 13418 0 0 0 0 6 3 20 0 15 0 473019743 11111522304 806081 33554432000 4194304 4196468 140733238955728 139975131653216 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14680] ppid=14565 vsize=10851096 memory=3224324 CPUtime=0.09 cores=0-3 /proc/14568/task/14680/stat : 14680 (java) S 14565 14568 13981 0 -1 1077944384 10 13418 0 0 0 0 6 3 20 0 15 0 473019743 11111522304 806081 33554432000 4194304 4196468 140733238955728 139974527673216 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14695] ppid=14565 vsize=10851096 memory=3224324 CPUtime=0.09 cores=0-3 /proc/14568/task/14695/stat : 14695 (java) S 14565 14568 13981 0 -1 1077944384 3 13418 0 0 0 0 6 3 20 0 15 0 473019746 11111522304 806081 33554432000 4194304 4196468 140733238955728 139974220273488 139975690934171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14696] ppid=14565 vsize=10851096 memory=3224324 CPUtime=6.63 cores=0-3 /proc/14568/task/14696/stat : 14696 (java) S 14565 14568 13981 0 -1 1077944384 30054 13418 0 0 646 8 6 3 20 0 15 0 473019746 11111522304 806081 33554432000 4194304 4196468 140733238955728 139975216511856 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14697] ppid=14565 vsize=10851096 memory=3224236 CPUtime=6.77 cores=0-3 /proc/14568/task/14697/stat : 14697 (java) S 14565 14568 13981 0 -1 1077944384 28468 13418 0 0 662 6 6 3 20 0 15 0 473019746 11111522304 806081 33554432000 4194304 4196468 140733238955728 139975215459056 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14698] ppid=14565 vsize=10851096 memory=4100 CPUtime=6.21 cores=0-3 /proc/14568/task/14698/stat : 14698 (java) S 14565 14568 13981 0 -1 1077944384 37476 13418 0 0 603 9 6 3 20 0 15 0 473019746 11111522304 806081 33554432000 4194304 4196468 140733238955728 139975214406256 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14700] ppid=14565 vsize=10851096 memory=3224236 CPUtime=0.09 cores=0-3 /proc/14568/task/14700/stat : 14700 (java) S 14565 14568 13981 0 -1 1077944384 3 13418 0 0 0 0 6 3 20 0 15 0 473019746 11111522304 806081 33554432000 4194304 4196468 140733238955728 139974186715872 139975690925781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 [pid=14568/tid=14701] ppid=14565 vsize=10851096 memory=288230591755977018 CPUtime=1.44 cores=0-3 /proc/14568/task/14701/stat : 14701 (java) S 14565 14568 13981 0 -1 1077944384 1882 13418 0 0 72 63 6 3 20 0 15 0 473019747 11111522304 806081 33554432000 4194304 4196468 140733238955728 139975213353648 139975690926722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37187584 140733238958831 140733238961349 140733238961349 140733238964175 0 Current children cumulated CPU time: 2520.05 s Current children cumulated vsize: 10851096 KiB Current children cumulated memory: 3224324 KiB Child status: 143 Real time (s): 2470.35 CPU time (s): 2520.12 CPU user time (s): 2514.42 CPU system time (s): 5.69975 CPU usage (%): 102.015 Max. virtual memory (cumulated for all children) (KiB): 10851964 Max. memory (cumulated for all children) (KiB): 3225132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2514.42 system time used= 5.69975 maximum resident set size= 3226496 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1114376 page faults= 1 swaps= 0 block input operations= 232 block output operations= 2960 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 175196 involuntary context switches= 9214 # summary of solver processes directly reported to runsolver: # pid: 14568 # total CPU time (s): 2520.12 # total CPU user time (s): 2514.42 # total CPU system time (s): 5.69975 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 15.0035 second user time and 26.9447 second system time The end
Begin job on node120 at 2011-12-21 17:22:36 IDJOB=4402601 IDBENCH=122916 IDSOLVER=2861 FILE ID=node120/4402601-1568970135 RUNJOBID= node120-1324482060-14012 PBS_JOBID= 21704627 Free space on /tmp= 23292 MiB SOLVER NAME= Concrete 3.12.3 BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-184.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4402601-1568970135/watcher-4402601-1568970135 -o /tmp/evaluation-result-4402601-1568970135/solver-4402601-1568970135 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324482060-14012 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1567823593 HOME/instance-4402601-1568970135.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 50aaeae16ffb672916f4ac64373270f5 RANDOM SEED=1567823593 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: 4294340 kB MemAvailable: 31779632 kB Buffers: 105120 kB Cached: 27341256 kB SwapCached: 68636 kB Active: 13743692 kB Inactive: 13772220 kB Active(anon): 3036 kB Inactive(anon): 123404 kB Active(file): 13740656 kB Inactive(file): 13648816 kB Unevictable: 109204 kB Mlocked: 109204 kB SwapTotal: 67108860 kB SwapFree: 66927188 kB Dirty: 71008 kB Writeback: 0 kB AnonPages: 145520 kB Mapped: 57416 kB Shmem: 47312 kB Slab: 552748 kB SReclaimable: 524280 kB SUnreclaim: 28468 kB KernelStack: 3984 kB PageTables: 5476 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 526884 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 100352 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= 23220 MiB End job on node120 at 2011-12-21 18:03:47