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-3482889-1307578637/watcher-3482889-1307578637 -o /tmp/evaluation-result-3482889-1307578637/solver-3482889-1307578637 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482889-1307578637.opb -seed 1224744113 -budget 1800
running on 4 cores: 0,2,4,6
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.13 2.07 1.91 2/520 4447
/proc/meminfo: memFree=21096724/32951124 swapFree=46575304/67111528
[pid=4447] ppid=4445 vsize=15388 CPUtime=0 cores=0,2,4,6
/proc/4447/stat : 4447 (python) R 4445 4447 3857 0 -1 4202496 811 0 0 0 0 0 0 0 20 0 1 0 602055747 15757312 696 33554432000 4194304 5683644 140733511776320 18446744073709551615 268660662016 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4447/statm: 3847 698 334 364 0 334 0
[startup+0.0743331 s]
/proc/loadavg: 2.13 2.07 1.91 2/520 4447
/proc/meminfo: memFree=21096724/32951124 swapFree=46575304/67111528
[pid=4447] ppid=4445 vsize=84492 CPUtime=0.05 cores=0,2,4,6
/proc/4447/stat : 4447 (python) R 4445 4447 3857 0 -1 4202496 2273 0 0 0 3 2 0 0 20 0 1 0 602055747 86519808 2017 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672489520 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4447/statm: 21123 2017 633 364 0 1327 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84492
[startup+0.100362 s]
/proc/loadavg: 2.13 2.07 1.91 2/520 4447
/proc/meminfo: memFree=21096724/32951124 swapFree=46575304/67111528
[pid=4447] ppid=4445 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/4447/stat : 4447 (python) R 4445 4447 3857 0 -1 4202496 3170 930 1 0 5 2 0 0 18 0 1 0 602055747 98435072 2483 33554432000 4194304 5683644 140733511776320 18446744073709551615 5158152 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4447/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300332 s]
/proc/loadavg: 2.13 2.07 1.91 2/520 4447
/proc/meminfo: memFree=21096724/32951124 swapFree=46575304/67111528
[pid=4447] ppid=4445 vsize=203000 CPUtime=0.23 cores=0,2,4,6
/proc/4447/stat : 4447 (python) R 4445 4447 3857 0 -1 4202496 6664 930 1 0 16 7 0 0 17 0 1 0 602055747 207872000 4950 33554432000 4194304 5683644 140733511776320 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4447/statm: 50750 4950 1472 364 0 3712 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 203000
[startup+1.69208 s]
/proc/loadavg: 2.13 2.07 1.91 2/520 4447
/proc/meminfo: memFree=21096724/32951124 swapFree=46575304/67111528
[pid=4447] ppid=4445 vsize=605776 CPUtime=1.6 cores=0,2,4,6
/proc/4447/stat : 4447 (python) R 4445 4447 3857 0 -1 4202496 89691 930 1 0 135 25 0 0 19 0 1 0 602055747 620314624 87552 33554432000 4194304 5683644 140733511776320 18446744073709551615 47257978676610 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4447/statm: 151444 87552 1781 364 0 86337 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 605776
[startup+1.70108 s]
/proc/loadavg: 2.13 2.07 1.91 2/520 4447
/proc/meminfo: memFree=21096724/32951124 swapFree=46575304/67111528
[pid=4447] ppid=4445 vsize=606040 CPUtime=1.61 cores=0,2,4,6
/proc/4447/stat : 4447 (python) R 4445 4447 3857 0 -1 4202496 89767 930 1 0 136 25 0 0 19 0 1 0 602055747 620584960 87628 33554432000 4194304 5683644 140733511776320 18446744073709551615 47257978647669 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4447/statm: 151510 87628 1781 364 0 86403 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 606040
[startup+3.10084 s]
/proc/loadavg: 2.36 2.12 1.93 3/515 4463
/proc/meminfo: memFree=20811432/32951124 swapFree=46575304/67111528
[pid=4447] ppid=4445 vsize=654524 CPUtime=3 cores=0,2,4,6
/proc/4447/stat : 4447 (python) R 4445 4447 3857 0 -1 4202496 101629 930 1 0 274 26 0 0 22 0 1 0 602055747 670232576 99490 33554432000 4194304 5683644 140733511776320 18446744073709551615 268660323013 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4447/statm: 163631 99490 1781 364 0 98524 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 654524
[startup+6.30027 s]
/proc/loadavg: 2.36 2.12 1.93 3/515 4478
/proc/meminfo: memFree=20778304/32951124 swapFree=46575304/67111528
[pid=4447] ppid=4445 vsize=765404 CPUtime=6.21 cores=0,2,4,6
/proc/4447/stat : 4447 (python) R 4445 4447 3857 0 -1 4202496 128824 930 1 0 591 30 0 0 25 0 1 0 602055747 783773696 126685 33554432000 4194304 5683644 140733511776320 18446744073709551615 47257978646007 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4447/statm: 191351 126686 1781 364 0 126244 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 765404
[startup+12.7011 s]
/proc/loadavg: 2.46 2.15 1.94 3/515 4478
/proc/meminfo: memFree=20204020/32951124 swapFree=46575304/67111528
[pid=4447] ppid=4445 vsize=984944 CPUtime=12.61 cores=0,2,4,6
/proc/4447/stat : 4447 (python) R 4445 4447 3857 0 -1 4202496 183234 930 1 0 1223 38 0 0 25 0 1 0 602055747 1008582656 181095 33554432000 4194304 5683644 140733511776320 18446744073709551615 47257978647542 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4447/statm: 246236 181095 1781 364 0 181129 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 984944
[startup+25.5009 s]
/proc/loadavg: 2.61 2.19 1.95 3/518 4489
/proc/meminfo: memFree=18896404/32951124 swapFree=46575304/67111528
[pid=4447] ppid=4445 vsize=1419612 CPUtime=25.41 cores=0,2,4,6
/proc/4447/stat : 4447 (python) R 4445 4447 3857 0 -1 4202496 291437 930 1 0 2488 53 0 0 25 0 1 0 602055747 1453682688 289298 33554432000 4194304 5683644 140733511776320 18446744073709551615 268660323013 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4447/statm: 354903 289298 1781 364 0 289796 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 1419612
[startup+51.1004 s]
/proc/loadavg: 2.46 2.19 1.96 3/518 4489
/proc/meminfo: memFree=17567308/32951124 swapFree=46575304/67111528
[pid=4447] ppid=4445 vsize=1882836 CPUtime=51.01 cores=0,2,4,6
/proc/4447/stat : 4447 (python) R 4445 4447 3857 0 -1 4202496 722601 930 1 0 4995 106 0 0 25 0 1 0 602055747 1928024064 407055 33554432000 4194304 5683644 140733511776320 18446744073709551615 268660321648 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/4447/statm: 470709 407055 1815 364 0 405602 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 1882836
[startup+102.3 s]
/proc/loadavg: 2.18 2.16 1.96 3/518 4491
/proc/meminfo: memFree=16987012/32951124 swapFree=46575304/67111528
[pid=4447] ppid=4445 vsize=1929596 CPUtime=102.21 cores=0,2,4,6
/proc/4447/stat : 4447 (python) R 4445 4447 3857 0 -1 4202496 734292 930 1 0 10115 106 0 0 25 0 1 0 602055747 1975906304 418746 33554432000 4194304 5683644 140733511776320 18446744073709551615 47257812367848 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/4447/statm: 482399 418746 1816 364 0 417292 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 1929596
[startup+162.301 s]
/proc/loadavg: 2.21 2.16 1.97 3/521 4495
/proc/meminfo: memFree=16720184/32951124 swapFree=46575304/67111528
[pid=4447] ppid=4445 vsize=1530408 CPUtime=118.53 cores=0,2,4,6
/proc/4447/stat : 4447 (python) S 4445 4447 3857 0 -1 4202496 853691 930 1 0 11729 124 0 0 25 0 2 0 602055747 1567137792 316458 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4447/statm: 382602 316458 1872 364 0 317489 0
[pid=4492] ppid=4447 vsize=1521252 CPUtime=0.2 cores=0,2,4,6
/proc/4492/stat : 4492 (python) S 4447 4447 3857 0 -1 4202560 999 0 0 0 10 10 0 0 15 0 1 0 602067608 1557762048 314965 33554432000 4194304 5683644 140733511776320 18446744073709551615 268660682255 0 0 16781312 33554946 4294934785 0 0 17 4 0 0 0
/proc/4492/statm: 380313 314965 382 364 0 315200 0
[pid=4494] ppid=4492 vsize=650472 CPUtime=43.64 cores=0,2,4,6
/proc/4494/stat : 4494 (wbo1.4b-fixed) R 4492 4494 4494 0 -1 4202496 236587 0 0 0 4327 37 0 0 25 0 1 0 602067611 666083328 155577 33554432000 134512640 135752315 4291254288 18446744073709551615 134611201 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4494/statm: 162618 155577 146 303 0 162313 0
[pid=4447/tid=4493] ppid=4445 vsize=1530408 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4493/stat : 4493 (python) S 4445 4447 3857 0 -1 4202560 27 930 0 0 0 0 0 0 25 0 2 0 602067611 1567137792 316458 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554434 18446604445742811264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 162.37
Current children cumulated vsize (KiB) 3702132
[startup+222.319 s]
/proc/loadavg: 2.14 2.14 1.98 3/536 4512
/proc/meminfo: memFree=15701960/32951124 swapFree=46575304/67111528
[pid=4447] ppid=4445 vsize=1551944 CPUtime=118.63 cores=0,2,4,6
/proc/4447/stat : 4447 (python) S 4445 4447 3857 0 -1 4202496 855482 930 1 0 11734 129 0 0 20 0 4 0 602055747 1589190656 316614 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4447/statm: 387986 316614 1877 364 0 322867 0
[pid=4492] ppid=4447 vsize=1531496 CPUtime=0.24 cores=0,2,4,6
/proc/4492/stat : 4492 (python) S 4447 4447 3857 0 -1 4202560 1134 0 0 0 12 12 0 0 16 0 2 0 602067608 1568251904 315000 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/4492/statm: 382874 315000 412 364 0 317761 0
[pid=4494] ppid=4492 vsize=655488 CPUtime=49.85 cores=0,2,4,6
/proc/4494/stat : 4494 (wbo1.4b-fixed) T 4492 4494 4494 0 -1 4202496 237843 0 0 0 4947 38 0 0 25 0 1 0 602067611 671219712 156833 33554432000 134512640 135752315 4291254288 18446744073709551615 134611201 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/4494/statm: 163872 156833 146 303 0 163567 0
[pid=4492/tid=4497] ppid=4447 vsize=1531496 CPUtime=0 cores=0,2,4,6
/proc/4492/task/4497/stat : 4497 (python) S 4447 4447 3857 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 602072598 1568251904 315000 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554946 18446604445251342592 0 0 -1 4 0 0 0
[pid=4498] ppid=4447 vsize=1532600 CPUtime=0.23 cores=0,2,4,6
/proc/4498/stat : 4498 (python) S 4447 4447 3857 0 -1 4202560 1122 0 0 0 10 13 0 0 18 0 2 0 602072601 1569382400 315130 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4498/statm: 383150 315130 397 364 0 318034 0
[pid=4500] ppid=4498 vsize=584320 CPUtime=47.27 cores=0,2,4,6
/proc/4500/stat : 4500 (pbct-0.1.2-linu) T 4498 4500 4500 0 -1 4202496 151655 0 0 0 4698 29 0 0 25 0 1 0 602072603 598343680 142319 33554432000 134512640 136422188 4293091648 18446744073709551615 135818549 0 0 16781312 16387 18446744071562691360 0 0 17 4 0 0 0
/proc/4500/statm: 146080 142319 187 467 0 145611 0
[pid=4498/tid=4505] ppid=4447 vsize=1532600 CPUtime=0 cores=0,2,4,6
/proc/4498/task/4505/stat : 4505 (python) S 4447 4447 3857 0 -1 4202560 51 0 0 0 0 0 0 0 18 0 2 0 602077334 1569382400 315130 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554946 18446604453960803328 0 0 -1 6 0 0 0
[pid=4506] ppid=4447 vsize=1542856 CPUtime=0.03 cores=0,2,4,6
/proc/4506/stat : 4506 (python) S 4447 4447 3857 0 -1 4202560 917 0 0 0 0 3 0 0 18 0 1 0 602077336 1579884544 315110 33554432000 4194304 5683644 140733511776320 18446744073709551615 268660682310 0 0 16781312 33554946 9052422344085045506 0 0 17 6 0 0 0
/proc/4506/statm: 385714 315110 374 364 0 320595 0
[pid=4508] ppid=4506 vsize=424964 CPUtime=6.37 cores=0,2,4,6
/proc/4508/stat : 4508 (wbo1.4a) R 4506 4508 4508 0 -1 4202496 53270 0 0 0 629 8 0 0 25 0 1 0 602077339 435163136 52824 33554432000 134512640 135751879 4291811888 18446744073709551615 135206651 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4508/statm: 106241 52824 19829 303 0 34348 0
[pid=4447/tid=4493] ppid=4445 vsize=1551944 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4493/stat : 4493 (python) S 4445 4447 3857 0 -1 4202560 27 930 0 0 0 0 0 0 25 0 4 0 602067611 1589190656 316614 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554434 18446604445742811264 0 0 -1 2 0 0 0
[pid=4447/tid=4499] ppid=4445 vsize=1551944 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4499/stat : 4499 (python) S 4445 4447 3857 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 4 0 602072603 1589190656 316614 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554434 18446604445742811264 0 0 -1 6 0 0 0
[pid=4447/tid=4507] ppid=4445 vsize=1551944 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4507/stat : 4507 (python) S 4445 4447 3857 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 4 0 602077338 1589190656 316614 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554434 18446604445742811264 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 222.62
Current children cumulated vsize (KiB) 7823668
[startup+282.302 s]
/proc/loadavg: 2.05 2.11 1.98 3/544 4522
/proc/meminfo: memFree=13613412/32951124 swapFree=46575304/67111528
[pid=4447] ppid=4445 vsize=1562200 CPUtime=118.67 cores=0,2,4,6
/proc/4447/stat : 4447 (python) S 4445 4447 3857 0 -1 4202496 856397 930 1 0 11735 132 0 0 20 0 5 0 602055747 1599692800 316620 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/4447/statm: 390550 316620 1879 364 0 325428 0
[pid=4492] ppid=4447 vsize=1531496 CPUtime=0.24 cores=0,2,4,6
/proc/4492/stat : 4492 (python) S 4447 4447 3857 0 -1 4202560 1134 0 0 0 12 12 0 0 16 0 2 0 602067608 1568251904 315000 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/4492/statm: 382874 315000 412 364 0 317761 0
[pid=4494] ppid=4492 vsize=655488 CPUtime=49.85 cores=0,2,4,6
/proc/4494/stat : 4494 (wbo1.4b-fixed) T 4492 4494 4494 0 -1 4202496 237843 0 0 0 4947 38 0 0 25 0 1 0 602067611 671219712 156833 33554432000 134512640 135752315 4291254288 18446744073709551615 134611201 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/4494/statm: 163872 156833 146 303 0 163567 0
[pid=4492/tid=4497] ppid=4447 vsize=1531496 CPUtime=0 cores=0,2,4,6
/proc/4492/task/4497/stat : 4497 (python) S 4447 4447 3857 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 602072598 1568251904 315000 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554946 18446604445251342592 0 0 -1 4 0 0 0
[pid=4498] ppid=4447 vsize=1532600 CPUtime=0.23 cores=0,2,4,6
/proc/4498/stat : 4498 (python) S 4447 4447 3857 0 -1 4202560 1122 0 0 0 10 13 0 0 18 0 2 0 602072601 1569382400 315130 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4498/statm: 383150 315130 397 364 0 318034 0
[pid=4500] ppid=4498 vsize=584320 CPUtime=47.27 cores=0,2,4,6
/proc/4500/stat : 4500 (pbct-0.1.2-linu) T 4498 4500 4500 0 -1 4202496 151655 0 0 0 4698 29 0 0 25 0 1 0 602072603 598343680 142319 33554432000 134512640 136422188 4293091648 18446744073709551615 135818549 0 0 16781312 16387 18446744071562691360 0 0 17 4 0 0 0
################
# More data... #
################
/proc/4515/task/4523/stat : 4523 (python) S 4447 4447 3857 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 602087009 1590386688 315138 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554946 18446604449044739136 0 0 -1 6 0 0 0
[pid=4524] ppid=4447 vsize=1563368 CPUtime=0.25 cores=0,2,4,6
/proc/4524/stat : 4524 (python) S 4447 4447 3857 0 -1 4202560 1130 0 0 0 12 13 0 0 17 0 2 0 602087012 1600888832 315142 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4524/statm: 390842 315142 397 364 0 325717 0
[pid=4526] ppid=4524 vsize=2431468 CPUtime=47.52 cores=0,2,4,6
/proc/4526/stat : 4526 (scip-2.0.1.linu) T 4524 4526 4526 0 -1 4202496 605149 0 0 0 4658 94 0 0 25 0 1 0 602087014 2489823232 604520 33554432000 4194304 13684479 140736563564944 18446744073709551615 6733904 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/4526/statm: 607867 604520 525 2317 0 605545 0
[pid=4524/tid=4533] ppid=4447 vsize=1563368 CPUtime=0 cores=0,2,4,6
/proc/4524/task/4533/stat : 4533 (python) S 4447 4447 3857 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 602091775 1600888832 315142 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554946 18446604445251344384 0 0 -1 6 0 0 0
[pid=4447/tid=4493] ppid=4445 vsize=1572460 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4493/stat : 4493 (python) S 4445 4447 3857 0 -1 4202560 27 930 0 0 0 0 0 0 25 0 6 0 602067611 1610199040 316627 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554434 18446604445742811264 0 0 -1 2 0 0 0
[pid=4447/tid=4499] ppid=4445 vsize=1572460 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4499/stat : 4499 (python) S 4445 4447 3857 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 6 0 602072603 1610199040 316627 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554434 18446604445742811264 0 0 -1 6 0 0 0
[pid=4447/tid=4507] ppid=4445 vsize=1572460 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4507/stat : 4507 (python) S 4445 4447 3857 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 6 0 602077338 1610199040 316627 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554434 18446604445742811264 0 0 -1 4 0 0 0
[pid=4447/tid=4516] ppid=4445 vsize=1572460 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4516/stat : 4516 (python) S 4445 4447 3857 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 6 0 602082284 1610199040 316627 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554434 18446604445742811264 0 0 -1 6 0 0 0
[pid=4447/tid=4525] ppid=4445 vsize=1572460 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4525/stat : 4525 (python) S 4445 4447 3857 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 6 0 602087014 1610199040 316627 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554434 18446604445742811264 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 643.11
Current children cumulated vsize (KiB) 15866164
[startup+702.301 s]
/proc/loadavg: 1.00 1.34 1.66 2/536 4565
/proc/meminfo: memFree=8067308/32951124 swapFree=46575304/67111528
[pid=4447] ppid=4445 vsize=1572460 CPUtime=460.73 cores=0,2,4,6
/proc/4447/stat : 4447 (python) R 4445 4447 3857 0 -1 4202496 857974 930 1 0 45848 225 0 0 25 0 6 0 602055747 1610199040 316627 33554432000 4194304 5683644 140733511776320 18446744073709551615 268660317168 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4447/statm: 393115 316627 1881 364 0 327990 0
[pid=4492] ppid=4447 vsize=1531496 CPUtime=0.24 cores=0,2,4,6
/proc/4492/stat : 4492 (python) S 4447 4447 3857 0 -1 4202560 1134 0 0 0 12 12 0 0 16 0 2 0 602067608 1568251904 315000 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/4492/statm: 382874 315000 412 364 0 317761 0
[pid=4494] ppid=4492 vsize=655488 CPUtime=49.85 cores=0,2,4,6
/proc/4494/stat : 4494 (wbo1.4b-fixed) T 4492 4494 4494 0 -1 4202496 237843 0 0 0 4947 38 0 0 25 0 1 0 602067611 671219712 156833 33554432000 134512640 135752315 4291254288 18446744073709551615 134611201 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/4494/statm: 163872 156833 146 303 0 163567 0
[pid=4492/tid=4497] ppid=4447 vsize=1531496 CPUtime=0 cores=0,2,4,6
/proc/4492/task/4497/stat : 4497 (python) S 4447 4447 3857 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 602072598 1568251904 315000 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554946 18446604445251342592 0 0 -1 4 0 0 0
[pid=4498] ppid=4447 vsize=1532600 CPUtime=0.23 cores=0,2,4,6
/proc/4498/stat : 4498 (python) S 4447 4447 3857 0 -1 4202560 1122 0 0 0 10 13 0 0 18 0 2 0 602072601 1569382400 315130 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4498/statm: 383150 315130 397 364 0 318034 0
[pid=4500] ppid=4498 vsize=584320 CPUtime=47.27 cores=0,2,4,6
/proc/4500/stat : 4500 (pbct-0.1.2-linu) T 4498 4500 4500 0 -1 4202496 151655 0 0 0 4698 29 0 0 25 0 1 0 602072603 598343680 142319 33554432000 134512640 136422188 4293091648 18446744073709551615 135818549 0 0 16781312 16387 18446744071562691360 0 0 17 4 0 0 0
/proc/4500/statm: 146080 142319 187 467 0 145611 0
[pid=4498/tid=4505] ppid=4447 vsize=1532600 CPUtime=0 cores=0,2,4,6
/proc/4498/task/4505/stat : 4505 (python) S 4447 4447 3857 0 -1 4202560 51 0 0 0 0 0 0 0 18 0 2 0 602077334 1569382400 315130 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554946 18446604453960803328 0 0 -1 6 0 0 0
[pid=4506] ppid=4447 vsize=1542856 CPUtime=0.24 cores=0,2,4,6
/proc/4506/stat : 4506 (python) S 4447 4447 3857 0 -1 4202560 1098 0 0 0 11 13 0 0 16 0 2 0 602077336 1579884544 315134 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4506/statm: 385714 315134 397 364 0 320595 0
[pid=4508] ppid=4506 vsize=546756 CPUtime=49.37 cores=0,2,4,6
/proc/4508/stat : 4508 (wbo1.4a) T 4506 4508 4508 0 -1 4202496 210829 0 0 0 4902 35 0 0 25 0 1 0 602077339 559878144 129813 33554432000 134512640 135751879 4291811888 18446744073709551615 134616489 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/4508/statm: 136689 129813 143 303 0 136384 0
[pid=4506/tid=4514] ppid=4447 vsize=1542856 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4514/stat : 4514 (python) S 4447 4447 3857 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 602082279 1579884544 315134 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554946 18446604445290750976 0 0 -1 6 0 0 0
[pid=4515] ppid=4447 vsize=1553112 CPUtime=0.23 cores=0,2,4,6
/proc/4515/stat : 4515 (python) S 4447 4447 3857 0 -1 4202560 1137 0 0 0 10 13 0 0 19 0 2 0 602082282 1590386688 315138 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4515/statm: 388278 315138 397 364 0 323156 0
[pid=4517] ppid=4515 vsize=2352240 CPUtime=47.19 cores=0,2,4,6
/proc/4517/stat : 4517 (scip-2.0.1.linu) T 4515 4517 4517 0 -1 4202496 584919 0 0 0 4633 86 0 0 25 0 1 0 602082284 2408693760 584654 33554432000 4194304 15243407 140737228175440 18446744073709551615 13225768 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/4517/statm: 588060 584654 533 2698 0 585355 0
[pid=4515/tid=4523] ppid=4447 vsize=1553112 CPUtime=0 cores=0,2,4,6
/proc/4515/task/4523/stat : 4523 (python) S 4447 4447 3857 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 602087009 1590386688 315138 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554946 18446604449044739136 0 0 -1 6 0 0 0
[pid=4524] ppid=4447 vsize=1563368 CPUtime=0.25 cores=0,2,4,6
/proc/4524/stat : 4524 (python) S 4447 4447 3857 0 -1 4202560 1130 0 0 0 12 13 0 0 17 0 2 0 602087012 1600888832 315142 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4524/statm: 390842 315142 397 364 0 325717 0
[pid=4526] ppid=4524 vsize=2431468 CPUtime=47.52 cores=0,2,4,6
/proc/4526/stat : 4526 (scip-2.0.1.linu) T 4524 4526 4526 0 -1 4202496 605149 0 0 0 4658 94 0 0 25 0 1 0 602087014 2489823232 604520 33554432000 4194304 13684479 140736563564944 18446744073709551615 6733904 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/4526/statm: 607867 604520 525 2317 0 605545 0
[pid=4524/tid=4533] ppid=4447 vsize=1563368 CPUtime=0 cores=0,2,4,6
/proc/4524/task/4533/stat : 4533 (python) S 4447 4447 3857 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 602091775 1600888832 315142 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554946 18446604445251344384 0 0 -1 6 0 0 0
[pid=4447/tid=4493] ppid=4445 vsize=1572460 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4493/stat : 4493 (python) S 4445 4447 3857 0 -1 4202560 27 930 0 0 0 0 0 0 25 0 6 0 602067611 1610199040 316627 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554434 18446604445742811264 0 0 -1 2 0 0 0
[pid=4447/tid=4499] ppid=4445 vsize=1572460 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4499/stat : 4499 (python) S 4445 4447 3857 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 6 0 602072603 1610199040 316627 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554434 18446604445742811264 0 0 -1 6 0 0 0
[pid=4447/tid=4507] ppid=4445 vsize=1572460 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4507/stat : 4507 (python) S 4445 4447 3857 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 6 0 602077338 1610199040 316627 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554434 18446604445742811264 0 0 -1 4 0 0 0
[pid=4447/tid=4516] ppid=4445 vsize=1572460 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4516/stat : 4516 (python) S 4445 4447 3857 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 6 0 602082284 1610199040 316627 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554434 18446604445742811264 0 0 -1 6 0 0 0
[pid=4447/tid=4525] ppid=4445 vsize=1572460 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4525/stat : 4525 (python) S 4445 4447 3857 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 6 0 602087014 1610199040 316627 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554434 18446604445742811264 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 703.12
Current children cumulated vsize (KiB) 15866164
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+732.801 s]
/proc/loadavg: 1.12 1.33 1.65 2/539 4569
/proc/meminfo: memFree=8022624/32951124 swapFree=46575304/67111528
[pid=4447] ppid=4445 vsize=1582712 CPUtime=491.18 cores=0,2,4,6
/proc/4447/stat : 4447 (python) S 4445 4447 3857 0 -1 4202496 858310 930 1 0 48882 236 0 0 25 0 7 0 602055747 1620697088 316632 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/4447/statm: 395678 316632 1883 364 0 330550 0
[pid=4492] ppid=4447 vsize=1531496 CPUtime=0.24 cores=0,2,4,6
/proc/4492/stat : 4492 (python) S 4447 4447 3857 0 -1 4202560 1134 0 0 0 12 12 0 0 16 0 2 0 602067608 1568251904 315000 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/4492/statm: 382874 315000 412 364 0 317761 0
[pid=4494] ppid=4492 vsize=655488 CPUtime=49.85 cores=0,2,4,6
/proc/4494/stat : 4494 (wbo1.4b-fixed) T 4492 4494 4494 0 -1 4202496 237843 0 0 0 4947 38 0 0 25 0 1 0 602067611 671219712 156833 33554432000 134512640 135752315 4291254288 18446744073709551615 134611201 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/4494/statm: 163872 156833 146 303 0 163567 0
[pid=4492/tid=4497] ppid=4447 vsize=1531496 CPUtime=0 cores=0,2,4,6
/proc/4492/task/4497/stat : 4497 (python) S 4447 4447 3857 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 602072598 1568251904 315000 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554946 18446604445251342592 0 0 -1 4 0 0 0
[pid=4498] ppid=4447 vsize=1532600 CPUtime=0.23 cores=0,2,4,6
/proc/4498/stat : 4498 (python) S 4447 4447 3857 0 -1 4202560 1122 0 0 0 10 13 0 0 18 0 2 0 602072601 1569382400 315130 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4498/statm: 383150 315130 397 364 0 318034 0
[pid=4500] ppid=4498 vsize=584320 CPUtime=47.27 cores=0,2,4,6
/proc/4500/stat : 4500 (pbct-0.1.2-linu) T 4498 4500 4500 0 -1 4202496 151655 0 0 0 4698 29 0 0 25 0 1 0 602072603 598343680 142319 33554432000 134512640 136422188 4293091648 18446744073709551615 135818549 0 0 16781312 16387 18446744071562691360 0 0 17 4 0 0 0
/proc/4500/statm: 146080 142319 187 467 0 145611 0
[pid=4498/tid=4505] ppid=4447 vsize=1532600 CPUtime=0 cores=0,2,4,6
/proc/4498/task/4505/stat : 4505 (python) S 4447 4447 3857 0 -1 4202560 51 0 0 0 0 0 0 0 18 0 2 0 602077334 1569382400 315130 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554946 18446604453960803328 0 0 -1 6 0 0 0
[pid=4506] ppid=4447 vsize=1542856 CPUtime=0.24 cores=0,2,4,6
/proc/4506/stat : 4506 (python) S 4447 4447 3857 0 -1 4202560 1098 0 0 0 11 13 0 0 16 0 2 0 602077336 1579884544 315134 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4506/statm: 385714 315134 397 364 0 320595 0
[pid=4508] ppid=4506 vsize=546756 CPUtime=49.37 cores=0,2,4,6
/proc/4508/stat : 4508 (wbo1.4a) T 4506 4508 4508 0 -1 4202496 210829 0 0 0 4902 35 0 0 25 0 1 0 602077339 559878144 129813 33554432000 134512640 135751879 4291811888 18446744073709551615 134616489 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/4508/statm: 136689 129813 143 303 0 136384 0
[pid=4506/tid=4514] ppid=4447 vsize=1542856 CPUtime=0 cores=0,2,4,6
/proc/4506/task/4514/stat : 4514 (python) S 4447 4447 3857 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 602082279 1579884544 315134 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554946 18446604445290750976 0 0 -1 6 0 0 0
[pid=4515] ppid=4447 vsize=1553112 CPUtime=0.23 cores=0,2,4,6
/proc/4515/stat : 4515 (python) S 4447 4447 3857 0 -1 4202560 1137 0 0 0 10 13 0 0 19 0 2 0 602082282 1590386688 315138 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4515/statm: 388278 315138 397 364 0 323156 0
[pid=4517] ppid=4515 vsize=2352240 CPUtime=47.19 cores=0,2,4,6
/proc/4517/stat : 4517 (scip-2.0.1.linu) T 4515 4517 4517 0 -1 4202496 584919 0 0 0 4633 86 0 0 25 0 1 0 602082284 2408693760 584654 33554432000 4194304 15243407 140737228175440 18446744073709551615 13225768 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/4517/statm: 588060 584654 533 2698 0 585355 0
[pid=4515/tid=4523] ppid=4447 vsize=1553112 CPUtime=0 cores=0,2,4,6
/proc/4515/task/4523/stat : 4523 (python) S 4447 4447 3857 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 602087009 1590386688 315138 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554946 18446604449044739136 0 0 -1 6 0 0 0
[pid=4524] ppid=4447 vsize=1563368 CPUtime=0.25 cores=0,2,4,6
/proc/4524/stat : 4524 (python) S 4447 4447 3857 0 -1 4202560 1130 0 0 0 12 13 0 0 17 0 2 0 602087012 1600888832 315142 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4524/statm: 390842 315142 397 364 0 325717 0
[pid=4526] ppid=4524 vsize=2431468 CPUtime=47.52 cores=0,2,4,6
/proc/4526/stat : 4526 (scip-2.0.1.linu) T 4524 4526 4526 0 -1 4202496 605149 0 0 0 4658 94 0 0 25 0 1 0 602087014 2489823232 604520 33554432000 4194304 13684479 140736563564944 18446744073709551615 6733904 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/4526/statm: 607867 604520 525 2317 0 605545 0
[pid=4524/tid=4533] ppid=4447 vsize=1563368 CPUtime=0 cores=0,2,4,6
/proc/4524/task/4533/stat : 4533 (python) S 4447 4447 3857 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 602091775 1600888832 315142 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554946 18446604445251344384 0 0 -1 6 0 0 0
[pid=4567] ppid=4447 vsize=1573624 CPUtime=0.02 cores=0,2,4,6
/proc/4567/stat : 4567 (python) S 4447 4447 3857 0 -1 4202560 807 0 0 0 0 2 0 0 25 0 1 0 602129021 1611390976 315098 33554432000 4194304 5683644 140733511776320 18446744073709551615 268660682310 0 0 16781312 33554946 13709565059422716161 0 0 17 2 0 0 0
/proc/4567/statm: 393406 315098 350 364 0 328278 0
[pid=4569] ppid=4567 vsize=34728 CPUtime=0.02 cores=0,2,4,6
/proc/4569/stat : 4569 (minion) R 4567 4569 4569 0 -1 4202496 2141 0 0 0 0 2 0 0 25 0 1 0 602129024 35561472 880 33554432000 134512640 165565024 4291882480 18446744073709551615 159784718 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/4569/statm: 8682 887 226 7582 0 1097 0
[pid=4447/tid=4493] ppid=4445 vsize=1582712 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4493/stat : 4493 (python) S 4445 4447 3857 0 -1 4202560 27 930 0 0 0 0 0 0 25 0 7 0 602067611 1620697088 316632 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554434 18446604445742811264 0 0 -1 2 0 0 0
[pid=4447/tid=4499] ppid=4445 vsize=1582712 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4499/stat : 4499 (python) S 4445 4447 3857 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 7 0 602072603 1620697088 316632 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554434 18446604445742811264 0 0 -1 6 0 0 0
[pid=4447/tid=4507] ppid=4445 vsize=1582712 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4507/stat : 4507 (python) S 4445 4447 3857 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 7 0 602077338 1620697088 316632 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554434 18446604445742811264 0 0 -1 4 0 0 0
[pid=4447/tid=4516] ppid=4445 vsize=1582712 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4516/stat : 4516 (python) S 4445 4447 3857 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 7 0 602082284 1620697088 316632 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554434 18446604445742811264 0 0 -1 6 0 0 0
[pid=4447/tid=4525] ppid=4445 vsize=1582712 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4525/stat : 4525 (python) S 4445 4447 3857 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 7 0 602087014 1620697088 316632 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554434 18446604445742811264 0 0 -1 6 0 0 0
[pid=4447/tid=4568] ppid=4445 vsize=1582712 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4568/stat : 4568 (python) S 4445 4447 3857 0 -1 4202560 32 930 0 0 0 0 0 0 25 0 7 0 602129023 1620697088 316632 33554432000 4194304 5683644 140733511776320 18446744073709551615 268672485809 0 0 16781312 33554434 18446604445742811264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 733.61
Current children cumulated vsize (KiB) 17484768
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4447 and gives
# childrusage.ru_utime.tv_sec=488
# childrusage.ru_utime.tv_usec=829686
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=414632
# CPU time returned by wait4() is 491.244
# while last known CPU time is 733.61
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 732.92
CPU time (s): 733.61
CPU user time (s): 727.75
CPU system time (s): 5.86
CPU usage (%): 100.094
Max. virtual memory (cumulated for all children) (KiB): 17484768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 488.83
system time used= 2.41463
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 859244
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= 1032
involuntary context switches= 958
runsolver used 3.88041 second user time and 8.02878 second system time
The end