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-3740851-1338719891/watcher-3740851-1338719891 -o /tmp/evaluation-result-3740851-1338719891/solver-3740851-1338719891 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3740851-1338719891.opb -seed 1852961415 -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: 4.51 2.94 2.36 2/192 7535
/proc/meminfo: memFree=15594408/32873648 swapFree=7628/7628
[pid=7535] ppid=7533 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/7535/stat : 7535 (python) D 7533 7535 3958 0 -1 4202496 672 0 0 0 0 0 0 0 20 0 1 0 338115999 15642624 559 33554432000 4194304 5683644 140735006968944 140735006936888 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/7535/statm: 3819 559 324 364 0 261 0
[startup+0.0350871 s]
/proc/loadavg: 4.51 2.94 2.36 2/192 7535
/proc/meminfo: memFree=15594408/32873648 swapFree=7628/7628
[pid=7535] ppid=7533 vsize=15972 CPUtime=0 cores=0,2,4,6
/proc/7535/stat : 7535 (python) D 7533 7535 3958 0 -1 4202496 975 0 0 0 0 0 0 0 20 0 1 0 338115999 16355328 819 33554432000 4194304 5683644 140735006968944 140735006939128 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/7535/statm: 3993 819 367 364 0 435 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15972
[startup+0.100291 s]
/proc/loadavg: 4.51 2.94 2.36 2/192 7535
/proc/meminfo: memFree=15594408/32873648 swapFree=7628/7628
[pid=7535] ppid=7533 vsize=21304 CPUtime=0.03 cores=0,2,4,6
/proc/7535/stat : 7535 (python) D 7533 7535 3958 0 -1 4202496 1411 0 0 0 2 1 0 0 20 0 1 0 338115999 21815296 1164 33554432000 4194304 5683644 140735006968944 140735006908936 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/7535/statm: 5326 1164 437 364 0 728 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21304
[startup+0.300144 s]
/proc/loadavg: 4.51 2.94 2.36 2/192 7535
/proc/meminfo: memFree=15594408/32873648 swapFree=7628/7628
[pid=7535] ppid=7533 vsize=83692 CPUtime=0.06 cores=0,2,4,6
/proc/7535/stat : 7535 (python) D 7533 7535 3958 0 -1 4202496 2840 0 0 0 4 2 0 0 20 0 1 0 338115999 85700608 2370 33554432000 4194304 5683644 140735006968944 140735006950312 217410525031 0 0 16781312 2 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/7535/statm: 20923 2370 738 364 0 1551 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 83692
[startup+0.700129 s]
/proc/loadavg: 4.51 2.94 2.36 2/192 7535
/proc/meminfo: memFree=15594408/32873648 swapFree=7628/7628
[pid=7535] ppid=7533 vsize=83692 CPUtime=0.06 cores=0,2,4,6
/proc/7535/stat : 7535 (python) D 7533 7535 3958 0 -1 4202496 2840 0 0 0 4 2 0 0 20 0 1 0 338115999 85700608 2370 33554432000 4194304 5683644 140735006968944 140735006950312 217410525031 0 0 16781312 2 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/7535/statm: 20923 2370 738 364 0 1551 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 83692
[startup+1.50013 s]
/proc/loadavg: 4.51 2.94 2.36 1/193 7536
/proc/meminfo: memFree=15588060/32873648 swapFree=7628/7628
[pid=7535] ppid=7533 vsize=83692 CPUtime=0.06 cores=0,2,4,6
/proc/7535/stat : 7535 (python) D 7533 7535 3958 0 -1 4202496 2840 0 0 0 4 2 0 0 20 0 1 0 338115999 85700608 2370 33554432000 4194304 5683644 140735006968944 140735006950312 217410525031 0 0 16781312 2 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/7535/statm: 20923 2370 738 364 0 1551 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 83692
[startup+3.10013 s]
/proc/loadavg: 4.63 2.99 2.38 1/193 7536
/proc/meminfo: memFree=15587200/32873648 swapFree=7628/7628
[pid=7535] ppid=7533 vsize=83692 CPUtime=0.06 cores=0,2,4,6
/proc/7535/stat : 7535 (python) D 7533 7535 3958 0 -1 4202496 2840 0 0 0 4 2 0 0 20 0 1 0 338115999 85700608 2370 33554432000 4194304 5683644 140735006968944 140735006950312 217410525031 0 0 16781312 2 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/7535/statm: 20923 2370 738 364 0 1551 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 83692
heavy processes:
%CPU=12 pid=7488 uid=0 cmd=
[startup+6.30011 s]
/proc/loadavg: 4.63 2.99 2.38 2/193 7540
/proc/meminfo: memFree=15571824/32873648 swapFree=7628/7628
[pid=7535] ppid=7533 vsize=615596 CPUtime=1.31 cores=0,2,4,6
/proc/7535/stat : 7535 (python) R 7533 7535 3958 0 -1 4202496 16780 1008 1 0 108 23 0 0 20 0 1 0 338115999 630370304 90464 33554432000 4194304 5683644 140735006968944 140735006962184 217410146196 0 0 16781312 2 0 0 0 17 2 0 0 423 0 0
/proc/7535/statm: 153899 90464 1811 364 0 89128 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 615596
heavy processes:
%CPU=11 pid=7488 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 7487 11 506 18446744073709551615
[startup+12.7001 s]
/proc/loadavg: 4.68 3.06 2.41 2/193 7540
/proc/meminfo: memFree=15039800/32873648 swapFree=7628/7628
[pid=7535] ppid=7533 vsize=837220 CPUtime=7.7 cores=0,2,4,6
/proc/7535/stat : 7535 (python) R 7533 7535 3958 0 -1 4202496 67579 1008 1 0 740 30 0 0 20 0 1 0 338115999 857313280 145351 33554432000 4194304 5683644 140735006968944 140735006961560 217410146196 0 0 16781312 2 0 0 0 17 2 0 0 423 0 0
/proc/7535/statm: 209305 145351 1811 364 0 144534 0
Current children cumulated CPU time (s) 7.7
Current children cumulated vsize (KiB) 837220
heavy processes:
%CPU=11 pid=7488 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 7487 11 506 18446744073709551615
[startup+25.5001 s]
/proc/loadavg: 4.73 3.12 2.43 2/193 7540
/proc/meminfo: memFree=14589412/32873648 swapFree=7628/7628
[pid=7535] ppid=7533 vsize=1292092 CPUtime=20.51 cores=0,2,4,6
/proc/7535/stat : 7535 (python) R 7533 7535 3958 0 -1 4202496 151507 1008 1 0 2006 45 0 0 20 0 1 0 338115999 1323102208 254318 33554432000 4194304 5683644 140735006968944 140735006962008 217410146196 0 0 16781312 2 0 0 0 17 2 0 0 423 0 0
/proc/7535/statm: 323023 254318 1811 364 0 258252 0
Current children cumulated CPU time (s) 20.51
Current children cumulated vsize (KiB) 1292092
[startup+51.1002 s]
/proc/loadavg: 4.36 3.17 2.47 3/194 7545
/proc/meminfo: memFree=21975800/32873648 swapFree=7628/7628
[pid=7535] ppid=7533 vsize=1945292 CPUtime=46.1 cores=0,2,4,6
/proc/7535/stat : 7535 (python) R 7533 7535 3958 0 -1 4202496 260794 1008 1 0 4526 84 0 0 20 0 1 0 338115999 1991979008 359216 33554432000 4194304 5683644 140735006968944 140735006962616 139871484058409 0 0 16781312 33554434 0 0 0 17 2 0 0 423 0 0
/proc/7535/statm: 486323 359216 1827 364 0 421552 0
Current children cumulated CPU time (s) 46.1
Current children cumulated vsize (KiB) 1945292
[startup+102.306 s]
/proc/loadavg: 2.99 2.99 2.44 3/198 7552
/proc/meminfo: memFree=22159972/32873648 swapFree=7628/7628
[pid=7535] ppid=7533 vsize=2050456 CPUtime=97.3 cores=0,2,4,6
/proc/7535/stat : 7535 (python) R 7533 7535 3958 0 -1 4202496 265504 1008 1 0 9640 90 0 0 20 0 1 0 338115999 2099666944 449366 33554432000 4194304 5683644 140735006968944 140735006962168 139871572194330 0 0 16781312 33554434 0 0 0 17 2 0 0 423 0 0
/proc/7535/statm: 512614 449366 1847 364 0 447843 0
Current children cumulated CPU time (s) 97.3
Current children cumulated vsize (KiB) 2050456
[startup+162.3 s]
/proc/loadavg: 2.36 2.81 2.41 3/201 7556
/proc/meminfo: memFree=21917248/32873648 swapFree=7628/7628
[pid=7535] ppid=7533 vsize=1685904 CPUtime=126.38 cores=0,2,4,6
/proc/7535/stat : 7535 (python) S 7533 7535 3958 0 -1 4202496 272727 1008 1 0 12539 99 0 0 20 0 2 0 338115999 1726365696 339354 33554432000 4194304 5683644 140735006968944 140735006963776 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 423 0 0
/proc/7535/statm: 421476 339354 1902 364 0 356699 0
[pid=7554] ppid=7535 vsize=1611212 CPUtime=0.04 cores=0,2,4,6
/proc/7554/stat : 7554 (python) S 7535 7535 3958 0 -1 4202560 889 0 0 0 2 2 0 0 20 0 1 0 338129137 1649881088 337812 33554432000 4194304 5683644 140735006968944 140735006960032 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/7554/statm: 402803 337812 365 364 0 338026 0
[pid=7556] ppid=7554 vsize=673508 CPUtime=30.88 cores=0,2,4,6
/proc/7556/stat : 7556 (wbo1.4b-fixed) R 7554 7556 7556 0 -1 4202496 233493 0 0 0 3056 32 0 0 20 0 1 0 338129138 689672192 163294 33554432000 134512640 135752315 4290023520 4290021520 134611201 0 0 16781312 3 0 0 0 17 2 0 0 0 0 0
/proc/7556/statm: 168377 163294 146 303 0 168072 0
[pid=7535/tid=7555] ppid=7533 vsize=1685904 CPUtime=0 cores=0,2,4,6
/proc/7535/task/7555/stat : 7555 (python) S 7533 7535 3958 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 2 0 338129138 1726365696 339354 33554432000 4194304 5683644 140735006968944 139871399023152 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 157.3
Current children cumulated vsize (KiB) 3970624
[startup+222.3 s]
/proc/loadavg: 2.17 2.67 2.39 2/184 7644
/proc/meminfo: memFree=26989836/32873648 swapFree=7628/7628
[pid=7535] ppid=7533 vsize=1762264 CPUtime=126.41 cores=0,2,4,6
/proc/7535/stat : 7535 (python) S 7533 7535 3958 0 -1 4202496 273637 1008 1 0 12541 100 0 0 20 0 3 0 338115999 1804558336 339997 33554432000 4194304 5683644 140735006968944 140735006963776 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 423 0 0
/proc/7535/statm: 440566 339997 1905 364 0 375786 0
[pid=7554] ppid=7535 vsize=1686992 CPUtime=0.08 cores=0,2,4,6
/proc/7554/stat : 7554 (python) S 7535 7535 3958 0 -1 4202560 1122 0 0 0 4 4 0 0 20 0 2 0 338129137 1727479808 337852 33554432000 4194304 5683644 140735006968944 140735006960592 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7554/statm: 421748 337852 398 364 0 356971 0
[pid=7556] ppid=7554 vsize=690580 CPUtime=49.88 cores=0,2,4,6
/proc/7556/stat : 7556 (wbo1.4b-fixed) T 7554 7556 7556 0 -1 4202496 237769 0 0 0 4950 38 0 0 20 0 1 0 338129138 707153920 167570 33554432000 134512640 135752315 4290023520 4290021520 134611730 0 0 16781312 3 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/7556/statm: 172645 167570 146 303 0 172340 0
[pid=7554/tid=7578] ppid=7535 vsize=1686992 CPUtime=0 cores=0,2,4,6
/proc/7554/task/7578/stat : 7578 (python) S 7535 7535 3958 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338134129 1727479808 337852 33554432000 4194304 5683644 140735006968944 139871399023152 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7579] ppid=7535 vsize=1686752 CPUtime=0.07 cores=0,2,4,6
/proc/7579/stat : 7579 (python) S 7535 7535 3958 0 -1 4202560 904 0 0 0 4 3 0 0 20 0 1 0 338134131 1727234048 337939 33554432000 4194304 5683644 140735006968944 140735006960032 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/7579/statm: 421688 337939 360 364 0 356908 0
[pid=7581] ppid=7579 vsize=515252 CPUtime=40.94 cores=0,2,4,6
/proc/7581/stat : 7581 (pbct-0.1.2-linu) R 7579 7581 7581 0 -1 4202496 123861 0 0 0 4065 29 0 0 20 0 1 0 338134132 527618048 125306 33554432000 134512640 136422188 4293044992 4293043712 134524134 0 0 16781312 0 0 0 0 17 0 0 0 0 0 0
/proc/7581/statm: 128813 125306 143 467 0 128344 0
[pid=7535/tid=7555] ppid=7533 vsize=1762264 CPUtime=0 cores=0,2,4,6
/proc/7535/task/7555/stat : 7555 (python) S 7533 7535 3958 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 3 0 338129138 1804558336 339997 33554432000 4194304 5683644 140735006968944 139871399023152 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7535/tid=7580] ppid=7533 vsize=1762264 CPUtime=0 cores=0,2,4,6
/proc/7535/task/7580/stat : 7580 (python) S 7533 7535 3958 0 -1 4202560 20 1008 0 0 0 0 0 0 20 0 3 0 338134132 1804558336 339997 33554432000 4194304 5683644 140735006968944 139871314240048 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 217.38
Current children cumulated vsize (KiB) 6341840
[startup+282.301 s]
/proc/loadavg: 2.06 2.55 2.36 3/195 7659
/proc/meminfo: memFree=23997800/32873648 swapFree=7628/7628
[pid=7535] ppid=7533 vsize=1914160 CPUtime=126.47 cores=0,2,4,6
/proc/7535/stat : 7535 (python) S 7533 7535 3958 0 -1 4202496 275404 1008 1 0 12545 102 0 0 20 0 5 0 338115999 1960099840 340091 33554432000 4194304 5683644 140735006968944 140735006963776 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 423 0 0
/proc/7535/statm: 478540 340091 1909 364 0 413754 0
[pid=7554] ppid=7535 vsize=1686992 CPUtime=0.08 cores=0,2,4,6
/proc/7554/stat : 7554 (python) S 7535 7535 3958 0 -1 4202560 1122 0 0 0 4 4 0 0 20 0 2 0 338129137 1727479808 337852 33554432000 4194304 5683644 140735006968944 140735006960592 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7554/statm: 421748 337852 398 364 0 356971 0
[pid=7556] ppid=7554 vsize=690580 CPUtime=49.88 cores=0,2,4,6
/proc/7556/stat : 7556 (wbo1.4b-fixed) T 7554 7556 7556 0 -1 4202496 237769 0 0 0 4950 38 0 0 20 0 1 0 338129138 707153920 167570 33554432000 134512640 135752315 4290023520 4290021520 134611730 0 0 16781312 3 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/7556/statm: 172645 167570 146 303 0 172340 0
[pid=7554/tid=7578] ppid=7535 vsize=1686992 CPUtime=0 cores=0,2,4,6
/proc/7554/task/7578/stat : 7578 (python) S 7535 7535 3958 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338134129 1727479808 337852 33554432000 4194304 5683644 140735006968944 139871399023152 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7579] ppid=7535 vsize=1686752 CPUtime=0.08 cores=0,2,4,6
/proc/7579/stat : 7579 (python) S 7535 7535 3958 0 -1 4202560 1065 0 0 0 4 4 0 0 20 0 2 0 338134131 1727234048 337965 33554432000 4194304 5683644 140735006968944 140735006960592 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7579/statm: 421688 337965 385 364 0 356908 0
[pid=7581] ppid=7579 vsize=586992 CPUtime=47.11 cores=0,2,4,6
/proc/7581/stat : 7581 (pbct-0.1.2-linu) T 7579 7581 7581 0 -1 4202496 141809 0 0 0 4678 33 0 0 20 0 1 0 338134132 601079808 143765 33554432000 134512640 136422188 4293044992 4293043712 134516548 0 0 16781312 0 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/7581/statm: 146748 143765 143 467 0 146279 0
[pid=7579/tid=7649] ppid=7535 vsize=1686752 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7649/stat : 7649 (python) S 7535 7535 3958 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 338138846 1727234048 337965 33554432000 4194304 5683644 140735006968944 139871399023152 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7650] ppid=7535 vsize=1763108 CPUtime=0.08 cores=0,2,4,6
/proc/7650/stat : 7650 (python) S 7535 7535 3958 0 -1 4202560 1077 0 0 0 4 4 0 0 20 0 2 0 338138849 1805422592 338478 33554432000 4194304 5683644 140735006968944 140735006960592 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7650/statm: 440777 338478 385 364 0 375994 0
[pid=7652] ppid=7650 vsize=578512 CPUtime=49.31 cores=0,2,4,6
/proc/7652/stat : 7652 (wbo1.4a) T 7650 7652 7652 0 -1 4202496 209984 0 0 0 4898 33 0 0 20 0 1 0 338138850 592396288 139269 33554432000 134512640 135751879 4287575984 4287574160 134616336 0 0 16781312 3 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/7652/statm: 144628 139269 143 303 0 144323 0
[pid=7650/tid=7656] ppid=7535 vsize=1763108 CPUtime=0 cores=0,2,4,6
/proc/7650/task/7656/stat : 7656 (python) S 7535 7535 3958 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338143783 1805422592 338478 33554432000 4194304 5683644 140735006968944 139871314240048 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7657] ppid=7535 vsize=1838564 CPUtime=0.01 cores=0,2,4,6
/proc/7657/stat : 7657 (python) S 7535 7535 3958 0 -1 4202560 901 0 0 0 0 1 0 0 20 0 1 0 338143786 1882689536 338537 33554432000 4194304 5683644 140735006968944 140735006960032 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/7657/statm: 459641 338537 360 364 0 394855 0
[pid=7659] ppid=7657 vsize=263364 CPUtime=4.4 cores=0,2,4,6
/proc/7659/stat : 7659 (scip-2.0.1.linu) R 7657 7659 7659 0 -1 4202496 63298 0 0 0 429 11 0 0 20 0 1 0 338143787 269684736 63042 33554432000 4194304 15243407 140737046018208 140737045883256 6707872 0 0 16781312 0 0 0 0 17 4 0 0 0 0 0
/proc/7659/statm: 65841 63042 533 2698 0 63136 0
[pid=7535/tid=7555] ppid=7533 vsize=1914160 CPUtime=0 cores=0,2,4,6
/proc/7535/task/7555/stat : 7555 (python) S 7533 7535 3958 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 5 0 338129138 1960099840 340091 33554432000 4194304 5683644 140735006968944 139871399023152 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7535/tid=7580] ppid=7533 vsize=1914160 CPUtime=0 cores=0,2,4,6
/proc/7535/task/7580/stat : 7580 (python) S 7533 7535 3958 0 -1 4202560 20 1008 0 0 0 0 0 0 20 0 5 0 338134132 1960099840 340091 33554432000 4194304 5683644 140735006968944 139871314240048 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7535/tid=7651] ppid=7533 vsize=1914160 CPUtime=0 cores=0,2,4,6
/proc/7535/task/7651/stat : 7651 (python) S 7533 7535 3958 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 5 0 338138850 1960099840 340091 33554432000 4194304 5683644 140735006968944 139871303750192 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7535/tid=7658] ppid=7533 vsize=1914160 CPUtime=0 cores=0,2,4,6
/proc/7535/task/7658/stat : 7658 (python) S 7533 7535 3958 0 -1 4202560 22 1008 0 0 0 0 0 0 20 0 5 0 338143786 1960099840 340091 33554432000 4194304 5683644 140735006968944 139871293260336 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 277.42
Current children cumulated vsize (KiB) 11009024
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+335.507 s]
/proc/loadavg: 2.02 2.46 2.34 3/203 7667
/proc/meminfo: memFree=20195356/32873648 swapFree=7628/7628
[pid=7535] ppid=7533 vsize=1989952 CPUtime=126.5 cores=0,2,4,6
/proc/7535/stat : 7535 (python) S 7533 7535 3958 0 -1 4202496 276294 1008 1 0 12547 103 0 0 20 0 6 0 338115999 2037710848 340099 33554432000 4194304 5683644 140735006968944 140735006963776 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 423 0 0
/proc/7535/statm: 497488 340099 1911 364 0 432699 0
[pid=7554] ppid=7535 vsize=1686992 CPUtime=0.08 cores=0,2,4,6
/proc/7554/stat : 7554 (python) S 7535 7535 3958 0 -1 4202560 1122 0 0 0 4 4 0 0 20 0 2 0 338129137 1727479808 337852 33554432000 4194304 5683644 140735006968944 140735006960592 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7554/statm: 421748 337852 398 364 0 356971 0
[pid=7556] ppid=7554 vsize=690580 CPUtime=49.88 cores=0,2,4,6
/proc/7556/stat : 7556 (wbo1.4b-fixed) T 7554 7556 7556 0 -1 4202496 237769 0 0 0 4950 38 0 0 20 0 1 0 338129138 707153920 167570 33554432000 134512640 135752315 4290023520 4290021520 134611730 0 0 16781312 3 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/7556/statm: 172645 167570 146 303 0 172340 0
[pid=7554/tid=7578] ppid=7535 vsize=1686992 CPUtime=0 cores=0,2,4,6
/proc/7554/task/7578/stat : 7578 (python) S 7535 7535 3958 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338134129 1727479808 337852 33554432000 4194304 5683644 140735006968944 139871399023152 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7579] ppid=7535 vsize=1686752 CPUtime=0.08 cores=0,2,4,6
/proc/7579/stat : 7579 (python) S 7535 7535 3958 0 -1 4202560 1065 0 0 0 4 4 0 0 20 0 2 0 338134131 1727234048 337965 33554432000 4194304 5683644 140735006968944 140735006960592 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7579/statm: 421688 337965 385 364 0 356908 0
[pid=7581] ppid=7579 vsize=586992 CPUtime=47.11 cores=0,2,4,6
/proc/7581/stat : 7581 (pbct-0.1.2-linu) T 7579 7581 7581 0 -1 4202496 141809 0 0 0 4678 33 0 0 20 0 1 0 338134132 601079808 143765 33554432000 134512640 136422188 4293044992 4293043712 134516548 0 0 16781312 0 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/7581/statm: 146748 143765 143 467 0 146279 0
[pid=7579/tid=7649] ppid=7535 vsize=1686752 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7649/stat : 7649 (python) S 7535 7535 3958 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 338138846 1727234048 337965 33554432000 4194304 5683644 140735006968944 139871399023152 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7650] ppid=7535 vsize=1763108 CPUtime=0.08 cores=0,2,4,6
/proc/7650/stat : 7650 (python) S 7535 7535 3958 0 -1 4202560 1077 0 0 0 4 4 0 0 20 0 2 0 338138849 1805422592 338478 33554432000 4194304 5683644 140735006968944 140735006960592 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7650/statm: 440777 338478 385 364 0 375994 0
[pid=7652] ppid=7650 vsize=578512 CPUtime=49.31 cores=0,2,4,6
/proc/7652/stat : 7652 (wbo1.4a) T 7650 7652 7652 0 -1 4202496 209984 0 0 0 4898 33 0 0 20 0 1 0 338138850 592396288 139269 33554432000 134512640 135751879 4287575984 4287574160 134616336 0 0 16781312 3 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/7652/statm: 144628 139269 143 303 0 144323 0
[pid=7650/tid=7656] ppid=7535 vsize=1763108 CPUtime=0 cores=0,2,4,6
/proc/7650/task/7656/stat : 7656 (python) S 7535 7535 3958 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338143783 1805422592 338478 33554432000 4194304 5683644 140735006968944 139871314240048 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7657] ppid=7535 vsize=1838564 CPUtime=0.08 cores=0,2,4,6
/proc/7657/stat : 7657 (python) S 7535 7535 3958 0 -1 4202560 1091 0 0 0 4 4 0 0 20 0 2 0 338143786 1882689536 338563 33554432000 4194304 5683644 140735006968944 140735006960592 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7657/statm: 459641 338563 385 364 0 394855 0
[pid=7659] ppid=7657 vsize=2545936 CPUtime=47.12 cores=0,2,4,6
/proc/7659/stat : 7659 (scip-2.0.1.linu) T 7657 7659 7659 0 -1 4202496 626679 0 0 0 4620 92 0 0 20 0 1 0 338143787 2607038464 631533 33554432000 4194304 15243407 140737046018208 140737045883256 13225758 0 0 16781312 0 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/7659/statm: 636484 631533 533 2698 0 633779 0
[pid=7657/tid=7664] ppid=7535 vsize=1838564 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7664/stat : 7664 (python) S 7535 7535 3958 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 338148501 1882689536 338563 33554432000 4194304 5683644 140735006968944 139871303750192 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7665] ppid=7535 vsize=1914172 CPUtime=0.01 cores=0,2,4,6
/proc/7665/stat : 7665 (python) S 7535 7535 3958 0 -1 4202560 918 0 0 0 0 1 0 0 20 0 1 0 338148503 1960112128 338541 33554432000 4194304 5683644 140735006968944 140735006960032 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/7665/statm: 478543 338541 358 364 0 413754 0
[pid=7667] ppid=7665 vsize=594792 CPUtime=10.44 cores=0,2,4,6
/proc/7667/stat : 7667 (scip-2.0.1.linu) R 7665 7667 7667 0 -1 4202496 146713 0 0 0 1019 25 0 0 20 0 1 0 338148505 609067008 146446 33554432000 4194304 13684479 140733879102800 140733878967416 10577808 0 0 16781312 0 0 0 0 17 4 0 0 0 0 0
/proc/7667/statm: 148698 146446 510 2317 0 146376 0
[pid=7535/tid=7555] ppid=7533 vsize=1989952 CPUtime=0 cores=0,2,4,6
/proc/7535/task/7555/stat : 7555 (python) S 7533 7535 3958 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 6 0 338129138 2037710848 340099 33554432000 4194304 5683644 140735006968944 139871399023152 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7535/tid=7580] ppid=7533 vsize=1989952 CPUtime=0 cores=0,2,4,6
/proc/7535/task/7580/stat : 7580 (python) S 7533 7535 3958 0 -1 4202560 20 1008 0 0 0 0 0 0 20 0 6 0 338134132 2037710848 340099 33554432000 4194304 5683644 140735006968944 139871314240048 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7535/tid=7651] ppid=7533 vsize=1989952 CPUtime=0 cores=0,2,4,6
/proc/7535/task/7651/stat : 7651 (python) S 7533 7535 3958 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 6 0 338138850 2037710848 340099 33554432000 4194304 5683644 140735006968944 139871303750192 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7535/tid=7658] ppid=7533 vsize=1989952 CPUtime=0 cores=0,2,4,6
/proc/7535/task/7658/stat : 7658 (python) S 7533 7535 3958 0 -1 4202560 22 1008 0 0 0 0 0 0 20 0 6 0 338143786 2037710848 340099 33554432000 4194304 5683644 140735006968944 139871293260336 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7535/tid=7666] ppid=7533 vsize=1989952 CPUtime=0 cores=0,2,4,6
/proc/7535/task/7666/stat : 7666 (python) S 7533 7535 3958 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 6 0 338148504 2037710848 340099 33554432000 4194304 5683644 140735006968944 139871282770480 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 330.69
Current children cumulated vsize (KiB) 15876352
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+335.507 s]
/proc/loadavg: 2.02 2.46 2.34 3/203 7667
/proc/meminfo: memFree=20195356/32873648 swapFree=7628/7628
[pid=7535] ppid=7533 vsize=1989952 CPUtime=126.5 cores=0,2,4,6
/proc/7535/stat : 7535 (python) S 7533 7535 3958 0 -1 4202496 276294 1008 1 0 12547 103 0 0 20 0 6 0 338115999 2037710848 340099 33554432000 4194304 5683644 140735006968944 140735006963776 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 423 0 0
/proc/7535/statm: 497488 340099 1911 364 0 432699 0
[pid=7554] ppid=7535 vsize=1686992 CPUtime=0.08 cores=0,2,4,6
/proc/7554/stat : 7554 (python) S 7535 7535 3958 0 -1 4202560 1122 0 0 0 4 4 0 0 20 0 2 0 338129137 1727479808 337852 33554432000 4194304 5683644 140735006968944 140735006960592 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7554/statm: 421748 337852 398 364 0 356971 0
[pid=7556] ppid=7554 vsize=690580 CPUtime=49.88 cores=0,2,4,6
/proc/7556/stat : 7556 (wbo1.4b-fixed) T 7554 7556 7556 0 -1 4202496 237769 0 0 0 4950 38 0 0 20 0 1 0 338129138 707153920 167570 33554432000 134512640 135752315 4290023520 4290021520 134611730 0 0 16781312 3 18446744071579387992 0 0 17 2 0 0 0 0 0
/proc/7556/statm: 172645 167570 146 303 0 172340 0
[pid=7554/tid=7578] ppid=7535 vsize=1686992 CPUtime=0 cores=0,2,4,6
/proc/7554/task/7578/stat : 7578 (python) S 7535 7535 3958 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338134129 1727479808 337852 33554432000 4194304 5683644 140735006968944 139871399023152 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7579] ppid=7535 vsize=1686752 CPUtime=0.08 cores=0,2,4,6
/proc/7579/stat : 7579 (python) S 7535 7535 3958 0 -1 4202560 1065 0 0 0 4 4 0 0 20 0 2 0 338134131 1727234048 337965 33554432000 4194304 5683644 140735006968944 140735006960592 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7579/statm: 421688 337965 385 364 0 356908 0
[pid=7581] ppid=7579 vsize=586992 CPUtime=47.11 cores=0,2,4,6
/proc/7581/stat : 7581 (pbct-0.1.2-linu) T 7579 7581 7581 0 -1 4202496 141809 0 0 0 4678 33 0 0 20 0 1 0 338134132 601079808 143765 33554432000 134512640 136422188 4293044992 4293043712 134516548 0 0 16781312 0 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/7581/statm: 146748 143765 143 467 0 146279 0
[pid=7579/tid=7649] ppid=7535 vsize=1686752 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7649/stat : 7649 (python) S 7535 7535 3958 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 338138846 1727234048 337965 33554432000 4194304 5683644 140735006968944 139871399023152 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7650] ppid=7535 vsize=1763108 CPUtime=0.08 cores=0,2,4,6
/proc/7650/stat : 7650 (python) S 7535 7535 3958 0 -1 4202560 1077 0 0 0 4 4 0 0 20 0 2 0 338138849 1805422592 338478 33554432000 4194304 5683644 140735006968944 140735006960592 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7650/statm: 440777 338478 385 364 0 375994 0
[pid=7652] ppid=7650 vsize=578512 CPUtime=49.31 cores=0,2,4,6
/proc/7652/stat : 7652 (wbo1.4a) T 7650 7652 7652 0 -1 4202496 209984 0 0 0 4898 33 0 0 20 0 1 0 338138850 592396288 139269 33554432000 134512640 135751879 4287575984 4287574160 134616336 0 0 16781312 3 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/7652/statm: 144628 139269 143 303 0 144323 0
[pid=7650/tid=7656] ppid=7535 vsize=1763108 CPUtime=0 cores=0,2,4,6
/proc/7650/task/7656/stat : 7656 (python) S 7535 7535 3958 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338143783 1805422592 338478 33554432000 4194304 5683644 140735006968944 139871314240048 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7657] ppid=7535 vsize=1838564 CPUtime=0.08 cores=0,2,4,6
/proc/7657/stat : 7657 (python) S 7535 7535 3958 0 -1 4202560 1091 0 0 0 4 4 0 0 20 0 2 0 338143786 1882689536 338563 33554432000 4194304 5683644 140735006968944 140735006960592 217413903629 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7657/statm: 459641 338563 385 364 0 394855 0
[pid=7659] ppid=7657 vsize=2545936 CPUtime=47.12 cores=0,2,4,6
/proc/7659/stat : 7659 (scip-2.0.1.linu) T 7657 7659 7659 0 -1 4202496 626679 0 0 0 4620 92 0 0 20 0 1 0 338143787 2607038464 631533 33554432000 4194304 15243407 140737046018208 140737045883256 13225758 0 0 16781312 0 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/7659/statm: 636484 631533 533 2698 0 633779 0
[pid=7657/tid=7664] ppid=7535 vsize=1838564 CPUtime=0 cores=0,2,4,6
/proc/7657/task/7664/stat : 7664 (python) S 7535 7535 3958 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 338148501 1882689536 338563 33554432000 4194304 5683644 140735006968944 139871303750192 217413900064 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7665] ppid=7535 vsize=1914172 CPUtime=0.01 cores=0,2,4,6
/proc/7665/stat : 7665 (python) S 7535 7535 3958 0 -1 4202560 918 0 0 0 0 1 0 0 20 0 1 0 338148503 1960112128 338541 33554432000 4194304 5683644 140735006968944 140735006960032 217410535907 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/7665/statm: 478543 338541 358 364 0 413754 0
[pid=7667] ppid=7665 vsize=594792 CPUtime=10.44 cores=0,2,4,6
/proc/7667/stat : 7667 (scip-2.0.1.linu) R 7665 7667 7667 0 -1 4202496 146713 0 0 0 1019 25 0 0 20 0 1 0 338148505 609067008 146446 33554432000 4194304 13684479 140733879102800 140733878967416 10577808 0 0 16781312 0 0 0 0 17 4 0 0 0 0 0
/proc/7667/statm: 148698 146446 510 2317 0 146376 0
[pid=7535/tid=7555] ppid=7533 vsize=1989952 CPUtime=0 cores=0,2,4,6
/proc/7535/task/7555/stat : 7555 (python) S 7533 7535 3958 0 -1 4202560 27 1008 0 0 0 0 0 0 20 0 6 0 338129138 2037710848 340099 33554432000 4194304 5683644 140735006968944 139871399023152 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7535/tid=7580] ppid=7533 vsize=1989952 CPUtime=0 cores=0,2,4,6
/proc/7535/task/7580/stat : 7580 (python) S 7533 7535 3958 0 -1 4202560 20 1008 0 0 0 0 0 0 20 0 6 0 338134132 2037710848 340099 33554432000 4194304 5683644 140735006968944 139871314240048 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7535/tid=7651] ppid=7533 vsize=1989952 CPUtime=0 cores=0,2,4,6
/proc/7535/task/7651/stat : 7651 (python) S 7533 7535 3958 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 6 0 338138850 2037710848 340099 33554432000 4194304 5683644 140735006968944 139871303750192 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7535/tid=7658] ppid=7533 vsize=1989952 CPUtime=0 cores=0,2,4,6
/proc/7535/task/7658/stat : 7658 (python) S 7533 7535 3958 0 -1 4202560 22 1008 0 0 0 0 0 0 20 0 6 0 338143786 2037710848 340099 33554432000 4194304 5683644 140735006968944 139871293260336 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7535/tid=7666] ppid=7533 vsize=1989952 CPUtime=0 cores=0,2,4,6
/proc/7535/task/7666/stat : 7666 (python) S 7533 7535 3958 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 6 0 338148504 2037710848 340099 33554432000 4194304 5683644 140735006968944 139871282770480 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 330.69
Current children cumulated vsize (KiB) 15876352
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7535 and gives
# childrusage.ru_utime.tv_sec=125
# childrusage.ru_utime.tv_usec=477924
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=70837
# CPU time returned by wait4() is 126.549
# while last known CPU time is 330.69
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 335.592
CPU time (s): 330.69
CPU user time (s): 327.28
CPU system time (s): 3.41
CPU usage (%): 98.5392
Max. virtual memory (cumulated for all children) (KiB): 15876352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 125.478
system time used= 1.07084
maximum resident set size= 2274392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277302
page faults= 1
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2095
involuntary context switches= 141
runsolver used 0.774882 second user time and 2.15167 second system time
The end