runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3742161-1338723656/watcher-3742161-1338723656 -o /tmp/evaluation-result-3742161-1338723656/solver-3742161-1338723656 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3742161-1338723656.opb -seed 6412469 -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.28 2.61 3/219 6568
/proc/meminfo: memFree=25344356/32873844 swapFree=6608/6608
[pid=6568] ppid=6566 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/6568/stat : 6568 (python) D 6566 6568 3621 0 -1 4202496 633 0 0 0 0 0 0 0 20 0 1 0 338490142 15642624 527 33554432000 4194304 5683644 140735494116544 140735494102456 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 3819 527 312 364 0 261 0
[startup+0.0819461 s]
/proc/loadavg: 2.07 2.28 2.61 3/219 6568
/proc/meminfo: memFree=25344356/32873844 swapFree=6608/6608
[pid=6568] ppid=6566 vsize=17012 CPUtime=0.02 cores=1,3,5,7
/proc/6568/stat : 6568 (python) D 6566 6568 3621 0 -1 4202496 1312 0 0 0 1 1 0 0 20 0 1 0 338490142 17420288 1083 33554432000 4194304 5683644 140735494116544 140735494056536 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 4253 1083 426 364 0 695 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17012
[startup+0.100297 s]
/proc/loadavg: 2.07 2.28 2.61 3/219 6568
/proc/meminfo: memFree=25344356/32873844 swapFree=6608/6608
[pid=6568] ppid=6566 vsize=19084 CPUtime=0.03 cores=1,3,5,7
/proc/6568/stat : 6568 (python) R 6566 6568 3621 0 -1 4202496 1394 0 0 0 2 1 0 0 20 0 1 0 338490142 19542016 1149 33554432000 4194304 5683644 140735494116544 140735494047048 4874184 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 4771 1149 430 364 0 695 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19084
[startup+0.300279 s]
/proc/loadavg: 2.07 2.28 2.61 3/219 6568
/proc/meminfo: memFree=25344356/32873844 swapFree=6608/6608
[pid=6568] ppid=6566 vsize=96916 CPUtime=0.12 cores=1,3,5,7
/proc/6568/stat : 6568 (python) D 6566 6568 3621 0 -1 4202496 3959 1008 1 0 8 4 0 0 20 0 1 0 338490142 99241984 2652 33554432000 4194304 5683644 140735494116544 140735493990632 213410475303 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 24229 2652 823 364 0 1720 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 96916
[startup+0.700268 s]
/proc/loadavg: 2.07 2.28 2.61 3/219 6568
/proc/meminfo: memFree=25344356/32873844 swapFree=6608/6608
[pid=6568] ppid=6566 vsize=138344 CPUtime=0.26 cores=1,3,5,7
/proc/6568/stat : 6568 (python) D 6566 6568 3621 0 -1 4202496 6244 1008 1 0 15 11 0 0 20 0 1 0 338490142 141664256 4083 33554432000 4194304 5683644 140735494116544 140735494030264 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 34586 4083 1098 364 0 2952 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 138344
[startup+1.50029 s]
/proc/loadavg: 2.07 2.27 2.61 3/220 6573
/proc/meminfo: memFree=25324336/32873844 swapFree=6608/6608
[pid=6568] ppid=6566 vsize=359520 CPUtime=0.7 cores=1,3,5,7
/proc/6568/stat : 6568 (python) S 6566 6568 3621 0 -1 4202496 11294 1008 1 0 51 19 0 0 20 0 2 0 338490142 368148480 7741 33554432000 4194304 5683644 140735494116544 140735494111376 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 89880 7741 1900 364 0 25103 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 359520
[startup+3.10044 s]
/proc/loadavg: 2.07 2.27 2.61 3/223 6576
/proc/meminfo: memFree=25253144/32873844 swapFree=6608/6608
[pid=6568] ppid=6566 vsize=359520 CPUtime=0.7 cores=1,3,5,7
/proc/6568/stat : 6568 (python) S 6566 6568 3621 0 -1 4202496 11294 1008 1 0 51 19 0 0 20 0 2 0 338490142 368148480 7741 33554432000 4194304 5683644 140735494116544 140735494111376 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 89880 7741 1900 364 0 25103 0
[pid=6574] ppid=6568 vsize=283740 CPUtime=0 cores=1,3,5,7
/proc/6574/stat : 6574 (python) S 6568 6568 3621 0 -1 4202560 765 0 0 0 0 0 0 0 20 0 1 0 338490288 290549760 6176 33554432000 4194304 5683644 140735494116544 140735494107632 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/6574/statm: 70935 6176 341 364 0 6158 0
[pid=6576] ppid=6574 vsize=95424 CPUtime=1.62 cores=1,3,5,7
/proc/6576/stat : 6576 (scip-2.0.1.linu) R 6574 6576 6576 0 -1 4202496 21027 0 0 0 157 5 0 0 20 0 1 0 338490289 97714176 20426 33554432000 4194304 15243407 140734303729936 140734303726232 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/6576/statm: 23856 20426 682 2698 0 21151 0
[pid=6568/tid=6575] ppid=6566 vsize=359520 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6575/stat : 6575 (python) S 6566 6568 3621 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 338490289 368148480 7741 33554432000 4194304 5683644 140735494116544 139736026616368 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 738684
heavy processes:
[startup+6.30043 s]
/proc/loadavg: 2.06 2.27 2.60 3/223 6576
/proc/meminfo: memFree=25189300/32873844 swapFree=6608/6608
[pid=6568] ppid=6566 vsize=359520 CPUtime=0.7 cores=1,3,5,7
/proc/6568/stat : 6568 (python) S 6566 6568 3621 0 -1 4202496 11294 1008 1 0 51 19 0 0 20 0 2 0 338490142 368148480 7741 33554432000 4194304 5683644 140735494116544 140735494111376 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 89880 7741 1900 364 0 25103 0
[pid=6574] ppid=6568 vsize=283740 CPUtime=0 cores=1,3,5,7
/proc/6574/stat : 6574 (python) S 6568 6568 3621 0 -1 4202560 895 0 0 0 0 0 0 0 20 0 1 0 338490288 290549760 6199 33554432000 4194304 5683644 140735494116544 140735494107632 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/6574/statm: 70935 6199 364 364 0 6158 0
[pid=6576] ppid=6574 vsize=144644 CPUtime=4.83 cores=1,3,5,7
/proc/6576/stat : 6576 (scip-2.0.1.linu) R 6574 6576 6576 0 -1 4202496 33218 0 0 0 471 12 0 0 20 0 1 0 338490289 148115456 32617 33554432000 4194304 15243407 140734303729936 140734303726232 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/6576/statm: 36161 32617 686 2698 0 33456 0
[pid=6568/tid=6575] ppid=6566 vsize=359520 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6575/stat : 6575 (python) S 6566 6568 3621 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 338490289 368148480 7741 33554432000 4194304 5683644 140735494116544 139736026616368 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.53
Current children cumulated vsize (KiB) 787904
[startup+12.7004 s]
/proc/loadavg: 2.06 2.26 2.60 3/223 6576
/proc/meminfo: memFree=25141168/32873844 swapFree=6608/6608
[pid=6568] ppid=6566 vsize=359520 CPUtime=0.7 cores=1,3,5,7
/proc/6568/stat : 6568 (python) S 6566 6568 3621 0 -1 4202496 11294 1008 1 0 51 19 0 0 20 0 2 0 338490142 368148480 7741 33554432000 4194304 5683644 140735494116544 140735494111376 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 89880 7741 1900 364 0 25103 0
[pid=6574] ppid=6568 vsize=283740 CPUtime=0.01 cores=1,3,5,7
/proc/6574/stat : 6574 (python) S 6568 6568 3621 0 -1 4202560 899 0 0 0 1 0 0 0 20 0 1 0 338490288 290549760 6199 33554432000 4194304 5683644 140735494116544 140735494107632 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/6574/statm: 70935 6199 364 364 0 6158 0
[pid=6576] ppid=6574 vsize=192052 CPUtime=11.23 cores=1,3,5,7
/proc/6576/stat : 6576 (scip-2.0.1.linu) R 6574 6576 6576 0 -1 4202496 45003 0 0 0 1104 19 0 0 20 0 1 0 338490289 196661248 44402 33554432000 4194304 15243407 140734303729936 140734303726248 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/6576/statm: 48013 44402 686 2698 0 45308 0
[pid=6568/tid=6575] ppid=6566 vsize=359520 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6575/stat : 6575 (python) S 6566 6568 3621 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 338490289 368148480 7741 33554432000 4194304 5683644 140735494116544 139736026616368 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 11.94
Current children cumulated vsize (KiB) 835312
[startup+25.5004 s]
/proc/loadavg: 2.13 2.27 2.60 3/223 6576
/proc/meminfo: memFree=25091824/32873844 swapFree=6608/6608
[pid=6568] ppid=6566 vsize=359520 CPUtime=0.7 cores=1,3,5,7
/proc/6568/stat : 6568 (python) S 6566 6568 3621 0 -1 4202496 11294 1008 1 0 51 19 0 0 20 0 2 0 338490142 368148480 7741 33554432000 4194304 5683644 140735494116544 140735494111376 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 89880 7741 1900 364 0 25103 0
[pid=6574] ppid=6568 vsize=283740 CPUtime=0.04 cores=1,3,5,7
/proc/6574/stat : 6574 (python) S 6568 6568 3621 0 -1 4202560 1007 0 0 0 2 2 0 0 20 0 1 0 338490288 290549760 6204 33554432000 4194304 5683644 140735494116544 140735494107632 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/6574/statm: 70935 6204 369 364 0 6158 0
[pid=6576] ppid=6574 vsize=240700 CPUtime=24.03 cores=1,3,5,7
/proc/6576/stat : 6576 (scip-2.0.1.linu) R 6574 6576 6576 0 -1 4202496 57078 0 0 0 2359 44 0 0 20 0 1 0 338490289 246476800 56441 33554432000 4194304 15243407 140734303729936 140734303726024 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/6576/statm: 60175 56441 874 2698 0 57470 0
[pid=6568/tid=6575] ppid=6566 vsize=359520 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6575/stat : 6575 (python) S 6566 6568 3621 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 338490289 368148480 7741 33554432000 4194304 5683644 140735494116544 139736026616368 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 24.77
Current children cumulated vsize (KiB) 883960
[startup+51.1004 s]
/proc/loadavg: 2.15 2.26 2.58 3/226 6580
/proc/meminfo: memFree=25062788/32873844 swapFree=6608/6608
[pid=6568] ppid=6566 vsize=435532 CPUtime=0.72 cores=1,3,5,7
/proc/6568/stat : 6568 (python) S 6566 6568 3621 0 -1 4202496 12223 1008 1 0 53 19 0 0 20 0 3 0 338490142 445984768 7805 33554432000 4194304 5683644 140735494116544 140735494111376 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 108883 7805 1903 364 0 44103 0
[pid=6574] ppid=6568 vsize=359520 CPUtime=0.08 cores=1,3,5,7
/proc/6574/stat : 6574 (python) S 6568 6568 3621 0 -1 4202560 1158 0 0 0 4 4 0 0 20 0 2 0 338490288 368148480 6239 33554432000 4194304 5683644 140735494116544 140735494108192 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6574/statm: 89880 6239 397 364 0 25103 0
[pid=6576] ppid=6574 vsize=262672 CPUtime=46.44 cores=1,3,5,7
/proc/6576/stat : 6576 (scip-2.0.1.linu) T 6574 6576 6576 0 -1 4202496 65386 0 0 0 4576 68 0 0 20 0 1 0 338490289 268976128 61730 33554432000 4194304 15243407 140734303729936 140734303724648 12371443 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/6576/statm: 65668 61730 899 2698 0 62963 0
[pid=6574/tid=6577] ppid=6568 vsize=359520 CPUtime=0 cores=1,3,5,7
/proc/6574/task/6577/stat : 6577 (python) S 6568 6568 3621 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338494935 368148480 6239 33554432000 4194304 5683644 140735494116544 139736026616368 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6578] ppid=6568 vsize=359752 CPUtime=0 cores=1,3,5,7
/proc/6578/stat : 6578 (python) S 6568 6568 3621 0 -1 4202560 909 0 0 0 0 0 0 0 20 0 1 0 338494937 368386048 6254 33554432000 4194304 5683644 140735494116544 140735494107632 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/6578/statm: 89938 6254 358 364 0 25158 0
[pid=6580] ppid=6578 vsize=5196 CPUtime=3.14 cores=1,3,5,7
/proc/6580/stat : 6580 (clasp-1.3.7-x86) R 6578 6580 6580 0 -1 4202496 1386 0 0 0 314 0 0 0 20 0 1 0 338494937 5320704 1049 33554432000 134512640 136139019 4287080384 4287079360 134883337 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/6580/statm: 1299 1049 182 398 0 899 0
[pid=6568/tid=6575] ppid=6566 vsize=435532 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6575/stat : 6575 (python) S 6566 6568 3621 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 3 0 338490289 445984768 7805 33554432000 4194304 5683644 140735494116544 139736026616368 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6579] ppid=6566 vsize=435532 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6579/stat : 6579 (python) S 6566 6568 3621 0 -1 4202560 22 1008 0 0 0 0 0 0 20 0 3 0 338494937 445984768 7805 33554432000 4194304 5683644 140735494116544 139736016126512 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.38
Current children cumulated vsize (KiB) 1422672
[startup+102.301 s]
/proc/loadavg: 2.06 2.22 2.55 3/230 6584
/proc/meminfo: memFree=24908544/32873844 swapFree=6608/6608
[pid=6568] ppid=6566 vsize=511324 CPUtime=0.75 cores=1,3,5,7
/proc/6568/stat : 6568 (python) S 6566 6568 3621 0 -1 4202496 13114 1008 1 0 55 20 0 0 20 0 4 0 338490142 523595776 7813 33554432000 4194304 5683644 140735494116544 140735494111376 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 127831 7813 1905 364 0 63048 0
[pid=6574] ppid=6568 vsize=359520 CPUtime=0.08 cores=1,3,5,7
/proc/6574/stat : 6574 (python) S 6568 6568 3621 0 -1 4202560 1158 0 0 0 4 4 0 0 20 0 2 0 338490288 368148480 6239 33554432000 4194304 5683644 140735494116544 140735494108192 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6574/statm: 89880 6239 397 364 0 25103 0
[pid=6576] ppid=6574 vsize=262672 CPUtime=46.44 cores=1,3,5,7
/proc/6576/stat : 6576 (scip-2.0.1.linu) T 6574 6576 6576 0 -1 4202496 65386 0 0 0 4576 68 0 0 20 0 1 0 338490289 268976128 61730 33554432000 4194304 15243407 140734303729936 140734303724648 12371443 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/6576/statm: 65668 61730 899 2698 0 62963 0
[pid=6574/tid=6577] ppid=6568 vsize=359520 CPUtime=0 cores=1,3,5,7
/proc/6574/task/6577/stat : 6577 (python) S 6568 6568 3621 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338494935 368148480 6239 33554432000 4194304 5683644 140735494116544 139736026616368 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6578] ppid=6568 vsize=359752 CPUtime=0.07 cores=1,3,5,7
/proc/6578/stat : 6578 (python) S 6568 6568 3621 0 -1 4202560 1097 0 0 0 4 3 0 0 20 0 2 0 338494937 368386048 6281 33554432000 4194304 5683644 140735494116544 140735494108192 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6578/statm: 89938 6281 384 364 0 25158 0
[pid=6580] ppid=6578 vsize=12852 CPUtime=47.11 cores=1,3,5,7
/proc/6580/stat : 6580 (clasp-1.3.7-x86) T 6578 6580 6580 0 -1 4202496 3307 0 0 0 4711 0 0 0 20 0 1 0 338494937 13160448 2970 33554432000 134512640 136139019 4287080384 4287079008 134599797 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/6580/statm: 3213 2970 182 398 0 2813 0
[pid=6578/tid=6581] ppid=6568 vsize=359752 CPUtime=0 cores=1,3,5,7
/proc/6578/task/6581/stat : 6581 (python) S 6568 6568 3621 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 2 0 338499651 368386048 6281 33554432000 4194304 5683644 140735494116544 139736026616368 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6582] ppid=6568 vsize=435544 CPUtime=0 cores=1,3,5,7
/proc/6582/stat : 6582 (python) S 6568 6568 3621 0 -1 4202560 922 0 0 0 0 0 0 0 20 0 1 0 338499653 445997056 6261 33554432000 4194304 5683644 140735494116544 140735494107632 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/6582/statm: 108886 6261 359 364 0 44103 0
[pid=6584] ppid=6582 vsize=158756 CPUtime=7.17 cores=1,3,5,7
/proc/6584/stat : 6584 (scip-2.0.1.linu) R 6582 6584 6584 0 -1 4202496 37018 0 0 0 702 15 0 0 20 0 1 0 338499654 162566144 36404 33554432000 4194304 13684479 140735861340720 140735861337032 4841757 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/6584/statm: 39689 36404 639 2317 0 37367 0
[pid=6568/tid=6575] ppid=6566 vsize=511324 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6575/stat : 6575 (python) S 6566 6568 3621 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 4 0 338490289 523595776 7813 33554432000 4194304 5683644 140735494116544 139736026616368 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6579] ppid=6566 vsize=511324 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/6715/stat : 6715 (bsolo_pb10) T 6713 6715 6715 0 -1 4202496 23558 0 0 0 4710 10 0 0 20 0 1 0 338546474 104632320 23120 33554432000 134512640 137138936 4294333856 4294332784 134542805 0 0 16781312 16384 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/6715/statm: 25545 23120 192 642 0 24901 0
[pid=6713/tid=6716] ppid=6568 vsize=738712 CPUtime=0 cores=1,3,5,7
/proc/6713/task/6716/stat : 6716 (python) S 6568 6568 3621 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338551196 756441088 6327 33554432000 4194304 5683644 140735494116544 139735974167088 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6717] ppid=6568 vsize=814248 CPUtime=0.03 cores=1,3,5,7
/proc/6717/stat : 6717 (python) S 6568 6568 3621 0 -1 4202560 1002 0 0 0 2 1 0 0 20 0 1 0 338551198 833789952 6747 33554432000 4194304 5683644 140735494116544 140735494107632 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/6717/statm: 203562 6747 359 364 0 138764 0
[pid=6719] ppid=6717 vsize=74684 CPUtime=16.93 cores=1,3,5,7
/proc/6719/stat : 6719 (bsolo_pb10) R 6717 6719 6719 0 -1 4202496 16687 0 0 0 1674 19 0 0 20 0 1 0 338551198 76476416 16250 33554432000 134512640 137138936 4291019600 4291018528 134542316 0 0 16781312 16384 0 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 18671 16250 191 642 0 18027 0
[pid=6568/tid=6575] ppid=6566 vsize=890028 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6575/stat : 6575 (python) S 6566 6568 3621 0 -1 4202560 31 1008 0 0 0 0 0 0 20 0 9 0 338490289 911388672 8309 33554432000 4194304 5683644 140735494116544 139736026616368 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6579] ppid=6566 vsize=890028 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6579/stat : 6579 (python) S 6566 6568 3621 0 -1 4202560 31 1008 0 0 0 0 0 0 20 0 9 0 338494937 911388672 8309 33554432000 4194304 5683644 140735494116544 139736016126512 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6583] ppid=6566 vsize=890028 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6583/stat : 6583 (python) S 6566 6568 3621 0 -1 4202560 25 1008 0 0 0 0 0 0 20 0 9 0 338499654 911388672 8309 33554432000 4194304 5683644 140735494116544 139736005636656 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6641] ppid=6566 vsize=890028 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6641/stat : 6641 (python) S 6566 6568 3621 0 -1 4202560 22 1008 0 0 0 0 0 0 20 0 9 0 338509070 911388672 8309 33554432000 4194304 5683644 140735494116544 139735995146800 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6649] ppid=6566 vsize=890028 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6649/stat : 6649 (python) S 6566 6568 3621 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 9 0 338513806 911388672 8309 33554432000 4194304 5683644 140735494116544 139735984656944 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6658] ppid=6566 vsize=890028 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6658/stat : 6658 (python) S 6566 6568 3621 0 -1 4202560 23 1008 0 0 0 0 0 0 20 0 9 0 338523460 911388672 8309 33554432000 4194304 5683644 140735494116544 139735974167088 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6714] ppid=6566 vsize=890028 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6714/stat : 6714 (python) S 6566 6568 3621 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 9 0 338546474 911388672 8309 33554432000 4194304 5683644 140735494116544 139735620117040 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6718] ppid=6566 vsize=890028 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6718/stat : 6718 (python) S 6566 6568 3621 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 9 0 338551198 911388672 8309 33554432000 4194304 5683644 140735494116544 139735609627184 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 630.17
Current children cumulated vsize (KiB) 15872300
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+627.502 s]
/proc/loadavg: 2.00 2.04 2.30 3/268 6719
/proc/meminfo: memFree=23087712/32873844 swapFree=6608/6608
[pid=6568] ppid=6566 vsize=890028 CPUtime=1.48 cores=1,3,5,7
/proc/6568/stat : 6568 (python) S 6566 6568 3621 0 -1 4202496 18208 1008 1 0 126 22 0 0 20 0 9 0 338490142 911388672 8309 33554432000 4194304 5683644 140735494116544 140735494111376 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 222507 8309 1915 364 0 157709 0
[pid=6574] ppid=6568 vsize=359520 CPUtime=0.17 cores=1,3,5,7
/proc/6574/stat : 6574 (python) S 6568 6568 3621 0 -1 4202560 1200 0 0 0 10 7 0 0 20 0 2 0 338490288 368148480 6240 33554432000 4194304 5683644 140735494116544 140735494108192 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6574/statm: 89880 6240 398 364 0 25103 0
[pid=6576] ppid=6574 vsize=268952 CPUtime=93.38 cores=1,3,5,7
/proc/6576/stat : 6576 (scip-2.0.1.linu) T 6574 6576 6576 0 -1 4202496 90266 0 0 0 9258 80 0 0 20 0 1 0 338490289 275406848 64563 33554432000 4194304 15243407 140734303729936 140734303724328 7146938 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/6576/statm: 67238 64563 947 2698 0 64533 0
[pid=6574/tid=6577] ppid=6568 vsize=359520 CPUtime=0 cores=1,3,5,7
/proc/6574/task/6577/stat : 6577 (python) S 6568 6568 3621 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338494935 368148480 6240 33554432000 4194304 5683644 140735494116544 139736026616368 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6578] ppid=6568 vsize=359752 CPUtime=0.42 cores=1,3,5,7
/proc/6578/stat : 6578 (python) S 6568 6568 3621 0 -1 4202560 1180 0 0 0 25 17 0 0 20 0 2 0 338494937 368386048 6281 33554432000 4194304 5683644 140735494116544 140735494108192 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6578/statm: 89938 6281 384 364 0 25158 0
[pid=6580] ppid=6578 vsize=23408 CPUtime=229.63 cores=1,3,5,7
/proc/6580/stat : 6580 (clasp-1.3.7-x86) T 6578 6580 6580 0 -1 4202496 5983 0 0 0 22959 4 0 0 20 0 1 0 338494937 23969792 5611 33554432000 134512640 136139019 4287080384 4287079360 134883415 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/6580/statm: 5852 5611 182 398 0 5452 0
[pid=6578/tid=6581] ppid=6568 vsize=359752 CPUtime=0 cores=1,3,5,7
/proc/6578/task/6581/stat : 6581 (python) S 6568 6568 3621 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 2 0 338499651 368386048 6281 33554432000 4194304 5683644 140735494116544 139736026616368 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6582] ppid=6568 vsize=435544 CPUtime=0.18 cores=1,3,5,7
/proc/6582/stat : 6582 (python) S 6568 6568 3621 0 -1 4202560 1150 0 0 0 10 8 0 0 20 0 2 0 338499653 445997056 6287 33554432000 4194304 5683644 140735494116544 140735494108192 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6582/statm: 108886 6287 384 364 0 44103 0
[pid=6584] ppid=6582 vsize=238100 CPUtime=93.59 cores=1,3,5,7
/proc/6584/stat : 6584 (scip-2.0.1.linu) T 6582 6584 6584 0 -1 4202496 64081 0 0 0 9288 71 0 0 20 0 1 0 338499654 243814400 57675 33554432000 4194304 13684479 140735861340720 140735861336808 11876362 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/6584/statm: 59525 57675 776 2317 0 57203 0
[pid=6582/tid=6588] ppid=6568 vsize=435544 CPUtime=0 cores=1,3,5,7
/proc/6582/task/6588/stat : 6588 (python) S 6568 6568 3621 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 338504501 445997056 6287 33554432000 4194304 5683644 140735494116544 139736016126512 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6640] ppid=6568 vsize=511336 CPUtime=0.07 cores=1,3,5,7
/proc/6640/stat : 6640 (python) S 6568 6568 3621 0 -1 4202560 1145 0 0 0 4 3 0 0 20 0 2 0 338509070 523608064 6293 33554432000 4194304 5683644 140735494116544 140735494108192 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6640/statm: 127834 6293 384 364 0 63048 0
[pid=6642] ppid=6640 vsize=82736 CPUtime=47.31 cores=1,3,5,7
/proc/6642/stat : 6642 (minion) T 6640 6642 6642 0 -1 4202496 6819 0 0 0 4730 1 0 0 20 0 1 0 338509070 84721664 13380 33554432000 134512640 165565024 4288816400 4288813584 134576160 0 0 16781312 8396802 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/6642/statm: 20684 13380 336 7582 0 13099 0
[pid=6640/tid=6647] ppid=6568 vsize=511336 CPUtime=0 cores=1,3,5,7
/proc/6640/task/6647/stat : 6647 (python) S 6568 6568 3621 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 338513803 523608064 6293 33554432000 4194304 5683644 140735494116544 139736005636656 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6648] ppid=6568 vsize=587128 CPUtime=0.08 cores=1,3,5,7
/proc/6648/stat : 6648 (python) S 6568 6568 3621 0 -1 4202560 1146 0 0 0 6 2 0 0 20 0 2 0 338513806 601219072 6299 33554432000 4194304 5683644 140735494116544 140735494108192 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6648/statm: 146782 6299 384 364 0 81993 0
[pid=6650] ppid=6648 vsize=98080 CPUtime=49.52 cores=1,3,5,7
/proc/6650/stat : 6650 (wbo1.4a) T 6648 6650 6650 0 -1 4202496 24412 0 0 0 4921 31 0 0 20 0 1 0 338513806 100433920 24063 33554432000 134512640 135751879 4293234480 4293232092 134516976 0 0 16781312 3 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/6650/statm: 24520 24063 143 303 0 24215 0
[pid=6648/tid=6655] ppid=6568 vsize=587128 CPUtime=0 cores=1,3,5,7
/proc/6648/task/6655/stat : 6655 (python) S 6568 6568 3621 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 338518760 601219072 6299 33554432000 4194304 5683644 140735494116544 139735995146800 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6657] ppid=6568 vsize=662920 CPUtime=0.08 cores=1,3,5,7
/proc/6657/stat : 6657 (python) S 6568 6568 3621 0 -1 4202560 1154 0 0 0 5 3 0 0 20 0 2 0 338523460 678830080 6328 33554432000 4194304 5683644 140735494116544 140735494108192 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6657/statm: 165730 6328 384 364 0 100938 0
[pid=6659] ppid=6657 vsize=9624972 CPUtime=50.01 cores=1,3,5,7
/proc/6659/stat : 6659 (java) T 6657 6659 6659 0 -1 4202496 18606 0 1 0 4969 32 0 0 20 0 19 0 338523460 9855971328 218070 33554432000 1073741824 1073778376 140736851631040 140736851622176 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6659/statm: 2406243 218070 2266 9 0 2396937 0
[pid=6659/tid=6660] ppid=6657 vsize=9624972 CPUtime=46.96 cores=1,3,5,7
/proc/6659/task/6660/stat : 6660 (java) T 6657 6659 6659 0 -1 4202560 3003 0 1 0 4683 13 0 0 20 0 19 0 338523462 9855971328 218070 33554432000 1073741824 1073778376 140736851631040 139766761655392 139766634145425 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=6659/tid=6661] ppid=6657 vsize=9624972 CPUtime=0.14 cores=1,3,5,7
/proc/6659/task/6661/stat : 6661 (java) T 6657 6659 6659 0 -1 4202560 249 0 0 0 12 2 0 0 20 0 19 0 338523463 9855971328 218070 33554432000 1073741824 1073778376 140736851631040 139766605695656 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=6659/tid=6662] ppid=6657 vsize=9624972 CPUtime=0.11 cores=1,3,5,7
/proc/6659/task/6662/stat : 6662 (java) T 6657 6659 6659 0 -1 4202560 35 0 0 0 9 2 0 0 20 0 19 0 338523463 9855971328 218070 33554432000 1073741824 1073778376 140736851631040 139766604643112 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 7 0 0 0 0 0
[pid=6659/tid=6663] ppid=6657 vsize=9624972 CPUtime=0.11 cores=1,3,5,7
/proc/6659/task/6663/stat : 6663 (java) T 6657 6659 6659 0 -1 4202560 34 0 0 0 9 2 0 0 20 0 19 0 338523463 9855971328 218070 33554432000 1073741824 1073778376 140736851631040 139766603590568 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 5 0 0 0 0 0
[pid=6659/tid=6664] ppid=6657 vsize=9624972 CPUtime=0.18 cores=1,3,5,7
/proc/6659/task/6664/stat : 6664 (java) T 6657 6659 6659 0 -1 4202560 125 0 0 0 16 2 0 0 20 0 19 0 338523463 9855971328 218070 33554432000 1073741824 1073778376 140736851631040 139766602538024 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=6659/tid=6665] ppid=6657 vsize=9624972 CPUtime=0.12 cores=1,3,5,7
/proc/6659/task/6665/stat : 6665 (java) T 6657 6659 6659 0 -1 4202560 118 0 0 0 10 2 0 0 20 0 19 0 338523463 9855971328 218070 33554432000 1073741824 1073778376 140736851631040 139766601484456 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=6659/tid=6666] ppid=6657 vsize=9624972 CPUtime=0.12 cores=1,3,5,7
/proc/6659/task/6666/stat : 6666 (java) T 6657 6659 6659 0 -1 4202560 28 0 0 0 11 1 0 0 20 0 19 0 338523463 9855971328 218070 33554432000 1073741824 1073778376 140736851631040 139766600431912 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=6659/tid=6667] ppid=6657 vsize=9624972 CPUtime=0.15 cores=1,3,5,7
/proc/6659/task/6667/stat : 6667 (java) T 6657 6659 6659 0 -1 4202560 290 0 0 0 12 3 0 0 20 0 19 0 338523463 9855971328 218070 33554432000 1073741824 1073778376 140736851631040 139766599379368 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=6659/tid=6668] ppid=6657 vsize=9624972 CPUtime=0.13 cores=1,3,5,7
/proc/6659/task/6668/stat : 6668 (java) T 6657 6659 6659 0 -1 4202560 158 0 0 0 11 2 0 0 20 0 19 0 338523463 9855971328 218070 33554432000 1073741824 1073778376 140736851631040 139766598326824 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=6659/tid=6669] ppid=6657 vsize=9624972 CPUtime=0.01 cores=1,3,5,7
/proc/6659/task/6669/stat : 6669 (java) T 6657 6659 6659 0 -1 4202560 434 0 0 0 0 1 0 0 20 0 19 0 338523464 9855971328 218070 33554432000 1073741824 1073778376 140736851631040 139766585916008 213423011753 0 0 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=6659/tid=6670] ppid=6657 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6670/stat : 6670 (java) T 6657 6659 6659 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338523465 9855971328 218070 33554432000 1073741824 1073778376 140736851631040 139766584862328 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=6659/tid=6671] ppid=6657 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6671/stat : 6671 (java) T 6657 6659 6659 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338523465 9855971328 218070 33554432000 1073741824 1073778376 140736851631040 139766583809672 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=6659/tid=6672] ppid=6657 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6672/stat : 6672 (java) T 6657 6659 6659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338523467 9855971328 218070 33554432000 1073741824 1073778376 140736851631040 139766582758416 213423019808 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=6659/tid=6673] ppid=6657 vsize=9624972 CPUtime=1.04 cores=1,3,5,7
/proc/6659/task/6673/stat : 6673 (java) T 6657 6659 6659 0 -1 4202560 7957 0 0 0 102 2 0 0 20 0 19 0 338523467 9855971328 218070 33554432000 1073741824 1073778376 140736851631040 139766581704760 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=6659/tid=6674] ppid=6657 vsize=9624972 CPUtime=0.66 cores=1,3,5,7
/proc/6659/task/6674/stat : 6674 (java) T 6657 6659 6659 0 -1 4202560 4751 0 0 0 66 0 0 0 20 0 19 0 338523467 9855971328 218070 33554432000 1073741824 1073778376 140736851631040 139766580652216 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6675] ppid=6657 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6675/stat : 6675 (java) T 6657 6659 6659 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338523467 9855971328 218070 33554432000 1073741824 1073778376 140736851631040 139766579599864 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6676] ppid=6657 vsize=9624972 CPUtime=0.01 cores=1,3,5,7
/proc/6659/task/6676/stat : 6676 (java) T 6657 6659 6659 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 19 0 338523467 9855971328 218070 33554432000 1073741824 1073778376 140736851631040 139766578547528 213423011753 0 4 0 16800975 18446744071579387992 0 0 -1 1 0 0 0 0 0
[pid=6659/tid=6677] ppid=6657 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/6659/task/6677/stat : 6677 (java) T 6657 6659 6659 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 338523499 9855971328 218070 33554432000 1073741824 1073778376 140736851631040 139766577493288 213423011753 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=6657/tid=6681] ppid=6568 vsize=662920 CPUtime=0 cores=1,3,5,7
/proc/6657/task/6681/stat : 6681 (python) S 6568 6568 3621 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 338528212 678830080 6328 33554432000 4194304 5683644 140735494116544 139735984656944 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6713] ppid=6568 vsize=738712 CPUtime=0.09 cores=1,3,5,7
/proc/6713/stat : 6713 (python) S 6568 6568 3621 0 -1 4202560 1176 0 0 0 5 4 0 0 20 0 2 0 338546474 756441088 6327 33554432000 4194304 5683644 140735494116544 140735494108192 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6713/statm: 184678 6327 384 364 0 119883 0
[pid=6715] ppid=6713 vsize=102180 CPUtime=47.2 cores=1,3,5,7
/proc/6715/stat : 6715 (bsolo_pb10) T 6713 6715 6715 0 -1 4202496 23558 0 0 0 4710 10 0 0 20 0 1 0 338546474 104632320 23120 33554432000 134512640 137138936 4294333856 4294332784 134542805 0 0 16781312 16384 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/6715/statm: 25545 23120 192 642 0 24901 0
[pid=6713/tid=6716] ppid=6568 vsize=738712 CPUtime=0 cores=1,3,5,7
/proc/6713/task/6716/stat : 6716 (python) S 6568 6568 3621 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338551196 756441088 6327 33554432000 4194304 5683644 140735494116544 139735974167088 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6717] ppid=6568 vsize=814248 CPUtime=0.03 cores=1,3,5,7
/proc/6717/stat : 6717 (python) S 6568 6568 3621 0 -1 4202560 1002 0 0 0 2 1 0 0 20 0 1 0 338551198 833789952 6747 33554432000 4194304 5683644 140735494116544 140735494107632 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/6717/statm: 203562 6747 359 364 0 138764 0
[pid=6719] ppid=6717 vsize=74684 CPUtime=16.93 cores=1,3,5,7
/proc/6719/stat : 6719 (bsolo_pb10) R 6717 6719 6719 0 -1 4202496 16687 0 0 0 1674 19 0 0 20 0 1 0 338551198 76476416 16250 33554432000 134512640 137138936 4291019600 4291018528 134542316 0 0 16781312 16384 0 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 18671 16250 191 642 0 18027 0
[pid=6568/tid=6575] ppid=6566 vsize=890028 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6575/stat : 6575 (python) S 6566 6568 3621 0 -1 4202560 31 1008 0 0 0 0 0 0 20 0 9 0 338490289 911388672 8309 33554432000 4194304 5683644 140735494116544 139736026616368 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6579] ppid=6566 vsize=890028 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6579/stat : 6579 (python) S 6566 6568 3621 0 -1 4202560 31 1008 0 0 0 0 0 0 20 0 9 0 338494937 911388672 8309 33554432000 4194304 5683644 140735494116544 139736016126512 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6583] ppid=6566 vsize=890028 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6583/stat : 6583 (python) S 6566 6568 3621 0 -1 4202560 25 1008 0 0 0 0 0 0 20 0 9 0 338499654 911388672 8309 33554432000 4194304 5683644 140735494116544 139736005636656 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6641] ppid=6566 vsize=890028 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6641/stat : 6641 (python) S 6566 6568 3621 0 -1 4202560 22 1008 0 0 0 0 0 0 20 0 9 0 338509070 911388672 8309 33554432000 4194304 5683644 140735494116544 139735995146800 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6649] ppid=6566 vsize=890028 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6649/stat : 6649 (python) S 6566 6568 3621 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 9 0 338513806 911388672 8309 33554432000 4194304 5683644 140735494116544 139735984656944 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6658] ppid=6566 vsize=890028 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6658/stat : 6658 (python) S 6566 6568 3621 0 -1 4202560 23 1008 0 0 0 0 0 0 20 0 9 0 338523460 911388672 8309 33554432000 4194304 5683644 140735494116544 139735974167088 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6714] ppid=6566 vsize=890028 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6714/stat : 6714 (python) S 6566 6568 3621 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 9 0 338546474 911388672 8309 33554432000 4194304 5683644 140735494116544 139735620117040 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6718] ppid=6566 vsize=890028 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6718/stat : 6718 (python) S 6566 6568 3621 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 9 0 338551198 911388672 8309 33554432000 4194304 5683644 140735494116544 139735609627184 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 630.17
Current children cumulated vsize (KiB) 15872300
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6568 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=265807
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=226965
# CPU time returned by wait4() is 1.49277
# while last known CPU time is 630.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 627.56
CPU time (s): 630.17
CPU user time (s): 627.02
CPU system time (s): 3.15
CPU usage (%): 100.416
Max. virtual memory (cumulated for all children) (KiB): 15872300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.26581
system time used= 0.226965
maximum resident set size= 33980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19216
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2086
involuntary context switches= 10
runsolver used 2.95255 second user time and 6.63299 second system time
The end