Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Concrete 3.12.2 | ? (TO) | 2520.09 | 2480.74 |
Name | SocialGolfers/SocialGolfers-cp-s1/ SocialGolfers-9-8-4-cp.xml |
MD5SUM | bd9ca51d6afa7a7de86d4bfb05f523c8 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 138.482 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 288 |
Number of constraints | 15342 |
Number of domains | 1 |
Minimum domain size | 9 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":9,"count":288}] |
Minimum variable degree | 215 |
Maximum variable degree | 216 |
Distribution of variable degrees | [{"degree":215,"count":216},{"degree":216,"count":72}] |
Minimum constraint arity | 4 |
Maximum constraint arity | 288 |
Distribution of constraint arities | [{"arity":4,"count":15336},{"arity":72,"count":5},{"arity":288,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 15336 |
Distribution of constraint types | [{"type":"intension","count":15336},{"type":"lex","count":1},{"type":"cardinality","count":4},{"type":"instantiation","count":1}] |
Optimization problem | NO |
Type of objective |
0.80/0.61 c Concrete v3.12.2.1568380929293 running 2520.03/2480.72 Exception in thread "main" java.util.concurrent.TimeoutException 2520.03/2480.72 at concrete.MAC.mac(MAC.scala:192) 2520.03/2480.72 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265) 2520.03/2480.72 at scala.util.Try$.apply(Try.scala:212) 2520.03/2480.72 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2520.03/2480.72 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2520.03/2480.72 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2520.03/2480.72 at concrete.MAC.oneRun(MAC.scala:265) 2520.03/2480.72 at concrete.MAC.nextSolution(MAC.scala:284) 2520.03/2480.72 at concrete.MAC.$anonfun$nextSolution$7(MAC.scala:350) 2520.03/2480.72 at concrete.ProblemState.map(ProblemState.scala:238) 2520.03/2480.72 at concrete.ProblemState.map(ProblemState.scala:212) 2520.03/2480.72 at concrete.MAC.nextSolution(MAC.scala:348) 2520.03/2480.72 at concrete.Solver.hasNext(Solver.scala:160) 2520.03/2480.72 at scala.collection.Iterator.nextOption(Iterator.scala:104) 2520.03/2480.72 at scala.collection.Iterator.nextOption$(Iterator.scala:104) 2520.03/2480.72 at concrete.Solver.nextOption(Solver.scala:67) 2520.03/2480.72 at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:78) 2520.03/2480.72 at scala.util.Success.map(Try.scala:264) 2520.03/2480.72 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.03/2480.72 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2520.03/2480.72 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.03/2480.72 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.03/2480.72 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.03/2480.72 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2520.03/2480.72 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2520.03/2480.72 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2520.03/2480.72 at scala.App.$anonfun$main$1(App.scala:75) 2520.03/2480.72 at scala.App.$anonfun$main$1$adapted(App.scala:75) 2520.03/2480.72 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2520.03/2480.72 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2520.03/2480.72 at scala.collection.AbstractIterable.foreach(Iterable.scala:904) 2520.03/2480.72 at scala.App.main(App.scala:75) 2520.03/2480.72 at scala.App.main$(App.scala:73) 2520.03/2480.72 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.03/2480.72 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.03/2480.72 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 (12348 MiB free) memory of node 1: 16384 MiB (13900 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395868-1568398942/watcher-4395868-1568398942 -o /tmp/evaluation-result-4395868-1568398942/solver-4395868-1568398942 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323907941-3248 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1854632693 HOME/instance-4395868-1568398942.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=5028, runsolver pid=5025 Current StackSize limit: 8192 KiB [startup+0.100175 s]* /proc/loadavg: 1.66 1.75 1.65 2/217 5081 /proc/meminfo: memFree=26876596/32770688 swapFree=66919992/67108860 [pid=5028] ppid=5025 vsize=9972712 memory=15640 CPUtime=0.08 cores=4-7 /proc/5028/stat : 5028 (java) S 5025 5028 804 0 -1 1077944320 4173 13421 0 0 0 0 5 3 20 0 6 0 415900521 10212057088 3910 33554432000 4194304 4196468 140732991404832 140732991387376 139641930866423 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 /proc/5028/statm: 2493178 3910 1777 1 0 2481616 0 [pid=5028/tid=5081] ppid=5025 vsize=9972712 memory=7022364594140610616 CPUtime=0.08 cores=4-7 /proc/5028/task/5081/stat : 5081 (java) R 5025 5028 804 0 -1 4202560 2105 13421 0 0 0 0 5 3 20 0 6 0 415900531 10212057088 4042 33554432000 4194304 4196468 140732991404832 139641902703184 139641916548949 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5082] ppid=5025 vsize=9972712 memory=364 CPUtime=0.08 cores=4-7 /proc/5028/task/5082/stat : 5082 (java) S 5025 5028 804 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 6 0 415900531 10212057088 4042 33554432000 4194304 4196468 140732991404832 139641935108752 139641930876629 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5083] ppid=5025 vsize=9972712 memory=139991393741830 CPUtime=0.08 cores=4-7 /proc/5028/task/5083/stat : 5083 (java) S 5025 5028 804 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 6 0 415900531 10212057088 4042 33554432000 4194304 4196468 140732991404832 139641504500240 139641930876629 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5084] ppid=5025 vsize=9972712 memory=0 CPUtime=0.08 cores=4-7 /proc/5028/task/5084/stat : 5084 (java) S 5025 5028 804 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 6 0 415900531 10212057088 4042 33554432000 4194304 4196468 140732991404832 139641503447440 139641930876629 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5085] ppid=5025 vsize=9972712 memory=-1 CPUtime=0.08 cores=4-7 /proc/5028/task/5085/stat : 5085 (java) S 5025 5028 804 0 -1 1077944384 2 13421 0 0 0 0 5 3 20 0 6 0 415900531 10212057088 4042 33554432000 4194304 4196468 140732991404832 139641502394640 139641930876629 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 Current children cumulated CPU time: 0.08 s Current children cumulated vsize: 9972712 KiB Current children cumulated memory: 15640 KiB [startup+0.212127 s]* /proc/loadavg: 1.66 1.75 1.65 7/230 5094 /proc/meminfo: memFree=26855060/32770688 swapFree=66919992/67108860 [pid=5028] ppid=5025 vsize=10819664 memory=38304 CPUtime=0.26 cores=4-7 /proc/5028/stat : 5028 (java) S 5025 5028 804 0 -1 1077944320 6889 13421 0 0 16 2 5 3 20 0 15 0 415900521 11079335936 9576 33554432000 4194304 4196468 140732991404832 140732991387376 139641930866423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 /proc/5028/statm: 2704916 9576 3162 1 0 2667149 0 [pid=5028/tid=5081] ppid=5025 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=4-7 /proc/5028/task/5081/stat : 5081 (java) R 5025 5028 804 0 -1 4202560 3320 13421 0 0 10 1 5 3 20 0 15 0 415900531 11079335936 9576 33554432000 4194304 4196468 140732991404832 139641902679296 139641923103550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5082] ppid=5025 vsize=10819664 memory=364 CPUtime=0.08 cores=4-7 /proc/5028/task/5082/stat : 5082 (java) S 5025 5028 804 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 415900531 11079335936 9576 33554432000 4194304 4196468 140732991404832 139641935108752 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5083] ppid=5025 vsize=10819664 memory=139991393741830 CPUtime=0.08 cores=4-7 /proc/5028/task/5083/stat : 5083 (java) S 5025 5028 804 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 415900531 11079335936 9576 33554432000 4194304 4196468 140732991404832 139641504500240 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5084] ppid=5025 vsize=10819664 memory=0 CPUtime=0.08 cores=4-7 /proc/5028/task/5084/stat : 5084 (java) S 5025 5028 804 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 415900531 11079335936 9576 33554432000 4194304 4196468 140732991404832 139641503447440 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5085] ppid=5025 vsize=10819664 memory=-1 CPUtime=0.08 cores=4-7 /proc/5028/task/5085/stat : 5085 (java) S 5025 5028 804 0 -1 1077944384 2 13421 0 0 0 0 5 3 20 0 15 0 415900531 11079335936 9576 33554432000 4194304 4196468 140732991404832 139641502394640 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5086] ppid=5025 vsize=10819664 memory=139991393732224 CPUtime=0.08 cores=4-7 /proc/5028/task/5086/stat : 5086 (java) S 5025 5028 804 0 -1 1077944384 2 13421 0 0 0 0 5 3 20 0 15 0 415900533 11079335936 9576 33554432000 4194304 4196468 140732991404832 139641390312304 139641930877570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5087] ppid=5025 vsize=10819664 memory=-1 CPUtime=0.08 cores=4-7 /proc/5028/task/5087/stat : 5087 (java) S 5025 5028 804 0 -1 1077944384 33 13421 0 0 0 0 5 3 20 0 15 0 415900533 11079335936 9576 33554432000 4194304 4196468 140732991404832 139641389258272 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5088] ppid=5025 vsize=10819664 memory=0 CPUtime=0.08 cores=4-7 /proc/5028/task/5088/stat : 5088 (java) S 5025 5028 804 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 415900534 11079335936 9576 33554432000 4194304 4196468 140732991404832 139640795293040 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5089] ppid=5025 vsize=10819664 memory=0 CPUtime=0.08 cores=4-7 /proc/5028/task/5089/stat : 5089 (java) S 5025 5028 804 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 415900537 11079335936 9576 33554432000 4194304 4196468 140732991404832 139640487893328 139641930885019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5090] ppid=5025 vsize=10819664 memory=0 CPUtime=0.09 cores=4-7 /proc/5028/task/5090/stat : 5090 (java) S 5025 5028 804 0 -1 1077944384 485 13421 0 0 1 0 5 3 20 0 15 0 415900537 11079335936 9576 33554432000 4194304 4196468 140732991404832 139641355700592 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5091] ppid=5025 vsize=10819664 memory=-1 CPUtime=0.08 cores=4-7 /proc/5028/task/5091/stat : 5091 (java) S 5025 5028 804 0 -1 1077944384 182 13421 0 0 0 0 5 3 20 0 15 0 415900537 11079335936 9576 33554432000 4194304 4196468 140732991404832 139641354647792 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5092] ppid=5025 vsize=10819664 memory=139991393732224 CPUtime=0.1 cores=4-7 /proc/5028/task/5092/stat : 5092 (java) S 5025 5028 804 0 -1 1077944384 668 13421 0 0 2 0 5 3 20 0 15 0 415900537 11079335936 9576 33554432000 4194304 4196468 140732991404832 139641353594992 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5093] ppid=5025 vsize=10819664 memory=-1 CPUtime=0.08 cores=4-7 /proc/5028/task/5093/stat : 5093 (java) S 5025 5028 804 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 415900537 11079335936 9576 33554432000 4194304 4196468 140732991404832 139640454334688 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5094] ppid=5025 vsize=10819664 memory=139991393732224 CPUtime=0.08 cores=4-7 /proc/5028/task/5094/stat : 5094 (java) S 5025 5028 804 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 415900537 11079335936 9576 33554432000 4194304 4196468 140732991404832 139641352543408 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 Current children cumulated CPU time: 0.26 s Current children cumulated vsize: 10819664 KiB Current children cumulated memory: 38304 KiB [startup+0.311648 s]* /proc/loadavg: 1.66 1.75 1.65 3/230 5094 /proc/meminfo: memFree=26840832/32770688 swapFree=66919992/67108860 [pid=5028] ppid=5025 vsize=10820148 memory=49356 CPUtime=0.4 cores=4-7 /proc/5028/stat : 5028 (java) S 5025 5028 804 0 -1 1077944320 10606 13421 0 0 28 4 5 3 20 0 15 0 415900521 11079831552 12339 33554432000 4194304 4196468 140732991404832 140732991387376 139641930866423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 /proc/5028/statm: 2705037 12339 3291 1 0 2667149 0 [pid=5028/tid=5081] ppid=5025 vsize=10820148 memory=1398722017469774279 CPUtime=0.29 cores=4-7 /proc/5028/task/5081/stat : 5081 (java) R 5025 5028 804 0 -1 4202560 6956 13421 0 0 18 3 5 3 20 0 15 0 415900531 11079831552 12339 33554432000 4194304 4196468 140732991404832 139641902666336 139641914910053 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5082] ppid=5025 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/5028/task/5082/stat : 5082 (java) S 5025 5028 804 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 415900531 11079831552 12339 33554432000 4194304 4196468 140732991404832 139641935108752 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5083] ppid=5025 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/5028/task/5083/stat : 5083 (java) S 5025 5028 804 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 415900531 11079831552 12339 33554432000 4194304 4196468 140732991404832 139641504500240 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5084] ppid=5025 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/5028/task/5084/stat : 5084 (java) S 5025 5028 804 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 415900531 11079831552 12339 33554432000 4194304 4196468 140732991404832 139641503447440 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5085] ppid=5025 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/5028/task/5085/stat : 5085 (java) S 5025 5028 804 0 -1 1077944384 2 13421 0 0 0 0 5 3 20 0 15 0 415900531 11079831552 12339 33554432000 4194304 4196468 140732991404832 139641502394640 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5086] ppid=5025 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/5028/task/5086/stat : 5086 (java) S 5025 5028 804 0 -1 1077944384 2 13421 0 0 0 0 5 3 20 0 15 0 415900533 11079831552 12339 33554432000 4194304 4196468 140732991404832 139641390312304 139641930877570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5087] ppid=5025 vsize=10820148 memory=-1 CPUtime=0.08 cores=4-7 /proc/5028/task/5087/stat : 5087 (java) S 5025 5028 804 0 -1 1077944384 33 13421 0 0 0 0 5 3 20 0 15 0 415900533 11079831552 12339 33554432000 4194304 4196468 140732991404832 139641389258272 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5088] ppid=5025 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/5028/task/5088/stat : 5088 (java) S 5025 5028 804 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 415900534 11079831552 12339 33554432000 4194304 4196468 140732991404832 139640795293040 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5089] ppid=5025 vsize=10820148 memory=0 CPUtime=0.08 cores=4-7 /proc/5028/task/5089/stat : 5089 (java) S 5025 5028 804 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 415900537 11079831552 12339 33554432000 4194304 4196468 140732991404832 139640487893328 139641930885019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5090] ppid=5025 vsize=10820148 memory=0 CPUtime=0.1 cores=4-7 /proc/5028/task/5090/stat : 5090 (java) S 5025 5028 804 0 -1 1077944384 502 13421 0 0 2 0 5 3 20 0 15 0 415900537 11079831552 12339 33554432000 4194304 4196468 140732991404832 139641355700592 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5091] ppid=5025 vsize=10820148 memory=-1 CPUtime=0.09 cores=4-7 /proc/5028/task/5091/stat : 5091 (java) S 5025 5028 804 0 -1 1077944384 185 13421 0 0 1 0 5 3 20 0 15 0 415900537 11079831552 12339 33554432000 4194304 4196468 140732991404832 139641354647792 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5092] ppid=5025 vsize=10820148 memory=139991393732224 CPUtime=0.13 cores=4-7 /proc/5028/task/5092/stat : 5092 (java) S 5025 5028 804 0 -1 1077944384 711 13421 0 0 5 0 5 3 20 0 15 0 415900537 11079831552 12339 33554432000 4194304 4196468 140732991404832 139641353594992 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5093] ppid=5025 vsize=10820148 memory=-1 CPUtime=0.08 cores=4-7 /proc/5028/task/5093/stat : 5093 (java) S 5025 5028 804 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 415900537 11079831552 12339 33554432000 4194304 4196468 140732991404832 139640454334688 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5094] ppid=5025 vsize=10820148 memory=139991393732224 CPUtime=0.08 cores=4-7 /proc/5028/task/5094/stat : 5094 (java) S 5025 5028 804 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 415900537 11079831552 12339 33554432000 4194304 4196468 140732991404832 139641352543408 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 Current children cumulated CPU time: 0.4 s Current children cumulated vsize: 10820148 KiB Current children cumulated memory: 49356 KiB [startup+0.700828 s] /proc/loadavg: 1.66 1.75 1.65 4/230 5094 /proc/meminfo: memFree=26827104/32770688 swapFree=66919992/67108860 [pid=5028] ppid=5025 vsize=10822312 memory=78900 CPUtime=1.1 cores=4-7 /proc/5028/stat : 5028 (java) S 5025 5028 804 0 -1 1077944320 14519 13421 0 0 96 6 5 3 20 0 15 0 415900521 11082047488 19725 33554432000 4194304 4196468 140732991404832 140732991387376 139641930866423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 /proc/5028/statm: 2705578 19725 3499 1 0 2667661 0 [pid=5028/tid=5081] ppid=5025 vsize=10822312 memory=5795117241467496816 CPUtime=0.66 cores=4-7 /proc/5028/task/5081/stat : 5081 (java) R 5025 5028 804 0 -1 4202560 9522 13421 0 0 54 4 5 3 20 0 15 0 415900531 11082047488 19725 33554432000 4194304 4196468 140732991404832 139641902682640 139641913387420 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5082] ppid=5025 vsize=10822312 memory=46940 CPUtime=0.08 cores=4-7 /proc/5028/task/5082/stat : 5082 (java) S 5025 5028 804 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 415900531 11082047488 19725 33554432000 4194304 4196468 140732991404832 139641935108752 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5083] ppid=5025 vsize=10822312 memory=279982475589088 CPUtime=0.08 cores=4-7 /proc/5028/task/5083/stat : 5083 (java) S 5025 5028 804 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 415900531 11082047488 19725 33554432000 4194304 4196468 140732991404832 139641504500240 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5084] ppid=5025 vsize=10822312 memory=279982475604288 CPUtime=0.08 cores=4-7 /proc/5028/task/5084/stat : 5084 (java) S 5025 5028 804 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 415900531 11082047488 19725 33554432000 4194304 4196468 140732991404832 139641503447440 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5085] ppid=5025 vsize=10822312 memory=139991393731105 CPUtime=0.08 cores=4-7 /proc/5028/task/5085/stat : 5085 (java) S 5025 5028 804 0 -1 1077944384 2 13421 0 0 0 0 5 3 20 0 15 0 415900531 11082047488 19725 33554432000 4194304 4196468 140732991404832 139641502394640 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5086] ppid=5025 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7 /proc/5028/task/5086/stat : 5086 (java) S 5025 5028 804 0 -1 1077944384 5 13421 0 0 0 0 5 3 20 0 15 0 415900533 11082047488 19725 33554432000 4194304 4196468 140732991404832 139641390312304 139641930877570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5087] ppid=5025 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7 /proc/5028/task/5087/stat : 5087 (java) S 5025 5028 804 0 -1 1077944384 33 13421 0 0 0 0 5 3 20 0 15 0 415900533 11082047488 19725 33554432000 4194304 4196468 140732991404832 139641389258272 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5088] ppid=5025 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7 /proc/5028/task/5088/stat : 5088 (java) S 5025 5028 804 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 415900534 11082047488 19725 33554432000 4194304 4196468 140732991404832 139640795293040 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5089] ppid=5025 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7 /proc/5028/task/5089/stat : 5089 (java) S 5025 5028 804 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 415900537 11082047488 19725 33554432000 4194304 4196468 140732991404832 139640487893328 139641930885019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5090] ppid=5025 vsize=10822312 memory=0 CPUtime=0.21 cores=4-7 /proc/5028/task/5090/stat : 5090 (java) R 5025 5028 804 0 -1 4202560 1115 13421 0 0 13 0 5 3 20 0 15 0 415900537 11082047488 19725 33554432000 4194304 4196468 140732991404832 139641355690384 139641910559527 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5091] ppid=5025 vsize=10822312 memory=0 CPUtime=0.17 cores=4-7 /proc/5028/task/5091/stat : 5091 (java) R 5025 5028 804 0 -1 4202560 621 13421 0 0 9 0 5 3 20 0 15 0 415900537 11082047488 19725 33554432000 4194304 4196468 140732991404832 139641354636464 139641914252927 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5092] ppid=5025 vsize=10822312 memory=0 CPUtime=0.25 cores=4-7 /proc/5028/task/5092/stat : 5092 (java) S 5025 5028 804 0 -1 1077944384 1002 13421 0 0 17 0 5 3 20 0 15 0 415900537 11082047488 19725 33554432000 4194304 4196468 140732991404832 139641353594992 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5093] ppid=5025 vsize=10822312 memory=0 CPUtime=0.08 cores=4-7 /proc/5028/task/5093/stat : 5093 (java) S 5025 5028 804 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 415900537 11082047488 19725 33554432000 4194304 4196468 140732991404832 139640454334688 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5094] ppid=5025 vsize=10822312 memory=3624 CPUtime=0.08 cores=4-7 /proc/5028/task/5094/stat : 5094 (java) S 5025 5028 804 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 415900537 11082047488 19725 33554432000 4194304 4196468 140732991404832 139641352543408 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 Current children cumulated CPU time: 1.1 s Current children cumulated vsize: 10822312 KiB Current children cumulated memory: 78900 KiB [startup+1.50107 s] /proc/loadavg: 1.66 1.75 1.65 6/230 5094 /proc/meminfo: memFree=26787272/32770688 swapFree=66919992/67108860 [pid=5028] ppid=5025 vsize=10826484 memory=212776 CPUtime=3.56 cores=4-7 /proc/5028/stat : 5028 (java) S 5025 5028 804 0 -1 1077944320 21177 13421 0 0 337 11 5 3 20 0 15 0 415900521 11086319616 53194 33554432000 4194304 4196468 140732991404832 140732991387376 139641930866423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 /proc/5028/statm: 2706621 53194 3583 1 0 2668685 0 [pid=5028/tid=5081] ppid=5025 vsize=10826484 memory=21878563410920 CPUtime=1.45 cores=4-7 /proc/5028/task/5081/stat : 5081 (java) R 5025 5028 804 0 -1 4202560 11261 13421 0 0 130 7 5 3 20 0 15 0 415900531 11086319616 53194 33554432000 4194304 4196468 140732991404832 139641902698240 139641539927616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5082] ppid=5025 vsize=10826484 memory=8112282956445269571 CPUtime=0.08 cores=4-7 /proc/5028/task/5082/stat : 5082 (java) S 5025 5028 804 0 -1 1077944384 90 13421 0 0 0 0 5 3 20 0 15 0 415900531 11086319616 53194 33554432000 4194304 4196468 140732991404832 139641935108752 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5083] ppid=5025 vsize=10826484 memory=0 CPUtime=0.08 cores=4-7 /proc/5028/task/5083/stat : 5083 (java) S 5025 5028 804 0 -1 1077944384 24 13421 0 0 0 0 5 3 20 0 15 0 415900531 11086319616 53194 33554432000 4194304 4196468 140732991404832 139641504500240 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5084] ppid=5025 vsize=10826484 memory=0 CPUtime=0.08 cores=4-7 /proc/5028/task/5084/stat : 5084 (java) S 5025 5028 804 0 -1 1077944384 2 13421 0 0 0 0 5 3 20 0 15 0 415900531 11086319616 53194 33554432000 4194304 4196468 140732991404832 139641503447440 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5085] ppid=5025 vsize=10826484 memory=0 CPUtime=0.08 cores=4-7 /proc/5028/task/5085/stat : 5085 (java) S 5025 5028 804 0 -1 1077944384 340 13421 0 0 0 0 5 3 20 0 15 0 415900531 11086319616 53194 33554432000 4194304 4196468 140732991404832 139641502394640 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5086] ppid=5025 vsize=10826484 memory=279982475596672 CPUtime=0.08 cores=4-7 /proc/5028/task/5086/stat : 5086 (java) S 5025 5028 804 0 -1 1077944384 101 13421 0 0 0 0 5 3 20 0 15 0 415900533 11086319616 53194 33554432000 4194304 4196468 140732991404832 139641390312304 139641930877570 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5087] ppid=5025 vsize=10826484 memory=279982476023840 CPUtime=0.08 cores=4-7 /proc/5028/task/5087/stat : 5087 (java) S 5025 5028 804 0 -1 1077944384 54 13421 0 0 0 0 5 3 20 0 15 0 415900533 11086319616 53194 33554432000 4194304 4196468 140732991404832 139641389258272 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5088] ppid=5025 vsize=10826484 memory=8112282956445269571 CPUtime=0.08 cores=4-7 /proc/5028/task/5088/stat : 5088 (java) S 5025 5028 804 0 -1 1077944384 1 13421 0 0 0 0 5 3 20 0 15 0 415900534 11086319616 53194 33554432000 4194304 4196468 140732991404832 139640795293056 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5089] ppid=5025 vsize=10826484 memory=7012474400667619408 CPUtime=0.08 cores=4-7 /proc/5028/task/5089/stat : 5089 (java) S 5025 5028 804 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 415900537 11086319616 53194 33554432000 4194304 4196468 140732991404832 139640487893328 139641930885019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5090] ppid=5025 vsize=10826484 memory=139991237900194 CPUtime=0.9 cores=4-7 /proc/5028/task/5090/stat : 5090 (java) R 5025 5028 804 0 -1 4202560 2873 13421 0 0 82 0 5 3 20 0 15 0 415900537 11086319616 53194 33554432000 4194304 4196468 140732991404832 139641355693080 139641912387121 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5091] ppid=5025 vsize=10826484 memory=-7233780906022716832 CPUtime=0.84 cores=4-7 /proc/5028/task/5091/stat : 5091 (java) R 5025 5028 804 0 -1 4202560 2137 13421 0 0 76 0 5 3 20 0 15 0 415900537 11086319616 53194 33554432000 4194304 4196468 140732991404832 139641354634336 139641914078671 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5092] ppid=5025 vsize=10826484 memory=4137290303932963203 CPUtime=0.53 cores=4-7 /proc/5028/task/5092/stat : 5092 (java) S 5025 5028 804 0 -1 1077944384 2075 13421 0 0 44 1 5 3 20 0 15 0 415900537 11086319616 53194 33554432000 4194304 4196468 140732991404832 139641353594992 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5093] ppid=5025 vsize=10826484 memory=6944656425123290226 CPUtime=0.08 cores=4-7 /proc/5028/task/5093/stat : 5093 (java) S 5025 5028 804 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 415900537 11086319616 53194 33554432000 4194304 4196468 140732991404832 139640454334688 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5094] ppid=5025 vsize=10826484 memory=-7531822216213012384 CPUtime=0.08 cores=4-7 /proc/5028/task/5094/stat : 5094 (java) S 5025 5028 804 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 415900537 11086319616 53194 33554432000 4194304 4196468 140732991404832 139641352543408 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 Current children cumulated CPU time: 3.56 s Current children cumulated vsize: 10826484 KiB ################ # More data... # ################ /proc/5028/task/5081/stat : 5081 (java) R 5025 5028 804 0 -1 4202560 97065 13421 0 0 237074 59 5 3 20 0 15 0 415900531 11107311616 433419 33554432000 4194304 4196468 140732991404832 139641902701872 139641543856778 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5082] ppid=5025 vsize=10846984 memory=1737268 CPUtime=5.76 cores=4-7 /proc/5028/task/5082/stat : 5082 (java) S 5025 5028 804 0 -1 1077944384 26300 13421 0 0 536 32 5 3 20 0 15 0 415900531 11107311616 433419 33554432000 4194304 4196468 140732991404832 139641935108752 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5083] ppid=5025 vsize=10846984 memory=1737268 CPUtime=5.72 cores=4-7 /proc/5028/task/5083/stat : 5083 (java) S 5025 5028 804 0 -1 1077944384 27718 13421 0 0 532 32 5 3 20 0 15 0 415900531 11107311616 433419 33554432000 4194304 4196468 140732991404832 139641504500240 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5084] ppid=5025 vsize=10846984 memory=1734704 CPUtime=5.73 cores=4-7 /proc/5028/task/5084/stat : 5084 (java) S 5025 5028 804 0 -1 1077944384 22517 13421 0 0 534 31 5 3 20 0 15 0 415900531 11107311616 433419 33554432000 4194304 4196468 140732991404832 139641503447440 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5085] ppid=5025 vsize=10846984 memory=1733676 CPUtime=5.75 cores=4-7 /proc/5028/task/5085/stat : 5085 (java) S 5025 5028 804 0 -1 1077944384 20504 13421 0 0 535 32 5 3 20 0 15 0 415900531 11107311616 433419 33554432000 4194304 4196468 140732991404832 139641502394640 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5086] ppid=5025 vsize=10846984 memory=8112282956445269571 CPUtime=3.54 cores=4-7 /proc/5028/task/5086/stat : 5086 (java) S 5025 5028 804 0 -1 1077944384 26407 13421 0 0 321 25 5 3 20 0 15 0 415900533 11107311616 433419 33554432000 4194304 4196468 140732991404832 139641390312304 139641930877570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5087] ppid=5025 vsize=10846984 memory=9588 CPUtime=0.08 cores=4-7 /proc/5028/task/5087/stat : 5087 (java) S 5025 5028 804 0 -1 1077944384 66 13421 0 0 0 0 5 3 20 0 15 0 415900533 11107311616 433419 33554432000 4194304 4196468 140732991404832 139641389258336 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5088] ppid=5025 vsize=10846984 memory=1738808 CPUtime=0.08 cores=4-7 /proc/5028/task/5088/stat : 5088 (java) S 5025 5028 804 0 -1 1077944384 5 13421 0 0 0 0 5 3 20 0 15 0 415900534 11107311616 433419 33554432000 4194304 4196468 140732991404832 139640795293056 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5089] ppid=5025 vsize=10846984 memory=1739832 CPUtime=0.08 cores=4-7 /proc/5028/task/5089/stat : 5089 (java) S 5025 5028 804 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 415900537 11107311616 433419 33554432000 4194304 4196468 140732991404832 139640487893328 139641930885019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5090] ppid=5025 vsize=10846984 memory=8 CPUtime=9.75 cores=4-7 /proc/5028/task/5090/stat : 5090 (java) S 5025 5028 804 0 -1 1077944384 31164 13421 0 0 962 5 5 3 20 0 15 0 415900537 11107311616 433419 33554432000 4194304 4196468 140732991404832 139641355700592 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5091] ppid=5025 vsize=10846984 memory=8 CPUtime=9.8 cores=4-7 /proc/5028/task/5091/stat : 5091 (java) S 5025 5028 804 0 -1 1077944384 29524 13421 0 0 969 3 5 3 20 0 15 0 415900537 11107311616 433419 33554432000 4194304 4196468 140732991404832 139641354647792 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5092] ppid=5025 vsize=10846984 memory=1734704 CPUtime=2.76 cores=4-7 /proc/5028/task/5092/stat : 5092 (java) S 5025 5028 804 0 -1 1077944384 22011 13421 0 0 262 6 5 3 20 0 15 0 415900537 11107311616 433419 33554432000 4194304 4196468 140732991404832 139641353594992 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5093] ppid=5025 vsize=10846984 memory=47008 CPUtime=0.08 cores=4-7 /proc/5028/task/5093/stat : 5093 (java) S 5025 5028 804 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 415900537 11107311616 433419 33554432000 4194304 4196468 140732991404832 139640454334688 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5094] ppid=5025 vsize=10846984 memory=984 CPUtime=1.31 cores=4-7 /proc/5028/task/5094/stat : 5094 (java) S 5025 5028 804 0 -1 1077944384 2281 13421 0 0 56 67 5 3 20 0 15 0 415900537 11107311616 433419 33554432000 4194304 4196468 140732991404832 139641352543408 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 Current children cumulated CPU time: 2420.89 s Current children cumulated vsize: 10846984 KiB Current children cumulated memory: 1733676 KiB [startup+2442.3 s] /proc/loadavg: 1.37 1.49 1.50 3/228 5589 /proc/meminfo: memFree=26266560/32770688 swapFree=66919992/67108860 [pid=5028] ppid=5025 vsize=10846984 memory=1719308 CPUtime=2481.33 cores=4-7 /proc/5028/stat : 5028 (java) S 5025 5028 804 0 -1 1077944320 309912 13421 0 0 247854 271 5 3 20 0 15 0 415900521 11107311616 429827 33554432000 4194304 4196468 140732991404832 140732991387376 139641930866423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 /proc/5028/statm: 2711746 429827 3648 1 0 2673805 0 [pid=5028/tid=5081] ppid=5025 vsize=10846984 memory=1719308 CPUtime=2431.08 cores=4-7 /proc/5028/task/5081/stat : 5081 (java) R 5025 5028 804 0 -1 4202560 97838 13421 0 0 243041 59 5 3 20 0 15 0 415900531 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641902701840 139641543858357 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5082] ppid=5025 vsize=10846984 memory=1717776 CPUtime=5.91 cores=4-7 /proc/5028/task/5082/stat : 5082 (java) S 5025 5028 804 0 -1 1077944384 26657 13421 0 0 551 32 5 3 20 0 15 0 415900531 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641935108752 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5083] ppid=5025 vsize=10846984 memory=1717260 CPUtime=5.88 cores=4-7 /proc/5028/task/5083/stat : 5083 (java) S 5025 5028 804 0 -1 1077944384 27954 13421 0 0 547 33 5 3 20 0 15 0 415900531 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641504500240 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5084] ppid=5025 vsize=10846984 memory=1717260 CPUtime=5.89 cores=4-7 /proc/5028/task/5084/stat : 5084 (java) S 5025 5028 804 0 -1 1077944384 22589 13421 0 0 550 31 5 3 20 0 15 0 415900531 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641503447440 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5085] ppid=5025 vsize=10846984 memory=1717260 CPUtime=5.91 cores=4-7 /proc/5028/task/5085/stat : 5085 (java) S 5025 5028 804 0 -1 1077944384 20752 13421 0 0 551 32 5 3 20 0 15 0 415900531 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641502394640 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5086] ppid=5025 vsize=10846984 memory=1717260 CPUtime=3.63 cores=4-7 /proc/5028/task/5086/stat : 5086 (java) S 5025 5028 804 0 -1 1077944384 26812 13421 0 0 330 25 5 3 20 0 15 0 415900533 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641390312304 139641930877570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5087] ppid=5025 vsize=10846984 memory=1717260 CPUtime=0.08 cores=4-7 /proc/5028/task/5087/stat : 5087 (java) S 5025 5028 804 0 -1 1077944384 66 13421 0 0 0 0 5 3 20 0 15 0 415900533 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641389258336 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5088] ppid=5025 vsize=10846984 memory=1719308 CPUtime=0.08 cores=4-7 /proc/5028/task/5088/stat : 5088 (java) S 5025 5028 804 0 -1 1077944384 5 13421 0 0 0 0 5 3 20 0 15 0 415900534 11107311616 429827 33554432000 4194304 4196468 140732991404832 139640795293056 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5089] ppid=5025 vsize=10846984 memory=1719308 CPUtime=0.08 cores=4-7 /proc/5028/task/5089/stat : 5089 (java) S 5025 5028 804 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 415900537 11107311616 429827 33554432000 4194304 4196468 140732991404832 139640487893328 139641930885019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5090] ppid=5025 vsize=10846984 memory=1719308 CPUtime=9.75 cores=4-7 /proc/5028/task/5090/stat : 5090 (java) S 5025 5028 804 0 -1 1077944384 31168 13421 0 0 962 5 5 3 20 0 15 0 415900537 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641355700592 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5091] ppid=5025 vsize=10846984 memory=1719308 CPUtime=9.8 cores=4-7 /proc/5028/task/5091/stat : 5091 (java) S 5025 5028 804 0 -1 1077944384 29528 13421 0 0 969 3 5 3 20 0 15 0 415900537 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641354647792 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5092] ppid=5025 vsize=10846984 memory=1717260 CPUtime=2.76 cores=4-7 /proc/5028/task/5092/stat : 5092 (java) S 5025 5028 804 0 -1 1077944384 22015 13421 0 0 262 6 5 3 20 0 15 0 415900537 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641353594992 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5093] ppid=5025 vsize=10846984 memory=1717260 CPUtime=0.08 cores=4-7 /proc/5028/task/5093/stat : 5093 (java) S 5025 5028 804 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 415900537 11107311616 429827 33554432000 4194304 4196468 140732991404832 139640454334688 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5094] ppid=5025 vsize=10846984 memory=1719308 CPUtime=1.34 cores=4-7 /proc/5028/task/5094/stat : 5094 (java) S 5025 5028 804 0 -1 1077944384 2312 13421 0 0 57 69 5 3 20 0 15 0 415900537 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641352543408 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 Current children cumulated CPU time: 2481.33 s Current children cumulated vsize: 10846984 KiB Current children cumulated memory: 1719308 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2480.7 s] /proc/loadavg: 1.43 1.49 1.50 3/228 5592 /proc/meminfo: memFree=26252756/32770688 swapFree=66919992/67108860 [pid=5028] ppid=5025 vsize=10846984 memory=1719308 CPUtime=2520.03 cores=4-7 /proc/5028/stat : 5028 (java) S 5025 5028 804 0 -1 1077944320 310989 13421 0 0 251721 274 5 3 20 0 15 0 415900521 11107311616 429827 33554432000 4194304 4196468 140732991404832 140732991387376 139641930866423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 /proc/5028/statm: 2711746 429827 3648 1 0 2673805 0 [pid=5028/tid=5081] ppid=5025 vsize=10846984 memory=1719308 CPUtime=2469.28 cores=4-7 /proc/5028/task/5081/stat : 5081 (java) R 5025 5028 804 0 -1 4202560 98238 13421 0 0 246861 59 5 3 20 0 15 0 415900531 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641902701440 139641536102156 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5082] ppid=5025 vsize=10846984 memory=1719308 CPUtime=6.02 cores=4-7 /proc/5028/task/5082/stat : 5082 (java) S 5025 5028 804 0 -1 1077944384 26660 13421 0 0 561 33 5 3 20 0 15 0 415900531 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641935108752 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5083] ppid=5025 vsize=10846984 memory=1719308 CPUtime=5.98 cores=4-7 /proc/5028/task/5083/stat : 5083 (java) S 5025 5028 804 0 -1 1077944384 28047 13421 0 0 557 33 5 3 20 0 15 0 415900531 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641504500240 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5084] ppid=5025 vsize=10846984 memory=1719308 CPUtime=5.98 cores=4-7 /proc/5028/task/5084/stat : 5084 (java) S 5025 5028 804 0 -1 1077944384 22876 13421 0 0 559 31 5 3 20 0 15 0 415900531 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641503447440 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5085] ppid=5025 vsize=10846984 memory=1719308 CPUtime=6.01 cores=4-7 /proc/5028/task/5085/stat : 5085 (java) S 5025 5028 804 0 -1 1077944384 20826 13421 0 0 560 33 5 3 20 0 15 0 415900531 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641502394640 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5086] ppid=5025 vsize=10846984 memory=1719308 CPUtime=3.7 cores=4-7 /proc/5028/task/5086/stat : 5086 (java) S 5025 5028 804 0 -1 1077944384 27009 13421 0 0 336 26 5 3 20 0 15 0 415900533 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641390312304 139641930877570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5087] ppid=5025 vsize=10846984 memory=1719308 CPUtime=0.08 cores=4-7 /proc/5028/task/5087/stat : 5087 (java) S 5025 5028 804 0 -1 1077944384 66 13421 0 0 0 0 5 3 20 0 15 0 415900533 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641389258336 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5088] ppid=5025 vsize=10846984 memory=1719308 CPUtime=0.08 cores=4-7 /proc/5028/task/5088/stat : 5088 (java) S 5025 5028 804 0 -1 1077944384 5 13421 0 0 0 0 5 3 20 0 15 0 415900534 11107311616 429827 33554432000 4194304 4196468 140732991404832 139640795293056 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5089] ppid=5025 vsize=10846984 memory=1719308 CPUtime=0.08 cores=4-7 /proc/5028/task/5089/stat : 5089 (java) S 5025 5028 804 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 415900537 11107311616 429827 33554432000 4194304 4196468 140732991404832 139640487893328 139641930885019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5090] ppid=5025 vsize=10846984 memory=1719308 CPUtime=9.75 cores=4-7 /proc/5028/task/5090/stat : 5090 (java) S 5025 5028 804 0 -1 1077944384 31170 13421 0 0 962 5 5 3 20 0 15 0 415900537 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641355700592 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5091] ppid=5025 vsize=10846984 memory=1719308 CPUtime=9.8 cores=4-7 /proc/5028/task/5091/stat : 5091 (java) S 5025 5028 804 0 -1 1077944384 29530 13421 0 0 969 3 5 3 20 0 15 0 415900537 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641354647792 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5092] ppid=5025 vsize=10846984 memory=5972 CPUtime=2.76 cores=4-7 /proc/5028/task/5092/stat : 5092 (java) S 5025 5028 804 0 -1 1077944384 22018 13421 0 0 262 6 5 3 20 0 15 0 415900537 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641353594992 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5093] ppid=5025 vsize=10846984 memory=1719308 CPUtime=0.08 cores=4-7 /proc/5028/task/5093/stat : 5093 (java) S 5025 5028 804 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 415900537 11107311616 429827 33554432000 4194304 4196468 140732991404832 139640454334688 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5094] ppid=5025 vsize=10846984 memory=1719308 CPUtime=1.36 cores=4-7 /proc/5028/task/5094/stat : 5094 (java) S 5025 5028 804 0 -1 1077944384 2328 13421 0 0 58 70 5 3 20 0 15 0 415900537 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641352543408 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 Current children cumulated CPU time: 2520.03 s Current children cumulated vsize: 10846984 KiB Current children cumulated memory: 1719308 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2480.74 s] # the end of solver process 5028 was just reported to runsolver # cumulated CPU time of all completed processes: user=2517.31 s, system=2.78654 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2480.7 s] /proc/loadavg: 1.43 1.49 1.50 3/228 5592 /proc/meminfo: memFree=26252756/32770688 swapFree=66919992/67108860 [pid=5028] ppid=5025 vsize=10846984 memory=1719308 CPUtime=2520.03 cores=4-7 /proc/5028/stat : 5028 (java) S 5025 5028 804 0 -1 1077944320 310989 13421 0 0 251721 274 5 3 20 0 15 0 415900521 11107311616 429827 33554432000 4194304 4196468 140732991404832 140732991387376 139641930866423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 /proc/5028/statm: 2711746 429827 3648 1 0 2673805 0 [pid=5028/tid=5081] ppid=5025 vsize=10846984 memory=1719308 CPUtime=2469.28 cores=4-7 /proc/5028/task/5081/stat : 5081 (java) R 5025 5028 804 0 -1 4202560 98238 13421 0 0 246861 59 5 3 20 0 15 0 415900531 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641902701440 139641536102156 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5082] ppid=5025 vsize=10846984 memory=1719308 CPUtime=6.02 cores=4-7 /proc/5028/task/5082/stat : 5082 (java) S 5025 5028 804 0 -1 1077944384 26660 13421 0 0 561 33 5 3 20 0 15 0 415900531 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641935108752 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5083] ppid=5025 vsize=10846984 memory=1719308 CPUtime=5.98 cores=4-7 /proc/5028/task/5083/stat : 5083 (java) S 5025 5028 804 0 -1 1077944384 28047 13421 0 0 557 33 5 3 20 0 15 0 415900531 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641504500240 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5084] ppid=5025 vsize=10846984 memory=1719308 CPUtime=5.98 cores=4-7 /proc/5028/task/5084/stat : 5084 (java) S 5025 5028 804 0 -1 1077944384 22876 13421 0 0 559 31 5 3 20 0 15 0 415900531 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641503447440 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5085] ppid=5025 vsize=10846984 memory=1719308 CPUtime=6.01 cores=4-7 /proc/5028/task/5085/stat : 5085 (java) S 5025 5028 804 0 -1 1077944384 20826 13421 0 0 560 33 5 3 20 0 15 0 415900531 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641502394640 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5086] ppid=5025 vsize=10846984 memory=1719308 CPUtime=3.7 cores=4-7 /proc/5028/task/5086/stat : 5086 (java) S 5025 5028 804 0 -1 1077944384 27009 13421 0 0 336 26 5 3 20 0 15 0 415900533 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641390312304 139641930877570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5087] ppid=5025 vsize=10846984 memory=1719308 CPUtime=0.08 cores=4-7 /proc/5028/task/5087/stat : 5087 (java) S 5025 5028 804 0 -1 1077944384 66 13421 0 0 0 0 5 3 20 0 15 0 415900533 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641389258336 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5088] ppid=5025 vsize=10846984 memory=1719308 CPUtime=0.08 cores=4-7 /proc/5028/task/5088/stat : 5088 (java) S 5025 5028 804 0 -1 1077944384 5 13421 0 0 0 0 5 3 20 0 15 0 415900534 11107311616 429827 33554432000 4194304 4196468 140732991404832 139640795293056 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5089] ppid=5025 vsize=10846984 memory=1719308 CPUtime=0.08 cores=4-7 /proc/5028/task/5089/stat : 5089 (java) S 5025 5028 804 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 415900537 11107311616 429827 33554432000 4194304 4196468 140732991404832 139640487893328 139641930885019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5090] ppid=5025 vsize=10846984 memory=1719308 CPUtime=9.75 cores=4-7 /proc/5028/task/5090/stat : 5090 (java) S 5025 5028 804 0 -1 1077944384 31170 13421 0 0 962 5 5 3 20 0 15 0 415900537 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641355700592 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5091] ppid=5025 vsize=10846984 memory=1719308 CPUtime=9.8 cores=4-7 /proc/5028/task/5091/stat : 5091 (java) S 5025 5028 804 0 -1 1077944384 29530 13421 0 0 969 3 5 3 20 0 15 0 415900537 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641354647792 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5092] ppid=5025 vsize=10846984 memory=5972 CPUtime=2.76 cores=4-7 /proc/5028/task/5092/stat : 5092 (java) S 5025 5028 804 0 -1 1077944384 22018 13421 0 0 262 6 5 3 20 0 15 0 415900537 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641353594992 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5093] ppid=5025 vsize=10846984 memory=1719308 CPUtime=0.08 cores=4-7 /proc/5028/task/5093/stat : 5093 (java) S 5025 5028 804 0 -1 1077944384 3 13421 0 0 0 0 5 3 20 0 15 0 415900537 11107311616 429827 33554432000 4194304 4196468 140732991404832 139640454334688 139641930876629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 [pid=5028/tid=5094] ppid=5025 vsize=10846984 memory=1719308 CPUtime=1.36 cores=4-7 /proc/5028/task/5094/stat : 5094 (java) S 5025 5028 804 0 -1 1077944384 2328 13421 0 0 58 70 5 3 20 0 15 0 415900537 11107311616 429827 33554432000 4194304 4196468 140732991404832 139641352543408 139641930877570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 17604608 140732991408879 140732991411397 140732991411397 140732991414223 0 Current children cumulated CPU time: 2520.03 s Current children cumulated vsize: 10846984 KiB Current children cumulated memory: 1719308 KiB Child status: 143 Real time (s): 2480.74 CPU time (s): 2520.09 CPU user time (s): 2517.31 CPU system time (s): 2.78654 CPU usage (%): 101.586 Max. virtual memory (cumulated for all children) (KiB): 10846984 Max. memory (cumulated for all children) (KiB): 2170516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2517.31 system time used= 2.78654 maximum resident set size= 2173140 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 325331 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2936 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 130956 involuntary context switches= 4420 # summary of solver processes directly reported to runsolver: # pid: 5028 # total CPU time (s): 2520.09 # total CPU user time (s): 2517.31 # total CPU system time (s): 2.78654 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 15.9755 second user time and 25.8665 second system time The end
Begin job on node120 at 2011-12-15 02:42:44 IDJOB=4395868 IDBENCH=126429 IDSOLVER=2846 FILE ID=node120/4395868-1568398942 RUNJOBID= node120-1323907941-3248 PBS_JOBID= 21701843 Free space on /tmp= 61612 MiB SOLVER NAME= Concrete 3.12.2 BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-9-8-4-cp.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395868-1568398942/watcher-4395868-1568398942 -o /tmp/evaluation-result-4395868-1568398942/solver-4395868-1568398942 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323907941-3248 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1854632693 HOME/instance-4395868-1568398942.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bd9ca51d6afa7a7de86d4bfb05f523c8 RANDOM SEED=1854632693 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: 26879432 kB MemAvailable: 30378492 kB Buffers: 180676 kB Cached: 3623156 kB SwapCached: 77548 kB Active: 2517488 kB Inactive: 2816620 kB Active(anon): 1452156 kB Inactive(anon): 127884 kB Active(file): 1065332 kB Inactive(file): 2688736 kB Unevictable: 107236 kB Mlocked: 107236 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 36200 kB Writeback: 0 kB AnonPages: 1561420 kB Mapped: 61728 kB Shmem: 41008 kB Slab: 150792 kB SReclaimable: 121652 kB SUnreclaim: 29140 kB KernelStack: 3776 kB PageTables: 8816 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 2569572 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1404928 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= 61576 MiB End job on node120 at 2011-12-15 03:24:05