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-3481631-1307577634/watcher-3481631-1307577634 -o /tmp/evaluation-result-3481631-1307577634/solver-3481631-1307577634 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481631-1307577634.opb -seed 1689161447 -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.14 2.02 1.47 2/591 1713
/proc/meminfo: memFree=23562296/32951124 swapFree=36471928/67111528
[pid=1713] ppid=1711 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/1713/stat : 1713 (python) R 1711 1713 32706 0 -1 4202496 858 0 0 0 0 0 0 0 21 0 1 0 869363960 16154624 739 33554432000 4194304 5683644 140736785228496 18446744073709551615 5002908 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1713/statm: 3944 741 335 364 0 431 0
[startup+0.074519 s]
/proc/loadavg: 2.14 2.02 1.47 2/591 1713
/proc/meminfo: memFree=23562296/32951124 swapFree=36471928/67111528
[pid=1713] ppid=1711 vsize=54640 CPUtime=0.04 cores=1,3,5,7
/proc/1713/stat : 1713 (python) R 1711 1713 32706 0 -1 4202496 2078 0 0 0 3 1 0 0 17 0 1 0 869363960 55951360 1834 33554432000 4194304 5683644 140736785228496 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1713/statm: 13660 1837 492 364 0 1310 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 54640
[startup+0.105581 s]
/proc/loadavg: 2.14 2.02 1.47 2/591 1713
/proc/meminfo: memFree=23562296/32951124 swapFree=36471928/67111528
[pid=1713] ppid=1711 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/1713/stat : 1713 (python) R 1711 1713 32706 0 -1 4202496 3170 930 1 0 5 2 0 0 18 0 1 0 869363960 98435072 2484 33554432000 4194304 5683644 140736785228496 18446744073709551615 5172176 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1713/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300486 s]
/proc/loadavg: 2.14 2.02 1.47 2/591 1713
/proc/meminfo: memFree=23562296/32951124 swapFree=36471928/67111528
[pid=1713] ppid=1711 vsize=182076 CPUtime=0.23 cores=1,3,5,7
/proc/1713/stat : 1713 (python) R 1711 1713 32706 0 -1 4202496 6280 930 1 0 17 6 0 0 17 0 1 0 869363960 186445824 4585 33554432000 4194304 5683644 140736785228496 18446744073709551615 230804242055 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/1713/statm: 46061 4588 1248 364 0 3567 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 182076
[startup+0.700427 s]
/proc/loadavg: 2.14 2.02 1.47 2/591 1713
/proc/meminfo: memFree=23562296/32951124 swapFree=36471928/67111528
[pid=1713] ppid=1711 vsize=293832 CPUtime=0.57 cores=1,3,5,7
/proc/1713/stat : 1713 (python) R 1711 1713 32706 0 -1 4202496 11817 930 1 0 49 8 0 0 17 0 1 0 869363960 300883968 9679 33554432000 4194304 5683644 140736785228496 18446744073709551615 230808826565 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/1713/statm: 73458 9679 1781 364 0 8351 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 293832
[startup+1.50027 s]
/proc/loadavg: 2.14 2.02 1.47 3/592 1718
/proc/meminfo: memFree=23519880/32951124 swapFree=36471928/67111528
[pid=1713] ppid=1711 vsize=309228 CPUtime=1.38 cores=1,3,5,7
/proc/1713/stat : 1713 (python) R 1711 1713 32706 0 -1 4202496 20404 930 1 0 129 9 0 0 18 0 1 0 869363960 316649472 13599 33554432000 4194304 5683644 140736785228496 18446744073709551615 4643440 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/1713/statm: 77307 13599 1815 364 0 12200 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 309228
[startup+3.10094 s]
/proc/loadavg: 2.14 2.02 1.47 3/592 1718
/proc/meminfo: memFree=23513804/32951124 swapFree=36471928/67111528
[pid=1713] ppid=1711 vsize=322392 CPUtime=2.31 cores=1,3,5,7
/proc/1713/stat : 1713 (python) S 1711 1713 32706 0 -1 4202496 21446 930 1 0 222 9 0 0 22 0 2 0 869363960 330129408 14410 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/1713/statm: 80598 14410 1870 364 0 15485 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 322392
heavy processes:
[startup+6.3004 s]
/proc/loadavg: 2.13 2.02 1.47 3/595 1721
/proc/meminfo: memFree=23188196/32951124 swapFree=36471928/67111528
[pid=1713] ppid=1711 vsize=322392 CPUtime=2.31 cores=1,3,5,7
/proc/1713/stat : 1713 (python) S 1711 1713 32706 0 -1 4202496 21446 930 1 0 222 9 0 0 22 0 2 0 869363960 330129408 14410 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/1713/statm: 80598 14410 1870 364 0 15485 0
[pid=1719] ppid=1713 vsize=312148 CPUtime=0 cores=1,3,5,7
/proc/1719/stat : 1719 (python) S 1713 1713 32706 0 -1 4202560 864 0 0 0 0 0 0 0 15 0 1 0 869364204 319639552 12894 33554432000 4194304 5683644 140736785228496 18446744073709551615 230809185807 0 0 16781312 33554946 4150574425403555840 0 0 17 5 0 0 0
/proc/1719/statm: 78037 12894 357 364 0 12924 0
[pid=1721] ppid=1719 vsize=361876 CPUtime=3.85 cores=1,3,5,7
/proc/1721/stat : 1721 (scip-2.0.1.linu) R 1719 1721 1721 0 -1 4202496 86133 0 0 0 336 49 0 0 25 0 1 0 869364204 370561024 81832 33554432000 4194304 13684479 140735802476048 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1721/statm: 90469 81832 1041 2317 0 88147 0
[pid=1713/tid=1720] ppid=1711 vsize=322392 CPUtime=0 cores=1,3,5,7
/proc/1713/task/1720/stat : 1720 (python) S 1711 1713 32706 0 -1 4202560 28 930 0 0 0 0 0 0 22 0 2 0 869364204 330129408 14410 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458052463424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 996416
[startup+12.7002 s]
/proc/loadavg: 2.12 2.02 1.47 3/589 1725
/proc/meminfo: memFree=23650424/32951124 swapFree=36471928/67111528
[pid=1713] ppid=1711 vsize=322392 CPUtime=2.31 cores=1,3,5,7
/proc/1713/stat : 1713 (python) S 1711 1713 32706 0 -1 4202496 21446 930 1 0 222 9 0 0 22 0 2 0 869363960 330129408 14410 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/1713/statm: 80598 14410 1870 364 0 15485 0
[pid=1719] ppid=1713 vsize=312148 CPUtime=0.03 cores=1,3,5,7
/proc/1719/stat : 1719 (python) S 1713 1713 32706 0 -1 4202560 996 0 0 0 2 1 0 0 15 0 1 0 869364204 319639552 12920 33554432000 4194304 5683644 140736785228496 18446744073709551615 230809185807 0 0 16781312 33554946 5623606151888251638 0 0 17 5 0 0 0
/proc/1719/statm: 78037 12920 380 364 0 12924 0
[pid=1721] ppid=1719 vsize=376664 CPUtime=10.25 cores=1,3,5,7
/proc/1721/stat : 1721 (scip-2.0.1.linu) R 1719 1721 1721 0 -1 4202496 91996 0 0 0 967 58 0 0 25 0 1 0 869364204 385703936 87446 33554432000 4194304 13684479 140735802476048 18446744073709551615 7095964 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1721/statm: 94166 87446 1071 2317 0 91844 0
[pid=1713/tid=1720] ppid=1711 vsize=322392 CPUtime=0 cores=1,3,5,7
/proc/1713/task/1720/stat : 1720 (python) S 1711 1713 32706 0 -1 4202560 28 930 0 0 0 0 0 0 22 0 2 0 869364204 330129408 14410 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458052463424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 1011204
[startup+25.5009 s]
/proc/loadavg: 2.09 2.02 1.48 3/595 1756
/proc/meminfo: memFree=23567148/32951124 swapFree=36471928/67111528
[pid=1713] ppid=1711 vsize=322392 CPUtime=2.31 cores=1,3,5,7
/proc/1713/stat : 1713 (python) S 1711 1713 32706 0 -1 4202496 21446 930 1 0 222 9 0 0 22 0 2 0 869363960 330129408 14410 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/1713/statm: 80598 14410 1870 364 0 15485 0
[pid=1719] ppid=1713 vsize=312148 CPUtime=0.06 cores=1,3,5,7
/proc/1719/stat : 1719 (python) S 1713 1713 32706 0 -1 4202560 1000 0 0 0 3 3 0 0 15 0 1 0 869364204 319639552 12920 33554432000 4194304 5683644 140736785228496 18446744073709551615 230809185807 0 0 16781312 33554946 5623606151888251638 0 0 17 5 0 0 0
/proc/1719/statm: 78037 12920 380 364 0 12924 0
[pid=1721] ppid=1719 vsize=376664 CPUtime=23.04 cores=1,3,5,7
/proc/1721/stat : 1721 (scip-2.0.1.linu) R 1719 1721 1721 0 -1 4202496 91996 0 0 0 2238 66 0 0 25 0 1 0 869364204 385703936 87446 33554432000 4194304 13684479 140735802476048 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/1721/statm: 94166 87446 1071 2317 0 91844 0
[pid=1713/tid=1720] ppid=1711 vsize=322392 CPUtime=0 cores=1,3,5,7
/proc/1713/task/1720/stat : 1720 (python) S 1711 1713 32706 0 -1 4202560 28 930 0 0 0 0 0 0 22 0 2 0 869364204 330129408 14410 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458052463424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 1011204
[startup+51.1012 s]
/proc/loadavg: 2.06 2.02 1.49 5/616 1787
/proc/meminfo: memFree=23429368/32951124 swapFree=36471928/67111528
[pid=1713] ppid=1711 vsize=332648 CPUtime=2.34 cores=1,3,5,7
/proc/1713/stat : 1713 (python) S 1711 1713 32706 0 -1 4202496 22359 930 1 0 224 10 0 0 20 0 3 0 869363960 340631552 14419 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/1713/statm: 83162 14419 1873 364 0 18046 0
[pid=1719] ppid=1713 vsize=322392 CPUtime=0.16 cores=1,3,5,7
/proc/1719/stat : 1719 (python) S 1713 1713 32706 0 -1 4202560 1143 0 0 0 9 7 0 0 16 0 2 0 869364204 330129408 12956 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/1719/statm: 80598 12956 411 364 0 15485 0
[pid=1721] ppid=1719 vsize=468476 CPUtime=47.94 cores=1,3,5,7
/proc/1721/stat : 1721 (scip-2.0.1.linu) T 1719 1721 1721 0 -1 4202496 118181 0 0 0 4701 93 0 0 25 0 1 0 869364204 479719424 113427 33554432000 4194304 13684479 140735802476048 18446744073709551615 4965412 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/1721/statm: 117119 113427 963 2317 0 114797 0
[pid=1719/tid=1767] ppid=1713 vsize=322392 CPUtime=0 cores=1,3,5,7
/proc/1719/task/1767/stat : 1767 (python) S 1713 1713 32706 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 869369000 330129408 12956 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820989361 0 0 16781312 33554946 18446604464593896512 0 0 -1 5 0 0 0
[pid=1768] ppid=1713 vsize=322404 CPUtime=0 cores=1,3,5,7
/proc/1768/stat : 1768 (python) S 1713 1713 32706 0 -1 4202560 778 0 0 0 0 0 0 0 18 0 1 0 869369002 330141696 12890 33554432000 4194304 5683644 140736785228496 18446744073709551615 230809185862 0 0 16781312 33554946 4294934788 0 0 17 3 0 0 0
/proc/1768/statm: 80601 12890 348 364 0 15485 0
[pid=1770] ppid=1768 vsize=8537104 CPUtime=1.2 cores=1,3,5,7
/proc/1770/stat : 1770 (java) S 1768 1770 1770 0 -1 4202496 43725 0 1 0 114 6 0 0 17 0 18 0 869369002 8741994496 41599 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1770/statm: 2134276 41599 2221 9 0 2125017 0
[pid=1770/tid=1771] ppid=1768 vsize=8537104 CPUtime=0.64 cores=1,3,5,7
/proc/1770/task/1771/stat : 1771 (java) R 1768 1770 1770 0 -1 4202560 35185 0 1 0 59 5 0 0 22 0 18 0 869369003 8741994496 41599 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 46912505504541 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=1770/tid=1772] ppid=1768 vsize=8537104 CPUtime=0.01 cores=1,3,5,7
/proc/1770/task/1772/stat : 1772 (java) S 1768 1770 1770 0 -1 4202560 699 0 0 0 1 0 0 0 16 0 18 0 869369004 8741994496 41599 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446604458799303552 0 0 -1 1 0 0 0
[pid=1770/tid=1773] ppid=1768 vsize=8537104 CPUtime=0 cores=1,3,5,7
/proc/1770/task/1773/stat : 1773 (java) S 1768 1770 1770 0 -1 4202560 762 0 0 0 0 0 0 0 16 0 18 0 869369004 8741994496 41599 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446604458799303552 0 0 -1 7 0 0 0
[pid=1770/tid=1774] ppid=1768 vsize=8537104 CPUtime=0 cores=1,3,5,7
/proc/1770/task/1774/stat : 1774 (java) S 1768 1770 1770 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869369004 8741994496 41599 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446604458799303552 0 0 -1 1 0 0 0
[pid=1770/tid=1775] ppid=1768 vsize=8537104 CPUtime=0 cores=1,3,5,7
/proc/1770/task/1775/stat : 1775 (java) S 1768 1770 1770 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 869369004 8741994496 41599 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446604458799303552 0 0 -1 1 0 0 0
[pid=1770/tid=1776] ppid=1768 vsize=8537104 CPUtime=0 cores=1,3,5,7
/proc/1770/task/1776/stat : 1776 (java) S 1768 1770 1770 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869369004 8741994496 41599 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446604458799303552 0 0 -1 1 0 0 0
[pid=1770/tid=1777] ppid=1768 vsize=8537104 CPUtime=0 cores=1,3,5,7
/proc/1770/task/1777/stat : 1777 (java) S 1768 1770 1770 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869369004 8741994496 41599 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446604458799303552 0 0 -1 1 0 0 0
[pid=1770/tid=1778] ppid=1768 vsize=8537104 CPUtime=0 cores=1,3,5,7
/proc/1770/task/1778/stat : 1778 (java) S 1768 1770 1770 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869369004 8741994496 41599 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446604458799303552 0 0 -1 7 0 0 0
[pid=1770/tid=1779] ppid=1768 vsize=8537104 CPUtime=0 cores=1,3,5,7
/proc/1770/task/1779/stat : 1779 (java) S 1768 1770 1770 0 -1 4202560 536 0 0 0 0 0 0 0 16 0 18 0 869369004 8741994496 41599 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446604458799303552 0 0 -1 3 0 0 0
[pid=1770/tid=1780] ppid=1768 vsize=8537104 CPUtime=0 cores=1,3,5,7
/proc/1770/task/1780/stat : 1780 (java) S 1768 1770 1770 0 -1 4202560 71 0 0 0 0 0 0 0 16 0 18 0 869369005 8741994496 41599 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820982272 0 0 0 16800975 18446604458799303552 0 0 -1 7 0 0 0
[pid=1770/tid=1781] ppid=1768 vsize=8537104 CPUtime=0 cores=1,3,5,7
/proc/1770/task/1781/stat : 1781 (java) S 1768 1770 1770 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 18 0 869369005 8741994496 41599 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446604458799303552 0 0 -1 1 0 0 0
[pid=1770/tid=1782] ppid=1768 vsize=8537104 CPUtime=0 cores=1,3,5,7
/proc/1770/task/1782/stat : 1782 (java) S 1768 1770 1770 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 869369005 8741994496 41599 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446604458799303552 0 0 -1 3 0 0 0
[pid=1770/tid=1783] ppid=1768 vsize=8537104 CPUtime=0 cores=1,3,5,7
/proc/1770/task/1783/stat : 1783 (java) S 1768 1770 1770 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 869369008 8741994496 41599 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820989361 0 4 0 16800975 18446604458799303552 0 0 -1 1 0 0 0
[pid=1770/tid=1784] ppid=1768 vsize=8537104 CPUtime=0.24 cores=1,3,5,7
/proc/1770/task/1784/stat : 1784 (java) S 1768 1770 1770 0 -1 4202560 1537 0 0 0 24 0 0 0 17 0 18 0 869369008 8741994496 41599 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446604458799303552 0 0 -1 3 0 0 0
[pid=1770/tid=1785] ppid=1768 vsize=8537104 CPUtime=0.27 cores=1,3,5,7
/proc/1770/task/1785/stat : 1785 (java) S 1768 1770 1770 0 -1 4202560 3546 0 0 0 27 0 0 0 16 0 18 0 869369008 8741994496 41599 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446604458799303552 0 0 -1 1 0 0 0
[pid=1770/tid=1786] ppid=1768 vsize=8537104 CPUtime=0 cores=1,3,5,7
/proc/1770/task/1786/stat : 1786 (java) S 1768 1770 1770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869369008 8741994496 41599 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446604458799303552 0 0 -1 1 0 0 0
[pid=1770/tid=1787] ppid=1768 vsize=8537104 CPUtime=0 cores=1,3,5,7
/proc/1770/task/1787/stat : 1787 (java) S 1768 1770 1770 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869369008 8741994496 41599 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820982272 0 4 0 16800975 18446604458799303552 0 0 -1 7 0 0 0
[pid=1713/tid=1720] ppid=1711 vsize=332648 CPUtime=0 cores=1,3,5,7
/proc/1713/task/1720/stat : 1720 (python) S 1711 1713 32706 0 -1 4202560 28 930 0 0 0 0 0 0 22 0 3 0 869364204 340631552 14419 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458052463424 0 0 -1 5 0 0 0
[pid=1713/tid=1769] ppid=1711 vsize=332648 CPUtime=0 cores=1,3,5,7
/proc/1713/task/1769/stat : 1769 (python) S 1711 1713 32706 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 3 0 869369002 340631552 14419 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458052463424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.64
Current children cumulated vsize (KiB) 9983024
[startup+102.317 s]
/proc/loadavg: 2.23 2.07 1.54 3/643 1815
/proc/meminfo: memFree=22750700/32951124 swapFree=36471928/67111528
[pid=1713] ppid=1711 vsize=342904 CPUtime=2.37 cores=1,3,5,7
/proc/1713/stat : 1713 (python) S 1711 1713 32706 0 -1 4202496 23218 930 1 0 227 10 0 0 20 0 4 0 869363960 351133696 14426 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
################
# More data... #
################
[pid=1836/tid=1848] ppid=1834 vsize=8539100 CPUtime=0 cores=1,3,5,7
/proc/1836/task/1848/stat : 1848 (java) S 1834 1836 1836 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 869383909 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230820981657 0 4 0 16800975 18446604466738228160 0 0 -1 5 0 0 0
[pid=1836/tid=1849] ppid=1834 vsize=8539100 CPUtime=0 cores=1,3,5,7
/proc/1836/task/1849/stat : 1849 (java) S 1834 1836 1836 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869383911 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230820989361 0 4 0 16800975 18446604466738228160 0 0 -1 5 0 0 0
[pid=1836/tid=1850] ppid=1834 vsize=8539100 CPUtime=0.24 cores=1,3,5,7
/proc/1836/task/1850/stat : 1850 (java) S 1834 1836 1836 0 -1 4202560 1865 0 0 0 24 0 0 0 25 0 18 0 869383911 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230820981657 0 4 0 16800975 18446604466738228160 0 0 -1 7 0 0 0
[pid=1836/tid=1851] ppid=1834 vsize=8539100 CPUtime=0.26 cores=1,3,5,7
/proc/1836/task/1851/stat : 1851 (java) S 1834 1836 1836 0 -1 4202560 3083 0 0 0 26 0 0 0 25 0 18 0 869383912 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230820981657 0 4 0 16800975 18446604466738228160 0 0 -1 1 0 0 0
[pid=1836/tid=1852] ppid=1834 vsize=8539100 CPUtime=0 cores=1,3,5,7
/proc/1836/task/1852/stat : 1852 (java) S 1834 1836 1836 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869383912 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230820981657 0 4 0 16800975 18446604466738228160 0 0 -1 5 0 0 0
[pid=1836/tid=1854] ppid=1834 vsize=8539100 CPUtime=0 cores=1,3,5,7
/proc/1836/task/1854/stat : 1854 (java) S 1834 1836 1836 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869383912 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230820982272 0 4 0 16800975 18446604466738228160 0 0 -1 7 0 0 0
[pid=1713/tid=1720] ppid=1711 vsize=363416 CPUtime=0 cores=1,3,5,7
/proc/1713/task/1720/stat : 1720 (python) S 1711 1713 32706 0 -1 4202560 28 930 0 0 0 0 0 0 22 0 6 0 869364204 372137984 14440 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458052463424 0 0 -1 5 0 0 0
[pid=1713/tid=1769] ppid=1711 vsize=363416 CPUtime=0 cores=1,3,5,7
/proc/1713/task/1769/stat : 1769 (python) S 1711 1713 32706 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 869369002 372137984 14440 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458052463424 0 0 -1 7 0 0 0
[pid=1713/tid=1814] ppid=1711 vsize=363416 CPUtime=0 cores=1,3,5,7
/proc/1713/task/1814/stat : 1814 (python) S 1711 1713 32706 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 869373733 372137984 14440 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458052463424 0 0 -1 1 0 0 0
[pid=1713/tid=1824] ppid=1711 vsize=363416 CPUtime=0 cores=1,3,5,7
/proc/1713/task/1824/stat : 1824 (python) S 1711 1713 32706 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 6 0 869378898 372137984 14440 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458052463424 0 0 -1 7 0 0 0
[pid=1713/tid=1835] ppid=1711 vsize=363416 CPUtime=0 cores=1,3,5,7
/proc/1713/task/1835/stat : 1835 (python) S 1711 1713 32706 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 6 0 869383906 372137984 14440 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458052463424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 202.44
Current children cumulated vsize (KiB) 20108648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+200.102 s]
/proc/loadavg: 2.14 2.08 1.59 7/676 1854
/proc/meminfo: memFree=22248408/32951124 swapFree=36471928/67111528
[pid=1713] ppid=1711 vsize=363416 CPUtime=2.42 cores=1,3,5,7
/proc/1713/stat : 1713 (python) S 1711 1713 32706 0 -1 4202496 25014 930 1 0 232 10 0 0 20 0 6 0 869363960 372137984 14440 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/1713/statm: 90854 14440 1879 364 0 25729 0
[pid=1719] ppid=1713 vsize=322392 CPUtime=0.16 cores=1,3,5,7
/proc/1719/stat : 1719 (python) S 1713 1713 32706 0 -1 4202560 1143 0 0 0 9 7 0 0 16 0 2 0 869364204 330129408 12956 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/1719/statm: 80598 12956 411 364 0 15485 0
[pid=1721] ppid=1719 vsize=468476 CPUtime=47.94 cores=1,3,5,7
/proc/1721/stat : 1721 (scip-2.0.1.linu) T 1719 1721 1721 0 -1 4202496 118181 0 0 0 4701 93 0 0 25 0 1 0 869364204 479719424 113427 33554432000 4194304 13684479 140735802476048 18446744073709551615 4965412 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/1721/statm: 117119 113427 963 2317 0 114797 0
[pid=1719/tid=1767] ppid=1713 vsize=322392 CPUtime=0 cores=1,3,5,7
/proc/1719/task/1767/stat : 1767 (python) S 1713 1713 32706 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 869369000 330129408 12956 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820989361 0 0 16781312 33554946 18446604464593896512 0 0 -1 5 0 0 0
[pid=1768] ppid=1713 vsize=322404 CPUtime=0.15 cores=1,3,5,7
/proc/1768/stat : 1768 (python) S 1713 1713 32706 0 -1 4202560 1098 0 0 0 7 8 0 0 16 0 2 0 869369002 330141696 12942 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/1768/statm: 80601 12942 396 364 0 15485 0
[pid=1770] ppid=1768 vsize=8537212 CPUtime=48.62 cores=1,3,5,7
/proc/1770/stat : 1770 (java) T 1768 1770 1770 0 -1 4202496 56598 0 1 0 4854 8 0 0 15 0 19 0 869369002 8742105088 52497 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1770/statm: 2134303 52497 2259 9 0 2125044 0
[pid=1770/tid=1771] ppid=1768 vsize=8537212 CPUtime=46.93 cores=1,3,5,7
/proc/1770/task/1771/stat : 1771 (java) T 1768 1770 1770 0 -1 4202560 35261 0 1 0 4688 5 0 0 25 0 19 0 869369003 8742105088 52497 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 46912505982591 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1770/tid=1772] ppid=1768 vsize=8537212 CPUtime=0.01 cores=1,3,5,7
/proc/1770/task/1772/stat : 1772 (java) T 1768 1770 1770 0 -1 4202560 700 0 0 0 1 0 0 0 15 0 19 0 869369004 8742105088 52497 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1770/tid=1773] ppid=1768 vsize=8537212 CPUtime=0.03 cores=1,3,5,7
/proc/1770/task/1773/stat : 1773 (java) T 1768 1770 1770 0 -1 4202560 3092 0 0 0 3 0 0 0 15 0 19 0 869369004 8742105088 52497 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1770/tid=1774] ppid=1768 vsize=8537212 CPUtime=0.01 cores=1,3,5,7
/proc/1770/task/1774/stat : 1774 (java) T 1768 1770 1770 0 -1 4202560 1141 0 0 0 1 0 0 0 15 0 19 0 869369004 8742105088 52497 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1770/tid=1775] ppid=1768 vsize=8537212 CPUtime=0.01 cores=1,3,5,7
/proc/1770/task/1775/stat : 1775 (java) T 1768 1770 1770 0 -1 4202560 1057 0 0 0 1 0 0 0 15 0 19 0 869369004 8742105088 52497 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1770/tid=1776] ppid=1768 vsize=8537212 CPUtime=0 cores=1,3,5,7
/proc/1770/task/1776/stat : 1776 (java) T 1768 1770 1770 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869369004 8742105088 52497 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1770/tid=1777] ppid=1768 vsize=8537212 CPUtime=0 cores=1,3,5,7
/proc/1770/task/1777/stat : 1777 (java) T 1768 1770 1770 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869369004 8742105088 52497 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1770/tid=1778] ppid=1768 vsize=8537212 CPUtime=0.02 cores=1,3,5,7
/proc/1770/task/1778/stat : 1778 (java) T 1768 1770 1770 0 -1 4202560 2183 0 0 0 2 0 0 0 15 0 19 0 869369004 8742105088 52497 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1770/tid=1779] ppid=1768 vsize=8537212 CPUtime=0.01 cores=1,3,5,7
/proc/1770/task/1779/stat : 1779 (java) T 1768 1770 1770 0 -1 4202560 540 0 0 0 1 0 0 0 15 0 19 0 869369004 8742105088 52497 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1770/tid=1780] ppid=1768 vsize=8537212 CPUtime=0.21 cores=1,3,5,7
/proc/1770/task/1780/stat : 1780 (java) T 1768 1770 1770 0 -1 4202560 4008 0 0 0 21 0 0 0 15 0 19 0 869369005 8742105088 52497 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820982272 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1770/tid=1781] ppid=1768 vsize=8537212 CPUtime=0 cores=1,3,5,7
/proc/1770/task/1781/stat : 1781 (java) T 1768 1770 1770 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869369005 8742105088 52497 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1770/tid=1782] ppid=1768 vsize=8537212 CPUtime=0 cores=1,3,5,7
/proc/1770/task/1782/stat : 1782 (java) T 1768 1770 1770 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869369005 8742105088 52497 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1770/tid=1783] ppid=1768 vsize=8537212 CPUtime=0 cores=1,3,5,7
/proc/1770/task/1783/stat : 1783 (java) T 1768 1770 1770 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869369008 8742105088 52497 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820989361 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1770/tid=1784] ppid=1768 vsize=8537212 CPUtime=0.61 cores=1,3,5,7
/proc/1770/task/1784/stat : 1784 (java) T 1768 1770 1770 0 -1 4202560 1609 0 0 0 61 0 0 0 15 0 19 0 869369008 8742105088 52497 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=1770/tid=1785] ppid=1768 vsize=8537212 CPUtime=0.69 cores=1,3,5,7
/proc/1770/task/1785/stat : 1785 (java) T 1768 1770 1770 0 -1 4202560 5610 0 0 0 69 0 0 0 15 0 19 0 869369008 8742105088 52497 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1770/tid=1786] ppid=1768 vsize=8537212 CPUtime=0 cores=1,3,5,7
/proc/1770/task/1786/stat : 1786 (java) T 1768 1770 1770 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869369008 8742105088 52497 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1770/tid=1787] ppid=1768 vsize=8537212 CPUtime=0 cores=1,3,5,7
/proc/1770/task/1787/stat : 1787 (java) T 1768 1770 1770 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869369008 8742105088 52497 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1770/tid=1788] ppid=1768 vsize=8537212 CPUtime=0 cores=1,3,5,7
/proc/1770/task/1788/stat : 1788 (java) T 1768 1770 1770 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869369113 8742105088 52497 33554432000 1073741824 1073778376 140735414882896 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=1768/tid=1812] ppid=1713 vsize=322404 CPUtime=0 cores=1,3,5,7
/proc/1768/task/1812/stat : 1812 (python) S 1713 1713 32706 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 869373730 330141696 12942 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820989361 0 0 16781312 33554946 18446604454509199552 0 0 -1 3 0 0 0
[pid=1813] ppid=1713 vsize=332660 CPUtime=0.18 cores=1,3,5,7
/proc/1813/stat : 1813 (python) S 1713 1713 32706 0 -1 4202560 1114 0 0 0 8 10 0 0 16 0 2 0 869373733 340643840 12949 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/1813/statm: 83165 12949 396 364 0 18046 0
[pid=1815] ppid=1813 vsize=472360 CPUtime=51.55 cores=1,3,5,7
/proc/1815/stat : 1815 (scip-2.0.1.linu) T 1813 1815 1815 0 -1 4202496 127595 0 0 0 5047 108 0 0 25 0 1 0 869373733 483696640 108514 33554432000 4194304 15243407 140736252793632 18446744073709551615 8645264 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/1815/statm: 118090 108514 943 2698 0 115385 0
[pid=1813/tid=1822] ppid=1713 vsize=332660 CPUtime=0 cores=1,3,5,7
/proc/1813/task/1822/stat : 1822 (python) S 1713 1713 32706 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869378895 340643840 12949 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820989361 0 0 16781312 33554946 18446604459516181312 0 0 -1 1 0 0 0
[pid=1823] ppid=1713 vsize=342916 CPUtime=0.19 cores=1,3,5,7
/proc/1823/stat : 1823 (python) S 1713 1713 32706 0 -1 4202560 1125 0 0 0 10 9 0 0 16 0 2 0 869378898 351145984 12953 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/1823/statm: 85729 12953 396 364 0 20607 0
[pid=1825] ppid=1823 vsize=54540 CPUtime=50.05 cores=1,3,5,7
/proc/1825/stat : 1825 (wbo1.4a) T 1823 1825 1825 0 -1 4202496 15493 0 0 0 4974 31 0 0 25 0 1 0 869378898 55848960 13023 33554432000 134512640 135751879 4288363216 18446744073709551615 134607722 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/1825/statm: 13635 13023 146 303 0 13330 0
[pid=1823/tid=1833] ppid=1713 vsize=342916 CPUtime=0 cores=1,3,5,7
/proc/1823/task/1833/stat : 1833 (python) S 1713 1713 32706 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869383903 351145984 12953 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820989361 0 0 16781312 33554946 18446604470050280512 0 0 -1 7 0 0 0
[pid=1834] ppid=1713 vsize=353172 CPUtime=0 cores=1,3,5,7
/proc/1834/stat : 1834 (python) S 1713 1713 32706 0 -1 4202560 808 0 0 0 0 0 0 0 18 0 1 0 869383906 361648128 12905 33554432000 4194304 5683644 140736785228496 18446744073709551615 230809185862 0 0 16781312 33554946 957422556162293760 0 0 17 1 0 0 0
/proc/1834/statm: 88293 12905 348 364 0 23168 0
[pid=1836] ppid=1834 vsize=8539100 CPUtime=1.18 cores=1,3,5,7
/proc/1836/stat : 1836 (java) S 1834 1836 1836 0 -1 4202496 43092 0 1 0 111 7 0 0 18 0 18 0 869383906 8744038400 41216 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1836/statm: 2134775 41220 2217 9 0 2125516 0
[pid=1836/tid=1837] ppid=1834 vsize=8539100 CPUtime=0.63 cores=1,3,5,7
/proc/1836/task/1837/stat : 1837 (java) S 1834 1836 1836 0 -1 4202560 35227 0 1 0 58 5 0 0 18 0 18 0 869383907 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230820981657 0 4 0 16800975 18446604466738228160 0 0 -1 5 0 0 0
[pid=1836/tid=1838] ppid=1834 vsize=8539100 CPUtime=0.01 cores=1,3,5,7
/proc/1836/task/1838/stat : 1838 (java) R 1834 1836 1836 0 -1 4202560 990 0 0 0 1 0 0 0 15 0 18 0 869383908 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230809119031 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1836/tid=1839] ppid=1834 vsize=8539100 CPUtime=0 cores=1,3,5,7
/proc/1836/task/1839/stat : 1839 (java) R 1834 1836 1836 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869383908 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230820981657 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=1836/tid=1840] ppid=1834 vsize=8539100 CPUtime=0.01 cores=1,3,5,7
/proc/1836/task/1840/stat : 1840 (java) R 1834 1836 1836 0 -1 4202560 825 0 0 0 1 0 0 0 15 0 18 0 869383908 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230809119031 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1836/tid=1841] ppid=1834 vsize=8539100 CPUtime=0 cores=1,3,5,7
/proc/1836/task/1841/stat : 1841 (java) S 1834 1836 1836 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869383908 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230820981657 0 4 0 16800975 18446604466738228160 0 0 -1 1 0 0 0
[pid=1836/tid=1842] ppid=1834 vsize=8539100 CPUtime=0 cores=1,3,5,7
/proc/1836/task/1842/stat : 1842 (java) S 1834 1836 1836 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869383908 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230820981657 0 4 0 16800975 18446604466738228160 0 0 -1 7 0 0 0
[pid=1836/tid=1843] ppid=1834 vsize=8539100 CPUtime=0 cores=1,3,5,7
/proc/1836/task/1843/stat : 1843 (java) S 1834 1836 1836 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869383908 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230820981657 0 4 0 16800975 18446604466738228160 0 0 -1 1 0 0 0
[pid=1836/tid=1844] ppid=1834 vsize=8539100 CPUtime=0 cores=1,3,5,7
/proc/1836/task/1844/stat : 1844 (java) R 1834 1836 1836 0 -1 4202560 182 0 0 0 0 0 0 0 16 0 18 0 869383908 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230809119031 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1836/tid=1845] ppid=1834 vsize=8539100 CPUtime=0 cores=1,3,5,7
/proc/1836/task/1845/stat : 1845 (java) S 1834 1836 1836 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869383908 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230820981657 0 4 0 16800975 18446604466738228160 0 0 -1 7 0 0 0
[pid=1836/tid=1846] ppid=1834 vsize=8539100 CPUtime=0 cores=1,3,5,7
/proc/1836/task/1846/stat : 1846 (java) S 1834 1836 1836 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 18 0 869383909 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230820981657 0 0 0 16800975 18446604466738228160 0 0 -1 3 0 0 0
[pid=1836/tid=1847] ppid=1834 vsize=8539100 CPUtime=0 cores=1,3,5,7
/proc/1836/task/1847/stat : 1847 (java) S 1834 1836 1836 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 869383909 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230820981657 0 4 0 16800975 18446604466738228160 0 0 -1 5 0 0 0
[pid=1836/tid=1848] ppid=1834 vsize=8539100 CPUtime=0 cores=1,3,5,7
/proc/1836/task/1848/stat : 1848 (java) S 1834 1836 1836 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 869383909 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230820981657 0 4 0 16800975 18446604466738228160 0 0 -1 5 0 0 0
[pid=1836/tid=1849] ppid=1834 vsize=8539100 CPUtime=0 cores=1,3,5,7
/proc/1836/task/1849/stat : 1849 (java) S 1834 1836 1836 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869383911 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230820989361 0 4 0 16800975 18446604466738228160 0 0 -1 5 0 0 0
[pid=1836/tid=1850] ppid=1834 vsize=8539100 CPUtime=0.24 cores=1,3,5,7
/proc/1836/task/1850/stat : 1850 (java) S 1834 1836 1836 0 -1 4202560 1865 0 0 0 24 0 0 0 25 0 18 0 869383911 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230820981657 0 4 0 16800975 18446604466738228160 0 0 -1 7 0 0 0
[pid=1836/tid=1851] ppid=1834 vsize=8539100 CPUtime=0.26 cores=1,3,5,7
/proc/1836/task/1851/stat : 1851 (java) S 1834 1836 1836 0 -1 4202560 3083 0 0 0 26 0 0 0 25 0 18 0 869383912 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230820981657 0 4 0 16800975 18446604466738228160 0 0 -1 1 0 0 0
[pid=1836/tid=1852] ppid=1834 vsize=8539100 CPUtime=0 cores=1,3,5,7
/proc/1836/task/1852/stat : 1852 (java) S 1834 1836 1836 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869383912 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230820981657 0 4 0 16800975 18446604466738228160 0 0 -1 5 0 0 0
[pid=1836/tid=1854] ppid=1834 vsize=8539100 CPUtime=0 cores=1,3,5,7
/proc/1836/task/1854/stat : 1854 (java) S 1834 1836 1836 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869383912 8744038400 41682 33554432000 1073741824 1073778376 140735520850528 18446744073709551615 230820982272 0 4 0 16800975 18446604466738228160 0 0 -1 7 0 0 0
[pid=1713/tid=1720] ppid=1711 vsize=363416 CPUtime=0 cores=1,3,5,7
/proc/1713/task/1720/stat : 1720 (python) S 1711 1713 32706 0 -1 4202560 28 930 0 0 0 0 0 0 22 0 6 0 869364204 372137984 14440 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458052463424 0 0 -1 5 0 0 0
[pid=1713/tid=1769] ppid=1711 vsize=363416 CPUtime=0 cores=1,3,5,7
/proc/1713/task/1769/stat : 1769 (python) S 1711 1713 32706 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 869369002 372137984 14440 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458052463424 0 0 -1 7 0 0 0
[pid=1713/tid=1814] ppid=1711 vsize=363416 CPUtime=0 cores=1,3,5,7
/proc/1713/task/1814/stat : 1814 (python) S 1711 1713 32706 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 6 0 869373733 372137984 14440 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458052463424 0 0 -1 1 0 0 0
[pid=1713/tid=1824] ppid=1711 vsize=363416 CPUtime=0 cores=1,3,5,7
/proc/1713/task/1824/stat : 1824 (python) S 1711 1713 32706 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 6 0 869378898 372137984 14440 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458052463424 0 0 -1 7 0 0 0
[pid=1713/tid=1835] ppid=1711 vsize=363416 CPUtime=0 cores=1,3,5,7
/proc/1713/task/1835/stat : 1835 (python) S 1711 1713 32706 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 6 0 869383906 372137984 14440 33554432000 4194304 5683644 140736785228496 18446744073709551615 230820989361 0 0 16781312 33554434 18446604458052463424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 202.44
Current children cumulated vsize (KiB) 20108648
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1713 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=321647
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=111982
# CPU time returned by wait4() is 2.43363
# while last known CPU time is 202.44
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 200.179
CPU time (s): 202.44
CPU user time (s): 199.53
CPU system time (s): 2.91
CPU usage (%): 101.13
Max. virtual memory (cumulated for all children) (KiB): 20108648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.32165
system time used= 0.111982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25947
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= 1010
involuntary context switches= 22
runsolver used 1.04784 second user time and 2.14167 second system time
The end