0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3450915-1307099093.opb>
2.49/2.53 c original problem has 8601 variables (8601 bin, 0 int, 0 impl, 0 cont) and 386810 constraints
2.49/2.53 c problem read
2.49/2.53 c presolving settings loaded
2.89/2.96 c presolving:
3.99/4.08 c (round 1) 5265 del vars, 345933 del conss, 0 add conss, 4993 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 589867 impls, 0 clqs
4.09/4.10 c (round 2) 5267 del vars, 349406 del conss, 0 add conss, 4993 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 589867 impls, 0 clqs
4.19/4.26 c (round 3) 5267 del vars, 349406 del conss, 0 add conss, 4993 chg bounds, 90 chg sides, 180 chg coeffs, 37404 upgd conss, 589867 impls, 0 clqs
6.71/6.73 c (6.7s) probing: 1000/3334 (30.0%) - 0 fixings, 0 aggregations, 1223 implications, 0 bound changes
9.19/9.27 c (9.3s) probing: 2000/3334 (60.0%) - 0 fixings, 0 aggregations, 2560 implications, 0 bound changes
9.19/9.27 c (9.3s) probing: 2001/3334 (60.0%) - 0 fixings, 0 aggregations, 2561 implications, 0 bound changes
9.19/9.27 c (9.3s) probing aborted: 2000/2000 successive useless probings
9.19/9.27 c presolving (4 rounds):
9.19/9.27 c 5267 deleted vars, 349406 deleted constraints, 0 added constraints, 4993 tightened bounds, 0 added holes, 90 changed sides, 180 changed coefficients
9.19/9.27 c 597293 implications, 0 cliques
9.19/9.27 c presolved problem has 3334 variables (3334 bin, 0 int, 0 impl, 0 cont) and 37404 constraints
9.19/9.27 c 26728 constraints of type <setppc>
9.19/9.27 c 10676 constraints of type <logicor>
9.19/9.27 c transformed objective value is always integral (scale: 1)
9.19/9.27 c Presolving Time: 6.33
9.19/9.27 c - non default parameters ----------------------------------------------------------------------
9.19/9.27 c # SCIP version 2.0.1.5
9.19/9.27 c
9.19/9.27 c # frequency for displaying node information lines
9.19/9.27 c # [type: int, range: [-1,2147483647], default: 100]
9.19/9.27 c display/freq = 10000
9.19/9.27 c
9.19/9.27 c # maximal time in seconds to run
9.19/9.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.19/9.27 c limits/time = 1800
9.19/9.27 c
9.19/9.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
9.19/9.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.19/9.27 c limits/memory = 13950
9.19/9.27 c
9.19/9.27 c # default clock type (1: CPU user seconds, 2: wall clock time)
9.19/9.27 c # [type: int, range: [1,2], default: 1]
9.19/9.27 c timing/clocktype = 2
9.19/9.27 c
9.19/9.27 c # belongs reading time to solving time?
9.19/9.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.19/9.27 c timing/reading = TRUE
9.19/9.27 c
9.19/9.27 c # should presolving try to simplify inequalities
9.19/9.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.19/9.27 c constraints/linear/simplifyinequalities = TRUE
9.19/9.27 c
9.19/9.27 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
9.19/9.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.19/9.27 c constraints/indicator/addCouplingCons = TRUE
9.19/9.27 c
9.19/9.27 c # should presolving try to simplify knapsacks
9.19/9.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.19/9.27 c constraints/knapsack/simplifyinequalities = TRUE
9.19/9.27 c
9.19/9.27 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
9.19/9.27 c # [type: int, range: [-1,2147483647], default: -1]
9.19/9.27 c separating/rapidlearning/freq = 0
9.19/9.27 c
9.19/9.27 c -----------------------------------------------------------------------------------------------
9.19/9.27 c start solving
9.19/9.28 c
9.19/9.28 o 92
9.19/9.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.19/9.28 c t 9.3s| 1 | 0 | 0 | - | 216M| 0 | - |3334 | 37k| 0 | 0 | 0 | 0 | 0 | -- | 9.200000e+01 | Inf
11.00/11.10 c 11.1s| 1 | 0 | 5409 | - | 235M| 0 |3184 |3334 | 37k|3334 | 37k| 0 | 0 | 0 | 8.000000e+00 | 9.200000e+01 |1050.00%
15.09/15.18 c 15.2s| 1 | 0 | 13628 | - | 237M| 0 |2093 |3334 | 37k|3334 | 39k|2000 | 0 | 0 | 1.506010e+01 | 9.200000e+01 | 510.89%
20.59/20.63 c 20.6s| 1 | 0 | 18731 | - | 238M| 0 |1330 |3334 | 37k|3334 | 40k|3112 | 0 | 0 | 1.800000e+01 | 9.200000e+01 | 411.11%
26.19/26.25 c 26.3s| 1 | 0 | 20165 | - | 238M| 0 |1299 |3334 | 37k|3334 | 40k|3243 | 0 | 0 | 1.900000e+01 | 9.200000e+01 | 384.21%
59.69/59.73 c 59.7s| 1 | 0 | 21131 | - | 238M| 0 |1331 |3334 | 37k|3334 | 40k|3283 | 0 | 0 | 1.900000e+01 | 9.200000e+01 | 384.21%
86.39/86.43 c 86.4s| 1 | 0 | 21316 | - | 239M| 0 |1261 |3334 | 37k|3334 | 40k|3297 | 0 | 0 | 1.900000e+01 | 9.200000e+01 | 384.21%
92.40/92.48 c 92.5s| 1 | 0 | 22204 | - | 240M| 0 |1233 |3334 | 37k|3334 | 40k|3311 | 0 | 0 | 1.900000e+01 | 9.200000e+01 | 384.21%
101.80/101.83 c 102s| 1 | 0 | 23102 | - | 240M| 0 |1167 |3334 | 37k|3334 | 40k|3325 | 0 | 0 | 1.900000e+01 | 9.200000e+01 | 384.21%
138.19/138.27 c 138s| 1 | 0 | 23958 | - | 240M| 0 |1209 |3334 | 37k|3334 | 40k|3338 | 0 | 0 | 1.900000e+01 | 9.200000e+01 | 384.21%
167.90/167.97 c 168s| 1 | 2 | 33958 | - | 240M| 0 |1209 |3334 | 37k|3334 | 40k|3338 | 0 | 20 | 1.900000e+01 | 9.200000e+01 | 384.21%
329.20/329.22 o 58
329.20/329.22 c p 329s| 37 | 38 | 56593 | 906.5 | 250M| 22 | - |3334 | 37k|3334 | 38k|3338 | 0 | 245 | 1.900000e+01 | 5.800000e+01 | 205.26%
362.60/362.61 o 55
362.60/362.61 c v 363s| 63 | 64 | 81756 | 932.2 | 244M| 23 | - |3334 | 37k|3334 | 38k|3338 | 0 | 290 | 1.900000e+01 | 5.500000e+01 | 189.47%
401.20/401.30 o 54
401.20/401.30 c l 401s| 102 | 103 |112480 | 876.5 | 244M| 23 | - |3334 | 37k|3334 | 38k|3338 | 10 | 363 | 1.900000e+01 | 5.400000e+01 | 184.21%
479.20/479.21 o 53
479.20/479.21 c l 479s| 137 | 138 |160279 |1002.4 | 245M| 24 | - |3334 | 37k|3334 | 38k|3338 | 10 | 419 | 1.900000e+01 | 5.300000e+01 | 178.95%
554.42/554.50 o 48
554.42/554.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
554.42/554.50 c g 554s| 161 | 162 |212572 |1178.8 | 250M| 24 | - |3334 | 37k|3334 | 38k|3338 | 20 | 474 | 2.000000e+01 | 4.800000e+01 | 140.00%
630.91/630.98 o 47
630.91/630.98 c g 631s| 182 | 183 |257996 |1293.0 | 249M| 25 | - |3334 | 37k|3334 | 38k|3338 | 20 | 540 | 2.000000e+01 | 4.700000e+01 | 135.00%
1154.42/1154.49 o 46
1154.42/1154.49 c C1154s| 382 | 383 |596543 |1502.8 | 247M| 27 |1249 |3334 | 37k|3334 | 38k|3338 | 125 |1140 | 2.100000e+01 | 4.600000e+01 | 119.05%
1203.33/1203.36 o 45
1203.33/1203.36 c g1203s| 398 | 399 |627284 |1519.7 | 255M| 27 | - |3334 | 37k|3334 | 38k|3338 | 141 |1196 | 2.100000e+01 | 4.500000e+01 | 114.29%
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 765
1800.04/1800.00 c Primal Bound : +4.50000000000000e+01 (14 solutions)
1800.04/1800.00 c Dual Bound : +2.10000000000000e+01
1800.04/1800.00 c Gap : 114.29 %
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3450915-1307099093/watcher-3450915-1307099093 -o /tmp/evaluation-result-3450915-1307099093/solver-3450915-1307099093 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450915-1307099093.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 2/400 27472
/proc/meminfo: memFree=28854256/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=16064 CPUtime=0 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 2992 0 0 0 0 0 0 0 24 0 1 0 821509128 16449536 2945 33554432000 4194304 9163163 140736449245808 18446744073709551615 8045625 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27472/statm: 4016 2945 395 1214 0 2798 0
[startup+0.101567 s]
/proc/loadavg: 2.01 2.00 2.00 2/400 27472
/proc/meminfo: memFree=28854256/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=23700 CPUtime=0.09 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 4923 0 0 0 9 0 0 0 24 0 1 0 821509128 24268800 4876 33554432000 4194304 9163163 140736449245808 18446744073709551615 8041874 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27472/statm: 5925 4876 395 1214 0 4707 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23700
[startup+0.200547 s]
/proc/loadavg: 2.01 2.00 2.00 2/400 27472
/proc/meminfo: memFree=28854256/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=29884 CPUtime=0.19 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 6468 0 0 0 19 0 0 0 25 0 1 0 821509128 30601216 6421 33554432000 4194304 9163163 140736449245808 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27472/statm: 7471 6421 395 1214 0 6253 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29884
[startup+0.300532 s]
/proc/loadavg: 2.01 2.00 2.00 2/400 27472
/proc/meminfo: memFree=28854256/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=36060 CPUtime=0.29 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 8015 0 0 0 29 0 0 0 25 0 1 0 821509128 36925440 7968 33554432000 4194304 9163163 140736449245808 18446744073709551615 8041854 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27472/statm: 9015 7968 395 1214 0 7797 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36060
[startup+0.700471 s]
/proc/loadavg: 2.01 2.00 2.00 2/400 27472
/proc/meminfo: memFree=28854256/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=58664 CPUtime=0.69 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 13656 0 0 0 68 1 0 0 25 0 1 0 821509128 60071936 13609 33554432000 4194304 9163163 140736449245808 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27472/statm: 14666 13609 395 1214 0 13448 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58664
[startup+1.5002 s]
/proc/loadavg: 2.01 2.00 2.00 3/401 27473
/proc/meminfo: memFree=28777244/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=105636 CPUtime=1.49 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 25401 0 0 0 146 3 0 0 25 0 1 0 821509128 108171264 25354 33554432000 4194304 9163163 140736449245808 18446744073709551615 7962160 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27472/statm: 26409 25354 395 1214 0 25191 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 105636
[startup+3.10104 s]
/proc/loadavg: 2.01 2.00 2.00 3/401 27473
/proc/meminfo: memFree=28710408/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=430796 CPUtime=3.09 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 108731 0 0 0 296 13 0 0 25 0 1 0 821509128 441135104 106024 33554432000 4194304 9163163 140736449245808 18446744073709551615 4338432 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 107699 106024 512 1214 0 106481 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 430796
[startup+6.30046 s]
/proc/loadavg: 2.01 2.00 2.00 3/401 27473
/proc/meminfo: memFree=28502340/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=357504 CPUtime=6.29 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 115516 0 0 0 614 15 0 0 25 0 1 0 821509128 366084096 87655 33554432000 4194304 9163163 140736449245808 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 89376 87655 546 1214 0 88158 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 357504
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/401 27473
/proc/meminfo: memFree=28462200/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=401704 CPUtime=12.69 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 131766 0 0 0 1251 18 0 0 25 0 1 0 821509128 411344896 98646 33554432000 4194304 9163163 140736449245808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 100426 98646 1077 1214 0 99208 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 401704
[startup+25.501 s]
/proc/loadavg: 2.01 2.00 2.00 3/401 27474
/proc/meminfo: memFree=28453200/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=409248 CPUtime=25.49 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 133657 0 0 0 2529 20 0 0 25 0 1 0 821509128 419069952 100212 33554432000 4194304 9163163 140736449245808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 102312 100212 790 1214 0 101094 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 409248
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 27474
/proc/meminfo: memFree=28450788/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=410168 CPUtime=51.09 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 134280 0 0 0 5084 25 0 0 25 0 1 0 821509128 420012032 100818 33554432000 4194304 9163163 140736449245808 18446744073709551615 6676847 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 102542 100818 773 1214 0 101324 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 410168
[startup+102.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 27476
/proc/meminfo: memFree=28444876/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=418868 CPUtime=102.31 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 139335 0 0 0 10198 33 0 0 25 0 1 0 821509128 428920832 102897 33554432000 4194304 9163163 140736449245808 18446744073709551615 6674390 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 104717 102897 1116 1214 0 103499 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 418868
[startup+162.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/401 27477
/proc/meminfo: memFree=28438504/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=422152 CPUtime=162.3 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 164735 0 0 0 16184 46 0 0 25 0 1 0 821509128 432283648 102737 33554432000 4194304 9163163 140736449245808 18446744073709551615 7348646 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 105538 102737 757 1214 0 104320 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 422152
[startup+222.315 s]
/proc/loadavg: 2.01 2.00 2.00 3/401 27479
/proc/meminfo: memFree=28439068/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=416516 CPUtime=222.31 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 208631 0 0 0 22168 63 0 0 25 0 1 0 821509128 426512384 101658 33554432000 4194304 9163163 140736449245808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 104129 101658 740 1214 0 102911 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 416516
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 27480
/proc/meminfo: memFree=28439020/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=416516 CPUtime=282.29 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 208761 0 0 0 28154 75 0 0 25 0 1 0 821509128 426512384 101788 33554432000 4194304 9163163 140736449245808 18446744073709551615 7348385 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 104129 101788 740 1214 0 102911 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 416516
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 27482
/proc/meminfo: memFree=28429812/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=426148 CPUtime=342.3 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 211033 0 0 0 34144 86 0 0 25 0 1 0 821509128 436375552 104039 33554432000 4194304 9163163 140736449245808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 106537 104039 719 1214 0 105319 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 426148
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 27484
/proc/meminfo: memFree=28426660/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=426348 CPUtime=402.3 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 211885 0 0 0 40131 99 0 0 25 0 1 0 821509128 436580352 104891 33554432000 4194304 9163163 140736449245808 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 106587 104891 722 1214 0 105369 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 426348
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 27485
/proc/meminfo: memFree=28422644/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=429440 CPUtime=462.3 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 212695 0 0 0 46121 109 0 0 25 0 1 0 821509128 439746560 105682 33554432000 4194304 9163163 140736449245808 18446744073709551615 7348521 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 107360 105682 725 1214 0 106142 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 429440
[startup+522.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/401 27487
/proc/meminfo: memFree=28427288/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=426380 CPUtime=522.31 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 213709 0 0 0 52112 119 0 0 25 0 1 0 821509128 436613120 104331 33554432000 4194304 9163163 140736449245808 18446744073709551615 7225486 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 106595 104331 723 1214 0 105377 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 426380
[startup+582.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/401 27488
/proc/meminfo: memFree=28425004/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=427164 CPUtime=582.31 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 214052 0 0 0 58101 130 0 0 25 0 1 0 821509128 437415936 104674 33554432000 4194304 9163163 140736449245808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 106791 104674 723 1214 0 105573 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 427164
[startup+642.301 s]
################
# More data... #
################
[startup+882.315 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 27496
/proc/meminfo: memFree=28421244/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=432080 CPUtime=882.33 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 217157 0 0 0 88054 179 0 0 25 0 1 0 821509128 442449920 105496 33554432000 4194304 9163163 140736449245808 18446744073709551615 7375715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 108020 105496 723 1214 0 106802 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 432080
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 27498
/proc/meminfo: memFree=28418328/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=432080 CPUtime=942.31 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 218068 0 0 0 94043 188 0 0 25 0 1 0 821509128 442449920 106314 33554432000 4194304 9163163 140736449245808 18446744073709551615 7295267 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 108020 106314 821 1214 0 106802 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 432080
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 27500
/proc/meminfo: memFree=28421620/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=431524 CPUtime=1002.32 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 219952 0 0 0 100034 198 0 0 25 0 1 0 821509128 441880576 105381 33554432000 4194304 9163163 140736449245808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 107881 105381 723 1214 0 106663 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 431524
[startup+1062.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/401 27501
/proc/meminfo: memFree=28420340/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=431516 CPUtime=1062.32 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 223587 0 0 0 106024 208 0 0 25 0 1 0 821509128 441872384 106067 33554432000 4194304 9163163 140736449245808 18446744073709551615 7224136 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 107879 106067 1060 1214 0 106661 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 431516
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/401 27503
/proc/meminfo: memFree=28423252/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=426612 CPUtime=1122.32 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 224578 0 0 0 112013 219 0 0 25 0 1 0 821509128 436850688 104282 33554432000 4194304 9163163 140736449245808 18446744073709551615 7300255 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 106653 104282 723 1214 0 105435 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 426612
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 27504
/proc/meminfo: memFree=28415256/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=430972 CPUtime=1182.32 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 237373 0 0 0 118001 231 0 0 25 0 1 0 821509128 441315328 105773 33554432000 4194304 9163163 140736449245808 18446744073709551615 7209930 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 107743 105773 723 1214 0 106525 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 430972
[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/401 27506
/proc/meminfo: memFree=28422888/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=433608 CPUtime=1242.32 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 240134 0 0 0 123992 240 0 0 25 0 1 0 821509128 444014592 105819 33554432000 4194304 9163163 140736449245808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 108402 105819 723 1214 0 107184 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 433608
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/401 27508
/proc/meminfo: memFree=28416508/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=434672 CPUtime=1302.33 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 243493 0 0 0 129983 250 0 0 25 0 1 0 821509128 445104128 106995 33554432000 4194304 9163163 140736449245808 18446744073709551615 7375715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 108668 106995 955 1214 0 107450 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 434672
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 27509
/proc/meminfo: memFree=28418196/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=434468 CPUtime=1362.33 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 245527 0 0 0 135974 259 0 0 25 0 1 0 821509128 444895232 106544 33554432000 4194304 9163163 140736449245808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 108617 106544 1090 1214 0 107399 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 434468
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 27511
/proc/meminfo: memFree=28411192/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=437524 CPUtime=1422.34 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 247074 0 0 0 141966 268 0 0 25 0 1 0 821509128 448024576 107707 33554432000 4194304 9163163 140736449245808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 109381 107707 814 1214 0 108163 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 437524
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 27512
/proc/meminfo: memFree=28410888/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=437524 CPUtime=1482.33 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 247166 0 0 0 147956 277 0 0 25 0 1 0 821509128 448024576 107708 33554432000 4194304 9163163 140736449245808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 109381 107708 723 1214 0 108163 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 437524
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 27514
/proc/meminfo: memFree=28410968/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=437524 CPUtime=1542.35 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 247194 0 0 0 153947 288 0 0 25 0 1 0 821509128 448024576 107736 33554432000 4194304 9163163 140736449245808 18446744073709551615 7379386 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 109381 107736 723 1214 0 108163 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 437524
[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/401 27516
/proc/meminfo: memFree=28415256/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=432260 CPUtime=1602.33 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 247736 0 0 0 159937 296 0 0 25 0 1 0 821509128 442634240 106426 33554432000 4194304 9163163 140736449245808 18446744073709551615 6687977 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 108065 106426 723 1214 0 106847 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 432260
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/402 27518
/proc/meminfo: memFree=28409372/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=435000 CPUtime=1662.34 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 260354 0 0 0 165925 309 0 0 25 0 1 0 821509128 445440000 106784 33554432000 4194304 9163163 140736449245808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 108750 106784 723 1214 0 107532 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 435000
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 27682
/proc/meminfo: memFree=28458684/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=437476 CPUtime=1722.33 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 261267 0 0 0 171912 321 0 0 25 0 1 0 821509128 447975424 107697 33554432000 4194304 9163163 140736449245808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 109369 107697 723 1214 0 108151 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 437476
[startup+1782.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/401 27683
/proc/meminfo: memFree=28457012/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=437476 CPUtime=1782.34 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 261267 0 0 0 177902 332 0 0 25 0 1 0 821509128 447975424 107697 33554432000 4194304 9163163 140736449245808 18446744073709551615 6687959 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27472/statm: 109369 107697 723 1214 0 108151 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 437476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.03 2.00 3/401 27684
/proc/meminfo: memFree=28458256/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=437476 CPUtime=1800.05 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 261268 0 0 0 179669 336 0 0 25 0 1 0 821509128 447975424 107698 33554432000 4194304 9163163 140736449245808 18446744073709551615 5168584 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27472/statm: 109369 107698 724 1214 0 108151 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 437476
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.07 2.03 2.00 3/401 27684
/proc/meminfo: memFree=28458256/32950904 swapFree=56615552/67111528
[pid=27472] ppid=27470 vsize=437476 CPUtime=1800.05 cores=0,2,4,6
/proc/27472/stat : 27472 (scip-2.0.1.4b.l) R 27470 27472 27067 0 -1 4202496 261268 0 0 0 179669 336 0 0 25 0 1 0 821509128 447975424 107698 33554432000 4194304 9163163 140736449245808 18446744073709551615 5168584 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27472/statm: 109369 107698 724 1214 0 108151 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 437476
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1796.7
CPU system time (s): 3.38549
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 485372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.7
system time used= 3.38549
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261268
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= 5
involuntary context switches= 2460
runsolver used 7.2039 second user time and 15.7236 second system time
The end