Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Concrete 3.12.2 | ? (TO) | 2520.1 | 2395.37 |
Name | SuperSolutions/SuperSolutions-Taillard-os10/ SuperTaillard-os-10-23.xml |
MD5SUM | ea1f89da39181e5263a1c81884ecc603 |
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 | 40.8874 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 2800 |
Number of domains | 67 |
Minimum domain size | 476 |
Maximum domain size | 574 |
Distribution of domain sizes | [{"size":476,"count":4},{"size":478,"count":2},{"size":482,"count":2},{"size":483,"count":2},{"size":484,"count":6},{"size":485,"count":2},{"size":488,"count":2},{"size":489,"count":4},{"size":490,"count":2},{"size":492,"count":2},{"size":493,"count":2},{"size":494,"count":2},{"size":495,"count":4},{"size":496,"count":2},{"size":498,"count":4},{"size":499,"count":2},{"size":500,"count":4},{"size":501,"count":4},{"size":502,"count":4},{"size":503,"count":4},{"size":504,"count":4},{"size":505,"count":2},{"size":506,"count":2},{"size":507,"count":4},{"size":509,"count":2},"...",{"size":536,"count":6}, {"size":537,"count":2}, {"size":538,"count":2}, {"size":539,"count":4}, {"size":540,"count":2}, {"size":542,"count":2}, {"size":543,"count":4}, {"size":547,"count":2}, {"size":550,"count":8}, {"size":551,"count":2}, {"size":552,"count":4}, {"size":553,"count":2}, {"size":554,"count":2}, {"size":555,"count":2}, {"size":557,"count":2}, {"size":559,"count":6}, {"size":560,"count":4}, {"size":562,"count":2}, {"size":565,"count":2}, {"size":566,"count":2}, {"size":567,"count":2}, {"size":569,"count":2}, {"size":571,"count":6}, {"size":573,"count":2}, {"size":574,"count":2}] |
Minimum variable degree | 19 |
Maximum variable degree | 37 |
Distribution of variable degrees | [{"degree":19,"count":100},{"degree":37,"count":100}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":2800}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 2800 |
Distribution of constraint types | [{"type":"intension","count":2800}] |
Optimization problem | NO |
Type of objective |
0.79/0.60 c Concrete v3.12.2.1568380929293 running 2520.00/2395.32 Exception in thread "main" java.util.concurrent.TimeoutException 2520.00/2395.32 at concrete.MAC.mac(MAC.scala:192) 2520.00/2395.32 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265) 2520.00/2395.32 at scala.util.Try$.apply(Try.scala:212) 2520.00/2395.32 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2520.00/2395.32 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2520.00/2395.32 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2520.00/2395.32 at concrete.MAC.oneRun(MAC.scala:265) 2520.00/2395.32 at concrete.MAC.nextSolution(MAC.scala:284) 2520.00/2395.32 at concrete.MAC.$anonfun$nextSolution$7(MAC.scala:350) 2520.00/2395.32 at concrete.ProblemState.map(ProblemState.scala:238) 2520.00/2395.32 at concrete.ProblemState.map(ProblemState.scala:212) 2520.00/2395.32 at concrete.MAC.nextSolution(MAC.scala:348) 2520.00/2395.32 at concrete.Solver.hasNext(Solver.scala:160) 2520.00/2395.32 at scala.collection.Iterator.nextOption(Iterator.scala:104) 2520.00/2395.33 at scala.collection.Iterator.nextOption$(Iterator.scala:104) 2520.00/2395.33 at concrete.Solver.nextOption(Solver.scala:67) 2520.00/2395.33 at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:78) 2520.00/2395.33 at scala.util.Success.map(Try.scala:264) 2520.00/2395.33 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.00/2395.33 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2520.00/2395.33 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.00/2395.33 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.00/2395.33 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.00/2395.33 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2520.00/2395.33 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2520.00/2395.33 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2520.00/2395.33 at scala.App.$anonfun$main$1(App.scala:75) 2520.00/2395.33 at scala.App.$anonfun$main$1$adapted(App.scala:75) 2520.00/2395.33 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2520.00/2395.33 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2520.00/2395.33 at scala.collection.AbstractIterable.foreach(Iterable.scala:904) 2520.00/2395.33 at scala.App.main(App.scala:75) 2520.00/2395.33 at scala.App.main$(App.scala:73) 2520.00/2395.33 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.00/2395.33 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.00/2395.33 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 (12996 MiB free) memory of node 1: 16384 MiB (13898 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395832-1568410754/watcher-4395832-1568410754 -o /tmp/evaluation-result-4395832-1568410754/solver-4395832-1568410754 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323922682-7339 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=539801411 HOME/instance-4395832-1568410754.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 Current StackSize limit: 8192 KiB solver pid=7921, runsolver pid=7918 [startup+0.100136 s]* /proc/loadavg: 1.24 1.38 1.37 2/214 7974 /proc/meminfo: memFree=27536424/32770688 swapFree=66919992/67108860 [pid=7921] ppid=7918 vsize=9972712 memory=16020 CPUtime=0.09 cores=4-7 /proc/7921/stat : 7921 (java) S 7918 7921 7307 0 -1 1077944320 4246 13312 0 0 0 1 5 3 20 0 6 0 417081703 10212057088 4005 33554432000 4194304 4196468 140732042686960 140732042669504 140597004893943 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 /proc/7921/statm: 2493178 4005 1897 1 0 2481616 0 [pid=7921/tid=7974] ppid=7918 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=4-7 /proc/7921/task/7974/stat : 7974 (java) R 7918 7921 7307 0 -1 4202560 2095 13312 0 0 0 0 5 3 20 0 6 0 417081713 10212057088 4071 33554432000 4194304 4196468 140732042686960 140596976730704 140596988974430 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7975] ppid=7918 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=4-7 /proc/7921/task/7975/stat : 7975 (java) S 7918 7921 7307 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 6 0 417081714 10212057088 4071 33554432000 4194304 4196468 140732042686960 140597009136656 140597004904149 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7976] ppid=7918 vsize=9972712 memory=139685199939200 CPUtime=0.08 cores=4-7 /proc/7921/task/7976/stat : 7976 (java) S 7918 7921 7307 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 6 0 417081714 10212057088 4071 33554432000 4194304 4196468 140732042686960 140596897410192 140597004904149 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7977] ppid=7918 vsize=9972712 memory=0 CPUtime=0.08 cores=4-7 /proc/7921/task/7977/stat : 7977 (java) S 7918 7921 7307 0 -1 1077944384 2 13312 0 0 0 0 5 3 20 0 6 0 417081714 10212057088 4071 33554432000 4194304 4196468 140732042686960 140596896357136 140597004904149 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7978] ppid=7918 vsize=9972712 memory=-1 CPUtime=0.08 cores=4-7 /proc/7921/task/7978/stat : 7978 (java) S 7918 7921 7307 0 -1 1077944384 2 13312 0 0 0 0 5 3 20 0 6 0 417081714 10212057088 4071 33554432000 4194304 4196468 140732042686960 140596576512912 140597004904149 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 9972712 KiB Current children cumulated memory: 16020 KiB [startup+0.210961 s]* /proc/loadavg: 1.24 1.38 1.37 5/227 7987 /proc/meminfo: memFree=27516016/32770688 swapFree=66919992/67108860 [pid=7921] ppid=7918 vsize=10819664 memory=36928 CPUtime=0.25 cores=4-7 /proc/7921/stat : 7921 (java) S 7918 7921 7307 0 -1 1077944320 7075 13312 0 0 16 1 5 3 20 0 15 0 417081703 11079335936 9232 33554432000 4194304 4196468 140732042686960 140732042669504 140597004893943 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 /proc/7921/statm: 2704916 9232 3154 1 0 2667149 0 [pid=7921/tid=7974] ppid=7918 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=4-7 /proc/7921/task/7974/stat : 7974 (java) R 7918 7921 7307 0 -1 4202560 3586 13312 0 0 11 0 5 3 20 0 15 0 417081713 11079335936 9232 33554432000 4194304 4196468 140732042686960 140596976708944 140596988974430 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7975] ppid=7918 vsize=10819664 memory=364 CPUtime=0.08 cores=4-7 /proc/7921/task/7975/stat : 7975 (java) S 7918 7921 7307 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 417081714 11079335936 9232 33554432000 4194304 4196468 140732042686960 140597009136656 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7976] ppid=7918 vsize=10819664 memory=139685199947374 CPUtime=0.08 cores=4-7 /proc/7921/task/7976/stat : 7976 (java) S 7918 7921 7307 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 417081714 11079335936 9232 33554432000 4194304 4196468 140732042686960 140596897410192 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7977] ppid=7918 vsize=10819664 memory=0 CPUtime=0.08 cores=4-7 /proc/7921/task/7977/stat : 7977 (java) S 7918 7921 7307 0 -1 1077944384 2 13312 0 0 0 0 5 3 20 0 15 0 417081714 11079335936 9232 33554432000 4194304 4196468 140732042686960 140596896357136 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7978] ppid=7918 vsize=10819664 memory=-1 CPUtime=0.08 cores=4-7 /proc/7921/task/7978/stat : 7978 (java) S 7918 7921 7307 0 -1 1077944384 2 13312 0 0 0 0 5 3 20 0 15 0 417081714 11079335936 9232 33554432000 4194304 4196468 140732042686960 140596576512912 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7979] ppid=7918 vsize=10819664 memory=139685199939200 CPUtime=0.08 cores=4-7 /proc/7921/task/7979/stat : 7979 (java) S 7918 7921 7307 0 -1 1077944384 2 13312 0 0 0 0 5 3 20 0 15 0 417081715 11079335936 9232 33554432000 4194304 4196468 140732042686960 140596464445680 140597004905090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7980] ppid=7918 vsize=10819664 memory=-1 CPUtime=0.08 cores=4-7 /proc/7921/task/7980/stat : 7980 (java) S 7918 7921 7307 0 -1 1077944384 33 13312 0 0 0 0 5 3 20 0 15 0 417081716 11079335936 9232 33554432000 4194304 4196468 140732042686960 140596463391904 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7981] ppid=7918 vsize=10819664 memory=0 CPUtime=0.08 cores=4-7 /proc/7921/task/7981/stat : 7981 (java) S 7918 7921 7307 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 417081716 11079335936 9232 33554432000 4194304 4196468 140732042686960 140595888644848 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7982] ppid=7918 vsize=10819664 memory=0 CPUtime=0.08 cores=4-7 /proc/7921/task/7982/stat : 7982 (java) S 7918 7921 7307 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 417081719 11079335936 9232 33554432000 4194304 4196468 140732042686960 140595581245392 140597004912539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7983] ppid=7918 vsize=10819664 memory=0 CPUtime=0.09 cores=4-7 /proc/7921/task/7983/stat : 7983 (java) S 7918 7921 7307 0 -1 1077944384 480 13312 0 0 1 0 5 3 20 0 15 0 417081719 11079335936 9232 33554432000 4194304 4196468 140732042686960 140596429834992 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7984] ppid=7918 vsize=10819664 memory=-1 CPUtime=0.08 cores=4-7 /proc/7921/task/7984/stat : 7984 (java) S 7918 7921 7307 0 -1 1077944384 180 13312 0 0 0 0 5 3 20 0 15 0 417081719 11079335936 9232 33554432000 4194304 4196468 140732042686960 140596428782448 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7985] ppid=7918 vsize=10819664 memory=139685199939200 CPUtime=0.1 cores=4-7 /proc/7921/task/7985/stat : 7985 (java) S 7918 7921 7307 0 -1 1077944384 599 13312 0 0 2 0 5 3 20 0 15 0 417081719 11079335936 9232 33554432000 4194304 4196468 140732042686960 140596427729392 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7986] ppid=7918 vsize=10819664 memory=-1 CPUtime=0.08 cores=4-7 /proc/7921/task/7986/stat : 7986 (java) S 7918 7921 7307 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 417081719 11079335936 9232 33554432000 4194304 4196468 140732042686960 140595547687776 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7987] ppid=7918 vsize=10819664 memory=139685199939200 CPUtime=0.08 cores=4-7 /proc/7921/task/7987/stat : 7987 (java) S 7918 7921 7307 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 417081720 11079335936 9232 33554432000 4194304 4196468 140732042686960 140596426676784 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 10819664 KiB Current children cumulated memory: 36928 KiB [startup+0.311854 s]* /proc/loadavg: 1.24 1.38 1.37 3/227 7987 /proc/meminfo: memFree=27503332/32770688 swapFree=66919992/67108860 [pid=7921] ppid=7918 vsize=10820148 memory=48000 CPUtime=0.4 cores=4-7 /proc/7921/stat : 7921 (java) S 7918 7921 7307 0 -1 1077944320 10742 13312 0 0 29 3 5 3 20 0 15 0 417081703 11079831552 12000 33554432000 4194304 4196468 140732042686960 140732042669504 140597004893943 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 /proc/7921/statm: 2705037 12000 3283 1 0 2667149 0 [pid=7921/tid=7974] ppid=7918 vsize=10820148 memory=1398722017469774279 CPUtime=0.29 cores=4-7 /proc/7921/task/7974/stat : 7974 (java) R 7918 7921 7307 0 -1 4202560 7205 13312 0 0 19 2 5 3 20 0 15 0 417081713 11079831552 12021 33554432000 4194304 4196468 140732042686960 140596976693856 140596988974430 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7975] ppid=7918 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/7921/task/7975/stat : 7975 (java) S 7918 7921 7307 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 417081714 11079831552 12021 33554432000 4194304 4196468 140732042686960 140597009136656 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7976] ppid=7918 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/7921/task/7976/stat : 7976 (java) S 7918 7921 7307 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 417081714 11079831552 12021 33554432000 4194304 4196468 140732042686960 140596897410192 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7977] ppid=7918 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/7921/task/7977/stat : 7977 (java) S 7918 7921 7307 0 -1 1077944384 2 13312 0 0 0 0 5 3 20 0 15 0 417081714 11079831552 12021 33554432000 4194304 4196468 140732042686960 140596896357136 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7978] ppid=7918 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/7921/task/7978/stat : 7978 (java) S 7918 7921 7307 0 -1 1077944384 2 13312 0 0 0 0 5 3 20 0 15 0 417081714 11079831552 12021 33554432000 4194304 4196468 140732042686960 140596576512912 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7979] ppid=7918 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/7921/task/7979/stat : 7979 (java) S 7918 7921 7307 0 -1 1077944384 2 13312 0 0 0 0 5 3 20 0 15 0 417081715 11079831552 12021 33554432000 4194304 4196468 140732042686960 140596464445680 140597004905090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7980] ppid=7918 vsize=10820148 memory=-1 CPUtime=0.08 cores=4-7 /proc/7921/task/7980/stat : 7980 (java) S 7918 7921 7307 0 -1 1077944384 33 13312 0 0 0 0 5 3 20 0 15 0 417081716 11079831552 12021 33554432000 4194304 4196468 140732042686960 140596463391904 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7981] ppid=7918 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/7921/task/7981/stat : 7981 (java) S 7918 7921 7307 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 417081716 11079831552 12021 33554432000 4194304 4196468 140732042686960 140595888644848 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7982] ppid=7918 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/7921/task/7982/stat : 7982 (java) S 7918 7921 7307 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 417081719 11079831552 12021 33554432000 4194304 4196468 140732042686960 140595581245392 140597004912539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7983] ppid=7918 vsize=10820148 memory=0 CPUtime=0.1 cores=4-7 /proc/7921/task/7983/stat : 7983 (java) S 7918 7921 7307 0 -1 1077944384 489 13312 0 0 2 0 5 3 20 0 15 0 417081719 11079831552 12021 33554432000 4194304 4196468 140732042686960 140596429834992 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7984] ppid=7918 vsize=10820148 memory=-1 CPUtime=0.09 cores=4-7 /proc/7921/task/7984/stat : 7984 (java) S 7918 7921 7307 0 -1 1077944384 183 13312 0 0 1 0 5 3 20 0 15 0 417081719 11079831552 12021 33554432000 4194304 4196468 140732042686960 140596428782448 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7985] ppid=7918 vsize=10820148 memory=139685199939200 CPUtime=0.13 cores=4-7 /proc/7921/task/7985/stat : 7985 (java) R 7918 7921 7307 0 -1 4202560 612 13312 0 0 5 0 5 3 20 0 15 0 417081719 11079831552 12021 33554432000 4194304 4196468 140732042686960 140596427729392 140596984865128 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7986] ppid=7918 vsize=10820148 memory=-1 CPUtime=0.08 cores=4-7 /proc/7921/task/7986/stat : 7986 (java) S 7918 7921 7307 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 417081719 11079831552 12021 33554432000 4194304 4196468 140732042686960 140595547687776 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7987] ppid=7918 vsize=10820148 memory=139685199939200 CPUtime=0.08 cores=4-7 /proc/7921/task/7987/stat : 7987 (java) S 7918 7921 7307 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 417081720 11079831552 12021 33554432000 4194304 4196468 140732042686960 140596426676784 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 Current children cumulated CPU time: 0.4 s Current children cumulated vsize: 10820148 KiB Current children cumulated memory: 48000 KiB [startup+0.70149 s] /proc/loadavg: 1.24 1.38 1.37 3/227 7987 /proc/meminfo: memFree=27490956/32770688 swapFree=66919992/67108860 [pid=7921] ppid=7918 vsize=10822312 memory=76136 CPUtime=1.11 cores=4-7 /proc/7921/stat : 7921 (java) S 7918 7921 7307 0 -1 1077944320 14836 13312 0 0 97 6 5 3 20 0 15 0 417081703 11082047488 19034 33554432000 4194304 4196468 140732042686960 140732042669504 140597004893943 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 /proc/7921/statm: 2705578 19034 3499 1 0 2667661 0 [pid=7921/tid=7974] ppid=7918 vsize=10822312 memory=0 CPUtime=0.67 cores=4-7 /proc/7921/task/7974/stat : 7974 (java) R 7918 7921 7307 0 -1 4202560 10089 13312 0 0 55 4 5 3 20 0 15 0 417081713 11082047488 19034 33554432000 4194304 4196468 140732042686960 140596976722272 140596988974430 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7975] ppid=7918 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7 /proc/7921/task/7975/stat : 7975 (java) S 7918 7921 7307 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 417081714 11082047488 19034 33554432000 4194304 4196468 140732042686960 140597009136656 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7976] ppid=7918 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7 /proc/7921/task/7976/stat : 7976 (java) S 7918 7921 7307 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 417081714 11082047488 19034 33554432000 4194304 4196468 140732042686960 140596897410192 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7977] ppid=7918 vsize=10822312 memory=279370174571456 CPUtime=0.08 cores=4-7 /proc/7921/task/7977/stat : 7977 (java) S 7918 7921 7307 0 -1 1077944384 2 13312 0 0 0 0 5 3 20 0 15 0 417081714 11082047488 19034 33554432000 4194304 4196468 140732042686960 140596896357136 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7978] ppid=7918 vsize=10822312 memory=36197850155497 CPUtime=0.08 cores=4-7 /proc/7921/task/7978/stat : 7978 (java) S 7918 7921 7307 0 -1 1077944384 2 13312 0 0 0 0 5 3 20 0 15 0 417081714 11082047488 19034 33554432000 4194304 4196468 140732042686960 140596576512912 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7979] ppid=7918 vsize=10822312 memory=11497032050 CPUtime=0.08 cores=4-7 /proc/7921/task/7979/stat : 7979 (java) S 7918 7921 7307 0 -1 1077944384 5 13312 0 0 0 0 5 3 20 0 15 0 417081715 11082047488 19034 33554432000 4194304 4196468 140732042686960 140596464445680 140597004905090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7980] ppid=7918 vsize=10822312 memory=68 CPUtime=0.08 cores=4-7 /proc/7921/task/7980/stat : 7980 (java) S 7918 7921 7307 0 -1 1077944384 33 13312 0 0 0 0 5 3 20 0 15 0 417081716 11082047488 19034 33554432000 4194304 4196468 140732042686960 140596463391904 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7981] ppid=7918 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7 /proc/7921/task/7981/stat : 7981 (java) S 7918 7921 7307 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 417081716 11082047488 19034 33554432000 4194304 4196468 140732042686960 140595888644848 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7982] ppid=7918 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7 /proc/7921/task/7982/stat : 7982 (java) S 7918 7921 7307 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 417081719 11082047488 19034 33554432000 4194304 4196468 140732042686960 140595581245392 140597004912539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7983] ppid=7918 vsize=10822312 memory=0 CPUtime=0.19 cores=4-7 /proc/7921/task/7983/stat : 7983 (java) R 7918 7921 7307 0 -1 4202560 887 13312 0 0 11 0 5 3 20 0 15 0 417081719 11082047488 19034 33554432000 4194304 4196468 140732042686960 140596429821424 140596988280848 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7984] ppid=7918 vsize=10822312 memory=0 CPUtime=0.21 cores=4-7 /proc/7921/task/7984/stat : 7984 (java) R 7918 7921 7307 0 -1 4202560 745 13312 0 0 13 0 5 3 20 0 15 0 417081719 11082047488 19034 33554432000 4194304 4196468 140732042686960 140596428768224 140596986438383 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7985] ppid=7918 vsize=10822312 memory=0 CPUtime=0.24 cores=4-7 /proc/7921/task/7985/stat : 7985 (java) S 7918 7921 7307 0 -1 1077944384 857 13312 0 0 16 0 5 3 20 0 15 0 417081719 11082047488 19034 33554432000 4194304 4196468 140732042686960 140596427729392 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7986] ppid=7918 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7 /proc/7921/task/7986/stat : 7986 (java) S 7918 7921 7307 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 417081719 11082047488 19034 33554432000 4194304 4196468 140732042686960 140595547687776 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7987] ppid=7918 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7 /proc/7921/task/7987/stat : 7987 (java) S 7918 7921 7307 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 417081720 11082047488 19034 33554432000 4194304 4196468 140732042686960 140596426676784 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 Current children cumulated CPU time: 1.11 s Current children cumulated vsize: 10822312 KiB Current children cumulated memory: 76136 KiB [startup+1.50402 s] /proc/loadavg: 1.24 1.38 1.37 5/227 7987 /proc/meminfo: memFree=27450700/32770688 swapFree=66919992/67108860 [pid=7921] ppid=7918 vsize=10832628 memory=192164 CPUtime=3.39 cores=4-7 /proc/7921/stat : 7921 (java) S 7918 7921 7307 0 -1 1077944320 27018 13312 0 0 321 10 5 3 20 0 15 0 417081703 11092611072 48041 33554432000 4194304 4196468 140732042686960 140732042669504 140597004893943 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 /proc/7921/statm: 2708157 48041 3593 1 0 2670221 0 [pid=7921/tid=7974] ppid=7918 vsize=10832628 memory=6532644516807392870 CPUtime=1.42 cores=4-7 /proc/7921/task/7974/stat : 7974 (java) R 7918 7921 7307 0 -1 4202560 15208 13312 0 0 128 6 5 3 20 0 15 0 417081713 11092611072 48041 33554432000 4194304 4196468 140732042686960 140596976728112 140596576616847 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7975] ppid=7918 vsize=10832628 memory=8045567885184454529 CPUtime=0.09 cores=4-7 /proc/7921/task/7975/stat : 7975 (java) S 7918 7921 7307 0 -1 1077944384 59 13312 0 0 1 0 5 3 20 0 15 0 417081714 11092611072 48041 33554432000 4194304 4196468 140732042686960 140597009136656 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7976] ppid=7918 vsize=10832628 memory=-7240599211820661557 CPUtime=0.09 cores=4-7 /proc/7921/task/7976/stat : 7976 (java) S 7918 7921 7307 0 -1 1077944384 14 13312 0 0 1 0 5 3 20 0 15 0 417081714 11092611072 48041 33554432000 4194304 4196468 140732042686960 140596897410192 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7977] ppid=7918 vsize=10832628 memory=-4266093328290194108 CPUtime=0.09 cores=4-7 /proc/7921/task/7977/stat : 7977 (java) S 7918 7921 7307 0 -1 1077944384 192 13312 0 0 1 0 5 3 20 0 15 0 417081714 11092611072 48041 33554432000 4194304 4196468 140732042686960 140596896357136 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7978] ppid=7918 vsize=10832628 memory=117204 CPUtime=0.09 cores=4-7 /proc/7921/task/7978/stat : 7978 (java) S 7918 7921 7307 0 -1 1077944384 72 13312 0 0 1 0 5 3 20 0 15 0 417081714 11092611072 48041 33554432000 4194304 4196468 140732042686960 140596576512912 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7979] ppid=7918 vsize=10832628 memory=0 CPUtime=0.09 cores=4-7 /proc/7921/task/7979/stat : 7979 (java) S 7918 7921 7307 0 -1 1077944384 921 13312 0 0 1 0 5 3 20 0 15 0 417081715 11092611072 48041 33554432000 4194304 4196468 140732042686960 140596464445680 140597004905090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7980] ppid=7918 vsize=10832628 memory=0 CPUtime=0.08 cores=4-7 /proc/7921/task/7980/stat : 7980 (java) S 7918 7921 7307 0 -1 1077944384 33 13312 0 0 0 0 5 3 20 0 15 0 417081716 11092611072 48041 33554432000 4194304 4196468 140732042686960 140596463391904 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7981] ppid=7918 vsize=10832628 memory=279370174365792 CPUtime=0.08 cores=4-7 /proc/7921/task/7981/stat : 7981 (java) S 7918 7921 7307 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 417081716 11092611072 48041 33554432000 4194304 4196468 140732042686960 140595888644848 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7982] ppid=7918 vsize=10832628 memory=279370174780832 CPUtime=0.08 cores=4-7 /proc/7921/task/7982/stat : 7982 (java) S 7918 7921 7307 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 417081719 11092611072 48041 33554432000 4194304 4196468 140732042686960 140595581245392 140597004912539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7983] ppid=7918 vsize=10832628 memory=139685087192608 CPUtime=0.82 cores=4-7 /proc/7921/task/7983/stat : 7983 (java) S 7918 7921 7307 0 -1 1077944384 3551 13312 0 0 74 0 5 3 20 0 15 0 417081719 11092611072 48041 33554432000 4194304 4196468 140732042686960 140596429834992 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7984] ppid=7918 vsize=10832628 memory=0 CPUtime=0.74 cores=4-7 /proc/7921/task/7984/stat : 7984 (java) R 7918 7921 7307 0 -1 1077944384 2739 13312 0 0 66 0 5 3 20 0 15 0 417081719 11092611072 48041 33554432000 4194304 4196468 140732042686960 140596428782448 140597004905090 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7985] ppid=7918 vsize=10832628 memory=980 CPUtime=0.51 cores=4-7 /proc/7921/task/7985/stat : 7985 (java) R 7918 7921 7307 0 -1 1077944384 2007 13312 0 0 42 1 5 3 20 0 15 0 417081719 11092611072 48041 33554432000 4194304 4196468 140732042686960 140596427729392 140597004905090 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7986] ppid=7918 vsize=10832628 memory=14008 CPUtime=0.08 cores=4-7 /proc/7921/task/7986/stat : 7986 (java) S 7918 7921 7307 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 417081719 11092611072 48041 33554432000 4194304 4196468 140732042686960 140595547687776 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7987] ppid=7918 vsize=10832628 memory=12028 CPUtime=0.08 cores=4-7 /proc/7921/task/7987/stat : 7987 (java) S 7918 7921 7307 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 417081720 11092611072 48041 33554432000 4194304 4196468 140732042686960 140596426676784 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 Current children cumulated CPU time: 3.39 s Current children cumulated vsize: 10832628 KiB ################ # More data... # ################ /proc/7921/task/7974/stat : 7974 (java) R 7918 7921 7307 0 -1 4202560 237745 13312 0 0 227664 82 5 3 20 0 15 0 417081713 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140596976729104 140596590760289 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7975] ppid=7918 vsize=10846984 memory=924 CPUtime=36.43 cores=4-7 /proc/7921/task/7975/stat : 7975 (java) S 7918 7921 7307 0 -1 1077944384 59814 13312 0 0 3524 111 5 3 20 0 15 0 417081714 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140597009136656 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7976] ppid=7918 vsize=10846984 memory=4710284 CPUtime=36.5 cores=4-7 /proc/7921/task/7976/stat : 7976 (java) S 7918 7921 7307 0 -1 1077944384 55774 13312 0 0 3534 108 5 3 20 0 15 0 417081714 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140596897410192 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7977] ppid=7918 vsize=10846984 memory=4710284 CPUtime=36.45 cores=4-7 /proc/7921/task/7977/stat : 7977 (java) S 7918 7921 7307 0 -1 1077944384 58149 13312 0 0 3526 111 5 3 20 0 15 0 417081714 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140596896357136 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7978] ppid=7918 vsize=10846984 memory=4710284 CPUtime=36.48 cores=4-7 /proc/7921/task/7978/stat : 7978 (java) S 7918 7921 7307 0 -1 1077944384 53857 13312 0 0 3530 110 5 3 20 0 15 0 417081714 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140596576512912 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7979] ppid=7918 vsize=10846984 memory=4710284 CPUtime=7.69 cores=4-7 /proc/7921/task/7979/stat : 7979 (java) S 7918 7921 7307 0 -1 1077944384 62266 13312 0 0 751 10 5 3 20 0 15 0 417081715 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140596464445680 140597004905090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7980] ppid=7918 vsize=10846984 memory=4710284 CPUtime=0.08 cores=4-7 /proc/7921/task/7980/stat : 7980 (java) S 7918 7921 7307 0 -1 1077944384 60 13312 0 0 0 0 5 3 20 0 15 0 417081716 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140596463392032 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7981] ppid=7918 vsize=10846984 memory=4710284 CPUtime=0.08 cores=4-7 /proc/7921/task/7981/stat : 7981 (java) S 7918 7921 7307 0 -1 1077944384 23 13312 0 0 0 0 5 3 20 0 15 0 417081716 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140595888644864 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7982] ppid=7918 vsize=10846984 memory=4710284 CPUtime=0.08 cores=4-7 /proc/7921/task/7982/stat : 7982 (java) S 7918 7921 7307 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 417081719 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140595581245392 140597004912539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7983] ppid=7918 vsize=10846984 memory=4710284 CPUtime=6.56 cores=4-7 /proc/7921/task/7983/stat : 7983 (java) S 7918 7921 7307 0 -1 1077944384 53582 13312 0 0 642 6 5 3 20 0 15 0 417081719 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140596429834992 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7984] ppid=7918 vsize=10846984 memory=4710284 CPUtime=5.97 cores=4-7 /proc/7921/task/7984/stat : 7984 (java) S 7918 7921 7307 0 -1 1077944384 50455 13312 0 0 583 6 5 3 20 0 15 0 417081719 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140596428782448 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7985] ppid=7918 vsize=10846984 memory=1560 CPUtime=2.38 cores=4-7 /proc/7921/task/7985/stat : 7985 (java) S 7918 7921 7307 0 -1 1077944384 35995 13312 0 0 223 7 5 3 20 0 15 0 417081719 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140596427729392 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7986] ppid=7918 vsize=10846984 memory=4710284 CPUtime=0.08 cores=4-7 /proc/7921/task/7986/stat : 7986 (java) S 7918 7921 7307 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 417081719 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140595547687776 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7987] ppid=7918 vsize=10846984 memory=3296 CPUtime=1.4 cores=4-7 /proc/7921/task/7987/stat : 7987 (java) S 7918 7921 7307 0 -1 1077944384 2078 13312 0 0 58 74 5 3 20 0 15 0 417081720 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140596426676784 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 Current children cumulated CPU time: 2446.82 s Current children cumulated vsize: 10846984 KiB Current children cumulated memory: 4710284 KiB [startup+2382.3 s] /proc/loadavg: 1.42 1.54 1.58 3/227 8360 /proc/meminfo: memFree=23253696/32770688 swapFree=66919992/67108860 [pid=7921] ppid=7918 vsize=10846984 memory=4710284 CPUtime=2506.96 cores=4-7 /proc/7921/stat : 7921 (java) S 7918 7921 7307 0 -1 1077944320 681525 13312 0 0 250071 617 5 3 20 0 15 0 417081703 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140732042669504 140597004893943 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 /proc/7921/statm: 2711746 1177571 3637 1 0 2673805 0 [pid=7921/tid=7974] ppid=7918 vsize=10846984 memory=4710284 CPUtime=2337.49 cores=4-7 /proc/7921/task/7974/stat : 7974 (java) R 7918 7921 7307 0 -1 4202560 242433 13312 0 0 233657 84 5 3 20 0 15 0 417081713 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140596976729264 140596590148937 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7975] ppid=7918 vsize=10846984 memory=4710284 CPUtime=36.47 cores=4-7 /proc/7921/task/7975/stat : 7975 (java) S 7918 7921 7307 0 -1 1077944384 60547 13312 0 0 3527 112 5 3 20 0 15 0 417081714 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140597009136656 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7976] ppid=7918 vsize=10846984 memory=4710284 CPUtime=36.54 cores=4-7 /proc/7921/task/7976/stat : 7976 (java) S 7918 7921 7307 0 -1 1077944384 58007 13312 0 0 3537 109 5 3 20 0 15 0 417081714 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140596897410192 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7977] ppid=7918 vsize=10846984 memory=4710284 CPUtime=36.49 cores=4-7 /proc/7921/task/7977/stat : 7977 (java) S 7918 7921 7307 0 -1 1077944384 58991 13312 0 0 3530 111 5 3 20 0 15 0 417081714 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140596896357136 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7978] ppid=7918 vsize=10846984 memory=4710284 CPUtime=36.52 cores=4-7 /proc/7921/task/7978/stat : 7978 (java) S 7918 7921 7307 0 -1 1077944384 54511 13312 0 0 3534 110 5 3 20 0 15 0 417081714 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140596576512912 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7979] ppid=7918 vsize=10846984 memory=4710284 CPUtime=7.71 cores=4-7 /proc/7921/task/7979/stat : 7979 (java) S 7918 7921 7307 0 -1 1077944384 62584 13312 0 0 752 11 5 3 20 0 15 0 417081715 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140596464445680 140597004905090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7980] ppid=7918 vsize=10846984 memory=4710284 CPUtime=0.08 cores=4-7 /proc/7921/task/7980/stat : 7980 (java) S 7918 7921 7307 0 -1 1077944384 60 13312 0 0 0 0 5 3 20 0 15 0 417081716 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140596463392032 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7981] ppid=7918 vsize=10846984 memory=4710284 CPUtime=0.08 cores=4-7 /proc/7921/task/7981/stat : 7981 (java) S 7918 7921 7307 0 -1 1077944384 23 13312 0 0 0 0 5 3 20 0 15 0 417081716 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140595888644864 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7982] ppid=7918 vsize=10846984 memory=4710284 CPUtime=0.08 cores=4-7 /proc/7921/task/7982/stat : 7982 (java) S 7918 7921 7307 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 417081719 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140595581245392 140597004912539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7983] ppid=7918 vsize=10846984 memory=4710284 CPUtime=6.56 cores=4-7 /proc/7921/task/7983/stat : 7983 (java) S 7918 7921 7307 0 -1 1077944384 53584 13312 0 0 642 6 5 3 20 0 15 0 417081719 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140596429834992 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7984] ppid=7918 vsize=10846984 memory=4710284 CPUtime=5.97 cores=4-7 /proc/7921/task/7984/stat : 7984 (java) S 7918 7921 7307 0 -1 1077944384 50458 13312 0 0 583 6 5 3 20 0 15 0 417081719 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140596428782448 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7985] ppid=7918 vsize=10846984 memory=2120 CPUtime=2.38 cores=4-7 /proc/7921/task/7985/stat : 7985 (java) S 7918 7921 7307 0 -1 1077944384 35997 13312 0 0 223 7 5 3 20 0 15 0 417081719 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140596427729392 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7986] ppid=7918 vsize=10846984 memory=4710284 CPUtime=0.08 cores=4-7 /proc/7921/task/7986/stat : 7986 (java) S 7918 7921 7307 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 417081719 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140595547687776 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7987] ppid=7918 vsize=10846984 memory=3624 CPUtime=1.43 cores=4-7 /proc/7921/task/7987/stat : 7987 (java) S 7918 7921 7307 0 -1 1077944384 2114 13312 0 0 59 76 5 3 20 0 15 0 417081720 11107311616 1177571 33554432000 4194304 4196468 140732042686960 140596426676784 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 Current children cumulated CPU time: 2506.96 s Current children cumulated vsize: 10846984 KiB Current children cumulated memory: 4710284 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2395.3 s] /proc/loadavg: 1.33 1.51 1.57 3/228 8363 /proc/meminfo: memFree=23265536/32770688 swapFree=66919992/67108860 [pid=7921] ppid=7918 vsize=10846984 memory=4710316 CPUtime=2520 cores=4-7 /proc/7921/stat : 7921 (java) S 7918 7921 7307 0 -1 1077944320 688645 13312 0 0 251374 618 5 3 20 0 15 0 417081703 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140732042669504 140597004893943 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 /proc/7921/statm: 2711746 1177579 3637 1 0 2673805 0 [pid=7921/tid=7974] ppid=7918 vsize=10846984 memory=4710316 CPUtime=2350.48 cores=4-7 /proc/7921/task/7974/stat : 7974 (java) R 7918 7921 7307 0 -1 4202560 245709 13312 0 0 234955 85 5 3 20 0 15 0 417081713 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140596976729152 140596590759909 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7975] ppid=7918 vsize=10846984 memory=4710316 CPUtime=36.48 cores=4-7 /proc/7921/task/7975/stat : 7975 (java) S 7918 7921 7307 0 -1 1077944384 61030 13312 0 0 3528 112 5 3 20 0 15 0 417081714 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140597009136656 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7976] ppid=7918 vsize=10846984 memory=4710316 CPUtime=36.55 cores=4-7 /proc/7921/task/7976/stat : 7976 (java) S 7918 7921 7307 0 -1 1077944384 58545 13312 0 0 3538 109 5 3 20 0 15 0 417081714 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140596897410192 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7977] ppid=7918 vsize=10846984 memory=4710316 CPUtime=36.5 cores=4-7 /proc/7921/task/7977/stat : 7977 (java) S 7918 7921 7307 0 -1 1077944384 59527 13312 0 0 3531 111 5 3 20 0 15 0 417081714 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140596896357136 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7978] ppid=7918 vsize=10846984 memory=4710284 CPUtime=36.53 cores=4-7 /proc/7921/task/7978/stat : 7978 (java) S 7918 7921 7307 0 -1 1077944384 56467 13312 0 0 3535 110 5 3 20 0 15 0 417081714 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140596576512912 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7979] ppid=7918 vsize=10846984 memory=0 CPUtime=7.71 cores=4-7 /proc/7921/task/7979/stat : 7979 (java) S 7918 7921 7307 0 -1 1077944384 62878 13312 0 0 752 11 5 3 20 0 15 0 417081715 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140596464445680 140597004905090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7980] ppid=7918 vsize=10846984 memory=4710284 CPUtime=0.08 cores=4-7 /proc/7921/task/7980/stat : 7980 (java) S 7918 7921 7307 0 -1 1077944384 60 13312 0 0 0 0 5 3 20 0 15 0 417081716 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140596463392032 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7981] ppid=7918 vsize=10846984 memory=4710284 CPUtime=0.08 cores=4-7 /proc/7921/task/7981/stat : 7981 (java) S 7918 7921 7307 0 -1 1077944384 23 13312 0 0 0 0 5 3 20 0 15 0 417081716 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140595888644864 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7982] ppid=7918 vsize=10846984 memory=4710284 CPUtime=0.08 cores=4-7 /proc/7921/task/7982/stat : 7982 (java) S 7918 7921 7307 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 417081719 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140595581245392 140597004912539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7983] ppid=7918 vsize=10846984 memory=4710284 CPUtime=6.56 cores=4-7 /proc/7921/task/7983/stat : 7983 (java) S 7918 7921 7307 0 -1 1077944384 53587 13312 0 0 642 6 5 3 20 0 15 0 417081719 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140596429834992 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7984] ppid=7918 vsize=10846984 memory=4710284 CPUtime=5.97 cores=4-7 /proc/7921/task/7984/stat : 7984 (java) S 7918 7921 7307 0 -1 1077944384 50462 13312 0 0 583 6 5 3 20 0 15 0 417081719 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140596428782448 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7985] ppid=7918 vsize=10846984 memory=4710316 CPUtime=2.38 cores=4-7 /proc/7921/task/7985/stat : 7985 (java) S 7918 7921 7307 0 -1 1077944384 36005 13312 0 0 223 7 5 3 20 0 15 0 417081719 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140596427729392 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7986] ppid=7918 vsize=10846984 memory=4710316 CPUtime=0.08 cores=4-7 /proc/7921/task/7986/stat : 7986 (java) S 7918 7921 7307 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 417081719 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140595547687776 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7987] ppid=7918 vsize=10846984 memory=4710316 CPUtime=1.44 cores=4-7 /proc/7921/task/7987/stat : 7987 (java) S 7918 7921 7307 0 -1 1077944384 2136 13312 0 0 59 77 5 3 20 0 15 0 417081720 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140596426676784 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 Current children cumulated CPU time: 2520 s Current children cumulated vsize: 10846984 KiB Current children cumulated memory: 4710316 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2395.37 s] # the end of solver process 7921 was just reported to runsolver # cumulated CPU time of all completed processes: user=2513.85 s, system=6.24942 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2395.3 s] /proc/loadavg: 1.33 1.51 1.57 3/228 8363 /proc/meminfo: memFree=23265536/32770688 swapFree=66919992/67108860 [pid=7921] ppid=7918 vsize=10846984 memory=4710316 CPUtime=2520 cores=4-7 /proc/7921/stat : 7921 (java) S 7918 7921 7307 0 -1 1077944320 688645 13312 0 0 251374 618 5 3 20 0 15 0 417081703 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140732042669504 140597004893943 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 /proc/7921/statm: 2711746 1177579 3637 1 0 2673805 0 [pid=7921/tid=7974] ppid=7918 vsize=10846984 memory=4710316 CPUtime=2350.48 cores=4-7 /proc/7921/task/7974/stat : 7974 (java) R 7918 7921 7307 0 -1 4202560 245709 13312 0 0 234955 85 5 3 20 0 15 0 417081713 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140596976729152 140596590759909 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7975] ppid=7918 vsize=10846984 memory=4710316 CPUtime=36.48 cores=4-7 /proc/7921/task/7975/stat : 7975 (java) S 7918 7921 7307 0 -1 1077944384 61030 13312 0 0 3528 112 5 3 20 0 15 0 417081714 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140597009136656 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7976] ppid=7918 vsize=10846984 memory=4710316 CPUtime=36.55 cores=4-7 /proc/7921/task/7976/stat : 7976 (java) S 7918 7921 7307 0 -1 1077944384 58545 13312 0 0 3538 109 5 3 20 0 15 0 417081714 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140596897410192 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7977] ppid=7918 vsize=10846984 memory=4710316 CPUtime=36.5 cores=4-7 /proc/7921/task/7977/stat : 7977 (java) S 7918 7921 7307 0 -1 1077944384 59527 13312 0 0 3531 111 5 3 20 0 15 0 417081714 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140596896357136 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7978] ppid=7918 vsize=10846984 memory=4710284 CPUtime=36.53 cores=4-7 /proc/7921/task/7978/stat : 7978 (java) S 7918 7921 7307 0 -1 1077944384 56467 13312 0 0 3535 110 5 3 20 0 15 0 417081714 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140596576512912 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7979] ppid=7918 vsize=10846984 memory=0 CPUtime=7.71 cores=4-7 /proc/7921/task/7979/stat : 7979 (java) S 7918 7921 7307 0 -1 1077944384 62878 13312 0 0 752 11 5 3 20 0 15 0 417081715 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140596464445680 140597004905090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7980] ppid=7918 vsize=10846984 memory=4710284 CPUtime=0.08 cores=4-7 /proc/7921/task/7980/stat : 7980 (java) S 7918 7921 7307 0 -1 1077944384 60 13312 0 0 0 0 5 3 20 0 15 0 417081716 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140596463392032 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7981] ppid=7918 vsize=10846984 memory=4710284 CPUtime=0.08 cores=4-7 /proc/7921/task/7981/stat : 7981 (java) S 7918 7921 7307 0 -1 1077944384 23 13312 0 0 0 0 5 3 20 0 15 0 417081716 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140595888644864 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7982] ppid=7918 vsize=10846984 memory=4710284 CPUtime=0.08 cores=4-7 /proc/7921/task/7982/stat : 7982 (java) S 7918 7921 7307 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 417081719 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140595581245392 140597004912539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7983] ppid=7918 vsize=10846984 memory=4710284 CPUtime=6.56 cores=4-7 /proc/7921/task/7983/stat : 7983 (java) S 7918 7921 7307 0 -1 1077944384 53587 13312 0 0 642 6 5 3 20 0 15 0 417081719 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140596429834992 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7984] ppid=7918 vsize=10846984 memory=4710284 CPUtime=5.97 cores=4-7 /proc/7921/task/7984/stat : 7984 (java) S 7918 7921 7307 0 -1 1077944384 50462 13312 0 0 583 6 5 3 20 0 15 0 417081719 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140596428782448 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7985] ppid=7918 vsize=10846984 memory=4710316 CPUtime=2.38 cores=4-7 /proc/7921/task/7985/stat : 7985 (java) S 7918 7921 7307 0 -1 1077944384 36005 13312 0 0 223 7 5 3 20 0 15 0 417081719 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140596427729392 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7986] ppid=7918 vsize=10846984 memory=4710316 CPUtime=0.08 cores=4-7 /proc/7921/task/7986/stat : 7986 (java) S 7918 7921 7307 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 417081719 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140595547687776 140597004904149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 [pid=7921/tid=7987] ppid=7918 vsize=10846984 memory=4710316 CPUtime=1.44 cores=4-7 /proc/7921/task/7987/stat : 7987 (java) S 7918 7921 7307 0 -1 1077944384 2136 13312 0 0 59 77 5 3 20 0 15 0 417081720 11107311616 1177579 33554432000 4194304 4196468 140732042686960 140596426676784 140597004905090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14655488 140732042689264 140732042691781 140732042691781 140732042694607 0 Current children cumulated CPU time: 2520 s Current children cumulated vsize: 10846984 KiB Current children cumulated memory: 4710316 KiB Child status: 143 Real time (s): 2395.37 CPU time (s): 2520.1 CPU user time (s): 2513.85 CPU system time (s): 6.24942 CPU usage (%): 105.207 Max. virtual memory (cumulated for all children) (KiB): 10846984 Max. memory (cumulated for all children) (KiB): 6806908 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2513.85 system time used= 6.24942 maximum resident set size= 6808972 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 705784 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3024 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 70183 involuntary context switches= 3418 # summary of solver processes directly reported to runsolver: # pid: 7921 # total CPU time (s): 2520.1 # total CPU user time (s): 2513.85 # total CPU system time (s): 6.24942 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 19.2785 second user time and 21.6789 second system time The end
Begin job on node120 at 2011-12-15 05:59:36 IDJOB=4395832 IDBENCH=138447 IDSOLVER=2846 FILE ID=node120/4395832-1568410754 RUNJOBID= node120-1323922682-7339 PBS_JOBID= 21702191 Free space on /tmp= 61612 MiB SOLVER NAME= Concrete 3.12.2 BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-23.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395832-1568410754/watcher-4395832-1568410754 -o /tmp/evaluation-result-4395832-1568410754/solver-4395832-1568410754 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323922682-7339 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=539801411 HOME/instance-4395832-1568410754.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ea1f89da39181e5263a1c81884ecc603 RANDOM SEED=539801411 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: 27540360 kB MemAvailable: 31049224 kB Buffers: 187164 kB Cached: 3626900 kB SwapCached: 77548 kB Active: 1851912 kB Inactive: 2821604 kB Active(anon): 782540 kB Inactive(anon): 127064 kB Active(file): 1069372 kB Inactive(file): 2694540 kB Unevictable: 108056 kB Mlocked: 108056 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 35332 kB Writeback: 16 kB AnonPages: 891952 kB Mapped: 61924 kB Shmem: 41008 kB Slab: 150388 kB SReclaimable: 121576 kB SUnreclaim: 28812 kB KernelStack: 3728 kB PageTables: 7784 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 2016284 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 800768 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= 61580 MiB End job on node120 at 2011-12-15 06:39:32