0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3693710-1338047357.opb>
2.09/2.16 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
2.09/2.16 c problem read in 2.16
4.89/4.90 c presolving:
10.19/10.25 c (round 1) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
11.79/11.87 c (round 2) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 67806 impls, 1977 clqs
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-3693710-1338047357/watcher-3693710-1338047357 -o /tmp/evaluation-result-3693710-1338047357/solver-3693710-1338047357 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693710-1338047357.opb -t 1800 -m 15500
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.02 2.02 2.00 2/176 9835
/proc/meminfo: memFree=27099872/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=11136 CPUtime=0 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 1524 0 0 0 0 0 0 0 20 0 1 0 270861395 11403264 1479 33554432000 4194304 10169799 140735394638512 140733499204984 7168911 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9835/statm: 2784 1479 403 1459 0 1316 0
[startup+0.0805929 s]
/proc/loadavg: 2.02 2.02 2.00 2/176 9835
/proc/meminfo: memFree=27099872/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=36996 CPUtime=0.07 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 8007 0 0 0 6 1 0 0 20 0 1 0 270861395 37883904 7962 33554432000 4194304 10169799 140735394638512 140733499204984 7546717 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9835/statm: 9249 7963 412 1459 0 7781 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 36996
[startup+0.100283 s]
/proc/loadavg: 2.02 2.02 2.00 2/176 9835
/proc/meminfo: memFree=27099872/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=41316 CPUtime=0.09 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 9086 0 0 0 8 1 0 0 20 0 1 0 270861395 42307584 9041 33554432000 4194304 10169799 140735394638512 140733499204984 8982256 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9835/statm: 10329 9041 412 1459 0 8861 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41316
[startup+0.300226 s]
/proc/loadavg: 2.02 2.02 2.00 2/176 9835
/proc/meminfo: memFree=27099872/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=79544 CPUtime=0.29 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 18646 0 0 0 27 2 0 0 20 0 1 0 270861395 81453056 18601 33554432000 4194304 10169799 140735394638512 140733499204984 8821234 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9835/statm: 19886 18601 412 1459 0 18418 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 79544
[startup+0.700253 s]
/proc/loadavg: 2.02 2.02 2.00 2/176 9835
/proc/meminfo: memFree=27099872/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=179644 CPUtime=0.69 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 43673 0 0 0 62 7 0 0 20 0 1 0 270861395 183955456 43628 33554432000 4194304 10169799 140735394638512 140735394504840 5729476 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 44911 43628 412 1459 0 43443 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 179644
[startup+1.50025 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 9836
/proc/meminfo: memFree=26851484/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=373544 CPUtime=1.49 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 91944 0 0 0 136 13 0 0 20 0 1 0 270861395 382509056 91899 33554432000 4194304 10169799 140735394638512 140735394504840 5670224 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 93386 91899 412 1459 0 91918 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 373544
[startup+3.10026 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 9836
/proc/meminfo: memFree=26668320/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=935640 CPUtime=3.09 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 230941 0 0 0 275 34 0 0 20 0 1 0 270861395 958095360 232375 33554432000 4194304 10169799 140735394638512 140735394635928 5757893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 233910 232375 489 1459 0 232442 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 935640
[startup+6.30029 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 9836
/proc/meminfo: memFree=25868568/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=1242688 CPUtime=6.29 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 330616 0 0 0 507 122 0 0 20 0 1 0 270861395 1272512512 308010 33554432000 4194304 10169799 140735394638512 140735394636664 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 310672 308010 545 1459 0 309204 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1242688
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9836
/proc/meminfo: memFree=25485160/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=1623928 CPUtime=12.69 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 461371 0 0 0 922 347 0 0 20 0 1 0 270861395 1662902272 402810 33554432000 4194304 10169799 140735394638512 140735394635720 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 405982 402810 583 1459 0 404514 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1623928
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9836
/proc/meminfo: memFree=25201096/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=1904432 CPUtime=25.48 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 508948 0 0 0 2174 374 0 0 20 0 1 0 270861395 1950138368 471800 33554432000 4194304 10169799 140735394638512 140735394635064 8922280 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 476108 471800 608 1459 0 474640 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1904432
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9839
/proc/meminfo: memFree=25191740/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=1914032 CPUtime=51.08 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 510733 0 0 0 4734 374 0 0 20 0 1 0 270861395 1959968768 474096 33554432000 4194304 10169799 140735394638512 140735394636040 8922300 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 478508 474096 608 1459 0 477040 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1914032
[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 9839
/proc/meminfo: memFree=25161528/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=1947552 CPUtime=102.28 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 519407 0 0 0 9852 376 0 0 20 0 1 0 270861395 1994293248 482209 33554432000 4194304 10169799 140735394638512 140735394636040 5869605 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 486888 482209 608 1459 0 485420 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1947552
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9839
/proc/meminfo: memFree=23825824/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3309012 CPUtime=162.26 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 832388 0 0 0 15810 416 0 0 20 0 1 0 270861395 3388428288 813602 33554432000 4194304 10169799 140735394638512 140735394634776 8922305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 827253 813602 608 1459 0 825785 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3309012
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9840
/proc/meminfo: memFree=23822508/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3310036 CPUtime=222.25 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 832846 0 0 0 21809 416 0 0 20 0 1 0 270861395 3389476864 814060 33554432000 4194304 10169799 140735394638512 140735394634776 8922280 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 827509 814060 608 1459 0 826041 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3310036
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9840
/proc/meminfo: memFree=23815472/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3311060 CPUtime=282.24 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 833322 0 0 0 27808 416 0 0 20 0 1 0 270861395 3390525440 814536 33554432000 4194304 10169799 140735394638512 140735394634776 8922290 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 827765 814536 608 1459 0 826297 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 3311060
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9840
/proc/meminfo: memFree=23812136/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3313108 CPUtime=342.23 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 834040 0 0 0 33807 416 0 0 20 0 1 0 270861395 3392622592 815254 33554432000 4194304 10169799 140735394638512 140735394634776 8922295 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 828277 815254 608 1459 0 826809 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 3313108
[startup+402.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 9840
/proc/meminfo: memFree=23810196/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3313108 CPUtime=402.22 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 834260 0 0 0 39806 416 0 0 20 0 1 0 270861395 3392622592 815474 33554432000 4194304 10169799 140735394638512 140735394634776 8922316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 828277 815474 608 1459 0 826809 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 3313108
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 9840
/proc/meminfo: memFree=23804256/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3315024 CPUtime=462.21 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 834990 0 0 0 45805 416 0 0 20 0 1 0 270861395 3394584576 816171 33554432000 4194304 10169799 140735394638512 140735394634776 8922310 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 828756 816171 608 1459 0 827288 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 3315024
[startup+522.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 9841
/proc/meminfo: memFree=23780712/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3315856 CPUtime=522.2 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 835416 0 0 0 51804 416 0 0 20 0 1 0 270861395 3395436544 816597 33554432000 4194304 10169799 140735394638512 140735394634776 8922285 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 828964 816597 608 1459 0 827496 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 3315856
[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 9841
/proc/meminfo: memFree=23783904/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3315856 CPUtime=582.2 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 835636 0 0 0 57803 417 0 0 20 0 1 0 270861395 3395436544 816817 33554432000 4194304 10169799 140735394638512 140735394634776 8922285 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 828964 816817 608 1459 0 827496 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3315856
[startup+642.3 s]
################
# More data... #
################
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 839470 0 0 0 99795 418 0 0 20 0 1 0 270861395 3404931072 820585 33554432000 4194304 10169799 140735394638512 140735394634776 8922300 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 831282 820585 608 1459 0 829814 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 3325128
[startup+1062.3 s]
/proc/loadavg: 2.07 2.03 2.00 4/177 9906
/proc/meminfo: memFree=24704432/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3326152 CPUtime=1062.13 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 839956 0 0 0 105794 419 0 0 20 0 1 0 270861395 3405979648 821099 33554432000 4194304 10169799 140735394638512 140735394634776 8922285 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 831538 821099 608 1459 0 830070 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3326152
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 4/177 9907
/proc/meminfo: memFree=24610572/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3328008 CPUtime=1122.12 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 840649 0 0 0 111793 419 0 0 20 0 1 0 270861395 3407880192 821791 33554432000 4194304 10169799 140735394638512 140735394634776 8922336 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 832002 821791 608 1459 0 830534 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3328008
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/177 9907
/proc/meminfo: memFree=24602912/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3330056 CPUtime=1182.1 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 841355 0 0 0 117791 419 0 0 20 0 1 0 270861395 3409977344 822497 33554432000 4194304 10169799 140735394638512 140735394634776 8922290 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 832514 822497 608 1459 0 831046 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 3330056
[startup+1242.3 s]
/proc/loadavg: 2.07 2.04 2.01 4/177 9907
/proc/meminfo: memFree=24472000/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3331080 CPUtime=1242.09 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 841835 0 0 0 123790 419 0 0 20 0 1 0 270861395 3411025920 822977 33554432000 4194304 10169799 140735394638512 140735394634776 8922310 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 832770 822977 608 1459 0 831302 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 3331080
[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.00 4/178 9910
/proc/meminfo: memFree=24450740/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3331080 CPUtime=1302.09 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 842063 0 0 0 129790 419 0 0 20 0 1 0 270861395 3411025920 823205 33554432000 4194304 10169799 140735394638512 140735394634776 8922290 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 832770 823205 608 1459 0 831302 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3331080
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/177 9910
/proc/meminfo: memFree=24439984/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3332936 CPUtime=1362.07 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 842680 0 0 0 135788 419 0 0 20 0 1 0 270861395 3412926464 823991 33554432000 4194304 10169799 140735394638512 140735394634776 8922300 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 833234 823991 608 1459 0 831766 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 3332936
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9911
/proc/meminfo: memFree=24433812/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3333828 CPUtime=1422.07 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 843170 0 0 0 141788 419 0 0 20 0 1 0 270861395 3413839872 824448 33554432000 4194304 10169799 140735394638512 140735394634776 8922300 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 833457 824448 608 1459 0 831989 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 3333828
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 9911
/proc/meminfo: memFree=24417036/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3335876 CPUtime=1482.06 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 843922 0 0 0 147787 419 0 0 20 0 1 0 270861395 3415937024 827370 33554432000 4194304 10169799 140735394638512 140735394634776 8922310 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 833969 827370 608 1459 0 832501 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3335876
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 9911
/proc/meminfo: memFree=24412228/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3336708 CPUtime=1542.05 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 844329 0 0 0 153786 419 0 0 20 0 1 0 270861395 3416788992 828562 33554432000 4194304 10169799 140735394638512 140735394634776 8922310 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 834177 828562 608 1459 0 832709 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3336708
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 9911
/proc/meminfo: memFree=24407420/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3338756 CPUtime=1602.04 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 845081 0 0 0 159785 419 0 0 20 0 1 0 270861395 3418886144 829873 33554432000 4194304 10169799 140735394638512 140735394634776 8922305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 834689 829873 608 1459 0 833221 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3338756
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 9911
/proc/meminfo: memFree=24406332/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3338756 CPUtime=1662.02 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 845242 0 0 0 165783 419 0 0 20 0 1 0 270861395 3418886144 830124 33554432000 4194304 10169799 140735394638512 140735394634776 8922290 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 834689 830124 608 1459 0 833221 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 3338756
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 9912
/proc/meminfo: memFree=24404004/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3339780 CPUtime=1722.02 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 845738 0 0 0 171782 420 0 0 20 0 1 0 270861395 3419934720 830729 33554432000 4194304 10169799 140735394638512 140735394634776 8922316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 834945 830729 608 1459 0 833477 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3339780
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 4/177 9912
/proc/meminfo: memFree=24394664/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3341636 CPUtime=1782.01 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 846405 0 0 0 177781 420 0 0 20 0 1 0 270861395 3421835264 831396 33554432000 4194304 10169799 140735394638512 140735394634776 8922310 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 835409 831396 608 1459 0 833941 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 3341636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9912
/proc/meminfo: memFree=24394508/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3341636 CPUtime=1800.02 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 846450 0 0 0 179582 420 0 0 20 0 1 0 270861395 3421835264 831441 33554432000 4194304 10169799 140735394638512 140735394634776 8922280 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 835409 831441 608 1459 0 833941 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3341636
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9835
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.04 2.01 2.00 4/178 9913
/proc/meminfo: memFree=24394508/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3342660 CPUtime=1801.11 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 846711 0 0 0 179691 420 0 0 20 0 1 0 270861395 3422883840 831702 33554432000 4194304 10169799 140735394638512 140735394634240 8922285 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 835665 831702 608 1459 0 834197 0
Current children cumulated CPU time (s) 1801.11
Current children cumulated vsize (KiB) 3342660
[startup+1802.2 s]
/proc/loadavg: 2.04 2.01 2.00 4/178 9913
/proc/meminfo: memFree=24393384/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=3342660 CPUtime=1801.91 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4202496 846711 0 0 0 179771 420 0 0 20 0 1 0 270861395 3422883840 831702 33554432000 4194304 10169799 140735394638512 140735394634776 8922295 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 835665 831702 608 1459 0 834197 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 3342660
[startup+1802.4 s]
/proc/loadavg: 2.04 2.01 2.00 4/178 9913
/proc/meminfo: memFree=24393384/32873844 swapFree=7616/7616
[pid=9835] ppid=9833 vsize=0 CPUtime=1802.11 cores=0,2,4,6
/proc/9835/stat : 9835 (scip-2.1.1.4sfi) R 9833 9835 5654 0 -1 4203524 846731 0 0 0 179782 429 0 0 20 0 1 0 270861395 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9835/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.42
CPU time (s): 1802.14
CPU user time (s): 1797.82
CPU system time (s): 4.31534
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 3342660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.82
system time used= 4.31534
maximum resident set size= 3326888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 846731
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 1914
runsolver used 3.17952 second user time and 8.60369 second system time
The end