Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Concrete 3.12.2 | ? (TO) | 2520.11 | 2457.33 |
Name | MagicHexagon/MagicHexagon-m1-s1/ MagicHexagon-07-0080.xml |
MD5SUM | 9b203975fed1c25a0b87c4f345706814 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 139.896 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 169 |
Number of constraints | 46 |
Number of domains | 1 |
Minimum domain size | 127 |
Maximum domain size | 127 |
Distribution of domain sizes | [{"size":127,"count":127}] |
Minimum variable degree | 0 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":0,"count":42},{"degree":4,"count":121},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 127 |
Distribution of constraint arities | [{"arity":2,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":3},{"arity":127,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 6 |
Distribution of constraint types | [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":39}] |
Optimization problem | NO |
Type of objective |
0.89/0.62 c Concrete v3.12.2.1568631193530 running 2520.04/2457.31 Exception in thread "main" java.util.concurrent.TimeoutException 2520.04/2457.31 at concrete.MAC.mac(MAC.scala:192) 2520.04/2457.31 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265) 2520.04/2457.31 at scala.util.Try$.apply(Try.scala:212) 2520.04/2457.31 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2520.04/2457.31 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2520.04/2457.31 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2520.04/2457.31 at concrete.MAC.oneRun(MAC.scala:265) 2520.04/2457.31 at concrete.MAC.nextSolution(MAC.scala:284) 2520.04/2457.31 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:350) 2520.04/2457.31 at concrete.ProblemState.map(ProblemState.scala:238) 2520.04/2457.31 at concrete.ProblemState.map(ProblemState.scala:212) 2520.04/2457.31 at concrete.MAC.nextSolution(MAC.scala:348) 2520.04/2457.31 at concrete.Solver.hasNext(Solver.scala:160) 2520.04/2457.31 at scala.collection.Iterator.nextOption(Iterator.scala:104) 2520.04/2457.31 at scala.collection.Iterator.nextOption$(Iterator.scala:104) 2520.04/2457.31 at concrete.Solver.nextOption(Solver.scala:67) 2520.04/2457.31 at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:78) 2520.04/2457.31 at scala.util.Success.map(Try.scala:264) 2520.04/2457.31 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.04/2457.31 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2520.04/2457.31 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.04/2457.31 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.04/2457.31 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.04/2457.31 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2520.04/2457.31 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2520.04/2457.31 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2520.04/2457.31 at scala.App.$anonfun$main$1(App.scala:75) 2520.04/2457.31 at scala.App.$anonfun$main$1$adapted(App.scala:75) 2520.04/2457.31 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2520.04/2457.31 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2520.04/2457.31 at scala.collection.AbstractIterable.foreach(Iterable.scala:904) 2520.04/2457.31 at scala.App.main(App.scala:75) 2520.04/2457.31 at scala.App.main$(App.scala:73) 2520.04/2457.31 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.04/2457.31 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.04/2457.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 (14224 MiB free) memory of node 1: 16384 MiB (13867 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400849-1568685824/watcher-4400849-1568685824 -o /tmp/evaluation-result-4400849-1568685824/solver-4400849-1568685824 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324187754-10365 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1545093772 HOME/instance-4400849-1568685824.xml running on 4 cores: 0-3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=13659, runsolver pid=13656 [startup+0.100116 s]* /proc/loadavg: 1.27 1.34 1.44 4/214 13712 /proc/meminfo: memFree=28764056/32770688 swapFree=66919992/67108860 [pid=13659] ppid=13656 vsize=9970504 memory=13388 CPUtime=0.08 cores=0-3 /proc/13659/stat : 13659 (java) S 13656 13659 10334 0 -1 1077944320 3598 13370 0 0 0 0 6 2 20 0 6 0 444588679 10209796096 3347 33554432000 4194304 4196468 140730414110240 140730414092784 139656330387191 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 /proc/13659/statm: 2492626 3347 1338 1 0 2481537 0 [pid=13659/tid=13712] ppid=13656 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=0-3 /proc/13659/task/13712/stat : 13712 (java) R 13656 13659 10334 0 -1 4202560 1517 13370 0 0 0 0 6 2 20 0 6 0 444588689 10212057088 3477 33554432000 4194304 4196468 140730414110240 139656302223952 139656253464438 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13713] ppid=13656 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0-3 /proc/13659/task/13713/stat : 13713 (java) S 13656 13659 10334 0 -1 1077944384 1 13370 0 0 0 0 6 2 20 0 6 0 444588690 10212057088 3477 33554432000 4194304 4196468 140730414110240 139656334629648 139656330397397 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13714] ppid=13656 vsize=9972712 memory=140508137526912 CPUtime=0.08 cores=0-3 /proc/13659/task/13714/stat : 13714 (java) S 13656 13659 10334 0 -1 1077944384 1 13370 0 0 0 0 6 2 20 0 6 0 444588690 10212057088 3477 33554432000 4194304 4196468 140730414110240 139656233520016 139656330397397 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13715] ppid=13656 vsize=9972712 memory=0 CPUtime=0.08 cores=0-3 /proc/13659/task/13715/stat : 13715 (java) S 13656 13659 10334 0 -1 1077944384 2 13370 0 0 0 0 6 2 20 0 6 0 444588690 10212057088 3477 33554432000 4194304 4196468 140730414110240 139656232467472 139656330397397 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13716] ppid=13656 vsize=9972712 memory=-1 CPUtime=0.08 cores=0-3 /proc/13659/task/13716/stat : 13716 (java) S 13656 13659 10334 0 -1 1077944384 1 13370 0 0 0 0 6 2 20 0 6 0 444588690 10212057088 3477 33554432000 4194304 4196468 140730414110240 139656231414928 139656330397397 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 Current children cumulated CPU time: 0.08 s Current children cumulated vsize: 9970504 KiB Current children cumulated memory: 13388 KiB [startup+0.211078 s]* /proc/loadavg: 1.27 1.34 1.44 4/227 13725 /proc/meminfo: memFree=28740044/32770688 swapFree=66919992/67108860 [pid=13659] ppid=13656 vsize=10819712 memory=39072 CPUtime=0.25 cores=0-3 /proc/13659/stat : 13659 (java) S 13656 13659 10334 0 -1 1077944320 7149 13370 0 0 16 1 6 2 20 0 15 0 444588679 11079385088 9768 33554432000 4194304 4196468 140730414110240 140730414092784 139656330387191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 /proc/13659/statm: 2704928 9768 3153 1 0 2667149 0 [pid=13659/tid=13712] ppid=13656 vsize=10819712 memory=7022364594140610616 CPUtime=0.18 cores=0-3 /proc/13659/task/13712/stat : 13712 (java) R 13656 13659 10334 0 -1 4202560 3654 13370 0 0 10 0 6 2 20 0 15 0 444588689 11079385088 9768 33554432000 4194304 4196468 140730414110240 139656302190152 139656253430328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13713] ppid=13656 vsize=10819712 memory=364 CPUtime=0.08 cores=0-3 /proc/13659/task/13713/stat : 13713 (java) S 13656 13659 10334 0 -1 1077944384 1 13370 0 0 0 0 6 2 20 0 15 0 444588690 11079385088 9768 33554432000 4194304 4196468 140730414110240 139656334629648 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13714] ppid=13656 vsize=10819712 memory=3474443535852508832 CPUtime=0.08 cores=0-3 /proc/13659/task/13714/stat : 13714 (java) S 13656 13659 10334 0 -1 1077944384 1 13370 0 0 0 0 6 2 20 0 15 0 444588690 11079385088 9768 33554432000 4194304 4196468 140730414110240 139656233520016 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13715] ppid=13656 vsize=10819712 memory=0 CPUtime=0.08 cores=0-3 /proc/13659/task/13715/stat : 13715 (java) S 13656 13659 10334 0 -1 1077944384 2 13370 0 0 0 0 6 2 20 0 15 0 444588690 11079385088 9768 33554432000 4194304 4196468 140730414110240 139656232467472 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13716] ppid=13656 vsize=10819712 memory=-1 CPUtime=0.08 cores=0-3 /proc/13659/task/13716/stat : 13716 (java) S 13656 13659 10334 0 -1 1077944384 1 13370 0 0 0 0 6 2 20 0 15 0 444588690 11079385088 9768 33554432000 4194304 4196468 140730414110240 139656231414928 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13717] ppid=13656 vsize=10819712 memory=140508137526912 CPUtime=0.08 cores=0-3 /proc/13659/task/13717/stat : 13717 (java) S 13656 13659 10334 0 -1 1077944384 2 13370 0 0 0 0 6 2 20 0 15 0 444588692 11079385088 9768 33554432000 4194304 4196468 140730414110240 139655789680624 139656330398338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13718] ppid=13656 vsize=10819712 memory=-1 CPUtime=0.08 cores=0-3 /proc/13659/task/13718/stat : 13718 (java) S 13656 13659 10334 0 -1 1077944384 13 13370 0 0 0 0 6 2 20 0 15 0 444588692 11079385088 9768 33554432000 4194304 4196468 140730414110240 139655223698336 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13719] ppid=13656 vsize=10819712 memory=0 CPUtime=0.08 cores=0-3 /proc/13659/task/13719/stat : 13719 (java) S 13656 13659 10334 0 -1 1077944384 1 13370 0 0 0 0 6 2 20 0 15 0 444588692 11079385088 9768 33554432000 4194304 4196468 140730414110240 139655089480688 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13720] ppid=13656 vsize=10819712 memory=0 CPUtime=0.08 cores=0-3 /proc/13659/task/13720/stat : 13720 (java) S 13656 13659 10334 0 -1 1077944384 3 13370 0 0 0 0 6 2 20 0 15 0 444588695 11079385088 9768 33554432000 4194304 4196468 140730414110240 139654849190096 139656330405787 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13721] ppid=13656 vsize=10819712 memory=0 CPUtime=0.09 cores=0-3 /proc/13659/task/13721/stat : 13721 (java) S 13656 13659 10334 0 -1 1077944384 587 13370 0 0 1 0 6 2 20 0 15 0 444588696 11079385088 9768 33554432000 4194304 4196468 140730414110240 139655788628464 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13722] ppid=13656 vsize=10819712 memory=-1 CPUtime=0.08 cores=0-3 /proc/13659/task/13722/stat : 13722 (java) S 13656 13659 10334 0 -1 1077944384 61 13370 0 0 0 0 6 2 20 0 15 0 444588696 11079385088 9768 33554432000 4194304 4196468 140730414110240 139655787575920 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13723] ppid=13656 vsize=10819712 memory=140508137526912 CPUtime=0.11 cores=0-3 /proc/13659/task/13723/stat : 13723 (java) R 13656 13659 10334 0 -1 4202560 611 13370 0 0 3 0 6 2 20 0 15 0 444588696 11079385088 9768 33554432000 4194304 4196468 140730414110240 139655786523376 139656308378646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13724] ppid=13656 vsize=10819712 memory=-1 CPUtime=0.08 cores=0-3 /proc/13659/task/13724/stat : 13724 (java) S 13656 13659 10334 0 -1 1077944384 3 13370 0 0 0 0 6 2 20 0 15 0 444588696 11079385088 9768 33554432000 4194304 4196468 140730414110240 139654815632480 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13725] ppid=13656 vsize=10819712 memory=140508137526912 CPUtime=0.08 cores=0-3 /proc/13659/task/13725/stat : 13725 (java) S 13656 13659 10334 0 -1 1077944384 1 13370 0 0 0 0 6 2 20 0 15 0 444588696 11079385088 9768 33554432000 4194304 4196468 140730414110240 139655785470256 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 10819712 KiB Current children cumulated memory: 39072 KiB [startup+0.311554 s]* /proc/loadavg: 1.27 1.34 1.44 3/227 13725 /proc/meminfo: memFree=28729096/32770688 swapFree=66919992/67108860 [pid=13659] ppid=13656 vsize=10820196 memory=50228 CPUtime=0.4 cores=0-3 /proc/13659/stat : 13659 (java) S 13656 13659 10334 0 -1 1077944320 10466 13370 0 0 29 3 6 2 20 0 15 0 444588679 11079880704 12557 33554432000 4194304 4196468 140730414110240 140730414092784 139656330387191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 /proc/13659/statm: 2705305 12557 3306 1 0 2667405 0 [pid=13659/tid=13712] ppid=13656 vsize=10821220 memory=1398722017469774279 CPUtime=0.29 cores=0-3 /proc/13659/task/13712/stat : 13712 (java) R 13656 13659 10334 0 -1 4202560 7084 13370 0 0 19 2 6 2 20 0 15 0 444588689 11080929280 12557 33554432000 4194304 4196468 140730414110240 139656302192160 139656323066909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13713] ppid=13656 vsize=10821220 memory=0 CPUtime=0.08 cores=0-3 /proc/13659/task/13713/stat : 13713 (java) S 13656 13659 10334 0 -1 1077944384 1 13370 0 0 0 0 6 2 20 0 15 0 444588690 11080929280 12557 33554432000 4194304 4196468 140730414110240 139656334629648 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13714] ppid=13656 vsize=10820196 memory=0 CPUtime=0.08 cores=0-3 /proc/13659/task/13714/stat : 13714 (java) S 13656 13659 10334 0 -1 1077944384 1 13370 0 0 0 0 6 2 20 0 15 0 444588690 11079880704 12557 33554432000 4194304 4196468 140730414110240 139656233520016 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13715] ppid=13656 vsize=10820196 memory=0 CPUtime=0.08 cores=0-3 /proc/13659/task/13715/stat : 13715 (java) S 13656 13659 10334 0 -1 1077944384 2 13370 0 0 0 0 6 2 20 0 15 0 444588690 11079880704 12557 33554432000 4194304 4196468 140730414110240 139656232467472 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13716] ppid=13656 vsize=10820196 memory=0 CPUtime=0.08 cores=0-3 /proc/13659/task/13716/stat : 13716 (java) S 13656 13659 10334 0 -1 1077944384 1 13370 0 0 0 0 6 2 20 0 15 0 444588690 11079880704 12557 33554432000 4194304 4196468 140730414110240 139656231414928 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13717] ppid=13656 vsize=10820196 memory=0 CPUtime=0.08 cores=0-3 /proc/13659/task/13717/stat : 13717 (java) S 13656 13659 10334 0 -1 1077944384 2 13370 0 0 0 0 6 2 20 0 15 0 444588692 11079880704 12557 33554432000 4194304 4196468 140730414110240 139655789680624 139656330398338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13718] ppid=13656 vsize=10820196 memory=-1 CPUtime=0.08 cores=0-3 /proc/13659/task/13718/stat : 13718 (java) S 13656 13659 10334 0 -1 1077944384 13 13370 0 0 0 0 6 2 20 0 15 0 444588692 11079880704 12557 33554432000 4194304 4196468 140730414110240 139655223698336 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13719] ppid=13656 vsize=10820196 memory=0 CPUtime=0.08 cores=0-3 /proc/13659/task/13719/stat : 13719 (java) S 13656 13659 10334 0 -1 1077944384 1 13370 0 0 0 0 6 2 20 0 15 0 444588692 11079880704 12557 33554432000 4194304 4196468 140730414110240 139655089480688 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13720] ppid=13656 vsize=10820196 memory=0 CPUtime=0.08 cores=0-3 /proc/13659/task/13720/stat : 13720 (java) S 13656 13659 10334 0 -1 1077944384 3 13370 0 0 0 0 6 2 20 0 15 0 444588695 11079880704 12557 33554432000 4194304 4196468 140730414110240 139654849190096 139656330405787 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13721] ppid=13656 vsize=10820196 memory=0 CPUtime=0.1 cores=0-3 /proc/13659/task/13721/stat : 13721 (java) S 13656 13659 10334 0 -1 1077944384 587 13370 0 0 2 0 6 2 20 0 15 0 444588696 11079880704 12557 33554432000 4194304 4196468 140730414110240 139655788628464 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13722] ppid=13656 vsize=10820196 memory=-1 CPUtime=0.09 cores=0-3 /proc/13659/task/13722/stat : 13722 (java) S 13656 13659 10334 0 -1 1077944384 71 13370 0 0 1 0 6 2 20 0 15 0 444588696 11079880704 12557 33554432000 4194304 4196468 140730414110240 139655787575920 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13723] ppid=13656 vsize=10820196 memory=140508137526912 CPUtime=0.13 cores=0-3 /proc/13659/task/13723/stat : 13723 (java) S 13656 13659 10334 0 -1 1077944384 623 13370 0 0 5 0 6 2 20 0 15 0 444588696 11079880704 12557 33554432000 4194304 4196468 140730414110240 139655786523376 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13724] ppid=13656 vsize=10820196 memory=-1 CPUtime=0.08 cores=0-3 /proc/13659/task/13724/stat : 13724 (java) S 13656 13659 10334 0 -1 1077944384 3 13370 0 0 0 0 6 2 20 0 15 0 444588696 11079880704 12557 33554432000 4194304 4196468 140730414110240 139654815632480 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13725] ppid=13656 vsize=10820196 memory=140508137526912 CPUtime=0.08 cores=0-3 /proc/13659/task/13725/stat : 13725 (java) S 13656 13659 10334 0 -1 1077944384 1 13370 0 0 0 0 6 2 20 0 15 0 444588696 11079880704 12557 33554432000 4194304 4196468 140730414110240 139655785470256 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 Current children cumulated CPU time: 0.4 s Current children cumulated vsize: 10820196 KiB Current children cumulated memory: 50228 KiB [startup+0.70671 s] /proc/loadavg: 1.27 1.34 1.44 3/227 13725 /proc/meminfo: memFree=28715932/32770688 swapFree=66919992/67108860 [pid=13659] ppid=13656 vsize=10822316 memory=77100 CPUtime=1.07 cores=0-3 /proc/13659/stat : 13659 (java) S 13656 13659 10334 0 -1 1077944320 14534 13370 0 0 94 5 6 2 20 0 15 0 444588679 11082051584 19275 33554432000 4194304 4196468 140730414110240 140730414092784 139656330387191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 /proc/13659/statm: 2705579 19275 3499 1 0 2667661 0 [pid=13659/tid=13712] ppid=13656 vsize=10822316 memory=0 CPUtime=0.66 cores=0-3 /proc/13659/task/13712/stat : 13712 (java) R 13656 13659 10334 0 -1 4202560 10029 13370 0 0 54 4 6 2 20 0 15 0 444588689 11082051584 19275 33554432000 4194304 4196468 140730414110240 139656302202880 139656314467678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13713] ppid=13656 vsize=10822316 memory=0 CPUtime=0.08 cores=0-3 /proc/13659/task/13713/stat : 13713 (java) S 13656 13659 10334 0 -1 1077944384 1 13370 0 0 0 0 6 2 20 0 15 0 444588690 11082051584 19275 33554432000 4194304 4196468 140730414110240 139656334629648 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13714] ppid=13656 vsize=10822316 memory=0 CPUtime=0.08 cores=0-3 /proc/13659/task/13714/stat : 13714 (java) S 13656 13659 10334 0 -1 1077944384 1 13370 0 0 0 0 6 2 20 0 15 0 444588690 11082051584 19275 33554432000 4194304 4196468 140730414110240 139656233520016 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13715] ppid=13656 vsize=10822316 memory=281015952352192 CPUtime=0.08 cores=0-3 /proc/13659/task/13715/stat : 13715 (java) S 13656 13659 10334 0 -1 1077944384 2 13370 0 0 0 0 6 2 20 0 15 0 444588690 11082051584 19275 33554432000 4194304 4196468 140730414110240 139656232467472 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13716] ppid=13656 vsize=10822316 memory=60840627669481 CPUtime=0.08 cores=0-3 /proc/13659/task/13716/stat : 13716 (java) S 13656 13659 10334 0 -1 1077944384 1 13370 0 0 0 0 6 2 20 0 15 0 444588690 11082051584 19275 33554432000 4194304 4196468 140730414110240 139656231414928 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13717] ppid=13656 vsize=10822316 memory=11524543122 CPUtime=0.08 cores=0-3 /proc/13659/task/13717/stat : 13717 (java) S 13656 13659 10334 0 -1 1077944384 6 13370 0 0 0 0 6 2 20 0 15 0 444588692 11082051584 19275 33554432000 4194304 4196468 140730414110240 139655789680624 139656330398338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13718] ppid=13656 vsize=10822316 memory=68 CPUtime=0.08 cores=0-3 /proc/13659/task/13718/stat : 13718 (java) S 13656 13659 10334 0 -1 1077944384 13 13370 0 0 0 0 6 2 20 0 15 0 444588692 11082051584 19275 33554432000 4194304 4196468 140730414110240 139655223698336 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13719] ppid=13656 vsize=10822316 memory=0 CPUtime=0.08 cores=0-3 /proc/13659/task/13719/stat : 13719 (java) S 13656 13659 10334 0 -1 1077944384 1 13370 0 0 0 0 6 2 20 0 15 0 444588692 11082051584 19275 33554432000 4194304 4196468 140730414110240 139655089480688 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13720] ppid=13656 vsize=10822316 memory=0 CPUtime=0.08 cores=0-3 /proc/13659/task/13720/stat : 13720 (java) S 13656 13659 10334 0 -1 1077944384 3 13370 0 0 0 0 6 2 20 0 15 0 444588695 11082051584 19275 33554432000 4194304 4196468 140730414110240 139654849190096 139656330405787 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13721] ppid=13656 vsize=10822316 memory=0 CPUtime=0.17 cores=0-3 /proc/13659/task/13721/stat : 13721 (java) R 13656 13659 10334 0 -1 4202560 961 13370 0 0 9 0 6 2 20 0 15 0 444588696 11082051584 19275 33554432000 4194304 4196468 140730414110240 139655788615488 139656310040864 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13722] ppid=13656 vsize=10822316 memory=0 CPUtime=0.2 cores=0-3 /proc/13659/task/13722/stat : 13722 (java) R 13656 13659 10334 0 -1 4202560 481 13370 0 0 12 0 6 2 20 0 15 0 444588696 11082051584 19275 33554432000 4194304 4196468 140730414110240 139655787563360 139656314356901 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13723] ppid=13656 vsize=10822316 memory=0 CPUtime=0.25 cores=0-3 /proc/13659/task/13723/stat : 13723 (java) S 13656 13659 10334 0 -1 1077944384 823 13370 0 0 17 0 6 2 20 0 15 0 444588696 11082051584 19275 33554432000 4194304 4196468 140730414110240 139655786523376 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13724] ppid=13656 vsize=10822316 memory=0 CPUtime=0.08 cores=0-3 /proc/13659/task/13724/stat : 13724 (java) S 13656 13659 10334 0 -1 1077944384 3 13370 0 0 0 0 6 2 20 0 15 0 444588696 11082051584 19275 33554432000 4194304 4196468 140730414110240 139654815632480 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13725] ppid=13656 vsize=10822316 memory=0 CPUtime=0.08 cores=0-3 /proc/13659/task/13725/stat : 13725 (java) S 13656 13659 10334 0 -1 1077944384 1 13370 0 0 0 0 6 2 20 0 15 0 444588696 11082051584 19275 33554432000 4194304 4196468 140730414110240 139655785470256 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 Current children cumulated CPU time: 1.07 s Current children cumulated vsize: 10822316 KiB Current children cumulated memory: 77100 KiB [startup+1.50113 s] /proc/loadavg: 1.27 1.34 1.44 5/227 13725 /proc/meminfo: memFree=28683740/32770688 swapFree=66919992/67108860 [pid=13659] ppid=13656 vsize=10834680 memory=168812 CPUtime=2.41 cores=0-3 /proc/13659/stat : 13659 (java) S 13656 13659 10334 0 -1 1077944320 21023 13370 0 0 223 10 6 2 20 0 15 0 444588679 11094712320 42203 33554432000 4194304 4196468 140730414110240 140730414092784 139656330387191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 /proc/13659/statm: 2708670 42203 3579 1 0 2670733 0 [pid=13659/tid=13712] ppid=13656 vsize=10834680 memory=-5153075608533367657 CPUtime=1.42 cores=0-3 /proc/13659/task/13712/stat : 13712 (java) R 13656 13659 10334 0 -1 4202560 14946 13370 0 0 128 6 6 2 20 0 15 0 444588689 11094712320 42203 33554432000 4194304 4196468 140730414110240 139656302217472 139656330409117 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13713] ppid=13656 vsize=10834680 memory=-7766392255234284443 CPUtime=0.09 cores=0-3 /proc/13659/task/13713/stat : 13713 (java) S 13656 13659 10334 0 -1 1077944384 45 13370 0 0 1 0 6 2 20 0 15 0 444588690 11094712320 42203 33554432000 4194304 4196468 140730414110240 139656334629648 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13714] ppid=13656 vsize=10834680 memory=6720696446780543624 CPUtime=0.09 cores=0-3 /proc/13659/task/13714/stat : 13714 (java) S 13656 13659 10334 0 -1 1077944384 299 13370 0 0 1 0 6 2 20 0 15 0 444588690 11094712320 42203 33554432000 4194304 4196468 140730414110240 139656233520016 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13715] ppid=13656 vsize=10834680 memory=-5153075247754915967 CPUtime=0.09 cores=0-3 /proc/13659/task/13715/stat : 13715 (java) S 13656 13659 10334 0 -1 1077944384 70 13370 0 0 1 0 6 2 20 0 15 0 444588690 11094712320 42203 33554432000 4194304 4196468 140730414110240 139656232467472 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13716] ppid=13656 vsize=10834680 memory=112812 CPUtime=0.09 cores=0-3 /proc/13659/task/13716/stat : 13716 (java) S 13656 13659 10334 0 -1 1077944384 29 13370 0 0 1 0 6 2 20 0 15 0 444588690 11094712320 42203 33554432000 4194304 4196468 140730414110240 139656231414928 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13717] ppid=13656 vsize=10834680 memory=0 CPUtime=0.09 cores=0-3 /proc/13659/task/13717/stat : 13717 (java) S 13656 13659 10334 0 -1 1077944384 106 13370 0 0 1 0 6 2 20 0 15 0 444588692 11094712320 42203 33554432000 4194304 4196468 140730414110240 139655789680624 139656330398338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13718] ppid=13656 vsize=10834680 memory=0 CPUtime=0.08 cores=0-3 /proc/13659/task/13718/stat : 13718 (java) S 13656 13659 10334 0 -1 1077944384 13 13370 0 0 0 0 6 2 20 0 15 0 444588692 11094712320 42203 33554432000 4194304 4196468 140730414110240 139655223698400 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13719] ppid=13656 vsize=10834680 memory=281015952146528 CPUtime=0.08 cores=0-3 /proc/13659/task/13719/stat : 13719 (java) S 13656 13659 10334 0 -1 1077944384 2 13370 0 0 0 0 6 2 20 0 15 0 444588692 11094712320 42203 33554432000 4194304 4196468 140730414110240 139655089480704 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13720] ppid=13656 vsize=10834680 memory=281015952561568 CPUtime=0.08 cores=0-3 /proc/13659/task/13720/stat : 13720 (java) S 13656 13659 10334 0 -1 1077944384 3 13370 0 0 0 0 6 2 20 0 15 0 444588695 11094712320 42203 33554432000 4194304 4196468 140730414110240 139654849190096 139656330405787 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13721] ppid=13656 vsize=10834680 memory=140507976082976 CPUtime=0.32 cores=0-3 /proc/13659/task/13721/stat : 13721 (java) R 13656 13659 10334 0 -1 4202560 1163 13370 0 0 24 0 6 2 20 0 15 0 444588696 11094712320 42203 33554432000 4194304 4196468 140730414110240 139655788616016 139656314360192 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13722] ppid=13656 vsize=10834680 memory=0 CPUtime=0.36 cores=0-3 /proc/13659/task/13722/stat : 13722 (java) S 13656 13659 10334 0 -1 1077944384 853 13370 0 0 28 0 6 2 20 0 15 0 444588696 11094712320 42203 33554432000 4194304 4196468 140730414110240 139655787575920 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13723] ppid=13656 vsize=10834680 memory=980 CPUtime=0.43 cores=0-3 /proc/13659/task/13723/stat : 13723 (java) R 13656 13659 10334 0 -1 4202560 1280 13370 0 0 35 0 6 2 20 0 15 0 444588696 11094712320 42203 33554432000 4194304 4196468 140730414110240 139655786519104 139656330408538 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13724] ppid=13656 vsize=10834680 memory=14008 CPUtime=0.08 cores=0-3 /proc/13659/task/13724/stat : 13724 (java) S 13656 13659 10334 0 -1 1077944384 3 13370 0 0 0 0 6 2 20 0 15 0 444588696 11094712320 42203 33554432000 4194304 4196468 140730414110240 139654815632480 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13725] ppid=13656 vsize=10834680 memory=12028 CPUtime=0.08 cores=0-3 /proc/13659/task/13725/stat : 13725 (java) S 13656 13659 10334 0 -1 1077944384 1 13370 0 0 0 0 6 2 20 0 15 0 444588696 11094712320 42203 33554432000 4194304 4196468 140730414110240 139655785470256 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 Current children cumulated CPU time: 2.41 s Current children cumulated vsize: 10834680 KiB ################ # More data... # ################ /proc/13659/task/13712/stat : 13712 (java) R 13656 13659 10334 0 -1 4202560 220663 13370 0 0 235534 81 6 2 20 0 15 0 444588689 11109425152 152790 33554432000 4194304 4196468 140730414110240 139656302222080 139655924512349 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13713] ppid=13656 vsize=10849048 memory=612576 CPUtime=14.89 cores=0-3 /proc/13659/task/13713/stat : 13713 (java) S 13656 13659 10334 0 -1 1077944384 24994 13370 0 0 1430 51 6 2 20 0 15 0 444588690 11109425152 152790 33554432000 4194304 4196468 140730414110240 139656334629648 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13714] ppid=13656 vsize=10849048 memory=612620 CPUtime=14.87 cores=0-3 /proc/13659/task/13714/stat : 13714 (java) S 13656 13659 10334 0 -1 1077944384 26002 13370 0 0 1428 51 6 2 20 0 15 0 444588690 11109425152 152790 33554432000 4194304 4196468 140730414110240 139656233520016 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13715] ppid=13656 vsize=10849048 memory=612624 CPUtime=14.91 cores=0-3 /proc/13659/task/13715/stat : 13715 (java) S 13656 13659 10334 0 -1 1077944384 24443 13370 0 0 1427 56 6 2 20 0 15 0 444588690 11109425152 152790 33554432000 4194304 4196468 140730414110240 139656232467472 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13716] ppid=13656 vsize=10849048 memory=611252 CPUtime=14.87 cores=0-3 /proc/13659/task/13716/stat : 13716 (java) S 13656 13659 10334 0 -1 1077944384 25144 13370 0 0 1425 54 6 2 20 0 15 0 444588690 11109425152 152790 33554432000 4194304 4196468 140730414110240 139656231414928 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13717] ppid=13656 vsize=10849048 memory=616292 CPUtime=8.56 cores=0-3 /proc/13659/task/13717/stat : 13717 (java) S 13656 13659 10334 0 -1 1077944384 11035 13370 0 0 755 93 6 2 20 0 15 0 444588692 11109425152 152790 33554432000 4194304 4196468 140730414110240 139655789680624 139656330398338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13718] ppid=13656 vsize=10849048 memory=611672 CPUtime=0.08 cores=0-3 /proc/13659/task/13718/stat : 13718 (java) S 13656 13659 10334 0 -1 1077944384 16 13370 0 0 0 0 6 2 20 0 15 0 444588692 11109425152 152790 33554432000 4194304 4196468 140730414110240 139655223698400 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13719] ppid=13656 vsize=10849048 memory=0 CPUtime=0.08 cores=0-3 /proc/13659/task/13719/stat : 13719 (java) S 13656 13659 10334 0 -1 1077944384 6 13370 0 0 0 0 6 2 20 0 15 0 444588692 11109425152 152790 33554432000 4194304 4196468 140730414110240 139655089480704 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13720] ppid=13656 vsize=10849048 memory=928 CPUtime=0.08 cores=0-3 /proc/13659/task/13720/stat : 13720 (java) S 13656 13659 10334 0 -1 1077944384 3 13370 0 0 0 0 6 2 20 0 15 0 444588695 11109425152 152790 33554432000 4194304 4196468 140730414110240 139654849190096 139656330405787 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13721] ppid=13656 vsize=10849048 memory=281015953962560 CPUtime=6.59 cores=0-3 /proc/13659/task/13721/stat : 13721 (java) S 13656 13659 10334 0 -1 1077944384 32391 13370 0 0 643 8 6 2 20 0 15 0 444588696 11109425152 152790 33554432000 4194304 4196468 140730414110240 139655788628464 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13722] ppid=13656 vsize=10849048 memory=617828 CPUtime=5.83 cores=0-3 /proc/13659/task/13722/stat : 13722 (java) S 13656 13659 10334 0 -1 1077944384 25495 13370 0 0 567 8 6 2 20 0 15 0 444588696 11109425152 152790 33554432000 4194304 4196468 140730414110240 139655787575920 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13723] ppid=13656 vsize=10849048 memory=800 CPUtime=5.91 cores=0-3 /proc/13659/task/13723/stat : 13723 (java) S 13656 13659 10334 0 -1 1077944384 35173 13370 0 0 574 9 6 2 20 0 15 0 444588696 11109425152 152790 33554432000 4194304 4196468 140730414110240 139655786523376 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13724] ppid=13656 vsize=10849048 memory=1804 CPUtime=0.08 cores=0-3 /proc/13659/task/13724/stat : 13724 (java) S 13656 13659 10334 0 -1 1077944384 3 13370 0 0 0 0 6 2 20 0 15 0 444588696 11109425152 152790 33554432000 4194304 4196468 140730414110240 139654815632480 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13725] ppid=13656 vsize=10849048 memory=612188 CPUtime=1.4 cores=0-3 /proc/13659/task/13725/stat : 13725 (java) S 13656 13659 10334 0 -1 1077944384 1305 13370 0 0 68 64 6 2 20 0 15 0 444588696 11109425152 152790 33554432000 4194304 4196468 140730414110240 139655785470256 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 Current children cumulated CPU time: 2443.45 s Current children cumulated vsize: 10849048 KiB Current children cumulated memory: 611160 KiB [startup+2442.31 s] /proc/loadavg: 1.41 1.45 1.38 3/228 14102 /proc/meminfo: memFree=27528736/32770688 swapFree=66919992/67108860 [pid=13659] ppid=13656 vsize=10849048 memory=652500 CPUtime=2504.75 cores=0-3 /proc/13659/stat : 13659 (java) S 13656 13659 10334 0 -1 1077944320 439475 13370 0 0 250026 441 6 2 20 0 15 0 444588679 11109425152 163125 33554432000 4194304 4196468 140730414110240 140730414092784 139656330387191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 /proc/13659/statm: 2712262 163125 3640 1 0 2674317 0 [pid=13659/tid=13712] ppid=13656 vsize=10849048 memory=660 CPUtime=2415.53 cores=0-3 /proc/13659/task/13712/stat : 13712 (java) R 13656 13659 10334 0 -1 4202560 227565 13370 0 0 241463 82 6 2 20 0 15 0 444588689 11109425152 163125 33554432000 4194304 4196468 140730414110240 139656302222640 139655926149235 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13713] ppid=13656 vsize=10849048 memory=640996 CPUtime=15.34 cores=0-3 /proc/13659/task/13713/stat : 13713 (java) S 13656 13659 10334 0 -1 1077944384 26072 13370 0 0 1474 52 6 2 20 0 15 0 444588690 11109425152 163125 33554432000 4194304 4196468 140730414110240 139656334629648 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13714] ppid=13656 vsize=10849048 memory=631748 CPUtime=15.31 cores=0-3 /proc/13659/task/13714/stat : 13714 (java) S 13656 13659 10334 0 -1 1077944384 26748 13370 0 0 1472 51 6 2 20 0 15 0 444588690 11109425152 163125 33554432000 4194304 4196468 140730414110240 139656233520016 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13715] ppid=13656 vsize=10849048 memory=618476 CPUtime=15.35 cores=0-3 /proc/13659/task/13715/stat : 13715 (java) S 13656 13659 10334 0 -1 1077944384 25378 13370 0 0 1471 56 6 2 20 0 15 0 444588690 11109425152 163125 33554432000 4194304 4196468 140730414110240 139656232467472 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13716] ppid=13656 vsize=10849048 memory=643304 CPUtime=15.31 cores=0-3 /proc/13659/task/13716/stat : 13716 (java) S 13656 13659 10334 0 -1 1077944384 25858 13370 0 0 1468 55 6 2 20 0 15 0 444588690 11109425152 163125 33554432000 4194304 4196468 140730414110240 139656231414928 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13717] ppid=13656 vsize=10849048 memory=634992 CPUtime=8.73 cores=0-3 /proc/13659/task/13717/stat : 13717 (java) S 13656 13659 10334 0 -1 1077944384 11246 13370 0 0 771 94 6 2 20 0 15 0 444588692 11109425152 163125 33554432000 4194304 4196468 140730414110240 139655789680624 139656330398338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13718] ppid=13656 vsize=10849048 memory=619600 CPUtime=0.08 cores=0-3 /proc/13659/task/13718/stat : 13718 (java) S 13656 13659 10334 0 -1 1077944384 16 13370 0 0 0 0 6 2 20 0 15 0 444588692 11109425152 163125 33554432000 4194304 4196468 140730414110240 139655223698400 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13719] ppid=13656 vsize=10849048 memory=617104 CPUtime=0.08 cores=0-3 /proc/13659/task/13719/stat : 13719 (java) S 13656 13659 10334 0 -1 1077944384 6 13370 0 0 0 0 6 2 20 0 15 0 444588692 11109425152 163125 33554432000 4194304 4196468 140730414110240 139655089480704 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13720] ppid=13656 vsize=10849048 memory=6791534058613427641 CPUtime=0.08 cores=0-3 /proc/13659/task/13720/stat : 13720 (java) S 13656 13659 10334 0 -1 1077944384 3 13370 0 0 0 0 6 2 20 0 15 0 444588695 11109425152 163125 33554432000 4194304 4196468 140730414110240 139654849190096 139656330405787 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13721] ppid=13656 vsize=10849048 memory=616800 CPUtime=6.59 cores=0-3 /proc/13659/task/13721/stat : 13721 (java) S 13656 13659 10334 0 -1 1077944384 32391 13370 0 0 643 8 6 2 20 0 15 0 444588696 11109425152 163125 33554432000 4194304 4196468 140730414110240 139655788628464 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13722] ppid=13656 vsize=10849048 memory=618652 CPUtime=5.83 cores=0-3 /proc/13659/task/13722/stat : 13722 (java) S 13656 13659 10334 0 -1 1077944384 25495 13370 0 0 567 8 6 2 20 0 15 0 444588696 11109425152 163125 33554432000 4194304 4196468 140730414110240 139655787575920 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13723] ppid=13656 vsize=10849048 memory=3128 CPUtime=5.91 cores=0-3 /proc/13659/task/13723/stat : 13723 (java) S 13656 13659 10334 0 -1 1077944384 35173 13370 0 0 574 9 6 2 20 0 15 0 444588696 11109425152 163125 33554432000 4194304 4196468 140730414110240 139655786523376 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13724] ppid=13656 vsize=10849048 memory=640996 CPUtime=0.08 cores=0-3 /proc/13659/task/13724/stat : 13724 (java) S 13656 13659 10334 0 -1 1077944384 3 13370 0 0 0 0 6 2 20 0 15 0 444588696 11109425152 163125 33554432000 4194304 4196468 140730414110240 139654815632480 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13725] ppid=13656 vsize=10849048 memory=6791534058613427641 CPUtime=1.43 cores=0-3 /proc/13659/task/13725/stat : 13725 (java) S 13656 13659 10334 0 -1 1077944384 1311 13370 0 0 70 65 6 2 20 0 15 0 444588696 11109425152 163125 33554432000 4194304 4196468 140730414110240 139655785470256 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 Current children cumulated CPU time: 2504.75 s Current children cumulated vsize: 10849048 KiB Current children cumulated memory: 652500 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2457.3 s] /proc/loadavg: 1.40 1.44 1.38 3/228 14105 /proc/meminfo: memFree=27532708/32770688 swapFree=66919992/67108860 [pid=13659] ppid=13656 vsize=10849048 memory=637200 CPUtime=2520.04 cores=0-3 /proc/13659/stat : 13659 (java) S 13656 13659 10334 0 -1 1077944320 439548 13370 0 0 251553 443 6 2 20 0 15 0 444588679 11109425152 159300 33554432000 4194304 4196468 140730414110240 140730414092784 139656330387191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 /proc/13659/statm: 2712262 159300 3640 1 0 2674317 0 [pid=13659/tid=13712] ppid=13656 vsize=10849048 memory=639764 CPUtime=2430.36 cores=0-3 /proc/13659/task/13712/stat : 13712 (java) R 13656 13659 10334 0 -1 4202560 227617 13370 0 0 242946 82 6 2 20 0 15 0 444588689 11109425152 159300 33554432000 4194304 4196468 140730414110240 139656302222640 139655924213741 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13713] ppid=13656 vsize=10849048 memory=637712 CPUtime=15.44 cores=0-3 /proc/13659/task/13713/stat : 13713 (java) S 13656 13659 10334 0 -1 1077944384 26075 13370 0 0 1484 52 6 2 20 0 15 0 444588690 11109425152 159300 33554432000 4194304 4196468 140730414110240 139656334629648 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13714] ppid=13656 vsize=10849048 memory=638736 CPUtime=15.41 cores=0-3 /proc/13659/task/13714/stat : 13714 (java) S 13656 13659 10334 0 -1 1077944384 26750 13370 0 0 1482 51 6 2 20 0 15 0 444588690 11109425152 159300 33554432000 4194304 4196468 140730414110240 139656233520016 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13715] ppid=13656 vsize=10849048 memory=638736 CPUtime=15.46 cores=0-3 /proc/13659/task/13715/stat : 13715 (java) S 13656 13659 10334 0 -1 1077944384 25378 13370 0 0 1481 57 6 2 20 0 15 0 444588690 11109425152 159300 33554432000 4194304 4196468 140730414110240 139656232467472 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13716] ppid=13656 vsize=10849048 memory=639252 CPUtime=15.41 cores=0-3 /proc/13659/task/13716/stat : 13716 (java) S 13656 13659 10334 0 -1 1077944384 25859 13370 0 0 1478 55 6 2 20 0 15 0 444588690 11109425152 159300 33554432000 4194304 4196468 140730414110240 139656231414928 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13717] ppid=13656 vsize=10849048 memory=639764 CPUtime=8.78 cores=0-3 /proc/13659/task/13717/stat : 13717 (java) S 13656 13659 10334 0 -1 1077944384 11253 13370 0 0 774 96 6 2 20 0 15 0 444588692 11109425152 159300 33554432000 4194304 4196468 140730414110240 139655789680624 139656330398338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13718] ppid=13656 vsize=10849048 memory=640184 CPUtime=0.08 cores=0-3 /proc/13659/task/13718/stat : 13718 (java) S 13656 13659 10334 0 -1 1077944384 16 13370 0 0 0 0 6 2 20 0 15 0 444588692 11109425152 159300 33554432000 4194304 4196468 140730414110240 139655223698400 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13719] ppid=13656 vsize=10849048 memory=641212 CPUtime=0.08 cores=0-3 /proc/13659/task/13719/stat : 13719 (java) S 13656 13659 10334 0 -1 1077944384 6 13370 0 0 0 0 6 2 20 0 15 0 444588692 11109425152 159300 33554432000 4194304 4196468 140730414110240 139655089480704 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13720] ppid=13656 vsize=10849048 memory=647880 CPUtime=0.08 cores=0-3 /proc/13659/task/13720/stat : 13720 (java) S 13656 13659 10334 0 -1 1077944384 3 13370 0 0 0 0 6 2 20 0 15 0 444588695 11109425152 159300 33554432000 4194304 4196468 140730414110240 139654849190096 139656330405787 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13721] ppid=13656 vsize=10849048 memory=645828 CPUtime=6.59 cores=0-3 /proc/13659/task/13721/stat : 13721 (java) S 13656 13659 10334 0 -1 1077944384 32393 13370 0 0 643 8 6 2 20 0 15 0 444588696 11109425152 159300 33554432000 4194304 4196468 140730414110240 139655788628464 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13722] ppid=13656 vsize=10849048 memory=639252 CPUtime=5.83 cores=0-3 /proc/13659/task/13722/stat : 13722 (java) S 13656 13659 10334 0 -1 1077944384 25497 13370 0 0 567 8 6 2 20 0 15 0 444588696 11109425152 159300 33554432000 4194304 4196468 140730414110240 139655787575920 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13723] ppid=13656 vsize=10849048 memory=637712 CPUtime=5.91 cores=0-3 /proc/13659/task/13723/stat : 13723 (java) S 13656 13659 10334 0 -1 1077944384 35175 13370 0 0 574 9 6 2 20 0 15 0 444588696 11109425152 159300 33554432000 4194304 4196468 140730414110240 139655786523376 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13724] ppid=13656 vsize=10849048 memory=639252 CPUtime=0.08 cores=0-3 /proc/13659/task/13724/stat : 13724 (java) S 13656 13659 10334 0 -1 1077944384 3 13370 0 0 0 0 6 2 20 0 15 0 444588696 11109425152 159300 33554432000 4194304 4196468 140730414110240 139654815632480 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13725] ppid=13656 vsize=10849048 memory=639764 CPUtime=1.44 cores=0-3 /proc/13659/task/13725/stat : 13725 (java) S 13656 13659 10334 0 -1 1077944384 1313 13370 0 0 70 66 6 2 20 0 15 0 444588696 11109425152 159300 33554432000 4194304 4196468 140730414110240 139655785470256 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 Current children cumulated CPU time: 2520.04 s Current children cumulated vsize: 10849048 KiB Current children cumulated memory: 637200 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2457.33 s] # the end of solver process 13659 was just reported to runsolver # cumulated CPU time of all completed processes: user=2515.63 s, system=4.47933 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2457.3 s] /proc/loadavg: 1.40 1.44 1.38 3/228 14105 /proc/meminfo: memFree=27532708/32770688 swapFree=66919992/67108860 [pid=13659] ppid=13656 vsize=10849048 memory=637200 CPUtime=2520.04 cores=0-3 /proc/13659/stat : 13659 (java) S 13656 13659 10334 0 -1 1077944320 439548 13370 0 0 251553 443 6 2 20 0 15 0 444588679 11109425152 159300 33554432000 4194304 4196468 140730414110240 140730414092784 139656330387191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 /proc/13659/statm: 2712262 159300 3640 1 0 2674317 0 [pid=13659/tid=13712] ppid=13656 vsize=10849048 memory=639764 CPUtime=2430.36 cores=0-3 /proc/13659/task/13712/stat : 13712 (java) R 13656 13659 10334 0 -1 4202560 227617 13370 0 0 242946 82 6 2 20 0 15 0 444588689 11109425152 159300 33554432000 4194304 4196468 140730414110240 139656302222640 139655924213741 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13713] ppid=13656 vsize=10849048 memory=637712 CPUtime=15.44 cores=0-3 /proc/13659/task/13713/stat : 13713 (java) S 13656 13659 10334 0 -1 1077944384 26075 13370 0 0 1484 52 6 2 20 0 15 0 444588690 11109425152 159300 33554432000 4194304 4196468 140730414110240 139656334629648 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13714] ppid=13656 vsize=10849048 memory=638736 CPUtime=15.41 cores=0-3 /proc/13659/task/13714/stat : 13714 (java) S 13656 13659 10334 0 -1 1077944384 26750 13370 0 0 1482 51 6 2 20 0 15 0 444588690 11109425152 159300 33554432000 4194304 4196468 140730414110240 139656233520016 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13715] ppid=13656 vsize=10849048 memory=638736 CPUtime=15.46 cores=0-3 /proc/13659/task/13715/stat : 13715 (java) S 13656 13659 10334 0 -1 1077944384 25378 13370 0 0 1481 57 6 2 20 0 15 0 444588690 11109425152 159300 33554432000 4194304 4196468 140730414110240 139656232467472 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13716] ppid=13656 vsize=10849048 memory=639252 CPUtime=15.41 cores=0-3 /proc/13659/task/13716/stat : 13716 (java) S 13656 13659 10334 0 -1 1077944384 25859 13370 0 0 1478 55 6 2 20 0 15 0 444588690 11109425152 159300 33554432000 4194304 4196468 140730414110240 139656231414928 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13717] ppid=13656 vsize=10849048 memory=639764 CPUtime=8.78 cores=0-3 /proc/13659/task/13717/stat : 13717 (java) S 13656 13659 10334 0 -1 1077944384 11253 13370 0 0 774 96 6 2 20 0 15 0 444588692 11109425152 159300 33554432000 4194304 4196468 140730414110240 139655789680624 139656330398338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13718] ppid=13656 vsize=10849048 memory=640184 CPUtime=0.08 cores=0-3 /proc/13659/task/13718/stat : 13718 (java) S 13656 13659 10334 0 -1 1077944384 16 13370 0 0 0 0 6 2 20 0 15 0 444588692 11109425152 159300 33554432000 4194304 4196468 140730414110240 139655223698400 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13719] ppid=13656 vsize=10849048 memory=641212 CPUtime=0.08 cores=0-3 /proc/13659/task/13719/stat : 13719 (java) S 13656 13659 10334 0 -1 1077944384 6 13370 0 0 0 0 6 2 20 0 15 0 444588692 11109425152 159300 33554432000 4194304 4196468 140730414110240 139655089480704 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13720] ppid=13656 vsize=10849048 memory=647880 CPUtime=0.08 cores=0-3 /proc/13659/task/13720/stat : 13720 (java) S 13656 13659 10334 0 -1 1077944384 3 13370 0 0 0 0 6 2 20 0 15 0 444588695 11109425152 159300 33554432000 4194304 4196468 140730414110240 139654849190096 139656330405787 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13721] ppid=13656 vsize=10849048 memory=645828 CPUtime=6.59 cores=0-3 /proc/13659/task/13721/stat : 13721 (java) S 13656 13659 10334 0 -1 1077944384 32393 13370 0 0 643 8 6 2 20 0 15 0 444588696 11109425152 159300 33554432000 4194304 4196468 140730414110240 139655788628464 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13722] ppid=13656 vsize=10849048 memory=639252 CPUtime=5.83 cores=0-3 /proc/13659/task/13722/stat : 13722 (java) S 13656 13659 10334 0 -1 1077944384 25497 13370 0 0 567 8 6 2 20 0 15 0 444588696 11109425152 159300 33554432000 4194304 4196468 140730414110240 139655787575920 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13723] ppid=13656 vsize=10849048 memory=637712 CPUtime=5.91 cores=0-3 /proc/13659/task/13723/stat : 13723 (java) S 13656 13659 10334 0 -1 1077944384 35175 13370 0 0 574 9 6 2 20 0 15 0 444588696 11109425152 159300 33554432000 4194304 4196468 140730414110240 139655786523376 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13724] ppid=13656 vsize=10849048 memory=639252 CPUtime=0.08 cores=0-3 /proc/13659/task/13724/stat : 13724 (java) S 13656 13659 10334 0 -1 1077944384 3 13370 0 0 0 0 6 2 20 0 15 0 444588696 11109425152 159300 33554432000 4194304 4196468 140730414110240 139654815632480 139656330397397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 [pid=13659/tid=13725] ppid=13656 vsize=10849048 memory=639764 CPUtime=1.44 cores=0-3 /proc/13659/task/13725/stat : 13725 (java) S 13656 13659 10334 0 -1 1077944384 1313 13370 0 0 70 66 6 2 20 0 15 0 444588696 11109425152 159300 33554432000 4194304 4196468 140730414110240 139655785470256 139656330398338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34766848 140730414111471 140730414113989 140730414113989 140730414116815 0 Current children cumulated CPU time: 2520.04 s Current children cumulated vsize: 10849048 KiB Current children cumulated memory: 637200 KiB Child status: 143 Real time (s): 2457.33 CPU time (s): 2520.11 CPU user time (s): 2515.63 CPU system time (s): 4.47933 CPU usage (%): 102.555 Max. virtual memory (cumulated for all children) (KiB): 10853240 Max. memory (cumulated for all children) (KiB): 926200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2515.63 system time used= 4.47933 maximum resident set size= 928248 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 453962 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3040 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 242120 involuntary context switches= 10531 # summary of solver processes directly reported to runsolver: # pid: 13659 # total CPU time (s): 2520.11 # total CPU user time (s): 2515.63 # total CPU system time (s): 4.47933 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 15.81 second user time and 25.9591 second system time The end
Begin job on node120 at 2011-12-18 10:24:06 IDJOB=4400849 IDBENCH=133594 IDSOLVER=2857 FILE ID=node120/4400849-1568685824 RUNJOBID= node120-1324187754-10365 PBS_JOBID= 21703789 Free space on /tmp= 61592 MiB SOLVER NAME= Concrete 3.12.2 BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-07-0080.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400849-1568685824/watcher-4400849-1568685824 -o /tmp/evaluation-result-4400849-1568685824/solver-4400849-1568685824 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324187754-10365 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1545093772 HOME/instance-4400849-1568685824.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9b203975fed1c25a0b87c4f345706814 RANDOM SEED=1545093772 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: 28766428 kB MemAvailable: 31189116 kB Buffers: 178784 kB Cached: 2547768 kB SwapCached: 77548 kB Active: 2135972 kB Inactive: 1311972 kB Active(anon): 643248 kB Inactive(anon): 127772 kB Active(file): 1492724 kB Inactive(file): 1184200 kB Unevictable: 107048 kB Mlocked: 107048 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 35548 kB Writeback: 0 kB AnonPages: 750428 kB Mapped: 66568 kB Shmem: 41008 kB Slab: 152380 kB SReclaimable: 123196 kB SUnreclaim: 29184 kB KernelStack: 3632 kB PageTables: 7120 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 1916472 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 661504 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= 61560 MiB End job on node120 at 2011-12-18 11:05:04