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-3450245-1307114813.opb>
0.19/0.20 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 30912 constraints
0.19/0.20 c problem read
0.19/0.20 c presolving settings loaded
0.19/0.25 o 0
0.19/0.25 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.25 c presolving:
0.19/0.29 c (round 1) 568 del vars, 568 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.29/0.39 c (round 2) 568 del vars, 4820 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 26092 upgd conss, 2340 impls, 0 clqs
0.39/0.42 c (0.4s) probing: 101/1457 (6.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.42 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.42 c presolving (3 rounds):
0.39/0.42 c 568 deleted vars, 4820 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.42 c 2340 implications, 0 cliques
0.39/0.42 c presolved problem has 1457 variables (1457 bin, 0 int, 0 impl, 0 cont) and 26092 constraints
0.39/0.42 c 602 constraints of type <setppc>
0.39/0.42 c 25490 constraints of type <logicor>
0.39/0.42 c transformed objective value is always integral (scale: 1)
0.39/0.42 c Presolving Time: 0.18
0.39/0.42 c - non default parameters ----------------------------------------------------------------------
0.39/0.42 c # SCIP version 2.0.1.5
0.39/0.42 c
0.39/0.42 c # frequency for displaying node information lines
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.42 c display/freq = 10000
0.39/0.42 c
0.39/0.42 c # maximal time in seconds to run
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/time = 1800
0.39/0.42 c
0.39/0.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/memory = 13950
0.39/0.42 c
0.39/0.42 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.42 c # [type: int, range: [1,2], default: 1]
0.39/0.42 c timing/clocktype = 2
0.39/0.42 c
0.39/0.42 c # belongs reading time to solving time?
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c timing/reading = TRUE
0.39/0.42 c
0.39/0.42 c # should presolving try to simplify inequalities
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/linear/simplifyinequalities = TRUE
0.39/0.42 c
0.39/0.42 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/indicator/addCouplingCons = TRUE
0.39/0.42 c
0.39/0.42 c # should presolving try to simplify knapsacks
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.42 c
0.39/0.42 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c separating/rapidlearning/freq = 0
0.39/0.42 c
0.39/0.42 c -----------------------------------------------------------------------------------------------
0.39/0.42 c start solving
0.39/0.42 c
2.69/2.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.69/2.73 c t 2.7s| 1 | 0 | 8243 | - | 38M| 0 |1434 |1457 | 26k|1457 | 26k| 0 | 0 | 0 |-2.287375e+02 | 0.000000e+00 | 100.00%
2.69/2.79 o -2
2.69/2.79 c R 2.8s| 1 | 0 | 8243 | - | 38M| 0 |1434 |1457 | 26k|1457 | 26k| 0 | 0 | 0 |-2.287375e+02 |-2.000000e+00 | 99.13%
4.19/4.29 c 4.3s| 1 | 0 | 11103 | - | 39M| 0 |1437 |1457 | 26k|1457 | 26k| 3 | 0 | 0 |-2.264598e+02 |-2.000000e+00 | 99.12%
4.19/4.29 o -14
4.19/4.29 c b 4.3s| 1 | 0 | 11103 | - | 39M| 0 |1437 |1457 | 26k|1457 | 26k| 3 | 0 | 0 |-2.264598e+02 |-1.400000e+01 | 93.82%
6.50/6.52 c 6.5s| 1 | 0 | 16507 | - | 40M| 0 |1441 |1457 | 26k|1457 | 26k| 9 | 0 | 0 |-2.251659e+02 |-1.400000e+01 | 93.78%
6.50/6.53 o -19
6.50/6.53 c b 6.5s| 1 | 0 | 16507 | - | 40M| 0 |1441 |1457 | 26k|1457 | 26k| 9 | 0 | 0 |-2.251659e+02 |-1.900000e+01 | 91.56%
10.59/10.62 c 10.6s| 1 | 0 | 26370 | - | 41M| 0 |1453 |1457 | 26k|1457 | 26k| 27 | 0 | 0 |-2.202799e+02 |-1.900000e+01 | 91.37%
22.89/22.99 c 23.0s| 1 | 0 | 31905 | - | 41M| 0 |1454 |1457 | 26k|1457 | 26k| 31 | 0 | 0 |-2.191676e+02 |-1.900000e+01 | 91.33%
31.30/31.33 c 31.3s| 1 | 0 | 43788 | - | 42M| 0 |1454 |1457 | 26k|1457 | 26k| 38 | 0 | 0 |-2.167314e+02 |-1.900000e+01 | 91.23%
58.39/58.46 c 58.5s| 1 | 0 | 60468 | - | 42M| 0 |1454 |1457 | 26k|1457 | 26k| 45 | 0 | 0 |-2.134419e+02 |-1.900000e+01 | 91.10%
98.79/98.91 c 98.9s| 1 | 0 | 81021 | - | 42M| 0 |1454 |1457 | 26k|1457 | 26k| 85 | 0 | 0 |-2.107404e+02 |-1.900000e+01 | 90.98%
132.29/132.34 c 132s| 1 | 0 | 97675 | - | 42M| 0 |1450 |1457 | 26k|1457 | 26k| 175 | 0 | 0 |-2.081893e+02 |-1.900000e+01 | 90.87%
154.10/154.13 c 154s| 1 | 0 |106423 | - | 42M| 0 |1448 |1457 | 26k|1457 | 26k| 214 | 0 | 0 |-2.074087e+02 |-1.900000e+01 | 90.84%
192.90/192.99 c 193s| 1 | 0 |125814 | - | 45M| 0 |1447 |1457 | 26k|1457 | 26k| 217 | 0 | 0 |-2.067982e+02 |-1.900000e+01 | 90.81%
251.81/251.88 c 252s| 1 | 0 |154724 | - | 45M| 0 |1451 |1457 | 26k|1457 | 26k| 237 | 0 | 0 |-2.046457e+02 |-1.900000e+01 | 90.72%
283.00/283.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
283.00/283.00 c 283s| 1 | 0 |169239 | - | 45M| 0 |1451 |1457 | 26k|1457 | 26k| 239 | 0 | 0 |-2.036078e+02 |-1.900000e+01 | 90.67%
321.71/321.72 c 322s| 1 | 2 |169239 | - | 45M| 0 |1451 |1457 | 26k|1457 | 26k| 239 | 0 | 27 |-2.036078e+02 |-1.900000e+01 | 90.67%
749.23/749.28 o -46
749.23/749.28 c p 749s| 5 | 6 |534685 |91361.5 | 48M| 3 | - |1457 | 26k|1457 | 26k| 239 | 4 | 142 |-2.036078e+02 |-4.600000e+01 | 77.41%
1800.07/1800.00 c
1800.07/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.07/1800.00 c Solving Time (sec) : 1800.00
1800.07/1800.00 c Solving Nodes : 11
1800.07/1800.00 c Primal Bound : -4.60000000000000e+01 (6 solutions)
1800.07/1800.00 c Dual Bound : -2.01128946217399e+02
1800.07/1800.00 c Gap : 77.13 %
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-3450245-1307114813/watcher-3450245-1307114813 -o /tmp/evaluation-result-3450245-1307114813/solver-3450245-1307114813 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450245-1307114813.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.04 2.00 3/517 6293
/proc/meminfo: memFree=21323868/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=13332 CPUtime=0 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 2310 0 0 0 0 0 0 0 25 0 1 0 823078000 13651968 2263 33554432000 4194304 9163163 140734743936656 18446744073709551615 8013931 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6293/statm: 3333 2263 395 1214 0 2115 0
[startup+0.0897519 s]
/proc/loadavg: 2.01 2.04 2.00 3/517 6293
/proc/meminfo: memFree=21323868/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=20664 CPUtime=0.08 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 4160 0 0 0 8 0 0 0 25 0 1 0 823078000 21159936 4113 33554432000 4194304 9163163 140734743936656 18446744073709551615 4217306 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6293/statm: 5166 4113 395 1214 0 3948 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20664
[startup+0.100748 s]
/proc/loadavg: 2.01 2.04 2.00 3/517 6293
/proc/meminfo: memFree=21323868/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=20796 CPUtime=0.09 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 4196 0 0 0 9 0 0 0 25 0 1 0 823078000 21295104 4149 33554432000 4194304 9163163 140734743936656 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6293/statm: 5199 4149 395 1214 0 3981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20796
[startup+0.300708 s]
/proc/loadavg: 2.01 2.04 2.00 3/517 6293
/proc/meminfo: memFree=21323868/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=57804 CPUtime=0.29 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 13417 0 0 0 29 0 0 0 25 0 1 0 823078000 59191296 13101 33554432000 4194304 9163163 140734743936656 18446744073709551615 8041965 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 14451 13138 516 1214 0 13233 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57804
[startup+0.700632 s]
/proc/loadavg: 2.01 2.04 2.00 3/517 6293
/proc/meminfo: memFree=21323868/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=105560 CPUtime=0.69 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 26952 0 0 0 67 2 0 0 25 0 1 0 823078000 108093440 23678 33554432000 4194304 9163163 140734743936656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 26390 23678 798 1214 0 25172 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 105560
[startup+1.50047 s]
/proc/loadavg: 2.01 2.04 2.00 3/518 6294
/proc/meminfo: memFree=21150632/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=113256 CPUtime=1.49 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 29072 0 0 0 147 2 0 0 25 0 1 0 823078000 115974144 25529 33554432000 4194304 9163163 140734743936656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 28314 25529 969 1214 0 27096 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 113256
[startup+3.10115 s]
/proc/loadavg: 2.01 2.04 2.00 3/518 6294
/proc/meminfo: memFree=21144684/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=106720 CPUtime=3.09 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 29889 0 0 0 306 3 0 0 25 0 1 0 823078000 109281280 24441 33554432000 4194304 9163163 140734743936656 18446744073709551615 6254756 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 26680 24441 698 1214 0 25462 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 106720
[startup+6.30051 s]
/proc/loadavg: 2.01 2.04 2.00 3/518 6294
/proc/meminfo: memFree=21143788/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=113940 CPUtime=6.29 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 31695 0 0 0 625 4 0 0 25 0 1 0 823078000 116674560 26188 33554432000 4194304 9163163 140734743936656 18446744073709551615 7379229 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 28485 26188 697 1214 0 27267 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 113940
[startup+12.7002 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 6294
/proc/meminfo: memFree=21122516/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=124532 CPUtime=12.69 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 35475 0 0 0 1262 7 0 0 25 0 1 0 823078000 127520768 28611 33554432000 4194304 9163163 140734743936656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 31133 28611 1031 1214 0 29915 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 124532
[startup+25.5007 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 6294
/proc/meminfo: memFree=21125856/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=118492 CPUtime=25.49 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 36350 0 0 0 2539 10 0 0 25 0 1 0 823078000 121335808 27612 33554432000 4194304 9163163 140734743936656 18446744073709551615 7348554 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 29623 27612 842 1214 0 28405 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 118492
[startup+51.1006 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 6295
/proc/meminfo: memFree=21121864/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=118492 CPUtime=51.09 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 36384 0 0 0 5092 17 0 0 25 0 1 0 823078000 121335808 27641 33554432000 4194304 9163163 140734743936656 18446744073709551615 7349126 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 29623 27641 840 1214 0 28405 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 118492
[startup+102.319 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 6296
/proc/meminfo: memFree=21118084/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=117592 CPUtime=102.32 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 38681 0 0 0 10206 26 0 0 25 0 1 0 823078000 120414208 28002 33554432000 4194304 9163163 140734743936656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 29398 28002 1035 1214 0 28180 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 117592
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 6298
/proc/meminfo: memFree=21111116/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=117592 CPUtime=162.3 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 38688 0 0 0 16191 39 0 0 25 0 1 0 823078000 120414208 28003 33554432000 4194304 9163163 140734743936656 18446744073709551615 6678298 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 29398 28003 1029 1214 0 28180 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 117592
[startup+222.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/518 6300
/proc/meminfo: memFree=21076608/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=131924 CPUtime=222.3 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 42988 0 0 0 22178 52 0 0 25 0 1 0 823078000 135090176 31588 33554432000 4194304 9163163 140734743936656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 32981 31588 813 1214 0 31763 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 131924
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/518 6301
/proc/meminfo: memFree=21061552/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=131924 CPUtime=282.3 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 43110 0 0 0 28166 64 0 0 25 0 1 0 823078000 135090176 31588 33554432000 4194304 9163163 140734743936656 18446744073709551615 7414194 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 32981 31588 691 1214 0 31763 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 131924
[startup+342.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/518 6303
/proc/meminfo: memFree=21046384/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=129836 CPUtime=342.3 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 44798 0 0 0 34153 77 0 0 25 0 1 0 823078000 132952064 31152 33554432000 4194304 9163163 140734743936656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 32459 31152 714 1214 0 31241 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 129836
[startup+402.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/518 6304
/proc/meminfo: memFree=21043112/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=129836 CPUtime=402.31 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 44799 0 0 0 40141 90 0 0 25 0 1 0 823078000 132952064 31153 33554432000 4194304 9163163 140734743936656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 32459 31153 715 1214 0 31241 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 129836
[startup+462.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 6306
/proc/meminfo: memFree=21028948/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=129836 CPUtime=462.31 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 44799 0 0 0 46130 101 0 0 25 0 1 0 823078000 132952064 31153 33554432000 4194304 9163163 140734743936656 18446744073709551615 7348654 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 32459 31153 715 1214 0 31241 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 129836
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 6307
/proc/meminfo: memFree=21026940/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=129836 CPUtime=522.31 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 44799 0 0 0 52118 113 0 0 25 0 1 0 823078000 132952064 31153 33554432000 4194304 9163163 140734743936656 18446744073709551615 7396158 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 32459 31153 715 1214 0 31241 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 129836
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 6309
/proc/meminfo: memFree=21026396/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=129836 CPUtime=582.32 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 44799 0 0 0 58107 125 0 0 25 0 1 0 823078000 132952064 31153 33554432000 4194304 9163163 140734743936656 18446744073709551615 6974863 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 32459 31153 715 1214 0 31241 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 129836
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/518 6316
/proc/meminfo: memFree=21026528/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=131380 CPUtime=822.33 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 44804 0 0 0 82058 175 0 0 25 0 1 0 823078000 134533120 31158 33554432000 4194304 9163163 140734743936656 18446744073709551615 7348408 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 32845 31158 719 1214 0 31627 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 131380
[startup+882.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/518 6317
/proc/meminfo: memFree=21025384/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=131380 CPUtime=882.33 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 44804 0 0 0 88045 188 0 0 25 0 1 0 823078000 134533120 31158 33554432000 4194304 9163163 140734743936656 18446744073709551615 7240253 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 32845 31158 719 1214 0 31627 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 131380
[startup+942.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/518 6319
/proc/meminfo: memFree=21026844/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=131380 CPUtime=942.33 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 44806 0 0 0 94033 200 0 0 25 0 1 0 823078000 134533120 31160 33554432000 4194304 9163163 140734743936656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 32845 31160 719 1214 0 31627 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 131380
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 6320
/proc/meminfo: memFree=21026316/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=131380 CPUtime=1002.34 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 44806 0 0 0 100019 215 0 0 25 0 1 0 823078000 134533120 31160 33554432000 4194304 9163163 140734743936656 18446744073709551615 7348178 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 32845 31160 719 1214 0 31627 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 131380
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 6322
/proc/meminfo: memFree=21026416/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=131380 CPUtime=1062.34 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 44806 0 0 0 106010 224 0 0 25 0 1 0 823078000 134533120 31160 33554432000 4194304 9163163 140734743936656 18446744073709551615 7358982 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 32845 31160 719 1214 0 31627 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 131380
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 6324
/proc/meminfo: memFree=21022168/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=131380 CPUtime=1122.34 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 44809 0 0 0 111995 239 0 0 25 0 1 0 823078000 134533120 31163 33554432000 4194304 9163163 140734743936656 18446744073709551615 7348243 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 32845 31163 719 1214 0 31627 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 131380
[startup+1182.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/518 6325
/proc/meminfo: memFree=21017308/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=134396 CPUtime=1182.35 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 45911 0 0 0 117984 251 0 0 25 0 1 0 823078000 137621504 32265 33554432000 4194304 9163163 140734743936656 18446744073709551615 6974030 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 33599 32265 719 1214 0 32381 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 134396
[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/518 6327
/proc/meminfo: memFree=21022488/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=134396 CPUtime=1242.35 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 45911 0 0 0 123967 268 0 0 25 0 1 0 823078000 137621504 32265 33554432000 4194304 9163163 140734743936656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 33599 32265 719 1214 0 32381 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 134396
[startup+1302.3 s]
/proc/loadavg: 2.16 2.07 2.02 3/518 6328
/proc/meminfo: memFree=21018360/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=134396 CPUtime=1302.36 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 45911 0 0 0 129955 281 0 0 25 0 1 0 823078000 137621504 32265 33554432000 4194304 9163163 140734743936656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 33599 32265 719 1214 0 32381 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 134396
[startup+1362.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/518 6330
/proc/meminfo: memFree=21020188/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=134396 CPUtime=1362.35 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 45912 0 0 0 135943 292 0 0 25 0 1 0 823078000 137621504 32266 33554432000 4194304 9163163 140734743936656 18446744073709551615 7114467 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 33599 32266 720 1214 0 32381 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 134396
[startup+1422.32 s]
/proc/loadavg: 2.02 2.04 2.00 3/518 6332
/proc/meminfo: memFree=21020668/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=134396 CPUtime=1422.37 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 45912 0 0 0 141935 302 0 0 25 0 1 0 823078000 137621504 32266 33554432000 4194304 9163163 140734743936656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 33599 32266 720 1214 0 32381 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 134396
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 6333
/proc/meminfo: memFree=21016172/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=134396 CPUtime=1482.35 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 45912 0 0 0 147923 312 0 0 25 0 1 0 823078000 137621504 32266 33554432000 4194304 9163163 140734743936656 18446744073709551615 7348642 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 33599 32266 720 1214 0 32381 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 134396
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 6335
/proc/meminfo: memFree=21016768/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=134396 CPUtime=1542.36 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 45912 0 0 0 153911 325 0 0 25 0 1 0 823078000 137621504 32266 33554432000 4194304 9163163 140734743936656 18446744073709551615 7115952 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 33599 32266 720 1214 0 32381 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 134396
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 6336
/proc/meminfo: memFree=21016372/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=134396 CPUtime=1602.36 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 45912 0 0 0 159899 337 0 0 25 0 1 0 823078000 137621504 32266 33554432000 4194304 9163163 140734743936656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 33599 32266 720 1214 0 32381 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 134396
[startup+1662.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/518 6338
/proc/meminfo: memFree=21016452/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=134396 CPUtime=1662.37 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 45912 0 0 0 165890 347 0 0 25 0 1 0 823078000 137621504 32266 33554432000 4194304 9163163 140734743936656 18446744073709551615 7348624 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 33599 32266 720 1214 0 32381 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 134396
[startup+1722.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/518 6339
/proc/meminfo: memFree=21023376/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=134396 CPUtime=1722.36 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 45912 0 0 0 171879 357 0 0 25 0 1 0 823078000 137621504 32266 33554432000 4194304 9163163 140734743936656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 33599 32266 720 1214 0 32381 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 134396
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/518 6341
/proc/meminfo: memFree=21020376/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=134396 CPUtime=1782.37 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 45912 0 0 0 177869 368 0 0 25 0 1 0 823078000 137621504 32266 33554432000 4194304 9163163 140734743936656 18446744073709551615 7317905 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6293/statm: 33599 32266 720 1214 0 32381 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 134396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.03 2.00 3/519 6343
/proc/meminfo: memFree=21020108/32950928 swapFree=34259960/67111528
[pid=6293] ppid=6291 vsize=134396 CPUtime=1800.08 cores=0,2,4,6
/proc/6293/stat : 6293 (scip-2.0.1.4b.l) R 6291 6293 4893 0 -1 4202496 45912 0 0 0 179637 371 0 0 25 0 1 0 823078000 137621504 32266 33554432000 4194304 9163163 140734743936656 18446744073709551615 4693093 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6293/statm: 33599 32266 720 1214 0 32381 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 134396
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.03
CPU time (s): 1800.1
CPU user time (s): 1796.38
CPU system time (s): 3.71943
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 134396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.38
system time used= 3.71943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45912
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= 2721
runsolver used 9.39357 second user time and 20.2969 second system time
The end