Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Concrete 3.10 | ? (TO) | 2520.11 | 2471.93 |
Name | Blackhole/Blackhole-xcsp2-s07/ Blackhole-4-07h-1_X2.xml |
MD5SUM | a5169531bc56f5bae607e8bf56d35270 |
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 | 174.931 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 112 |
Number of constraints | 1262 |
Number of domains | 4 |
Minimum domain size | 1 |
Maximum domain size | 28 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}] |
Minimum variable degree | 0 |
Maximum variable degree | 56 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":1262}] |
Number of extensional constraints | 1262 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":1262}] |
Optimization problem | NO |
Type of objective |
0.69/0.60 c Concrete v3.10.1560635388952 running 2520.05/2471.91 Exception in thread "main" java.util.concurrent.TimeoutException 2520.05/2471.91 at concrete.MAC.mac(MAC.scala:189) 2520.05/2471.91 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:253) 2520.05/2471.91 at scala.util.Try$.apply(Try.scala:212) 2520.05/2471.91 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2520.05/2471.91 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2520.05/2471.91 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2520.05/2471.91 at concrete.MAC.oneRun(MAC.scala:253) 2520.05/2471.91 at concrete.MAC.nextSolution(MAC.scala:272) 2520.05/2471.91 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336) 2520.05/2471.91 at concrete.ProblemState.map(ProblemState.scala:228) 2520.05/2471.91 at concrete.ProblemState.map(ProblemState.scala:210) 2520.05/2471.91 at concrete.MAC.nextSolution(MAC.scala:334) 2520.05/2471.91 at concrete.Solver.hasNext(Solver.scala:160) 2520.05/2471.91 at scala.collection.Iterator.nextOption(Iterator.scala:104) 2520.05/2471.91 at scala.collection.Iterator.nextOption$(Iterator.scala:104) 2520.05/2471.91 at concrete.Solver.nextOption(Solver.scala:67) 2520.05/2471.91 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:77) 2520.05/2471.91 at scala.util.Success.map(Try.scala:264) 2520.05/2471.91 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:67) 2520.05/2471.91 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2520.05/2471.91 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.05/2471.91 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.05/2471.91 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.05/2471.91 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2520.05/2471.91 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2520.05/2471.91 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2520.05/2471.91 at scala.App.$anonfun$main$1(App.scala:75) 2520.05/2471.91 at scala.App.$anonfun$main$1$adapted(App.scala:75) 2520.05/2471.91 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2520.05/2471.91 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2520.05/2471.91 at scala.collection.AbstractIterable.foreach(Iterable.scala:904) 2520.05/2471.91 at scala.App.main(App.scala:75) 2520.05/2471.91 at scala.App.main$(App.scala:73) 2520.05/2471.91 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.05/2471.91 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.05/2471.91 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 (10149 MiB free) memory of node 1: 16384 MiB (12339 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387334-1568299197/watcher-4387334-1568299197 -o /tmp/evaluation-result-4387334-1568299197/solver-4387334-1568299197 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568285921-31916 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=167822977 HOME/instance-4387334-1568299197.xml running on 4 cores: 0-3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=3391, runsolver pid=3388 [startup+0.100128 s]* /proc/loadavg: 1.43 1.43 1.38 3/215 3444 /proc/meminfo: memFree=23027924/32770688 swapFree=66960428/67108860 [pid=3391] ppid=3388 vsize=9972712 memory=15692 CPUtime=0.09 cores=0-3 /proc/3391/stat : 3391 (java) S 3388 3391 31157 0 -1 1077944320 3625 13289 0 0 0 1 5 3 20 0 6 0 405861370 10212057088 3859 33554432000 4194304 4196468 140724722585840 140724722568384 140695731085047 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 /proc/3391/statm: 2493178 3859 1338 1 0 2481616 0 [pid=3391/tid=3444] ppid=3388 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=0-3 /proc/3391/task/3444/stat : 3444 (java) R 3388 3391 31157 0 -1 4202560 1758 13289 0 0 0 0 5 3 20 0 6 0 405861379 10212057088 4253 33554432000 4194304 4196468 140724722585840 140695702921808 140695654162294 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3445] ppid=3388 vsize=9972712 memory=5792869726567804975 CPUtime=0.08 cores=0-3 /proc/3391/task/3445/stat : 3445 (java) S 3388 3391 31157 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 6 0 405861380 10212057088 4253 33554432000 4194304 4196468 140724722585840 140695735326992 140695731095253 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3446] ppid=3388 vsize=9972712 memory=140490898847360 CPUtime=0.08 cores=0-3 /proc/3391/task/3446/stat : 3446 (java) S 3388 3391 31157 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 6 0 405861380 10212057088 4253 33554432000 4194304 4196468 140724722585840 140695623600528 140695731095253 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3447] ppid=3388 vsize=9972712 memory=0 CPUtime=0.08 cores=0-3 /proc/3391/task/3447/stat : 3447 (java) S 3388 3391 31157 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 6 0 405861380 10212057088 4253 33554432000 4194304 4196468 140724722585840 140695622547984 140695731095253 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3448] ppid=3388 vsize=9972712 memory=-1 CPUtime=0.08 cores=0-3 /proc/3391/task/3448/stat : 3448 (java) S 3388 3391 31157 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 6 0 405861380 10212057088 4253 33554432000 4194304 4196468 140724722585840 140695621495440 140695731095253 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 9972712 KiB Current children cumulated memory: 15692 KiB [startup+0.211465 s]* /proc/loadavg: 1.43 1.43 1.38 4/228 3457 /proc/meminfo: memFree=23006320/32770688 swapFree=66960428/67108860 [pid=3391] ppid=3388 vsize=10818900 memory=35148 CPUtime=0.26 cores=0-3 /proc/3391/stat : 3391 (java) S 3388 3391 31157 0 -1 1077944320 6597 13289 0 0 16 2 5 3 20 0 15 0 405861370 11078553600 8787 33554432000 4194304 4196468 140724722585840 140724722568384 140695731085047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 /proc/3391/statm: 2704725 8787 2970 1 0 2667149 0 [pid=3391/tid=3444] ppid=3388 vsize=10818900 memory=8389772277269004345 CPUtime=0.19 cores=0-3 /proc/3391/task/3444/stat : 3444 (java) R 3388 3391 31157 0 -1 4202560 3092 13289 0 0 10 1 5 3 20 0 15 0 405861379 11078553600 8787 33554432000 4194304 4196468 140724722585840 140695702915888 140695711361872 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3445] ppid=3388 vsize=10818900 memory=4294967661 CPUtime=0.08 cores=0-3 /proc/3391/task/3445/stat : 3445 (java) S 3388 3391 31157 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 405861380 11078553600 8787 33554432000 4194304 4196468 140724722585840 140695735326992 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3446] ppid=3388 vsize=10818900 memory=140490900703523 CPUtime=0.08 cores=0-3 /proc/3391/task/3446/stat : 3446 (java) S 3388 3391 31157 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 405861380 11078553600 8787 33554432000 4194304 4196468 140724722585840 140695623600528 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3447] ppid=3388 vsize=10818900 memory=0 CPUtime=0.08 cores=0-3 /proc/3391/task/3447/stat : 3447 (java) S 3388 3391 31157 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 405861380 11078553600 8787 33554432000 4194304 4196468 140724722585840 140695622547984 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3448] ppid=3388 vsize=10818900 memory=-1 CPUtime=0.08 cores=0-3 /proc/3391/task/3448/stat : 3448 (java) S 3388 3391 31157 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 405861380 11078553600 8787 33554432000 4194304 4196468 140724722585840 140695621495440 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3449] ppid=3388 vsize=10818900 memory=140490898847360 CPUtime=0.08 cores=0-3 /proc/3391/task/3449/stat : 3449 (java) S 3388 3391 31157 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 405861382 11078553600 8787 33554432000 4194304 4196468 140724722585840 140695189797360 140695731096194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3450] ppid=3388 vsize=10818900 memory=-1 CPUtime=0.08 cores=0-3 /proc/3391/task/3450/stat : 3450 (java) S 3388 3391 31157 0 -1 1077944384 33 13289 0 0 0 0 5 3 20 0 15 0 405861382 11078553600 8787 33554432000 4194304 4196468 140724722585840 140695188743584 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3451] ppid=3388 vsize=10818900 memory=0 CPUtime=0.08 cores=0-3 /proc/3391/task/3451/stat : 3451 (java) S 3388 3391 31157 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 405861382 11078553600 8787 33554432000 4194304 4196468 140724722585840 140694605784560 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3452] ppid=3388 vsize=10818900 memory=0 CPUtime=0.08 cores=0-3 /proc/3391/task/3452/stat : 3452 (java) S 3388 3391 31157 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 405861385 11078553600 8787 33554432000 4194304 4196468 140724722585840 140694298385104 140695731103643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3453] ppid=3388 vsize=10818900 memory=0 CPUtime=0.09 cores=0-3 /proc/3391/task/3453/stat : 3453 (java) S 3388 3391 31157 0 -1 1077944384 352 13289 0 0 1 0 5 3 20 0 15 0 405861385 11078553600 8787 33554432000 4194304 4196468 140724722585840 140695155185648 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3454] ppid=3388 vsize=10818900 memory=-1 CPUtime=0.09 cores=0-3 /proc/3391/task/3454/stat : 3454 (java) S 3388 3391 31157 0 -1 1077944384 280 13289 0 0 1 0 5 3 20 0 15 0 405861385 11078553600 8787 33554432000 4194304 4196468 140724722585840 140695154133104 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3455] ppid=3388 vsize=10818900 memory=140490898847360 CPUtime=0.1 cores=0-3 /proc/3391/task/3455/stat : 3455 (java) S 3388 3391 31157 0 -1 1077944384 614 13289 0 0 2 0 5 3 20 0 15 0 405861385 11078553600 8787 33554432000 4194304 4196468 140724722585840 140695153080560 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3456] ppid=3388 vsize=10818900 memory=-1 CPUtime=0.08 cores=0-3 /proc/3391/task/3456/stat : 3456 (java) S 3388 3391 31157 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 405861386 11078553600 8787 33554432000 4194304 4196468 140724722585840 140694264826464 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3457] ppid=3388 vsize=10818900 memory=140490898847360 CPUtime=0.08 cores=0-3 /proc/3391/task/3457/stat : 3457 (java) S 3388 3391 31157 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 405861386 11078553600 8787 33554432000 4194304 4196468 140724722585840 140695152028464 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 Current children cumulated CPU time: 0.26 s Current children cumulated vsize: 10818900 KiB Current children cumulated memory: 35148 KiB [startup+0.311621 s]* /proc/loadavg: 1.43 1.43 1.38 4/228 3457 /proc/meminfo: memFree=22993272/32770688 swapFree=66960428/67108860 [pid=3391] ppid=3388 vsize=10820108 memory=45792 CPUtime=0.4 cores=0-3 /proc/3391/stat : 3391 (java) S 3388 3391 31157 0 -1 1077944320 10059 13289 0 0 28 4 5 3 20 0 15 0 405861370 11079790592 11420 33554432000 4194304 4196468 140724722585840 140724722568384 140695731085047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 /proc/3391/statm: 2705027 11420 3024 1 0 2667405 0 [pid=3391/tid=3444] ppid=3388 vsize=10819084 memory=6935054825532540783 CPUtime=0.29 cores=0-3 /proc/3391/task/3444/stat : 3444 (java) R 3388 3391 31157 0 -1 4202560 6634 13289 0 0 18 3 5 3 20 0 15 0 405861379 11078742016 11452 33554432000 4194304 4196468 140724722585840 140695702884304 140695715165534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3445] ppid=3388 vsize=10819084 memory=4872558044660077418 CPUtime=0.08 cores=0-3 /proc/3391/task/3445/stat : 3445 (java) S 3388 3391 31157 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 405861380 11078742016 11452 33554432000 4194304 4196468 140724722585840 140695735326992 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3446] ppid=3388 vsize=10819084 memory=-2843878391411229854 CPUtime=0.08 cores=0-3 /proc/3391/task/3446/stat : 3446 (java) S 3388 3391 31157 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 405861380 11078742016 11452 33554432000 4194304 4196468 140724722585840 140695623600528 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3447] ppid=3388 vsize=10819084 memory=-8412656567334364540 CPUtime=0.08 cores=0-3 /proc/3391/task/3447/stat : 3447 (java) S 3388 3391 31157 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 405861380 11078742016 11452 33554432000 4194304 4196468 140724722585840 140695622547984 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3448] ppid=3388 vsize=10819084 memory=-1 CPUtime=0.08 cores=0-3 /proc/3391/task/3448/stat : 3448 (java) S 3388 3391 31157 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 405861380 11078742016 11452 33554432000 4194304 4196468 140724722585840 140695621495440 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3449] ppid=3388 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/3391/task/3449/stat : 3449 (java) S 3388 3391 31157 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 405861382 11078742016 11452 33554432000 4194304 4196468 140724722585840 140695189797360 140695731096194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3450] ppid=3388 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/3391/task/3450/stat : 3450 (java) S 3388 3391 31157 0 -1 1077944384 33 13289 0 0 0 0 5 3 20 0 15 0 405861382 11078742016 11452 33554432000 4194304 4196468 140724722585840 140695188743584 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3451] ppid=3388 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/3391/task/3451/stat : 3451 (java) S 3388 3391 31157 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 405861382 11078742016 11452 33554432000 4194304 4196468 140724722585840 140694605784560 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3452] ppid=3388 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/3391/task/3452/stat : 3452 (java) S 3388 3391 31157 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 405861385 11078742016 11452 33554432000 4194304 4196468 140724722585840 140694298385104 140695731103643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3453] ppid=3388 vsize=10819084 memory=0 CPUtime=0.09 cores=0-3 /proc/3391/task/3453/stat : 3453 (java) S 3388 3391 31157 0 -1 1077944384 352 13289 0 0 1 0 5 3 20 0 15 0 405861385 11078742016 11452 33554432000 4194304 4196468 140724722585840 140695155185648 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3454] ppid=3388 vsize=10819084 memory=0 CPUtime=0.09 cores=0-3 /proc/3391/task/3454/stat : 3454 (java) S 3388 3391 31157 0 -1 1077944384 281 13289 0 0 1 0 5 3 20 0 15 0 405861385 11078742016 11452 33554432000 4194304 4196468 140724722585840 140695154133104 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3455] ppid=3388 vsize=10819084 memory=0 CPUtime=0.13 cores=0-3 /proc/3391/task/3455/stat : 3455 (java) S 3388 3391 31157 0 -1 1077944384 635 13289 0 0 5 0 5 3 20 0 15 0 405861385 11078742016 11452 33554432000 4194304 4196468 140724722585840 140695153080560 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3456] ppid=3388 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/3391/task/3456/stat : 3456 (java) S 3388 3391 31157 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 405861386 11078742016 11452 33554432000 4194304 4196468 140724722585840 140694264826464 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3457] ppid=3388 vsize=10819084 memory=0 CPUtime=0.08 cores=0-3 /proc/3391/task/3457/stat : 3457 (java) S 3388 3391 31157 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 405861386 11078742016 11452 33554432000 4194304 4196468 140724722585840 140695152028464 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 Current children cumulated CPU time: 0.4 s Current children cumulated vsize: 10820108 KiB Current children cumulated memory: 45792 KiB [startup+0.700755 s] /proc/loadavg: 1.43 1.43 1.38 3/228 3457 /proc/meminfo: memFree=22983512/32770688 swapFree=66960428/67108860 [pid=3391] ppid=3388 vsize=10822292 memory=74468 CPUtime=1.11 cores=0-3 /proc/3391/stat : 3391 (java) S 3388 3391 31157 0 -1 1077944320 13911 13289 0 0 97 6 5 3 20 0 15 0 405861370 11082027008 18617 33554432000 4194304 4196468 140724722585840 140724722568384 140695731085047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 /proc/3391/statm: 2705573 18617 3479 1 0 2667661 0 [pid=3391/tid=3444] ppid=3388 vsize=10822292 memory=0 CPUtime=0.66 cores=0-3 /proc/3391/task/3444/stat : 3444 (java) R 3388 3391 31157 0 -1 4202560 9677 13289 0 0 54 4 5 3 20 0 15 0 405861379 11082027008 18617 33554432000 4194304 4196468 140724722585840 140695702901024 140695715165534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3445] ppid=3388 vsize=10822292 memory=0 CPUtime=0.08 cores=0-3 /proc/3391/task/3445/stat : 3445 (java) S 3388 3391 31157 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 405861380 11082027008 18617 33554432000 4194304 4196468 140724722585840 140695735326992 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3446] ppid=3388 vsize=10822292 memory=0 CPUtime=0.08 cores=0-3 /proc/3391/task/3446/stat : 3446 (java) S 3388 3391 31157 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 405861380 11082027008 18617 33554432000 4194304 4196468 140724722585840 140695623600528 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3447] ppid=3388 vsize=10822292 memory=280981592346384 CPUtime=0.08 cores=0-3 /proc/3391/task/3447/stat : 3447 (java) S 3388 3391 31157 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 405861380 11082027008 18617 33554432000 4194304 4196468 140724722585840 140695622547984 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3448] ppid=3388 vsize=10822292 memory=2467727148801 CPUtime=0.08 cores=0-3 /proc/3391/task/3448/stat : 3448 (java) S 3388 3391 31157 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 405861380 11082027008 18617 33554432000 4194304 4196468 140724722585840 140695621495440 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3449] ppid=3388 vsize=10822292 memory=31606564 CPUtime=0.08 cores=0-3 /proc/3391/task/3449/stat : 3449 (java) S 3388 3391 31157 0 -1 1077944384 5 13289 0 0 0 0 5 3 20 0 15 0 405861382 11082027008 18617 33554432000 4194304 4196468 140724722585840 140695189797360 140695731096194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3450] ppid=3388 vsize=10822292 memory=6307362057509636499 CPUtime=0.08 cores=0-3 /proc/3391/task/3450/stat : 3450 (java) S 3388 3391 31157 0 -1 1077944384 33 13289 0 0 0 0 5 3 20 0 15 0 405861382 11082027008 18617 33554432000 4194304 4196468 140724722585840 140695188743584 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3451] ppid=3388 vsize=10822292 memory=7158578613868057424 CPUtime=0.08 cores=0-3 /proc/3391/task/3451/stat : 3451 (java) S 3388 3391 31157 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 405861382 11082027008 18617 33554432000 4194304 4196468 140724722585840 140694605784560 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3452] ppid=3388 vsize=10822292 memory=7595725831727968097 CPUtime=0.08 cores=0-3 /proc/3391/task/3452/stat : 3452 (java) S 3388 3391 31157 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 405861385 11082027008 18617 33554432000 4194304 4196468 140724722585840 140694298385104 140695731103643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3453] ppid=3388 vsize=10822292 memory=6656426216303648864 CPUtime=0.19 cores=0-3 /proc/3391/task/3453/stat : 3453 (java) R 3388 3391 31157 0 -1 4202560 582 13289 0 0 11 0 5 3 20 0 15 0 405861385 11082027008 18617 33554432000 4194304 4196468 140724722585840 140695155174240 140695712629500 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3454] ppid=3388 vsize=10822292 memory=0 CPUtime=0.2 cores=0-3 /proc/3391/task/3454/stat : 3454 (java) R 3388 3391 31157 0 -1 4202560 632 13289 0 0 12 0 5 3 20 0 15 0 405861385 11082027008 18617 33554432000 4194304 4196468 140724722585840 140695154119536 140695710344815 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3455] ppid=3388 vsize=10822292 memory=0 CPUtime=0.25 cores=0-3 /proc/3391/task/3455/stat : 3455 (java) S 3388 3391 31157 0 -1 1077944384 760 13289 0 0 17 0 5 3 20 0 15 0 405861385 11082027008 18617 33554432000 4194304 4196468 140724722585840 140695153080560 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3456] ppid=3388 vsize=10822292 memory=280981592909376 CPUtime=0.08 cores=0-3 /proc/3391/task/3456/stat : 3456 (java) S 3388 3391 31157 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 405861386 11082027008 18617 33554432000 4194304 4196468 140724722585840 140694264826464 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3457] ppid=3388 vsize=10822292 memory=140492675220057 CPUtime=0.08 cores=0-3 /proc/3391/task/3457/stat : 3457 (java) S 3388 3391 31157 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 405861386 11082027008 18617 33554432000 4194304 4196468 140724722585840 140695152028464 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 Current children cumulated CPU time: 1.11 s Current children cumulated vsize: 10822292 KiB Current children cumulated memory: 74468 KiB [startup+1.50083 s] /proc/loadavg: 1.43 1.43 1.38 7/228 3457 /proc/meminfo: memFree=22952568/32770688 swapFree=66960428/67108860 [pid=3391] ppid=3388 vsize=10832608 memory=168032 CPUtime=2.72 cores=0-3 /proc/3391/stat : 3391 (java) S 3388 3391 31157 0 -1 1077944320 21152 13289 0 0 254 10 5 3 20 0 15 0 405861370 11092590592 42008 33554432000 4194304 4196468 140724722585840 140724722568384 140695731085047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 /proc/3391/statm: 2708152 42008 3574 1 0 2670221 0 [pid=3391/tid=3444] ppid=3388 vsize=10832608 memory=-6948614817169703622 CPUtime=1.43 cores=0-3 /proc/3391/task/3444/stat : 3444 (java) R 3388 3391 31157 0 -1 4202560 14145 13289 0 0 129 6 5 3 20 0 15 0 405861379 11092590592 42008 33554432000 4194304 4196468 140724722585840 140695702917216 140695715165534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3445] ppid=3388 vsize=10832608 memory=74468 CPUtime=0.09 cores=0-3 /proc/3391/task/3445/stat : 3445 (java) S 3388 3391 31157 0 -1 1077944384 42 13289 0 0 1 0 5 3 20 0 15 0 405861380 11092590592 42008 33554432000 4194304 4196468 140724722585840 140695735326992 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3446] ppid=3388 vsize=10832608 memory=0 CPUtime=0.09 cores=0-3 /proc/3391/task/3446/stat : 3446 (java) S 3388 3391 31157 0 -1 1077944384 53 13289 0 0 1 0 5 3 20 0 15 0 405861380 11092590592 42008 33554432000 4194304 4196468 140724722585840 140695623600528 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3447] ppid=3388 vsize=10832608 memory=0 CPUtime=0.09 cores=0-3 /proc/3391/task/3447/stat : 3447 (java) S 3388 3391 31157 0 -1 1077944384 28 13289 0 0 1 0 5 3 20 0 15 0 405861380 11092590592 42008 33554432000 4194304 4196468 140724722585840 140695622547984 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3448] ppid=3388 vsize=10832608 memory=0 CPUtime=0.09 cores=0-3 /proc/3391/task/3448/stat : 3448 (java) S 3388 3391 31157 0 -1 1077944384 270 13289 0 0 1 0 5 3 20 0 15 0 405861380 11092590592 42008 33554432000 4194304 4196468 140724722585840 140695621495440 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3449] ppid=3388 vsize=10832608 memory=8112282956445269571 CPUtime=0.09 cores=0-3 /proc/3391/task/3449/stat : 3449 (java) S 3388 3391 31157 0 -1 1077944384 500 13289 0 0 1 0 5 3 20 0 15 0 405861382 11092590592 42008 33554432000 4194304 4196468 140724722585840 140695189797360 140695731096194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3450] ppid=3388 vsize=10832608 memory=0 CPUtime=0.08 cores=0-3 /proc/3391/task/3450/stat : 3450 (java) S 3388 3391 31157 0 -1 1077944384 34 13289 0 0 0 0 5 3 20 0 15 0 405861382 11092590592 42008 33554432000 4194304 4196468 140724722585840 140695188743648 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3451] ppid=3388 vsize=10832608 memory=0 CPUtime=0.08 cores=0-3 /proc/3391/task/3451/stat : 3451 (java) S 3388 3391 31157 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 405861382 11092590592 42008 33554432000 4194304 4196468 140724722585840 140694605784576 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3452] ppid=3388 vsize=10832608 memory=0 CPUtime=0.08 cores=0-3 /proc/3391/task/3452/stat : 3452 (java) S 3388 3391 31157 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 405861385 11092590592 42008 33554432000 4194304 4196468 140724722585840 140694298385104 140695731103643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3453] ppid=3388 vsize=10832608 memory=0 CPUtime=0.44 cores=0-3 /proc/3391/task/3453/stat : 3453 (java) S 3388 3391 31157 0 -1 1077944384 1101 13289 0 0 36 0 5 3 20 0 15 0 405861385 11092590592 42008 33554432000 4194304 4196468 140724722585840 140695155185648 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3454] ppid=3388 vsize=10832608 memory=0 CPUtime=0.42 cores=0-3 /proc/3391/task/3454/stat : 3454 (java) S 3388 3391 31157 0 -1 1077944384 1065 13289 0 0 34 0 5 3 20 0 15 0 405861385 11092590592 42008 33554432000 4194304 4196468 140724722585840 140695154133104 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3455] ppid=3388 vsize=10832608 memory=-7966001967407402336 CPUtime=0.53 cores=0-3 /proc/3391/task/3455/stat : 3455 (java) S 3388 3391 31157 0 -1 1077944384 1697 13289 0 0 45 0 5 3 20 0 15 0 405861385 11092590592 42008 33554432000 4194304 4196468 140724722585840 140695153080560 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3456] ppid=3388 vsize=10832608 memory=6944613755495348631 CPUtime=0.08 cores=0-3 /proc/3391/task/3456/stat : 3456 (java) S 3388 3391 31157 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 405861386 11092590592 42008 33554432000 4194304 4196468 140724722585840 140694264826464 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3457] ppid=3388 vsize=10832608 memory=7100839870102598768 CPUtime=0.08 cores=0-3 /proc/3391/task/3457/stat : 3457 (java) S 3388 3391 31157 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 405861386 11092590592 42008 33554432000 4194304 4196468 140724722585840 140695152028464 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 Current children cumulated CPU time: 2.72 s Current children cumulated vsize: 10832608 KiB ################ # More data... # ################ /proc/3391/task/3444/stat : 3444 (java) R 3388 3391 31157 0 -1 4202560 65353 13289 0 0 235572 49 5 3 20 0 15 0 405861379 11105193984 234957 33554432000 4194304 4196468 140724722585840 140695702920352 140695307725986 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3445] ppid=3388 vsize=10844916 memory=939732 CPUtime=12.51 cores=0-3 /proc/3391/task/3445/stat : 3445 (java) S 3388 3391 31157 0 -1 1077944384 12050 13289 0 0 1180 63 5 3 20 0 15 0 405861380 11105193984 234957 33554432000 4194304 4196468 140724722585840 140695735326992 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3446] ppid=3388 vsize=10844916 memory=939828 CPUtime=12.5 cores=0-3 /proc/3391/task/3446/stat : 3446 (java) S 3388 3391 31157 0 -1 1077944384 19573 13289 0 0 1184 58 5 3 20 0 15 0 405861380 11105193984 234957 33554432000 4194304 4196468 140724722585840 140695623600528 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3447] ppid=3388 vsize=10844916 memory=939828 CPUtime=12.51 cores=0-3 /proc/3391/task/3447/stat : 3447 (java) S 3388 3391 31157 0 -1 1077944384 15159 13289 0 0 1181 62 5 3 20 0 15 0 405861380 11105193984 234957 33554432000 4194304 4196468 140724722585840 140695622547984 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3448] ppid=3388 vsize=10844916 memory=937460 CPUtime=12.47 cores=0-3 /proc/3391/task/3448/stat : 3448 (java) S 3388 3391 31157 0 -1 1077944384 14754 13289 0 0 1183 56 5 3 20 0 15 0 405861380 11105193984 234957 33554432000 4194304 4196468 140724722585840 140695621495440 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3449] ppid=3388 vsize=10844916 memory=939732 CPUtime=11.38 cores=0-3 /proc/3391/task/3449/stat : 3449 (java) S 3388 3391 31157 0 -1 1077944384 14994 13289 0 0 1072 58 5 3 20 0 15 0 405861382 11105193984 234957 33554432000 4194304 4196468 140724722585840 140695189797360 140695731096194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3450] ppid=3388 vsize=10844916 memory=939732 CPUtime=0.08 cores=0-3 /proc/3391/task/3450/stat : 3450 (java) S 3388 3391 31157 0 -1 1077944384 39 13289 0 0 0 0 5 3 20 0 15 0 405861382 11105193984 234957 33554432000 4194304 4196468 140724722585840 140695188743712 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3451] ppid=3388 vsize=10844916 memory=939796 CPUtime=0.08 cores=0-3 /proc/3391/task/3451/stat : 3451 (java) S 3388 3391 31157 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 405861382 11105193984 234957 33554432000 4194304 4196468 140724722585840 140694605784576 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3452] ppid=3388 vsize=10844916 memory=939828 CPUtime=0.08 cores=0-3 /proc/3391/task/3452/stat : 3452 (java) S 3388 3391 31157 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 405861385 11105193984 234957 33554432000 4194304 4196468 140724722585840 140694298385104 140695731103643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3453] ppid=3388 vsize=10844916 memory=939828 CPUtime=3.74 cores=0-3 /proc/3391/task/3453/stat : 3453 (java) S 3388 3391 31157 0 -1 1077944384 14136 13289 0 0 362 4 5 3 20 0 15 0 405861385 11105193984 234957 33554432000 4194304 4196468 140724722585840 140695155185648 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3454] ppid=3388 vsize=10844916 memory=939828 CPUtime=3.31 cores=0-3 /proc/3391/task/3454/stat : 3454 (java) S 3388 3391 31157 0 -1 1077944384 9844 13289 0 0 320 3 5 3 20 0 15 0 405861385 11105193984 234957 33554432000 4194304 4196468 140724722585840 140695154133104 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3455] ppid=3388 vsize=10844916 memory=939828 CPUtime=3.4 cores=0-3 /proc/3391/task/3455/stat : 3455 (java) S 3388 3391 31157 0 -1 1077944384 15682 13289 0 0 328 4 5 3 20 0 15 0 405861385 11105193984 234957 33554432000 4194304 4196468 140724722585840 140695153080560 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3456] ppid=3388 vsize=10844916 memory=928 CPUtime=0.08 cores=0-3 /proc/3391/task/3456/stat : 3456 (java) S 3388 3391 31157 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 405861386 11105193984 234957 33554432000 4194304 4196468 140724722585840 140694264826464 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3457] ppid=3388 vsize=10844916 memory=1628 CPUtime=1.44 cores=0-3 /proc/3391/task/3457/stat : 3457 (java) S 3388 3391 31157 0 -1 1077944384 983 13289 0 0 67 69 5 3 20 0 15 0 405861386 11105193984 234957 33554432000 4194304 4196468 140724722585840 140695152028464 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 Current children cumulated CPU time: 2428.95 s Current children cumulated vsize: 10844916 KiB Current children cumulated memory: 939828 KiB [startup+2442.3 s] /proc/loadavg: 1.26 1.26 1.30 3/228 3832 /proc/meminfo: memFree=22621792/32770688 swapFree=66960432/67108860 [pid=3391] ppid=3388 vsize=10844916 memory=941968 CPUtime=2489.95 cores=0-3 /proc/3391/stat : 3391 (java) S 3388 3391 31157 0 -1 1077944320 186160 13289 0 0 248616 371 5 3 20 0 15 0 405861370 11105193984 235492 33554432000 4194304 4196468 140724722585840 140724722568384 140695731085047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 /proc/3391/statm: 2711229 235492 3615 1 0 2673293 0 [pid=3391/tid=3444] ppid=3388 vsize=10844916 memory=941968 CPUtime=2415.62 cores=0-3 /proc/3391/task/3444/stat : 3444 (java) R 3388 3391 31157 0 -1 4202560 66033 13289 0 0 241504 50 5 3 20 0 15 0 405861379 11105193984 235492 33554432000 4194304 4196468 140724722585840 140695702920832 140695306893777 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3445] ppid=3388 vsize=10844916 memory=941876 CPUtime=12.84 cores=0-3 /proc/3391/task/3445/stat : 3445 (java) S 3388 3391 31157 0 -1 1077944384 12252 13289 0 0 1213 63 5 3 20 0 15 0 405861380 11105193984 235492 33554432000 4194304 4196468 140724722585840 140695735326992 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3446] ppid=3388 vsize=10844916 memory=937460 CPUtime=12.85 cores=0-3 /proc/3391/task/3446/stat : 3446 (java) S 3388 3391 31157 0 -1 1077944384 19665 13289 0 0 1217 60 5 3 20 0 15 0 405861380 11105193984 235492 33554432000 4194304 4196468 140724722585840 140695623600528 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3447] ppid=3388 vsize=10844916 memory=939732 CPUtime=12.85 cores=0-3 /proc/3391/task/3447/stat : 3447 (java) S 3388 3391 31157 0 -1 1077944384 15195 13289 0 0 1213 64 5 3 20 0 15 0 405861380 11105193984 235492 33554432000 4194304 4196468 140724722585840 140695622547984 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3448] ppid=3388 vsize=10844916 memory=941968 CPUtime=12.81 cores=0-3 /proc/3391/task/3448/stat : 3448 (java) S 3388 3391 31157 0 -1 1077944384 14897 13289 0 0 1216 57 5 3 20 0 15 0 405861380 11105193984 235492 33554432000 4194304 4196468 140724722585840 140695621495440 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3449] ppid=3388 vsize=10844916 memory=941968 CPUtime=11.68 cores=0-3 /proc/3391/task/3449/stat : 3449 (java) S 3388 3391 31157 0 -1 1077944384 15195 13289 0 0 1100 60 5 3 20 0 15 0 405861382 11105193984 235492 33554432000 4194304 4196468 140724722585840 140695189797360 140695731096194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3450] ppid=3388 vsize=10844916 memory=941968 CPUtime=0.08 cores=0-3 /proc/3391/task/3450/stat : 3450 (java) S 3388 3391 31157 0 -1 1077944384 39 13289 0 0 0 0 5 3 20 0 15 0 405861382 11105193984 235492 33554432000 4194304 4196468 140724722585840 140695188743712 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3451] ppid=3388 vsize=10844916 memory=941968 CPUtime=0.08 cores=0-3 /proc/3391/task/3451/stat : 3451 (java) S 3388 3391 31157 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 405861382 11105193984 235492 33554432000 4194304 4196468 140724722585840 140694605784576 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3452] ppid=3388 vsize=10844916 memory=941968 CPUtime=0.08 cores=0-3 /proc/3391/task/3452/stat : 3452 (java) S 3388 3391 31157 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 405861385 11105193984 235492 33554432000 4194304 4196468 140724722585840 140694298385104 140695731103643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3453] ppid=3388 vsize=10844916 memory=941968 CPUtime=3.74 cores=0-3 /proc/3391/task/3453/stat : 3453 (java) S 3388 3391 31157 0 -1 1077944384 14138 13289 0 0 362 4 5 3 20 0 15 0 405861385 11105193984 235492 33554432000 4194304 4196468 140724722585840 140695155185648 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3454] ppid=3388 vsize=10844916 memory=984 CPUtime=3.31 cores=0-3 /proc/3391/task/3454/stat : 3454 (java) S 3388 3391 31157 0 -1 1077944384 9846 13289 0 0 320 3 5 3 20 0 15 0 405861385 11105193984 235492 33554432000 4194304 4196468 140724722585840 140695154133104 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3455] ppid=3388 vsize=10844916 memory=941968 CPUtime=3.4 cores=0-3 /proc/3391/task/3455/stat : 3455 (java) S 3388 3391 31157 0 -1 1077944384 15684 13289 0 0 328 4 5 3 20 0 15 0 405861385 11105193984 235492 33554432000 4194304 4196468 140724722585840 140695153080560 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3456] ppid=3388 vsize=10844916 memory=941968 CPUtime=0.08 cores=0-3 /proc/3391/task/3456/stat : 3456 (java) S 3388 3391 31157 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 405861386 11105193984 235492 33554432000 4194304 4196468 140724722585840 140694264826464 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3457] ppid=3388 vsize=10844916 memory=941968 CPUtime=1.47 cores=0-3 /proc/3391/task/3457/stat : 3457 (java) S 3388 3391 31157 0 -1 1077944384 999 13289 0 0 68 71 5 3 20 0 15 0 405861386 11105193984 235492 33554432000 4194304 4196468 140724722585840 140695152028464 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 Current children cumulated CPU time: 2489.95 s Current children cumulated vsize: 10844916 KiB Current children cumulated memory: 941968 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2471.9 s] /proc/loadavg: 1.48 1.30 1.31 3/229 3843 /proc/meminfo: memFree=22620092/32770688 swapFree=66960432/67108860 [pid=3391] ppid=3388 vsize=10844916 memory=941996 CPUtime=2520.05 cores=0-3 /proc/3391/stat : 3391 (java) S 3388 3391 31157 0 -1 1077944320 186489 13289 0 0 251622 375 5 3 20 0 15 0 405861370 11105193984 235499 33554432000 4194304 4196468 140724722585840 140724722568384 140695731085047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 /proc/3391/statm: 2711229 235499 3615 1 0 2673293 0 [pid=3391/tid=3444] ppid=3388 vsize=10844916 memory=2044 CPUtime=2444.88 cores=0-3 /proc/3391/task/3444/stat : 3444 (java) R 3388 3391 31157 0 -1 4202560 66300 13289 0 0 244430 50 5 3 20 0 15 0 405861379 11105193984 235499 33554432000 4194304 4196468 140724722585840 140695702920832 140695306895642 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3445] ppid=3388 vsize=10844916 memory=8112282956445269571 CPUtime=13 cores=0-3 /proc/3391/task/3445/stat : 3445 (java) S 3388 3391 31157 0 -1 1077944384 12257 13289 0 0 1228 64 5 3 20 0 15 0 405861380 11105193984 235499 33554432000 4194304 4196468 140724722585840 140695735326992 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3446] ppid=3388 vsize=10844916 memory=941996 CPUtime=13.01 cores=0-3 /proc/3391/task/3446/stat : 3446 (java) S 3388 3391 31157 0 -1 1077944384 19671 13289 0 0 1233 60 5 3 20 0 15 0 405861380 11105193984 235499 33554432000 4194304 4196468 140724722585840 140695623600528 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3447] ppid=3388 vsize=10844916 memory=941996 CPUtime=13.02 cores=0-3 /proc/3391/task/3447/stat : 3447 (java) S 3388 3391 31157 0 -1 1077944384 15217 13289 0 0 1229 65 5 3 20 0 15 0 405861380 11105193984 235499 33554432000 4194304 4196468 140724722585840 140695622547984 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3448] ppid=3388 vsize=10844916 memory=941996 CPUtime=12.98 cores=0-3 /proc/3391/task/3448/stat : 3448 (java) S 3388 3391 31157 0 -1 1077944384 14917 13289 0 0 1232 58 5 3 20 0 15 0 405861380 11105193984 235499 33554432000 4194304 4196468 140724722585840 140695621495440 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3449] ppid=3388 vsize=10844916 memory=941996 CPUtime=11.82 cores=0-3 /proc/3391/task/3449/stat : 3449 (java) S 3388 3391 31157 0 -1 1077944384 15202 13289 0 0 1114 60 5 3 20 0 15 0 405861382 11105193984 235499 33554432000 4194304 4196468 140724722585840 140695189797360 140695731096194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3450] ppid=3388 vsize=10844916 memory=941996 CPUtime=0.08 cores=0-3 /proc/3391/task/3450/stat : 3450 (java) S 3388 3391 31157 0 -1 1077944384 39 13289 0 0 0 0 5 3 20 0 15 0 405861382 11105193984 235499 33554432000 4194304 4196468 140724722585840 140695188743712 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3451] ppid=3388 vsize=10844916 memory=1564 CPUtime=0.08 cores=0-3 /proc/3391/task/3451/stat : 3451 (java) S 3388 3391 31157 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 405861382 11105193984 235499 33554432000 4194304 4196468 140724722585840 140694605784576 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3452] ppid=3388 vsize=10844916 memory=941996 CPUtime=0.08 cores=0-3 /proc/3391/task/3452/stat : 3452 (java) S 3388 3391 31157 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 405861385 11105193984 235499 33554432000 4194304 4196468 140724722585840 140694298385104 140695731103643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3453] ppid=3388 vsize=10844916 memory=941996 CPUtime=3.74 cores=0-3 /proc/3391/task/3453/stat : 3453 (java) S 3388 3391 31157 0 -1 1077944384 14138 13289 0 0 362 4 5 3 20 0 15 0 405861385 11105193984 235499 33554432000 4194304 4196468 140724722585840 140695155185648 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3454] ppid=3388 vsize=10844916 memory=941996 CPUtime=3.31 cores=0-3 /proc/3391/task/3454/stat : 3454 (java) S 3388 3391 31157 0 -1 1077944384 9846 13289 0 0 320 3 5 3 20 0 15 0 405861385 11105193984 235499 33554432000 4194304 4196468 140724722585840 140695154133104 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3455] ppid=3388 vsize=10844916 memory=941996 CPUtime=3.4 cores=0-3 /proc/3391/task/3455/stat : 3455 (java) S 3388 3391 31157 0 -1 1077944384 15684 13289 0 0 328 4 5 3 20 0 15 0 405861385 11105193984 235499 33554432000 4194304 4196468 140724722585840 140695153080560 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3456] ppid=3388 vsize=10844916 memory=8112282956445269571 CPUtime=0.08 cores=0-3 /proc/3391/task/3456/stat : 3456 (java) S 3388 3391 31157 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 405861386 11105193984 235499 33554432000 4194304 4196468 140724722585840 140694264826464 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3457] ppid=3388 vsize=10844916 memory=36040 CPUtime=1.48 cores=0-3 /proc/3391/task/3457/stat : 3457 (java) S 3388 3391 31157 0 -1 1077944384 1001 13289 0 0 69 71 5 3 20 0 15 0 405861386 11105193984 235499 33554432000 4194304 4196468 140724722585840 140695152028464 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 Current children cumulated CPU time: 2520.05 s Current children cumulated vsize: 10844916 KiB Current children cumulated memory: 941996 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2471.93 s] # the end of solver process 3391 was just reported to runsolver # cumulated CPU time of all completed processes: user=2516.31 s, system=3.80429 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2471.9 s] /proc/loadavg: 1.48 1.30 1.31 3/229 3843 /proc/meminfo: memFree=22620092/32770688 swapFree=66960432/67108860 [pid=3391] ppid=3388 vsize=10844916 memory=941996 CPUtime=2520.05 cores=0-3 /proc/3391/stat : 3391 (java) S 3388 3391 31157 0 -1 1077944320 186489 13289 0 0 251622 375 5 3 20 0 15 0 405861370 11105193984 235499 33554432000 4194304 4196468 140724722585840 140724722568384 140695731085047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 /proc/3391/statm: 2711229 235499 3615 1 0 2673293 0 [pid=3391/tid=3444] ppid=3388 vsize=10844916 memory=2044 CPUtime=2444.88 cores=0-3 /proc/3391/task/3444/stat : 3444 (java) R 3388 3391 31157 0 -1 4202560 66300 13289 0 0 244430 50 5 3 20 0 15 0 405861379 11105193984 235499 33554432000 4194304 4196468 140724722585840 140695702920832 140695306895642 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3445] ppid=3388 vsize=10844916 memory=8112282956445269571 CPUtime=13 cores=0-3 /proc/3391/task/3445/stat : 3445 (java) S 3388 3391 31157 0 -1 1077944384 12257 13289 0 0 1228 64 5 3 20 0 15 0 405861380 11105193984 235499 33554432000 4194304 4196468 140724722585840 140695735326992 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3446] ppid=3388 vsize=10844916 memory=941996 CPUtime=13.01 cores=0-3 /proc/3391/task/3446/stat : 3446 (java) S 3388 3391 31157 0 -1 1077944384 19671 13289 0 0 1233 60 5 3 20 0 15 0 405861380 11105193984 235499 33554432000 4194304 4196468 140724722585840 140695623600528 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3447] ppid=3388 vsize=10844916 memory=941996 CPUtime=13.02 cores=0-3 /proc/3391/task/3447/stat : 3447 (java) S 3388 3391 31157 0 -1 1077944384 15217 13289 0 0 1229 65 5 3 20 0 15 0 405861380 11105193984 235499 33554432000 4194304 4196468 140724722585840 140695622547984 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3448] ppid=3388 vsize=10844916 memory=941996 CPUtime=12.98 cores=0-3 /proc/3391/task/3448/stat : 3448 (java) S 3388 3391 31157 0 -1 1077944384 14917 13289 0 0 1232 58 5 3 20 0 15 0 405861380 11105193984 235499 33554432000 4194304 4196468 140724722585840 140695621495440 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3449] ppid=3388 vsize=10844916 memory=941996 CPUtime=11.82 cores=0-3 /proc/3391/task/3449/stat : 3449 (java) S 3388 3391 31157 0 -1 1077944384 15202 13289 0 0 1114 60 5 3 20 0 15 0 405861382 11105193984 235499 33554432000 4194304 4196468 140724722585840 140695189797360 140695731096194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3450] ppid=3388 vsize=10844916 memory=941996 CPUtime=0.08 cores=0-3 /proc/3391/task/3450/stat : 3450 (java) S 3388 3391 31157 0 -1 1077944384 39 13289 0 0 0 0 5 3 20 0 15 0 405861382 11105193984 235499 33554432000 4194304 4196468 140724722585840 140695188743712 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3451] ppid=3388 vsize=10844916 memory=1564 CPUtime=0.08 cores=0-3 /proc/3391/task/3451/stat : 3451 (java) S 3388 3391 31157 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 405861382 11105193984 235499 33554432000 4194304 4196468 140724722585840 140694605784576 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3452] ppid=3388 vsize=10844916 memory=941996 CPUtime=0.08 cores=0-3 /proc/3391/task/3452/stat : 3452 (java) S 3388 3391 31157 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 405861385 11105193984 235499 33554432000 4194304 4196468 140724722585840 140694298385104 140695731103643 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3453] ppid=3388 vsize=10844916 memory=941996 CPUtime=3.74 cores=0-3 /proc/3391/task/3453/stat : 3453 (java) S 3388 3391 31157 0 -1 1077944384 14138 13289 0 0 362 4 5 3 20 0 15 0 405861385 11105193984 235499 33554432000 4194304 4196468 140724722585840 140695155185648 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3454] ppid=3388 vsize=10844916 memory=941996 CPUtime=3.31 cores=0-3 /proc/3391/task/3454/stat : 3454 (java) S 3388 3391 31157 0 -1 1077944384 9846 13289 0 0 320 3 5 3 20 0 15 0 405861385 11105193984 235499 33554432000 4194304 4196468 140724722585840 140695154133104 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3455] ppid=3388 vsize=10844916 memory=941996 CPUtime=3.4 cores=0-3 /proc/3391/task/3455/stat : 3455 (java) S 3388 3391 31157 0 -1 1077944384 15684 13289 0 0 328 4 5 3 20 0 15 0 405861385 11105193984 235499 33554432000 4194304 4196468 140724722585840 140695153080560 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3456] ppid=3388 vsize=10844916 memory=8112282956445269571 CPUtime=0.08 cores=0-3 /proc/3391/task/3456/stat : 3456 (java) S 3388 3391 31157 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 405861386 11105193984 235499 33554432000 4194304 4196468 140724722585840 140694264826464 140695731095253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 [pid=3391/tid=3457] ppid=3388 vsize=10844916 memory=36040 CPUtime=1.48 cores=0-3 /proc/3391/task/3457/stat : 3457 (java) S 3388 3391 31157 0 -1 1077944384 1001 13289 0 0 69 71 5 3 20 0 15 0 405861386 11105193984 235499 33554432000 4194304 4196468 140724722585840 140695152028464 140695731096194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140724722592502 140724722595013 140724722595013 140724722597839 0 Current children cumulated CPU time: 2520.05 s Current children cumulated vsize: 10844916 KiB Current children cumulated memory: 941996 KiB Child status: 143 Real time (s): 2471.93 CPU time (s): 2520.11 CPU user time (s): 2516.31 CPU system time (s): 3.80429 CPU usage (%): 101.949 Max. virtual memory (cumulated for all children) (KiB): 10847584 Max. memory (cumulated for all children) (KiB): 941996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2516.31 system time used= 3.80429 maximum resident set size= 946212 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 200527 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2896 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 309793 involuntary context switches= 7027 # summary of solver processes directly reported to runsolver: # pid: 3391 # total CPU time (s): 2520.11 # total CPU user time (s): 2516.31 # total CPU system time (s): 3.80429 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 17.8833 second user time and 24.9307 second system time The end
Begin job on node116 at 2019-09-12 16:39:16 IDJOB=4387334 IDBENCH=134581 IDSOLVER=2823 FILE ID=node116/4387334-1568299197 RUNJOBID= node116-1568285921-31916 PBS_JOBID= 21701086 Free space on /tmp= 54296 MiB SOLVER NAME= Concrete 3.10 BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07h-1_X2.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387334-1568299197/watcher-4387334-1568299197 -o /tmp/evaluation-result-4387334-1568299197/solver-4387334-1568299197 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568285921-31916 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=167822977 HOME/instance-4387334-1568299197.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a5169531bc56f5bae607e8bf56d35270 RANDOM SEED=167822977 node116.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 23029140 kB MemAvailable: 30569776 kB Buffers: 104648 kB Cached: 7648032 kB SwapCached: 46356 kB Active: 2676776 kB Inactive: 6369688 kB Active(anon): 1257556 kB Inactive(anon): 76692 kB Active(file): 1419220 kB Inactive(file): 6292996 kB Unevictable: 110108 kB Mlocked: 110108 kB SwapTotal: 67108860 kB SwapFree: 66960428 kB Dirty: 34916 kB Writeback: 0 kB AnonPages: 1358000 kB Mapped: 55324 kB Shmem: 31812 kB Slab: 285604 kB SReclaimable: 256880 kB SUnreclaim: 28724 kB KernelStack: 3744 kB PageTables: 8460 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 2415352 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1181696 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 54260 MiB End job on node116 at 2019-09-12 17:20:28