0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3486295-1307793245.opb>
1.19/1.27 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245199 constraints
1.19/1.27 c problem read
1.19/1.27 c presolving settings loaded
1.99/2.06 c presolving:
9.99/10.03 c (round 1) 6175 del vars, 18464 del conss, 0 add conss, 4589 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16735520 impls, 0 clqs
14.30/14.37 c (round 2) 13709 del vars, 48201 del conss, 0 add conss, 11684 chg bounds, 1 chg sides, 1 chg coeffs, 0 upgd conss, 16775141 impls, 0 clqs
15.79/15.82 c (round 3) 16553 del vars, 61171 del conss, 0 add conss, 13477 chg bounds, 114 chg sides, 85 chg coeffs, 0 upgd conss, 16795111 impls, 0 clqs
16.59/16.66 c (round 4) 18153 del vars, 67336 del conss, 0 add conss, 14567 chg bounds, 134 chg sides, 103 chg coeffs, 0 upgd conss, 16806524 impls, 0 clqs
17.19/17.23 c (round 5) 19198 del vars, 71441 del conss, 0 add conss, 15249 chg bounds, 165 chg sides, 140 chg coeffs, 0 upgd conss, 16817588 impls, 0 clqs
17.50/17.58 c (round 6) 19871 del vars, 74058 del conss, 0 add conss, 15642 chg bounds, 165 chg sides, 140 chg coeffs, 0 upgd conss, 16823917 impls, 0 clqs
17.79/17.80 c (round 7) 20257 del vars, 75680 del conss, 0 add conss, 15887 chg bounds, 165 chg sides, 140 chg coeffs, 0 upgd conss, 16827309 impls, 0 clqs
17.89/17.98 c (round 8) 20543 del vars, 76757 del conss, 0 add conss, 16062 chg bounds, 165 chg sides, 140 chg coeffs, 0 upgd conss, 16831005 impls, 0 clqs
18.09/18.11 c (round 9) 20696 del vars, 77441 del conss, 0 add conss, 16169 chg bounds, 165 chg sides, 140 chg coeffs, 0 upgd conss, 16832524 impls, 0 clqs
18.19/18.22 c (round 10) 20832 del vars, 77966 del conss, 0 add conss, 16257 chg bounds, 165 chg sides, 140 chg coeffs, 0 upgd conss, 16833739 impls, 0 clqs
18.29/18.32 c (round 11) 20950 del vars, 78428 del conss, 0 add conss, 16323 chg bounds, 165 chg sides, 140 chg coeffs, 0 upgd conss, 16835471 impls, 0 clqs
18.39/18.41 c (round 12) 21020 del vars, 78746 del conss, 0 add conss, 16366 chg bounds, 165 chg sides, 140 chg coeffs, 0 upgd conss, 16836097 impls, 0 clqs
18.39/18.49 c (round 13) 21058 del vars, 78909 del conss, 0 add conss, 16387 chg bounds, 165 chg sides, 140 chg coeffs, 0 upgd conss, 16836712 impls, 0 clqs
18.49/18.59 c (round 14) 21074 del vars, 79015 del conss, 0 add conss, 16406 chg bounds, 165 chg sides, 140 chg coeffs, 0 upgd conss, 16836780 impls, 0 clqs
18.60/18.64 c (round 15) 21090 del vars, 79085 del conss, 0 add conss, 16407 chg bounds, 165 chg sides, 140 chg coeffs, 0 upgd conss, 16836836 impls, 0 clqs
19.19/19.25 c (round 16) 21090 del vars, 79092 del conss, 0 add conss, 16407 chg bounds, 165 chg sides, 140 chg coeffs, 166107 upgd conss, 16836836 impls, 0 clqs
739.48/739.50 c (739.5s) probing: 1000/51752 (1.9%) - 0 fixings, 0 aggregations, 11759187 implications, 0 bound changes
1264.77/1264.83 c (1264.8s) probing: 2000/51752 (3.9%) - 0 fixings, 0 aggregations, 18291741 implications, 0 bound changes
1265.17/1265.24 c (1265.2s) probing: 2001/51752 (3.9%) - 0 fixings, 0 aggregations, 18295203 implications, 0 bound changes
1265.17/1265.24 c (1265.2s) probing aborted: 2000/2000 successive useless probings
1265.17/1265.24 c presolving (17 rounds):
1265.17/1265.24 c 21090 deleted vars, 79092 deleted constraints, 4 added constraints, 16407 tightened bounds, 0 added holes, 177 changed sides, 269 changed coefficients
1265.17/1265.24 c 87733176 implications, 0 cliques
1265.17/1265.24 c presolved problem has 51752 variables (51752 bin, 0 int, 0 impl, 0 cont) and 166111 constraints
1265.17/1265.24 c 1062 constraints of type <knapsack>
1265.17/1265.24 c 139491 constraints of type <setppc>
1265.17/1265.24 c 25558 constraints of type <logicor>
1265.17/1265.24 c transformed objective value is always integral (scale: 1)
1265.17/1265.24 c Presolving Time: 1263.75
1265.17/1265.24 c - non default parameters ----------------------------------------------------------------------
1265.17/1265.24 c # SCIP version 2.0.1.4
1265.17/1265.24 c
1265.17/1265.24 c # frequency for displaying node information lines
1265.17/1265.24 c # [type: int, range: [-1,2147483647], default: 100]
1265.17/1265.24 c display/freq = 10000
1265.17/1265.24 c
1265.17/1265.24 c # maximal time in seconds to run
1265.17/1265.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1265.17/1265.24 c limits/time = 1797
1265.17/1265.24 c
1265.17/1265.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1265.17/1265.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1265.17/1265.24 c limits/memory = 13950
1265.17/1265.24 c
1265.17/1265.24 c # default clock type (1: CPU user seconds, 2: wall clock time)
1265.17/1265.24 c # [type: int, range: [1,2], default: 1]
1265.17/1265.24 c timing/clocktype = 2
1265.17/1265.24 c
1265.17/1265.24 c # belongs reading time to solving time?
1265.17/1265.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1265.17/1265.24 c timing/reading = TRUE
1265.17/1265.24 c
1265.17/1265.24 c # should presolving try to simplify inequalities
1265.17/1265.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1265.17/1265.24 c constraints/linear/simplifyinequalities = TRUE
1265.17/1265.24 c
1265.17/1265.24 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1265.17/1265.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1265.17/1265.24 c constraints/indicator/addCouplingCons = TRUE
1265.17/1265.24 c
1265.17/1265.24 c # should presolving try to simplify knapsacks
1265.17/1265.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1265.17/1265.24 c constraints/knapsack/simplifyinequalities = TRUE
1265.17/1265.24 c
1265.17/1265.24 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1265.17/1265.24 c # [type: int, range: [-1,2147483647], default: -1]
1265.17/1265.24 c separating/rapidlearning/freq = 0
1265.17/1265.24 c
1265.17/1265.24 c -----------------------------------------------------------------------------------------------
1265.17/1265.24 c start solving
1265.17/1265.28 c
1440.56/1440.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1440.56/1440.64 c 1441s| 1 | 0 | 42659 | - |2557M| 0 | 173 | 51k| 166k| 51k| 166k| 0 | 16 | 0 | 1.080000e+02 | -- | Inf
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3486295-1307793245/watcher-3486295-1307793245 -o /tmp/evaluation-result-3486295-1307793245/solver-3486295-1307793245 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486295-1307793245.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 1.97 2/174 20139
/proc/meminfo: memFree=29719284/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=10320 CPUtime=0 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 1573 0 0 0 0 0 0 0 25 0 1 0 871740429 10567680 1528 33554432000 4194304 8979876 140733507290736 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20139/statm: 2580 1528 366 1169 0 1407 0
[startup+0.078722 s]
/proc/loadavg: 2.00 2.00 1.97 2/174 20139
/proc/meminfo: memFree=29719284/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=25224 CPUtime=0.07 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 5289 0 0 0 7 0 0 0 25 0 1 0 871740429 25829376 5244 33554432000 4194304 8979876 140733507290736 18446744073709551615 7836068 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20139/statm: 6306 5244 366 1169 0 5133 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25224
[startup+0.100711 s]
/proc/loadavg: 2.00 2.00 1.97 2/174 20139
/proc/meminfo: memFree=29719284/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=27548 CPUtime=0.09 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 5903 0 0 0 9 0 0 0 25 0 1 0 871740429 28209152 5858 33554432000 4194304 8979876 140733507290736 18446744073709551615 6177241 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20139/statm: 6887 5858 366 1169 0 5714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27548
[startup+0.300676 s]
/proc/loadavg: 2.00 2.00 1.97 2/174 20139
/proc/meminfo: memFree=29719284/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=52524 CPUtime=0.29 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 12128 0 0 0 28 1 0 0 25 0 1 0 871740429 53784576 12083 33554432000 4194304 8979876 140733507290736 18446744073709551615 7893696 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20139/statm: 13131 12083 366 1169 0 11958 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52524
[startup+0.700616 s]
/proc/loadavg: 2.00 2.00 1.97 2/174 20139
/proc/meminfo: memFree=29719284/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=76692 CPUtime=0.69 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 18132 0 0 0 67 2 0 0 25 0 1 0 871740429 78532608 18087 33554432000 4194304 8979876 140733507290736 18446744073709551615 4446981 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20139/statm: 19173 18087 366 1169 0 18000 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76692
[startup+1.50046 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 20140
/proc/meminfo: memFree=29618976/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=277332 CPUtime=1.49 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 67754 0 0 0 141 8 0 0 25 0 1 0 871740429 283987968 67689 33554432000 4194304 8979876 140733507290736 18446744073709551615 4786309 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 69333 67689 441 1169 0 68160 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 277332
[startup+3.10016 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 20140
/proc/meminfo: memFree=29343820/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=496948 CPUtime=3.09 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 133510 0 0 0 294 15 0 0 25 0 1 0 871740429 508874752 121297 33554432000 4194304 8979876 140733507290736 18446744073709551615 6503296 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 124237 121297 494 1169 0 123064 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 496948
[startup+6.30058 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 20140
/proc/meminfo: memFree=29058848/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=725504 CPUtime=6.29 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 189877 0 0 0 609 20 0 0 25 0 1 0 871740429 742916096 177664 33554432000 4194304 8979876 140733507290736 18446744073709551615 6503008 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 181376 177664 494 1169 0 180203 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 725504
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 20140
/proc/meminfo: memFree=28806276/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=887596 CPUtime=12.69 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 229243 0 0 0 1244 25 0 0 25 0 1 0 871740429 908898304 216528 33554432000 4194304 8979876 140733507290736 18446744073709551615 6504355 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 221899 216528 504 1169 0 220726 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 887596
[startup+25.501 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 20140
/proc/meminfo: memFree=28677732/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=955156 CPUtime=25.49 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 260518 0 0 0 2521 28 0 0 25 0 1 0 871740429 978079744 232838 33554432000 4194304 8979876 140733507290736 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 238789 232838 607 1169 0 237616 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 955156
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 20141
/proc/meminfo: memFree=28624632/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=988948 CPUtime=51.09 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 268391 0 0 0 5080 29 0 0 25 0 1 0 871740429 1012682752 240711 33554432000 4194304 8979876 140733507290736 18446744073709551615 6503288 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 247237 240711 607 1169 0 246064 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 988948
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 20180
/proc/meminfo: memFree=30595920/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=1065652 CPUtime=102.3 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 287109 0 0 0 10198 32 0 0 25 0 1 0 871740429 1091227648 259429 33554432000 4194304 8979876 140733507290736 18446744073709551615 4888360 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 266413 259429 607 1169 0 265240 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1065652
[startup+162.301 s]
/proc/loadavg: 2.04 2.01 1.98 3/175 20182
/proc/meminfo: memFree=29544644/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=1193324 CPUtime=162.29 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 319494 0 0 0 16193 36 0 0 25 0 1 0 871740429 1221963776 291220 33554432000 4194304 8979876 140733507290736 18446744073709551615 5381765 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 298331 291220 607 1169 0 297158 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1193324
[startup+222.301 s]
/proc/loadavg: 2.01 2.01 1.98 3/175 20183
/proc/meminfo: memFree=29329216/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=1297684 CPUtime=222.29 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 344729 0 0 0 22189 40 0 0 25 0 1 0 871740429 1328828416 316455 33554432000 4194304 8979876 140733507290736 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 324421 316455 607 1169 0 323248 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1297684
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 20185
/proc/meminfo: memFree=29028856/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=1502668 CPUtime=282.29 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 395736 0 0 0 28183 46 0 0 25 0 1 0 871740429 1538732032 367462 33554432000 4194304 8979876 140733507290736 18446744073709551615 6503488 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 375667 367462 607 1169 0 374494 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1502668
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 20187
/proc/meminfo: memFree=28782552/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=1640276 CPUtime=342.29 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 430076 0 0 0 34180 49 0 0 25 0 1 0 871740429 1679642624 401769 33554432000 4194304 8979876 140733507290736 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 410069 401769 607 1169 0 408896 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1640276
[startup+402.301 s]
/proc/loadavg: 2.08 2.02 1.98 3/175 20188
/proc/meminfo: memFree=28564280/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=1764124 CPUtime=402.29 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 460398 0 0 0 40176 53 0 0 25 0 1 0 871740429 1806462976 431959 33554432000 4194304 8979876 140733507290736 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 441031 431959 607 1169 0 439858 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1764124
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/175 20199
/proc/meminfo: memFree=28284028/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=1918648 CPUtime=462.29 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 498652 0 0 0 46172 57 0 0 25 0 1 0 871740429 1964695552 470213 33554432000 4194304 8979876 140733507290736 18446744073709551615 6503315 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 479662 470213 607 1169 0 478489 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 1918648
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/175 20200
/proc/meminfo: memFree=28044672/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=2002948 CPUtime=522.29 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 519515 0 0 0 52169 60 0 0 25 0 1 0 871740429 2051018752 491076 33554432000 4194304 8979876 140733507290736 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 500737 491076 607 1169 0 499564 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 2002948
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 20202
/proc/meminfo: memFree=27757696/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=2141424 CPUtime=582.29 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 553915 0 0 0 58165 64 0 0 25 0 1 0 871740429 2192818176 525476 33554432000 4194304 8979876 140733507290736 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 535356 525476 607 1169 0 534183 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 2141424
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 20210
/proc/meminfo: memFree=26579540/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=2675956 CPUtime=882.28 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 687179 0 0 0 88148 80 0 0 25 0 1 0 871740429 2740178944 658674 33554432000 4194304 8979876 140733507290736 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 668989 658674 612 1169 0 667816 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 2675956
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 20212
/proc/meminfo: memFree=26406644/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=2754904 CPUtime=942.27 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 706648 0 0 0 94145 82 0 0 25 0 1 0 871740429 2821021696 678143 33554432000 4194304 8979876 140733507290736 18446744073709551615 4318191 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 688726 678143 612 1169 0 687553 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 2754904
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 20213
/proc/meminfo: memFree=26255456/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=2835604 CPUtime=1002.27 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 726292 0 0 0 100143 84 0 0 25 0 1 0 871740429 2903658496 697787 33554432000 4194304 8979876 140733507290736 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 708901 697787 612 1169 0 707728 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 2835604
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 20215
/proc/meminfo: memFree=26160540/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=2873936 CPUtime=1062.28 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 736318 0 0 0 106142 86 0 0 25 0 1 0 871740429 2942910464 707813 33554432000 4194304 8979876 140733507290736 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 718484 707813 612 1169 0 717311 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 2873936
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 20216
/proc/meminfo: memFree=26044204/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=2920008 CPUtime=1122.27 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 748129 0 0 0 112140 87 0 0 25 0 1 0 871740429 2990088192 719624 33554432000 4194304 8979876 140733507290736 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 730002 719624 612 1169 0 728829 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 2920008
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 20218
/proc/meminfo: memFree=25923760/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=2967080 CPUtime=1182.27 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 758744 0 0 0 118138 89 0 0 25 0 1 0 871740429 3038289920 730239 33554432000 4194304 8979876 140733507290736 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 741770 730239 612 1169 0 740597 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 2967080
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 20220
/proc/meminfo: memFree=25795764/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=3020200 CPUtime=1242.27 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 772255 0 0 0 124136 91 0 0 25 0 1 0 871740429 3092684800 743750 33554432000 4194304 8979876 140733507290736 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 755050 743750 612 1169 0 753877 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 3020200
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 20221
/proc/meminfo: memFree=25451872/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=3328988 CPUtime=1302.28 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 846880 0 0 0 130125 103 0 0 25 0 1 0 871740429 3408883712 813666 33554432000 4194304 8979876 140733507290736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 832247 813666 984 1169 0 831074 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 3328988
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 20223
/proc/meminfo: memFree=25378436/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=3336636 CPUtime=1362.26 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 853299 0 0 0 136118 108 0 0 25 0 1 0 871740429 3416715264 819225 33554432000 4194304 8979876 140733507290736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 834159 819225 743 1169 0 832986 0
Current children cumulated CPU time (s) 1362.26
Current children cumulated vsize (KiB) 3336636
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 20224
/proc/meminfo: memFree=25311424/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=3354296 CPUtime=1422.27 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 857537 0 0 0 142111 116 0 0 25 0 1 0 871740429 3434799104 823416 33554432000 4194304 8979876 140733507290736 18446744073709551615 7147105 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 838574 823416 731 1169 0 837401 0
Current children cumulated CPU time (s) 1422.27
Current children cumulated vsize (KiB) 3354296
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 20226
/proc/meminfo: memFree=25243316/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=3362396 CPUtime=1482.26 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 859103 0 0 0 148100 126 0 0 25 0 1 0 871740429 3443093504 824969 33554432000 4194304 8979876 140733507290736 18446744073709551615 7155197 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 840599 824969 729 1169 0 839426 0
Current children cumulated CPU time (s) 1482.26
Current children cumulated vsize (KiB) 3362396
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 20228
/proc/meminfo: memFree=25200876/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=3362396 CPUtime=1542.26 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 859114 0 0 0 154094 132 0 0 25 0 1 0 871740429 3443093504 824977 33554432000 4194304 8979876 140733507290736 18446744073709551615 7155648 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 840599 824977 726 1169 0 839426 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 3362396
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 20229
/proc/meminfo: memFree=24980984/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=3362396 CPUtime=1602.27 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 860117 0 0 0 160089 138 0 0 25 0 1 0 871740429 3443093504 825979 33554432000 4194304 8979876 140733507290736 18446744073709551615 6293612 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 840599 825979 862 1169 0 839426 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 3362396
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20231
/proc/meminfo: memFree=24859944/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=3362396 CPUtime=1662.26 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 860175 0 0 0 166088 138 0 0 25 0 1 0 871740429 3443093504 826037 33554432000 4194304 8979876 140733507290736 18446744073709551615 6254444 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 840599 826037 867 1169 0 839426 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 3362396
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20232
/proc/meminfo: memFree=24837592/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=3362396 CPUtime=1722.26 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 860175 0 0 0 172088 138 0 0 25 0 1 0 871740429 3443093504 826037 33554432000 4194304 8979876 140733507290736 18446744073709551615 6254371 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 840599 826037 867 1169 0 839426 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 3362396
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 20234
/proc/meminfo: memFree=24819568/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=3362396 CPUtime=1782.26 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 860175 0 0 0 178088 138 0 0 25 0 1 0 871740429 3443093504 826037 33554432000 4194304 8979876 140733507290736 18446744073709551615 6254368 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 840599 826037 867 1169 0 839426 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 3362396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 20235
/proc/meminfo: memFree=24819312/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=3362396 CPUtime=1800.07 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4202496 860271 0 0 0 179869 138 0 0 25 0 1 0 871740429 3443093504 826125 33554432000 4194304 8979876 140733507290736 18446744073709551615 6255392 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/20139/statm: 840599 826125 859 1169 0 839426 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3362396
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.21 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 20235
/proc/meminfo: memFree=24819312/32951124 swapFree=67062492/67111528
[pid=20139] ppid=20137 vsize=0 CPUtime=1800.17 cores=1,3,5,7
/proc/20139/stat : 20139 (scip-2.0.1.4_2.) R 20137 20139 17360 0 -1 4203524 860271 0 0 0 179869 148 0 0 25 0 1 0 871740429 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20139/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.23
CPU time (s): 1800.2
CPU user time (s): 1798.69
CPU system time (s): 1.50277
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 3362396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 1.50277
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 860271
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= 2045
runsolver used 2.89756 second user time and 6.578 second system time
The end