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-3693723-1338047025.opb>
2.20/2.27 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
2.20/2.27 c problem read in 2.27
5.50/5.59 c presolving:
10.08/10.15 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.48/11.56 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-3693723-1338047025/watcher-3693723-1338047025 -o /tmp/evaluation-result-3693723-1338047025/solver-3693723-1338047025 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693723-1338047025.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 487
/proc/meminfo: memFree=25338908/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=9156 CPUtime=0 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 1091 0 0 0 0 0 0 0 20 0 1 0 270831135 9375744 1045 33554432000 4194304 10169799 140736296097424 140737060592152 8844157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 2289 1052 387 1459 0 821 0
[startup+0.0235459 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 487
/proc/meminfo: memFree=25338908/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=19604 CPUtime=0.01 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 3642 0 0 0 1 0 0 0 20 0 1 0 270831135 20074496 3596 33554432000 4194304 10169799 140736296097424 140736295962104 8766316 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 4901 3596 412 1459 0 3433 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 19604
[startup+0.100356 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 487
/proc/meminfo: memFree=25338908/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=43528 CPUtime=0.09 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 9638 0 0 0 8 1 0 0 20 0 1 0 270831135 44572672 9592 33554432000 4194304 10169799 140736296097424 140736295962104 5471578 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 10882 9592 412 1459 0 9414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43528
[startup+0.300298 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 487
/proc/meminfo: memFree=25338908/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=81880 CPUtime=0.29 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 19183 0 0 0 26 3 0 0 20 0 1 0 270831135 83845120 19137 33554432000 4194304 10169799 140736296097424 140736295962104 5471578 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 20470 19137 412 1459 0 19002 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 81880
[startup+0.700308 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 487
/proc/meminfo: memFree=25338908/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=182524 CPUtime=0.69 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 44247 0 0 0 62 7 0 0 20 0 1 0 270831135 186904576 44201 33554432000 4194304 10169799 140736296097424 140736295963752 5471578 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 45631 44201 412 1459 0 44163 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 182524
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 488
/proc/meminfo: memFree=25088792/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=366224 CPUtime=1.49 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 90060 0 0 0 135 14 0 0 20 0 1 0 270831135 375013376 90014 33554432000 4194304 10169799 140736296097424 140736295963752 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 91556 90014 412 1459 0 90088 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 366224
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 488
/proc/meminfo: memFree=24903888/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=917036 CPUtime=3.08 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 227882 0 0 0 273 35 0 0 20 0 1 0 270831135 939044864 227782 33554432000 4194304 10169799 140736296097424 140736296092520 4950707 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 229259 227782 461 1459 0 227791 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 917036
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 488
/proc/meminfo: memFree=24124156/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=1241724 CPUtime=6.29 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 330377 0 0 0 568 61 0 0 20 0 1 0 270831135 1271525376 307770 33554432000 4194304 10169799 140736296097424 140736296095512 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 310431 307770 545 1459 0 308963 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1241724
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 488
/proc/meminfo: memFree=23672560/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=1631080 CPUtime=12.69 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 464266 0 0 0 1144 125 0 0 20 0 1 0 270831135 1670225920 404651 33554432000 4194304 10169799 140736296097424 140736296094632 6912665 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 407770 404651 589 1459 0 406302 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1631080
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 488
/proc/meminfo: memFree=23439308/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=1904604 CPUtime=25.49 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 509759 0 0 0 2415 134 0 0 20 0 1 0 270831135 1950314496 472099 33554432000 4194304 10169799 140736296097424 140736296093976 8922310 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 476151 472099 607 1459 0 474683 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1904604
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 488
/proc/meminfo: memFree=23424764/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=1913244 CPUtime=51.08 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 511804 0 0 0 4973 135 0 0 20 0 1 0 270831135 1959161856 474144 33554432000 4194304 10169799 140736296097424 140736296093976 8922280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 478311 474144 607 1459 0 476843 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1913244
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 488
/proc/meminfo: memFree=23394240/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=1941068 CPUtime=102.28 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 518617 0 0 0 10093 135 0 0 20 0 1 0 270831135 1987653632 480907 33554432000 4194304 10169799 140736296097424 140736296093896 8922310 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 485267 480907 607 1459 0 483799 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1941068
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 488
/proc/meminfo: memFree=22060268/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3309240 CPUtime=162.27 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 833820 0 0 0 16046 181 0 0 20 0 1 0 270831135 3388661760 813500 33554432000 4194304 10169799 140736296097424 140736296093688 8922268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 827310 813500 607 1459 0 825842 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 3309240
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 489
/proc/meminfo: memFree=22058064/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3310264 CPUtime=222.26 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 834263 0 0 0 22045 181 0 0 20 0 1 0 270831135 3389710336 813943 33554432000 4194304 10169799 140736296097424 140736296093688 8922290 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 827566 813943 607 1459 0 826098 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 3310264
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 489
/proc/meminfo: memFree=22055488/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3310264 CPUtime=282.25 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 834482 0 0 0 28044 181 0 0 20 0 1 0 270831135 3389710336 814162 33554432000 4194304 10169799 140736296097424 140736296093688 8922300 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 827566 814162 607 1459 0 826098 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 3310264
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 489
/proc/meminfo: memFree=22055672/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3313336 CPUtime=342.24 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 835397 0 0 0 34043 181 0 0 20 0 1 0 270831135 3392856064 815077 33554432000 4194304 10169799 140736296097424 140736296093688 8922268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 828334 815077 607 1459 0 826866 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 3313336
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 492
/proc/meminfo: memFree=22039872/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3313336 CPUtime=402.23 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 835584 0 0 0 40042 181 0 0 20 0 1 0 270831135 3392856064 815264 33554432000 4194304 10169799 140736296097424 140736296093688 8922310 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 828334 815264 607 1459 0 826866 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 3313336
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 492
/proc/meminfo: memFree=22038916/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3313336 CPUtime=462.22 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 835804 0 0 0 46041 181 0 0 20 0 1 0 270831135 3392856064 815484 33554432000 4194304 10169799 140736296097424 140736296093688 8922290 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 828334 815484 607 1459 0 826866 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3313336
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 493
/proc/meminfo: memFree=22027904/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3315252 CPUtime=522.21 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 836460 0 0 0 52040 181 0 0 20 0 1 0 270831135 3394818048 816107 33554432000 4194304 10169799 140736296097424 140736296093688 8922316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 828813 816107 607 1459 0 827345 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3315252
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 493
/proc/meminfo: memFree=22023716/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3316084 CPUtime=582.2 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 836855 0 0 0 58038 182 0 0 20 0 1 0 270831135 3395670016 816502 33554432000 4194304 10169799 140736296097424 140736296093688 8922290 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 829021 816502 607 1459 0 827553 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3316084
[startup+642.3 s]
################
# More data... #
################
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 839778 0 0 0 100031 183 0 0 20 0 1 0 270831135 3402153984 819391 33554432000 4194304 10169799 140736296097424 140736296093688 8922290 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 830604 819391 607 1459 0 829136 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 3322416
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 521
/proc/meminfo: memFree=22004444/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3325356 CPUtime=1062.12 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 840771 0 0 0 106029 183 0 0 20 0 1 0 270831135 3405164544 820351 33554432000 4194304 10169799 140736296097424 140736296093688 8922295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 831339 820351 607 1459 0 829871 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 3325356
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 522
/proc/meminfo: memFree=22012236/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3325356 CPUtime=1122.11 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 840965 0 0 0 112028 183 0 0 20 0 1 0 270831135 3405164544 820546 33554432000 4194304 10169799 140736296097424 140736296093688 8922305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 831339 820546 607 1459 0 829871 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 3325356
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 522
/proc/meminfo: memFree=22011212/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3325356 CPUtime=1182.11 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 841122 0 0 0 118027 184 0 0 20 0 1 0 270831135 3405164544 820757 33554432000 4194304 10169799 140736296097424 140736296093688 8922316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 831339 820757 607 1459 0 829871 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3325356
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 522
/proc/meminfo: memFree=21993000/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3327404 CPUtime=1242.1 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 841865 0 0 0 124026 184 0 0 20 0 1 0 270831135 3407261696 821500 33554432000 4194304 10169799 140736296097424 140736296093688 8922316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 831851 821500 607 1459 0 830383 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3327404
[startup+1302.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 522
/proc/meminfo: memFree=21979388/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3328236 CPUtime=1302.09 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 842279 0 0 0 130025 184 0 0 20 0 1 0 270831135 3408113664 824621 33554432000 4194304 10169799 140736296097424 140736296093688 8922290 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 832059 824621 607 1459 0 830591 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3328236
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 560
/proc/meminfo: memFree=22966192/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3330284 CPUtime=1362.08 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 842955 0 0 0 136024 184 0 0 20 0 1 0 270831135 3410210816 825784 33554432000 4194304 10169799 140736296097424 140736296093688 8922280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 832571 825784 607 1459 0 831103 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3330284
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 561
/proc/meminfo: memFree=22928632/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3331308 CPUtime=1422.08 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 843455 0 0 0 142024 184 0 0 20 0 1 0 270831135 3411259392 826599 33554432000 4194304 10169799 140736296097424 140736296093688 8922290 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 832827 826599 607 1459 0 831359 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3331308
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 561
/proc/meminfo: memFree=22917308/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3333164 CPUtime=1482.06 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 844121 0 0 0 148022 184 0 0 20 0 1 0 270831135 3413159936 827464 33554432000 4194304 10169799 140736296097424 140736296093688 8922300 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 833291 827464 607 1459 0 831823 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3333164
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 561
/proc/meminfo: memFree=22915228/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3333164 CPUtime=1542.05 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 844287 0 0 0 154021 184 0 0 20 0 1 0 270831135 3413159936 827630 33554432000 4194304 10169799 140736296097424 140736296093688 8922310 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 833291 827630 607 1459 0 831823 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3333164
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 564
/proc/meminfo: memFree=22905700/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3334056 CPUtime=1602.05 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 844751 0 0 0 160020 185 0 0 20 0 1 0 270831135 3414073344 828061 33554432000 4194304 10169799 140736296097424 140736296093688 8922280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 833514 828061 607 1459 0 832046 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 3334056
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 564
/proc/meminfo: memFree=22908908/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3335080 CPUtime=1662.03 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 845232 0 0 0 166018 185 0 0 20 0 1 0 270831135 3415121920 828865 33554432000 4194304 10169799 140736296097424 140736296093688 8922285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 833770 828865 607 1459 0 832302 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3335080
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 564
/proc/meminfo: memFree=22897448/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3336936 CPUtime=1722.02 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 845815 0 0 0 172017 185 0 0 20 0 1 0 270831135 3417022464 830161 33554432000 4194304 10169799 140736296097424 140736296093688 8922280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 834234 830161 607 1459 0 832766 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3336936
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 565
/proc/meminfo: memFree=22897248/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3338984 CPUtime=1782.01 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 846392 0 0 0 178016 185 0 0 20 0 1 0 270831135 3419119616 831303 33554432000 4194304 10169799 140736296097424 140736296093688 8922305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 834746 831303 607 1459 0 833278 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 3338984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 565
/proc/meminfo: memFree=22895980/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3338984 CPUtime=1800.01 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 846405 0 0 0 179816 185 0 0 20 0 1 0 270831135 3419119616 831316 33554432000 4194304 10169799 140736296097424 140736296093688 8922290 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 834746 831316 607 1459 0 833278 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3338984
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -487
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 566
/proc/meminfo: memFree=22895600/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3338984 CPUtime=1801.11 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 846405 0 0 0 179926 185 0 0 20 0 1 0 270831135 3419119616 831316 33554432000 4194304 10169799 140736296097424 140736296093120 8922300 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 834746 831316 607 1459 0 833278 0
Current children cumulated CPU time (s) 1801.11
Current children cumulated vsize (KiB) 3338984
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 566
/proc/meminfo: memFree=22895600/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=3338984 CPUtime=1801.91 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4202496 846405 0 0 0 180006 185 0 0 20 0 1 0 270831135 3419119616 831316 33554432000 4194304 10169799 140736296097424 140736296093120 8922290 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/487/statm: 834746 831316 607 1459 0 833278 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 3338984
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 566
/proc/meminfo: memFree=22895600/32873844 swapFree=6088/6088
[pid=487] ppid=485 vsize=0 CPUtime=1802.1 cores=1,3,5,7
/proc/487/stat : 487 (scip-2.1.1.4sfi) R 485 487 30587 0 -1 4203524 846405 0 0 0 180016 194 0 0 20 0 1 0 270831135 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/487/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.41
CPU time (s): 1802.13
CPU user time (s): 1800.17
CPU system time (s): 1.9607
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 3338984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.17
system time used= 1.9607
maximum resident set size= 3325264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 846405
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= 19
involuntary context switches= 1854
runsolver used 6.64099 second user time and 14.4168 second system time
The end