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-3450934-1307089985.opb>
0.39/0.46 c original problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80035 constraints
0.39/0.46 c problem read
0.39/0.46 c presolving settings loaded
0.49/0.55 o 0
0.49/0.55 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.49/0.55 c presolving:
0.79/0.88 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 80035 upgd conss, 160070 impls, 0 clqs
1.99/2.05 c (2.1s) probing: 101/1150 (8.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.99/2.05 c (2.1s) probing aborted: 100/100 successive totally useless probings
1.99/2.05 c presolving (2 rounds):
1.99/2.05 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.99/2.05 c 160070 implications, 0 cliques
1.99/2.05 c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80035 constraints
1.99/2.05 c 80035 constraints of type <setppc>
1.99/2.05 c transformed objective value is always integral (scale: 1)
1.99/2.05 c Presolving Time: 1.52
1.99/2.05 c - non default parameters ----------------------------------------------------------------------
1.99/2.05 c # SCIP version 2.0.1.5
1.99/2.05 c
1.99/2.05 c # frequency for displaying node information lines
1.99/2.05 c # [type: int, range: [-1,2147483647], default: 100]
1.99/2.05 c display/freq = 10000
1.99/2.05 c
1.99/2.05 c # maximal time in seconds to run
1.99/2.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.05 c limits/time = 1800
1.99/2.05 c
1.99/2.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.99/2.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.05 c limits/memory = 13950
1.99/2.05 c
1.99/2.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.99/2.05 c # [type: int, range: [1,2], default: 1]
1.99/2.05 c timing/clocktype = 2
1.99/2.05 c
1.99/2.05 c # belongs reading time to solving time?
1.99/2.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.05 c timing/reading = TRUE
1.99/2.05 c
1.99/2.05 c # should presolving try to simplify inequalities
1.99/2.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.05 c constraints/linear/simplifyinequalities = TRUE
1.99/2.05 c
1.99/2.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.99/2.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.05 c constraints/indicator/addCouplingCons = TRUE
1.99/2.05 c
1.99/2.05 c # should presolving try to simplify knapsacks
1.99/2.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.05 c constraints/knapsack/simplifyinequalities = TRUE
1.99/2.05 c
1.99/2.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.99/2.05 c # [type: int, range: [-1,2147483647], default: -1]
1.99/2.05 c separating/rapidlearning/freq = 0
1.99/2.05 c
1.99/2.05 c -----------------------------------------------------------------------------------------------
1.99/2.05 c start solving
1.99/2.05 c
3.39/3.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.39/3.44 c t 3.4s| 1 | 0 | 1152 | - | 98M| 0 |1150 |1150 | 80k|1150 | 80k| 0 | 0 | 0 |-5.750000e+02 | 0.000000e+00 | 100.00%
3.49/3.50 o -1
3.49/3.50 c R 3.5s| 1 | 0 | 1152 | - | 98M| 0 |1150 |1150 | 80k|1150 | 80k| 0 | 0 | 0 |-5.750000e+02 |-1.000000e+00 | 99.83%
4.99/5.01 c 5.0s| 1 | 0 | 1419 | - | 98M| 0 |1086 |1150 | 80k|1150 | 80k| 7 | 0 | 0 |-5.430000e+02 |-1.000000e+00 | 99.82%
4.99/5.03 o -34
4.99/5.03 c b 5.0s| 1 | 0 | 1419 | - | 98M| 0 |1086 |1150 | 80k|1150 | 80k| 7 | 0 | 0 |-5.430000e+02 |-3.400000e+01 | 93.74%
6.89/6.96 c 7.0s| 1 | 0 | 1585 | - | 98M| 0 |1042 |1150 | 80k|1150 | 80k| 13 | 0 | 0 |-5.210000e+02 |-3.400000e+01 | 93.47%
8.99/9.08 c 9.1s| 1 | 0 | 1649 | - | 98M| 0 |1019 |1150 | 80k|1150 | 80k| 17 | 0 | 0 |-5.095000e+02 |-3.400000e+01 | 93.33%
11.79/11.84 c 11.8s| 1 | 0 | 1767 | - | 98M| 0 | 974 |1150 | 80k|1150 | 80k| 24 | 0 | 0 |-4.870000e+02 |-3.400000e+01 | 93.02%
14.79/14.88 c 14.9s| 1 | 0 | 1956 | - | 98M| 0 | 921 |1150 | 80k|1150 | 80k| 40 | 0 | 0 |-4.605000e+02 |-3.400000e+01 | 92.62%
18.19/18.29 c 18.3s| 1 | 0 | 2125 | - | 99M| 0 | 876 |1150 | 80k|1150 | 80k| 51 | 0 | 0 |-4.380000e+02 |-3.400000e+01 | 92.24%
22.01/22.10 c 22.1s| 1 | 0 | 2365 | - | 99M| 0 | 822 |1150 | 80k|1150 | 80k| 66 | 0 | 0 |-4.110000e+02 |-3.400000e+01 | 91.73%
25.69/25.78 c 25.8s| 1 | 0 | 2506 | - | 99M| 0 | 774 |1150 | 80k|1150 | 80k| 76 | 0 | 0 |-3.870000e+02 |-3.400000e+01 | 91.21%
29.39/29.42 c 29.4s| 1 | 0 | 2753 | - | 99M| 0 | 730 |1150 | 80k|1150 | 80k| 85 | 0 | 0 |-3.650000e+02 |-3.400000e+01 | 90.68%
33.09/33.10 c 33.1s| 1 | 0 | 3138 | - | 99M| 0 | 683 |1150 | 80k|1150 | 80k| 98 | 0 | 0 |-3.415000e+02 |-3.400000e+01 | 90.04%
33.99/34.07 c 34.1s| 1 | 0 | 3429 | - | 99M| 0 | 636 |1150 | 80k|1150 | 80k| 114 | 0 | 0 |-3.180000e+02 |-3.400000e+01 | 89.31%
35.21/35.26 c 35.3s| 1 | 0 | 3975 | - | 99M| 0 | 588 |1150 | 80k|1150 | 80k| 131 | 0 | 0 |-2.940000e+02 |-3.400000e+01 | 88.44%
36.31/36.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.31/36.35 c 36.4s| 1 | 0 | 4515 | - | 99M| 0 | 512 |1150 | 80k|1150 | 80k| 147 | 0 | 0 |-2.560000e+02 |-3.400000e+01 | 86.72%
37.09/37.17 c 37.2s| 1 | 0 | 4739 | - | 99M| 0 | 463 |1150 | 80k|1150 | 80k| 163 | 0 | 0 |-2.315000e+02 |-3.400000e+01 | 85.31%
39.19/39.24 c 39.2s| 1 | 0 | 6335 | - | 99M| 0 | 412 |1150 | 80k|1150 | 80k| 178 | 0 | 0 |-2.060000e+02 |-3.400000e+01 | 83.50%
40.59/40.62 c 40.6s| 1 | 0 | 7373 | - | 99M| 0 | 356 |1150 | 80k|1150 | 80k| 190 | 0 | 0 |-1.780000e+02 |-3.400000e+01 | 80.90%
43.09/43.18 c 43.2s| 1 | 0 | 9602 | - | 99M| 0 | 300 |1150 | 80k|1150 | 80k| 205 | 0 | 0 |-1.500000e+02 |-3.400000e+01 | 77.33%
45.39/45.42 c 45.4s| 1 | 0 | 11684 | - | 99M| 0 | 245 |1150 | 80k|1150 | 80k| 217 | 0 | 0 |-1.225000e+02 |-3.400000e+01 | 72.24%
47.49/47.50 c 47.5s| 1 | 0 | 13240 | - | 99M| 0 | 223 |1150 | 80k|1150 | 80k| 228 | 0 | 0 |-1.115000e+02 |-3.400000e+01 | 69.51%
48.19/48.20 c 48.2s| 1 | 0 | 13391 | - | 99M| 0 | 203 |1150 | 80k|1150 | 80k| 235 | 0 | 0 |-1.015000e+02 |-3.400000e+01 | 66.50%
49.09/49.19 c 49.2s| 1 | 0 | 14347 | - | 99M| 0 | 169 |1150 | 80k|1150 | 80k| 242 | 0 | 0 |-8.550000e+01 |-3.400000e+01 | 60.23%
51.39/51.49 c 51.5s| 1 | 0 | 16539 | - | 99M| 0 | 135 |1150 | 80k|1150 | 80k| 252 | 0 | 0 |-6.950000e+01 |-3.400000e+01 | 51.08%
51.89/51.96 c 52.0s| 1 | 0 | 16708 | - | 99M| 0 | 146 |1150 | 80k|1150 | 80k| 262 | 0 | 0 |-6.066667e+01 |-3.400000e+01 | 43.96%
52.59/52.66 c 52.7s| 1 | 0 | 17116 | - | 99M| 0 | 103 |1150 | 80k|1150 | 80k| 274 | 0 | 0 |-5.350000e+01 |-3.400000e+01 | 36.45%
52.99/53.06 c 53.1s| 1 | 0 | 17210 | - | 99M| 0 | 160 |1150 | 80k|1150 | 80k| 282 | 0 | 0 |-5.000000e+01 |-3.400000e+01 | 32.00%
53.49/53.51 c 53.5s| 1 | 0 | 17346 | - | 99M| 0 | 171 |1150 | 80k|1150 | 80k| 297 | 0 | 0 |-5.000000e+01 |-3.400000e+01 | 32.00%
54.09/54.10 c 54.1s| 1 | 0 | 17581 | - | 99M| 0 | 192 |1150 | 80k|1150 | 80k| 310 | 0 | 0 |-5.000000e+01 |-3.400000e+01 | 32.00%
55.01/55.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.01/55.05 c 55.1s| 1 | 0 | 18262 | - | 99M| 0 | 195 |1150 | 80k|1150 | 80k| 323 | 0 | 0 |-5.000000e+01 |-3.400000e+01 | 32.00%
58.39/58.40 c 58.4s| 1 | 0 | 18456 | - | 99M| 0 | 200 |1150 | 80k|1150 | 80k| 336 | 0 | 0 |-5.000000e+01 |-3.400000e+01 | 32.00%
72.39/72.46 c 72.5s| 1 | 0 | 19201 | - | 99M| 0 | 127 |1150 | 80k|1150 | 80k| 343 | 0 | 0 |-5.000000e+01 |-3.400000e+01 | 32.00%
81.19/81.30 c 81.3s| 1 | 2 | 19201 | - | 99M| 0 | 127 |1150 | 80k|1150 | 80k| 343 | 0 | 18 |-5.000000e+01 |-3.400000e+01 | 32.00%
151.67/151.79 o -35
151.67/151.79 c c 152s| 17 | 18 | 21580 | 148.7 | 102M| 16 | - |1150 | 80k|1150 | 80k| 343 | 0 | 355 |-5.000000e+01 |-3.500000e+01 | 30.00%
174.16/174.24 o -38
174.16/174.24 c p 174s| 29 | 26 | 22537 | 119.1 | 103M| 17 | - |1150 | 80k|1150 | 80k| 343 | 0 | 522 |-5.000000e+01 |-3.800000e+01 | 24.00%
240.06/240.10 o -39
240.06/240.10 c o 240s| 66 | 63 | 28635 | 145.1 | 105M| 17 | 0 |1150 | 80k|1150 | 80k| 343 | 0 | 805 |-5.000000e+01 |-3.900000e+01 | 22.00%
292.66/292.79 o -40
292.66/292.79 c p 293s| 398 | 363 | 53392 | 86.1 | 117M| 39 | - |1150 | 80k|1150 | 80k| 343 | 0 | 907 |-5.000000e+01 |-4.000000e+01 | 20.00%
319.66/319.70 o -41
319.66/319.70 c g 320s| 605 | 489 | 66722 | 78.7 | 121M| 45 | - |1150 | 80k|1150 | 80k| 343 | 0 | 979 |-5.000000e+01 |-4.100000e+01 | 18.00%
513.47/513.57 o -42
513.47/513.57 c p 514s| 1381 | 1197 |165706 | 106.2 | 146M| 45 | - |1150 | 80k|1150 | 80k| 343 | 0 |1300 |-5.000000e+01 |-4.200000e+01 | 16.00%
585.19/585.28 o -43
585.19/585.28 c l 585s| 1573 | 1328 |199974 | 115.0 | 153M| 45 | - |1150 | 80k|1150 | 80k| 343 | 0 |1406 |-5.000000e+01 |-4.300000e+01 | 14.00%
1020.81/1020.82 o -44
1020.81/1020.82 c l1021s| 3015 | 2590 |434398 | 137.8 | 197M| 45 | - |1150 | 80k|1150 | 80k| 343 | 0 |2083 |-5.000000e+01 |-4.400000e+01 | 12.00%
1800.01/1800.00 c
1800.01/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.01/1800.00 c Solving Time (sec) : 1800.00
1800.01/1800.00 c Solving Nodes : 6889
1800.01/1800.00 c Primal Bound : -4.40000000000000e+01 (640 solutions)
1800.01/1800.00 c Dual Bound : -5.00000000000000e+01
1800.01/1800.00 c Gap : 12.00 %
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-3450934-1307089985/watcher-3450934-1307089985 -o /tmp/evaluation-result-3450934-1307089985/solver-3450934-1307089985 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450934-1307089985.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: 1.99 2.03 2.00 2/455 16188
/proc/meminfo: memFree=24223128/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=14096 CPUtime=0 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 2507 0 0 0 0 0 0 0 25 0 1 0 801414462 14434304 2460 33554432000 4194304 9163163 140736045230848 18446744073709551615 4234896 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16188/statm: 3524 2460 395 1214 0 2306 0
[startup+0.019276 s]
/proc/loadavg: 1.99 2.03 2.00 2/455 16188
/proc/meminfo: memFree=24223128/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=15116 CPUtime=0.01 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 2752 0 0 0 1 0 0 0 25 0 1 0 801414462 15478784 2705 33554432000 4194304 9163163 140736045230848 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16188/statm: 3779 2705 395 1214 0 2561 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15116
[startup+0.100267 s]
/proc/loadavg: 1.99 2.03 2.00 2/455 16188
/proc/meminfo: memFree=24223128/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=21088 CPUtime=0.09 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 4271 0 0 0 9 0 0 0 25 0 1 0 801414462 21594112 4224 33554432000 4194304 9163163 140736045230848 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16188/statm: 5272 4224 395 1214 0 4054 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21088
[startup+0.300227 s]
/proc/loadavg: 1.99 2.03 2.00 2/455 16188
/proc/meminfo: memFree=24223128/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=33964 CPUtime=0.29 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 7489 0 0 0 28 1 0 0 25 0 1 0 801414462 34779136 7439 33554432000 4194304 9163163 140736045230848 18446744073709551615 8041864 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16188/statm: 8491 7439 395 1214 0 7273 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33964
[startup+0.701156 s]
/proc/loadavg: 1.99 2.03 2.00 2/455 16188
/proc/meminfo: memFree=24223128/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=98872 CPUtime=0.69 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 23289 0 0 0 66 3 0 0 25 0 1 0 801414462 101244928 23208 33554432000 4194304 9163163 140736045230848 18446744073709551615 18446744073699066034 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16188/statm: 24718 23208 502 1214 0 23500 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 98872
[startup+1.50102 s]
/proc/loadavg: 1.99 2.03 2.00 3/456 16189
/proc/meminfo: memFree=24108876/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=121496 CPUtime=1.49 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 35571 0 0 0 145 4 0 0 25 0 1 0 801414462 124411904 28788 33554432000 4194304 9163163 140736045230848 18446744073709551615 8045648 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16188/statm: 30374 28788 530 1214 0 29156 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 121496
[startup+3.10071 s]
/proc/loadavg: 1.99 2.03 2.00 3/456 16189
/proc/meminfo: memFree=24082464/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=230432 CPUtime=3.09 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 61928 0 0 0 302 7 0 0 25 0 1 0 801414462 235962368 53285 33554432000 4194304 9163163 140736045230848 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16188/statm: 57608 53285 1452 1214 0 56390 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 230432
[startup+6.30112 s]
/proc/loadavg: 1.99 2.03 2.00 3/456 16189
/proc/meminfo: memFree=24009856/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=239192 CPUtime=6.29 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 66743 0 0 0 620 9 0 0 25 0 1 0 801414462 244932608 53748 33554432000 4194304 9163163 140736045230848 18446744073709551615 6284282 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16188/statm: 59798 53748 1158 1214 0 58580 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 239192
[startup+12.7009 s]
/proc/loadavg: 1.99 2.03 2.00 3/456 16189
/proc/meminfo: memFree=23993264/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=240972 CPUtime=12.69 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 70019 0 0 0 1258 11 0 0 25 0 1 0 801414462 246755328 56960 33554432000 4194304 9163163 140736045230848 18446744073709551615 6254766 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16188/statm: 60243 56960 1097 1214 0 59025 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 240972
[startup+25.5006 s]
/proc/loadavg: 1.99 2.03 2.00 3/456 16190
/proc/meminfo: memFree=23994712/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=240972 CPUtime=25.49 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 70694 0 0 0 2538 11 0 0 25 0 1 0 801414462 246755328 57585 33554432000 4194304 9163163 140736045230848 18446744073709551615 6456456 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16188/statm: 60243 57585 1047 1214 0 59025 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 240972
[startup+51.1009 s]
/proc/loadavg: 1.99 2.03 2.00 3/456 16190
/proc/meminfo: memFree=23981716/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=247072 CPUtime=51.09 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 72834 0 0 0 5086 23 0 0 25 0 1 0 801414462 253001728 59393 33554432000 4194304 9163163 140736045230848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16188/statm: 61768 59393 715 1214 0 60550 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 247072
[startup+102.317 s]
/proc/loadavg: 1.92 2.00 1.99 3/456 16220
/proc/meminfo: memFree=24211168/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=246068 CPUtime=102.31 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 88617 0 0 0 10176 55 0 0 25 0 1 0 801414462 251973632 59496 33554432000 4194304 9163163 140736045230848 18446744073709551615 7348526 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16188/statm: 61517 59496 738 1214 0 60299 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 246068
[startup+162.3 s]
/proc/loadavg: 1.97 2.00 1.99 3/456 16221
/proc/meminfo: memFree=24183564/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=246068 CPUtime=162.25 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 88617 0 0 0 16146 79 0 0 25 0 1 0 801414462 251973632 59496 33554432000 4194304 9163163 140736045230848 18446744073709551615 7225472 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 61517 59496 738 1214 0 60299 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 246068
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/456 16223
/proc/meminfo: memFree=24182528/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=246068 CPUtime=222.26 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 88618 0 0 0 22122 104 0 0 25 0 1 0 801414462 251973632 59497 33554432000 4194304 9163163 140736045230848 18446744073709551615 7348055 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 61517 59497 738 1214 0 60299 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 246068
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/456 16224
/proc/meminfo: memFree=24152212/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=251072 CPUtime=282.26 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 108151 0 0 0 28094 132 0 0 25 0 1 0 801414462 257097728 59942 33554432000 4194304 9163163 140736045230848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 62768 59942 743 1214 0 61550 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 251072
[startup+342.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/456 16226
/proc/meminfo: memFree=24140864/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=265096 CPUtime=342.27 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 132336 0 0 0 34063 164 0 0 25 0 1 0 801414462 271458304 62983 33554432000 4194304 9163163 140736045230848 18446744073709551615 7225472 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 66274 62983 743 1214 0 65056 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 265096
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 16228
/proc/meminfo: memFree=24131028/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=273428 CPUtime=402.27 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 134851 0 0 0 40037 190 0 0 25 0 1 0 801414462 279990272 65493 33554432000 4194304 9163163 140736045230848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 68357 65493 743 1214 0 67139 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 273428
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 16229
/proc/meminfo: memFree=24110656/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=283060 CPUtime=462.27 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 137087 0 0 0 46012 215 0 0 25 0 1 0 801414462 289853440 67728 33554432000 4194304 9163163 140736045230848 18446744073709551615 7348322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 70765 67728 743 1214 0 69547 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 283060
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 16231
/proc/meminfo: memFree=24109456/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=296352 CPUtime=522.27 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 140279 0 0 0 51984 243 0 0 25 0 1 0 801414462 303464448 70898 33554432000 4194304 9163163 140736045230848 18446744073709551615 6974005 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 74088 70898 744 1214 0 72870 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 296352
[startup+582.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/456 16232
/proc/meminfo: memFree=24104452/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=297568 CPUtime=582.27 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 141536 0 0 0 57961 266 0 0 25 0 1 0 801414462 304709632 72155 33554432000 4194304 9163163 140736045230848 18446744073709551615 7224016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 74392 72155 744 1214 0 73174 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 297568
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.08 2.03 2.00 3/456 16239
/proc/meminfo: memFree=24066528/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=328412 CPUtime=822.28 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 150930 0 0 0 81860 368 0 0 25 0 1 0 801414462 336293888 78348 33554432000 4194304 9163163 140736045230848 18446744073709551615 7195877 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 82103 78348 859 1214 0 80885 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 328412
[startup+882.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/456 16240
/proc/meminfo: memFree=24055696/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=330584 CPUtime=882.28 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 152652 0 0 0 87834 394 0 0 25 0 1 0 801414462 338518016 79994 33554432000 4194304 9163163 140736045230848 18446744073709551615 5464931 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 82646 79994 783 1214 0 81428 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 330584
[startup+942.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/456 16242
/proc/meminfo: memFree=24041492/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=334052 CPUtime=942.28 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 153875 0 0 0 93808 420 0 0 25 0 1 0 801414462 342069248 81216 33554432000 4194304 9163163 140736045230848 18446744073709551615 6687977 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 83513 81216 782 1214 0 82295 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 334052
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 16244
/proc/meminfo: memFree=24025324/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=344212 CPUtime=1002.29 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 155985 0 0 0 99781 448 0 0 25 0 1 0 801414462 352473088 83326 33554432000 4194304 9163163 140736045230848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 86053 83326 782 1214 0 84835 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 344212
[startup+1062.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/456 16245
/proc/meminfo: memFree=24013352/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=350968 CPUtime=1062.29 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 157790 0 0 0 105758 471 0 0 25 0 1 0 801414462 359391232 85127 33554432000 4194304 9163163 140736045230848 18446744073709551615 7224016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 87742 85127 782 1214 0 86524 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 350968
[startup+1122.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/456 16247
/proc/meminfo: memFree=24002516/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=355536 CPUtime=1122.29 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 159032 0 0 0 111732 497 0 0 25 0 1 0 801414462 364068864 86367 33554432000 4194304 9163163 140736045230848 18446744073709551615 7224301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 88884 86367 780 1214 0 87666 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 355536
[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/456 16248
/proc/meminfo: memFree=23990940/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=364444 CPUtime=1182.3 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 160929 0 0 0 117706 524 0 0 25 0 1 0 801414462 373190656 88240 33554432000 4194304 9163163 140736045230848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 91111 88240 764 1214 0 89893 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 364444
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/456 16250
/proc/meminfo: memFree=23978972/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=367328 CPUtime=1242.3 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 162091 0 0 0 123679 551 0 0 25 0 1 0 801414462 376143872 89397 33554432000 4194304 9163163 140736045230848 18446744073709551615 7413680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 91832 89397 759 1214 0 90614 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 367328
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 16252
/proc/meminfo: memFree=23960436/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=376132 CPUtime=1302.3 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 183605 0 0 0 129648 582 0 0 25 0 1 0 801414462 385159168 90849 33554432000 4194304 9163163 140736045230848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 94033 90849 757 1214 0 92815 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 376132
[startup+1362.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/456 16253
/proc/meminfo: memFree=23945732/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=383664 CPUtime=1362.3 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 186139 0 0 0 135624 606 0 0 25 0 1 0 801414462 392871936 93359 33554432000 4194304 9163163 140736045230848 18446744073709551615 6974030 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 95916 93359 768 1214 0 94698 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 383664
[startup+1422.32 s]
/proc/loadavg: 2.05 2.04 2.00 3/456 16255
/proc/meminfo: memFree=23927700/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=393828 CPUtime=1422.32 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 188820 0 0 0 141595 637 0 0 25 0 1 0 801414462 403279872 96015 33554432000 4194304 9163163 140736045230848 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 98457 96015 744 1214 0 97239 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 393828
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/456 16256
/proc/meminfo: memFree=23908912/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=400716 CPUtime=1482.3 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 190363 0 0 0 147568 662 0 0 25 0 1 0 801414462 410333184 97557 33554432000 4194304 9163163 140736045230848 18446744073709551615 7224016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 100179 97557 743 1214 0 98961 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 400716
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 16258
/proc/meminfo: memFree=23894712/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=406040 CPUtime=1542.3 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 191939 0 0 0 153542 688 0 0 25 0 1 0 801414462 415784960 99130 33554432000 4194304 9163163 140736045230848 18446744073709551615 7396171 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 101510 99130 743 1214 0 100292 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 406040
[startup+1602.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/456 16260
/proc/meminfo: memFree=23874816/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=418756 CPUtime=1602.31 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 194887 0 0 0 159513 718 0 0 25 0 1 0 801414462 428806144 102064 33554432000 4194304 9163163 140736045230848 18446744073709551615 7195877 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 104689 102064 768 1214 0 103471 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 418756
[startup+1662.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/456 16261
/proc/meminfo: memFree=23859136/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=427808 CPUtime=1662.31 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 197188 0 0 0 165484 747 0 0 25 0 1 0 801414462 438075392 104299 33554432000 4194304 9163163 140736045230848 18446744073709551615 7224045 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 106952 104299 745 1214 0 105734 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 427808
[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/456 16272
/proc/meminfo: memFree=23844124/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=433816 CPUtime=1722.31 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 198412 0 0 0 171453 778 0 0 25 0 1 0 801414462 444227584 105521 33554432000 4194304 9163163 140736045230848 18446744073709551615 5923189 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 108454 105521 743 1214 0 107236 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 433816
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 16273
/proc/meminfo: memFree=23831804/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=441280 CPUtime=1782.31 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 200342 0 0 0 177427 804 0 0 25 0 1 0 801414462 451870720 107451 33554432000 4194304 9163163 140736045230848 18446744073709551615 7051385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16188/statm: 110320 107451 743 1214 0 109102 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 441280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 16274
/proc/meminfo: memFree=23827568/32951124 swapFree=60476376/67111528
[pid=16188] ppid=16186 vsize=443152 CPUtime=1800.02 cores=1,3,5,7
/proc/16188/stat : 16188 (scip-2.0.1.4b.l) R 16186 16188 12802 0 -1 4202496 201146 0 0 0 179188 814 0 0 25 0 1 0 801414462 453787648 108255 33554432000 4194304 9163163 140736045230848 18446744073709551615 5168839 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16188/statm: 110788 108255 744 1214 0 109570 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 443152
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.06
CPU user time (s): 1791.89
CPU system time (s): 8.16176
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 446840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.89
system time used= 8.16176
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201146
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= 1889
runsolver used 7.44087 second user time and 19.467 second system time
The end