Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Concrete 3.10 | ? (TO) | 2520.13 | 2373.75 |
Name | SuperSolutions/SuperSolutions-Taillard-os10/ SuperTaillard-os-10-06.xml |
MD5SUM | 6b3d88799df56964f86d557249875b85 |
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 | 56.1836 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 2800 |
Number of domains | 64 |
Minimum domain size | 440 |
Maximum domain size | 538 |
Distribution of domain sizes | [{"size":440,"count":2},{"size":441,"count":2},{"size":442,"count":2},{"size":444,"count":2},{"size":445,"count":4},{"size":447,"count":2},{"size":448,"count":4},{"size":449,"count":4},{"size":450,"count":2},{"size":452,"count":2},{"size":455,"count":4},{"size":457,"count":4},{"size":459,"count":2},{"size":461,"count":2},{"size":462,"count":2},{"size":464,"count":4},{"size":466,"count":2},{"size":467,"count":2},{"size":470,"count":4},{"size":472,"count":8},{"size":474,"count":2},{"size":475,"count":2},{"size":477,"count":2},{"size":480,"count":6},{"size":483,"count":2},"...",{"size":505,"count":2}, {"size":506,"count":2}, {"size":508,"count":10}, {"size":509,"count":2}, {"size":511,"count":2}, {"size":512,"count":2}, {"size":513,"count":6}, {"size":514,"count":2}, {"size":515,"count":2}, {"size":516,"count":2}, {"size":517,"count":4}, {"size":518,"count":4}, {"size":519,"count":4}, {"size":520,"count":2}, {"size":521,"count":2}, {"size":522,"count":4}, {"size":523,"count":4}, {"size":524,"count":2}, {"size":526,"count":4}, {"size":528,"count":2}, {"size":529,"count":4}, {"size":530,"count":8}, {"size":531,"count":4}, {"size":534,"count":2}, {"size":538,"count":4}] |
Minimum variable degree | 19 |
Maximum variable degree | 37 |
Distribution of variable degrees | [{"degree":19,"count":100},{"degree":37,"count":100}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":2800}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 2800 |
Distribution of constraint types | [{"type":"intension","count":2800}] |
Optimization problem | NO |
Type of objective |
0.71/0.60 c Concrete v3.10.1560635388952 running 2520.06/2373.71 Exception in thread "main" java.util.concurrent.TimeoutException 2520.06/2373.71 at concrete.MAC.mac(MAC.scala:189) 2520.06/2373.71 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:253) 2520.06/2373.71 at scala.util.Try$.apply(Try.scala:212) 2520.06/2373.71 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2520.06/2373.71 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2520.06/2373.71 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2520.06/2373.71 at concrete.MAC.oneRun(MAC.scala:253) 2520.06/2373.71 at concrete.MAC.nextSolution(MAC.scala:272) 2520.06/2373.71 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336) 2520.06/2373.71 at concrete.ProblemState.map(ProblemState.scala:228) 2520.06/2373.71 at concrete.ProblemState.map(ProblemState.scala:210) 2520.06/2373.71 at concrete.MAC.nextSolution(MAC.scala:334) 2520.06/2373.71 at concrete.Solver.hasNext(Solver.scala:160) 2520.06/2373.71 at scala.collection.Iterator.nextOption(Iterator.scala:104) 2520.06/2373.71 at scala.collection.Iterator.nextOption$(Iterator.scala:104) 2520.06/2373.71 at concrete.Solver.nextOption(Solver.scala:67) 2520.06/2373.71 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:77) 2520.06/2373.71 at scala.util.Success.map(Try.scala:264) 2520.06/2373.71 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:67) 2520.06/2373.71 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2520.06/2373.71 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.06/2373.71 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.06/2373.71 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.06/2373.71 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2520.06/2373.71 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2520.06/2373.71 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2520.06/2373.71 at scala.App.$anonfun$main$1(App.scala:75) 2520.06/2373.71 at scala.App.$anonfun$main$1$adapted(App.scala:75) 2520.06/2373.71 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2520.06/2373.71 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2520.06/2373.71 at scala.collection.AbstractIterable.foreach(Iterable.scala:904) 2520.06/2373.71 at scala.App.main(App.scala:75) 2520.06/2373.71 at scala.App.main$(App.scala:73) 2520.06/2373.71 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.06/2373.71 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.06/2373.71 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 (7004 MiB free) memory of node 1: 16384 MiB (13558 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387428-1568304326/watcher-4387428-1568304326 -o /tmp/evaluation-result-4387428-1568304326/solver-4387428-1568304326 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568285921-31917 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=808386694 HOME/instance-4387428-1568304326.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=4949, runsolver pid=4946 [startup+0.100133 s]* /proc/loadavg: 1.78 1.83 1.63 2/217 5002 /proc/meminfo: memFree=21055908/32770688 swapFree=66960432/67108860 [pid=4949] ppid=4946 vsize=9972712 memory=15588 CPUtime=0.1 cores=4-7 /proc/4949/stat : 4949 (java) S 4946 4949 31157 0 -1 1077944320 4131 12975 0 0 1 0 6 3 20 0 6 0 406374264 10212057088 3897 33554432000 4194304 4196468 140730629441408 140730629423952 140217605021431 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 /proc/4949/statm: 2493178 3897 1777 1 0 2481616 0 [pid=4949/tid=5002] ppid=4946 vsize=9972712 memory=-8171376296011865461 CPUtime=0.09 cores=4-7 /proc/4949/task/5002/stat : 5002 (java) R 4946 4949 31157 0 -1 4202560 2114 12975 0 0 0 0 6 3 20 0 6 0 406374274 10212057088 4095 33554432000 4194304 4196468 140730629441408 140217576858192 140217583330496 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5003] ppid=4946 vsize=9972712 memory=5792869726567804975 CPUtime=0.09 cores=4-7 /proc/4949/task/5003/stat : 5003 (java) S 4946 4949 31157 0 -1 1077944384 1 12975 0 0 0 0 6 3 20 0 6 0 406374274 10212057088 4095 33554432000 4194304 4196468 140730629441408 140217609263632 140217605031637 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5004] ppid=4946 vsize=9972712 memory=140005226620544 CPUtime=0.09 cores=4-7 /proc/4949/task/5004/stat : 5004 (java) S 4946 4949 31157 0 -1 1077944384 1 12975 0 0 0 0 6 3 20 0 6 0 406374274 10212057088 4095 33554432000 4194304 4196468 140730629441408 140217530223248 140217605031637 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5005] ppid=4946 vsize=9972712 memory=0 CPUtime=0.09 cores=4-7 /proc/4949/task/5005/stat : 5005 (java) S 4946 4949 31157 0 -1 1077944384 2 12975 0 0 0 0 6 3 20 0 6 0 406374274 10212057088 4095 33554432000 4194304 4196468 140730629441408 140217177418000 140217605031637 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5006] ppid=4946 vsize=9972712 memory=-1 CPUtime=0.09 cores=4-7 /proc/4949/task/5006/stat : 5006 (java) S 4946 4949 31157 0 -1 1077944384 2 12975 0 0 0 0 6 3 20 0 6 0 406374274 10212057088 4095 33554432000 4194304 4196468 140730629441408 140217176365456 140217605031637 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 9972712 KiB Current children cumulated memory: 15588 KiB [startup+0.211336 s]* /proc/loadavg: 1.78 1.83 1.63 4/230 5015 /proc/meminfo: memFree=21034052/32770688 swapFree=66960432/67108860 [pid=4949] ppid=4946 vsize=10818900 memory=37916 CPUtime=0.26 cores=4-7 /proc/4949/stat : 4949 (java) S 4946 4949 31157 0 -1 1077944320 6796 12975 0 0 16 1 6 3 20 0 15 0 406374264 11078553600 9479 33554432000 4194304 4196468 140730629441408 140730629423952 140217605021431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 /proc/4949/statm: 2704725 9479 2971 1 0 2667149 0 [pid=4949/tid=5002] ppid=4946 vsize=10818900 memory=8389772277269004345 CPUtime=0.2 cores=4-7 /proc/4949/task/5002/stat : 5002 (java) R 4946 4949 31157 0 -1 4202560 3285 12975 0 0 10 1 6 3 20 0 15 0 406374274 11078553600 9479 33554432000 4194304 4196468 140730629441408 140217576817616 140217589101918 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5003] ppid=4946 vsize=10818900 memory=4294967661 CPUtime=0.09 cores=4-7 /proc/4949/task/5003/stat : 5003 (java) S 4946 4949 31157 0 -1 1077944384 1 12975 0 0 0 0 6 3 20 0 15 0 406374274 11078553600 9479 33554432000 4194304 4196468 140730629441408 140217609263632 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5004] ppid=4946 vsize=10818900 memory=140005226637304 CPUtime=0.09 cores=4-7 /proc/4949/task/5004/stat : 5004 (java) S 4946 4949 31157 0 -1 1077944384 1 12975 0 0 0 0 6 3 20 0 15 0 406374274 11078553600 9479 33554432000 4194304 4196468 140730629441408 140217530223248 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5005] ppid=4946 vsize=10818900 memory=0 CPUtime=0.09 cores=4-7 /proc/4949/task/5005/stat : 5005 (java) S 4946 4949 31157 0 -1 1077944384 2 12975 0 0 0 0 6 3 20 0 15 0 406374274 11078553600 9479 33554432000 4194304 4196468 140730629441408 140217177418000 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5006] ppid=4946 vsize=10818900 memory=-1 CPUtime=0.09 cores=4-7 /proc/4949/task/5006/stat : 5006 (java) S 4946 4949 31157 0 -1 1077944384 2 12975 0 0 0 0 6 3 20 0 15 0 406374274 11078553600 9479 33554432000 4194304 4196468 140730629441408 140217176365456 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5007] ppid=4946 vsize=10818900 memory=140005226620544 CPUtime=0.09 cores=4-7 /proc/4949/task/5007/stat : 5007 (java) S 4946 4949 31157 0 -1 1077944384 2 12975 0 0 0 0 6 3 20 0 15 0 406374276 11078553600 9479 33554432000 4194304 4196468 140730629441408 140217131686640 140217605032578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5008] ppid=4946 vsize=10818900 memory=-1 CPUtime=0.09 cores=4-7 /proc/4949/task/5008/stat : 5008 (java) S 4946 4949 31157 0 -1 1077944384 13 12975 0 0 0 0 6 3 20 0 15 0 406374276 11078553600 9479 33554432000 4194304 4196468 140730629441408 140217059108512 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5009] ppid=4946 vsize=10818900 memory=0 CPUtime=0.09 cores=4-7 /proc/4949/task/5009/stat : 5009 (java) S 4946 4949 31157 0 -1 1077944384 1 12975 0 0 0 0 6 3 20 0 15 0 406374277 11078553600 9479 33554432000 4194304 4196468 140730629441408 140216455128304 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5010] ppid=4946 vsize=10818900 memory=0 CPUtime=0.09 cores=4-7 /proc/4949/task/5010/stat : 5010 (java) S 4946 4949 31157 0 -1 1077944384 3 12975 0 0 0 0 6 3 20 0 15 0 406374280 11078553600 9479 33554432000 4194304 4196468 140730629441408 140216147728848 140217605040027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5011] ppid=4946 vsize=10818900 memory=0 CPUtime=0.1 cores=4-7 /proc/4949/task/5011/stat : 5011 (java) S 4946 4949 31157 0 -1 1077944384 355 12975 0 0 1 0 6 3 20 0 15 0 406374280 11078553600 9479 33554432000 4194304 4196468 140730629441408 140217130633456 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5012] ppid=4946 vsize=10818900 memory=-1 CPUtime=0.1 cores=4-7 /proc/4949/task/5012/stat : 5012 (java) S 4946 4949 31157 0 -1 1077944384 286 12975 0 0 1 0 6 3 20 0 15 0 406374280 11078553600 9479 33554432000 4194304 4196468 140730629441408 140217129580912 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5013] ppid=4946 vsize=10818900 memory=140005226620544 CPUtime=0.12 cores=4-7 /proc/4949/task/5013/stat : 5013 (java) R 4946 4949 31157 0 -1 4202560 638 12975 0 0 3 0 6 3 20 0 15 0 406374280 11078553600 9479 33554432000 4194304 4196468 140730629441408 140217128527856 140217589101918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5014] ppid=4946 vsize=10818900 memory=-1 CPUtime=0.09 cores=4-7 /proc/4949/task/5014/stat : 5014 (java) S 4946 4949 31157 0 -1 1077944384 3 12975 0 0 0 0 6 3 20 0 15 0 406374280 11078553600 9479 33554432000 4194304 4196468 140730629441408 140216114170208 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5015] ppid=4946 vsize=10818900 memory=140005226620544 CPUtime=0.09 cores=4-7 /proc/4949/task/5015/stat : 5015 (java) S 4946 4949 31157 0 -1 1077944384 1 12975 0 0 0 0 6 3 20 0 15 0 406374280 11078553600 9479 33554432000 4194304 4196468 140730629441408 140217127476272 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 Current children cumulated CPU time: 0.26 s Current children cumulated vsize: 10818900 KiB Current children cumulated memory: 37916 KiB [startup+0.311707 s]* /proc/loadavg: 1.78 1.83 1.63 3/230 5015 /proc/meminfo: memFree=21021608/32770688 swapFree=66960432/67108860 [pid=4949] ppid=4946 vsize=10819084 memory=46848 CPUtime=0.41 cores=4-7 /proc/4949/stat : 4949 (java) S 4946 4949 31157 0 -1 1077944320 10250 12975 0 0 29 3 6 3 20 0 15 0 406374264 11078742016 11712 33554432000 4194304 4196468 140730629441408 140730629423952 140217605021431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 /proc/4949/statm: 2704771 11712 3037 1 0 2667149 0 [pid=4949/tid=5002] ppid=4946 vsize=10819084 memory=6935054825532540783 CPUtime=0.3 cores=4-7 /proc/4949/task/5002/stat : 5002 (java) R 4946 4949 31157 0 -1 4202560 6715 12975 0 0 19 2 6 3 20 0 15 0 406374274 11078742016 11712 33554432000 4194304 4196468 140730629441408 140217576838320 140217605043357 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5003] ppid=4946 vsize=10819084 memory=4872558044660077418 CPUtime=0.09 cores=4-7 /proc/4949/task/5003/stat : 5003 (java) S 4946 4949 31157 0 -1 1077944384 1 12975 0 0 0 0 6 3 20 0 15 0 406374274 11078742016 11712 33554432000 4194304 4196468 140730629441408 140217609263632 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5004] ppid=4946 vsize=10819084 memory=-2843871824389457054 CPUtime=0.09 cores=4-7 /proc/4949/task/5004/stat : 5004 (java) S 4946 4949 31157 0 -1 1077944384 1 12975 0 0 0 0 6 3 20 0 15 0 406374274 11078742016 11712 33554432000 4194304 4196468 140730629441408 140217530223248 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5005] ppid=4946 vsize=10819084 memory=-8412656567334364540 CPUtime=0.09 cores=4-7 /proc/4949/task/5005/stat : 5005 (java) S 4946 4949 31157 0 -1 1077944384 2 12975 0 0 0 0 6 3 20 0 15 0 406374274 11078742016 11712 33554432000 4194304 4196468 140730629441408 140217177418000 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5006] ppid=4946 vsize=10819084 memory=-1 CPUtime=0.09 cores=4-7 /proc/4949/task/5006/stat : 5006 (java) S 4946 4949 31157 0 -1 1077944384 2 12975 0 0 0 0 6 3 20 0 15 0 406374274 11078742016 11712 33554432000 4194304 4196468 140730629441408 140217176365456 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5007] ppid=4946 vsize=10819084 memory=0 CPUtime=0.09 cores=4-7 /proc/4949/task/5007/stat : 5007 (java) S 4946 4949 31157 0 -1 1077944384 2 12975 0 0 0 0 6 3 20 0 15 0 406374276 11078742016 11712 33554432000 4194304 4196468 140730629441408 140217131686640 140217605032578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5008] ppid=4946 vsize=10819084 memory=0 CPUtime=0.09 cores=4-7 /proc/4949/task/5008/stat : 5008 (java) S 4946 4949 31157 0 -1 1077944384 13 12975 0 0 0 0 6 3 20 0 15 0 406374276 11078742016 11712 33554432000 4194304 4196468 140730629441408 140217059108512 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5009] ppid=4946 vsize=10819084 memory=0 CPUtime=0.09 cores=4-7 /proc/4949/task/5009/stat : 5009 (java) S 4946 4949 31157 0 -1 1077944384 1 12975 0 0 0 0 6 3 20 0 15 0 406374277 11078742016 11712 33554432000 4194304 4196468 140730629441408 140216455128304 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5010] ppid=4946 vsize=10819084 memory=0 CPUtime=0.09 cores=4-7 /proc/4949/task/5010/stat : 5010 (java) S 4946 4949 31157 0 -1 1077944384 3 12975 0 0 0 0 6 3 20 0 15 0 406374280 11078742016 11712 33554432000 4194304 4196468 140730629441408 140216147728848 140217605040027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5011] ppid=4946 vsize=10819084 memory=0 CPUtime=0.1 cores=4-7 /proc/4949/task/5011/stat : 5011 (java) S 4946 4949 31157 0 -1 1077944384 356 12975 0 0 1 0 6 3 20 0 15 0 406374280 11078742016 11712 33554432000 4194304 4196468 140730629441408 140217130633456 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5012] ppid=4946 vsize=10819084 memory=0 CPUtime=0.1 cores=4-7 /proc/4949/task/5012/stat : 5012 (java) R 4946 4949 31157 0 -1 1077944384 286 12975 0 0 1 0 6 3 20 0 15 0 406374280 11078742016 11712 33554432000 4194304 4196468 140730629441408 140217129580912 140217605032578 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5013] ppid=4946 vsize=10819084 memory=0 CPUtime=0.14 cores=4-7 /proc/4949/task/5013/stat : 5013 (java) S 4946 4949 31157 0 -1 1077944384 662 12975 0 0 5 0 6 3 20 0 15 0 406374280 11078742016 11712 33554432000 4194304 4196468 140730629441408 140217128527856 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5014] ppid=4946 vsize=10819084 memory=0 CPUtime=0.09 cores=4-7 /proc/4949/task/5014/stat : 5014 (java) S 4946 4949 31157 0 -1 1077944384 3 12975 0 0 0 0 6 3 20 0 15 0 406374280 11078742016 11712 33554432000 4194304 4196468 140730629441408 140216114170208 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5015] ppid=4946 vsize=10819084 memory=0 CPUtime=0.09 cores=4-7 /proc/4949/task/5015/stat : 5015 (java) S 4946 4949 31157 0 -1 1077944384 1 12975 0 0 0 0 6 3 20 0 15 0 406374280 11078742016 11712 33554432000 4194304 4196468 140730629441408 140217127476272 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 Current children cumulated CPU time: 0.41 s Current children cumulated vsize: 10819084 KiB Current children cumulated memory: 46848 KiB [startup+0.701601 s] /proc/loadavg: 1.78 1.83 1.63 3/230 5015 /proc/meminfo: memFree=21010428/32770688 swapFree=66960432/67108860 [pid=4949] ppid=4946 vsize=10822292 memory=76588 CPUtime=1.12 cores=4-7 /proc/4949/stat : 4949 (java) S 4946 4949 31157 0 -1 1077944320 14394 12975 0 0 98 5 6 3 20 0 15 0 406374264 11082027008 19147 33554432000 4194304 4196468 140730629441408 140730629423952 140217605021431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 /proc/4949/statm: 2705573 19147 3497 1 0 2667661 0 [pid=4949/tid=5002] ppid=4946 vsize=10822292 memory=0 CPUtime=0.67 cores=4-7 /proc/4949/task/5002/stat : 5002 (java) R 4946 4949 31157 0 -1 4202560 10116 12975 0 0 55 3 6 3 20 0 15 0 406374274 11082027008 19147 33554432000 4194304 4196468 140730629441408 140217576847600 140217585666335 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5003] ppid=4946 vsize=10822292 memory=0 CPUtime=0.09 cores=4-7 /proc/4949/task/5003/stat : 5003 (java) S 4946 4949 31157 0 -1 1077944384 1 12975 0 0 0 0 6 3 20 0 15 0 406374274 11082027008 19147 33554432000 4194304 4196468 140730629441408 140217609263632 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5004] ppid=4946 vsize=10822292 memory=0 CPUtime=0.09 cores=4-7 /proc/4949/task/5004/stat : 5004 (java) S 4946 4949 31157 0 -1 1077944384 1 12975 0 0 0 0 6 3 20 0 15 0 406374274 11082027008 19147 33554432000 4194304 4196468 140730629441408 140217530223248 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5005] ppid=4946 vsize=10822292 memory=280010258648848 CPUtime=0.09 cores=4-7 /proc/4949/task/5005/stat : 5005 (java) S 4946 4949 31157 0 -1 1077944384 2 12975 0 0 0 0 6 3 20 0 15 0 406374274 11082027008 19147 33554432000 4194304 4196468 140730629441408 140217177418000 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5006] ppid=4946 vsize=10822292 memory=2467391604481 CPUtime=0.09 cores=4-7 /proc/4949/task/5006/stat : 5006 (java) S 4946 4949 31157 0 -1 1077944384 2 12975 0 0 0 0 6 3 20 0 15 0 406374274 11082027008 19147 33554432000 4194304 4196468 140730629441408 140217176365456 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5007] ppid=4946 vsize=10822292 memory=31606564 CPUtime=0.09 cores=4-7 /proc/4949/task/5007/stat : 5007 (java) S 4946 4949 31157 0 -1 1077944384 5 12975 0 0 0 0 6 3 20 0 15 0 406374276 11082027008 19147 33554432000 4194304 4196468 140730629441408 140217131686640 140217605032578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5008] ppid=4946 vsize=10822292 memory=6307362057509636499 CPUtime=0.09 cores=4-7 /proc/4949/task/5008/stat : 5008 (java) S 4946 4949 31157 0 -1 1077944384 13 12975 0 0 0 0 6 3 20 0 15 0 406374276 11082027008 19147 33554432000 4194304 4196468 140730629441408 140217059108512 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5009] ppid=4946 vsize=10822292 memory=7158578613868057424 CPUtime=0.09 cores=4-7 /proc/4949/task/5009/stat : 5009 (java) S 4946 4949 31157 0 -1 1077944384 1 12975 0 0 0 0 6 3 20 0 15 0 406374277 11082027008 19147 33554432000 4194304 4196468 140730629441408 140216455128304 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5010] ppid=4946 vsize=10822292 memory=7595725831727968097 CPUtime=0.09 cores=4-7 /proc/4949/task/5010/stat : 5010 (java) S 4946 4949 31157 0 -1 1077944384 3 12975 0 0 0 0 6 3 20 0 15 0 406374280 11082027008 19147 33554432000 4194304 4196468 140730629441408 140216147728848 140217605040027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5011] ppid=4946 vsize=10822292 memory=6656426216303648864 CPUtime=0.22 cores=4-7 /proc/4949/task/5011/stat : 5011 (java) R 4946 4949 31157 0 -1 4202560 690 12975 0 0 13 0 6 3 20 0 15 0 406374280 11082027008 19147 33554432000 4194304 4196468 140730629441408 140217130622128 140217586544600 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5012] ppid=4946 vsize=10822292 memory=0 CPUtime=0.19 cores=4-7 /proc/4949/task/5012/stat : 5012 (java) R 4946 4949 31157 0 -1 4202560 529 12975 0 0 10 0 6 3 20 0 15 0 406374280 11082027008 19147 33554432000 4194304 4196468 140730629441408 140217129561184 140217590148184 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5013] ppid=4946 vsize=10822292 memory=0 CPUtime=0.26 cores=4-7 /proc/4949/task/5013/stat : 5013 (java) S 4946 4949 31157 0 -1 1077944384 817 12975 0 0 17 0 6 3 20 0 15 0 406374280 11082027008 19147 33554432000 4194304 4196468 140730629441408 140217128527856 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5014] ppid=4946 vsize=10822292 memory=280010259211840 CPUtime=0.09 cores=4-7 /proc/4949/task/5014/stat : 5014 (java) S 4946 4949 31157 0 -1 1077944384 3 12975 0 0 0 0 6 3 20 0 15 0 406374280 11082027008 19147 33554432000 4194304 4196468 140730629441408 140216114170208 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5015] ppid=4946 vsize=10822292 memory=140007343915609 CPUtime=0.09 cores=4-7 /proc/4949/task/5015/stat : 5015 (java) S 4946 4949 31157 0 -1 1077944384 1 12975 0 0 0 0 6 3 20 0 15 0 406374280 11082027008 19147 33554432000 4194304 4196468 140730629441408 140217127476272 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 Current children cumulated CPU time: 1.12 s Current children cumulated vsize: 10822292 KiB Current children cumulated memory: 76588 KiB [startup+1.50084 s] /proc/loadavg: 1.78 1.83 1.63 5/230 5015 /proc/meminfo: memFree=20965816/32770688 swapFree=66960432/67108860 [pid=4949] ppid=4946 vsize=10832608 memory=199704 CPUtime=3.56 cores=4-7 /proc/4949/stat : 4949 (java) S 4946 4949 31157 0 -1 1077944320 28920 12975 0 0 337 10 6 3 20 0 15 0 406374264 11092590592 49926 33554432000 4194304 4196468 140730629441408 140730629423952 140217605021431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 /proc/4949/statm: 2708152 49926 3576 1 0 2670221 0 [pid=4949/tid=5002] ppid=4946 vsize=10832608 memory=-6948614817169703622 CPUtime=1.42 cores=4-7 /proc/4949/task/5002/stat : 5002 (java) R 4946 4949 31157 0 -1 4202560 15570 12975 0 0 127 6 6 3 20 0 15 0 406374274 11092590592 49926 33554432000 4194304 4196468 140730629441408 140217576853504 140217605033366 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5003] ppid=4946 vsize=10832608 memory=76588 CPUtime=0.09 cores=4-7 /proc/4949/task/5003/stat : 5003 (java) S 4946 4949 31157 0 -1 1077944384 17 12975 0 0 0 0 6 3 20 0 15 0 406374274 11092590592 49926 33554432000 4194304 4196468 140730629441408 140217609263632 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5004] ppid=4946 vsize=10832608 memory=0 CPUtime=0.1 cores=4-7 /proc/4949/task/5004/stat : 5004 (java) S 4946 4949 31157 0 -1 1077944384 16 12975 0 0 1 0 6 3 20 0 15 0 406374274 11092590592 49926 33554432000 4194304 4196468 140730629441408 140217530223248 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5005] ppid=4946 vsize=10832608 memory=0 CPUtime=0.11 cores=4-7 /proc/4949/task/5005/stat : 5005 (java) S 4946 4949 31157 0 -1 1077944384 247 12975 0 0 2 0 6 3 20 0 15 0 406374274 11092590592 49926 33554432000 4194304 4196468 140730629441408 140217177418000 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5006] ppid=4946 vsize=10832608 memory=0 CPUtime=0.1 cores=4-7 /proc/4949/task/5006/stat : 5006 (java) S 4946 4949 31157 0 -1 1077944384 63 12975 0 0 1 0 6 3 20 0 15 0 406374274 11092590592 49926 33554432000 4194304 4196468 140730629441408 140217176365456 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5007] ppid=4946 vsize=10832608 memory=8112282956445269571 CPUtime=0.1 cores=4-7 /proc/4949/task/5007/stat : 5007 (java) S 4946 4949 31157 0 -1 1077944384 107 12975 0 0 1 0 6 3 20 0 15 0 406374276 11092590592 49926 33554432000 4194304 4196468 140730629441408 140217131686640 140217605032578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5008] ppid=4946 vsize=10832608 memory=0 CPUtime=0.09 cores=4-7 /proc/4949/task/5008/stat : 5008 (java) S 4946 4949 31157 0 -1 1077944384 13 12975 0 0 0 0 6 3 20 0 15 0 406374276 11092590592 49926 33554432000 4194304 4196468 140730629441408 140217059108512 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5009] ppid=4946 vsize=10832608 memory=0 CPUtime=0.09 cores=4-7 /proc/4949/task/5009/stat : 5009 (java) S 4946 4949 31157 0 -1 1077944384 1 12975 0 0 0 0 6 3 20 0 15 0 406374277 11092590592 49926 33554432000 4194304 4196468 140730629441408 140216455128304 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5010] ppid=4946 vsize=10832608 memory=0 CPUtime=0.09 cores=4-7 /proc/4949/task/5010/stat : 5010 (java) S 4946 4949 31157 0 -1 1077944384 3 12975 0 0 0 0 6 3 20 0 15 0 406374280 11092590592 49926 33554432000 4194304 4196468 140730629441408 140216147728848 140217605040027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5011] ppid=4946 vsize=10832608 memory=0 CPUtime=0.9 cores=4-7 /proc/4949/task/5011/stat : 5011 (java) R 4946 4949 31157 0 -1 4202560 4246 12975 0 0 81 0 6 3 20 0 15 0 406374280 11092590592 49926 33554432000 4194304 4196468 140730629441408 140217130619888 140217591035808 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5012] ppid=4946 vsize=10832608 memory=0 CPUtime=0.84 cores=4-7 /proc/4949/task/5012/stat : 5012 (java) R 4946 4949 31157 0 -1 4202560 4031 12975 0 0 75 0 6 3 20 0 15 0 406374280 11092590592 49926 33554432000 4194304 4196468 140730629441408 140217129560352 140217605042778 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5013] ppid=4946 vsize=10832608 memory=-7966001967407402336 CPUtime=0.52 cores=4-7 /proc/4949/task/5013/stat : 5013 (java) R 4946 4949 31157 0 -1 1077944384 2392 12975 0 0 43 0 6 3 20 0 15 0 406374280 11092590592 49926 33554432000 4194304 4196468 140730629441408 140217128527856 140217605032578 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5014] ppid=4946 vsize=10832608 memory=6944613755495348631 CPUtime=0.09 cores=4-7 /proc/4949/task/5014/stat : 5014 (java) S 4946 4949 31157 0 -1 1077944384 3 12975 0 0 0 0 6 3 20 0 15 0 406374280 11092590592 49926 33554432000 4194304 4196468 140730629441408 140216114170208 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5015] ppid=4946 vsize=10832608 memory=7100839870102598768 CPUtime=0.09 cores=4-7 /proc/4949/task/5015/stat : 5015 (java) S 4946 4949 31157 0 -1 1077944384 1 12975 0 0 0 0 6 3 20 0 15 0 406374280 11092590592 49926 33554432000 4194304 4196468 140730629441408 140217127476272 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 Current children cumulated CPU time: 3.56 s Current children cumulated vsize: 10832608 KiB ################ # More data... # ################ /proc/4949/task/5002/stat : 5002 (java) R 4946 4949 31157 0 -1 4202560 168215 12975 0 0 221289 80 6 3 20 0 15 0 406374274 11107291136 1715673 33554432000 4194304 4196468 140730629441408 140217576856688 140217217997772 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5003] ppid=4946 vsize=10846964 memory=6862692 CPUtime=41.84 cores=4-7 /proc/4949/task/5003/stat : 5003 (java) S 4946 4949 31157 0 -1 1077944384 80994 12975 0 0 4079 96 6 3 20 0 15 0 406374274 11107291136 1715673 33554432000 4194304 4196468 140730629441408 140217609263632 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5004] ppid=4946 vsize=10846964 memory=6862692 CPUtime=41.75 cores=4-7 /proc/4949/task/5004/stat : 5004 (java) S 4946 4949 31157 0 -1 1077944384 81513 12975 0 0 4066 100 6 3 20 0 15 0 406374274 11107291136 1715673 33554432000 4194304 4196468 140730629441408 140217530223248 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5005] ppid=4946 vsize=10846964 memory=6862692 CPUtime=41.83 cores=4-7 /proc/4949/task/5005/stat : 5005 (java) S 4946 4949 31157 0 -1 1077944384 74707 12975 0 0 4078 96 6 3 20 0 15 0 406374274 11107291136 1715673 33554432000 4194304 4196468 140730629441408 140217177418000 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5006] ppid=4946 vsize=10846964 memory=6862692 CPUtime=41.81 cores=4-7 /proc/4949/task/5006/stat : 5006 (java) S 4946 4949 31157 0 -1 1077944384 83233 12975 0 0 4078 94 6 3 20 0 15 0 406374274 11107291136 1715673 33554432000 4194304 4196468 140730629441408 140217176365456 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5007] ppid=4946 vsize=10846964 memory=6862692 CPUtime=6.46 cores=4-7 /proc/4949/task/5007/stat : 5007 (java) S 4946 4949 31157 0 -1 1077944384 49778 12975 0 0 627 10 6 3 20 0 15 0 406374276 11107291136 1715673 33554432000 4194304 4196468 140730629441408 140217131686640 140217605032578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5008] ppid=4946 vsize=10846964 memory=6862692 CPUtime=0.09 cores=4-7 /proc/4949/task/5008/stat : 5008 (java) S 4946 4949 31157 0 -1 1077944384 26 12975 0 0 0 0 6 3 20 0 15 0 406374276 11107291136 1715673 33554432000 4194304 4196468 140730629441408 140217059108640 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5009] ppid=4946 vsize=10846964 memory=3612 CPUtime=0.09 cores=4-7 /proc/4949/task/5009/stat : 5009 (java) S 4946 4949 31157 0 -1 1077944384 19 12975 0 0 0 0 6 3 20 0 15 0 406374277 11107291136 1715673 33554432000 4194304 4196468 140730629441408 140216455128320 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5010] ppid=4946 vsize=10846964 memory=36152 CPUtime=0.09 cores=4-7 /proc/4949/task/5010/stat : 5010 (java) S 4946 4949 31157 0 -1 1077944384 3 12975 0 0 0 0 6 3 20 0 15 0 406374280 11107291136 1715673 33554432000 4194304 4196468 140730629441408 140216147728848 140217605040027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5011] ppid=4946 vsize=10846964 memory=6862692 CPUtime=6.94 cores=4-7 /proc/4949/task/5011/stat : 5011 (java) S 4946 4949 31157 0 -1 1077944384 45142 12975 0 0 677 8 6 3 20 0 15 0 406374280 11107291136 1715673 33554432000 4194304 4196468 140730629441408 140217130633456 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5012] ppid=4946 vsize=10846964 memory=6862692 CPUtime=7.14 cores=4-7 /proc/4949/task/5012/stat : 5012 (java) S 4946 4949 31157 0 -1 1077944384 44166 12975 0 0 696 9 6 3 20 0 15 0 406374280 11107291136 1715673 33554432000 4194304 4196468 140730629441408 140217129580912 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5013] ppid=4946 vsize=10846964 memory=6862692 CPUtime=4.29 cores=4-7 /proc/4949/task/5013/stat : 5013 (java) S 4946 4949 31157 0 -1 1077944384 37730 12975 0 0 413 7 6 3 20 0 15 0 406374280 11107291136 1715673 33554432000 4194304 4196468 140730629441408 140217128527856 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5014] ppid=4946 vsize=10846964 memory=7522533558450610284 CPUtime=0.09 cores=4-7 /proc/4949/task/5014/stat : 5014 (java) S 4946 4949 31157 0 -1 1077944384 3 12975 0 0 0 0 6 3 20 0 15 0 406374280 11107291136 1715673 33554432000 4194304 4196468 140730629441408 140216114170208 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5015] ppid=4946 vsize=10846964 memory=7589248591532156264 CPUtime=1.4 cores=4-7 /proc/4949/task/5015/stat : 5015 (java) S 4946 4949 31157 0 -1 1077944384 1628 12975 0 0 55 76 6 3 20 0 15 0 406374280 11107291136 1715673 33554432000 4194304 4196468 140730629441408 140217127476272 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 Current children cumulated CPU time: 2406.51 s Current children cumulated vsize: 10846964 KiB Current children cumulated memory: 6862692 KiB [startup+2322.3 s] /proc/loadavg: 1.70 1.72 1.71 3/227 5360 /proc/meminfo: memFree=15122020/32770688 swapFree=66960436/67108860 [pid=4949] ppid=4946 vsize=10846964 memory=6862704 CPUtime=2467.71 cores=4-7 /proc/4949/stat : 4949 (java) S 4946 4949 31157 0 -1 1077944320 682423 12975 0 0 246197 565 6 3 20 0 15 0 406374264 11107291136 1715676 33554432000 4194304 4196468 140730629441408 140730629423952 140217605021431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 /proc/4949/statm: 2711741 1715676 3631 1 0 2673805 0 [pid=4949/tid=5002] ppid=4946 vsize=10846964 memory=6862704 CPUtime=2273.37 cores=4-7 /proc/4949/task/5002/stat : 5002 (java) R 4946 4949 31157 0 -1 4202560 171846 12975 0 0 227247 81 6 3 20 0 15 0 406374274 11107291136 1715676 33554432000 4194304 4196468 140730629441408 140217576856544 140217222241819 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5003] ppid=4946 vsize=10846964 memory=6862704 CPUtime=42.23 cores=4-7 /proc/4949/task/5003/stat : 5003 (java) S 4946 4949 31157 0 -1 1077944384 83669 12975 0 0 4118 96 6 3 20 0 15 0 406374274 11107291136 1715676 33554432000 4194304 4196468 140730629441408 140217609263632 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5004] ppid=4946 vsize=10846964 memory=6862704 CPUtime=42.14 cores=4-7 /proc/4949/task/5004/stat : 5004 (java) S 4946 4949 31157 0 -1 1077944384 83065 12975 0 0 4105 100 6 3 20 0 15 0 406374274 11107291136 1715676 33554432000 4194304 4196468 140730629441408 140217530223248 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5005] ppid=4946 vsize=10846964 memory=6862704 CPUtime=42.22 cores=4-7 /proc/4949/task/5005/stat : 5005 (java) S 4946 4949 31157 0 -1 1077944384 77158 12975 0 0 4117 96 6 3 20 0 15 0 406374274 11107291136 1715676 33554432000 4194304 4196468 140730629441408 140217177418000 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5006] ppid=4946 vsize=10846964 memory=6862704 CPUtime=42.19 cores=4-7 /proc/4949/task/5006/stat : 5006 (java) S 4946 4949 31157 0 -1 1077944384 84023 12975 0 0 4116 94 6 3 20 0 15 0 406374274 11107291136 1715676 33554432000 4194304 4196468 140730629441408 140217176365456 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5007] ppid=4946 vsize=10846964 memory=6862704 CPUtime=6.47 cores=4-7 /proc/4949/task/5007/stat : 5007 (java) S 4946 4949 31157 0 -1 1077944384 50093 12975 0 0 628 10 6 3 20 0 15 0 406374276 11107291136 1715676 33554432000 4194304 4196468 140730629441408 140217131686640 140217605032578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5008] ppid=4946 vsize=10846964 memory=6862704 CPUtime=0.09 cores=4-7 /proc/4949/task/5008/stat : 5008 (java) S 4946 4949 31157 0 -1 1077944384 26 12975 0 0 0 0 6 3 20 0 15 0 406374276 11107291136 1715676 33554432000 4194304 4196468 140730629441408 140217059108640 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5009] ppid=4946 vsize=10846964 memory=6862704 CPUtime=0.09 cores=4-7 /proc/4949/task/5009/stat : 5009 (java) S 4946 4949 31157 0 -1 1077944384 19 12975 0 0 0 0 6 3 20 0 15 0 406374277 11107291136 1715676 33554432000 4194304 4196468 140730629441408 140216455128320 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5010] ppid=4946 vsize=10846964 memory=280010260556224 CPUtime=0.09 cores=4-7 /proc/4949/task/5010/stat : 5010 (java) S 4946 4949 31157 0 -1 1077944384 3 12975 0 0 0 0 6 3 20 0 15 0 406374280 11107291136 1715676 33554432000 4194304 4196468 140730629441408 140216147728848 140217605040027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5011] ppid=4946 vsize=10846964 memory=6862704 CPUtime=6.94 cores=4-7 /proc/4949/task/5011/stat : 5011 (java) S 4946 4949 31157 0 -1 1077944384 45146 12975 0 0 677 8 6 3 20 0 15 0 406374280 11107291136 1715676 33554432000 4194304 4196468 140730629441408 140217130633456 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5012] ppid=4946 vsize=10846964 memory=6862704 CPUtime=7.14 cores=4-7 /proc/4949/task/5012/stat : 5012 (java) S 4946 4949 31157 0 -1 1077944384 44881 12975 0 0 696 9 6 3 20 0 15 0 406374280 11107291136 1715676 33554432000 4194304 4196468 140730629441408 140217129580912 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5013] ppid=4946 vsize=10846964 memory=6862704 CPUtime=4.29 cores=4-7 /proc/4949/task/5013/stat : 5013 (java) S 4946 4949 31157 0 -1 1077944384 38624 12975 0 0 413 7 6 3 20 0 15 0 406374280 11107291136 1715676 33554432000 4194304 4196468 140730629441408 140217128527856 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5014] ppid=4946 vsize=10846964 memory=6862704 CPUtime=0.09 cores=4-7 /proc/4949/task/5014/stat : 5014 (java) S 4946 4949 31157 0 -1 1077944384 3 12975 0 0 0 0 6 3 20 0 15 0 406374280 11107291136 1715676 33554432000 4194304 4196468 140730629441408 140216114170208 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5015] ppid=4946 vsize=10846964 memory=6862704 CPUtime=1.43 cores=4-7 /proc/4949/task/5015/stat : 5015 (java) S 4946 4949 31157 0 -1 1077944384 1657 12975 0 0 56 78 6 3 20 0 15 0 406374280 11107291136 1715676 33554432000 4194304 4196468 140730629441408 140217127476272 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 Current children cumulated CPU time: 2467.71 s Current children cumulated vsize: 10846964 KiB Current children cumulated memory: 6862704 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2373.7 s] /proc/loadavg: 1.59 1.69 1.70 3/228 5365 /proc/meminfo: memFree=15122032/32770688 swapFree=66960436/67108860 [pid=4949] ppid=4946 vsize=10846964 memory=6862712 CPUtime=2520.06 cores=4-7 /proc/4949/stat : 4949 (java) S 4946 4949 31157 0 -1 1077944320 693071 12975 0 0 251430 567 6 3 20 0 15 0 406374264 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140730629423952 140217605021431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 /proc/4949/statm: 2711741 1715678 3631 1 0 2673805 0 [pid=4949/tid=5002] ppid=4946 vsize=10846964 memory=6862712 CPUtime=2324.45 cores=4-7 /proc/4949/task/5002/stat : 5002 (java) R 4946 4949 31157 0 -1 4202560 174780 12975 0 0 232354 82 6 3 20 0 15 0 406374274 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140217576856576 140217222231430 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5003] ppid=4946 vsize=10846964 memory=2044 CPUtime=42.54 cores=4-7 /proc/4949/task/5003/stat : 5003 (java) S 4946 4949 31157 0 -1 1077944384 84478 12975 0 0 4149 96 6 3 20 0 15 0 406374274 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140217609263632 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5004] ppid=4946 vsize=10846964 memory=6862704 CPUtime=42.45 cores=4-7 /proc/4949/task/5004/stat : 5004 (java) S 4946 4949 31157 0 -1 1077944384 84076 12975 0 0 4136 100 6 3 20 0 15 0 406374274 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140217530223248 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5005] ppid=4946 vsize=10846964 memory=6862704 CPUtime=42.52 cores=4-7 /proc/4949/task/5005/stat : 5005 (java) S 4946 4949 31157 0 -1 1077944384 80127 12975 0 0 4147 96 6 3 20 0 15 0 406374274 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140217177418000 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5006] ppid=4946 vsize=10846964 memory=6862712 CPUtime=42.5 cores=4-7 /proc/4949/task/5006/stat : 5006 (java) S 4946 4949 31157 0 -1 1077944384 85665 12975 0 0 4147 94 6 3 20 0 15 0 406374274 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140217176365456 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5007] ppid=4946 vsize=10846964 memory=6862712 CPUtime=6.48 cores=4-7 /proc/4949/task/5007/stat : 5007 (java) S 4946 4949 31157 0 -1 1077944384 50276 12975 0 0 629 10 6 3 20 0 15 0 406374276 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140217131686640 140217605032578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5008] ppid=4946 vsize=10846964 memory=496 CPUtime=0.09 cores=4-7 /proc/4949/task/5008/stat : 5008 (java) S 4946 4949 31157 0 -1 1077944384 26 12975 0 0 0 0 6 3 20 0 15 0 406374276 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140217059108640 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5009] ppid=4946 vsize=10846964 memory=9 CPUtime=0.09 cores=4-7 /proc/4949/task/5009/stat : 5009 (java) S 4946 4949 31157 0 -1 1077944384 19 12975 0 0 0 0 6 3 20 0 15 0 406374277 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140216455128320 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5010] ppid=4946 vsize=10846964 memory=1380 CPUtime=0.09 cores=4-7 /proc/4949/task/5010/stat : 5010 (java) S 4946 4949 31157 0 -1 1077944384 3 12975 0 0 0 0 6 3 20 0 15 0 406374280 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140216147728848 140217605040027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5011] ppid=4946 vsize=10846964 memory=6862712 CPUtime=6.94 cores=4-7 /proc/4949/task/5011/stat : 5011 (java) S 4946 4949 31157 0 -1 1077944384 45148 12975 0 0 677 8 6 3 20 0 15 0 406374280 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140217130633456 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5012] ppid=4946 vsize=10846964 memory=3612 CPUtime=7.14 cores=4-7 /proc/4949/task/5012/stat : 5012 (java) S 4946 4949 31157 0 -1 1077944384 44883 12975 0 0 696 9 6 3 20 0 15 0 406374280 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140217129580912 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5013] ppid=4946 vsize=10846964 memory=6862712 CPUtime=4.29 cores=4-7 /proc/4949/task/5013/stat : 5013 (java) S 4946 4949 31157 0 -1 1077944384 39694 12975 0 0 413 7 6 3 20 0 15 0 406374280 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140217128527856 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5014] ppid=4946 vsize=10846964 memory=6862704 CPUtime=0.09 cores=4-7 /proc/4949/task/5014/stat : 5014 (java) S 4946 4949 31157 0 -1 1077944384 3 12975 0 0 0 0 6 3 20 0 15 0 406374280 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140216114170208 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5015] ppid=4946 vsize=10846964 memory=764 CPUtime=1.45 cores=4-7 /proc/4949/task/5015/stat : 5015 (java) S 4946 4949 31157 0 -1 1077944384 1683 12975 0 0 57 79 6 3 20 0 15 0 406374280 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140217127476272 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 Current children cumulated CPU time: 2520.06 s Current children cumulated vsize: 10846964 KiB Current children cumulated memory: 6862712 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2373.75 s] # the end of solver process 4949 was just reported to runsolver # cumulated CPU time of all completed processes: user=2514.39 s, system=5.73824 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2373.7 s] /proc/loadavg: 1.59 1.69 1.70 3/228 5365 /proc/meminfo: memFree=15122032/32770688 swapFree=66960436/67108860 [pid=4949] ppid=4946 vsize=10846964 memory=6862712 CPUtime=2520.06 cores=4-7 /proc/4949/stat : 4949 (java) S 4946 4949 31157 0 -1 1077944320 693071 12975 0 0 251430 567 6 3 20 0 15 0 406374264 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140730629423952 140217605021431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 /proc/4949/statm: 2711741 1715678 3631 1 0 2673805 0 [pid=4949/tid=5002] ppid=4946 vsize=10846964 memory=6862712 CPUtime=2324.45 cores=4-7 /proc/4949/task/5002/stat : 5002 (java) R 4946 4949 31157 0 -1 4202560 174780 12975 0 0 232354 82 6 3 20 0 15 0 406374274 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140217576856576 140217222231430 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5003] ppid=4946 vsize=10846964 memory=2044 CPUtime=42.54 cores=4-7 /proc/4949/task/5003/stat : 5003 (java) S 4946 4949 31157 0 -1 1077944384 84478 12975 0 0 4149 96 6 3 20 0 15 0 406374274 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140217609263632 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5004] ppid=4946 vsize=10846964 memory=6862704 CPUtime=42.45 cores=4-7 /proc/4949/task/5004/stat : 5004 (java) S 4946 4949 31157 0 -1 1077944384 84076 12975 0 0 4136 100 6 3 20 0 15 0 406374274 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140217530223248 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5005] ppid=4946 vsize=10846964 memory=6862704 CPUtime=42.52 cores=4-7 /proc/4949/task/5005/stat : 5005 (java) S 4946 4949 31157 0 -1 1077944384 80127 12975 0 0 4147 96 6 3 20 0 15 0 406374274 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140217177418000 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5006] ppid=4946 vsize=10846964 memory=6862712 CPUtime=42.5 cores=4-7 /proc/4949/task/5006/stat : 5006 (java) S 4946 4949 31157 0 -1 1077944384 85665 12975 0 0 4147 94 6 3 20 0 15 0 406374274 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140217176365456 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5007] ppid=4946 vsize=10846964 memory=6862712 CPUtime=6.48 cores=4-7 /proc/4949/task/5007/stat : 5007 (java) S 4946 4949 31157 0 -1 1077944384 50276 12975 0 0 629 10 6 3 20 0 15 0 406374276 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140217131686640 140217605032578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5008] ppid=4946 vsize=10846964 memory=496 CPUtime=0.09 cores=4-7 /proc/4949/task/5008/stat : 5008 (java) S 4946 4949 31157 0 -1 1077944384 26 12975 0 0 0 0 6 3 20 0 15 0 406374276 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140217059108640 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5009] ppid=4946 vsize=10846964 memory=9 CPUtime=0.09 cores=4-7 /proc/4949/task/5009/stat : 5009 (java) S 4946 4949 31157 0 -1 1077944384 19 12975 0 0 0 0 6 3 20 0 15 0 406374277 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140216455128320 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5010] ppid=4946 vsize=10846964 memory=1380 CPUtime=0.09 cores=4-7 /proc/4949/task/5010/stat : 5010 (java) S 4946 4949 31157 0 -1 1077944384 3 12975 0 0 0 0 6 3 20 0 15 0 406374280 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140216147728848 140217605040027 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5011] ppid=4946 vsize=10846964 memory=6862712 CPUtime=6.94 cores=4-7 /proc/4949/task/5011/stat : 5011 (java) S 4946 4949 31157 0 -1 1077944384 45148 12975 0 0 677 8 6 3 20 0 15 0 406374280 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140217130633456 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5012] ppid=4946 vsize=10846964 memory=3612 CPUtime=7.14 cores=4-7 /proc/4949/task/5012/stat : 5012 (java) S 4946 4949 31157 0 -1 1077944384 44883 12975 0 0 696 9 6 3 20 0 15 0 406374280 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140217129580912 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5013] ppid=4946 vsize=10846964 memory=6862712 CPUtime=4.29 cores=4-7 /proc/4949/task/5013/stat : 5013 (java) S 4946 4949 31157 0 -1 1077944384 39694 12975 0 0 413 7 6 3 20 0 15 0 406374280 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140217128527856 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5014] ppid=4946 vsize=10846964 memory=6862704 CPUtime=0.09 cores=4-7 /proc/4949/task/5014/stat : 5014 (java) S 4946 4949 31157 0 -1 1077944384 3 12975 0 0 0 0 6 3 20 0 15 0 406374280 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140216114170208 140217605031637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 [pid=4949/tid=5015] ppid=4946 vsize=10846964 memory=764 CPUtime=1.45 cores=4-7 /proc/4949/task/5015/stat : 5015 (java) S 4946 4949 31157 0 -1 1077944384 1683 12975 0 0 57 79 6 3 20 0 15 0 406374280 11107291136 1715678 33554432000 4194304 4196468 140730629441408 140217127476272 140217605032578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16535552 140730629446390 140730629448901 140730629448901 140730629451727 0 Current children cumulated CPU time: 2520.06 s Current children cumulated vsize: 10846964 KiB Current children cumulated memory: 6862712 KiB Child status: 143 Real time (s): 2373.75 CPU time (s): 2520.13 CPU user time (s): 2514.39 CPU system time (s): 5.73824 CPU usage (%): 106.167 Max. virtual memory (cumulated for all children) (KiB): 10847676 Max. memory (cumulated for all children) (KiB): 6862712 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2514.39 system time used= 5.73824 maximum resident set size= 6866952 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 709835 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2984 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 75100 involuntary context switches= 3559 # summary of solver processes directly reported to runsolver: # pid: 4949 # total CPU time (s): 2520.13 # total CPU user time (s): 2514.39 # total CPU system time (s): 5.73824 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 14.5176 second user time and 26.3683 second system time The end
Begin job on node116 at 2019-09-12 18:04:45 IDJOB=4387428 IDBENCH=138444 IDSOLVER=2823 FILE ID=node116/4387428-1568304326 RUNJOBID= node116-1568285921-31917 PBS_JOBID= 21701086 Free space on /tmp= 54296 MiB SOLVER NAME= Concrete 3.10 BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-06.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387428-1568304326/watcher-4387428-1568304326 -o /tmp/evaluation-result-4387428-1568304326/solver-4387428-1568304326 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568285921-31917 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=808386694 HOME/instance-4387428-1568304326.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6b3d88799df56964f86d557249875b85 RANDOM SEED=808386694 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: 21057284 kB MemAvailable: 28605308 kB Buffers: 109036 kB Cached: 7650628 kB SwapCached: 46352 kB Active: 4638508 kB Inactive: 6375136 kB Active(anon): 3217596 kB Inactive(anon): 76692 kB Active(file): 1420912 kB Inactive(file): 6298444 kB Unevictable: 110108 kB Mlocked: 110108 kB SwapTotal: 67108860 kB SwapFree: 66960432 kB Dirty: 35084 kB Writeback: 0 kB AnonPages: 3321028 kB Mapped: 55264 kB Shmem: 31816 kB Slab: 286064 kB SReclaimable: 257128 kB SUnreclaim: 28936 kB KernelStack: 3936 kB PageTables: 11976 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 4260440 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3133440 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= 56816 MiB End job on node116 at 2019-09-12 18:44:19