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-3693708-1338047354.opb>
2.20/2.26 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
2.20/2.26 c problem read in 2.26
5.49/5.54 c presolving:
9.99/10.08 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.39/11.49 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-3693708-1338047354/watcher-3693708-1338047354 -o /tmp/evaluation-result-3693708-1338047354/solver-3693708-1338047354 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693708-1338047354.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11354
/proc/meminfo: memFree=27113856/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=11136 CPUtime=0 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 1538 0 0 0 0 0 0 0 20 0 1 0 270860034 11403264 1492 33554432000 4194304 10169799 140735721120560 140735619672296 4929392 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 2784 1492 412 1459 0 1316 0
[startup+0.0130751 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11354
/proc/meminfo: memFree=27113856/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=15132 CPUtime=0 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 2532 0 0 0 0 0 0 0 20 0 1 0 270860034 15495168 2486 33554432000 4194304 10169799 140735721120560 140735619672296 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 3783 2486 412 1459 0 2315 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15132
[startup+0.100247 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11354
/proc/meminfo: memFree=27113856/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=43532 CPUtime=0.09 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 9640 0 0 0 7 2 0 0 20 0 1 0 270860034 44576768 9594 33554432000 4194304 10169799 140735721120560 140735619672296 5477139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 10883 9594 412 1459 0 9415 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43532
[startup+0.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11354
/proc/meminfo: memFree=27113856/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=82080 CPUtime=0.28 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 19235 0 0 0 25 3 0 0 20 0 1 0 270860034 84049920 19189 33554432000 4194304 10169799 140735721120560 140735619672296 5471578 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 20520 19189 412 1459 0 19052 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 82080
[startup+0.700242 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11354
/proc/meminfo: memFree=27113856/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=182724 CPUtime=0.69 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 44301 0 0 0 61 8 0 0 20 0 1 0 270860034 187109376 44255 33554432000 4194304 10169799 140735721120560 140735720986888 9046126 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 45681 44255 412 1459 0 44213 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 182724
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11355
/proc/meminfo: memFree=26865204/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=367252 CPUtime=1.48 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 90353 0 0 0 134 14 0 0 20 0 1 0 270860034 376066048 90307 33554432000 4194304 10169799 140735721120560 140735720986888 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 91813 90307 412 1459 0 90345 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 367252
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11355
/proc/meminfo: memFree=26686016/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=918064 CPUtime=3.09 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 227636 0 0 0 274 35 0 0 20 0 1 0 270860034 940097536 228047 33554432000 4194304 10169799 140735721120560 140735721115656 4950707 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 229516 228047 462 1459 0 228048 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 918064
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11355
/proc/meminfo: memFree=25898544/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=1242688 CPUtime=6.29 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 330108 0 0 0 568 61 0 0 20 0 1 0 270860034 1272512512 308012 33554432000 4194304 10169799 140735721120560 140735721118696 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 310672 308012 546 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.00 2.00 2.00 3/177 11355
/proc/meminfo: memFree=25457304/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=1665164 CPUtime=12.68 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 466265 0 0 0 1142 126 0 0 20 0 1 0 270860034 1705127936 409748 33554432000 4194304 10169799 140735721120560 140735721119352 5888045 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 416291 409748 606 1459 0 414823 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1665164
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11355
/proc/meminfo: memFree=25225240/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=1904628 CPUtime=25.49 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 508480 0 0 0 2415 134 0 0 20 0 1 0 270860034 1950339072 471891 33554432000 4194304 10169799 140735721120560 140735721117112 8922305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 476157 471891 609 1459 0 474689 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1904628
[startup+51.1003 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 11358
/proc/meminfo: memFree=25215440/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=1913972 CPUtime=51.08 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 510203 0 0 0 4974 134 0 0 20 0 1 0 270860034 1959907328 474125 33554432000 4194304 10169799 140735721120560 140735721117208 8922280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 478493 474125 609 1459 0 477025 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1913972
[startup+102.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 11358
/proc/meminfo: memFree=24929388/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=1941604 CPUtime=102.28 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 517406 0 0 0 10092 136 0 0 20 0 1 0 270860034 1988202496 480767 33554432000 4194304 10169799 140735721120560 140735721117032 5869862 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 485401 480767 609 1459 0 483933 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1941604
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11359
/proc/meminfo: memFree=23578036/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3309012 CPUtime=162.26 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 831639 0 0 0 16042 184 0 0 20 0 1 0 270860034 3388428288 813412 33554432000 4194304 10169799 140735721120560 140735721116824 8922316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 827253 813412 609 1459 0 825785 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3309012
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11359
/proc/meminfo: memFree=23572544/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3310040 CPUtime=222.25 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 832104 0 0 0 22041 184 0 0 20 0 1 0 270860034 3389480960 813877 33554432000 4194304 10169799 140735721120560 140735721116824 8922295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 827510 813877 609 1459 0 826042 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3310040
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11360
/proc/meminfo: memFree=23501696/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3310040 CPUtime=282.24 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 832255 0 0 0 28040 184 0 0 20 0 1 0 270860034 3389480960 814028 33554432000 4194304 10169799 140735721120560 140735721116824 8922280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 827510 814028 609 1459 0 826042 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 3310040
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11360
/proc/meminfo: memFree=23497632/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3313108 CPUtime=342.24 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 833242 0 0 0 34039 185 0 0 20 0 1 0 270860034 3392622592 815015 33554432000 4194304 10169799 140735721120560 140735721116824 8922285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 828277 815015 609 1459 0 826809 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 3313108
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11360
/proc/meminfo: memFree=23496668/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3313108 CPUtime=402.23 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 833437 0 0 0 40038 185 0 0 20 0 1 0 270860034 3392622592 815210 33554432000 4194304 10169799 140735721120560 140735721116824 8922280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 828277 815210 609 1459 0 826809 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 3313108
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11360
/proc/meminfo: memFree=23495148/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3313108 CPUtime=462.22 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 833661 0 0 0 46037 185 0 0 20 0 1 0 270860034 3392622592 815434 33554432000 4194304 10169799 140735721120560 140735721116824 8922316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 828277 815434 609 1459 0 826809 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3313108
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11360
/proc/meminfo: memFree=23491348/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3315024 CPUtime=522.21 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 834320 0 0 0 52036 185 0 0 20 0 1 0 270860034 3394584576 816060 33554432000 4194304 10169799 140735721120560 140735721116824 8922285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 828756 816060 609 1459 0 827288 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3315024
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11361
/proc/meminfo: memFree=23486528/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3315856 CPUtime=582.2 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 834719 0 0 0 58035 185 0 0 20 0 1 0 270860034 3395436544 816459 33554432000 4194304 10169799 140735721120560 140735721116824 8922254 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 828964 816459 609 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/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 837705 0 0 0 100027 186 0 0 20 0 1 0 270860034 3401785344 819379 33554432000 4194304 10169799 140735721120560 140735721117352 8922316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 830514 819379 609 1459 0 829046 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 3322056
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11387
/proc/meminfo: memFree=23442768/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3325128 CPUtime=1062.12 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 838629 0 0 0 106026 186 0 0 20 0 1 0 270860034 3404931072 820323 33554432000 4194304 10169799 140735721120560 140735721116824 8922295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 831282 820323 609 1459 0 829814 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 3325128
[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11387
/proc/meminfo: memFree=23441664/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3325128 CPUtime=1122.12 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 838857 0 0 0 112025 187 0 0 20 0 1 0 270860034 3404931072 820551 33554432000 4194304 10169799 140735721120560 140735721116824 8922300 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 831282 820551 609 1459 0 829814 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3325128
[startup+1182.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 11387
/proc/meminfo: memFree=23441212/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3325128 CPUtime=1182.11 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 839054 0 0 0 118024 187 0 0 20 0 1 0 270860034 3404931072 820748 33554432000 4194304 10169799 140735721120560 140735721116824 8922295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 831282 820748 609 1459 0 829814 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3325128
[startup+1242.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 11388
/proc/meminfo: memFree=23437396/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3328008 CPUtime=1242.1 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 839929 0 0 0 124023 187 0 0 20 0 1 0 270860034 3407880192 821623 33554432000 4194304 10169799 140735721120560 140735721116824 8922310 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 832002 821623 609 1459 0 830534 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3328008
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 11391
/proc/meminfo: memFree=23436160/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3328008 CPUtime=1302.1 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 840132 0 0 0 130023 187 0 0 20 0 1 0 270860034 3407880192 821826 33554432000 4194304 10169799 140735721120560 140735721116824 8922295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 832002 821826 609 1459 0 830534 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 3328008
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11391
/proc/meminfo: memFree=23432988/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3330056 CPUtime=1362.08 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 840869 0 0 0 136021 187 0 0 20 0 1 0 270860034 3409977344 822732 33554432000 4194304 10169799 140735721120560 140735721116824 8922280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 832514 822732 609 1459 0 831046 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3330056
[startup+1422.31 s]
/proc/loadavg: 1.37 1.82 1.94 2/171 11415
/proc/meminfo: memFree=25687916/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3331080 CPUtime=1422.08 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 841287 0 0 0 142021 187 0 0 20 0 1 0 270860034 3411025920 823149 33554432000 4194304 10169799 140735721120560 140735721116824 8922310 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 832770 823149 609 1459 0 831302 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3331080
[startup+1482.3 s]
/proc/loadavg: 1.13 1.67 1.87 2/171 11415
/proc/meminfo: memFree=25676428/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3332936 CPUtime=1482.06 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 841991 0 0 0 148019 187 0 0 20 0 1 0 270860034 3412926464 826269 33554432000 4194304 10169799 140735721120560 140735721116824 8922290 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 833234 826269 609 1459 0 831766 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3332936
[startup+1542.3 s]
/proc/loadavg: 1.05 1.55 1.82 2/171 11416
/proc/meminfo: memFree=25672612/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3332804 CPUtime=1542.06 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 842190 0 0 0 154018 188 0 0 20 0 1 0 270860034 3412791296 827065 33554432000 4194304 10169799 140735721120560 140735721117144 8922280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 833201 827065 609 1459 0 831733 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 3332804
[startup+1602.3 s]
/proc/loadavg: 1.02 1.45 1.77 2/171 11416
/proc/meminfo: memFree=25668796/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3333828 CPUtime=1602.04 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 842686 0 0 0 160016 188 0 0 20 0 1 0 270860034 3413839872 828032 33554432000 4194304 10169799 140735721120560 140735721116824 8922254 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 833457 828032 609 1459 0 831989 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3333828
[startup+1662.3 s]
/proc/loadavg: 1.07 1.38 1.72 2/171 11416
/proc/meminfo: memFree=25665352/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3335876 CPUtime=1662.03 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 843359 0 0 0 166015 188 0 0 20 0 1 0 270860034 3415937024 828796 33554432000 4194304 10169799 140735721120560 140735721116824 8922285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 833969 828796 609 1459 0 832501 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3335876
[startup+1722.3 s]
/proc/loadavg: 1.02 1.31 1.67 2/171 11416
/proc/meminfo: memFree=25663396/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3336708 CPUtime=1722.02 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 843770 0 0 0 172014 188 0 0 20 0 1 0 270860034 3416788992 829316 33554432000 4194304 10169799 140735721120560 140735721116824 8922300 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 834177 829316 609 1459 0 832709 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3336708
[startup+1782.3 s]
/proc/loadavg: 1.01 1.25 1.62 2/171 11416
/proc/meminfo: memFree=25660200/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3338756 CPUtime=1782.02 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 844518 0 0 0 178013 189 0 0 20 0 1 0 270860034 3418886144 830064 33554432000 4194304 10169799 140735721120560 140735721116824 8922351 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 834689 830064 609 1459 0 833221 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 3338756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 1.00 1.23 1.61 2/171 11417
/proc/meminfo: memFree=25660292/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3338756 CPUtime=1800.02 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 844559 0 0 0 179813 189 0 0 20 0 1 0 270860034 3418886144 830105 33554432000 4194304 10169799 140735721120560 140735721116824 8922295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 834689 830105 609 1459 0 833221 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3338756
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11354
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.23 1.61 2/172 11418
/proc/meminfo: memFree=25660160/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3338756 CPUtime=1801.12 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 844559 0 0 0 179923 189 0 0 20 0 1 0 270860034 3418886144 830105 33554432000 4194304 10169799 140735721120560 140735721116288 8922254 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 834689 830105 609 1459 0 833221 0
Current children cumulated CPU time (s) 1801.12
Current children cumulated vsize (KiB) 3338756
[startup+1802.2 s]
/proc/loadavg: 1.00 1.23 1.61 2/172 11418
/proc/meminfo: memFree=25660160/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=3338756 CPUtime=1801.92 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4202496 844559 0 0 0 180003 189 0 0 20 0 1 0 270860034 3418886144 830105 33554432000 4194304 10169799 140735721120560 140735721116288 8922310 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11354/statm: 834689 830105 609 1459 0 833221 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 3338756
[startup+1802.4 s]
/proc/loadavg: 1.00 1.23 1.61 2/172 11418
/proc/meminfo: memFree=25660160/32873844 swapFree=7900/7900
[pid=11354] ppid=11352 vsize=0 CPUtime=1802.11 cores=1,3,5,7
/proc/11354/stat : 11354 (scip-2.1.1.4sfi) R 11352 11354 6871 0 -1 4203524 844559 0 0 0 180013 198 0 0 20 0 1 0 270860034 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11354/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.43
CPU time (s): 1802.15
CPU user time (s): 1800.14
CPU system time (s): 2.01569
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 3338756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.14
system time used= 2.01569
maximum resident set size= 3320420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 844559
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= 6
involuntary context switches= 1856
runsolver used 5.9111 second user time and 13.6059 second system time
The end