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-3481725-1307577466/watcher-3481725-1307577466 -o /tmp/evaluation-result-3481725-1307577466/solver-3481725-1307577466 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481725-1307577466.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.03 2.01 1.41 2/562 5285
/proc/meminfo: memFree=23176332/32951124 swapFree=56717704/67111528
[pid=5285] ppid=5283 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/5285/stat : 5285 (python) S 5283 5285 4987 0 -1 4202496 790 0 0 0 0 0 0 0 20 0 1 0 850162841 15749120 678 33554432000 4194304 5683644 140734835151392 18446744073709551615 255106766848 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/5285/statm: 3845 678 322 364 0 332 0
[startup+0.090922 s]
/proc/loadavg: 2.03 2.01 1.41 2/562 5285
/proc/meminfo: memFree=23176332/32951124 swapFree=56717704/67111528
[pid=5285] ppid=5283 vsize=73744 CPUtime=0.05 cores=1,3,5,7
/proc/5285/stat : 5285 (python) R 5283 5285 4987 0 -1 4202496 2141 0 0 0 4 1 0 0 17 0 1 0 850162841 75513856 1895 33554432000 4194304 5683644 140734835151392 18446744073709551615 255101799104 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/5285/statm: 18956 1896 530 364 0 1312 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 73744
[startup+0.100935 s]
/proc/loadavg: 2.03 2.01 1.41 2/562 5285
/proc/meminfo: memFree=23176332/32951124 swapFree=56717704/67111528
[pid=5285] ppid=5283 vsize=85616 CPUtime=0.05 cores=1,3,5,7
/proc/5285/stat : 5285 (python) R 5283 5285 4987 0 -1 4202496 2662 0 0 0 4 1 0 0 17 0 1 0 850162841 87670784 2381 33554432000 4194304 5683644 140734835151392 18446744073709551615 255106766848 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/5285/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85616
[startup+0.300939 s]
/proc/loadavg: 2.03 2.01 1.41 2/562 5285
/proc/meminfo: memFree=23176332/32951124 swapFree=56717704/67111528
[pid=5285] ppid=5283 vsize=123736 CPUtime=0.16 cores=1,3,5,7
/proc/5285/stat : 5285 (python) R 5283 5285 4987 0 -1 4202496 5356 930 1 0 11 5 0 0 16 0 1 0 850162841 126705664 3743 33554432000 4194304 5683644 140734835151392 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/5285/statm: 30934 3743 987 364 0 2766 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123736
[startup+0.700824 s]
/proc/loadavg: 2.03 2.01 1.41 2/562 5285
/proc/meminfo: memFree=23176332/32951124 swapFree=56717704/67111528
[pid=5285] ppid=5283 vsize=282404 CPUtime=0.41 cores=1,3,5,7
/proc/5285/stat : 5285 (python) R 5283 5285 4987 0 -1 4202496 9079 930 1 0 31 10 0 0 15 0 1 0 850162841 289181696 6942 33554432000 4194304 5683644 140734835151392 18446744073709551615 5007429 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/5285/statm: 70601 6942 1781 364 0 5494 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282404
[startup+1.5007 s]
/proc/loadavg: 2.03 2.01 1.41 3/566 5293
/proc/meminfo: memFree=23149332/32951124 swapFree=56717704/67111528
[pid=5285] ppid=5283 vsize=293084 CPUtime=0.45 cores=1,3,5,7
/proc/5285/stat : 5285 (python) S 5283 5285 4987 0 -1 4202496 9620 930 1 0 34 11 0 0 18 0 2 0 850162841 300118016 7133 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/5285/statm: 73271 7133 1862 364 0 8158 0
[pid=5291] ppid=5285 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/5291/stat : 5291 (python) S 5285 5285 4987 0 -1 4202560 700 0 0 0 0 0 0 0 18 0 1 0 850162914 289628160 5616 33554432000 4194304 5683644 140734835151392 18446744073709551615 255106788879 0 0 16781312 33554946 13742847963590263048 0 0 17 5 0 0 0
/proc/5291/statm: 70710 5616 349 364 0 5597 0
[pid=5293] ppid=5291 vsize=1860 CPUtime=0.74 cores=1,3,5,7
/proc/5293/stat : 5293 (clasp-1.3.7-x86) R 5291 5293 5293 0 -1 4202496 467 0 0 0 74 0 0 0 21 0 1 0 850162914 1904640 213 33554432000 134512640 136139019 4288314400 18446744073709551615 134875824 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/5293/statm: 465 213 183 398 0 65 0
[pid=5285/tid=5292] ppid=5283 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/5285/task/5292/stat : 5292 (python) S 5283 5285 4987 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 850162914 300118016 7133 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554434 18446604468930632704 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 577784
[startup+3.10039 s]
/proc/loadavg: 2.03 2.01 1.41 3/566 5293
/proc/meminfo: memFree=23146852/32951124 swapFree=56717704/67111528
[pid=5285] ppid=5283 vsize=293084 CPUtime=0.45 cores=1,3,5,7
/proc/5285/stat : 5285 (python) S 5283 5285 4987 0 -1 4202496 9620 930 1 0 34 11 0 0 18 0 2 0 850162841 300118016 7133 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/5285/statm: 73271 7133 1862 364 0 8158 0
[pid=5291] ppid=5285 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/5291/stat : 5291 (python) S 5285 5285 4987 0 -1 4202560 723 0 0 0 0 0 0 0 18 0 1 0 850162914 289628160 5619 33554432000 4194304 5683644 140734835151392 18446744073709551615 255106788879 0 0 16781312 33554946 13742849475418751240 0 0 17 5 0 0 0
/proc/5291/statm: 70710 5619 352 364 0 5597 0
[pid=5293] ppid=5291 vsize=1860 CPUtime=2.34 cores=1,3,5,7
/proc/5293/stat : 5293 (clasp-1.3.7-x86) R 5291 5293 5293 0 -1 4202496 468 0 0 0 234 0 0 0 25 0 1 0 850162914 1904640 214 33554432000 134512640 136139019 4288314400 18446744073709551615 134632465 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/5293/statm: 465 214 183 398 0 65 0
[pid=5285/tid=5292] ppid=5283 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/5285/task/5292/stat : 5292 (python) S 5283 5285 4987 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 850162914 300118016 7133 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554434 18446604468930632704 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 577784
[startup+6.30083 s]
/proc/loadavg: 2.11 2.02 1.42 3/566 5293
/proc/meminfo: memFree=23138412/32951124 swapFree=56717704/67111528
[pid=5285] ppid=5283 vsize=293084 CPUtime=0.45 cores=1,3,5,7
/proc/5285/stat : 5285 (python) S 5283 5285 4987 0 -1 4202496 9620 930 1 0 34 11 0 0 18 0 2 0 850162841 300118016 7133 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/5285/statm: 73271 7133 1862 364 0 8158 0
[pid=5291] ppid=5285 vsize=282840 CPUtime=0.01 cores=1,3,5,7
/proc/5291/stat : 5291 (python) S 5285 5285 4987 0 -1 4202560 870 0 0 0 0 1 0 0 18 0 1 0 850162914 289628160 5643 33554432000 4194304 5683644 140734835151392 18446744073709551615 255106788879 0 0 16781312 33554946 13742850987247239432 0 0 17 5 0 0 0
/proc/5291/statm: 70710 5643 376 364 0 5597 0
[pid=5293] ppid=5291 vsize=1860 CPUtime=5.54 cores=1,3,5,7
/proc/5293/stat : 5293 (clasp-1.3.7-x86) R 5291 5293 5293 0 -1 4202496 469 0 0 0 554 0 0 0 25 0 1 0 850162914 1904640 215 33554432000 134512640 136139019 4288314400 18446744073709551615 134599025 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/5293/statm: 465 215 183 398 0 65 0
[pid=5285/tid=5292] ppid=5283 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/5285/task/5292/stat : 5292 (python) S 5283 5285 4987 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 850162914 300118016 7133 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554434 18446604468930632704 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 577784
[startup+12.7007 s]
/proc/loadavg: 2.10 2.02 1.42 3/566 5294
/proc/meminfo: memFree=23131160/32951124 swapFree=56717704/67111528
[pid=5285] ppid=5283 vsize=293084 CPUtime=0.45 cores=1,3,5,7
/proc/5285/stat : 5285 (python) S 5283 5285 4987 0 -1 4202496 9620 930 1 0 34 11 0 0 18 0 2 0 850162841 300118016 7133 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/5285/statm: 73271 7133 1862 364 0 8158 0
[pid=5291] ppid=5285 vsize=282840 CPUtime=0.04 cores=1,3,5,7
/proc/5291/stat : 5291 (python) S 5285 5285 4987 0 -1 4202560 874 0 0 0 2 2 0 0 18 0 1 0 850162914 289628160 5643 33554432000 4194304 5683644 140734835151392 18446744073709551615 255106788879 0 0 16781312 33554946 5623606151888251605 0 0 17 5 0 0 0
/proc/5291/statm: 70710 5643 376 364 0 5597 0
[pid=5293] ppid=5291 vsize=1860 CPUtime=11.94 cores=1,3,5,7
/proc/5293/stat : 5293 (clasp-1.3.7-x86) R 5291 5293 5293 0 -1 4202496 470 0 0 0 1194 0 0 0 25 0 1 0 850162914 1904640 216 33554432000 134512640 136139019 4288314400 18446744073709551615 134832185 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/5293/statm: 465 216 183 398 0 65 0
[pid=5285/tid=5292] ppid=5283 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/5285/task/5292/stat : 5292 (python) S 5283 5285 4987 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 850162914 300118016 7133 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554434 18446604468930632704 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 577784
[startup+25.5005 s]
/proc/loadavg: 2.08 2.02 1.43 3/566 5294
/proc/meminfo: memFree=23106760/32951124 swapFree=56717704/67111528
[pid=5285] ppid=5283 vsize=293084 CPUtime=0.45 cores=1,3,5,7
/proc/5285/stat : 5285 (python) S 5283 5285 4987 0 -1 4202496 9620 930 1 0 34 11 0 0 18 0 2 0 850162841 300118016 7133 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/5285/statm: 73271 7133 1862 364 0 8158 0
[pid=5291] ppid=5285 vsize=282840 CPUtime=0.09 cores=1,3,5,7
/proc/5291/stat : 5291 (python) S 5285 5285 4987 0 -1 4202560 880 0 0 0 4 5 0 0 18 0 1 0 850162914 289628160 5643 33554432000 4194304 5683644 140734835151392 18446744073709551615 255106788879 0 0 16781312 33554946 5623753486446373589 0 0 17 7 0 0 0
/proc/5291/statm: 70710 5643 376 364 0 5597 0
[pid=5293] ppid=5291 vsize=1860 CPUtime=24.74 cores=1,3,5,7
/proc/5293/stat : 5293 (clasp-1.3.7-x86) R 5291 5293 5293 0 -1 4202496 470 0 0 0 2474 0 0 0 25 0 1 0 850162914 1904640 216 33554432000 134512640 136139019 4288314400 18446744073709551615 134876993 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/5293/statm: 465 216 183 398 0 65 0
[pid=5285/tid=5292] ppid=5283 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/5285/task/5292/stat : 5292 (python) S 5283 5285 4987 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 850162914 300118016 7133 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554434 18446604468930632704 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 577784
[startup+51.1009 s]
/proc/loadavg: 2.11 2.03 1.45 3/544 5369
/proc/meminfo: memFree=26593392/32951124 swapFree=56717704/67111528
[pid=5285] ppid=5283 vsize=303884 CPUtime=0.47 cores=1,3,5,7
/proc/5285/stat : 5285 (python) S 5283 5285 4987 0 -1 4202496 10492 930 1 0 36 11 0 0 20 0 3 0 850162841 311177216 7269 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/5285/statm: 75971 7269 1873 364 0 10855 0
[pid=5291] ppid=5285 vsize=293084 CPUtime=0.19 cores=1,3,5,7
/proc/5291/stat : 5291 (python) S 5285 5285 4987 0 -1 4202560 1116 0 0 0 9 10 0 0 19 0 2 0 850162914 300118016 5684 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5291/statm: 73271 5684 412 364 0 8158 0
[pid=5293] ppid=5291 vsize=1860 CPUtime=46.18 cores=1,3,5,7
/proc/5293/stat : 5293 (clasp-1.3.7-x86) T 5291 5293 5293 0 -1 4202496 471 0 0 0 4618 0 0 0 25 0 1 0 850162914 1904640 217 33554432000 134512640 136139019 4288314400 18446744073709551615 135548255 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/5293/statm: 465 217 183 398 0 65 0
[pid=5291/tid=5366] ppid=5285 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5366/stat : 5366 (python) S 5285 5285 4987 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 850167535 300118016 5684 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554946 18446604471136892096 0 0 -1 7 0 0 0
[pid=5367] ppid=5285 vsize=293640 CPUtime=0.01 cores=1,3,5,7
/proc/5367/stat : 5367 (python) S 5285 5285 4987 0 -1 4202560 941 0 0 0 0 1 0 0 15 0 1 0 850167537 300687360 5765 33554432000 4194304 5683644 140734835151392 18446744073709551615 255106788934 0 0 16781312 33554946 4597181368407916807 0 0 17 3 0 0 0
/proc/5367/statm: 73410 5765 373 364 0 8294 0
[pid=5369] ppid=5367 vsize=14560 CPUtime=4.13 cores=1,3,5,7
/proc/5369/stat : 5369 (wbo1.4a) R 5367 5369 5369 0 -1 4202496 3460 0 0 0 405 8 0 0 25 0 1 0 850167538 14909440 3194 33554432000 134512640 135751879 4291501552 18446744073709551615 134517414 0 0 16781312 3 0 0 0 17 7 0 0 0
/proc/5369/statm: 3640 3194 143 303 0 3335 0
[pid=5285/tid=5292] ppid=5283 vsize=303884 CPUtime=0 cores=1,3,5,7
/proc/5285/task/5292/stat : 5292 (python) S 5283 5285 4987 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 3 0 850162914 311177216 7269 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554434 18446604468930632704 0 0 -1 5 0 0 0
[pid=5285/tid=5368] ppid=5283 vsize=303884 CPUtime=0 cores=1,3,5,7
/proc/5285/task/5368/stat : 5368 (python) S 5283 5285 4987 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 3 0 850167537 311177216 7269 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554434 18446604468930632704 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 907028
[startup+102.32 s]
/proc/loadavg: 2.05 2.03 1.48 3/566 5427
/proc/meminfo: memFree=24352044/32951124 swapFree=56717704/67111528
[pid=5285] ppid=5283 vsize=313836 CPUtime=0.5 cores=1,3,5,7
/proc/5285/stat : 5285 (python) S 5283 5285 4987 0 -1 4202496 11382 930 1 0 39 11 0 0 20 0 4 0 850162841 321368064 7214 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/5285/statm: 78459 7214 1875 364 0 13340 0
[pid=5291] ppid=5285 vsize=293084 CPUtime=0.19 cores=1,3,5,7
/proc/5291/stat : 5291 (python) S 5285 5285 4987 0 -1 4202560 1116 0 0 0 9 10 0 0 19 0 2 0 850162914 300118016 5684 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5291/statm: 73271 5684 412 364 0 8158 0
[pid=5293] ppid=5291 vsize=1860 CPUtime=46.18 cores=1,3,5,7
/proc/5293/stat : 5293 (clasp-1.3.7-x86) T 5291 5293 5293 0 -1 4202496 471 0 0 0 4618 0 0 0 25 0 1 0 850162914 1904640 217 33554432000 134512640 136139019 4288314400 18446744073709551615 135548255 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/5293/statm: 465 217 183 398 0 65 0
[pid=5291/tid=5366] ppid=5285 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5366/stat : 5366 (python) S 5285 5285 4987 0 -1 4202560 42 0 0 0 0 0 0 0 19 0 2 0 850167535 300118016 5684 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554946 18446604471136892096 0 0 -1 7 0 0 0
[pid=5367] ppid=5285 vsize=293640 CPUtime=0.23 cores=1,3,5,7
/proc/5367/stat : 5367 (python) S 5285 5285 4987 0 -1 4202560 1116 0 0 0 12 11 0 0 17 0 2 0 850167537 300687360 5790 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5367/statm: 73410 5790 397 364 0 8294 0
[pid=5369] ppid=5367 vsize=113284 CPUtime=51.25 cores=1,3,5,7
/proc/5369/stat : 5369 (wbo1.4a) T 5367 5369 5369 0 -1 4202496 28082 0 0 0 5045 80 0 0 25 0 1 0 850167538 116002816 27816 33554432000 134512640 135751879 4291501552 18446744073709551615 134616414 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/5369/statm: 28321 27816 143 303 0 28016 0
[pid=5367/tid=5424] ppid=5285 vsize=293640 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5424/stat : 5424 (python) S 5285 5285 4987 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 850172668 300687360 5790 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554946 18446604467562614976 0 0 -1 7 0 0 0
[pid=5425] ppid=5285 vsize=303592 CPUtime=0.03 cores=1,3,5,7
/proc/5425/stat : 5425 (python) S 5285 5285 4987 0 -1 4202560 942 0 0 0 3 0 0 0 15 0 1 0 850172671 310878208 5709 33554432000 4194304 5683644 140734835151392 18446744073709551615 255106788934 0 0 16781312 33554946 4191350578623807488 0 0 17 3 0 0 0
################
# More data... #
################
[pid=5285/tid=5869] ppid=5283 vsize=355524 CPUtime=0 cores=1,3,5,7
/proc/5285/task/5869/stat : 5869 (python) S 5283 5285 4987 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 8 0 850212328 364056576 7373 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554434 18446604468930632704 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 498.03
Current children cumulated vsize (KiB) 19994200
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+494.902 s]
/proc/loadavg: 2.03 2.07 1.68 5/624 5884
/proc/meminfo: memFree=23842720/32951124 swapFree=56717704/67111528
[pid=5285] ppid=5283 vsize=355524 CPUtime=0.64 cores=1,3,5,7
/proc/5285/stat : 5285 (python) S 5283 5285 4987 0 -1 4202496 14976 930 1 0 52 12 0 0 20 0 8 0 850162841 364056576 7373 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/5285/statm: 88881 7373 1883 364 0 23750 0
[pid=5291] ppid=5285 vsize=293084 CPUtime=0.4 cores=1,3,5,7
/proc/5291/stat : 5291 (python) S 5285 5285 4987 0 -1 4202560 1142 0 0 0 18 22 0 0 18 0 2 0 850162914 300118016 5685 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/5291/statm: 73271 5685 413 364 0 8158 0
[pid=5293] ppid=5291 vsize=1860 CPUtime=91.4 cores=1,3,5,7
/proc/5293/stat : 5293 (clasp-1.3.7-x86) T 5291 5293 5293 0 -1 4202496 472 0 0 0 9140 0 0 0 25 0 1 0 850162914 1904640 218 33554432000 134512640 136139019 4288314400 18446744073709551615 134831589 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/5293/statm: 465 218 183 398 0 65 0
[pid=5291/tid=5366] ppid=5285 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5366/stat : 5366 (python) S 5285 5285 4987 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 2 0 850167535 300118016 5685 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554946 18446604471136892096 0 0 -1 7 0 0 0
[pid=5367] ppid=5285 vsize=293640 CPUtime=0.44 cores=1,3,5,7
/proc/5367/stat : 5367 (python) S 5285 5285 4987 0 -1 4202560 1139 0 0 0 22 22 0 0 15 0 2 0 850167537 300687360 5790 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5367/statm: 73410 5790 397 364 0 8294 0
[pid=5369] ppid=5367 vsize=203804 CPUtime=97.41 cores=1,3,5,7
/proc/5369/stat : 5369 (wbo1.4a) T 5367 5369 5369 0 -1 4202496 50697 0 0 0 9601 140 0 0 25 0 1 0 850167538 208695296 50431 33554432000 134512640 135751879 4291501552 18446744073709551615 134616866 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/5369/statm: 50951 50431 143 303 0 50646 0
[pid=5367/tid=5424] ppid=5285 vsize=293640 CPUtime=0 cores=1,3,5,7
/proc/5367/task/5424/stat : 5424 (python) S 5285 5285 4987 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 850172668 300687360 5790 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554946 18446604467562614976 0 0 -1 7 0 0 0
[pid=5425] ppid=5285 vsize=304348 CPUtime=0.55 cores=1,3,5,7
/proc/5425/stat : 5425 (python) S 5285 5285 4987 0 -1 4202560 1245 0 0 0 34 21 0 0 17 0 2 0 850172671 311652352 5806 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5425/statm: 76087 5806 399 364 0 10968 0
[pid=5427] ppid=5425 vsize=101272 CPUtime=59.51 cores=1,3,5,7
/proc/5427/stat : 5427 (scip-2.0.1.linu) T 5425 5427 5427 0 -1 4202496 23550 0 0 0 4721 1230 0 0 18 0 1 0 850172671 103702528 22928 33554432000 4194304 13684479 140735015146896 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/5427/statm: 25318 22928 804 2317 0 22996 0
[pid=5425/tid=5433] ppid=5285 vsize=304348 CPUtime=0 cores=1,3,5,7
/proc/5425/task/5433/stat : 5433 (python) S 5285 5285 4987 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 850178624 311652352 5806 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554946 18446604464125659200 0 0 -1 7 0 0 0
[pid=5434] ppid=5285 vsize=314360 CPUtime=0.21 cores=1,3,5,7
/proc/5434/stat : 5434 (python) S 5285 5285 4987 0 -1 4202560 1120 0 0 0 10 11 0 0 18 0 2 0 850178626 321904640 5834 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5434/statm: 78590 5834 397 364 0 13468 0
[pid=5436] ppid=5434 vsize=8544156 CPUtime=49.39 cores=1,3,5,7
/proc/5436/stat : 5436 (java) T 5434 5436 5436 0 -1 4202496 60024 0 1 0 4931 8 0 0 15 0 19 0 850178627 8749215744 43113 33554432000 1073741824 1073778376 140736899970288 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/5436/statm: 2136039 43113 2232 9 0 2126780 0
[pid=5436/tid=5437] ppid=5434 vsize=8544156 CPUtime=48.17 cores=1,3,5,7
/proc/5436/task/5437/stat : 5437 (java) T 5434 5436 5436 0 -1 4202560 35221 0 1 0 4813 4 0 0 25 0 19 0 850178628 8749215744 43113 33554432000 1073741824 1073778376 140736899970288 18446744073709551615 46912505574596 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5436/tid=5438] ppid=5434 vsize=8544156 CPUtime=0 cores=1,3,5,7
/proc/5436/task/5438/stat : 5438 (java) T 5434 5436 5436 0 -1 4202560 1443 0 0 0 0 0 0 0 15 0 19 0 850178628 8749215744 43113 33554432000 1073741824 1073778376 140736899970288 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5436/tid=5439] ppid=5434 vsize=8544156 CPUtime=0.01 cores=1,3,5,7
/proc/5436/task/5439/stat : 5439 (java) T 5434 5436 5436 0 -1 4202560 1859 0 0 0 1 0 0 0 15 0 19 0 850178628 8749215744 43113 33554432000 1073741824 1073778376 140736899970288 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=5436/tid=5440] ppid=5434 vsize=8544156 CPUtime=0 cores=1,3,5,7
/proc/5436/task/5440/stat : 5440 (java) T 5434 5436 5436 0 -1 4202560 1568 0 0 0 0 0 0 0 15 0 19 0 850178628 8749215744 43113 33554432000 1073741824 1073778376 140736899970288 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5436/tid=5441] ppid=5434 vsize=8544156 CPUtime=0 cores=1,3,5,7
/proc/5436/task/5441/stat : 5441 (java) T 5434 5436 5436 0 -1 4202560 1123 0 0 0 0 0 0 0 15 0 19 0 850178628 8749215744 43113 33554432000 1073741824 1073778376 140736899970288 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5436/tid=5442] ppid=5434 vsize=8544156 CPUtime=0.01 cores=1,3,5,7
/proc/5436/task/5442/stat : 5442 (java) T 5434 5436 5436 0 -1 4202560 2090 0 0 0 1 0 0 0 15 0 19 0 850178628 8749215744 43113 33554432000 1073741824 1073778376 140736899970288 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=5436/tid=5443] ppid=5434 vsize=8544156 CPUtime=0 cores=1,3,5,7
/proc/5436/task/5443/stat : 5443 (java) T 5434 5436 5436 0 -1 4202560 1354 0 0 0 0 0 0 0 15 0 19 0 850178628 8749215744 43113 33554432000 1073741824 1073778376 140736899970288 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5436/tid=5444] ppid=5434 vsize=8544156 CPUtime=0 cores=1,3,5,7
/proc/5436/task/5444/stat : 5444 (java) T 5434 5436 5436 0 -1 4202560 1697 0 0 0 0 0 0 0 15 0 19 0 850178628 8749215744 43113 33554432000 1073741824 1073778376 140736899970288 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5436/tid=5445] ppid=5434 vsize=8544156 CPUtime=0 cores=1,3,5,7
/proc/5436/task/5445/stat : 5445 (java) T 5434 5436 5436 0 -1 4202560 1507 0 0 0 0 0 0 0 15 0 19 0 850178628 8749215744 43113 33554432000 1073741824 1073778376 140736899970288 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5436/tid=5446] ppid=5434 vsize=8544156 CPUtime=0 cores=1,3,5,7
/proc/5436/task/5446/stat : 5446 (java) T 5434 5436 5436 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 850178629 8749215744 43113 33554432000 1073741824 1073778376 140736899970288 18446744073709551615 255118585344 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5436/tid=5447] ppid=5434 vsize=8544156 CPUtime=0 cores=1,3,5,7
/proc/5436/task/5447/stat : 5447 (java) T 5434 5436 5436 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850178630 8749215744 43113 33554432000 1073741824 1073778376 140736899970288 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=5436/tid=5448] ppid=5434 vsize=8544156 CPUtime=0 cores=1,3,5,7
/proc/5436/task/5448/stat : 5448 (java) T 5434 5436 5436 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850178630 8749215744 43113 33554432000 1073741824 1073778376 140736899970288 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=5436/tid=5449] ppid=5434 vsize=8544156 CPUtime=0 cores=1,3,5,7
/proc/5436/task/5449/stat : 5449 (java) T 5434 5436 5436 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850178632 8749215744 43113 33554432000 1073741824 1073778376 140736899970288 18446744073709551615 255118592433 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=5436/tid=5450] ppid=5434 vsize=8544156 CPUtime=0.52 cores=1,3,5,7
/proc/5436/task/5450/stat : 5450 (java) T 5434 5436 5436 0 -1 4202560 6906 0 0 0 52 0 0 0 15 0 19 0 850178632 8749215744 43113 33554432000 1073741824 1073778376 140736899970288 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=5436/tid=5451] ppid=5434 vsize=8544156 CPUtime=0.56 cores=1,3,5,7
/proc/5436/task/5451/stat : 5451 (java) T 5434 5436 5436 0 -1 4202560 3853 0 0 0 56 0 0 0 15 0 19 0 850178632 8749215744 43113 33554432000 1073741824 1073778376 140736899970288 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5436/tid=5452] ppid=5434 vsize=8544156 CPUtime=0 cores=1,3,5,7
/proc/5436/task/5452/stat : 5452 (java) T 5434 5436 5436 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850178632 8749215744 43113 33554432000 1073741824 1073778376 140736899970288 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=5436/tid=5453] ppid=5434 vsize=8544156 CPUtime=0 cores=1,3,5,7
/proc/5436/task/5453/stat : 5453 (java) T 5434 5436 5436 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850178632 8749215744 43113 33554432000 1073741824 1073778376 140736899970288 18446744073709551615 255118585344 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5436/tid=5454] ppid=5434 vsize=8544156 CPUtime=0 cores=1,3,5,7
/proc/5436/task/5454/stat : 5454 (java) T 5434 5436 5436 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850178645 8749215744 43113 33554432000 1073741824 1073778376 140736899970288 18446744073709551615 255118585344 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5434/tid=5525] ppid=5285 vsize=314360 CPUtime=0 cores=1,3,5,7
/proc/5434/task/5525/stat : 5525 (python) S 5285 5285 4987 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 850183467 321904640 5834 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554946 18446604454882029952 0 0 -1 7 0 0 0
[pid=5526] ppid=5285 vsize=324616 CPUtime=0.61 cores=1,3,5,7
/proc/5526/stat : 5526 (python) S 5285 5285 4987 0 -1 4202560 1150 0 0 0 27 34 0 0 19 0 2 0 850183470 332406784 5857 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5526/statm: 81154 5857 397 364 0 16029 0
[pid=5528] ppid=5526 vsize=27228 CPUtime=141.62 cores=1,3,5,7
/proc/5528/stat : 5528 (bsolo_pb10) T 5526 5528 5528 0 -1 4202496 2674 0 0 0 14145 17 0 0 25 0 1 0 850183470 27881472 2407 33554432000 134512640 137138936 4294807552 18446744073709551615 136500283 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/5528/statm: 6807 2407 192 642 0 6163 0
[pid=5526/tid=5672] ppid=5285 vsize=324616 CPUtime=0 cores=1,3,5,7
/proc/5526/task/5672/stat : 5672 (python) S 5285 5285 4987 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 850197633 332406784 5857 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554946 18446604464125657408 0 0 -1 7 0 0 0
[pid=5673] ppid=5285 vsize=335164 CPUtime=0.48 cores=1,3,5,7
/proc/5673/stat : 5673 (python) S 5285 5285 4987 0 -1 4202560 1372 0 0 0 29 19 0 0 16 0 2 0 850197635 343207936 5940 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5673/statm: 83791 5940 408 364 0 18663 0
[pid=5675] ppid=5673 vsize=84352 CPUtime=55.33 cores=1,3,5,7
/proc/5675/stat : 5675 (scip-2.0.1.linu) T 5673 5675 5675 0 -1 4202496 20247 0 0 0 4828 705 0 0 18 0 1 0 850197636 86376448 17889 33554432000 4194304 15243407 140734194119824 18446744073709551615 13277498 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/5675/statm: 21088 17889 929 2698 0 18383 0
[pid=5673/tid=5856] ppid=5285 vsize=335164 CPUtime=0 cores=1,3,5,7
/proc/5673/task/5856/stat : 5856 (python) S 5285 5285 4987 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850203182 343207936 5940 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554946 18446604466530053184 0 0 -1 1 0 0 0
[pid=5868] ppid=5285 vsize=345280 CPUtime=0 cores=1,3,5,7
/proc/5868/stat : 5868 (python) S 5285 5285 4987 0 -1 4202560 787 0 0 0 0 0 0 0 19 0 1 0 850212328 353566720 5832 33554432000 4194304 5683644 140734835151392 18446744073709551615 255106788934 0 0 16781312 33554946 12562953858206105863 0 0 17 1 0 0 0
/proc/5868/statm: 86320 5832 346 364 0 21189 0
[pid=5870] ppid=5868 vsize=8465512 CPUtime=0.04 cores=1,3,5,7
/proc/5870/stat : 5870 (java) S 5868 5870 5870 0 -1 4202496 4065 0 1 0 4 0 0 0 18 0 18 0 850212328 8668684288 3515 33554432000 1073741824 1073778376 140736623861824 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5870/statm: 2116378 3515 1733 9 0 2107119 0
[pid=5870/tid=5871] ppid=5868 vsize=8465644 CPUtime=0.05 cores=1,3,5,7
/proc/5870/task/5871/stat : 5871 (java) R 5868 5870 5870 0 -1 4202560 2879 0 1 0 5 0 0 0 22 0 18 0 850212329 8668819456 3750 33554432000 1073741824 1073778376 140736623861824 18446744073709551615 46924244818771 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5870/tid=5872] ppid=5868 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/5870/task/5872/stat : 5872 (java) S 5868 5870 5870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850212330 8668819456 3750 33554432000 1073741824 1073778376 140736623861824 18446744073709551615 255118584729 0 4 0 16800975 18446604461578062656 0 0 -1 3 0 0 0
[pid=5870/tid=5873] ppid=5868 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/5870/task/5873/stat : 5873 (java) S 5868 5870 5870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850212330 8668819456 3751 33554432000 1073741824 1073778376 140736623861824 18446744073709551615 255118584729 0 4 0 16800975 18446604461578062656 0 0 -1 3 0 0 0
[pid=5870/tid=5874] ppid=5868 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/5870/task/5874/stat : 5874 (java) S 5868 5870 5870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850212330 8668819456 3751 33554432000 1073741824 1073778376 140736623861824 18446744073709551615 255118584729 0 4 0 16800975 18446604461578062656 0 0 -1 3 0 0 0
[pid=5870/tid=5875] ppid=5868 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/5870/task/5875/stat : 5875 (java) S 5868 5870 5870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850212330 8668819456 3752 33554432000 1073741824 1073778376 140736623861824 18446744073709551615 255118584729 0 4 0 16800975 18446604461578062656 0 0 -1 3 0 0 0
[pid=5870/tid=5876] ppid=5868 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/5870/task/5876/stat : 5876 (java) S 5868 5870 5870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850212330 8668819456 3752 33554432000 1073741824 1073778376 140736623861824 18446744073709551615 255118584729 0 4 0 16800975 18446604461578062656 0 0 -1 3 0 0 0
[pid=5870/tid=5877] ppid=5868 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/5870/task/5877/stat : 5877 (java) S 5868 5870 5870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850212330 8668819456 3752 33554432000 1073741824 1073778376 140736623861824 18446744073709551615 255118584729 0 4 0 16800975 18446604461578062656 0 0 -1 3 0 0 0
[pid=5870/tid=5878] ppid=5868 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/5870/task/5878/stat : 5878 (java) S 5868 5870 5870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 850212330 8668819456 3752 33554432000 1073741824 1073778376 140736623861824 18446744073709551615 255118584729 0 4 0 16800975 18446604461578062656 0 0 -1 3 0 0 0
[pid=5870/tid=5879] ppid=5868 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/5870/task/5879/stat : 5879 (java) S 5868 5870 5870 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 850212330 8668819456 3753 33554432000 1073741824 1073778376 140736623861824 18446744073709551615 255118584729 0 4 0 16800975 18446604461578062656 0 0 -1 3 0 0 0
[pid=5870/tid=5880] ppid=5868 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/5870/task/5880/stat : 5880 (java) S 5868 5870 5870 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 850212331 8668819456 3753 33554432000 1073741824 1073778376 140736623861824 18446744073709551615 255118585344 0 0 0 16800975 18446604461578062656 0 0 -1 1 0 0 0
[pid=5870/tid=5881] ppid=5868 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/5870/task/5881/stat : 5881 (java) S 5868 5870 5870 0 -1 4202560 8 0 0 0 0 0 0 0 23 0 18 0 850212331 8668819456 3753 33554432000 1073741824 1073778376 140736623861824 18446744073709551615 255118584729 0 4 0 16800975 18446604461578062656 0 0 -1 5 0 0 0
[pid=5870/tid=5882] ppid=5868 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/5870/task/5882/stat : 5882 (java) S 5868 5870 5870 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 850212331 8668819456 3755 33554432000 1073741824 1073778376 140736623861824 18446744073709551615 255118584729 0 4 0 16800975 18446604461578062656 0 0 -1 3 0 0 0
[pid=5870/tid=5883] ppid=5868 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/5870/task/5883/stat : 5883 (java) S 5868 5870 5870 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 850212333 8668819456 3755 33554432000 1073741824 1073778376 140736623861824 18446744073709551615 255118592433 0 4 0 16800975 18446604461578062656 0 0 -1 5 0 0 0
[pid=5870/tid=5884] ppid=5868 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/5870/task/5884/stat : 5884 (java) S 5868 5870 5870 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 18 0 850212333 8668819456 3755 33554432000 1073741824 1073778376 140736623861824 18446744073709551615 255118584729 0 4 0 16800975 18446604461578062656 0 0 -1 5 0 0 0
[pid=5870/tid=5885] ppid=5868 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/5870/task/5885/stat : 5885 (java) S 5868 5870 5870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 850212333 8668819456 3756 33554432000 1073741824 1073778376 140736623861824 18446744073709551615 255118584729 0 4 0 16800975 18446604461578062656 0 0 -1 5 0 0 0
[pid=5870/tid=5886] ppid=5868 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/5870/task/5886/stat : 5886 (java) S 5868 5870 5870 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 850212333 8668819456 3757 33554432000 1073741824 1073778376 140736623861824 18446744073709551615 255118584729 0 4 0 16800975 18446604461578062656 0 0 -1 5 0 0 0
[pid=5870/tid=5887] ppid=5868 vsize=8465644 CPUtime=0 cores=1,3,5,7
/proc/5870/task/5887/stat : 5887 (java) S 5868 5870 5870 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 850212333 8668819456 3757 33554432000 1073741824 1073778376 140736623861824 18446744073709551615 255118585344 0 4 0 16800975 18446604461578062656 0 0 -1 1 0 0 0
[pid=5285/tid=5292] ppid=5283 vsize=355524 CPUtime=0 cores=1,3,5,7
/proc/5285/task/5292/stat : 5292 (python) S 5283 5285 4987 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 8 0 850162914 364056576 7373 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554434 18446604468930632704 0 0 -1 5 0 0 0
[pid=5285/tid=5368] ppid=5283 vsize=355524 CPUtime=0 cores=1,3,5,7
/proc/5285/task/5368/stat : 5368 (python) S 5283 5285 4987 0 -1 4202560 34 930 0 0 0 0 0 0 18 0 8 0 850167537 364056576 7373 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554434 18446604468930632704 0 0 -1 3 0 0 0
[pid=5285/tid=5426] ppid=5283 vsize=355524 CPUtime=0 cores=1,3,5,7
/proc/5285/task/5426/stat : 5426 (python) S 5283 5285 4987 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 8 0 850172671 364056576 7373 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554434 18446604468930632704 0 0 -1 7 0 0 0
[pid=5285/tid=5435] ppid=5283 vsize=355524 CPUtime=0 cores=1,3,5,7
/proc/5285/task/5435/stat : 5435 (python) S 5283 5285 4987 0 -1 4202560 25 930 0 0 0 0 0 0 20 0 8 0 850178626 364056576 7373 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554434 18446604468930632704 0 0 -1 3 0 0 0
[pid=5285/tid=5527] ppid=5283 vsize=355524 CPUtime=0 cores=1,3,5,7
/proc/5285/task/5527/stat : 5527 (python) S 5283 5285 4987 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 8 0 850183470 364056576 7373 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554434 18446604468930632704 0 0 -1 1 0 0 0
[pid=5285/tid=5674] ppid=5283 vsize=355524 CPUtime=0 cores=1,3,5,7
/proc/5285/task/5674/stat : 5674 (python) S 5283 5285 4987 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 8 0 850197636 364056576 7373 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554434 18446604468930632704 0 0 -1 7 0 0 0
[pid=5285/tid=5869] ppid=5283 vsize=355524 CPUtime=0 cores=1,3,5,7
/proc/5285/task/5869/stat : 5869 (python) S 5283 5285 4987 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 8 0 850212328 364056576 7373 33554432000 4194304 5683644 140734835151392 18446744073709551615 255118592433 0 0 16781312 33554434 18446604468930632704 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 498.03
Current children cumulated vsize (KiB) 19994200
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5285 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=524920
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=130980
# CPU time returned by wait4() is 0.6559
# while last known CPU time is 498.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 494.996
CPU time (s): 498.03
CPU user time (s): 475.62
CPU system time (s): 22.41
CPU usage (%): 100.613
Max. virtual memory (cumulated for all children) (KiB): 19994200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.52492
system time used= 0.13098
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15911
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= 2878
involuntary context switches= 22
runsolver used 3.41548 second user time and 8.02278 second system time
The end