Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Concrete 3.10 | ? (TO) | 2520.06 | 2469.33 |
Name | Blackhole/Blackhole-xcsp2-s13/ Blackhole-4-13-2_X2.xml |
MD5SUM | 88708c27ba26ffc45c437651276dcd59 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 208 |
Number of constraints | 4218 |
Number of domains | 4 |
Minimum domain size | 1 |
Maximum domain size | 52 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":13,"count":52},{"size":26,"count":51},{"size":52,"count":102}] |
Minimum variable degree | 0 |
Maximum variable degree | 104 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":2,"count":53},{"degree":3,"count":50},{"degree":52,"count":1},{"degree":53,"count":34},{"degree":54,"count":17},{"degree":104,"count":52}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":4218}] |
Number of extensional constraints | 4218 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":4218}] |
Optimization problem | NO |
Type of objective |
0.70/0.60 c Concrete v3.10.1560635388952 running 2520.01/2469.31 Exception in thread "main" java.util.concurrent.TimeoutException 2520.01/2469.31 at concrete.MAC.mac(MAC.scala:189) 2520.01/2469.31 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:253) 2520.01/2469.31 at scala.util.Try$.apply(Try.scala:212) 2520.01/2469.31 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2520.01/2469.31 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2520.01/2469.31 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2520.01/2469.31 at concrete.MAC.oneRun(MAC.scala:253) 2520.01/2469.31 at concrete.MAC.nextSolution(MAC.scala:272) 2520.01/2469.31 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336) 2520.01/2469.31 at concrete.ProblemState.map(ProblemState.scala:228) 2520.01/2469.31 at concrete.ProblemState.map(ProblemState.scala:210) 2520.01/2469.31 at concrete.MAC.nextSolution(MAC.scala:334) 2520.01/2469.31 at concrete.Solver.hasNext(Solver.scala:160) 2520.01/2469.31 at scala.collection.Iterator.nextOption(Iterator.scala:104) 2520.01/2469.31 at scala.collection.Iterator.nextOption$(Iterator.scala:104) 2520.01/2469.31 at concrete.Solver.nextOption(Solver.scala:67) 2520.01/2469.31 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:77) 2520.01/2469.31 at scala.util.Success.map(Try.scala:264) 2520.01/2469.31 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:67) 2520.01/2469.31 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2520.01/2469.31 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.01/2469.31 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.01/2469.31 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.01/2469.31 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2520.01/2469.31 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2520.01/2469.31 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2520.01/2469.31 at scala.App.$anonfun$main$1(App.scala:75) 2520.01/2469.31 at scala.App.$anonfun$main$1$adapted(App.scala:75) 2520.01/2469.31 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2520.01/2469.31 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2520.01/2469.31 at scala.collection.AbstractIterable.foreach(Iterable.scala:904) 2520.01/2469.31 at scala.App.main(App.scala:75) 2520.01/2469.31 at scala.App.main$(App.scala:73) 2520.01/2469.31 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.01/2469.31 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.01/2469.32 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 (9521 MiB free) memory of node 1: 16384 MiB (13558 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387328-1568298962/watcher-4387328-1568298962 -o /tmp/evaluation-result-4387328-1568298962/solver-4387328-1568298962 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568285921-31917 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=952230558 HOME/instance-4387328-1568298962.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=3223, runsolver pid=3220 Current StackSize limit: 8192 KiB [startup+0.10013 s]* /proc/loadavg: 1.49 1.39 1.35 2/214 3276 /proc/meminfo: memFree=23629596/32770688 swapFree=66960428/67108860 [pid=3223] ppid=3220 vsize=9972712 memory=16024 CPUtime=0.09 cores=4-7 /proc/3223/stat : 3223 (java) S 3220 3223 31157 0 -1 1077944320 4222 13055 0 0 1 0 5 3 20 0 6 0 405837942 10212057088 4006 33554432000 4194304 4196468 140724976399104 140724976381648 140257697943287 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 /proc/3223/statm: 2493178 4006 1896 1 0 2481616 0 [pid=3223/tid=3276] ppid=3220 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=4-7 /proc/3223/task/3276/stat : 3276 (java) R 3220 3223 31157 0 -1 4202560 2113 13055 0 0 0 0 5 3 20 0 6 0 405837951 10212057088 4072 33554432000 4194304 4196468 140724976399104 140257669780048 140257682023774 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3277] ppid=3220 vsize=9972712 memory=5792869726567804975 CPUtime=0.08 cores=4-7 /proc/3223/task/3277/stat : 3277 (java) S 3220 3223 31157 0 -1 1077944384 1 13055 0 0 0 0 5 3 20 0 6 0 405837952 10212057088 4072 33554432000 4194304 4196468 140724976399104 140257702185232 140257697953493 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3278] ppid=3220 vsize=9972712 memory=139972584396416 CPUtime=0.08 cores=4-7 /proc/3223/task/3278/stat : 3278 (java) S 3220 3223 31157 0 -1 1077944384 1 13055 0 0 0 0 5 3 20 0 6 0 405837952 10212057088 4072 33554432000 4194304 4196468 140724976399104 140257601075600 140257697953493 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3279] ppid=3220 vsize=9972712 memory=0 CPUtime=0.08 cores=4-7 /proc/3223/task/3279/stat : 3279 (java) S 3220 3223 31157 0 -1 1077944384 2 13055 0 0 0 0 5 3 20 0 6 0 405837952 10212057088 4072 33554432000 4194304 4196468 140724976399104 140257600023056 140257697953493 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3280] ppid=3220 vsize=9972712 memory=-1 CPUtime=0.08 cores=4-7 /proc/3223/task/3280/stat : 3280 (java) S 3220 3223 31157 0 -1 1077944384 2 13055 0 0 0 0 5 3 20 0 6 0 405837952 10212057088 4072 33554432000 4194304 4196468 140724976399104 140257598970512 140257697953493 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 9972712 KiB Current children cumulated memory: 16024 KiB [startup+0.218643 s]* /proc/loadavg: 1.49 1.39 1.35 3/227 3289 /proc/meminfo: memFree=23609188/32770688 swapFree=66960428/67108860 [pid=3223] ppid=3220 vsize=10818900 memory=38128 CPUtime=0.26 cores=4-7 /proc/3223/stat : 3223 (java) S 3220 3223 31157 0 -1 1077944320 6913 13055 0 0 17 1 5 3 20 0 15 0 405837942 11078553600 9532 33554432000 4194304 4196468 140724976399104 140724976381648 140257697943287 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 /proc/3223/statm: 2704725 9532 2948 1 0 2667149 0 [pid=3223/tid=3276] ppid=3220 vsize=10818900 memory=8389772277269004345 CPUtime=0.19 cores=4-7 /proc/3223/task/3276/stat : 3276 (java) R 3220 3223 31157 0 -1 4202560 3430 13055 0 0 11 0 5 3 20 0 15 0 405837951 11078553600 9532 33554432000 4194304 4196468 140724976399104 140257669766760 140257690660439 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3277] ppid=3220 vsize=10818900 memory=4294967661 CPUtime=0.08 cores=4-7 /proc/3223/task/3277/stat : 3277 (java) S 3220 3223 31157 0 -1 1077944384 1 13055 0 0 0 0 5 3 20 0 15 0 405837952 11078553600 9532 33554432000 4194304 4196468 140724976399104 140257702185232 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3278] ppid=3220 vsize=10818900 memory=288370348736108160 CPUtime=0.08 cores=4-7 /proc/3223/task/3278/stat : 3278 (java) S 3220 3223 31157 0 -1 1077944384 1 13055 0 0 0 0 5 3 20 0 15 0 405837952 11078553600 9532 33554432000 4194304 4196468 140724976399104 140257601075600 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3279] ppid=3220 vsize=10818900 memory=0 CPUtime=0.08 cores=4-7 /proc/3223/task/3279/stat : 3279 (java) S 3220 3223 31157 0 -1 1077944384 2 13055 0 0 0 0 5 3 20 0 15 0 405837952 11078553600 9532 33554432000 4194304 4196468 140724976399104 140257600023056 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3280] ppid=3220 vsize=10818900 memory=-1 CPUtime=0.08 cores=4-7 /proc/3223/task/3280/stat : 3280 (java) S 3220 3223 31157 0 -1 1077944384 2 13055 0 0 0 0 5 3 20 0 15 0 405837952 11078553600 9532 33554432000 4194304 4196468 140724976399104 140257598970512 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3281] ppid=3220 vsize=10818900 memory=139972584396416 CPUtime=0.08 cores=4-7 /proc/3223/task/3281/stat : 3281 (java) S 3220 3223 31157 0 -1 1077944384 2 13055 0 0 0 0 5 3 20 0 15 0 405837953 11078553600 9532 33554432000 4194304 4196468 140724976399104 140257156422128 140257697954434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3282] ppid=3220 vsize=10818900 memory=-1 CPUtime=0.08 cores=4-7 /proc/3223/task/3282/stat : 3282 (java) S 3220 3223 31157 0 -1 1077944384 13 13055 0 0 0 0 5 3 20 0 15 0 405837954 11078553600 9532 33554432000 4194304 4196468 140724976399104 140256586229152 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3283] ppid=3220 vsize=10818900 memory=0 CPUtime=0.08 cores=4-7 /proc/3223/task/3283/stat : 3283 (java) S 3220 3223 31157 0 -1 1077944384 1 13055 0 0 0 0 5 3 20 0 15 0 405837954 11078553600 9532 33554432000 4194304 4196468 140724976399104 140256452011504 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3284] ppid=3220 vsize=10818900 memory=0 CPUtime=0.08 cores=4-7 /proc/3223/task/3284/stat : 3284 (java) S 3220 3223 31157 0 -1 1077944384 3 13055 0 0 0 0 5 3 20 0 15 0 405837957 11078553600 9532 33554432000 4194304 4196468 140724976399104 140256211720912 140257697961883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3285] ppid=3220 vsize=10818900 memory=0 CPUtime=0.09 cores=4-7 /proc/3223/task/3285/stat : 3285 (java) S 3220 3223 31157 0 -1 1077944384 574 13055 0 0 1 0 5 3 20 0 15 0 405837957 11078553600 9532 33554432000 4194304 4196468 140724976399104 140257155368944 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3286] ppid=3220 vsize=10818900 memory=-1 CPUtime=0.08 cores=4-7 /proc/3223/task/3286/stat : 3286 (java) S 3220 3223 31157 0 -1 1077944384 59 13055 0 0 0 0 5 3 20 0 15 0 405837957 11078553600 9532 33554432000 4194304 4196468 140724976399104 140257154316400 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3287] ppid=3220 vsize=10818900 memory=139972584396416 CPUtime=0.11 cores=4-7 /proc/3223/task/3287/stat : 3287 (java) S 3220 3223 31157 0 -1 1077944384 629 13055 0 0 3 0 5 3 20 0 15 0 405837957 11078553600 9532 33554432000 4194304 4196468 140724976399104 140257153263856 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3288] ppid=3220 vsize=10818900 memory=-1 CPUtime=0.08 cores=4-7 /proc/3223/task/3288/stat : 3288 (java) S 3220 3223 31157 0 -1 1077944384 3 13055 0 0 0 0 5 3 20 0 15 0 405837957 11078553600 9532 33554432000 4194304 4196468 140724976399104 140256178162272 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3289] ppid=3220 vsize=10818900 memory=139972584396416 CPUtime=0.08 cores=4-7 /proc/3223/task/3289/stat : 3289 (java) S 3220 3223 31157 0 -1 1077944384 1 13055 0 0 0 0 5 3 20 0 15 0 405837958 11078553600 9532 33554432000 4194304 4196468 140724976399104 140257152211760 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 Current children cumulated CPU time: 0.26 s Current children cumulated vsize: 10818900 KiB Current children cumulated memory: 38128 KiB [startup+0.311583 s]* /proc/loadavg: 1.49 1.39 1.35 3/227 3289 /proc/meminfo: memFree=23597384/32770688 swapFree=66960428/67108860 [pid=3223] ppid=3220 vsize=10819084 memory=46736 CPUtime=0.4 cores=4-7 /proc/3223/stat : 3223 (java) S 3220 3223 31157 0 -1 1077944320 10440 13055 0 0 29 3 5 3 20 0 15 0 405837942 11078742016 11684 33554432000 4194304 4196468 140724976399104 140724976381648 140257697943287 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 /proc/3223/statm: 2704771 11684 3005 1 0 2667149 0 [pid=3223/tid=3276] ppid=3220 vsize=10819084 memory=6935054825532540783 CPUtime=0.29 cores=4-7 /proc/3223/task/3276/stat : 3276 (java) R 3220 3223 31157 0 -1 4202560 6939 13055 0 0 19 2 5 3 20 0 15 0 405837951 11078742016 11684 33554432000 4194304 4196468 140724976399104 140257669754400 140257697965213 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3277] ppid=3220 vsize=10819084 memory=4872558044660077418 CPUtime=0.08 cores=4-7 /proc/3223/task/3277/stat : 3277 (java) S 3220 3223 31157 0 -1 1077944384 1 13055 0 0 0 0 5 3 20 0 15 0 405837952 11078742016 11684 33554432000 4194304 4196468 140724976399104 140257702185232 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3278] ppid=3220 vsize=10819084 memory=-2843874027707679902 CPUtime=0.08 cores=4-7 /proc/3223/task/3278/stat : 3278 (java) S 3220 3223 31157 0 -1 1077944384 1 13055 0 0 0 0 5 3 20 0 15 0 405837952 11078742016 11684 33554432000 4194304 4196468 140724976399104 140257601075600 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3279] ppid=3220 vsize=10819084 memory=-8412656567334364540 CPUtime=0.08 cores=4-7 /proc/3223/task/3279/stat : 3279 (java) S 3220 3223 31157 0 -1 1077944384 2 13055 0 0 0 0 5 3 20 0 15 0 405837952 11078742016 11684 33554432000 4194304 4196468 140724976399104 140257600023056 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3280] ppid=3220 vsize=10819084 memory=-1 CPUtime=0.08 cores=4-7 /proc/3223/task/3280/stat : 3280 (java) S 3220 3223 31157 0 -1 1077944384 2 13055 0 0 0 0 5 3 20 0 15 0 405837952 11078742016 11684 33554432000 4194304 4196468 140724976399104 140257598970512 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3281] ppid=3220 vsize=10819084 memory=0 CPUtime=0.08 cores=4-7 /proc/3223/task/3281/stat : 3281 (java) S 3220 3223 31157 0 -1 1077944384 2 13055 0 0 0 0 5 3 20 0 15 0 405837953 11078742016 11684 33554432000 4194304 4196468 140724976399104 140257156422128 140257697954434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3282] ppid=3220 vsize=10819084 memory=0 CPUtime=0.08 cores=4-7 /proc/3223/task/3282/stat : 3282 (java) S 3220 3223 31157 0 -1 1077944384 13 13055 0 0 0 0 5 3 20 0 15 0 405837954 11078742016 11684 33554432000 4194304 4196468 140724976399104 140256586229152 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3283] ppid=3220 vsize=10819084 memory=0 CPUtime=0.08 cores=4-7 /proc/3223/task/3283/stat : 3283 (java) S 3220 3223 31157 0 -1 1077944384 1 13055 0 0 0 0 5 3 20 0 15 0 405837954 11078742016 11684 33554432000 4194304 4196468 140724976399104 140256452011504 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3284] ppid=3220 vsize=10819084 memory=0 CPUtime=0.08 cores=4-7 /proc/3223/task/3284/stat : 3284 (java) S 3220 3223 31157 0 -1 1077944384 3 13055 0 0 0 0 5 3 20 0 15 0 405837957 11078742016 11684 33554432000 4194304 4196468 140724976399104 140256211720912 140257697961883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3285] ppid=3220 vsize=10819084 memory=0 CPUtime=0.1 cores=4-7 /proc/3223/task/3285/stat : 3285 (java) S 3220 3223 31157 0 -1 1077944384 575 13055 0 0 2 0 5 3 20 0 15 0 405837957 11078742016 11684 33554432000 4194304 4196468 140724976399104 140257155368944 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3286] ppid=3220 vsize=10819084 memory=0 CPUtime=0.09 cores=4-7 /proc/3223/task/3286/stat : 3286 (java) S 3220 3223 31157 0 -1 1077944384 59 13055 0 0 1 0 5 3 20 0 15 0 405837957 11078742016 11684 33554432000 4194304 4196468 140724976399104 140257154316400 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3287] ppid=3220 vsize=10819084 memory=0 CPUtime=0.13 cores=4-7 /proc/3223/task/3287/stat : 3287 (java) S 3220 3223 31157 0 -1 1077944384 638 13055 0 0 5 0 5 3 20 0 15 0 405837957 11078742016 11684 33554432000 4194304 4196468 140724976399104 140257153263856 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3288] ppid=3220 vsize=10819084 memory=0 CPUtime=0.08 cores=4-7 /proc/3223/task/3288/stat : 3288 (java) S 3220 3223 31157 0 -1 1077944384 3 13055 0 0 0 0 5 3 20 0 15 0 405837957 11078742016 11684 33554432000 4194304 4196468 140724976399104 140256178162272 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3289] ppid=3220 vsize=10819084 memory=0 CPUtime=0.08 cores=4-7 /proc/3223/task/3289/stat : 3289 (java) S 3220 3223 31157 0 -1 1077944384 1 13055 0 0 0 0 5 3 20 0 15 0 405837958 11078742016 11684 33554432000 4194304 4196468 140724976399104 140257152211760 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 Current children cumulated CPU time: 0.4 s Current children cumulated vsize: 10819084 KiB Current children cumulated memory: 46736 KiB [startup+0.700758 s] /proc/loadavg: 1.49 1.39 1.35 3/227 3289 /proc/meminfo: memFree=23585844/32770688 swapFree=66960428/67108860 [pid=3223] ppid=3220 vsize=10822292 memory=76952 CPUtime=1.12 cores=4-7 /proc/3223/stat : 3223 (java) S 3220 3223 31157 0 -1 1077944320 14456 13055 0 0 99 5 5 3 20 0 15 0 405837942 11082027008 19238 33554432000 4194304 4196468 140724976399104 140724976381648 140257697943287 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 /proc/3223/statm: 2705573 19238 3495 1 0 2667661 0 [pid=3223/tid=3276] ppid=3220 vsize=10822292 memory=0 CPUtime=0.67 cores=4-7 /proc/3223/task/3276/stat : 3276 (java) R 3220 3223 31157 0 -1 4202560 10189 13055 0 0 55 4 5 3 20 0 15 0 405837951 11082027008 19263 33554432000 4194304 4196468 140724976399104 140257669771648 140257682023774 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3277] ppid=3220 vsize=10822292 memory=0 CPUtime=0.08 cores=4-7 /proc/3223/task/3277/stat : 3277 (java) S 3220 3223 31157 0 -1 1077944384 1 13055 0 0 0 0 5 3 20 0 15 0 405837952 11082027008 19263 33554432000 4194304 4196468 140724976399104 140257702185232 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3278] ppid=3220 vsize=10822292 memory=0 CPUtime=0.08 cores=4-7 /proc/3223/task/3278/stat : 3278 (java) S 3220 3223 31157 0 -1 1077944384 1 13055 0 0 0 0 5 3 20 0 15 0 405837952 11082027008 19263 33554432000 4194304 4196468 140724976399104 140257601075600 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3279] ppid=3220 vsize=10822292 memory=279944894615312 CPUtime=0.08 cores=4-7 /proc/3223/task/3279/stat : 3279 (java) S 3220 3223 31157 0 -1 1077944384 2 13055 0 0 0 0 5 3 20 0 15 0 405837952 11082027008 19263 33554432000 4194304 4196468 140724976399104 140257600023056 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3280] ppid=3220 vsize=10822292 memory=2469069326081 CPUtime=0.08 cores=4-7 /proc/3223/task/3280/stat : 3280 (java) S 3220 3223 31157 0 -1 1077944384 2 13055 0 0 0 0 5 3 20 0 15 0 405837952 11082027008 19263 33554432000 4194304 4196468 140724976399104 140257598970512 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3281] ppid=3220 vsize=10822292 memory=31606564 CPUtime=0.08 cores=4-7 /proc/3223/task/3281/stat : 3281 (java) S 3220 3223 31157 0 -1 1077944384 5 13055 0 0 0 0 5 3 20 0 15 0 405837953 11082027008 19263 33554432000 4194304 4196468 140724976399104 140257156422128 140257697954434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3282] ppid=3220 vsize=10822292 memory=6307362057509636499 CPUtime=0.08 cores=4-7 /proc/3223/task/3282/stat : 3282 (java) S 3220 3223 31157 0 -1 1077944384 13 13055 0 0 0 0 5 3 20 0 15 0 405837954 11082027008 19263 33554432000 4194304 4196468 140724976399104 140256586229152 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3283] ppid=3220 vsize=10822292 memory=7158578613868057424 CPUtime=0.08 cores=4-7 /proc/3223/task/3283/stat : 3283 (java) S 3220 3223 31157 0 -1 1077944384 1 13055 0 0 0 0 5 3 20 0 15 0 405837954 11082027008 19263 33554432000 4194304 4196468 140724976399104 140256452011504 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3284] ppid=3220 vsize=10822292 memory=7595725831727968097 CPUtime=0.08 cores=4-7 /proc/3223/task/3284/stat : 3284 (java) S 3220 3223 31157 0 -1 1077944384 3 13055 0 0 0 0 5 3 20 0 15 0 405837957 11082027008 19263 33554432000 4194304 4196468 140724976399104 140256211720912 140257697961883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3285] ppid=3220 vsize=10822292 memory=6656426216303648864 CPUtime=0.22 cores=4-7 /proc/3223/task/3285/stat : 3285 (java) R 3220 3223 31157 0 -1 4202560 934 13055 0 0 14 0 5 3 20 0 15 0 405837957 11082027008 19263 33554432000 4194304 4196468 140724976399104 140257155346192 140257677187304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3286] ppid=3220 vsize=10822292 memory=0 CPUtime=0.18 cores=4-7 /proc/3223/task/3286/stat : 3286 (java) R 3220 3223 31157 0 -1 4202560 294 13055 0 0 10 0 5 3 20 0 15 0 405837957 11082027008 19263 33554432000 4194304 4196468 140724976399104 140257154304880 140257679464469 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3287] ppid=3220 vsize=10822292 memory=0 CPUtime=0.25 cores=4-7 /proc/3223/task/3287/stat : 3287 (java) S 3220 3223 31157 0 -1 1077944384 803 13055 0 0 17 0 5 3 20 0 15 0 405837957 11082027008 19263 33554432000 4194304 4196468 140724976399104 140257153263856 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3288] ppid=3220 vsize=10822292 memory=279944895178304 CPUtime=0.08 cores=4-7 /proc/3223/task/3288/stat : 3288 (java) S 3220 3223 31157 0 -1 1077944384 3 13055 0 0 0 0 5 3 20 0 15 0 405837957 11082027008 19263 33554432000 4194304 4196468 140724976399104 140256178162272 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3289] ppid=3220 vsize=10822292 memory=139972984177241 CPUtime=0.08 cores=4-7 /proc/3223/task/3289/stat : 3289 (java) S 3220 3223 31157 0 -1 1077944384 1 13055 0 0 0 0 5 3 20 0 15 0 405837958 11082027008 19263 33554432000 4194304 4196468 140724976399104 140257152211760 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 Current children cumulated CPU time: 1.12 s Current children cumulated vsize: 10822292 KiB Current children cumulated memory: 76952 KiB [startup+1.50169 s] /proc/loadavg: 1.49 1.39 1.35 6/227 3289 /proc/meminfo: memFree=23545832/32770688 swapFree=66960428/67108860 [pid=3223] ppid=3220 vsize=10832608 memory=185724 CPUtime=3.1 cores=4-7 /proc/3223/stat : 3223 (java) S 3220 3223 31157 0 -1 1077944320 23901 13055 0 0 292 10 5 3 20 0 15 0 405837942 11092590592 46431 33554432000 4194304 4196468 140724976399104 140724976381648 140257697943287 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 /proc/3223/statm: 2708152 46431 3569 1 0 2670221 0 [pid=3223/tid=3276] ppid=3220 vsize=10832608 memory=-6948614817169703622 CPUtime=1.43 cores=4-7 /proc/3223/task/3276/stat : 3276 (java) S 3220 3223 31157 0 -1 1077944384 14458 13055 0 0 129 6 5 3 20 0 15 0 405837951 11092590592 46431 33554432000 4194304 4196468 140724976399104 140257669765312 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3277] ppid=3220 vsize=10832608 memory=76952 CPUtime=0.08 cores=4-7 /proc/3223/task/3277/stat : 3277 (java) S 3220 3223 31157 0 -1 1077944384 188 13055 0 0 0 0 5 3 20 0 15 0 405837952 11092590592 46431 33554432000 4194304 4196468 140724976399104 140257702185232 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3278] ppid=3220 vsize=10832608 memory=0 CPUtime=0.08 cores=4-7 /proc/3223/task/3278/stat : 3278 (java) S 3220 3223 31157 0 -1 1077944384 27 13055 0 0 0 0 5 3 20 0 15 0 405837952 11092590592 46431 33554432000 4194304 4196468 140724976399104 140257601075600 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3279] ppid=3220 vsize=10832608 memory=0 CPUtime=0.08 cores=4-7 /proc/3223/task/3279/stat : 3279 (java) S 3220 3223 31157 0 -1 1077944384 33 13055 0 0 0 0 5 3 20 0 15 0 405837952 11092590592 46431 33554432000 4194304 4196468 140724976399104 140257600023056 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3280] ppid=3220 vsize=10832608 memory=0 CPUtime=0.08 cores=4-7 /proc/3223/task/3280/stat : 3280 (java) S 3220 3223 31157 0 -1 1077944384 40 13055 0 0 0 0 5 3 20 0 15 0 405837952 11092590592 46431 33554432000 4194304 4196468 140724976399104 140257598970512 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3281] ppid=3220 vsize=10832608 memory=8112282956445269571 CPUtime=0.09 cores=4-7 /proc/3223/task/3281/stat : 3281 (java) R 3220 3223 31157 0 -1 4202560 729 13055 0 0 1 0 5 3 20 0 15 0 405837953 11092590592 46431 33554432000 4194304 4196468 140724976399104 140257156420304 140257682949166 0 0 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3282] ppid=3220 vsize=10832608 memory=0 CPUtime=0.08 cores=4-7 /proc/3223/task/3282/stat : 3282 (java) S 3220 3223 31157 0 -1 1077944384 13 13055 0 0 0 0 5 3 20 0 15 0 405837954 11092590592 46431 33554432000 4194304 4196468 140724976399104 140256586229152 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3283] ppid=3220 vsize=10832608 memory=0 CPUtime=0.08 cores=4-7 /proc/3223/task/3283/stat : 3283 (java) S 3220 3223 31157 0 -1 1077944384 1 13055 0 0 0 0 5 3 20 0 15 0 405837954 11092590592 46431 33554432000 4194304 4196468 140724976399104 140256452011504 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3284] ppid=3220 vsize=10832608 memory=0 CPUtime=0.08 cores=4-7 /proc/3223/task/3284/stat : 3284 (java) S 3220 3223 31157 0 -1 1077944384 3 13055 0 0 0 0 5 3 20 0 15 0 405837957 11092590592 46431 33554432000 4194304 4196468 140724976399104 140256211720912 140257697961883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3285] ppid=3220 vsize=10832608 memory=0 CPUtime=0.67 cores=4-7 /proc/3223/task/3285/stat : 3285 (java) S 3220 3223 31157 0 -1 1077944384 2654 13055 0 0 59 0 5 3 20 0 15 0 405837957 11092590592 46431 33554432000 4194304 4196468 140724976399104 140257155368944 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3286] ppid=3220 vsize=10832608 memory=0 CPUtime=0.61 cores=4-7 /proc/3223/task/3286/stat : 3286 (java) S 3220 3223 31157 0 -1 1077944384 1545 13055 0 0 53 0 5 3 20 0 15 0 405837957 11092590592 46431 33554432000 4194304 4196468 140724976399104 140257154316400 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3287] ppid=3220 vsize=10832608 memory=-7966001967407402336 CPUtime=0.53 cores=4-7 /proc/3223/task/3287/stat : 3287 (java) S 3220 3223 31157 0 -1 1077944384 1998 13055 0 0 45 0 5 3 20 0 15 0 405837957 11092590592 46431 33554432000 4194304 4196468 140724976399104 140257153263856 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3288] ppid=3220 vsize=10832608 memory=6944613755495348631 CPUtime=0.08 cores=4-7 /proc/3223/task/3288/stat : 3288 (java) S 3220 3223 31157 0 -1 1077944384 3 13055 0 0 0 0 5 3 20 0 15 0 405837957 11092590592 46431 33554432000 4194304 4196468 140724976399104 140256178162272 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3289] ppid=3220 vsize=10832608 memory=7100839870102598768 CPUtime=0.08 cores=4-7 /proc/3223/task/3289/stat : 3289 (java) S 3220 3223 31157 0 -1 1077944384 3 13055 0 0 0 0 5 3 20 0 15 0 405837958 11092590592 46431 33554432000 4194304 4196468 140724976399104 140257152211760 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 10832608 KiB ################ # More data... # ################ /proc/3223/task/3276/stat : 3276 (java) R 3220 3223 31157 0 -1 4202560 63893 13055 0 0 235647 54 5 3 20 0 15 0 405837951 11105193984 305418 33554432000 4194304 4196468 140724976399104 140257669779248 140257275417293 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3277] ppid=3220 vsize=10844916 memory=1221672 CPUtime=12.84 cores=4-7 /proc/3223/task/3277/stat : 3277 (java) S 3220 3223 31157 0 -1 1077944384 17474 13055 0 0 1224 52 5 3 20 0 15 0 405837952 11105193984 305418 33554432000 4194304 4196468 140724976399104 140257702185232 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3278] ppid=3220 vsize=10844916 memory=1221672 CPUtime=12.79 cores=4-7 /proc/3223/task/3278/stat : 3278 (java) S 3220 3223 31157 0 -1 1077944384 13065 13055 0 0 1222 49 5 3 20 0 15 0 405837952 11105193984 305418 33554432000 4194304 4196468 140724976399104 140257601075600 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3279] ppid=3220 vsize=10844916 memory=33 CPUtime=12.82 cores=4-7 /proc/3223/task/3279/stat : 3279 (java) S 3220 3223 31157 0 -1 1077944384 12778 13055 0 0 1222 52 5 3 20 0 15 0 405837952 11105193984 305418 33554432000 4194304 4196468 140724976399104 140257600023056 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3280] ppid=3220 vsize=10844916 memory=1219616 CPUtime=12.85 cores=4-7 /proc/3223/task/3280/stat : 3280 (java) S 3220 3223 31157 0 -1 1077944384 10751 13055 0 0 1227 50 5 3 20 0 15 0 405837952 11105193984 305418 33554432000 4194304 4196468 140724976399104 140257598970512 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3281] ppid=3220 vsize=10844916 memory=1219584 CPUtime=9.9 cores=4-7 /proc/3223/task/3281/stat : 3281 (java) S 3220 3223 31157 0 -1 1077944384 15567 13055 0 0 922 60 5 3 20 0 15 0 405837953 11105193984 305418 33554432000 4194304 4196468 140724976399104 140257156422128 140257697954434 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3282] ppid=3220 vsize=10844916 memory=764 CPUtime=0.08 cores=4-7 /proc/3223/task/3282/stat : 3282 (java) S 3220 3223 31157 0 -1 1077944384 16 13055 0 0 0 0 5 3 20 0 15 0 405837954 11105193984 305418 33554432000 4194304 4196468 140724976399104 140256586229280 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3283] ppid=3220 vsize=10844916 memory=1708 CPUtime=0.08 cores=4-7 /proc/3223/task/3283/stat : 3283 (java) S 3220 3223 31157 0 -1 1077944384 4 13055 0 0 0 0 5 3 20 0 15 0 405837954 11105193984 305418 33554432000 4194304 4196468 140724976399104 140256452011520 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3284] ppid=3220 vsize=10844916 memory=1221664 CPUtime=0.08 cores=4-7 /proc/3223/task/3284/stat : 3284 (java) S 3220 3223 31157 0 -1 1077944384 3 13055 0 0 0 0 5 3 20 0 15 0 405837957 11105193984 305418 33554432000 4194304 4196468 140724976399104 140256211720912 140257697961883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3285] ppid=3220 vsize=10844916 memory=1221664 CPUtime=4.36 cores=4-7 /proc/3223/task/3285/stat : 3285 (java) S 3220 3223 31157 0 -1 1077944384 16756 13055 0 0 424 4 5 3 20 0 15 0 405837957 11105193984 305418 33554432000 4194304 4196468 140724976399104 140257155368944 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3286] ppid=3220 vsize=10844916 memory=1221672 CPUtime=4.49 cores=4-7 /proc/3223/task/3286/stat : 3286 (java) S 3220 3223 31157 0 -1 1077944384 21190 13055 0 0 435 6 5 3 20 0 15 0 405837957 11105193984 305418 33554432000 4194304 4196468 140724976399104 140257154316400 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3287] ppid=3220 vsize=10844916 memory=3380 CPUtime=3.58 cores=4-7 /proc/3223/task/3287/stat : 3287 (java) S 3220 3223 31157 0 -1 1077944384 15437 13055 0 0 344 6 5 3 20 0 15 0 405837957 11105193984 305418 33554432000 4194304 4196468 140724976399104 140257153263856 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3288] ppid=3220 vsize=10844916 memory=1221664 CPUtime=0.08 cores=4-7 /proc/3223/task/3288/stat : 3288 (java) S 3220 3223 31157 0 -1 1077944384 3 13055 0 0 0 0 5 3 20 0 15 0 405837957 11105193984 305418 33554432000 4194304 4196468 140724976399104 140256178162272 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3289] ppid=3220 vsize=10844916 memory=1219616 CPUtime=1.43 cores=4-7 /proc/3223/task/3289/stat : 3289 (java) S 3220 3223 31157 0 -1 1077944384 1313 13055 0 0 60 75 5 3 20 0 15 0 405837958 11105193984 305418 33554432000 4194304 4196468 140724976399104 140257152211760 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 Current children cumulated CPU time: 2431.54 s Current children cumulated vsize: 10844916 KiB Current children cumulated memory: 1221672 KiB [startup+2442.3 s] /proc/loadavg: 0.96 1.23 1.29 3/227 3685 /proc/meminfo: memFree=22134448/32770688 swapFree=66960432/67108860 [pid=3223] ppid=3220 vsize=10844916 memory=1221764 CPUtime=2492.57 cores=4-7 /proc/3223/stat : 3223 (java) S 3220 3223 31157 0 -1 1077944320 192114 13055 0 0 248881 368 5 3 20 0 15 0 405837942 11105193984 305441 33554432000 4194304 4196468 140724976399104 140724976381648 140257697943287 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 /proc/3223/statm: 2711229 305441 3620 1 0 2673293 0 [pid=3223/tid=3276] ppid=3220 vsize=10844916 memory=1221764 CPUtime=2416.39 cores=4-7 /proc/3223/task/3276/stat : 3276 (java) R 3220 3223 31157 0 -1 4202560 64708 13055 0 0 241576 55 5 3 20 0 15 0 405837951 11105193984 305441 33554432000 4194304 4196468 140724976399104 140257669778608 140257275417415 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3277] ppid=3220 vsize=10844916 memory=1221736 CPUtime=13.2 cores=4-7 /proc/3223/task/3277/stat : 3277 (java) S 3220 3223 31157 0 -1 1077944384 17560 13055 0 0 1258 54 5 3 20 0 15 0 405837952 11105193984 305441 33554432000 4194304 4196468 140724976399104 140257702185232 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3278] ppid=3220 vsize=10844916 memory=1221744 CPUtime=13.15 cores=4-7 /proc/3223/task/3278/stat : 3278 (java) S 3220 3223 31157 0 -1 1077944384 13082 13055 0 0 1257 50 5 3 20 0 15 0 405837952 11105193984 305441 33554432000 4194304 4196468 140724976399104 140257601075600 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3279] ppid=3220 vsize=10844916 memory=1221744 CPUtime=13.18 cores=4-7 /proc/3223/task/3279/stat : 3279 (java) S 3220 3223 31157 0 -1 1077944384 12933 13055 0 0 1257 53 5 3 20 0 15 0 405837952 11105193984 305441 33554432000 4194304 4196468 140724976399104 140257600023056 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3280] ppid=3220 vsize=10844916 memory=1221744 CPUtime=13.2 cores=4-7 /proc/3223/task/3280/stat : 3280 (java) S 3220 3223 31157 0 -1 1077944384 10943 13055 0 0 1261 51 5 3 20 0 15 0 405837952 11105193984 305441 33554432000 4194304 4196468 140724976399104 140257598970512 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3281] ppid=3220 vsize=10844916 memory=1221764 CPUtime=10.17 cores=4-7 /proc/3223/task/3281/stat : 3281 (java) S 3220 3223 31157 0 -1 1077944384 15925 13055 0 0 948 61 5 3 20 0 15 0 405837953 11105193984 305441 33554432000 4194304 4196468 140724976399104 140257156422128 140257697954434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3282] ppid=3220 vsize=10844916 memory=0 CPUtime=0.08 cores=4-7 /proc/3223/task/3282/stat : 3282 (java) S 3220 3223 31157 0 -1 1077944384 16 13055 0 0 0 0 5 3 20 0 15 0 405837954 11105193984 305441 33554432000 4194304 4196468 140724976399104 140256586229280 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3283] ppid=3220 vsize=10844916 memory=1221744 CPUtime=0.08 cores=4-7 /proc/3223/task/3283/stat : 3283 (java) S 3220 3223 31157 0 -1 1077944384 4 13055 0 0 0 0 5 3 20 0 15 0 405837954 11105193984 305441 33554432000 4194304 4196468 140724976399104 140256452011520 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3284] ppid=3220 vsize=10844916 memory=36028 CPUtime=0.08 cores=4-7 /proc/3223/task/3284/stat : 3284 (java) S 3220 3223 31157 0 -1 1077944384 3 13055 0 0 0 0 5 3 20 0 15 0 405837957 11105193984 305441 33554432000 4194304 4196468 140724976399104 140256211720912 140257697961883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3285] ppid=3220 vsize=10844916 memory=1221744 CPUtime=4.36 cores=4-7 /proc/3223/task/3285/stat : 3285 (java) S 3220 3223 31157 0 -1 1077944384 16758 13055 0 0 424 4 5 3 20 0 15 0 405837957 11105193984 305441 33554432000 4194304 4196468 140724976399104 140257155368944 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3286] ppid=3220 vsize=10844916 memory=36028 CPUtime=4.49 cores=4-7 /proc/3223/task/3286/stat : 3286 (java) S 3220 3223 31157 0 -1 1077944384 21192 13055 0 0 435 6 5 3 20 0 15 0 405837957 11105193984 305441 33554432000 4194304 4196468 140724976399104 140257154316400 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3287] ppid=3220 vsize=10844916 memory=1221744 CPUtime=3.59 cores=4-7 /proc/3223/task/3287/stat : 3287 (java) S 3220 3223 31157 0 -1 1077944384 15439 13055 0 0 345 6 5 3 20 0 15 0 405837957 11105193984 305441 33554432000 4194304 4196468 140724976399104 140257153263856 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3288] ppid=3220 vsize=10844916 memory=1221744 CPUtime=0.08 cores=4-7 /proc/3223/task/3288/stat : 3288 (java) S 3220 3223 31157 0 -1 1077944384 3 13055 0 0 0 0 5 3 20 0 15 0 405837957 11105193984 305441 33554432000 4194304 4196468 140724976399104 140256178162272 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3289] ppid=3220 vsize=10844916 memory=1221744 CPUtime=1.47 cores=4-7 /proc/3223/task/3289/stat : 3289 (java) S 3220 3223 31157 0 -1 1077944384 1342 13055 0 0 62 77 5 3 20 0 15 0 405837958 11105193984 305441 33554432000 4194304 4196468 140724976399104 140257152211760 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 Current children cumulated CPU time: 2492.57 s Current children cumulated vsize: 10844916 KiB Current children cumulated memory: 1221764 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2469.3 s] /proc/loadavg: 1.14 1.25 1.30 3/227 3687 /proc/meminfo: memFree=22132248/32770688 swapFree=66960432/67108860 [pid=3223] ppid=3220 vsize=10844916 memory=1221772 CPUtime=2520.01 cores=4-7 /proc/3223/stat : 3223 (java) S 3220 3223 31157 0 -1 1077944320 192388 13055 0 0 251621 372 5 3 20 0 15 0 405837942 11105193984 305443 33554432000 4194304 4196468 140724976399104 140724976381648 140257697943287 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 /proc/3223/statm: 2711229 305443 3620 1 0 2673293 0 [pid=3223/tid=3276] ppid=3220 vsize=10844916 memory=1221772 CPUtime=2443.08 cores=4-7 /proc/3223/task/3276/stat : 3276 (java) R 3220 3223 31157 0 -1 4202560 64945 13055 0 0 244245 55 5 3 20 0 15 0 405837951 11105193984 305443 33554432000 4194304 4196468 140724976399104 140257669779136 140257275258315 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3277] ppid=3220 vsize=10844916 memory=1221772 CPUtime=13.35 cores=4-7 /proc/3223/task/3277/stat : 3277 (java) S 3220 3223 31157 0 -1 1077944384 17563 13055 0 0 1273 54 5 3 20 0 15 0 405837952 11105193984 305443 33554432000 4194304 4196468 140724976399104 140257702185232 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3278] ppid=3220 vsize=10844916 memory=1221772 CPUtime=13.31 cores=4-7 /proc/3223/task/3278/stat : 3278 (java) S 3220 3223 31157 0 -1 1077944384 13084 13055 0 0 1272 51 5 3 20 0 15 0 405837952 11105193984 305443 33554432000 4194304 4196468 140724976399104 140257601075600 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3279] ppid=3220 vsize=10844916 memory=1221772 CPUtime=13.34 cores=4-7 /proc/3223/task/3279/stat : 3279 (java) S 3220 3223 31157 0 -1 1077944384 12935 13055 0 0 1272 54 5 3 20 0 15 0 405837952 11105193984 305443 33554432000 4194304 4196468 140724976399104 140257600023056 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3280] ppid=3220 vsize=10844916 memory=1221772 CPUtime=13.35 cores=4-7 /proc/3223/task/3280/stat : 3280 (java) S 3220 3223 31157 0 -1 1077944384 10961 13055 0 0 1275 52 5 3 20 0 15 0 405837952 11105193984 305443 33554432000 4194304 4196468 140724976399104 140257598970512 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3281] ppid=3220 vsize=10844916 memory=1221772 CPUtime=10.29 cores=4-7 /proc/3223/task/3281/stat : 3281 (java) S 3220 3223 31157 0 -1 1077944384 15931 13055 0 0 958 63 5 3 20 0 15 0 405837953 11105193984 305443 33554432000 4194304 4196468 140724976399104 140257156422128 140257697954434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3282] ppid=3220 vsize=10844916 memory=1221772 CPUtime=0.08 cores=4-7 /proc/3223/task/3282/stat : 3282 (java) S 3220 3223 31157 0 -1 1077944384 16 13055 0 0 0 0 5 3 20 0 15 0 405837954 11105193984 305443 33554432000 4194304 4196468 140724976399104 140256586229280 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3283] ppid=3220 vsize=10844916 memory=1221772 CPUtime=0.08 cores=4-7 /proc/3223/task/3283/stat : 3283 (java) S 3220 3223 31157 0 -1 1077944384 4 13055 0 0 0 0 5 3 20 0 15 0 405837954 11105193984 305443 33554432000 4194304 4196468 140724976399104 140256452011520 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3284] ppid=3220 vsize=10844916 memory=1221772 CPUtime=0.08 cores=4-7 /proc/3223/task/3284/stat : 3284 (java) S 3220 3223 31157 0 -1 1077944384 3 13055 0 0 0 0 5 3 20 0 15 0 405837957 11105193984 305443 33554432000 4194304 4196468 140724976399104 140256211720912 140257697961883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3285] ppid=3220 vsize=10844916 memory=1221772 CPUtime=4.36 cores=4-7 /proc/3223/task/3285/stat : 3285 (java) S 3220 3223 31157 0 -1 1077944384 16760 13055 0 0 424 4 5 3 20 0 15 0 405837957 11105193984 305443 33554432000 4194304 4196468 140724976399104 140257155368944 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3286] ppid=3220 vsize=10844916 memory=1221764 CPUtime=4.49 cores=4-7 /proc/3223/task/3286/stat : 3286 (java) S 3220 3223 31157 0 -1 1077944384 21194 13055 0 0 435 6 5 3 20 0 15 0 405837957 11105193984 305443 33554432000 4194304 4196468 140724976399104 140257154316400 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3287] ppid=3220 vsize=10844916 memory=1221764 CPUtime=3.59 cores=4-7 /proc/3223/task/3287/stat : 3287 (java) S 3220 3223 31157 0 -1 1077944384 15441 13055 0 0 345 6 5 3 20 0 15 0 405837957 11105193984 305443 33554432000 4194304 4196468 140724976399104 140257153263856 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3288] ppid=3220 vsize=10844916 memory=8112282956445269571 CPUtime=0.08 cores=4-7 /proc/3223/task/3288/stat : 3288 (java) S 3220 3223 31157 0 -1 1077944384 3 13055 0 0 0 0 5 3 20 0 15 0 405837957 11105193984 305443 33554432000 4194304 4196468 140724976399104 140256178162272 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3289] ppid=3220 vsize=10844916 memory=288288874495747654 CPUtime=1.48 cores=4-7 /proc/3223/task/3289/stat : 3289 (java) S 3220 3223 31157 0 -1 1077944384 1342 13055 0 0 63 77 5 3 20 0 15 0 405837958 11105193984 305443 33554432000 4194304 4196468 140724976399104 140257152211760 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 Current children cumulated CPU time: 2520.01 s Current children cumulated vsize: 10844916 KiB Current children cumulated memory: 1221772 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2469.33 s] # the end of solver process 3223 was just reported to runsolver # cumulated CPU time of all completed processes: user=2516.3 s, system=3.76317 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2469.3 s] /proc/loadavg: 1.14 1.25 1.30 3/227 3687 /proc/meminfo: memFree=22132248/32770688 swapFree=66960432/67108860 [pid=3223] ppid=3220 vsize=10844916 memory=1221772 CPUtime=2520.01 cores=4-7 /proc/3223/stat : 3223 (java) S 3220 3223 31157 0 -1 1077944320 192388 13055 0 0 251621 372 5 3 20 0 15 0 405837942 11105193984 305443 33554432000 4194304 4196468 140724976399104 140724976381648 140257697943287 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 /proc/3223/statm: 2711229 305443 3620 1 0 2673293 0 [pid=3223/tid=3276] ppid=3220 vsize=10844916 memory=1221772 CPUtime=2443.08 cores=4-7 /proc/3223/task/3276/stat : 3276 (java) R 3220 3223 31157 0 -1 4202560 64945 13055 0 0 244245 55 5 3 20 0 15 0 405837951 11105193984 305443 33554432000 4194304 4196468 140724976399104 140257669779136 140257275258315 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3277] ppid=3220 vsize=10844916 memory=1221772 CPUtime=13.35 cores=4-7 /proc/3223/task/3277/stat : 3277 (java) S 3220 3223 31157 0 -1 1077944384 17563 13055 0 0 1273 54 5 3 20 0 15 0 405837952 11105193984 305443 33554432000 4194304 4196468 140724976399104 140257702185232 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3278] ppid=3220 vsize=10844916 memory=1221772 CPUtime=13.31 cores=4-7 /proc/3223/task/3278/stat : 3278 (java) S 3220 3223 31157 0 -1 1077944384 13084 13055 0 0 1272 51 5 3 20 0 15 0 405837952 11105193984 305443 33554432000 4194304 4196468 140724976399104 140257601075600 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3279] ppid=3220 vsize=10844916 memory=1221772 CPUtime=13.34 cores=4-7 /proc/3223/task/3279/stat : 3279 (java) S 3220 3223 31157 0 -1 1077944384 12935 13055 0 0 1272 54 5 3 20 0 15 0 405837952 11105193984 305443 33554432000 4194304 4196468 140724976399104 140257600023056 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3280] ppid=3220 vsize=10844916 memory=1221772 CPUtime=13.35 cores=4-7 /proc/3223/task/3280/stat : 3280 (java) S 3220 3223 31157 0 -1 1077944384 10961 13055 0 0 1275 52 5 3 20 0 15 0 405837952 11105193984 305443 33554432000 4194304 4196468 140724976399104 140257598970512 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3281] ppid=3220 vsize=10844916 memory=1221772 CPUtime=10.29 cores=4-7 /proc/3223/task/3281/stat : 3281 (java) S 3220 3223 31157 0 -1 1077944384 15931 13055 0 0 958 63 5 3 20 0 15 0 405837953 11105193984 305443 33554432000 4194304 4196468 140724976399104 140257156422128 140257697954434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3282] ppid=3220 vsize=10844916 memory=1221772 CPUtime=0.08 cores=4-7 /proc/3223/task/3282/stat : 3282 (java) S 3220 3223 31157 0 -1 1077944384 16 13055 0 0 0 0 5 3 20 0 15 0 405837954 11105193984 305443 33554432000 4194304 4196468 140724976399104 140256586229280 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3283] ppid=3220 vsize=10844916 memory=1221772 CPUtime=0.08 cores=4-7 /proc/3223/task/3283/stat : 3283 (java) S 3220 3223 31157 0 -1 1077944384 4 13055 0 0 0 0 5 3 20 0 15 0 405837954 11105193984 305443 33554432000 4194304 4196468 140724976399104 140256452011520 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3284] ppid=3220 vsize=10844916 memory=1221772 CPUtime=0.08 cores=4-7 /proc/3223/task/3284/stat : 3284 (java) S 3220 3223 31157 0 -1 1077944384 3 13055 0 0 0 0 5 3 20 0 15 0 405837957 11105193984 305443 33554432000 4194304 4196468 140724976399104 140256211720912 140257697961883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3285] ppid=3220 vsize=10844916 memory=1221772 CPUtime=4.36 cores=4-7 /proc/3223/task/3285/stat : 3285 (java) S 3220 3223 31157 0 -1 1077944384 16760 13055 0 0 424 4 5 3 20 0 15 0 405837957 11105193984 305443 33554432000 4194304 4196468 140724976399104 140257155368944 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3286] ppid=3220 vsize=10844916 memory=1221764 CPUtime=4.49 cores=4-7 /proc/3223/task/3286/stat : 3286 (java) S 3220 3223 31157 0 -1 1077944384 21194 13055 0 0 435 6 5 3 20 0 15 0 405837957 11105193984 305443 33554432000 4194304 4196468 140724976399104 140257154316400 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3287] ppid=3220 vsize=10844916 memory=1221764 CPUtime=3.59 cores=4-7 /proc/3223/task/3287/stat : 3287 (java) S 3220 3223 31157 0 -1 1077944384 15441 13055 0 0 345 6 5 3 20 0 15 0 405837957 11105193984 305443 33554432000 4194304 4196468 140724976399104 140257153263856 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3288] ppid=3220 vsize=10844916 memory=8112282956445269571 CPUtime=0.08 cores=4-7 /proc/3223/task/3288/stat : 3288 (java) S 3220 3223 31157 0 -1 1077944384 3 13055 0 0 0 0 5 3 20 0 15 0 405837957 11105193984 305443 33554432000 4194304 4196468 140724976399104 140256178162272 140257697953493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 [pid=3223/tid=3289] ppid=3220 vsize=10844916 memory=288288874495747654 CPUtime=1.48 cores=4-7 /proc/3223/task/3289/stat : 3289 (java) S 3220 3223 31157 0 -1 1077944384 1342 13055 0 0 63 77 5 3 20 0 15 0 405837958 11105193984 305443 33554432000 4194304 4196468 140724976399104 140257152211760 140257697954434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140724976405238 140724976407749 140724976407749 140724976410575 0 Current children cumulated CPU time: 2520.01 s Current children cumulated vsize: 10844916 KiB Current children cumulated memory: 1221772 KiB Child status: 143 Real time (s): 2469.33 CPU time (s): 2520.06 CPU user time (s): 2516.3 CPU system time (s): 3.76317 CPU usage (%): 102.054 Max. virtual memory (cumulated for all children) (KiB): 10847672 Max. memory (cumulated for all children) (KiB): 1328100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2516.3 system time used= 3.76317 maximum resident set size= 1330148 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 206616 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2848 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 277564 involuntary context switches= 6458 # summary of solver processes directly reported to runsolver: # pid: 3223 # total CPU time (s): 2520.06 # total CPU user time (s): 2516.3 # total CPU system time (s): 3.76317 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 15.4237 second user time and 27.0715 second system time The end
Begin job on node116 at 2019-09-12 16:35:22 IDJOB=4387328 IDBENCH=134517 IDSOLVER=2823 FILE ID=node116/4387328-1568298962 RUNJOBID= node116-1568285921-31917 PBS_JOBID= 21701086 Free space on /tmp= 54296 MiB SOLVER NAME= Concrete 3.10 BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s13/Blackhole-4-13-2_X2.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387328-1568298962/watcher-4387328-1568298962 -o /tmp/evaluation-result-4387328-1568298962/solver-4387328-1568298962 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568285921-31917 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=952230558 HOME/instance-4387328-1568298962.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 88708c27ba26ffc45c437651276dcd59 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: 23634596 kB MemAvailable: 31174836 kB Buffers: 104404 kB Cached: 7648388 kB SwapCached: 46356 kB Active: 2074836 kB Inactive: 6369140 kB Active(anon): 655180 kB Inactive(anon): 76696 kB Active(file): 1419656 kB Inactive(file): 6292444 kB Unevictable: 110104 kB Mlocked: 110104 kB SwapTotal: 67108860 kB SwapFree: 66960428 kB Dirty: 35712 kB Writeback: 4 kB AnonPages: 756260 kB Mapped: 55132 kB Shmem: 31812 kB Slab: 285528 kB SReclaimable: 256600 kB SUnreclaim: 28928 kB KernelStack: 3776 kB PageTables: 7016 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 1901836 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 593920 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 54260 MiB End job on node116 at 2019-09-12 17:16:31