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-3481464-1307577852/watcher-3481464-1307577852 -o /tmp/evaluation-result-3481464-1307577852/solver-3481464-1307577852 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481464-1307577852.opb -seed 976299606 -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.07 2.05 1.61 2/682 28441
/proc/meminfo: memFree=17763928/32951124 swapFree=62998992/67111528
[pid=28441] ppid=28439 vsize=16244 CPUtime=0 cores=1,3,5,7
/proc/28441/stat : 28441 (python) R 28439 28441 27575 0 -1 4202496 1051 0 0 0 0 0 0 0 23 0 1 0 850200916 16633856 922 33554432000 4194304 5683644 140735110699200 18446744073709551615 264726403072 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/28441/statm: 4061 922 381 364 0 548 0
[startup+0.0955681 s]
/proc/loadavg: 2.07 2.05 1.61 2/682 28441
/proc/meminfo: memFree=17763928/32951124 swapFree=62998992/67111528
[pid=28441] ppid=28439 vsize=85076 CPUtime=0.06 cores=1,3,5,7
/proc/28441/stat : 28441 (python) R 28439 28441 27575 0 -1 4202496 2493 0 0 0 4 2 0 0 17 0 1 0 850200916 87117824 2219 33554432000 4194304 5683644 140735110699200 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28441/statm: 21269 2222 707 364 0 1486 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85076
[startup+0.100626 s]
/proc/loadavg: 2.07 2.05 1.61 2/682 28441
/proc/meminfo: memFree=17763928/32951124 swapFree=62998992/67111528
[pid=28441] ppid=28439 vsize=85624 CPUtime=0.06 cores=1,3,5,7
/proc/28441/stat : 28441 (python) S 28439 28441 27575 0 -1 4202496 2664 0 0 0 4 2 0 0 17 0 1 0 850200916 87678976 2382 33554432000 4194304 5683644 140735110699200 18446744073709551615 264726403072 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/28441/statm: 21407 2383 715 364 0 1624 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624
[startup+0.300568 s]
/proc/loadavg: 2.07 2.05 1.61 2/682 28441
/proc/meminfo: memFree=17763928/32951124 swapFree=62998992/67111528
[pid=28441] ppid=28439 vsize=123744 CPUtime=0.17 cores=1,3,5,7
/proc/28441/stat : 28441 (python) R 28439 28441 27575 0 -1 4202496 5359 928 1 0 10 7 0 0 16 0 1 0 850200916 126713856 3745 33554432000 4194304 5683644 140735110699200 18446744073709551615 264726401029 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/28441/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.704511 s]
/proc/loadavg: 2.07 2.05 1.61 2/682 28441
/proc/meminfo: memFree=17763928/32951124 swapFree=62998992/67111528
[pid=28441] ppid=28439 vsize=282404 CPUtime=0.43 cores=1,3,5,7
/proc/28441/stat : 28441 (python) S 28439 28441 27575 0 -1 4202496 9203 928 1 0 28 15 0 0 15 0 1 0 850200916 289181696 6937 33554432000 4194304 5683644 140735110699200 18446744073709551615 264726425103 0 0 16781312 2 4294934790 0 0 17 5 0 0 0
/proc/28441/statm: 70601 6937 1777 364 0 5494 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 282404
[startup+1.50027 s]
/proc/loadavg: 2.07 2.05 1.61 3/683 28447
/proc/meminfo: memFree=17729200/32951124 swapFree=62998992/67111528
[pid=28441] ppid=28439 vsize=296088 CPUtime=0.83 cores=1,3,5,7
/proc/28441/stat : 28441 (python) S 28439 28441 27575 0 -1 4202496 12157 1410 1 0 57 19 5 2 18 0 2 0 850200916 303194112 7886 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28441/statm: 74022 7886 1871 364 0 8909 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 296088
[startup+3.101 s]
/proc/loadavg: 2.07 2.05 1.61 3/686 28450
/proc/meminfo: memFree=17653920/32951124 swapFree=62998992/67111528
[pid=28441] ppid=28439 vsize=296088 CPUtime=0.83 cores=1,3,5,7
/proc/28441/stat : 28441 (python) S 28439 28441 27575 0 -1 4202496 12157 1410 1 0 57 19 5 2 18 0 2 0 850200916 303194112 7886 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28441/statm: 74022 7886 1871 364 0 8909 0
[pid=28448] ppid=28441 vsize=285844 CPUtime=0 cores=1,3,5,7
/proc/28448/stat : 28448 (python) S 28441 28441 27575 0 -1 4202560 728 0 0 0 0 0 0 0 15 0 1 0 850201021 292704256 6330 33554432000 4194304 5683644 140735110699200 18446744073709551615 264726425103 0 0 16781312 33554946 2226017485784612864 0 0 17 5 0 0 0
/proc/28448/statm: 71461 6330 319 364 0 6348 0
[pid=28450] ppid=28448 vsize=84276 CPUtime=2.03 cores=1,3,5,7
/proc/28450/stat : 28450 (scip-2.0.1.linu) R 28448 28450 28450 0 -1 4202496 21433 0 0 0 173 30 0 0 18 0 1 0 850201021 86298624 18706 33554432000 4194304 13684479 140737128776192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28450/statm: 21069 18706 775 2317 0 18747 0
[pid=28441/tid=28449] ppid=28439 vsize=296088 CPUtime=0.07 cores=1,3,5,7
/proc/28441/task/28449/stat : 28449 (python) S 28439 28441 27575 0 -1 4202560 26 1410 0 0 0 0 5 2 18 0 2 0 850201021 303194112 7886 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738228657 0 0 16781312 33554434 18446604464735289600 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 666208
[startup+6.3004 s]
/proc/loadavg: 2.14 2.06 1.61 3/686 28450
/proc/meminfo: memFree=17642388/32951124 swapFree=62998992/67111528
[pid=28441] ppid=28439 vsize=296088 CPUtime=0.83 cores=1,3,5,7
/proc/28441/stat : 28441 (python) S 28439 28441 27575 0 -1 4202496 12157 1410 1 0 57 19 5 2 18 0 2 0 850200916 303194112 7886 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28441/statm: 74022 7886 1871 364 0 8909 0
[pid=28448] ppid=28441 vsize=285844 CPUtime=0.01 cores=1,3,5,7
/proc/28448/stat : 28448 (python) S 28441 28441 27575 0 -1 4202560 869 0 0 0 0 1 0 0 15 0 1 0 850201021 292704256 6353 33554432000 4194304 5683644 140735110699200 18446744073709551615 264726425103 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/28448/statm: 71461 6353 342 364 0 6348 0
[pid=28450] ppid=28448 vsize=94876 CPUtime=5.24 cores=1,3,5,7
/proc/28450/stat : 28450 (scip-2.0.1.linu) R 28448 28450 28450 0 -1 4202496 23768 0 0 0 488 36 0 0 20 0 1 0 850201021 97153024 21031 33554432000 4194304 13684479 140737128776192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28450/statm: 23719 21031 796 2317 0 21397 0
[pid=28441/tid=28449] ppid=28439 vsize=296088 CPUtime=0.07 cores=1,3,5,7
/proc/28441/task/28449/stat : 28449 (python) S 28439 28441 27575 0 -1 4202560 26 1410 0 0 0 0 5 2 18 0 2 0 850201021 303194112 7886 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738228657 0 0 16781312 33554434 18446604464735289600 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 676808
[startup+12.7012 s]
/proc/loadavg: 2.13 2.06 1.62 3/686 28450
/proc/meminfo: memFree=17630252/32951124 swapFree=62998992/67111528
[pid=28441] ppid=28439 vsize=296088 CPUtime=0.83 cores=1,3,5,7
/proc/28441/stat : 28441 (python) S 28439 28441 27575 0 -1 4202496 12157 1410 1 0 57 19 5 2 18 0 2 0 850200916 303194112 7886 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28441/statm: 74022 7886 1871 364 0 8909 0
[pid=28448] ppid=28441 vsize=285844 CPUtime=0.04 cores=1,3,5,7
/proc/28448/stat : 28448 (python) S 28441 28441 27575 0 -1 4202560 875 0 0 0 1 3 0 0 15 0 1 0 850201021 292704256 6354 33554432000 4194304 5683644 140735110699200 18446744073709551615 264726425103 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/28448/statm: 71461 6354 343 364 0 6348 0
[pid=28450] ppid=28448 vsize=106008 CPUtime=11.63 cores=1,3,5,7
/proc/28450/stat : 28450 (scip-2.0.1.linu) R 28448 28450 28450 0 -1 4202496 26583 0 0 0 1123 40 0 0 25 0 1 0 850201021 108552192 23693 33554432000 4194304 13684479 140737128776192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28450/statm: 26502 23693 845 2317 0 24180 0
[pid=28441/tid=28449] ppid=28439 vsize=296088 CPUtime=0.07 cores=1,3,5,7
/proc/28441/task/28449/stat : 28449 (python) S 28439 28441 27575 0 -1 4202560 26 1410 0 0 0 0 5 2 18 0 2 0 850201021 303194112 7886 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738228657 0 0 16781312 33554434 18446604464735289600 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 687940
[startup+25.5008 s]
/proc/loadavg: 2.10 2.06 1.62 3/686 28450
/proc/meminfo: memFree=17628276/32951124 swapFree=62998992/67111528
[pid=28441] ppid=28439 vsize=296088 CPUtime=0.83 cores=1,3,5,7
/proc/28441/stat : 28441 (python) S 28439 28441 27575 0 -1 4202496 12157 1410 1 0 57 19 5 2 18 0 2 0 850200916 303194112 7886 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28441/statm: 74022 7886 1871 364 0 8909 0
[pid=28448] ppid=28441 vsize=285844 CPUtime=0.1 cores=1,3,5,7
/proc/28448/stat : 28448 (python) S 28441 28441 27575 0 -1 4202560 882 0 0 0 4 6 0 0 15 0 1 0 850201021 292704256 6354 33554432000 4194304 5683644 140735110699200 18446744073709551615 264726425103 0 0 16781312 33554946 3595978144718258176 0 0 17 7 0 0 0
/proc/28448/statm: 71461 6354 343 364 0 6348 0
[pid=28450] ppid=28448 vsize=107256 CPUtime=24.43 cores=1,3,5,7
/proc/28450/stat : 28450 (scip-2.0.1.linu) R 28448 28450 28450 0 -1 4202496 28732 0 0 0 2390 53 0 0 25 0 1 0 850201021 109830144 24095 33554432000 4194304 13684479 140737128776192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/28450/statm: 26814 24095 783 2317 0 24492 0
[pid=28441/tid=28449] ppid=28439 vsize=296088 CPUtime=0.07 cores=1,3,5,7
/proc/28441/task/28449/stat : 28449 (python) S 28439 28441 27575 0 -1 4202560 26 1410 0 0 0 0 5 2 18 0 2 0 850201021 303194112 7886 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738228657 0 0 16781312 33554434 18446604464735289600 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 689188
[startup+51.1009 s]
/proc/loadavg: 2.31 2.11 1.65 5/700 28533
/proc/meminfo: memFree=17502912/32951124 swapFree=62998992/67111528
[pid=28441] ppid=28439 vsize=306948 CPUtime=0.85 cores=1,3,5,7
/proc/28441/stat : 28441 (python) S 28439 28441 27575 0 -1 4202496 13074 1410 1 0 59 19 5 2 19 0 3 0 850200916 314314752 8019 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28441/statm: 76737 8019 1874 364 0 11621 0
[pid=28448] ppid=28441 vsize=296088 CPUtime=0.24 cores=1,3,5,7
/proc/28448/stat : 28448 (python) S 28441 28441 27575 0 -1 4202560 1098 0 0 0 11 13 0 0 17 0 2 0 850201021 303194112 6431 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28448/statm: 74022 6431 415 364 0 8909 0
[pid=28450] ppid=28448 vsize=101516 CPUtime=49.13 cores=1,3,5,7
/proc/28450/stat : 28450 (scip-2.0.1.linu) T 28448 28450 28450 0 -1 4202496 34833 0 0 0 4830 83 0 0 18 0 1 0 850201021 103952384 22834 33554432000 4194304 13684479 140737128776192 18446744073709551615 11065488 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/28450/statm: 25379 22834 783 2317 0 23057 0
[pid=28448/tid=28512] ppid=28441 vsize=296088 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28512/stat : 28512 (python) S 28441 28441 27575 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 850205936 303194112 6431 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738228657 0 0 16781312 33554946 18446604469218824512 0 0 -1 7 0 0 0
[pid=28513] ppid=28441 vsize=296704 CPUtime=0 cores=1,3,5,7
/proc/28513/stat : 28513 (python) S 28441 28441 27575 0 -1 4202560 759 0 0 0 0 0 0 0 15 0 1 0 850205938 303824896 6461 33554432000 4194304 5683644 140735110699200 18446744073709551615 264726425158 0 0 16781312 33554946 4294934792 0 0 17 5 0 0 0
/proc/28513/statm: 74176 6461 320 364 0 9060 0
[pid=28515] ppid=28513 vsize=8549040 CPUtime=1.82 cores=1,3,5,7
/proc/28515/stat : 28515 (java) S 28513 28515 28515 0 -1 4202496 26993 0 1 0 178 4 0 0 20 0 19 0 850205938 8754216960 23607 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28515/statm: 2137260 23607 2232 9 0 2128001 0
[pid=28515/tid=28516] ppid=28513 vsize=8549040 CPUtime=0.81 cores=1,3,5,7
/proc/28515/task/28516/stat : 28516 (java) R 28513 28515 28515 0 -1 4202560 15753 0 1 0 79 2 0 0 19 0 19 0 850205939 8754216960 23609 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 46912505614961 0 4 0 16800975 0 0 0 -1 1 0 0 4
[pid=28515/tid=28517] ppid=28513 vsize=8549040 CPUtime=0 cores=1,3,5,7
/proc/28515/task/28517/stat : 28517 (java) S 28513 28515 28515 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850205940 8754216960 23611 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446604464735291392 0 0 -1 1 0 0 0
[pid=28515/tid=28518] ppid=28513 vsize=8549040 CPUtime=0 cores=1,3,5,7
/proc/28515/task/28518/stat : 28518 (java) S 28513 28515 28515 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850205940 8754216960 23613 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446604464735291392 0 0 -1 1 0 0 0
[pid=28515/tid=28519] ppid=28513 vsize=8549040 CPUtime=0 cores=1,3,5,7
/proc/28515/task/28519/stat : 28519 (java) S 28513 28515 28515 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850205940 8754216960 23614 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446604464735291392 0 0 -1 1 0 0 0
[pid=28515/tid=28520] ppid=28513 vsize=8549040 CPUtime=0 cores=1,3,5,7
/proc/28515/task/28520/stat : 28520 (java) S 28513 28515 28515 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850205940 8754216960 23614 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446604464735291392 0 0 -1 3 0 0 0
[pid=28515/tid=28521] ppid=28513 vsize=8549040 CPUtime=0 cores=1,3,5,7
/proc/28515/task/28521/stat : 28521 (java) S 28513 28515 28515 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850205940 8754216960 23615 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446604464735291392 0 0 -1 3 0 0 0
[pid=28515/tid=28522] ppid=28513 vsize=8549040 CPUtime=0 cores=1,3,5,7
/proc/28515/task/28522/stat : 28522 (java) S 28513 28515 28515 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850205940 8754216960 23616 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446604464735291392 0 0 -1 3 0 0 0
[pid=28515/tid=28523] ppid=28513 vsize=8549040 CPUtime=0 cores=1,3,5,7
/proc/28515/task/28523/stat : 28523 (java) S 28513 28515 28515 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850205940 8754216960 23616 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446604464735291392 0 0 -1 3 0 0 0
[pid=28515/tid=28524] ppid=28513 vsize=8549040 CPUtime=0 cores=1,3,5,7
/proc/28515/task/28524/stat : 28524 (java) S 28513 28515 28515 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850205940 8754216960 23616 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446604464735291392 0 0 -1 3 0 0 0
[pid=28515/tid=28525] ppid=28513 vsize=8549040 CPUtime=0 cores=1,3,5,7
/proc/28515/task/28525/stat : 28525 (java) S 28513 28515 28515 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 850205941 8754216960 23617 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738221568 0 0 0 16800975 18446604464735291392 0 0 -1 1 0 0 0
[pid=28515/tid=28526] ppid=28513 vsize=8549040 CPUtime=0 cores=1,3,5,7
/proc/28515/task/28526/stat : 28526 (java) S 28513 28515 28515 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850205941 8754216960 23620 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446604464735291392 0 0 -1 1 0 0 0
[pid=28515/tid=28527] ppid=28513 vsize=8549040 CPUtime=0 cores=1,3,5,7
/proc/28515/task/28527/stat : 28527 (java) S 28513 28515 28515 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850205941 8754216960 23622 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446604464735291392 0 0 -1 1 0 0 0
[pid=28515/tid=28528] ppid=28513 vsize=8549040 CPUtime=0 cores=1,3,5,7
/proc/28515/task/28528/stat : 28528 (java) S 28513 28515 28515 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850205944 8754216960 23625 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738228657 0 4 0 16800975 18446604464735291392 0 0 -1 1 0 0 0
[pid=28515/tid=28529] ppid=28513 vsize=8549040 CPUtime=0.52 cores=1,3,5,7
/proc/28515/task/28529/stat : 28529 (java) S 28513 28515 28515 0 -1 4202560 5584 0 0 0 51 1 0 0 25 0 19 0 850205944 8754216960 23627 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446604464735291392 0 0 -1 5 0 0 0
[pid=28515/tid=28530] ppid=28513 vsize=8549040 CPUtime=0.47 cores=1,3,5,7
/proc/28515/task/28530/stat : 28530 (java) S 28513 28515 28515 0 -1 4202560 4256 0 0 0 47 0 0 0 15 0 19 0 850205944 8754216960 23627 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446604464735291392 0 0 -1 3 0 0 0
[pid=28515/tid=28531] ppid=28513 vsize=8549040 CPUtime=0 cores=1,3,5,7
/proc/28515/task/28531/stat : 28531 (java) S 28513 28515 28515 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850205944 8754216960 23629 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446604464735291392 0 0 -1 1 0 0 0
[pid=28515/tid=28532] ppid=28513 vsize=8549040 CPUtime=0 cores=1,3,5,7
/proc/28515/task/28532/stat : 28532 (java) S 28513 28515 28515 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 850205944 8754216960 23632 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738221568 0 4 0 16800975 18446604464735291392 0 0 -1 5 0 0 0
[pid=28515/tid=28533] ppid=28513 vsize=8549040 CPUtime=0 cores=1,3,5,7
/proc/28515/task/28533/stat : 28533 (java) S 28513 28515 28515 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850205992 8754216960 23634 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738221568 0 4 0 16800975 18446604464735291392 0 0 -1 5 0 0 0
[pid=28441/tid=28449] ppid=28439 vsize=306948 CPUtime=0.07 cores=1,3,5,7
/proc/28441/task/28449/stat : 28449 (python) S 28439 28441 27575 0 -1 4202560 26 1410 0 0 0 0 5 2 18 0 3 0 850201021 314314752 8019 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738228657 0 0 16781312 33554434 18446604464735289600 0 0 -1 5 0 0 0
[pid=28441/tid=28514] ppid=28439 vsize=306948 CPUtime=0.07 cores=1,3,5,7
################
# More data... #
################
[pid=28575/tid=28589] ppid=28573 vsize=8548776 CPUtime=0.58 cores=1,3,5,7
/proc/28575/task/28589/stat : 28589 (java) S 28573 28575 28575 0 -1 4202560 4797 0 0 0 58 0 0 0 16 0 19 0 850220651 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152000 0 0 -1 5 0 0 0
[pid=28575/tid=28590] ppid=28573 vsize=8548776 CPUtime=0.53 cores=1,3,5,7
/proc/28575/task/28590/stat : 28590 (java) S 28573 28575 28575 0 -1 4202560 5664 0 0 0 53 0 0 0 25 0 19 0 850220651 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152000 0 0 -1 3 0 0 0
[pid=28575/tid=28591] ppid=28573 vsize=8548776 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28591/stat : 28591 (java) S 28573 28575 28575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850220651 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152000 0 0 -1 3 0 0 0
[pid=28575/tid=28592] ppid=28573 vsize=8548776 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28592/stat : 28592 (java) S 28573 28575 28575 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 850220651 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738221568 0 4 0 16800975 18446604470609152000 0 0 -1 3 0 0 0
[pid=28575/tid=28593] ppid=28573 vsize=8548776 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28593/stat : 28593 (java) S 28573 28575 28575 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850220697 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738221568 0 4 0 16800975 18446604470609152000 0 0 -1 7 0 0 0
[pid=28441/tid=28449] ppid=28439 vsize=337716 CPUtime=0.07 cores=1,3,5,7
/proc/28441/task/28449/stat : 28449 (python) S 28439 28441 27575 0 -1 4202560 26 1410 0 0 0 0 5 2 18 0 6 0 850201021 345821184 8037 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738228657 0 0 16781312 33554434 18446604464735289600 0 0 -1 5 0 0 0
[pid=28441/tid=28514] ppid=28439 vsize=337716 CPUtime=0.07 cores=1,3,5,7
/proc/28441/task/28514/stat : 28514 (python) S 28439 28441 27575 0 -1 4202560 32 1410 0 0 0 0 5 2 20 0 6 0 850205938 345821184 8037 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738228657 0 0 16781312 33554434 18446604464735289600 0 0 -1 3 0 0 0
[pid=28441/tid=28559] ppid=28439 vsize=337716 CPUtime=0.07 cores=1,3,5,7
/proc/28441/task/28559/stat : 28559 (python) S 28439 28441 27575 0 -1 4202560 28 1410 0 0 0 0 5 2 20 0 6 0 850210726 345821184 8037 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738228657 0 0 16781312 33554434 18446604464735289600 0 0 -1 1 0 0 0
[pid=28441/tid=28568] ppid=28439 vsize=337716 CPUtime=0.07 cores=1,3,5,7
/proc/28441/task/28568/stat : 28568 (python) S 28439 28441 27575 0 -1 4202560 30 1410 0 0 0 0 5 2 20 0 6 0 850215642 345821184 8037 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738228657 0 0 16781312 33554434 18446604464735289600 0 0 -1 3 0 0 0
[pid=28441/tid=28574] ppid=28439 vsize=337716 CPUtime=0.07 cores=1,3,5,7
/proc/28441/task/28574/stat : 28574 (python) S 28439 28441 27575 0 -1 4202560 29 1410 0 0 0 0 5 2 20 0 6 0 850220645 345821184 8037 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738228657 0 0 16781312 33554434 18446604464735289600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 201.7
Current children cumulated vsize (KiB) 19288292
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+198.301 s]
/proc/loadavg: 2.47 2.17 1.73 4/756 28593
/proc/meminfo: memFree=16394744/32951124 swapFree=62998992/67111528
[pid=28441] ppid=28439 vsize=337716 CPUtime=0.93 cores=1,3,5,7
/proc/28441/stat : 28441 (python) S 28439 28441 27575 0 -1 4202496 15980 1410 1 0 66 20 5 2 19 0 6 0 850200916 345821184 8037 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/28441/statm: 84429 8037 1880 364 0 19304 0
[pid=28448] ppid=28441 vsize=296088 CPUtime=0.24 cores=1,3,5,7
/proc/28448/stat : 28448 (python) S 28441 28441 27575 0 -1 4202560 1098 0 0 0 11 13 0 0 17 0 2 0 850201021 303194112 6431 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28448/statm: 74022 6431 415 364 0 8909 0
[pid=28450] ppid=28448 vsize=101516 CPUtime=49.13 cores=1,3,5,7
/proc/28450/stat : 28450 (scip-2.0.1.linu) T 28448 28450 28450 0 -1 4202496 34833 0 0 0 4830 83 0 0 18 0 1 0 850201021 103952384 22834 33554432000 4194304 13684479 140737128776192 18446744073709551615 11065488 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/28450/statm: 25379 22834 783 2317 0 23057 0
[pid=28448/tid=28512] ppid=28441 vsize=296088 CPUtime=0 cores=1,3,5,7
/proc/28448/task/28512/stat : 28512 (python) S 28441 28441 27575 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 850205936 303194112 6431 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738228657 0 0 16781312 33554946 18446604469218824512 0 0 -1 7 0 0 0
[pid=28513] ppid=28441 vsize=296704 CPUtime=0.25 cores=1,3,5,7
/proc/28513/stat : 28513 (python) S 28441 28441 27575 0 -1 4202560 1185 0 0 0 11 14 0 0 16 0 2 0 850205938 303824896 6539 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28513/statm: 74176 6539 397 364 0 9060 0
[pid=28515] ppid=28513 vsize=8549040 CPUtime=49.39 cores=1,3,5,7
/proc/28515/stat : 28515 (java) T 28513 28515 28515 0 -1 4202496 155999 0 1 0 4919 20 0 0 18 0 19 0 850205938 8754216960 112131 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28515/statm: 2137260 112131 2261 9 0 2128001 0
[pid=28515/tid=28516] ppid=28513 vsize=8549040 CPUtime=46.99 cores=1,3,5,7
/proc/28515/task/28516/stat : 28516 (java) T 28513 28515 28515 0 -1 4202560 125156 0 1 0 4685 14 0 0 25 0 19 0 850205939 8754216960 112131 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 4
[pid=28515/tid=28517] ppid=28513 vsize=8549040 CPUtime=0.1 cores=1,3,5,7
/proc/28515/task/28517/stat : 28517 (java) T 28513 28515 28515 0 -1 4202560 1859 0 0 0 10 0 0 0 16 0 19 0 850205940 8754216960 112131 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28515/tid=28518] ppid=28513 vsize=8549040 CPUtime=0.07 cores=1,3,5,7
/proc/28515/task/28518/stat : 28518 (java) T 28513 28515 28515 0 -1 4202560 1681 0 0 0 7 0 0 0 16 0 19 0 850205940 8754216960 112131 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28515/tid=28519] ppid=28513 vsize=8549040 CPUtime=0.07 cores=1,3,5,7
/proc/28515/task/28519/stat : 28519 (java) T 28513 28515 28515 0 -1 4202560 1693 0 0 0 7 0 0 0 16 0 19 0 850205940 8754216960 112131 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28515/tid=28520] ppid=28513 vsize=8549040 CPUtime=0.07 cores=1,3,5,7
/proc/28515/task/28520/stat : 28520 (java) T 28513 28515 28515 0 -1 4202560 3004 0 0 0 7 0 0 0 16 0 19 0 850205940 8754216960 112131 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28515/tid=28521] ppid=28513 vsize=8549040 CPUtime=0.06 cores=1,3,5,7
/proc/28515/task/28521/stat : 28521 (java) T 28513 28515 28515 0 -1 4202560 1391 0 0 0 6 0 0 0 15 0 19 0 850205940 8754216960 112131 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28515/tid=28522] ppid=28513 vsize=8549040 CPUtime=0.06 cores=1,3,5,7
/proc/28515/task/28522/stat : 28522 (java) T 28513 28515 28515 0 -1 4202560 2675 0 0 0 6 0 0 0 15 0 19 0 850205940 8754216960 112131 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28515/tid=28523] ppid=28513 vsize=8549040 CPUtime=0.06 cores=1,3,5,7
/proc/28515/task/28523/stat : 28523 (java) T 28513 28515 28515 0 -1 4202560 2048 0 0 0 6 0 0 0 15 0 19 0 850205940 8754216960 112131 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28515/tid=28524] ppid=28513 vsize=8549040 CPUtime=0.08 cores=1,3,5,7
/proc/28515/task/28524/stat : 28524 (java) T 28513 28515 28515 0 -1 4202560 1732 0 0 0 8 0 0 0 15 0 19 0 850205940 8754216960 112131 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264726358327 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28515/tid=28525] ppid=28513 vsize=8549040 CPUtime=0.5 cores=1,3,5,7
/proc/28515/task/28525/stat : 28525 (java) T 28513 28515 28515 0 -1 4202560 3486 0 0 0 49 1 0 0 15 0 19 0 850205941 8754216960 112131 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28515/tid=28526] ppid=28513 vsize=8549040 CPUtime=0 cores=1,3,5,7
/proc/28515/task/28526/stat : 28526 (java) T 28513 28515 28515 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850205941 8754216960 112131 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28515/tid=28527] ppid=28513 vsize=8549040 CPUtime=0 cores=1,3,5,7
/proc/28515/task/28527/stat : 28527 (java) T 28513 28515 28515 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850205941 8754216960 112131 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28515/tid=28528] ppid=28513 vsize=8549040 CPUtime=0 cores=1,3,5,7
/proc/28515/task/28528/stat : 28528 (java) T 28513 28515 28515 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850205944 8754216960 112131 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738228657 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28515/tid=28529] ppid=28513 vsize=8549040 CPUtime=0.67 cores=1,3,5,7
/proc/28515/task/28529/stat : 28529 (java) T 28513 28515 28515 0 -1 4202560 5614 0 0 0 66 1 0 0 15 0 19 0 850205944 8754216960 112131 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=28515/tid=28530] ppid=28513 vsize=8549040 CPUtime=0.56 cores=1,3,5,7
/proc/28515/task/28530/stat : 28530 (java) T 28513 28515 28515 0 -1 4202560 4263 0 0 0 56 0 0 0 15 0 19 0 850205944 8754216960 112131 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28515/tid=28531] ppid=28513 vsize=8549040 CPUtime=0 cores=1,3,5,7
/proc/28515/task/28531/stat : 28531 (java) T 28513 28515 28515 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850205944 8754216960 112131 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28515/tid=28532] ppid=28513 vsize=8549040 CPUtime=0 cores=1,3,5,7
/proc/28515/task/28532/stat : 28532 (java) T 28513 28515 28515 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 850205944 8754216960 112131 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738221568 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28515/tid=28533] ppid=28513 vsize=8549040 CPUtime=0 cores=1,3,5,7
/proc/28515/task/28533/stat : 28533 (java) T 28513 28515 28515 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850205992 8754216960 112131 33554432000 1073741824 1073778376 140734492017808 18446744073709551615 264738221568 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28513/tid=28557] ppid=28441 vsize=296704 CPUtime=0 cores=1,3,5,7
/proc/28513/task/28557/stat : 28557 (python) S 28441 28441 27575 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850210723 303824896 6539 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738228657 0 0 16781312 33554946 18446604468396541056 0 0 -1 7 0 0 0
[pid=28558] ppid=28441 vsize=306960 CPUtime=0.25 cores=1,3,5,7
/proc/28558/stat : 28558 (python) S 28441 28441 27575 0 -1 4202560 1185 0 0 0 11 14 0 0 16 0 2 0 850210726 314327040 6543 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28558/statm: 76740 6543 397 364 0 11621 0
[pid=28560] ppid=28558 vsize=112080 CPUtime=49.12 cores=1,3,5,7
/proc/28560/stat : 28560 (scip-2.0.1.linu) T 28558 28560 28560 0 -1 4202496 42639 0 0 0 4865 47 0 0 25 0 1 0 850210726 114769920 22672 33554432000 4194304 15243407 140733497609088 18446744073709551615 8144919 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/28560/statm: 28020 22672 891 2698 0 25315 0
[pid=28558/tid=28566] ppid=28441 vsize=306960 CPUtime=0 cores=1,3,5,7
/proc/28558/task/28566/stat : 28566 (python) S 28441 28441 27575 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 850215639 314327040 6543 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738228657 0 0 16781312 33554946 18446604469218827200 0 0 -1 7 0 0 0
[pid=28567] ppid=28441 vsize=317216 CPUtime=0.25 cores=1,3,5,7
/proc/28567/stat : 28567 (python) S 28441 28441 27575 0 -1 4202560 1147 0 0 0 12 13 0 0 16 0 2 0 850215641 324829184 6541 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28567/statm: 79304 6541 391 364 0 14182 0
[pid=28569] ppid=28567 vsize=94724 CPUtime=50 cores=1,3,5,7
/proc/28569/stat : 28569 (wbo1.4a) T 28567 28569 28569 0 -1 4202496 23898 0 0 0 4969 31 0 0 25 0 1 0 850215642 96997376 23234 33554432000 134512640 135751879 4290018528 18446744073709551615 134611160 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/28569/statm: 23681 23234 146 303 0 23376 0
[pid=28567/tid=28572] ppid=28441 vsize=317216 CPUtime=0 cores=1,3,5,7
/proc/28567/task/28572/stat : 28572 (python) S 28441 28441 27575 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 850220643 324829184 6541 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738228657 0 0 16781312 33554946 18446604454258721024 0 0 -1 7 0 0 0
[pid=28573] ppid=28441 vsize=327472 CPUtime=0 cores=1,3,5,7
/proc/28573/stat : 28573 (python) S 28441 28441 27575 0 -1 4202560 775 0 0 0 0 0 0 0 15 0 1 0 850220645 335331328 6473 33554432000 4194304 5683644 140735110699200 18446744073709551615 264726425158 0 0 16781312 33554946 4294934791 0 0 17 3 0 0 0
/proc/28573/statm: 81868 6473 320 364 0 16743 0
[pid=28575] ppid=28573 vsize=8548776 CPUtime=2.14 cores=1,3,5,7
/proc/28575/stat : 28575 (java) S 28573 28575 28575 0 -1 4202496 44815 0 1 0 210 4 0 0 19 0 19 0 850220646 8753946624 40497 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28575/statm: 2137194 40498 2230 9 0 2127935 0
[pid=28575/tid=28576] ppid=28573 vsize=8548776 CPUtime=1.01 cores=1,3,5,7
/proc/28575/task/28576/stat : 28576 (java) R 28573 28575 28575 0 -1 4202560 32955 0 1 0 98 3 0 0 18 0 19 0 850220647 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 46912505901666 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28575/tid=28577] ppid=28573 vsize=8548776 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28577/stat : 28577 (java) S 28573 28575 28575 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850220647 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152000 0 0 -1 7 0 0 0
[pid=28575/tid=28578] ppid=28573 vsize=8548776 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28578/stat : 28578 (java) S 28573 28575 28575 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850220647 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152000 0 0 -1 7 0 0 0
[pid=28575/tid=28579] ppid=28573 vsize=8548776 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28579/stat : 28579 (java) S 28573 28575 28575 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850220647 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152000 0 0 -1 7 0 0 0
[pid=28575/tid=28580] ppid=28573 vsize=8548776 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28580/stat : 28580 (java) S 28573 28575 28575 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850220647 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152000 0 0 -1 7 0 0 0
[pid=28575/tid=28581] ppid=28573 vsize=8548776 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28581/stat : 28581 (java) S 28573 28575 28575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850220647 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152000 0 0 -1 3 0 0 0
[pid=28575/tid=28582] ppid=28573 vsize=8548776 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28582/stat : 28582 (java) S 28573 28575 28575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850220647 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152000 0 0 -1 3 0 0 0
[pid=28575/tid=28583] ppid=28573 vsize=8548776 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28583/stat : 28583 (java) S 28573 28575 28575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850220647 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152000 0 0 -1 3 0 0 0
[pid=28575/tid=28584] ppid=28573 vsize=8548776 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28584/stat : 28584 (java) S 28573 28575 28575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850220647 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152000 0 0 -1 3 0 0 0
[pid=28575/tid=28585] ppid=28573 vsize=8548776 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28585/stat : 28585 (java) S 28573 28575 28575 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 850220649 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738221568 0 0 0 16800975 18446604470609152000 0 0 -1 3 0 0 0
[pid=28575/tid=28586] ppid=28573 vsize=8548776 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28586/stat : 28586 (java) S 28573 28575 28575 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850220649 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152000 0 0 -1 3 0 0 0
[pid=28575/tid=28587] ppid=28573 vsize=8548776 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28587/stat : 28587 (java) S 28573 28575 28575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850220649 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152000 0 0 -1 3 0 0 0
[pid=28575/tid=28588] ppid=28573 vsize=8548776 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28588/stat : 28588 (java) S 28573 28575 28575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850220651 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738228657 0 4 0 16800975 18446604470609152000 0 0 -1 3 0 0 0
[pid=28575/tid=28589] ppid=28573 vsize=8548776 CPUtime=0.58 cores=1,3,5,7
/proc/28575/task/28589/stat : 28589 (java) S 28573 28575 28575 0 -1 4202560 4797 0 0 0 58 0 0 0 16 0 19 0 850220651 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152000 0 0 -1 5 0 0 0
[pid=28575/tid=28590] ppid=28573 vsize=8548776 CPUtime=0.53 cores=1,3,5,7
/proc/28575/task/28590/stat : 28590 (java) S 28573 28575 28575 0 -1 4202560 5664 0 0 0 53 0 0 0 25 0 19 0 850220651 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152000 0 0 -1 3 0 0 0
[pid=28575/tid=28591] ppid=28573 vsize=8548776 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28591/stat : 28591 (java) S 28573 28575 28575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850220651 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738220953 0 4 0 16800975 18446604470609152000 0 0 -1 3 0 0 0
[pid=28575/tid=28592] ppid=28573 vsize=8548776 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28592/stat : 28592 (java) S 28573 28575 28575 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 850220651 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738221568 0 4 0 16800975 18446604470609152000 0 0 -1 3 0 0 0
[pid=28575/tid=28593] ppid=28573 vsize=8548776 CPUtime=0 cores=1,3,5,7
/proc/28575/task/28593/stat : 28593 (java) S 28573 28575 28575 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850220697 8753946624 40499 33554432000 1073741824 1073778376 140734540494800 18446744073709551615 264738221568 0 4 0 16800975 18446604470609152000 0 0 -1 7 0 0 0
[pid=28441/tid=28449] ppid=28439 vsize=337716 CPUtime=0.07 cores=1,3,5,7
/proc/28441/task/28449/stat : 28449 (python) S 28439 28441 27575 0 -1 4202560 26 1410 0 0 0 0 5 2 18 0 6 0 850201021 345821184 8037 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738228657 0 0 16781312 33554434 18446604464735289600 0 0 -1 5 0 0 0
[pid=28441/tid=28514] ppid=28439 vsize=337716 CPUtime=0.07 cores=1,3,5,7
/proc/28441/task/28514/stat : 28514 (python) S 28439 28441 27575 0 -1 4202560 32 1410 0 0 0 0 5 2 20 0 6 0 850205938 345821184 8037 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738228657 0 0 16781312 33554434 18446604464735289600 0 0 -1 3 0 0 0
[pid=28441/tid=28559] ppid=28439 vsize=337716 CPUtime=0.07 cores=1,3,5,7
/proc/28441/task/28559/stat : 28559 (python) S 28439 28441 27575 0 -1 4202560 28 1410 0 0 0 0 5 2 20 0 6 0 850210726 345821184 8037 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738228657 0 0 16781312 33554434 18446604464735289600 0 0 -1 1 0 0 0
[pid=28441/tid=28568] ppid=28439 vsize=337716 CPUtime=0.07 cores=1,3,5,7
/proc/28441/task/28568/stat : 28568 (python) S 28439 28441 27575 0 -1 4202560 30 1410 0 0 0 0 5 2 20 0 6 0 850215642 345821184 8037 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738228657 0 0 16781312 33554434 18446604464735289600 0 0 -1 3 0 0 0
[pid=28441/tid=28574] ppid=28439 vsize=337716 CPUtime=0.07 cores=1,3,5,7
/proc/28441/task/28574/stat : 28574 (python) S 28439 28441 27575 0 -1 4202560 29 1410 0 0 0 0 5 2 20 0 6 0 850220645 345821184 8037 33554432000 4194304 5683644 140735110699200 18446744073709551615 264738228657 0 0 16781312 33554434 18446604464735289600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 201.7
Current children cumulated vsize (KiB) 19288292
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28441 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=724889
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=228965
# CPU time returned by wait4() is 0.953854
# while last known CPU time is 201.7
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 198.387
CPU time (s): 201.7
CPU user time (s): 199.09
CPU system time (s): 2.61
CPU usage (%): 101.67
Max. virtual memory (cumulated for all children) (KiB): 19288292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.724889
system time used= 0.228965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17393
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= 7760
involuntary context switches= 20
runsolver used 1.2988 second user time and 2.72159 second system time
The end