Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2018-08-14 | SAT | 6.18637 | 2.6763 |
Name | Eternity/ Eternity-05-05_c18.xml |
MD5SUM | c4864a898575c3e068596f0b6cab168e |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 3.02228 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 85 |
Number of constraints | 46 |
Number of domains | 2 |
Minimum domain size | 8 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":8,"count":60},{"size":25,"count":25}] |
Minimum variable degree | 1 |
Maximum variable degree | 6 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":80},{"degree":6,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 25 |
Distribution of constraint arities | [{"arity":1,"count":20},{"arity":5,"count":25},{"arity":25,"count":1}] |
Number of extensional constraints | 25 |
Number of intensional constraints | 20 |
Distribution of constraint types | [{"type":"extension","count":25},{"type":"intension","count":20},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.67/0.55 c version: 2018-08-14 0.67/0.55 c seed: 1450013385 0.67/0.55 c timeout: 20160 0.67/0.55 c memlimit: 22000 0.67/0.55 c nbcore: 8 0.67/0.58 c Parsing instance... 1.55/0.92 c Parsing done, starting search... 5.79/2.66 s SATISFIABLE 5.79/2.66 v <instantiation> 5.79/2.66 v <list> 5.79/2.66 v id[0][0] id[0][1] id[0][2] id[0][3] id[0][4] id[1][0] id[1][1] id[1][2] id[1][3] id[1][4] id[2][0] id[2][1] id[2][2] id[2][3] id[2][4] id[3][0] id[3][1] id[3][2] id[3][3] id[3][4] id[4][0] id[4][1] id[4][2] id[4][3] id[4][4] top[0][0] top[0][1] top[0][2] top[0][3] top[0][4] top[1][0] top[1][1] top[1][2] top[1][3] top[1][4] top[2][0] top[2][1] top[2][2] top[2][3] top[2][4] top[3][0] top[3][1] top[3][2] top[3][3] top[3][4] top[4][0] top[4][1] top[4][2] top[4][3] top[4][4] left[0][0] left[0][1] left[0][2] left[0][3] left[0][4] left[1][0] left[1][1] left[1][2] left[1][3] left[1][4] left[2][0] left[2][1] left[2][2] left[2][3] left[2][4] left[3][0] left[3][1] left[3][2] left[3][3] left[3][4] left[4][0] left[4][1] left[4][2] left[4][3] left[4][4] bot[0] bot[1] bot[2] bot[3] bot[4] right[0] right[1] right[2] right[3] right[4] 5.79/2.66 v </list> 5.79/2.66 v <values> 5.79/2.66 v 0 13 5 4 3 6 18 16 17 10 11 22 23 21 8 14 20 24 19 12 1 7 15 9 2 0 0 0 0 0 1 6 4 4 3 2 5 6 4 2 3 4 7 7 1 2 5 7 5 3 0 1 3 1 1 0 5 4 5 6 0 7 5 7 6 0 6 6 7 4 0 1 3 2 2 0 0 0 0 0 0 0 0 0 0 5.79/2.66 v </values> 5.79/2.66 v </instantiation>
OK
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: 16374 MiB (13553 MiB free) memory of node 1: 16384 MiB (10608 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309050-1534400456/watcher-4309050-1534400456 -o /tmp/evaluation-result-4309050-1534400456/solver-4309050-1534400456 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1534395196-4145 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1450013385 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309050-1534400456.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=4612, runsolver pid=4609 [startup+0.100067 s]* /proc/loadavg: 9.30 8.97 8.80 2/199 4632 /proc/meminfo: memFree=24725868/32770624 swapFree=67107648/67108860 [pid=4612] ppid=4609 vsize=26103420 memory=30056 CPUtime=0.11 cores=0-7 /proc/4612/stat : 4612 (java) S 4609 4612 4118 0 -1 1077944320 6963 0 0 0 10 1 0 0 20 0 20 0 257608779 26729902080 7514 33554432000 4194304 4196468 140720332645264 140720332627808 140006376632055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 /proc/4612/statm: 6525855 7514 3138 1 0 6487932 0 [pid=4612/tid=4614] ppid=4609 vsize=26103420 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/4612/task/4614/stat : 4614 (java) R 4609 4612 4118 0 -1 4202560 5190 0 0 0 8 1 0 0 20 0 20 0 257608780 26729902080 7646 33554432000 4194304 4196468 140720332645264 140006380865296 140006356907762 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4615] ppid=4609 vsize=26103420 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/4612/task/4615/stat : 4615 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 7646 33554432000 4194304 4196468 140720332645264 140005935069840 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4616] ppid=4609 vsize=26103420 memory=140187254851200 CPUtime=0 cores=0-7 /proc/4612/task/4616/stat : 4616 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 7646 33554432000 4194304 4196468 140720332645264 140005934017040 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4617] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4617/stat : 4617 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 7712 33554432000 4194304 4196468 140720332645264 140005932964240 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4618] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4618/stat : 4618 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 7712 33554432000 4194304 4196468 140720332645264 140005931911440 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4619] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4619/stat : 4619 (java) S 4609 4612 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 7712 33554432000 4194304 4196468 140720332645264 140005930859664 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4620] ppid=4609 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/4612/task/4620/stat : 4620 (java) S 4609 4612 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 7712 33554432000 4194304 4196468 140720332645264 140005929806864 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4621] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4621/stat : 4621 (java) S 4609 4612 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 7712 33554432000 4194304 4196468 140720332645264 140005928754064 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4622] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4622/stat : 4622 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 7712 33554432000 4194304 4196468 140720332645264 140005927701264 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4623] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4623/stat : 4623 (java) S 4609 4612 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257608782 26729902080 7712 33554432000 4194304 4196468 140720332645264 140005773035888 140006376643202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4624] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4624/stat : 4624 (java) S 4609 4612 4118 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257608782 26729902080 7712 33554432000 4194304 4196468 140720332645264 140005771981856 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4625] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4625/stat : 4625 (java) S 4609 4612 4118 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 257608783 26729902080 7712 33554432000 4194304 4196468 140720332645264 140005770929008 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4626] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4626/stat : 4626 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608785 26729902080 7712 33554432000 4194304 4196468 140720332645264 140005769877328 140006376650651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4627] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4627/stat : 4627 (java) S 4609 4612 4118 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 257608785 26729902080 7712 33554432000 4194304 4196468 140720332645264 140005768825712 140006376643202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4628] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4628/stat : 4628 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608785 26729902080 7778 33554432000 4194304 4196468 140720332645264 140005767772912 140006376643202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4629] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4629/stat : 4629 (java) S 4609 4612 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257608785 26729902080 7778 33554432000 4194304 4196468 140720332645264 140005766720112 140006376643202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4630] ppid=4609 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/4612/task/4630/stat : 4630 (java) S 4609 4612 4118 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 20 0 257608785 26729902080 7778 33554432000 4194304 4196468 140720332645264 140005765667312 140006376643202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4631] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4631/stat : 4631 (java) S 4609 4612 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257608785 26729902080 7778 33554432000 4194304 4196468 140720332645264 140005764614752 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4632] ppid=4609 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/4612/task/4632/stat : 4632 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608785 26729902080 7778 33554432000 4194304 4196468 140720332645264 140005763562032 140006376643202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 30056 KiB [startup+0.210284 s]* /proc/loadavg: 9.30 8.97 8.80 3/199 4632 /proc/meminfo: memFree=24712024/32770624 swapFree=67107648/67108860 [pid=4612] ppid=4609 vsize=26103420 memory=43072 CPUtime=0.3 cores=0-7 /proc/4612/stat : 4612 (java) S 4609 4612 4118 0 -1 1077944320 10443 0 0 0 28 2 0 0 20 0 20 0 257608779 26729902080 10768 33554432000 4194304 4196468 140720332645264 140720332627808 140006376632055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 /proc/4612/statm: 6525855 10768 3353 1 0 6487932 0 [pid=4612/tid=4614] ppid=4609 vsize=26103420 memory=4026531975 CPUtime=0.2 cores=0-7 /proc/4612/task/4614/stat : 4614 (java) R 4609 4612 4118 0 -1 4202560 8187 0 0 0 18 2 0 0 20 0 20 0 257608780 26729902080 10834 33554432000 4194304 4196468 140720332645264 140006380861968 140006360712542 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4615] ppid=4609 vsize=26103420 memory=10829 CPUtime=0 cores=0-7 /proc/4612/task/4615/stat : 4615 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 10834 33554432000 4194304 4196468 140720332645264 140005935069840 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4616] ppid=4609 vsize=26103420 memory=140187254855956 CPUtime=0 cores=0-7 /proc/4612/task/4616/stat : 4616 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 10834 33554432000 4194304 4196468 140720332645264 140005934017040 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4617] ppid=4609 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/4612/task/4617/stat : 4617 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 10834 33554432000 4194304 4196468 140720332645264 140005932964240 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4618] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4618/stat : 4618 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 10834 33554432000 4194304 4196468 140720332645264 140005931911440 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4619] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4619/stat : 4619 (java) S 4609 4612 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 10834 33554432000 4194304 4196468 140720332645264 140005930859664 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4620] ppid=4609 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/4612/task/4620/stat : 4620 (java) S 4609 4612 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 10834 33554432000 4194304 4196468 140720332645264 140005929806864 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4621] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4621/stat : 4621 (java) S 4609 4612 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 10834 33554432000 4194304 4196468 140720332645264 140005928754064 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4622] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4622/stat : 4622 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 10834 33554432000 4194304 4196468 140720332645264 140005927701264 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4623] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4623/stat : 4623 (java) S 4609 4612 4118 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 257608782 26729902080 10834 33554432000 4194304 4196468 140720332645264 140005773035888 140006376643202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4624] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4624/stat : 4624 (java) S 4609 4612 4118 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257608782 26729902080 10834 33554432000 4194304 4196468 140720332645264 140005771981856 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4625] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4625/stat : 4625 (java) S 4609 4612 4118 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 257608783 26729902080 10834 33554432000 4194304 4196468 140720332645264 140005770929008 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4626] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4626/stat : 4626 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608785 26729902080 10834 33554432000 4194304 4196468 140720332645264 140005769877328 140006376650651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4627] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4627/stat : 4627 (java) S 4609 4612 4118 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 257608785 26729902080 10834 33554432000 4194304 4196468 140720332645264 140005768825712 140006376643202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4628] ppid=4609 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/4612/task/4628/stat : 4628 (java) S 4609 4612 4118 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 20 0 257608785 26729902080 10834 33554432000 4194304 4196468 140720332645264 140005767772912 140006376643202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4629] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4629/stat : 4629 (java) S 4609 4612 4118 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257608785 26729902080 10834 33554432000 4194304 4196468 140720332645264 140005766720112 140006376643202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4630] ppid=4609 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7 /proc/4612/task/4630/stat : 4630 (java) R 4609 4612 4118 0 -1 4202560 332 0 0 0 6 0 0 0 20 0 20 0 257608785 26729902080 10834 33554432000 4194304 4196468 140720332645264 140005765667312 140006360712542 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4631] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4631/stat : 4631 (java) S 4609 4612 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257608785 26729902080 10834 33554432000 4194304 4196468 140720332645264 140005764614752 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4632] ppid=4609 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/4612/task/4632/stat : 4632 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608785 26729902080 10834 33554432000 4194304 4196468 140720332645264 140005763562032 140006376643202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 43072 KiB [startup+0.310448 s]* /proc/loadavg: 9.30 8.97 8.80 4/199 4632 /proc/meminfo: memFree=24708736/32770624 swapFree=67107648/67108860 [pid=4612] ppid=4609 vsize=26103420 memory=46844 CPUtime=0.43 cores=0-7 /proc/4612/stat : 4612 (java) S 4609 4612 4118 0 -1 1077944320 10882 0 0 0 40 3 0 0 20 0 20 0 257608779 26729902080 11711 33554432000 4194304 4196468 140720332645264 140720332627808 140006376632055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 /proc/4612/statm: 6525855 11711 3405 1 0 6487932 0 [pid=4612/tid=4614] ppid=4609 vsize=26103420 memory=8112282956445269571 CPUtime=0.3 cores=0-7 /proc/4612/task/4614/stat : 4614 (java) R 4609 4612 4118 0 -1 4202560 8530 0 0 0 28 2 0 0 20 0 20 0 257608780 26729902080 11711 33554432000 4194304 4196468 140720332645264 140006380811112 140006358197028 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4615] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4615/stat : 4615 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 11711 33554432000 4194304 4196468 140720332645264 140005935069840 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4616] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4616/stat : 4616 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 11711 33554432000 4194304 4196468 140720332645264 140005934017040 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4617] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4617/stat : 4617 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 11711 33554432000 4194304 4196468 140720332645264 140005932964240 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4618] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4618/stat : 4618 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 11711 33554432000 4194304 4196468 140720332645264 140005931911440 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4619] ppid=4609 vsize=26103420 memory=2244 CPUtime=0 cores=0-7 /proc/4612/task/4619/stat : 4619 (java) S 4609 4612 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 11711 33554432000 4194304 4196468 140720332645264 140005930859664 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4620] ppid=4609 vsize=26103420 memory=140187128656815 CPUtime=0 cores=0-7 /proc/4612/task/4620/stat : 4620 (java) S 4609 4612 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 11711 33554432000 4194304 4196468 140720332645264 140005929806864 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4621] ppid=4609 vsize=26103420 memory=140187128659120 CPUtime=0 cores=0-7 /proc/4612/task/4621/stat : 4621 (java) S 4609 4612 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 11711 33554432000 4194304 4196468 140720332645264 140005928754064 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4622] ppid=4609 vsize=26103420 memory=140187128661424 CPUtime=0 cores=0-7 /proc/4612/task/4622/stat : 4622 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26729902080 11711 33554432000 4194304 4196468 140720332645264 140005927701264 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4623] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4623/stat : 4623 (java) S 4609 4612 4118 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 257608782 26729902080 11711 33554432000 4194304 4196468 140720332645264 140005773035888 140006376643202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4624] ppid=4609 vsize=26103420 memory=280374257329808 CPUtime=0 cores=0-7 /proc/4612/task/4624/stat : 4624 (java) S 4609 4612 4118 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257608782 26729902080 11711 33554432000 4194304 4196468 140720332645264 140005771981856 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4625] ppid=4609 vsize=26103420 memory=280374257336720 CPUtime=0 cores=0-7 /proc/4612/task/4625/stat : 4625 (java) S 4609 4612 4118 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 257608783 26729902080 11711 33554432000 4194304 4196468 140720332645264 140005770929008 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4626] ppid=4609 vsize=26103420 memory=280374257277968 CPUtime=0 cores=0-7 /proc/4612/task/4626/stat : 4626 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608785 26729902080 11711 33554432000 4194304 4196468 140720332645264 140005769877328 140006376650651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4627] ppid=4609 vsize=26103420 memory=280374257350544 CPUtime=0 cores=0-7 /proc/4612/task/4627/stat : 4627 (java) S 4609 4612 4118 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 257608785 26729902080 11711 33554432000 4194304 4196468 140720332645264 140005768825712 140006376643202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4628] ppid=4609 vsize=26103420 memory=280374257357456 CPUtime=0.02 cores=0-7 /proc/4612/task/4628/stat : 4628 (java) S 4609 4612 4118 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 20 0 257608785 26729902080 11711 33554432000 4194304 4196468 140720332645264 140005767772912 140006376643202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4629] ppid=4609 vsize=26103420 memory=280374257355152 CPUtime=0.01 cores=0-7 /proc/4612/task/4629/stat : 4629 (java) S 4609 4612 4118 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 20 0 257608785 26729902080 11711 33554432000 4194304 4196468 140720332645264 140005766720112 140006376643202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4630] ppid=4609 vsize=26103420 memory=280374257371760 CPUtime=0.08 cores=0-7 /proc/4612/task/4630/stat : 4630 (java) S 4609 4612 4118 0 -1 1077944384 349 0 0 0 8 0 0 0 20 0 20 0 257608785 26729902080 11711 33554432000 4194304 4196468 140720332645264 140005765667312 140006376643202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4631] ppid=4609 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4631/stat : 4631 (java) S 4609 4612 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257608785 26729902080 11711 33554432000 4194304 4196468 140720332645264 140005764614752 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4632] ppid=4609 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/4612/task/4632/stat : 4632 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608785 26729902080 11711 33554432000 4194304 4196468 140720332645264 140005763562032 140006376643202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 46844 KiB [startup+0.70092 s] /proc/loadavg: 9.30 8.97 8.80 2/199 4632 /proc/meminfo: memFree=24684552/32770624 swapFree=67107648/67108860 [pid=4612] ppid=4609 vsize=26105488 memory=85712 CPUtime=0.99 cores=0-7 /proc/4612/stat : 4612 (java) S 4609 4612 4118 0 -1 1077944320 17846 0 0 0 94 5 0 0 20 0 20 0 257608779 26732019712 21428 33554432000 4194304 4196468 140720332645264 140720332627808 140006376632055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 /proc/4612/statm: 6526372 21428 3491 1 0 6488444 0 [pid=4612/tid=4614] ppid=4609 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7 /proc/4612/task/4614/stat : 4614 (java) R 4609 4612 4118 0 -1 4202560 15028 0 0 0 64 3 0 0 20 0 20 0 257608780 26732019712 21428 33554432000 4194304 4196468 140720332645264 140006380854720 140006361068910 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4615] ppid=4609 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4615/stat : 4615 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26732019712 21428 33554432000 4194304 4196468 140720332645264 140005935069840 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4616] ppid=4609 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4616/stat : 4616 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26732019712 21428 33554432000 4194304 4196468 140720332645264 140005934017040 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4617] ppid=4609 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4617/stat : 4617 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26732019712 21428 33554432000 4194304 4196468 140720332645264 140005932964240 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4618] ppid=4609 vsize=26105488 memory=1828 CPUtime=0 cores=0-7 /proc/4612/task/4618/stat : 4618 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26732019712 21428 33554432000 4194304 4196468 140720332645264 140005931911440 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4619] ppid=4609 vsize=26105488 memory=1020 CPUtime=0 cores=0-7 /proc/4612/task/4619/stat : 4619 (java) S 4609 4612 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257608781 26732019712 21940 33554432000 4194304 4196468 140720332645264 140005930859664 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4620] ppid=4609 vsize=26105488 memory=5672 CPUtime=0 cores=0-7 /proc/4612/task/4620/stat : 4620 (java) S 4609 4612 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257608781 26732019712 21940 33554432000 4194304 4196468 140720332645264 140005929806864 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4621] ppid=4609 vsize=26105488 memory=756 CPUtime=0 cores=0-7 /proc/4612/task/4621/stat : 4621 (java) S 4609 4612 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257608781 26732019712 21940 33554432000 4194304 4196468 140720332645264 140005928754064 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4622] ppid=4609 vsize=26105488 memory=13940 CPUtime=0 cores=0-7 /proc/4612/task/4622/stat : 4622 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26732019712 21940 33554432000 4194304 4196468 140720332645264 140005927701264 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4623] ppid=4609 vsize=26105488 memory=12552 CPUtime=0 cores=0-7 /proc/4612/task/4623/stat : 4623 (java) S 4609 4612 4118 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 257608782 26732019712 21940 33554432000 4194304 4196468 140720332645264 140005773035888 140006376643202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 ################ # More data... # ################ [pid=4612/tid=4631] ppid=4609 vsize=26111632 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4631/stat : 4631 (java) S 4609 4612 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257608785 26738311168 37492 33554432000 4194304 4196468 140720332645264 140005764614752 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4632] ppid=4609 vsize=26111632 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4632/stat : 4632 (java) S 4609 4612 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257608785 26738311168 37492 33554432000 4194304 4196468 140720332645264 140005763562032 140006376643202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 Current children cumulated CPU time: 3.11 s Current children cumulated vsize: 26111632 KiB Current children cumulated memory: 149968 KiB [startup+2.67624 s] # the end of solver process 4612 was just reported to runsolver # cumulated CPU time of all completed processes: user=5.98818 s, system=0.19819 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.60109 s] /proc/loadavg: 9.30 8.97 8.80 2/199 4632 /proc/meminfo: memFree=24644416/32770624 swapFree=67107648/67108860 [pid=4612] ppid=4609 vsize=26111632 memory=160304 CPUtime=3.51 cores=0-7 /proc/4612/stat : 4612 (java) S 4609 4612 4118 0 -1 1077944320 28183 0 0 0 342 9 0 0 20 0 20 0 257608779 26738311168 40076 33554432000 4194304 4196468 140720332645264 140720332627808 140006376632055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 /proc/4612/statm: 6527908 40076 3554 1 0 6489980 0 [pid=4612/tid=4614] ppid=4609 vsize=26111632 memory=0 CPUtime=1.57 cores=0-7 /proc/4612/task/4614/stat : 4614 (java) R 4609 4612 4118 0 -1 4202560 19575 0 0 0 152 5 0 0 20 0 20 0 257608780 26738311168 40076 33554432000 4194304 4196468 140720332645264 140006380864048 140006014401408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4615] ppid=4609 vsize=26111632 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4615/stat : 4615 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26738311168 40076 33554432000 4194304 4196468 140720332645264 140005935069840 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4616] ppid=4609 vsize=26111632 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4616/stat : 4616 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26738311168 40076 33554432000 4194304 4196468 140720332645264 140005934017040 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4617] ppid=4609 vsize=26111632 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4617/stat : 4617 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26738311168 40076 33554432000 4194304 4196468 140720332645264 140005932964240 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4618] ppid=4609 vsize=26111632 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4618/stat : 4618 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26738311168 40076 33554432000 4194304 4196468 140720332645264 140005931911440 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4619] ppid=4609 vsize=26111632 memory=3752 CPUtime=0 cores=0-7 /proc/4612/task/4619/stat : 4619 (java) S 4609 4612 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257608781 26738311168 40076 33554432000 4194304 4196468 140720332645264 140005930859664 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4620] ppid=4609 vsize=26111632 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4620/stat : 4620 (java) S 4609 4612 4118 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257608781 26738311168 40076 33554432000 4194304 4196468 140720332645264 140005929806864 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4621] ppid=4609 vsize=26111632 memory=140187128870336 CPUtime=0 cores=0-7 /proc/4612/task/4621/stat : 4621 (java) S 4609 4612 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257608781 26738311168 40076 33554432000 4194304 4196468 140720332645264 140005928754064 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4622] ppid=4609 vsize=26111632 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4622/stat : 4622 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608781 26738311168 40076 33554432000 4194304 4196468 140720332645264 140005927701264 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4623] ppid=4609 vsize=26111632 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4623/stat : 4623 (java) S 4609 4612 4118 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 257608782 26738311168 40076 33554432000 4194304 4196468 140720332645264 140005773035888 140006376643202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4624] ppid=4609 vsize=26111632 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4624/stat : 4624 (java) S 4609 4612 4118 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257608782 26738311168 40076 33554432000 4194304 4196468 140720332645264 140005771981856 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4625] ppid=4609 vsize=26111632 memory=12468290062658 CPUtime=0 cores=0-7 /proc/4612/task/4625/stat : 4625 (java) S 4609 4612 4118 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 257608783 26738311168 40076 33554432000 4194304 4196468 140720332645264 140005770929008 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4626] ppid=4609 vsize=26111632 memory=288230583166042426 CPUtime=0 cores=0-7 /proc/4612/task/4626/stat : 4626 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257608785 26738311168 40076 33554432000 4194304 4196468 140720332645264 140005769877328 140006376650651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4627] ppid=4609 vsize=26111632 memory=13568219122239920 CPUtime=0.45 cores=0-7 /proc/4612/task/4627/stat : 4627 (java) R 4609 4612 4118 0 -1 4202560 1354 0 0 0 44 1 0 0 20 0 20 0 257608785 26738311168 40076 33554432000 4194304 4196468 140720332645264 140005768816544 140006354895713 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4628] ppid=4609 vsize=26111632 memory=0 CPUtime=0.4 cores=0-7 /proc/4612/task/4628/stat : 4628 (java) R 4609 4612 4118 0 -1 4202560 1240 0 0 0 40 0 0 0 20 0 20 0 257608785 26738311168 40076 33554432000 4194304 4196468 140720332645264 140005767759424 140006360001634 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4629] ppid=4609 vsize=26111632 memory=0 CPUtime=0.45 cores=0-7 /proc/4612/task/4629/stat : 4629 (java) R 4609 4612 4118 0 -1 4202560 1289 0 0 0 44 1 0 0 20 0 20 0 257608785 26738311168 40076 33554432000 4194304 4196468 140720332645264 140005766706672 140006361740087 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4630] ppid=4609 vsize=26111632 memory=0 CPUtime=0.61 cores=0-7 /proc/4612/task/4630/stat : 4630 (java) S 4609 4612 4118 0 -1 1077944384 3326 0 0 0 61 0 0 0 20 0 20 0 257608785 26738311168 40076 33554432000 4194304 4196468 140720332645264 140005765667312 140006376643202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4631] ppid=4609 vsize=26111632 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4631/stat : 4631 (java) S 4609 4612 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257608785 26738311168 40076 33554432000 4194304 4196468 140720332645264 140005764614752 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4632] ppid=4609 vsize=26111632 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4632/stat : 4632 (java) S 4609 4612 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257608785 26738311168 40076 33554432000 4194304 4196468 140720332645264 140005763562032 140006376643202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 Current children cumulated CPU time: 3.51 s Current children cumulated vsize: 26111632 KiB Current children cumulated memory: 160304 KiB [startup+2.40087 s] /proc/loadavg: 9.30 8.97 8.80 3/199 4632 /proc/meminfo: memFree=24553888/32770624 swapFree=67107648/67108860 [pid=4612] ppid=4609 vsize=26248856 memory=261520 CPUtime=5.09 cores=0-7 /proc/4612/stat : 4612 (java) S 4609 4612 4118 0 -1 1077944320 37146 0 0 0 493 16 0 0 20 0 22 0 257608779 26878828544 65380 33554432000 4194304 4196468 140720332645264 140720332627808 140006376632055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 /proc/4612/statm: 6562214 65380 3588 1 0 6524286 0 [pid=4612/tid=4614] ppid=4609 vsize=26248856 memory=0 CPUtime=2.32 cores=0-7 /proc/4612/task/4614/stat : 4614 (java) R 4609 4612 4118 0 -1 4202560 23670 0 0 0 225 7 0 0 20 0 22 0 257608780 26878828544 65380 33554432000 4194304 4196468 140720332645264 140006380849952 140006376653981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4615] ppid=4609 vsize=26248856 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4615/stat : 4615 (java) S 4609 4612 4118 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 22 0 257608781 26878828544 65380 33554432000 4194304 4196468 140720332645264 140005935069840 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4616] ppid=4609 vsize=26248856 memory=0 CPUtime=0.01 cores=0-7 /proc/4612/task/4616/stat : 4616 (java) S 4609 4612 4118 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 22 0 257608781 26878828544 65380 33554432000 4194304 4196468 140720332645264 140005934017040 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4617] ppid=4609 vsize=26248856 memory=0 CPUtime=0.01 cores=0-7 /proc/4612/task/4617/stat : 4617 (java) S 4609 4612 4118 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 22 0 257608781 26878828544 65380 33554432000 4194304 4196468 140720332645264 140005932964240 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4618] ppid=4609 vsize=26248856 memory=3472328296227418159 CPUtime=0.01 cores=0-7 /proc/4612/task/4618/stat : 4618 (java) S 4609 4612 4118 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 22 0 257608781 26878828544 65380 33554432000 4194304 4196468 140720332645264 140005931911440 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4619] ppid=4609 vsize=26248856 memory=6943526294502006880 CPUtime=0.01 cores=0-7 /proc/4612/task/4619/stat : 4619 (java) S 4609 4612 4118 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 22 0 257608781 26878828544 65380 33554432000 4194304 4196468 140720332645264 140005930859664 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4620] ppid=4609 vsize=26248856 memory=6656426216303648864 CPUtime=0.01 cores=0-7 /proc/4612/task/4620/stat : 4620 (java) S 4609 4612 4118 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 22 0 257608781 26878828544 65380 33554432000 4194304 4196468 140720332645264 140005929806864 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4621] ppid=4609 vsize=26248856 memory=6655300316396806240 CPUtime=0.01 cores=0-7 /proc/4612/task/4621/stat : 4621 (java) S 4609 4612 4118 0 -1 1077944384 184 0 0 0 1 0 0 0 20 0 22 0 257608781 26878828544 65380 33554432000 4194304 4196468 140720332645264 140005928754064 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4622] ppid=4609 vsize=26248856 memory=6656426216303648864 CPUtime=0.01 cores=0-7 /proc/4612/task/4622/stat : 4622 (java) S 4609 4612 4118 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 22 0 257608781 26878828544 65380 33554432000 4194304 4196468 140720332645264 140005927701264 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4623] ppid=4609 vsize=26248856 memory=6655300316396806240 CPUtime=0.02 cores=0-7 /proc/4612/task/4623/stat : 4623 (java) S 4609 4612 4118 0 -1 1077944384 1760 0 0 0 1 1 0 0 20 0 22 0 257608782 26878828544 65380 33554432000 4194304 4196468 140720332645264 140005773035888 140006376643202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4624] ppid=4609 vsize=26248856 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/4612/task/4624/stat : 4624 (java) S 4609 4612 4118 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 22 0 257608782 26878828544 65380 33554432000 4194304 4196468 140720332645264 140005771981920 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4625] ppid=4609 vsize=26248856 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/4612/task/4625/stat : 4625 (java) S 4609 4612 4118 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 22 0 257608783 26878828544 65380 33554432000 4194304 4196468 140720332645264 140005770929024 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4626] ppid=4609 vsize=26248856 memory=-8823246064971903881 CPUtime=0 cores=0-7 /proc/4612/task/4626/stat : 4626 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 257608785 26878828544 65380 33554432000 4194304 4196468 140720332645264 140005769877328 140006376650651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4627] ppid=4609 vsize=26248856 memory=-8325000837725443164 CPUtime=0.59 cores=0-7 /proc/4612/task/4627/stat : 4627 (java) R 4609 4612 4118 0 -1 1077944384 1757 0 0 0 58 1 0 0 20 0 22 0 257608785 26878828544 65380 33554432000 4194304 4196468 140720332645264 140005768825712 140006376643202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4628] ppid=4609 vsize=26248856 memory=0 CPUtime=0.56 cores=0-7 /proc/4612/task/4628/stat : 4628 (java) S 4609 4612 4118 0 -1 1077944384 1413 0 0 0 55 1 0 0 20 0 22 0 257608785 26878828544 65380 33554432000 4194304 4196468 140720332645264 140005767772912 140006376643202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4629] ppid=4609 vsize=26248856 memory=0 CPUtime=0.72 cores=0-7 /proc/4612/task/4629/stat : 4629 (java) R 4609 4612 4118 0 -1 4202560 2781 0 0 0 71 1 0 0 20 0 22 0 257608785 26878828544 65380 33554432000 4194304 4196468 140720332645264 140005766720112 140006360019371 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4630] ppid=4609 vsize=26248856 memory=0 CPUtime=0.72 cores=0-7 /proc/4612/task/4630/stat : 4630 (java) S 4609 4612 4118 0 -1 1077944384 3708 0 0 0 71 1 0 0 20 0 22 0 257608785 26878828544 65380 33554432000 4194304 4196468 140720332645264 140005765667312 140006376643202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4631] ppid=4609 vsize=26248856 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4631/stat : 4631 (java) S 4609 4612 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 257608785 26878828544 65380 33554432000 4194304 4196468 140720332645264 140005764614752 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4632] ppid=4609 vsize=26248856 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4632/stat : 4632 (java) S 4609 4612 4118 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 22 0 257608785 26878828544 65380 33554432000 4194304 4196468 140720332645264 140005763562032 140006376643202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 Current children cumulated CPU time: 5.09 s Current children cumulated vsize: 26248856 KiB Current children cumulated memory: 261520 KiB [startup+2.60095 s] /proc/loadavg: 9.30 8.97 8.80 3/199 4632 /proc/meminfo: memFree=24553888/32770624 swapFree=67107648/67108860 [pid=4612] ppid=4609 vsize=26916544 memory=266952 CPUtime=5.79 cores=0-7 /proc/4612/stat : 4612 (java) S 4609 4612 4118 0 -1 1077944320 39414 0 0 0 563 16 0 0 20 0 32 0 257608779 27562541056 66738 33554432000 4194304 4196468 140720332645264 140720332627808 140006376632055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 /proc/4612/statm: 6729136 66738 3591 1 0 6691208 0 [pid=4612/tid=4614] ppid=4609 vsize=26916544 memory=0 CPUtime=2.47 cores=0-7 /proc/4612/task/4614/stat : 4614 (java) S 4609 4612 4118 0 -1 1077944384 25344 0 0 0 240 7 0 0 20 0 32 0 257608780 27562541056 66738 33554432000 4194304 4196468 140720332645264 140006380869520 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4615] ppid=4609 vsize=26916544 memory=0 CPUtime=0 cores=0-7 /proc/4612/task/4615/stat : 4615 (java) S 4609 4612 4118 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 32 0 257608781 27562541056 66738 33554432000 4194304 4196468 140720332645264 140005935069840 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4616] ppid=4609 vsize=26916544 memory=0 CPUtime=0.01 cores=0-7 /proc/4612/task/4616/stat : 4616 (java) S 4609 4612 4118 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 32 0 257608781 27562541056 66738 33554432000 4194304 4196468 140720332645264 140005934017040 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4617] ppid=4609 vsize=26916544 memory=0 CPUtime=0.01 cores=0-7 /proc/4612/task/4617/stat : 4617 (java) S 4609 4612 4118 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 32 0 257608781 27562541056 66738 33554432000 4194304 4196468 140720332645264 140005932964240 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4618] ppid=4609 vsize=26916544 memory=0 CPUtime=0.01 cores=0-7 /proc/4612/task/4618/stat : 4618 (java) S 4609 4612 4118 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 32 0 257608781 27562541056 66738 33554432000 4194304 4196468 140720332645264 140005931911440 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4619] ppid=4609 vsize=26916544 memory=0 CPUtime=0.01 cores=0-7 /proc/4612/task/4619/stat : 4619 (java) S 4609 4612 4118 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 32 0 257608781 27562541056 66738 33554432000 4194304 4196468 140720332645264 140005930859664 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4620] ppid=4609 vsize=26916544 memory=0 CPUtime=0.01 cores=0-7 /proc/4612/task/4620/stat : 4620 (java) S 4609 4612 4118 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 32 0 257608781 27562541056 66738 33554432000 4194304 4196468 140720332645264 140005929806864 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4621] ppid=4609 vsize=26916544 memory=0 CPUtime=0.01 cores=0-7 /proc/4612/task/4621/stat : 4621 (java) S 4609 4612 4118 0 -1 1077944384 184 0 0 0 1 0 0 0 20 0 32 0 257608781 27562541056 66738 33554432000 4194304 4196468 140720332645264 140005928754064 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4622] ppid=4609 vsize=26916544 memory=8112282956445269571 CPUtime=0.01 cores=0-7 /proc/4612/task/4622/stat : 4622 (java) S 4609 4612 4118 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 32 0 257608781 27562541056 66738 33554432000 4194304 4196468 140720332645264 140005927701264 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4623] ppid=4609 vsize=26916544 memory=1237 CPUtime=0.02 cores=0-7 /proc/4612/task/4623/stat : 4623 (java) S 4609 4612 4118 0 -1 1077944384 1760 0 0 0 1 1 0 0 20 0 32 0 257608782 27562541056 66738 33554432000 4194304 4196468 140720332645264 140005773035888 140006376643202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4624] ppid=4609 vsize=26916544 memory=280374257466816 CPUtime=0 cores=0-7 /proc/4612/task/4624/stat : 4624 (java) S 4609 4612 4118 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 32 0 257608782 27562541056 66738 33554432000 4194304 4196468 140720332645264 140005771981920 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4625] ppid=4609 vsize=26916544 memory=288230617509003574 CPUtime=0 cores=0-7 /proc/4612/task/4625/stat : 4625 (java) S 4609 4612 4118 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 32 0 257608783 27562541056 66738 33554432000 4194304 4196468 140720332645264 140005770929024 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4626] ppid=4609 vsize=26916544 memory=13847486485760172 CPUtime=0 cores=0-7 /proc/4612/task/4626/stat : 4626 (java) S 4609 4612 4118 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 32 0 257608785 27562541056 66738 33554432000 4194304 4196468 140720332645264 140005769877328 140006376650651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4627] ppid=4609 vsize=26916544 memory=0 CPUtime=0.65 cores=0-7 /proc/4612/task/4627/stat : 4627 (java) R 4609 4612 4118 0 -1 4202560 1773 0 0 0 64 1 0 0 20 0 32 0 257608785 27562541056 66738 33554432000 4194304 4196468 140720332645264 140005768807600 140006360018859 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4628] ppid=4609 vsize=26916544 memory=0 CPUtime=0.65 cores=0-7 /proc/4612/task/4628/stat : 4628 (java) R 4609 4612 4118 0 -1 4202560 1448 0 0 0 64 1 0 0 20 0 32 0 257608785 27562541056 66738 33554432000 4194304 4196468 140720332645264 140005767762624 140006360128825 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4629] ppid=4609 vsize=26916544 memory=140187128721887 CPUtime=0.78 cores=0-7 /proc/4612/task/4629/stat : 4629 (java) R 4609 4612 4118 0 -1 4202560 2804 0 0 0 77 1 0 0 20 0 32 0 257608785 27562541056 66738 33554432000 4194304 4196468 140720332645264 140005766713304 140006357384504 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4630] ppid=4609 vsize=26916544 memory=9791 CPUtime=0.79 cores=0-7 /proc/4612/task/4630/stat : 4630 (java) R 4609 4612 4118 0 -1 4202560 3813 0 0 0 78 1 0 0 20 0 32 0 257608785 27562541056 66738 33554432000 4194304 4196468 140720332645264 140005765660976 140006354998382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4631] ppid=4609 vsize=26916544 memory=280374257310624 CPUtime=0 cores=0-7 /proc/4612/task/4631/stat : 4631 (java) S 4609 4612 4118 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 32 0 257608785 27562541056 66738 33554432000 4194304 4196468 140720332645264 140005764614752 140006376642261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 [pid=4612/tid=4632] ppid=4609 vsize=26916544 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/4612/task/4632/stat : 4632 (java) S 4609 4612 4118 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 32 0 257608785 27562541056 66738 33554432000 4194304 4196468 140720332645264 140005763562032 140006376643202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22556672 140720332649549 140720332649733 140720332649733 140720332652495 0 Current children cumulated CPU time: 5.79 s Current children cumulated vsize: 26916544 KiB Current children cumulated memory: 266952 KiB Child status: 0 Real time (s): 2.6763 CPU time (s): 6.18637 CPU user time (s): 5.98818 CPU system time (s): 0.19819 CPU usage (%): 231.154 Max. virtual memory (cumulated for all children) (KiB): 26916544 Max. memory (cumulated for all children) (KiB): 266952 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.98818 system time used= 0.19819 maximum resident set size= 270364 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41775 page faults= 0 swaps= 0 block input operations= 0 block output operations= 104 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5444 involuntary context switches= 26 # summary of solver processes directly reported to runsolver: # pid: 4612 # total CPU time (s): 6.18637 # total CPU user time (s): 5.98818 # total CPU system time (s): 0.19819 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.051014 second user time and 0.055919 second system time The end
Begin job on node136 at 2018-08-16 08:20:56 IDJOB=4309050 IDBENCH=141659 IDSOLVER=2793 FILE ID=node136/4309050-1534400456 RUNJOBID= node136-1534395196-4145 PBS_JOBID= 21038332 Free space on /tmp= 46332 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-08-14 BENCH NAME= XCSP18/Eternity/Eternity-05-05_c18.xml COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309050-1534400456/watcher-4309050-1534400456 -o /tmp/evaluation-result-4309050-1534400456/solver-4309050-1534400456 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1534395196-4145 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1450013385 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309050-1534400456.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c4864a898575c3e068596f0b6cab168e RANDOM SEED=1450013385 node136.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 : 2668.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.50 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 : 2668.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 : 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 : 2668.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.50 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 : 2668.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 : 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 : 2668.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.50 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 : 2668.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 : 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 : 2668.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.50 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 : 2668.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: 32770624 kB MemFree: 24743100 kB MemAvailable: 31897504 kB Buffers: 148800 kB Cached: 7254972 kB SwapCached: 44 kB Active: 3769884 kB Inactive: 3685164 kB Active(anon): 2940 kB Inactive(anon): 108700 kB Active(file): 3766944 kB Inactive(file): 3576464 kB Unevictable: 7380 kB Mlocked: 7380 kB SwapTotal: 67108860 kB SwapFree: 67107648 kB Dirty: 35868 kB Writeback: 0 kB AnonPages: 58624 kB Mapped: 56020 kB Shmem: 57664 kB Slab: 267180 kB SReclaimable: 239456 kB SUnreclaim: 27724 kB KernelStack: 3184 kB PageTables: 4904 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 358384 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 46300 MiB End job on node136 at 2018-08-16 08:20:59