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-3693712-1338047441.opb>
1.99/2.09 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
1.99/2.09 c problem read in 2.09
4.68/4.70 c presolving:
8.38/8.50 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
9.49/9.59 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-3693712-1338047441/watcher-3693712-1338047441 -o /tmp/evaluation-result-3693712-1338047441/solver-3693712-1338047441 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693712-1338047441.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.03 2.01 2.00 3/174 3282
/proc/meminfo: memFree=27894384/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=11132 CPUtime=0 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 1449 0 0 0 0 0 0 0 20 0 1 0 270870998 11399168 1404 33554432000 4194304 10169799 140735494654128 140735273809576 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 2783 1421 403 1459 0 1315 0
[startup+0.0811809 s]
/proc/loadavg: 2.03 2.01 2.00 3/174 3282
/proc/meminfo: memFree=27894384/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=40008 CPUtime=0.07 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 8769 0 0 0 6 1 0 0 20 0 1 0 270870998 40968192 8724 33554432000 4194304 10169799 140735494654128 140735273809576 5477139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 10002 8724 412 1459 0 8534 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 40008
[startup+0.100286 s]
/proc/loadavg: 2.03 2.01 2.00 3/174 3282
/proc/meminfo: memFree=27894384/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=43528 CPUtime=0.09 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 9641 0 0 0 8 1 0 0 20 0 1 0 270870998 44572672 9596 33554432000 4194304 10169799 140735494654128 140735273809576 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 10882 9596 412 1459 0 9414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43528
[startup+0.300232 s]
/proc/loadavg: 2.03 2.01 2.00 3/174 3282
/proc/meminfo: memFree=27894384/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=86156 CPUtime=0.29 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 20272 0 0 0 26 3 0 0 20 0 1 0 270870998 88223744 20227 33554432000 4194304 10169799 140735494654128 140735273809576 7546625 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 21539 20227 412 1459 0 20071 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86156
[startup+0.70017 s]
/proc/loadavg: 2.03 2.01 2.00 3/174 3282
/proc/meminfo: memFree=27894384/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=190484 CPUtime=0.69 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 46268 0 0 0 62 7 0 0 20 0 1 0 270870998 195055616 46223 33554432000 4194304 10169799 140735494654128 140735273809576 8860164 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 47621 46223 412 1459 0 46153 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 190484
[startup+1.76763 s]
/proc/loadavg: 2.03 2.01 2.00 3/174 3282
/proc/meminfo: memFree=27894384/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=428064 CPUtime=1.76 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 105741 0 0 0 160 16 0 0 20 0 1 0 270870998 438337536 105696 33554432000 4194304 10169799 140735494654128 140735494520456 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 107016 105696 412 1459 0 105548 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 428064
[startup+3.1069 s]
/proc/loadavg: 2.18 2.04 2.01 3/178 3293
/proc/meminfo: memFree=26190340/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=935636 CPUtime=3.1 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 231964 0 0 0 276 34 0 0 20 0 1 0 270870998 958091264 232376 33554432000 4194304 10169799 140735494654128 140735494651064 5757893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 233909 232376 490 1459 0 232441 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 935636
[startup+6.3003 s]
/proc/loadavg: 2.18 2.04 2.01 3/178 3293
/proc/meminfo: memFree=25312388/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=1339340 CPUtime=6.29 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 355677 0 0 0 562 67 0 0 20 0 1 0 270870998 1371484160 332169 33554432000 4194304 10169799 140735494654128 140735494652280 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 334835 332169 555 1459 0 333367 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1339340
[startup+12.7002 s]
/proc/loadavg: 2.16 2.04 2.01 3/178 3293
/proc/meminfo: memFree=24233684/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=1902096 CPUtime=12.69 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 508090 0 0 0 1141 128 0 0 20 0 1 0 270870998 1947746304 471306 33554432000 4194304 10169799 140735494654128 140735494650776 8922285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 475524 471306 609 1459 0 474056 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1902096
[startup+25.5003 s]
/proc/loadavg: 2.13 2.04 2.01 3/177 3293
/proc/meminfo: memFree=24085260/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=1909968 CPUtime=25.48 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 509495 0 0 0 2420 128 0 0 20 0 1 0 270870998 1955807232 474199 33554432000 4194304 10169799 140735494654128 140735494650648 8922305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 477492 474199 609 1459 0 476024 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1909968
[startup+51.1002 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 3294
/proc/meminfo: memFree=24073260/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=1913616 CPUtime=51.08 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 510434 0 0 0 4980 128 0 0 20 0 1 0 270870998 1959542784 475137 33554432000 4194304 10169799 140735494654128 140735494651656 8922310 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 478404 475137 609 1459 0 476936 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1913616
[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 3294
/proc/meminfo: memFree=24014528/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=1949184 CPUtime=102.27 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 519737 0 0 0 10098 129 0 0 20 0 1 0 270870998 1995964416 483878 33554432000 4194304 10169799 140735494654128 140735494651656 5869586 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 487296 483878 609 1459 0 485828 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1949184
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 3294
/proc/meminfo: memFree=21356280/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3308632 CPUtime=162.26 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 831924 0 0 0 16056 170 0 0 20 0 1 0 270870998 3388039168 813455 33554432000 4194304 10169799 140735494654128 140735494650392 8922295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 827158 813455 609 1459 0 825690 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3308632
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3294
/proc/meminfo: memFree=21352836/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3309656 CPUtime=222.25 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 832400 0 0 0 22055 170 0 0 20 0 1 0 270870998 3389087744 813931 33554432000 4194304 10169799 140735494654128 140735494650392 8922290 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 827414 813931 609 1459 0 825946 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3309656
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3294
/proc/meminfo: memFree=21346292/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3312728 CPUtime=282.24 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 833420 0 0 0 28054 170 0 0 20 0 1 0 270870998 3392233472 814951 33554432000 4194304 10169799 140735494654128 140735494650392 8922361 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 828182 814951 609 1459 0 826714 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 3312728
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3294
/proc/meminfo: memFree=21342088/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3312728 CPUtime=342.23 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 833649 0 0 0 34052 171 0 0 20 0 1 0 270870998 3392233472 815347 33554432000 4194304 10169799 140735494654128 140735494650392 8922365 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 828182 815347 609 1459 0 826714 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 3312728
[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 3295
/proc/meminfo: memFree=21339504/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3313620 CPUtime=402.23 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 834129 0 0 0 40052 171 0 0 20 0 1 0 270870998 3393146880 815794 33554432000 4194304 10169799 140735494654128 140735494650920 8922300 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 828405 815794 609 1459 0 826937 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 3313620
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3295
/proc/meminfo: memFree=21324280/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3315476 CPUtime=462.21 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 834814 0 0 0 46050 171 0 0 20 0 1 0 270870998 3395047424 818645 33554432000 4194304 10169799 140735494654128 140735494650392 8922280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 828869 818645 609 1459 0 827401 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 3315476
[startup+522.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3295
/proc/meminfo: memFree=21319596/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3315476 CPUtime=522.2 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 835079 0 0 0 52049 171 0 0 20 0 1 0 270870998 3395047424 819695 33554432000 4194304 10169799 140735494654128 140735494650392 8922280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 828869 819695 609 1459 0 827401 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 3315476
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3298
/proc/meminfo: memFree=21313484/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3316500 CPUtime=582.2 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 835584 0 0 0 58048 172 0 0 20 0 1 0 270870998 3396096000 820758 33554432000 4194304 10169799 140735494654128 140735494650392 8922300 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 829125 820758 609 1459 0 827657 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3316500
[startup+642.3 s]
################
# More data... #
################
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 839667 0 0 0 106038 173 0 0 20 0 1 0 270870998 3407491072 828529 33554432000 4194304 10169799 140735494654128 140735494650392 8922285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 831907 828529 609 1459 0 830439 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 3327628
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3323
/proc/meminfo: memFree=21263584/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3327628 CPUtime=1122.1 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 839691 0 0 0 112037 173 0 0 20 0 1 0 270870998 3407491072 828553 33554432000 4194304 10169799 140735494654128 140735494650392 8922268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 831907 828553 609 1459 0 830439 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 3327628
[startup+1182.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3326
/proc/meminfo: memFree=21260696/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3329676 CPUtime=1182.09 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 840227 0 0 0 118036 173 0 0 20 0 1 0 270870998 3409588224 829089 33554432000 4194304 10169799 140735494654128 140735494650392 8922351 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 832419 829089 609 1459 0 830951 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 3329676
[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 3326
/proc/meminfo: memFree=21257012/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3330700 CPUtime=1242.08 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 840507 0 0 0 124035 173 0 0 20 0 1 0 270870998 3410636800 829369 33554432000 4194304 10169799 140735494654128 140735494650392 8922305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 832675 829369 609 1459 0 831207 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 3330700
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3327
/proc/meminfo: memFree=21255564/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3330700 CPUtime=1302.07 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 840524 0 0 0 130034 173 0 0 20 0 1 0 270870998 3410636800 829476 33554432000 4194304 10169799 140735494654128 140735494650392 8922321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 832675 829476 609 1459 0 831207 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 3330700
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3327
/proc/meminfo: memFree=21249664/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3332556 CPUtime=1362.06 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 841011 0 0 0 136033 173 0 0 20 0 1 0 270870998 3412537344 830653 33554432000 4194304 10169799 140735494654128 140735494650392 8922321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 833139 830653 609 1459 0 831671 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 3332556
[startup+1422.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 3327
/proc/meminfo: memFree=21246908/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3332424 CPUtime=1422.05 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 841035 0 0 0 142032 173 0 0 20 0 1 0 270870998 3412402176 830647 33554432000 4194304 10169799 140735494654128 140735494650712 8922316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 833106 830647 609 1459 0 831638 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 3332424
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3327
/proc/meminfo: memFree=21245448/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3333448 CPUtime=1482.04 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 841315 0 0 0 148031 173 0 0 20 0 1 0 270870998 3413450752 830927 33554432000 4194304 10169799 140735494654128 140735494650392 8922310 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 833362 830927 609 1459 0 831894 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 3333448
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3327
/proc/meminfo: memFree=21243492/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3334472 CPUtime=1542.03 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 841597 0 0 0 154030 173 0 0 20 0 1 0 270870998 3414499328 831207 33554432000 4194304 10169799 140735494654128 140735494650392 8922310 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 833618 831207 609 1459 0 832150 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 3334472
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3328
/proc/meminfo: memFree=21240296/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3335496 CPUtime=1602.02 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 841873 0 0 0 160029 173 0 0 20 0 1 0 270870998 3415547904 831485 33554432000 4194304 10169799 140735494654128 140735494650392 8922300 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 833874 831485 609 1459 0 832406 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 3335496
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3328
/proc/meminfo: memFree=21238216/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3337352 CPUtime=1662.02 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 842360 0 0 0 166028 174 0 0 20 0 1 0 270870998 3417448448 831972 33554432000 4194304 10169799 140735494654128 140735494650392 8922295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 834338 831972 609 1459 0 832870 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 3337352
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3328
/proc/meminfo: memFree=21234152/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3338376 CPUtime=1722.01 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 842640 0 0 0 172027 174 0 0 20 0 1 0 270870998 3418497024 832252 33554432000 4194304 10169799 140735494654128 140735494650392 8922300 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 834594 832252 609 1459 0 833126 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 3338376
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3331
/proc/meminfo: memFree=21231976/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3338376 CPUtime=1782 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 842664 0 0 0 178026 174 0 0 20 0 1 0 270870998 3418497024 832276 33554432000 4194304 10169799 140735494654128 140735494650392 8922300 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 834594 832276 609 1459 0 833126 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 3338376
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3331
/proc/meminfo: memFree=21231464/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3338376 CPUtime=1800 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 842672 0 0 0 179826 174 0 0 20 0 1 0 270870998 3418497024 832284 33554432000 4194304 10169799 140735494654128 140735494650392 8922305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 834594 832284 609 1459 0 833126 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 3338376
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -3282
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3332
/proc/meminfo: memFree=21231464/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3338376 CPUtime=1800.4 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 842672 0 0 0 179866 174 0 0 20 0 1 0 270870998 3418497024 832284 33554432000 4194304 10169799 140735494654128 140735494650392 8922295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 834594 832284 609 1459 0 833126 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 3338376
[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3333
/proc/meminfo: memFree=21231312/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3338376 CPUtime=1801.2 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 842672 0 0 0 179946 174 0 0 20 0 1 0 270870998 3418497024 832284 33554432000 4194304 10169799 140735494654128 140735494650048 8922285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 834594 832284 609 1459 0 833126 0
Current children cumulated CPU time (s) 1801.2
Current children cumulated vsize (KiB) 3338376
[startup+1801.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3333
/proc/meminfo: memFree=21231312/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3338376 CPUtime=1801.6 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 842672 0 0 0 179986 174 0 0 20 0 1 0 270870998 3418497024 832284 33554432000 4194304 10169799 140735494654128 140735494650048 8922305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 834594 832284 609 1459 0 833126 0
Current children cumulated CPU time (s) 1801.6
Current children cumulated vsize (KiB) 3338376
[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3333
/proc/meminfo: memFree=21231312/32873648 swapFree=6848/6848
[pid=3282] ppid=3280 vsize=3338376 CPUtime=1802 cores=1,3,5,7
/proc/3282/stat : 3282 (scip-2.1.1.4sfi) R 3280 3282 911 0 -1 4202496 842672 0 0 0 180026 174 0 0 20 0 1 0 270870998 3418497024 832284 33554432000 4194304 10169799 140735494654128 140735494650048 8922300 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3282/statm: 834594 832284 609 1459 0 833126 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 3338376
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.35
CPU time (s): 1802.05
CPU user time (s): 1800.27
CPU system time (s): 1.78373
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 3338376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.27
system time used= 1.78373
maximum resident set size= 3329136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 842672
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= 34
involuntary context switches= 1851
runsolver used 3.06053 second user time and 9.94149 second system time
The end