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-3481809-1307577230/watcher-3481809-1307577230 -o /tmp/evaluation-result-3481809-1307577230/solver-3481809-1307577230 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481809-1307577230.opb -seed 717738632 -budget 1800
running on 4 cores: 1,3,5,7
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.28 1.99 1.23 3/668 22642
/proc/meminfo: memFree=27218232/32950928 swapFree=50514916/67111528
[pid=22642] ppid=22640 vsize=16244 CPUtime=0.01 cores=1,3,5,7
/proc/22642/stat : 22642 (python) R 22640 22642 21667 0 -1 4202496 1051 0 0 0 1 0 0 0 17 0 1 0 947953759 16633856 922 33554432000 4194304 5683644 140734210423328 18446744073709551615 5168605 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22642/statm: 4061 922 381 364 0 548 0
[startup+0.0441019 s]
/proc/loadavg: 2.28 1.99 1.23 3/668 22642
/proc/meminfo: memFree=27218232/32950928 swapFree=50514916/67111528
[pid=22642] ppid=22640 vsize=25312 CPUtime=0.02 cores=1,3,5,7
/proc/22642/stat : 22642 (python) R 22640 22642 21667 0 -1 4202496 1343 0 0 0 2 0 0 0 17 0 1 0 947953759 25919488 1189 33554432000 4194304 5683644 140734210423328 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22642/statm: 6328 1190 438 364 0 729 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 25312
[startup+0.101015 s]
/proc/loadavg: 2.28 1.99 1.23 3/668 22642
/proc/meminfo: memFree=27218232/32950928 swapFree=50514916/67111528
[pid=22642] ppid=22640 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/22642/stat : 22642 (python) R 22640 22642 21667 0 -1 4202496 3169 934 1 0 5 2 0 0 18 0 1 0 947953759 98435072 2483 33554432000 4194304 5683644 140734210423328 18446744073709551615 5168736 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22642/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.301062 s]
/proc/loadavg: 2.28 1.99 1.23 3/668 22642
/proc/meminfo: memFree=27218232/32950928 swapFree=50514916/67111528
[pid=22642] ppid=22640 vsize=184600 CPUtime=0.24 cores=1,3,5,7
/proc/22642/stat : 22642 (python) S 22640 22642 21667 0 -1 4202496 6359 934 1 0 18 6 0 0 17 0 1 0 947953759 189030400 4656 33554432000 4194304 5683644 140734210423328 18446744073709551615 256415389696 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/22642/statm: 46150 4656 1251 364 0 3656 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 184600
[startup+0.700976 s]
/proc/loadavg: 2.28 1.99 1.23 3/668 22642
/proc/meminfo: memFree=27218232/32950928 swapFree=50514916/67111528
[pid=22642] ppid=22640 vsize=288664 CPUtime=0.61 cores=1,3,5,7
/proc/22642/stat : 22642 (python) R 22640 22642 21667 0 -1 4202496 10597 934 1 0 51 10 0 0 17 0 1 0 947953759 295591936 8458 33554432000 4194304 5683644 140734210423328 18446744073709551615 4297457 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22642/statm: 72166 8458 1781 364 0 7059 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 288664
[startup+1.50081 s]
/proc/loadavg: 2.28 1.99 1.23 3/669 22647
/proc/meminfo: memFree=27184992/32950928 swapFree=50514916/67111528
[pid=22642] ppid=22640 vsize=293160 CPUtime=1.4 cores=1,3,5,7
/proc/22642/stat : 22642 (python) R 22640 22642 21667 0 -1 4202496 14267 934 1 0 130 10 0 0 18 0 1 0 947953759 300195840 9654 33554432000 4194304 5683644 140734210423328 18446744073709551615 47420591626695 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/22642/statm: 73290 9654 1816 364 0 8183 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 293160
[startup+3.10051 s]
/proc/loadavg: 2.26 1.99 1.24 3/672 22650
/proc/meminfo: memFree=27145288/32950928 swapFree=50514916/67111528
[pid=22642] ppid=22640 vsize=303560 CPUtime=1.53 cores=1,3,5,7
/proc/22642/stat : 22642 (python) S 22640 22642 21667 0 -1 4202496 14580 934 1 0 143 10 0 0 20 0 2 0 947953759 310845440 9739 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/22642/statm: 75890 9739 1864 364 0 10777 0
[pid=22648] ppid=22642 vsize=293316 CPUtime=0 cores=1,3,5,7
/proc/22648/stat : 22648 (python) S 22642 22642 21667 0 -1 4202560 882 0 0 0 0 0 0 0 15 0 1 0 947953922 300355584 8228 33554432000 4194304 5683644 140734210423328 18446744073709551615 256415411727 0 0 16781312 33554946 2128265885553524736 0 0 17 5 0 0 0
/proc/22648/statm: 73329 8228 357 364 0 8216 0
[pid=22650] ppid=22648 vsize=27176 CPUtime=1.45 cores=1,3,5,7
/proc/22650/stat : 22650 (wbo1.4a) R 22648 22650 22650 0 -1 4202496 7195 0 0 0 144 1 0 0 25 0 1 0 947953923 27828224 6336 33554432000 134512640 135751879 4292247648 18446744073709551615 134518470 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/22650/statm: 6794 6336 146 303 0 6489 0
[pid=22642/tid=22649] ppid=22640 vsize=303560 CPUtime=0 cores=1,3,5,7
/proc/22642/task/22649/stat : 22649 (python) S 22640 22642 21667 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 2 0 947953923 310845440 9739 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456003556544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 624052
[startup+6.30089 s]
/proc/loadavg: 2.26 1.99 1.24 3/672 22650
/proc/meminfo: memFree=27136068/32950928 swapFree=50514916/67111528
[pid=22642] ppid=22640 vsize=303560 CPUtime=1.53 cores=1,3,5,7
/proc/22642/stat : 22642 (python) S 22640 22642 21667 0 -1 4202496 14580 934 1 0 143 10 0 0 20 0 2 0 947953759 310845440 9739 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/22642/statm: 75890 9739 1864 364 0 10777 0
[pid=22648] ppid=22642 vsize=293316 CPUtime=0.02 cores=1,3,5,7
/proc/22648/stat : 22648 (python) S 22642 22642 21667 0 -1 4202560 1013 0 0 0 1 1 0 0 15 0 1 0 947953922 300355584 8250 33554432000 4194304 5683644 140734210423328 18446744073709551615 256415411727 0 0 16781312 33554946 1971215183695052800 0 0 17 5 0 0 0
/proc/22648/statm: 73329 8250 379 364 0 8216 0
[pid=22650] ppid=22648 vsize=29420 CPUtime=4.64 cores=1,3,5,7
/proc/22650/stat : 22650 (wbo1.4a) R 22648 22650 22650 0 -1 4202496 7748 0 0 0 463 1 0 0 25 0 1 0 947953923 30126080 6889 33554432000 134512640 135751879 4292247648 18446744073709551615 134518470 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/22650/statm: 7355 6889 146 303 0 7050 0
[pid=22642/tid=22649] ppid=22640 vsize=303560 CPUtime=0 cores=1,3,5,7
/proc/22642/task/22649/stat : 22649 (python) S 22640 22642 21667 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 2 0 947953923 310845440 9739 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456003556544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 626296
[startup+12.7007 s]
/proc/loadavg: 2.22 1.99 1.25 3/672 22650
/proc/meminfo: memFree=27137524/32950928 swapFree=50514916/67111528
[pid=22642] ppid=22640 vsize=303560 CPUtime=1.53 cores=1,3,5,7
/proc/22642/stat : 22642 (python) S 22640 22642 21667 0 -1 4202496 14580 934 1 0 143 10 0 0 20 0 2 0 947953759 310845440 9739 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/22642/statm: 75890 9739 1864 364 0 10777 0
[pid=22648] ppid=22642 vsize=293316 CPUtime=0.05 cores=1,3,5,7
/proc/22648/stat : 22648 (python) S 22642 22642 21667 0 -1 4202560 1017 0 0 0 3 2 0 0 15 0 1 0 947953922 300355584 8250 33554432000 4194304 5683644 140734210423328 18446744073709551615 256415411727 0 0 16781312 33554946 97518014139727872 0 0 17 5 0 0 0
/proc/22648/statm: 73329 8250 379 364 0 8216 0
[pid=22650] ppid=22648 vsize=32332 CPUtime=11.04 cores=1,3,5,7
/proc/22650/stat : 22650 (wbo1.4a) R 22648 22650 22650 0 -1 4202496 8480 0 0 0 1102 2 0 0 25 0 1 0 947953923 33107968 7621 33554432000 134512640 135751879 4292247648 18446744073709551615 134518799 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/22650/statm: 8083 7621 146 303 0 7778 0
[pid=22642/tid=22649] ppid=22640 vsize=303560 CPUtime=0 cores=1,3,5,7
/proc/22642/task/22649/stat : 22649 (python) S 22640 22642 21667 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 2 0 947953923 310845440 9739 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456003556544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 629208
[startup+25.5012 s]
/proc/loadavg: 2.18 1.99 1.25 3/676 22655
/proc/meminfo: memFree=27107612/32950928 swapFree=50514916/67111528
[pid=22642] ppid=22640 vsize=303560 CPUtime=1.53 cores=1,3,5,7
/proc/22642/stat : 22642 (python) S 22640 22642 21667 0 -1 4202496 14580 934 1 0 143 10 0 0 20 0 2 0 947953759 310845440 9739 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/22642/statm: 75890 9739 1864 364 0 10777 0
[pid=22648] ppid=22642 vsize=293316 CPUtime=0.12 cores=1,3,5,7
/proc/22648/stat : 22648 (python) S 22642 22642 21667 0 -1 4202560 1024 0 0 0 7 5 0 0 15 0 1 0 947953922 300355584 8251 33554432000 4194304 5683644 140734210423328 18446744073709551615 256415411727 0 0 16781312 33554946 2994809751231004672 0 0 17 5 0 0 0
/proc/22648/statm: 73329 8251 380 364 0 8216 0
[pid=22650] ppid=22648 vsize=33916 CPUtime=23.8 cores=1,3,5,7
/proc/22650/stat : 22650 (wbo1.4a) R 22648 22650 22650 0 -1 4202496 8889 0 0 0 2376 4 0 0 25 0 1 0 947953923 34729984 8030 33554432000 134512640 135751879 4292247648 18446744073709551615 134519024 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/22650/statm: 8479 8030 146 303 0 8174 0
[pid=22642/tid=22649] ppid=22640 vsize=303560 CPUtime=0 cores=1,3,5,7
/proc/22642/task/22649/stat : 22649 (python) S 22640 22642 21667 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 2 0 947953923 310845440 9739 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456003556544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 630792
[startup+51.1013 s]
/proc/loadavg: 2.18 2.01 1.28 3/698 22677
/proc/meminfo: memFree=26709644/32950928 swapFree=50514916/67111528
[pid=22642] ppid=22640 vsize=313816 CPUtime=1.56 cores=1,3,5,7
/proc/22642/stat : 22642 (python) S 22640 22642 21667 0 -1 4202496 15504 934 1 0 146 10 0 0 20 0 3 0 947953759 321347584 9754 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/22642/statm: 78454 9754 1875 364 0 13338 0
[pid=22648] ppid=22642 vsize=303560 CPUtime=0.25 cores=1,3,5,7
/proc/22648/stat : 22648 (python) S 22642 22642 21667 0 -1 4202560 1165 0 0 0 13 12 0 0 16 0 2 0 947953922 310845440 8287 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/22648/statm: 75890 8287 411 364 0 10777 0
[pid=22650] ppid=22648 vsize=38140 CPUtime=46.18 cores=1,3,5,7
/proc/22650/stat : 22650 (wbo1.4a) T 22648 22650 22650 0 -1 4202496 9938 0 0 0 4611 7 0 0 25 0 1 0 947953923 39055360 9079 33554432000 134512640 135751879 4292247648 18446744073709551615 134611297 0 0 16781312 3 18446744071562691360 0 0 17 7 0 0 0
/proc/22650/statm: 9535 9079 146 303 0 9230 0
[pid=22648/tid=22656] ppid=22642 vsize=303560 CPUtime=0 cores=1,3,5,7
/proc/22648/task/22656/stat : 22656 (python) S 22642 22642 21667 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 947958549 310845440 8287 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427215281 0 0 16781312 33554946 18446604465033986176 0 0 -1 5 0 0 0
[pid=22657] ppid=22642 vsize=303572 CPUtime=0 cores=1,3,5,7
/proc/22657/stat : 22657 (python) S 22642 22642 21667 0 -1 4202560 780 0 0 0 0 0 0 0 15 0 1 0 947958551 310857728 8223 33554432000 4194304 5683644 140734210423328 18446744073709551615 256415411782 0 0 16781312 33554946 4294934791 0 0 17 3 0 0 0
/proc/22657/statm: 75893 8223 348 364 0 10777 0
[pid=22659] ppid=22657 vsize=8543684 CPUtime=4.23 cores=1,3,5,7
/proc/22659/stat : 22659 (java) S 22657 22659 22659 0 -1 4202496 96145 0 1 0 411 12 0 0 18 0 19 0 947958552 8748732416 90431 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22659/statm: 2135921 90431 2236 9 0 2126662 0
[pid=22659/tid=22660] ppid=22657 vsize=8543684 CPUtime=3.07 cores=1,3,5,7
/proc/22659/task/22660/stat : 22660 (java) R 22657 22659 22659 0 -1 4202560 62940 0 1 0 300 7 0 0 24 0 19 0 947958553 8748732416 90431 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 46912505921402 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22659/tid=22661] ppid=22657 vsize=8543684 CPUtime=0.05 cores=1,3,5,7
/proc/22659/task/22661/stat : 22661 (java) S 22657 22659 22659 0 -1 4202560 5782 0 0 0 5 0 0 0 16 0 19 0 947958553 8748732416 90431 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446604459961793216 0 0 -1 5 0 0 0
[pid=22659/tid=22662] ppid=22657 vsize=8543684 CPUtime=0.01 cores=1,3,5,7
/proc/22659/task/22662/stat : 22662 (java) S 22657 22659 22659 0 -1 4202560 2078 0 0 0 1 0 0 0 15 0 19 0 947958553 8748732416 90431 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446604459961793216 0 0 -1 5 0 0 0
[pid=22659/tid=22663] ppid=22657 vsize=8543684 CPUtime=0.01 cores=1,3,5,7
/proc/22659/task/22663/stat : 22663 (java) S 22657 22659 22659 0 -1 4202560 2107 0 0 0 1 0 0 0 16 0 19 0 947958553 8748732416 90431 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446604459961793216 0 0 -1 1 0 0 0
[pid=22659/tid=22664] ppid=22657 vsize=8543684 CPUtime=0.02 cores=1,3,5,7
/proc/22659/task/22664/stat : 22664 (java) S 22657 22659 22659 0 -1 4202560 2496 0 0 0 2 0 0 0 16 0 19 0 947958553 8748732416 90431 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446604459961793216 0 0 -1 3 0 0 0
[pid=22659/tid=22665] ppid=22657 vsize=8543684 CPUtime=0.04 cores=1,3,5,7
/proc/22659/task/22665/stat : 22665 (java) S 22657 22659 22659 0 -1 4202560 3600 0 0 0 4 0 0 0 16 0 19 0 947958553 8748732416 90431 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446604459961793216 0 0 -1 7 0 0 0
[pid=22659/tid=22666] ppid=22657 vsize=8543684 CPUtime=0.03 cores=1,3,5,7
/proc/22659/task/22666/stat : 22666 (java) S 22657 22659 22659 0 -1 4202560 2700 0 0 0 3 0 0 0 15 0 19 0 947958553 8748732416 90431 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446604459961793216 0 0 -1 3 0 0 0
[pid=22659/tid=22667] ppid=22657 vsize=8543684 CPUtime=0 cores=1,3,5,7
/proc/22659/task/22667/stat : 22667 (java) S 22657 22659 22659 0 -1 4202560 583 0 0 0 0 0 0 0 15 0 19 0 947958553 8748732416 90431 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446604459961793216 0 0 -1 3 0 0 0
[pid=22659/tid=22668] ppid=22657 vsize=8543684 CPUtime=0.01 cores=1,3,5,7
/proc/22659/task/22668/stat : 22668 (java) S 22657 22659 22659 0 -1 4202560 1748 0 0 0 1 0 0 0 15 0 19 0 947958553 8748732416 90431 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446604459961793216 0 0 -1 7 0 0 0
[pid=22659/tid=22669] ppid=22657 vsize=8543684 CPUtime=0 cores=1,3,5,7
/proc/22659/task/22669/stat : 22669 (java) S 22657 22659 22659 0 -1 4202560 198 0 0 0 0 0 0 0 15 0 19 0 947958554 8748732416 90431 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427208192 0 0 0 16800975 18446604459961793216 0 0 -1 1 0 0 0
[pid=22659/tid=22670] ppid=22657 vsize=8543684 CPUtime=0 cores=1,3,5,7
/proc/22659/task/22670/stat : 22670 (java) S 22657 22659 22659 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 947958555 8748732416 90431 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446604459961793216 0 0 -1 1 0 0 0
[pid=22659/tid=22671] ppid=22657 vsize=8543684 CPUtime=0 cores=1,3,5,7
/proc/22659/task/22671/stat : 22671 (java) S 22657 22659 22659 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 947958555 8748732416 90431 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446604459961793216 0 0 -1 1 0 0 0
[pid=22659/tid=22672] ppid=22657 vsize=8543684 CPUtime=0 cores=1,3,5,7
/proc/22659/task/22672/stat : 22672 (java) S 22657 22659 22659 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 947958557 8748732416 90431 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427215281 0 4 0 16800975 18446604459961793216 0 0 -1 1 0 0 0
[pid=22659/tid=22673] ppid=22657 vsize=8543684 CPUtime=0.4 cores=1,3,5,7
/proc/22659/task/22673/stat : 22673 (java) S 22657 22659 22659 0 -1 4202560 4862 0 0 0 40 0 0 0 15 0 19 0 947958557 8748732416 90431 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446604459961793216 0 0 -1 1 0 0 0
[pid=22659/tid=22674] ppid=22657 vsize=8543684 CPUtime=0.48 cores=1,3,5,7
/proc/22659/task/22674/stat : 22674 (java) S 22657 22659 22659 0 -1 4202560 5661 0 0 0 47 1 0 0 15 0 19 0 947958557 8748732416 90431 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446604459961793216 0 0 -1 3 0 0 0
[pid=22659/tid=22675] ppid=22657 vsize=8543684 CPUtime=0 cores=1,3,5,7
/proc/22659/task/22675/stat : 22675 (java) S 22657 22659 22659 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947958557 8748732416 90431 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446604459961793216 0 0 -1 5 0 0 0
[pid=22659/tid=22676] ppid=22657 vsize=8543684 CPUtime=0 cores=1,3,5,7
/proc/22659/task/22676/stat : 22676 (java) S 22657 22659 22659 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947958557 8748732416 90431 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427208192 0 4 0 16800975 18446604459961793216 0 0 -1 7 0 0 0
[pid=22659/tid=22677] ppid=22657 vsize=8543684 CPUtime=0 cores=1,3,5,7
/proc/22659/task/22677/stat : 22677 (java) S 22657 22659 22659 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947958629 8748732416 90431 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427208192 0 4 0 16800975 18446604459961793216 0 0 -1 5 0 0 0
[pid=22642/tid=22649] ppid=22640 vsize=313816 CPUtime=0 cores=1,3,5,7
/proc/22642/task/22649/stat : 22649 (python) S 22640 22642 21667 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 3 0 947953923 321347584 9754 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456003556544 0 0 -1 5 0 0 0
[pid=22642/tid=22658] ppid=22640 vsize=313816 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=22684/tid=22686] ppid=22682 vsize=8607732 CPUtime=0.01 cores=1,3,5,7
/proc/22684/task/22686/stat : 22686 (java) S 22682 22684 22684 0 -1 4202560 1173 0 0 0 1 0 0 0 16 0 19 0 947963133 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427207577 0 4 0 16800975 18446604462061741376 0 0 -1 1 0 0 0
[pid=22684/tid=22687] ppid=22682 vsize=8607732 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22687/stat : 22687 (java) S 22682 22684 22684 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 947963133 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427207577 0 4 0 16800975 18446604462061741376 0 0 -1 7 0 0 0
[pid=22684/tid=22688] ppid=22682 vsize=8607732 CPUtime=0.01 cores=1,3,5,7
/proc/22684/task/22688/stat : 22688 (java) S 22682 22684 22684 0 -1 4202560 1120 0 0 0 1 0 0 0 16 0 19 0 947963133 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427207577 0 4 0 16800975 18446604462061741376 0 0 -1 7 0 0 0
[pid=22684/tid=22689] ppid=22682 vsize=8607732 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22689/stat : 22689 (java) S 22682 22684 22684 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 947963133 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427207577 0 4 0 16800975 18446604462061741376 0 0 -1 7 0 0 0
[pid=22684/tid=22690] ppid=22682 vsize=8607732 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22690/stat : 22690 (java) S 22682 22684 22684 0 -1 4202560 137 0 0 0 0 0 0 0 16 0 19 0 947963133 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427207577 0 4 0 16800975 18446604462061741376 0 0 -1 5 0 0 0
[pid=22684/tid=22691] ppid=22682 vsize=8607732 CPUtime=0.01 cores=1,3,5,7
/proc/22684/task/22691/stat : 22691 (java) S 22682 22684 22684 0 -1 4202560 847 0 0 0 1 0 0 0 16 0 19 0 947963133 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427207577 0 4 0 16800975 18446604462061741376 0 0 -1 3 0 0 0
[pid=22684/tid=22692] ppid=22682 vsize=8607732 CPUtime=0.01 cores=1,3,5,7
/proc/22684/task/22692/stat : 22692 (java) S 22682 22684 22684 0 -1 4202560 1115 0 0 0 1 0 0 0 16 0 19 0 947963133 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427207577 0 4 0 16800975 18446604462061741376 0 0 -1 5 0 0 0
[pid=22684/tid=22693] ppid=22682 vsize=8607732 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22693/stat : 22693 (java) S 22682 22684 22684 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 947963133 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427207577 0 4 0 16800975 18446604462061741376 0 0 -1 7 0 0 0
[pid=22684/tid=22694] ppid=22682 vsize=8607732 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22694/stat : 22694 (java) S 22682 22684 22684 0 -1 4202560 71 0 0 0 0 0 0 0 17 0 19 0 947963134 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427208192 0 0 0 16800975 18446604462061741376 0 0 -1 5 0 0 0
[pid=22684/tid=22695] ppid=22682 vsize=8607732 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22695/stat : 22695 (java) S 22682 22684 22684 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947963135 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427207577 0 4 0 16800975 18446604462061741376 0 0 -1 7 0 0 0
[pid=22684/tid=22696] ppid=22682 vsize=8607732 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22696/stat : 22696 (java) S 22682 22684 22684 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 947963135 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427207577 0 4 0 16800975 18446604462061741376 0 0 -1 5 0 0 0
[pid=22684/tid=22697] ppid=22682 vsize=8607732 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22697/stat : 22697 (java) S 22682 22684 22684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947963137 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427215281 0 4 0 16800975 18446604462061741376 0 0 -1 1 0 0 0
[pid=22684/tid=22698] ppid=22682 vsize=8607732 CPUtime=0.29 cores=1,3,5,7
/proc/22684/task/22698/stat : 22698 (java) R 22682 22684 22684 0 -1 4202560 2683 0 0 0 29 0 0 0 15 0 19 0 947963137 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 47137149352350 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22684/tid=22699] ppid=22682 vsize=8607732 CPUtime=0.26 cores=1,3,5,7
/proc/22684/task/22699/stat : 22699 (java) R 22682 22684 22684 0 -1 4202560 6007 0 0 0 26 0 0 0 15 0 19 0 947963137 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 47137149343833 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22684/tid=22700] ppid=22682 vsize=8607732 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22700/stat : 22700 (java) S 22682 22684 22684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947963137 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427207577 0 4 0 16800975 18446604462061741376 0 0 -1 1 0 0 0
[pid=22684/tid=22701] ppid=22682 vsize=8607732 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22701/stat : 22701 (java) S 22682 22684 22684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947963137 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427208192 0 4 0 16800975 18446604462061741376 0 0 -1 5 0 0 0
[pid=22684/tid=22702] ppid=22682 vsize=8607732 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22702/stat : 22702 (java) S 22682 22684 22684 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947963210 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427208192 0 4 0 16800975 18446604462061741376 0 0 -1 5 0 0 0
[pid=22642/tid=22649] ppid=22640 vsize=324072 CPUtime=0 cores=1,3,5,7
/proc/22642/task/22649/stat : 22649 (python) S 22640 22642 21667 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 4 0 947953923 331849728 9760 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456003556544 0 0 -1 5 0 0 0
[pid=22642/tid=22658] ppid=22640 vsize=324072 CPUtime=0 cores=1,3,5,7
/proc/22642/task/22658/stat : 22658 (python) S 22640 22642 21667 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 4 0 947958552 331849728 9760 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456003556544 0 0 -1 7 0 0 0
[pid=22642/tid=22683] ppid=22640 vsize=324072 CPUtime=0 cores=1,3,5,7
/proc/22642/task/22683/stat : 22683 (python) S 22640 22642 21667 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 4 0 947963132 331849728 9760 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456003556544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 96.77
Current children cumulated vsize (KiB) 18434588
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+94.501 s]
/proc/loadavg: 2.08 2.00 1.31 5/721 22702
/proc/meminfo: memFree=24714712/32950928 swapFree=50514916/67111528
[pid=22642] ppid=22640 vsize=324072 CPUtime=1.59 cores=1,3,5,7
/proc/22642/stat : 22642 (python) S 22640 22642 21667 0 -1 4202496 16348 934 1 0 148 11 0 0 19 0 4 0 947953759 331849728 9760 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/22642/statm: 81018 9760 1877 364 0 15899 0
[pid=22648] ppid=22642 vsize=303560 CPUtime=0.25 cores=1,3,5,7
/proc/22648/stat : 22648 (python) S 22642 22642 21667 0 -1 4202560 1165 0 0 0 13 12 0 0 16 0 2 0 947953922 310845440 8287 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/22648/statm: 75890 8287 411 364 0 10777 0
[pid=22650] ppid=22648 vsize=38140 CPUtime=46.18 cores=1,3,5,7
/proc/22650/stat : 22650 (wbo1.4a) T 22648 22650 22650 0 -1 4202496 9938 0 0 0 4611 7 0 0 25 0 1 0 947953923 39055360 9079 33554432000 134512640 135751879 4292247648 18446744073709551615 134611297 0 0 16781312 3 18446744071562691360 0 0 17 7 0 0 0
/proc/22650/statm: 9535 9079 146 303 0 9230 0
[pid=22648/tid=22656] ppid=22642 vsize=303560 CPUtime=0 cores=1,3,5,7
/proc/22648/task/22656/stat : 22656 (python) S 22642 22642 21667 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 947958549 310845440 8287 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427215281 0 0 16781312 33554946 18446604465033986176 0 0 -1 5 0 0 0
[pid=22657] ppid=22642 vsize=303572 CPUtime=0.22 cores=1,3,5,7
/proc/22657/stat : 22657 (python) S 22642 22642 21667 0 -1 4202560 1101 0 0 0 9 13 0 0 17 0 2 0 947958551 310857728 8272 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/22657/statm: 75893 8272 396 364 0 10777 0
[pid=22659] ppid=22657 vsize=8543684 CPUtime=47.13 cores=1,3,5,7
/proc/22659/stat : 22659 (java) T 22657 22659 22659 0 -1 4202496 538703 0 1 0 4656 57 0 0 18 0 19 0 947958552 8748732416 523566 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22659/statm: 2135921 523566 2252 9 0 2126662 0
[pid=22659/tid=22660] ppid=22657 vsize=8543684 CPUtime=45.44 cores=1,3,5,7
/proc/22659/task/22660/stat : 22660 (java) T 22657 22659 22659 0 -1 4202560 485811 0 1 0 4494 50 0 0 25 0 19 0 947958553 8748732416 523566 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 46912505779913 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22659/tid=22661] ppid=22657 vsize=8543684 CPUtime=0.08 cores=1,3,5,7
/proc/22659/task/22661/stat : 22661 (java) T 22657 22659 22659 0 -1 4202560 7771 0 0 0 8 0 0 0 15 0 19 0 947958553 8748732416 523566 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22659/tid=22662] ppid=22657 vsize=8543684 CPUtime=0.05 cores=1,3,5,7
/proc/22659/task/22662/stat : 22662 (java) T 22657 22659 22659 0 -1 4202560 4977 0 0 0 5 0 0 0 15 0 19 0 947958553 8748732416 523566 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22659/tid=22663] ppid=22657 vsize=8543684 CPUtime=0.04 cores=1,3,5,7
/proc/22659/task/22663/stat : 22663 (java) T 22657 22659 22659 0 -1 4202560 3856 0 0 0 4 0 0 0 15 0 19 0 947958553 8748732416 523566 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22659/tid=22664] ppid=22657 vsize=8543684 CPUtime=0.04 cores=1,3,5,7
/proc/22659/task/22664/stat : 22664 (java) T 22657 22659 22659 0 -1 4202560 4091 0 0 0 4 0 0 0 15 0 19 0 947958553 8748732416 523566 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=22659/tid=22665] ppid=22657 vsize=8543684 CPUtime=0.08 cores=1,3,5,7
/proc/22659/task/22665/stat : 22665 (java) T 22657 22659 22659 0 -1 4202560 7123 0 0 0 8 0 0 0 15 0 19 0 947958553 8748732416 523566 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22659/tid=22666] ppid=22657 vsize=8543684 CPUtime=0.1 cores=1,3,5,7
/proc/22659/task/22666/stat : 22666 (java) T 22657 22659 22659 0 -1 4202560 7980 0 0 0 10 0 0 0 15 0 19 0 947958553 8748732416 523566 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22659/tid=22667] ppid=22657 vsize=8543684 CPUtime=0.02 cores=1,3,5,7
/proc/22659/task/22667/stat : 22667 (java) T 22657 22659 22659 0 -1 4202560 880 0 0 0 2 0 0 0 15 0 19 0 947958553 8748732416 523566 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22659/tid=22668] ppid=22657 vsize=8543684 CPUtime=0.01 cores=1,3,5,7
/proc/22659/task/22668/stat : 22668 (java) T 22657 22659 22659 0 -1 4202560 1748 0 0 0 1 0 0 0 15 0 19 0 947958553 8748732416 523566 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22659/tid=22669] ppid=22657 vsize=8543684 CPUtime=0.12 cores=1,3,5,7
/proc/22659/task/22669/stat : 22669 (java) T 22657 22659 22659 0 -1 4202560 2488 0 0 0 12 0 0 0 15 0 19 0 947958554 8748732416 523566 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427208192 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22659/tid=22670] ppid=22657 vsize=8543684 CPUtime=0 cores=1,3,5,7
/proc/22659/task/22670/stat : 22670 (java) T 22657 22659 22659 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 947958555 8748732416 523566 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22659/tid=22671] ppid=22657 vsize=8543684 CPUtime=0 cores=1,3,5,7
/proc/22659/task/22671/stat : 22671 (java) T 22657 22659 22659 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 947958555 8748732416 523566 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22659/tid=22672] ppid=22657 vsize=8543684 CPUtime=0 cores=1,3,5,7
/proc/22659/task/22672/stat : 22672 (java) T 22657 22659 22659 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947958557 8748732416 523566 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427215281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22659/tid=22673] ppid=22657 vsize=8543684 CPUtime=0.46 cores=1,3,5,7
/proc/22659/task/22673/stat : 22673 (java) T 22657 22659 22659 0 -1 4202560 4879 0 0 0 46 0 0 0 15 0 19 0 947958557 8748732416 523566 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=22659/tid=22674] ppid=22657 vsize=8543684 CPUtime=0.57 cores=1,3,5,7
/proc/22659/task/22674/stat : 22674 (java) T 22657 22659 22659 0 -1 4202560 5707 0 0 0 56 1 0 0 15 0 19 0 947958557 8748732416 523566 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=22659/tid=22675] ppid=22657 vsize=8543684 CPUtime=0 cores=1,3,5,7
/proc/22659/task/22675/stat : 22675 (java) T 22657 22659 22659 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947958557 8748732416 523566 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22659/tid=22676] ppid=22657 vsize=8543684 CPUtime=0 cores=1,3,5,7
/proc/22659/task/22676/stat : 22676 (java) T 22657 22659 22659 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 947958557 8748732416 523566 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427208192 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22659/tid=22677] ppid=22657 vsize=8543684 CPUtime=0 cores=1,3,5,7
/proc/22659/task/22677/stat : 22677 (java) T 22657 22659 22659 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947958629 8748732416 523566 33554432000 1073741824 1073778376 140733768296176 18446744073709551615 256427208192 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=22657/tid=22681] ppid=22642 vsize=303572 CPUtime=0 cores=1,3,5,7
/proc/22657/task/22681/stat : 22681 (python) S 22642 22642 21667 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 947963129 310857728 8272 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427215281 0 0 16781312 33554946 18446604462061743168 0 0 -1 7 0 0 0
[pid=22682] ppid=22642 vsize=313828 CPUtime=0 cores=1,3,5,7
/proc/22682/stat : 22682 (python) S 22642 22642 21667 0 -1 4202560 788 0 0 0 0 0 0 0 15 0 1 0 947963132 321359872 8227 33554432000 4194304 5683644 140734210423328 18446744073709551615 256415411782 0 0 16781312 33554946 17693503811827499268 0 0 17 5 0 0 0
/proc/22682/statm: 78457 8227 348 364 0 13338 0
[pid=22684] ppid=22682 vsize=8607732 CPUtime=1.4 cores=1,3,5,7
/proc/22684/stat : 22684 (java) S 22682 22684 22684 0 -1 4202496 49884 0 1 0 134 6 0 0 18 0 19 0 947963132 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22684/statm: 2151933 46264 2230 9 0 2142674 0
[pid=22684/tid=22685] ppid=22682 vsize=8607732 CPUtime=0.77 cores=1,3,5,7
/proc/22684/task/22685/stat : 22685 (java) R 22682 22684 22684 0 -1 4202560 35256 0 1 0 73 4 0 0 19 0 19 0 947963133 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 46912505122104 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22684/tid=22686] ppid=22682 vsize=8607732 CPUtime=0.01 cores=1,3,5,7
/proc/22684/task/22686/stat : 22686 (java) S 22682 22684 22684 0 -1 4202560 1173 0 0 0 1 0 0 0 16 0 19 0 947963133 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427207577 0 4 0 16800975 18446604462061741376 0 0 -1 1 0 0 0
[pid=22684/tid=22687] ppid=22682 vsize=8607732 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22687/stat : 22687 (java) S 22682 22684 22684 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 947963133 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427207577 0 4 0 16800975 18446604462061741376 0 0 -1 7 0 0 0
[pid=22684/tid=22688] ppid=22682 vsize=8607732 CPUtime=0.01 cores=1,3,5,7
/proc/22684/task/22688/stat : 22688 (java) S 22682 22684 22684 0 -1 4202560 1120 0 0 0 1 0 0 0 16 0 19 0 947963133 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427207577 0 4 0 16800975 18446604462061741376 0 0 -1 7 0 0 0
[pid=22684/tid=22689] ppid=22682 vsize=8607732 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22689/stat : 22689 (java) S 22682 22684 22684 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 947963133 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427207577 0 4 0 16800975 18446604462061741376 0 0 -1 7 0 0 0
[pid=22684/tid=22690] ppid=22682 vsize=8607732 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22690/stat : 22690 (java) S 22682 22684 22684 0 -1 4202560 137 0 0 0 0 0 0 0 16 0 19 0 947963133 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427207577 0 4 0 16800975 18446604462061741376 0 0 -1 5 0 0 0
[pid=22684/tid=22691] ppid=22682 vsize=8607732 CPUtime=0.01 cores=1,3,5,7
/proc/22684/task/22691/stat : 22691 (java) S 22682 22684 22684 0 -1 4202560 847 0 0 0 1 0 0 0 16 0 19 0 947963133 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427207577 0 4 0 16800975 18446604462061741376 0 0 -1 3 0 0 0
[pid=22684/tid=22692] ppid=22682 vsize=8607732 CPUtime=0.01 cores=1,3,5,7
/proc/22684/task/22692/stat : 22692 (java) S 22682 22684 22684 0 -1 4202560 1115 0 0 0 1 0 0 0 16 0 19 0 947963133 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427207577 0 4 0 16800975 18446604462061741376 0 0 -1 5 0 0 0
[pid=22684/tid=22693] ppid=22682 vsize=8607732 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22693/stat : 22693 (java) S 22682 22684 22684 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 947963133 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427207577 0 4 0 16800975 18446604462061741376 0 0 -1 7 0 0 0
[pid=22684/tid=22694] ppid=22682 vsize=8607732 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22694/stat : 22694 (java) S 22682 22684 22684 0 -1 4202560 71 0 0 0 0 0 0 0 17 0 19 0 947963134 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427208192 0 0 0 16800975 18446604462061741376 0 0 -1 5 0 0 0
[pid=22684/tid=22695] ppid=22682 vsize=8607732 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22695/stat : 22695 (java) S 22682 22684 22684 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947963135 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427207577 0 4 0 16800975 18446604462061741376 0 0 -1 7 0 0 0
[pid=22684/tid=22696] ppid=22682 vsize=8607732 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22696/stat : 22696 (java) S 22682 22684 22684 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 947963135 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427207577 0 4 0 16800975 18446604462061741376 0 0 -1 5 0 0 0
[pid=22684/tid=22697] ppid=22682 vsize=8607732 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22697/stat : 22697 (java) S 22682 22684 22684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947963137 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427215281 0 4 0 16800975 18446604462061741376 0 0 -1 1 0 0 0
[pid=22684/tid=22698] ppid=22682 vsize=8607732 CPUtime=0.29 cores=1,3,5,7
/proc/22684/task/22698/stat : 22698 (java) R 22682 22684 22684 0 -1 4202560 2683 0 0 0 29 0 0 0 15 0 19 0 947963137 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 47137149352350 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22684/tid=22699] ppid=22682 vsize=8607732 CPUtime=0.26 cores=1,3,5,7
/proc/22684/task/22699/stat : 22699 (java) R 22682 22684 22684 0 -1 4202560 6007 0 0 0 26 0 0 0 15 0 19 0 947963137 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 47137149343833 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22684/tid=22700] ppid=22682 vsize=8607732 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22700/stat : 22700 (java) S 22682 22684 22684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947963137 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427207577 0 4 0 16800975 18446604462061741376 0 0 -1 1 0 0 0
[pid=22684/tid=22701] ppid=22682 vsize=8607732 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22701/stat : 22701 (java) S 22682 22684 22684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947963137 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427208192 0 4 0 16800975 18446604462061741376 0 0 -1 5 0 0 0
[pid=22684/tid=22702] ppid=22682 vsize=8607732 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22702/stat : 22702 (java) S 22682 22684 22684 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947963210 8814317568 46264 33554432000 1073741824 1073778376 140735311111808 18446744073709551615 256427208192 0 4 0 16800975 18446604462061741376 0 0 -1 5 0 0 0
[pid=22642/tid=22649] ppid=22640 vsize=324072 CPUtime=0 cores=1,3,5,7
/proc/22642/task/22649/stat : 22649 (python) S 22640 22642 21667 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 4 0 947953923 331849728 9760 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456003556544 0 0 -1 5 0 0 0
[pid=22642/tid=22658] ppid=22640 vsize=324072 CPUtime=0 cores=1,3,5,7
/proc/22642/task/22658/stat : 22658 (python) S 22640 22642 21667 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 4 0 947958552 331849728 9760 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456003556544 0 0 -1 7 0 0 0
[pid=22642/tid=22683] ppid=22640 vsize=324072 CPUtime=0 cores=1,3,5,7
/proc/22642/task/22683/stat : 22683 (python) S 22640 22642 21667 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 4 0 947963132 331849728 9760 33554432000 4194304 5683644 140734210423328 18446744073709551615 256427215281 0 0 16781312 33554434 18446604456003556544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 96.77
Current children cumulated vsize (KiB) 18434588
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22642 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=487773
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=113982
# CPU time returned by wait4() is 1.60176
# while last known CPU time is 96.77
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 94.5762
CPU time (s): 96.77
CPU user time (s): 95.71
CPU system time (s): 1.06
CPU usage (%): 102.32
Max. virtual memory (cumulated for all children) (KiB): 18434588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.48777
system time used= 0.113982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17283
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= 1002
involuntary context switches= 33
runsolver used 0.573912 second user time and 1.24581 second system time
The end