runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3481768-1307577046/watcher-3481768-1307577046 -o /tmp/evaluation-result-3481768-1307577046/solver-3481768-1307577046 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481768-1307577046.opb -seed 109739058 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 1.89 1.06 2/576 4640
/proc/meminfo: memFree=21368196/32951124 swapFree=56930356/67111528
[pid=4640] ppid=4638 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/4640/stat : 4640 (python) R 4638 4640 4191 0 -1 4202496 813 0 0 0 0 0 0 0 23 0 1 0 869302423 15753216 698 33554432000 4194304 5683644 140736987110112 18446744073709551615 4499225 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4640/statm: 3846 698 334 364 0 333 0
[startup+0.0493901 s]
/proc/loadavg: 2.09 1.89 1.06 2/576 4640
/proc/meminfo: memFree=21368196/32951124 swapFree=56930356/67111528
[pid=4640] ppid=4638 vsize=18884 CPUtime=0.02 cores=0,2,4,6
/proc/4640/stat : 4640 (python) S 4638 4640 4191 0 -1 4202496 1288 0 0 0 2 0 0 0 24 0 1 0 869302423 19337216 1140 33554432000 4194304 5683644 140736987110112 18446744073709551615 218905729024 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/4640/statm: 4721 1140 421 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18884
[startup+0.100668 s]
/proc/loadavg: 2.09 1.89 1.06 2/576 4640
/proc/meminfo: memFree=21368196/32951124 swapFree=56930356/67111528
[pid=4640] ppid=4638 vsize=85620 CPUtime=0.05 cores=0,2,4,6
/proc/4640/stat : 4640 (python) S 4638 4640 4191 0 -1 4202496 2665 0 0 0 4 1 0 0 18 0 1 0 869302423 87674880 2382 33554432000 4194304 5683644 140736987110112 18446744073709551615 218905729024 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/4640/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85620
[startup+0.300661 s]
/proc/loadavg: 2.09 1.89 1.06 2/576 4640
/proc/meminfo: memFree=21368196/32951124 swapFree=56930356/67111528
[pid=4640] ppid=4638 vsize=123740 CPUtime=0.17 cores=0,2,4,6
/proc/4640/stat : 4640 (python) S 4638 4640 4191 0 -1 4202496 5358 928 1 0 12 5 0 0 18 0 1 0 869302423 126709760 3744 33554432000 4194304 5683644 140736987110112 18446744073709551615 218905726981 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/4640/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.710607 s]
/proc/loadavg: 2.09 1.89 1.06 2/576 4640
/proc/meminfo: memFree=21368196/32951124 swapFree=56930356/67111528
[pid=4640] ppid=4638 vsize=286224 CPUtime=0.43 cores=0,2,4,6
/proc/4640/stat : 4640 (python) R 4638 4640 4191 0 -1 4202496 10031 928 1 0 33 10 0 0 17 0 1 0 869302423 293093376 7892 33554432000 4194304 5683644 140736987110112 18446744073709551615 4954144 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4640/statm: 71556 7892 1781 364 0 6449 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 286224
[startup+1.50046 s]
/proc/loadavg: 2.09 1.89 1.06 3/577 4645
/proc/meminfo: memFree=21330368/32951124 swapFree=56930356/67111528
[pid=4640] ppid=4638 vsize=302924 CPUtime=1.23 cores=0,2,4,6
/proc/4640/stat : 4640 (python) R 4638 4640 4191 0 -1 4202496 18081 928 1 0 112 11 0 0 18 0 1 0 869302423 310194176 12078 33554432000 4194304 5683644 140736987110112 18446744073709551615 4510807 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/4640/statm: 75731 12078 1815 364 0 10624 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 302924
[startup+3.10117 s]
/proc/loadavg: 2.08 1.89 1.07 3/577 4645
/proc/meminfo: memFree=21318960/32951124 swapFree=56930356/67111528
[pid=4640] ppid=4638 vsize=316160 CPUtime=1.9 cores=0,2,4,6
/proc/4640/stat : 4640 (python) S 4638 4640 4191 0 -1 4202496 19181 928 1 0 178 12 0 0 21 0 2 0 869302423 323747840 12879 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4640/statm: 79040 12879 1870 364 0 13927 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 316160
heavy processes:
[startup+6.30057 s]
/proc/loadavg: 2.08 1.89 1.07 3/580 4648
/proc/meminfo: memFree=21294744/32951124 swapFree=56930356/67111528
[pid=4640] ppid=4638 vsize=316160 CPUtime=1.9 cores=0,2,4,6
/proc/4640/stat : 4640 (python) S 4638 4640 4191 0 -1 4202496 19181 928 1 0 178 12 0 0 21 0 2 0 869302423 323747840 12879 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4640/statm: 79040 12879 1870 364 0 13927 0
[pid=4646] ppid=4640 vsize=305916 CPUtime=0.01 cores=0,2,4,6
/proc/4646/stat : 4646 (python) S 4640 4640 4191 0 -1 4202560 952 0 0 0 0 1 0 0 18 0 1 0 869302640 313257984 11384 33554432000 4194304 5683644 140736987110112 18446744073709551615 218905751055 0 0 16781312 33554946 4654416308752843011 0 0 17 6 0 0 0
/proc/4646/statm: 76479 11384 379 364 0 11366 0
[pid=4648] ppid=4646 vsize=12820 CPUtime=4.12 cores=0,2,4,6
/proc/4648/stat : 4648 (wbo1.4a) R 4646 4648 4648 0 -1 4202496 4135 0 0 0 412 0 0 0 25 0 1 0 869302640 13127680 2767 33554432000 134512640 135751879 4293797376 18446744073709551615 135220899 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4648/statm: 3205 2767 142 303 0 2900 0
[pid=4640/tid=4647] ppid=4638 vsize=316160 CPUtime=0 cores=0,2,4,6
/proc/4640/task/4647/stat : 4647 (python) S 4638 4640 4191 0 -1 4202560 23 928 0 0 0 0 0 0 21 0 2 0 869302640 323747840 12879 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451090143040 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 634896
[startup+12.7004 s]
/proc/loadavg: 2.14 1.91 1.08 3/580 4648
/proc/meminfo: memFree=21293200/32951124 swapFree=56930356/67111528
[pid=4640] ppid=4638 vsize=316160 CPUtime=1.9 cores=0,2,4,6
/proc/4640/stat : 4640 (python) S 4638 4640 4191 0 -1 4202496 19181 928 1 0 178 12 0 0 21 0 2 0 869302423 323747840 12879 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4640/statm: 79040 12879 1870 364 0 13927 0
[pid=4646] ppid=4640 vsize=305916 CPUtime=0.03 cores=0,2,4,6
/proc/4646/stat : 4646 (python) S 4640 4640 4191 0 -1 4202560 954 0 0 0 1 2 0 0 18 0 1 0 869302640 313257984 11385 33554432000 4194304 5683644 140736987110112 18446744073709551615 218905751055 0 0 16781312 33554946 72556772316949192 0 0 17 6 0 0 0
/proc/4646/statm: 76479 11385 380 364 0 11366 0
[pid=4648] ppid=4646 vsize=13876 CPUtime=10.52 cores=0,2,4,6
/proc/4648/stat : 4648 (wbo1.4a) R 4646 4648 4648 0 -1 4202496 4412 0 0 0 1052 0 0 0 25 0 1 0 869302640 14209024 3044 33554432000 134512640 135751879 4293797376 18446744073709551615 135202517 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4648/statm: 3469 3044 142 303 0 3164 0
[pid=4640/tid=4647] ppid=4638 vsize=316160 CPUtime=0 cores=0,2,4,6
/proc/4640/task/4647/stat : 4647 (python) S 4638 4640 4191 0 -1 4202560 23 928 0 0 0 0 0 0 21 0 2 0 869302640 323747840 12879 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451090143040 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 635952
[startup+25.5011 s]
/proc/loadavg: 2.12 1.91 1.09 3/580 4649
/proc/meminfo: memFree=21259452/32951124 swapFree=56930356/67111528
[pid=4640] ppid=4638 vsize=316160 CPUtime=1.9 cores=0,2,4,6
/proc/4640/stat : 4640 (python) S 4638 4640 4191 0 -1 4202496 19181 928 1 0 178 12 0 0 21 0 2 0 869302423 323747840 12879 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4640/statm: 79040 12879 1870 364 0 13927 0
[pid=4646] ppid=4640 vsize=305916 CPUtime=0.1 cores=0,2,4,6
/proc/4646/stat : 4646 (python) S 4640 4640 4191 0 -1 4202560 971 0 0 0 5 5 0 0 15 0 1 0 869302640 313257984 11385 33554432000 4194304 5683644 140736987110112 18446744073709551615 218905751055 0 0 16781312 33554946 72556772316949192 0 0 17 6 0 0 0
/proc/4646/statm: 76479 11385 380 364 0 11366 0
[pid=4648] ppid=4646 vsize=17704 CPUtime=23.32 cores=0,2,4,6
/proc/4648/stat : 4648 (wbo1.4a) R 4646 4648 4648 0 -1 4202496 5361 0 0 0 2331 1 0 0 25 0 1 0 869302640 18128896 3993 33554432000 134512640 135751879 4293797376 18446744073709551615 134541867 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4648/statm: 4426 3993 142 303 0 4121 0
[pid=4640/tid=4647] ppid=4638 vsize=316160 CPUtime=0 cores=0,2,4,6
/proc/4640/task/4647/stat : 4647 (python) S 4638 4640 4191 0 -1 4202560 23 928 0 0 0 0 0 0 21 0 2 0 869302640 323747840 12879 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451090143040 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 639780
[startup+51.1015 s]
/proc/loadavg: 2.15 1.94 1.12 5/601 4670
/proc/meminfo: memFree=21179540/32951124 swapFree=56930356/67111528
[pid=4640] ppid=4638 vsize=326416 CPUtime=1.92 cores=0,2,4,6
/proc/4640/stat : 4640 (python) S 4638 4640 4191 0 -1 4202496 19976 928 1 0 180 12 0 0 20 0 3 0 869302423 334249984 12886 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4640/statm: 81604 12886 1873 364 0 16488 0
[pid=4646] ppid=4640 vsize=316160 CPUtime=0.28 cores=0,2,4,6
/proc/4646/stat : 4646 (python) S 4640 4640 4191 0 -1 4202560 1176 0 0 0 15 13 0 0 16 0 2 0 869302640 323747840 11421 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4646/statm: 79040 11421 411 364 0 13927 0
[pid=4648] ppid=4646 vsize=24512 CPUtime=48.01 cores=0,2,4,6
/proc/4648/stat : 4648 (wbo1.4a) T 4646 4648 4648 0 -1 4202496 50510 0 0 0 4791 10 0 0 25 0 1 0 869302640 25100288 5639 33554432000 134512640 135751879 4293797376 18446744073709551615 134617247 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/4648/statm: 6128 5639 145 303 0 5823 0
[pid=4646/tid=4650] ppid=4640 vsize=316160 CPUtime=0 cores=0,2,4,6
/proc/4646/task/4650/stat : 4650 (python) S 4640 4640 4191 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869307443 323747840 11421 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917554609 0 0 16781312 33554946 18446604450469771392 0 0 -1 6 0 0 0
[pid=4651] ppid=4640 vsize=316172 CPUtime=0 cores=0,2,4,6
/proc/4651/stat : 4651 (python) S 4640 4640 4191 0 -1 4202560 780 0 0 0 0 0 0 0 15 0 1 0 869307446 323760128 11357 33554432000 4194304 5683644 140736987110112 18446744073709551615 218905751110 0 0 16781312 33554946 3061339632164667392 0 0 17 0 0 0 0
/proc/4651/statm: 79043 11357 348 364 0 13927 0
[pid=4653] ppid=4651 vsize=8536864 CPUtime=1.36 cores=0,2,4,6
/proc/4653/stat : 4653 (java) S 4651 4653 4653 0 -1 4202496 42231 0 1 0 131 5 0 0 20 0 19 0 869307446 8741748736 40151 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4653/statm: 2134216 40151 2235 9 0 2124957 0
[pid=4653/tid=4654] ppid=4651 vsize=8536864 CPUtime=0.83 cores=0,2,4,6
/proc/4653/task/4654/stat : 4654 (java) R 4651 4653 4653 0 -1 4202560 35226 0 1 0 79 4 0 0 19 0 19 0 869307447 8741748736 40151 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 47923623086796 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4653/tid=4655] ppid=4651 vsize=8536864 CPUtime=0 cores=0,2,4,6
/proc/4653/task/4655/stat : 4655 (java) S 4651 4653 4653 0 -1 4202560 493 0 0 0 0 0 0 0 16 0 19 0 869307447 8741748736 40151 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=4653/tid=4656] ppid=4651 vsize=8536864 CPUtime=0 cores=0,2,4,6
/proc/4653/task/4656/stat : 4656 (java) S 4651 4653 4653 0 -1 4202560 591 0 0 0 0 0 0 0 17 0 19 0 869307447 8741748736 40151 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=4653/tid=4657] ppid=4651 vsize=8536864 CPUtime=0 cores=0,2,4,6
/proc/4653/task/4657/stat : 4657 (java) S 4651 4653 4653 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869307447 8741748736 40151 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 4 0 0 0
[pid=4653/tid=4658] ppid=4651 vsize=8536864 CPUtime=0 cores=0,2,4,6
/proc/4653/task/4658/stat : 4658 (java) S 4651 4653 4653 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869307447 8741748736 40151 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=4653/tid=4659] ppid=4651 vsize=8536864 CPUtime=0 cores=0,2,4,6
/proc/4653/task/4659/stat : 4659 (java) S 4651 4653 4653 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869307447 8741748736 40151 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=4653/tid=4660] ppid=4651 vsize=8536864 CPUtime=0 cores=0,2,4,6
/proc/4653/task/4660/stat : 4660 (java) S 4651 4653 4653 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869307447 8741748736 40151 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=4653/tid=4661] ppid=4651 vsize=8536864 CPUtime=0 cores=0,2,4,6
/proc/4653/task/4661/stat : 4661 (java) S 4651 4653 4653 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869307447 8741748736 40151 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=4653/tid=4662] ppid=4651 vsize=8536864 CPUtime=0 cores=0,2,4,6
/proc/4653/task/4662/stat : 4662 (java) S 4651 4653 4653 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869307447 8741748736 40151 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=4653/tid=4663] ppid=4651 vsize=8536864 CPUtime=0 cores=0,2,4,6
/proc/4653/task/4663/stat : 4663 (java) S 4651 4653 4653 0 -1 4202560 71 0 0 0 0 0 0 0 19 0 19 0 869307448 8741748736 40151 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917547520 0 0 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=4653/tid=4664] ppid=4651 vsize=8536864 CPUtime=0 cores=0,2,4,6
/proc/4653/task/4664/stat : 4664 (java) S 4651 4653 4653 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869307449 8741748736 40151 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=4653/tid=4665] ppid=4651 vsize=8536864 CPUtime=0 cores=0,2,4,6
/proc/4653/task/4665/stat : 4665 (java) S 4651 4653 4653 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 869307449 8741748736 40151 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=4653/tid=4666] ppid=4651 vsize=8536864 CPUtime=0 cores=0,2,4,6
/proc/4653/task/4666/stat : 4666 (java) S 4651 4653 4653 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869307451 8741748736 40151 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917554609 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=4653/tid=4667] ppid=4651 vsize=8536864 CPUtime=0.23 cores=0,2,4,6
/proc/4653/task/4667/stat : 4667 (java) S 4651 4653 4653 0 -1 4202560 1460 0 0 0 23 0 0 0 15 0 19 0 869307451 8741748736 40151 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 2 0 0 0
[pid=4653/tid=4668] ppid=4651 vsize=8536864 CPUtime=0.26 cores=0,2,4,6
/proc/4653/task/4668/stat : 4668 (java) S 4651 4653 4653 0 -1 4202560 2992 0 0 0 26 0 0 0 22 0 19 0 869307451 8741748736 40151 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=4653/tid=4669] ppid=4651 vsize=8536864 CPUtime=0 cores=0,2,4,6
/proc/4653/task/4669/stat : 4669 (java) S 4651 4653 4653 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869307451 8741748736 40151 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446604452883773504 0 0 -1 6 0 0 0
[pid=4653/tid=4670] ppid=4651 vsize=8536864 CPUtime=0 cores=0,2,4,6
/proc/4653/task/4670/stat : 4670 (java) S 4651 4653 4653 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869307451 8741748736 40151 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917547520 0 4 0 16800975 18446604452883773504 0 0 -1 0 0 0 0
[pid=4640/tid=4647] ppid=4638 vsize=326416 CPUtime=0 cores=0,2,4,6
/proc/4640/task/4647/stat : 4647 (python) S 4638 4640 4191 0 -1 4202560 23 928 0 0 0 0 0 0 21 0 3 0 869302640 334249984 12886 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451090143040 0 0 -1 4 0 0 0
[pid=4640/tid=4652] ppid=4638 vsize=326416 CPUtime=0 cores=0,2,4,6
/proc/4640/task/4652/stat : 4652 (python) S 4638 4640 4191 0 -1 4202560 26 928 0 0 0 0 0 0 20 0 3 0 869307446 334249984 12886 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451090143040 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.57
Current children cumulated vsize (KiB) 9520124
[startup+102.321 s]
/proc/loadavg: 2.06 1.94 1.17 3/602 4673
/proc/meminfo: memFree=20744152/32951124 swapFree=56930356/67111528
[pid=4640] ppid=4638 vsize=326416 CPUtime=1.92 cores=0,2,4,6
/proc/4640/stat : 4640 (python) S 4638 4640 4191 0 -1 4202496 19976 928 1 0 180 12 0 0 20 0 3 0 869302423 334249984 12886 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
################
# More data... #
################
[pid=4683/tid=4691] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4691/stat : 4691 (java) S 4681 4683 4683 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869321451 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 4 0 0 0
[pid=4683/tid=4692] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4692/stat : 4692 (java) S 4681 4683 4683 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869321451 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 4 0 0 0
[pid=4683/tid=4693] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4693/stat : 4693 (java) S 4681 4683 4683 0 -1 4202560 71 0 0 0 0 0 0 0 19 0 19 0 869321452 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917547520 0 0 0 16800975 18446604446340435008 0 0 -1 0 0 0 0
[pid=4683/tid=4694] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4694/stat : 4694 (java) S 4681 4683 4683 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 869321453 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 4 0 0 0
[pid=4683/tid=4695] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4695/stat : 4695 (java) S 4681 4683 4683 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 869321453 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 4 0 0 0
[pid=4683/tid=4696] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4696/stat : 4696 (java) S 4681 4683 4683 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869321455 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917554609 0 4 0 16800975 18446604446340435008 0 0 -1 6 0 0 0
[pid=4683/tid=4697] ppid=4681 vsize=8546720 CPUtime=0.44 cores=0,2,4,6
/proc/4683/task/4697/stat : 4697 (java) R 4681 4683 4683 0 -1 4202560 5582 0 0 0 44 0 0 0 16 0 19 0 869321455 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 47208384031204 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4683/tid=4698] ppid=4681 vsize=8546720 CPUtime=0.45 cores=0,2,4,6
/proc/4683/task/4698/stat : 4698 (java) R 4681 4683 4683 0 -1 4202560 6708 0 0 0 44 1 0 0 22 0 19 0 869321455 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 47208383783610 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4683/tid=4699] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4699/stat : 4699 (java) S 4681 4683 4683 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869321455 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 6 0 0 0
[pid=4683/tid=4700] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4700/stat : 4700 (java) S 4681 4683 4683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869321455 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917547520 0 4 0 16800975 18446604446340435008 0 0 -1 0 0 0 0
[pid=4683/tid=4701] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4701/stat : 4701 (java) S 4681 4683 4683 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869321534 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917547520 0 4 0 16800975 18446604446340435008 0 0 -1 0 0 0 0
[pid=4640/tid=4647] ppid=4638 vsize=346928 CPUtime=0 cores=0,2,4,6
/proc/4640/task/4647/stat : 4647 (python) S 4638 4640 4191 0 -1 4202560 23 928 0 0 0 0 0 0 21 0 5 0 869302640 355254272 12898 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451090143040 0 0 -1 4 0 0 0
[pid=4640/tid=4652] ppid=4638 vsize=346928 CPUtime=0 cores=0,2,4,6
/proc/4640/task/4652/stat : 4652 (python) S 4638 4640 4191 0 -1 4202560 26 928 0 0 0 0 0 0 20 0 5 0 869307446 355254272 12898 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451090143040 0 0 -1 0 0 0 0
[pid=4640/tid=4677] ppid=4638 vsize=346928 CPUtime=0 cores=0,2,4,6
/proc/4640/task/4677/stat : 4677 (python) S 4638 4640 4191 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 5 0 869316715 355254272 12898 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451090143040 0 0 -1 0 0 0 0
[pid=4640/tid=4682] ppid=4638 vsize=346928 CPUtime=0 cores=0,2,4,6
/proc/4640/task/4682/stat : 4682 (python) S 4638 4640 4191 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 5 0 869321449 355254272 12898 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451090143040 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 194.38
Current children cumulated vsize (KiB) 19002624
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+191.301 s]
/proc/loadavg: 2.01 1.95 1.24 6/628 4701
/proc/meminfo: memFree=20132348/32951124 swapFree=56930356/67111528
[pid=4640] ppid=4638 vsize=346928 CPUtime=1.98 cores=0,2,4,6
/proc/4640/stat : 4640 (python) S 4638 4640 4191 0 -1 4202496 21737 928 1 0 185 13 0 0 20 0 5 0 869302423 355254272 12898 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4640/statm: 86732 12898 1877 364 0 21610 0
[pid=4646] ppid=4640 vsize=316160 CPUtime=0.28 cores=0,2,4,6
/proc/4646/stat : 4646 (python) S 4640 4640 4191 0 -1 4202560 1176 0 0 0 15 13 0 0 16 0 2 0 869302640 323747840 11421 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4646/statm: 79040 11421 411 364 0 13927 0
[pid=4648] ppid=4646 vsize=24512 CPUtime=48.01 cores=0,2,4,6
/proc/4648/stat : 4648 (wbo1.4a) T 4646 4648 4648 0 -1 4202496 50510 0 0 0 4791 10 0 0 25 0 1 0 869302640 25100288 5639 33554432000 134512640 135751879 4293797376 18446744073709551615 134617247 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/4648/statm: 6128 5639 145 303 0 5823 0
[pid=4646/tid=4650] ppid=4640 vsize=316160 CPUtime=0 cores=0,2,4,6
/proc/4646/task/4650/stat : 4650 (python) S 4640 4640 4191 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869307443 323747840 11421 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917554609 0 0 16781312 33554946 18446604450469771392 0 0 -1 6 0 0 0
[pid=4651] ppid=4640 vsize=316172 CPUtime=0.44 cores=0,2,4,6
/proc/4651/stat : 4651 (python) S 4640 4640 4191 0 -1 4202560 1120 0 0 0 21 23 0 0 16 0 2 0 869307446 323760128 11406 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4651/statm: 79043 11406 396 364 0 13927 0
[pid=4653] ppid=4651 vsize=8536864 CPUtime=94.24 cores=0,2,4,6
/proc/4653/stat : 4653 (java) T 4651 4653 4653 0 -1 4202496 123138 0 1 0 9402 22 0 0 18 0 19 0 869307446 8741748736 105704 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4653/statm: 2134216 105704 2258 9 0 2124957 0
[pid=4653/tid=4654] ppid=4651 vsize=8536864 CPUtime=91.4 cores=0,2,4,6
/proc/4653/task/4654/stat : 4654 (java) T 4651 4653 4653 0 -1 4202560 35257 0 1 0 9136 4 0 0 25 0 19 0 869307447 8741748736 105704 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 46912505836954 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4653/tid=4655] ppid=4651 vsize=8536864 CPUtime=0.09 cores=0,2,4,6
/proc/4653/task/4655/stat : 4655 (java) T 4651 4653 4653 0 -1 4202560 12409 0 0 0 7 2 0 0 15 0 19 0 869307447 8741748736 105704 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4653/tid=4656] ppid=4651 vsize=8536864 CPUtime=0.11 cores=0,2,4,6
/proc/4653/task/4656/stat : 4656 (java) T 4651 4653 4653 0 -1 4202560 7414 0 0 0 10 1 0 0 15 0 19 0 869307447 8741748736 105704 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4653/tid=4657] ppid=4651 vsize=8536864 CPUtime=0.09 cores=0,2,4,6
/proc/4653/task/4657/stat : 4657 (java) T 4651 4653 4653 0 -1 4202560 10924 0 0 0 7 2 0 0 15 0 19 0 869307447 8741748736 105704 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4653/tid=4658] ppid=4651 vsize=8536864 CPUtime=0.1 cores=0,2,4,6
/proc/4653/task/4658/stat : 4658 (java) T 4651 4653 4653 0 -1 4202560 10279 0 0 0 8 2 0 0 15 0 19 0 869307447 8741748736 105704 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4653/tid=4659] ppid=4651 vsize=8536864 CPUtime=0.06 cores=0,2,4,6
/proc/4653/task/4659/stat : 4659 (java) T 4651 4653 4653 0 -1 4202560 7140 0 0 0 5 1 0 0 15 0 19 0 869307447 8741748736 105704 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4653/tid=4660] ppid=4651 vsize=8536864 CPUtime=0.09 cores=0,2,4,6
/proc/4653/task/4660/stat : 4660 (java) T 4651 4653 4653 0 -1 4202560 9104 0 0 0 8 1 0 0 15 0 19 0 869307447 8741748736 105704 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4653/tid=4661] ppid=4651 vsize=8536864 CPUtime=0.08 cores=0,2,4,6
/proc/4653/task/4661/stat : 4661 (java) T 4651 4653 4653 0 -1 4202560 11357 0 0 0 6 2 0 0 15 0 19 0 869307447 8741748736 105704 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4653/tid=4662] ppid=4651 vsize=8536864 CPUtime=0.01 cores=0,2,4,6
/proc/4653/task/4662/stat : 4662 (java) T 4651 4653 4653 0 -1 4202560 2436 0 0 0 1 0 0 0 15 0 19 0 869307447 8741748736 105704 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4653/tid=4663] ppid=4651 vsize=8536864 CPUtime=0.9 cores=0,2,4,6
/proc/4653/task/4663/stat : 4663 (java) T 4651 4653 4653 0 -1 4202560 8020 0 0 0 89 1 0 0 15 0 19 0 869307448 8741748736 105704 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917547520 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4653/tid=4664] ppid=4651 vsize=8536864 CPUtime=0 cores=0,2,4,6
/proc/4653/task/4664/stat : 4664 (java) T 4651 4653 4653 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869307449 8741748736 105704 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4653/tid=4665] ppid=4651 vsize=8536864 CPUtime=0 cores=0,2,4,6
/proc/4653/task/4665/stat : 4665 (java) T 4651 4653 4653 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869307449 8741748736 105704 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4653/tid=4666] ppid=4651 vsize=8536864 CPUtime=0 cores=0,2,4,6
/proc/4653/task/4666/stat : 4666 (java) T 4651 4653 4653 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869307451 8741748736 105704 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917554609 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4653/tid=4667] ppid=4651 vsize=8536864 CPUtime=0.57 cores=0,2,4,6
/proc/4653/task/4667/stat : 4667 (java) T 4651 4653 4653 0 -1 4202560 3155 0 0 0 57 0 0 0 15 0 19 0 869307451 8741748736 105704 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4653/tid=4668] ppid=4651 vsize=8536864 CPUtime=0.62 cores=0,2,4,6
/proc/4653/task/4668/stat : 4668 (java) T 4651 4653 4653 0 -1 4202560 4239 0 0 0 62 0 0 0 15 0 19 0 869307451 8741748736 105704 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4653/tid=4669] ppid=4651 vsize=8536864 CPUtime=0 cores=0,2,4,6
/proc/4653/task/4669/stat : 4669 (java) T 4651 4653 4653 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869307451 8741748736 105704 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917546905 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4653/tid=4670] ppid=4651 vsize=8536864 CPUtime=0 cores=0,2,4,6
/proc/4653/task/4670/stat : 4670 (java) T 4651 4653 4653 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 869307451 8741748736 105704 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917547520 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4653/tid=4671] ppid=4651 vsize=8536864 CPUtime=0 cores=0,2,4,6
/proc/4653/task/4671/stat : 4671 (java) T 4651 4653 4653 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869307531 8741748736 105704 33554432000 1073741824 1073778376 140737171602256 18446744073709551615 218917547520 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4651/tid=4675] ppid=4640 vsize=316172 CPUtime=0 cores=0,2,4,6
/proc/4651/task/4675/stat : 4675 (python) S 4640 4640 4191 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869316712 323760128 11406 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917554609 0 0 16781312 33554946 18446604441753289088 0 0 -1 6 0 0 0
[pid=4676] ppid=4640 vsize=326428 CPUtime=0.21 cores=0,2,4,6
/proc/4676/stat : 4676 (python) S 4640 4640 4191 0 -1 4202560 1102 0 0 0 10 11 0 0 17 0 2 0 869316715 334262272 11410 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/4676/statm: 81607 11410 396 364 0 16488 0
[pid=4678] ppid=4676 vsize=253236 CPUtime=47.3 cores=0,2,4,6
/proc/4678/stat : 4678 (clasp-1.3.7-x86) T 4676 4678 4678 0 -1 4202496 63732 0 0 0 4720 10 0 0 25 0 1 0 869316716 259313664 63016 33554432000 134512640 136139019 4292601936 18446744073709551615 134621990 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/4678/statm: 63309 63016 187 398 0 62909 0
[pid=4676/tid=4680] ppid=4640 vsize=326428 CPUtime=0 cores=0,2,4,6
/proc/4676/task/4680/stat : 4680 (python) S 4640 4640 4191 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869321447 334262272 11410 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917554609 0 0 16781312 33554946 18446604441470009536 0 0 -1 4 0 0 0
[pid=4681] ppid=4640 vsize=336684 CPUtime=0 cores=0,2,4,6
/proc/4681/stat : 4681 (python) S 4640 4640 4191 0 -1 4202560 799 0 0 0 0 0 0 0 15 0 1 0 869321449 344764416 11365 33554432000 4194304 5683644 140736987110112 18446744073709551615 218905751110 0 0 16781312 33554946 3828813046298443776 0 0 17 4 0 0 0
/proc/4681/statm: 84171 11365 348 364 0 19049 0
[pid=4683] ppid=4681 vsize=8545640 CPUtime=1.92 cores=0,2,4,6
/proc/4683/stat : 4683 (java) S 4681 4683 4683 0 -1 4202496 49411 0 1 0 185 7 0 0 20 0 19 0 869321450 8750735360 43821 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4683/statm: 2136410 43821 2240 9 0 2127151 0
[pid=4683/tid=4684] ppid=4681 vsize=8546720 CPUtime=1 cores=0,2,4,6
/proc/4683/task/4684/stat : 4684 (java) R 4681 4683 4683 0 -1 4202560 35256 0 1 0 96 4 0 0 19 0 19 0 869321451 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 46912505184912 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4683/tid=4685] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4685/stat : 4685 (java) S 4681 4683 4683 0 -1 4202560 515 0 0 0 0 0 0 0 16 0 19 0 869321451 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 6 0 0 0
[pid=4683/tid=4686] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4686/stat : 4686 (java) S 4681 4683 4683 0 -1 4202560 353 0 0 0 0 0 0 0 17 0 19 0 869321451 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 4 0 0 0
[pid=4683/tid=4687] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4687/stat : 4687 (java) S 4681 4683 4683 0 -1 4202560 218 0 0 0 0 0 0 0 18 0 19 0 869321451 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 0 0 0 0
[pid=4683/tid=4688] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4688/stat : 4688 (java) S 4681 4683 4683 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869321451 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 0 0 0 0
[pid=4683/tid=4689] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4689/stat : 4689 (java) S 4681 4683 4683 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869321451 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 4 0 0 0
[pid=4683/tid=4690] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4690/stat : 4690 (java) S 4681 4683 4683 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869321451 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 4 0 0 0
[pid=4683/tid=4691] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4691/stat : 4691 (java) S 4681 4683 4683 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869321451 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 4 0 0 0
[pid=4683/tid=4692] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4692/stat : 4692 (java) S 4681 4683 4683 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869321451 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 4 0 0 0
[pid=4683/tid=4693] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4693/stat : 4693 (java) S 4681 4683 4683 0 -1 4202560 71 0 0 0 0 0 0 0 19 0 19 0 869321452 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917547520 0 0 0 16800975 18446604446340435008 0 0 -1 0 0 0 0
[pid=4683/tid=4694] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4694/stat : 4694 (java) S 4681 4683 4683 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 869321453 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 4 0 0 0
[pid=4683/tid=4695] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4695/stat : 4695 (java) S 4681 4683 4683 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 869321453 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 4 0 0 0
[pid=4683/tid=4696] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4696/stat : 4696 (java) S 4681 4683 4683 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869321455 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917554609 0 4 0 16800975 18446604446340435008 0 0 -1 6 0 0 0
[pid=4683/tid=4697] ppid=4681 vsize=8546720 CPUtime=0.44 cores=0,2,4,6
/proc/4683/task/4697/stat : 4697 (java) R 4681 4683 4683 0 -1 4202560 5582 0 0 0 44 0 0 0 16 0 19 0 869321455 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 47208384031204 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4683/tid=4698] ppid=4681 vsize=8546720 CPUtime=0.45 cores=0,2,4,6
/proc/4683/task/4698/stat : 4698 (java) R 4681 4683 4683 0 -1 4202560 6708 0 0 0 44 1 0 0 22 0 19 0 869321455 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 47208383783610 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4683/tid=4699] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4699/stat : 4699 (java) S 4681 4683 4683 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869321455 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917546905 0 4 0 16800975 18446604446340435008 0 0 -1 6 0 0 0
[pid=4683/tid=4700] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4700/stat : 4700 (java) S 4681 4683 4683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869321455 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917547520 0 4 0 16800975 18446604446340435008 0 0 -1 0 0 0 0
[pid=4683/tid=4701] ppid=4681 vsize=8546720 CPUtime=0 cores=0,2,4,6
/proc/4683/task/4701/stat : 4701 (java) S 4681 4683 4683 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869321534 8751841280 44391 33554432000 1073741824 1073778376 140737229224640 18446744073709551615 218917547520 0 4 0 16800975 18446604446340435008 0 0 -1 0 0 0 0
[pid=4640/tid=4647] ppid=4638 vsize=346928 CPUtime=0 cores=0,2,4,6
/proc/4640/task/4647/stat : 4647 (python) S 4638 4640 4191 0 -1 4202560 23 928 0 0 0 0 0 0 21 0 5 0 869302640 355254272 12898 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451090143040 0 0 -1 4 0 0 0
[pid=4640/tid=4652] ppid=4638 vsize=346928 CPUtime=0 cores=0,2,4,6
/proc/4640/task/4652/stat : 4652 (python) S 4638 4640 4191 0 -1 4202560 26 928 0 0 0 0 0 0 20 0 5 0 869307446 355254272 12898 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451090143040 0 0 -1 0 0 0 0
[pid=4640/tid=4677] ppid=4638 vsize=346928 CPUtime=0 cores=0,2,4,6
/proc/4640/task/4677/stat : 4677 (python) S 4638 4640 4191 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 5 0 869316715 355254272 12898 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451090143040 0 0 -1 0 0 0 0
[pid=4640/tid=4682] ppid=4638 vsize=346928 CPUtime=0 cores=0,2,4,6
/proc/4640/task/4682/stat : 4682 (python) S 4638 4640 4191 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 5 0 869321449 355254272 12898 33554432000 4194304 5683644 140736987110112 18446744073709551615 218917554609 0 0 16781312 33554434 18446604451090143040 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 194.38
Current children cumulated vsize (KiB) 19002624
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4640 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=853718
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=140978
# CPU time returned by wait4() is 1.9947
# while last known CPU time is 194.38
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 191.473
CPU time (s): 194.38
CPU user time (s): 193.29
CPU system time (s): 1.09
CPU usage (%): 101.518
Max. virtual memory (cumulated for all children) (KiB): 19002624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.85372
system time used= 0.140978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22667
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2862
involuntary context switches= 28
runsolver used 1.22381 second user time and 2.39464 second system time
The end