0.00/0.00 c SCIP version 2.0.1.4 [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-3479424-1307449174.opb>
4.28/4.39 c original problem has 14300 variables (14300 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
4.28/4.39 c problem read
4.28/4.39 c presolving settings loaded
5.97/6.04 o 14300
5.97/6.04 c feasible solution found by trivial heuristic, objective value 1.430000e+04
5.97/6.04 c presolving:
8.08/8.19 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 65280 upgd conss, 0 impls, 0 clqs
8.38/8.48 c (8.5s) probing: 101/14300 (0.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
8.38/8.48 c (8.5s) probing aborted: 100/100 successive totally useless probings
8.38/8.48 c presolving (2 rounds):
8.38/8.48 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
8.38/8.48 c 0 implications, 0 cliques
8.38/8.48 c presolved problem has 14300 variables (14300 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
8.38/8.48 c 65280 constraints of type <logicor>
8.38/8.48 c transformed objective value is always integral (scale: 1)
8.38/8.48 c Presolving Time: 3.85
8.38/8.48 c - non default parameters ----------------------------------------------------------------------
8.38/8.48 c # SCIP version 2.0.1.4
8.38/8.48 c
8.38/8.48 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
8.38/8.48 c # [type: int, range: [-1,2147483647], default: -1]
8.38/8.48 c conflict/interconss = 0
8.38/8.48 c
8.38/8.48 c # should binary conflicts be preferred?
8.38/8.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.38/8.48 c conflict/preferbinary = TRUE
8.38/8.48 c
8.38/8.48 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
8.38/8.48 c # [type: int, range: [-1,2147483647], default: 0]
8.38/8.48 c constraints/agelimit = 1
8.38/8.48 c
8.38/8.48 c # should enforcement of pseudo solution be disabled?
8.38/8.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.38/8.48 c constraints/disableenfops = TRUE
8.38/8.48 c
8.38/8.48 c # frequency for displaying node information lines
8.38/8.48 c # [type: int, range: [-1,2147483647], default: 100]
8.38/8.48 c display/freq = 10000
8.38/8.48 c
8.38/8.48 c # maximal time in seconds to run
8.38/8.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.38/8.48 c limits/time = 1800
8.38/8.48 c
8.38/8.48 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.38/8.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.38/8.48 c limits/memory = 13950
8.38/8.48 c
8.38/8.48 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
8.38/8.48 c # [type: int, range: [-1,2147483647], default: 1]
8.38/8.48 c lp/solvefreq = 0
8.38/8.48 c
8.38/8.48 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
8.38/8.48 c # [type: char, range: {lafpsqd}, default: l]
8.38/8.48 c lp/pricing = a
8.38/8.48 c
8.38/8.48 c # default clock type (1: CPU user seconds, 2: wall clock time)
8.38/8.48 c # [type: int, range: [1,2], default: 1]
8.38/8.48 c timing/clocktype = 2
8.38/8.48 c
8.38/8.48 c # belongs reading time to solving time?
8.38/8.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.38/8.48 c timing/reading = TRUE
8.38/8.48 c
8.38/8.48 c # should presolving try to simplify inequalities
8.38/8.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.38/8.48 c constraints/linear/simplifyinequalities = TRUE
8.38/8.48 c
8.38/8.48 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
8.38/8.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.38/8.48 c constraints/indicator/addCouplingCons = TRUE
8.38/8.48 c
8.38/8.48 c # should presolving try to simplify knapsacks
8.38/8.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.38/8.48 c constraints/knapsack/simplifyinequalities = TRUE
8.38/8.48 c
8.38/8.48 c # priority of node selection rule <dfs> in standard mode
8.38/8.48 c # [type: int, range: [-536870912,536870911], default: 0]
8.38/8.48 c nodeselection/dfs/stdpriority = 1000000
8.38/8.48 c
8.38/8.48 c -----------------------------------------------------------------------------------------------
8.38/8.48 c start solving
8.38/8.48 c
161.16/161.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.16/161.21 c t 161s| 1 | 0 | 18798 | - | 583M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 0 | 4.200000e+01 | 1.430000e+04 | Large
161.16/161.21 o 116
161.16/161.21 c r 161s| 1 | 0 | 18798 | - | 584M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 0 | 4.200000e+01 | 1.160000e+02 | 176.19%
161.16/161.25 o 115
161.16/161.25 c R 161s| 1 | 0 | 18798 | - | 584M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 0 | 4.200000e+01 | 1.150000e+02 | 173.81%
161.16/161.30 o 114
161.16/161.30 c s 161s| 1 | 0 | 18798 | - | 584M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 0 | 4.200000e+01 | 1.140000e+02 | 171.43%
193.15/193.23 o 85
193.15/193.23 c z 193s| 1 | 0 | 18798 | - | 585M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 0 | 4.200000e+01 | 8.500000e+01 | 102.38%
210.86/210.94 o 70
210.86/210.94 c E 211s| 1 | 0 | 18798 | - | 585M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 0 | 4.200000e+01 | 7.000000e+01 | 66.67%
210.96/211.10 c 211s| 1 | 0 | 18798 | - | 585M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 0 | 4.200000e+01 | 7.000000e+01 | 66.67%
438.96/439.01 c 439s| 1 | 2 | 18798 | - | 585M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 33 | 4.200000e+01 | 7.000000e+01 | 66.67%
1440.78/1440.80 c 1441s| 10000 | 70 | 18798 | 0.0 | 594M| 412 | - | 14k| 70k| 0 | 0 | 0 |4978 | 33 | 4.200000e+01 | 7.000000e+01 | 66.67%
1799.99/1800.04 c
1799.99/1800.04 c SCIP Status : solving was interrupted [time limit reached]
1799.99/1800.04 c Solving Time (sec) : 1800.04
1799.99/1800.04 c Solving Nodes : 13486
1799.99/1800.04 c Primal Bound : +7.00000000000000e+01 (6 solutions)
1799.99/1800.04 c Dual Bound : +4.20000000000007e+01
1799.99/1800.04 c Gap : 66.67 %
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-3479424-1307449174/watcher-3479424-1307449174 -o /tmp/evaluation-result-3479424-1307449174/solver-3479424-1307449174 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3479424-1307449174.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.02 2.05 1.99 3/446 16636
/proc/meminfo: memFree=29473320/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=11236 CPUtime=0 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 1800 0 0 0 0 0 0 0 23 0 1 0 856516280 11505664 1753 33554432000 4194304 9128323 140736002103296 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16636/statm: 2809 1754 391 1205 0 1600 0
[startup+0.0222749 s]
/proc/loadavg: 2.02 2.05 1.99 3/446 16636
/proc/meminfo: memFree=29473320/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=18388 CPUtime=0.01 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 3605 0 0 0 1 0 0 0 23 0 1 0 856516280 18829312 3557 33554432000 4194304 9128323 140736002103296 18446744073709551615 6165126 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16636/statm: 4597 3558 393 1205 0 3388 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18388
[startup+0.100277 s]
/proc/loadavg: 2.02 2.05 1.99 3/446 16636
/proc/meminfo: memFree=29473320/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=22292 CPUtime=0.09 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 4601 0 0 0 9 0 0 0 23 0 1 0 856516280 22827008 4546 33554432000 4194304 9128323 140736002103296 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16636/statm: 5573 4546 400 1205 0 4364 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22292
[startup+0.300239 s]
/proc/loadavg: 2.02 2.05 1.99 3/446 16636
/proc/meminfo: memFree=29473320/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=28712 CPUtime=0.29 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 6195 0 0 0 29 0 0 0 25 0 1 0 856516280 29401088 6140 33554432000 4194304 9128323 140736002103296 18446744073709551615 7902533 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16636/statm: 7178 6140 400 1205 0 5969 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28712
[startup+0.701173 s]
/proc/loadavg: 2.02 2.05 1.99 3/446 16636
/proc/meminfo: memFree=29473320/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=39944 CPUtime=0.69 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 9004 0 0 0 68 1 0 0 25 0 1 0 856516280 40902656 8948 33554432000 4194304 9128323 140736002103296 18446744073709551615 7998205 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16636/statm: 9986 8948 400 1205 0 8777 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39944
[startup+1.50103 s]
/proc/loadavg: 2.02 2.05 1.99 3/447 16637
/proc/meminfo: memFree=29430904/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=56624 CPUtime=1.49 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 13202 0 0 0 147 2 0 0 25 0 1 0 856516280 57982976 13144 33554432000 4194304 9128323 140736002103296 18446744073709551615 6191637 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16636/statm: 14156 13144 400 1205 0 12947 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56624
[startup+3.10068 s]
/proc/loadavg: 2.02 2.05 1.99 3/447 16637
/proc/meminfo: memFree=29406352/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=94236 CPUtime=3.09 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 22590 0 0 0 305 4 0 0 25 0 1 0 856516280 96497664 22529 33554432000 4194304 9128323 140736002103296 18446744073709551615 7998156 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16636/statm: 23559 22529 400 1205 0 22350 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 94236
[startup+6.30118 s]
/proc/loadavg: 2.02 2.05 1.99 3/447 16637
/proc/meminfo: memFree=28878344/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=751372 CPUtime=6.27 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 199355 0 0 0 602 25 0 0 25 0 1 0 856516280 769404928 184625 33554432000 4194304 9128323 140736002103296 18446744073709551615 5213193 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 187843 184625 500 1205 0 186634 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 751372
[startup+12.701 s]
/proc/loadavg: 2.02 2.05 1.99 3/447 16637
/proc/meminfo: memFree=28064192/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1574776 CPUtime=12.68 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 451633 0 0 0 1216 52 0 0 25 0 1 0 856516280 1612570624 350783 33554432000 4194304 9128323 140736002103296 18446744073709551615 7077559 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 393694 350783 1092 1205 0 392485 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1574776
[startup+25.5008 s]
/proc/loadavg: 2.02 2.04 1.99 3/447 16637
/proc/meminfo: memFree=28052776/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1585612 CPUtime=25.47 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 453724 0 0 0 2495 52 0 0 25 0 1 0 856516280 1623666688 352415 33554432000 4194304 9128323 140736002103296 18446744073709551615 7315689 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 396403 352415 633 1205 0 395194 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1585612
[startup+51.1003 s]
/proc/loadavg: 2.01 2.04 1.99 3/447 16638
/proc/meminfo: memFree=28049616/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1585612 CPUtime=51.06 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 454383 0 0 0 5052 54 0 0 25 0 1 0 856516280 1623666688 353066 33554432000 4194304 9128323 140736002103296 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 396403 353066 625 1205 0 395194 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1585612
[startup+102.317 s]
/proc/loadavg: 2.00 2.03 1.99 3/447 16639
/proc/meminfo: memFree=28000792/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1658948 CPUtime=102.27 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 493484 0 0 0 10165 62 0 0 25 0 1 0 856516280 1698762752 365227 33554432000 4194304 9128323 140736002103296 18446744073709551615 7316161 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 414737 365227 1086 1205 0 413528 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1658948
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 1.99 3/447 16641
/proc/meminfo: memFree=28150184/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1368112 CPUtime=162.25 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 562033 0 0 0 16152 73 0 0 25 0 1 0 856516280 1400946688 327852 33554432000 4194304 9128323 140736002103296 18446744073709551615 7018501 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 342028 327852 1109 1205 0 340819 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1368112
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 1.99 3/447 16643
/proc/meminfo: memFree=27566728/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1362428 CPUtime=222.25 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 754649 0 0 0 22101 124 0 0 25 0 1 0 856516280 1395126272 327579 33554432000 4194304 9128323 140736002103296 18446744073709551615 7018424 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 340607 327579 1160 1205 0 339398 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1362428
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 1.99 3/447 16644
/proc/meminfo: memFree=28362132/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1367424 CPUtime=282.26 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 873014 0 0 0 28081 145 0 0 25 0 1 0 856516280 1400242176 317395 33554432000 4194304 9128323 140736002103296 18446744073709551615 7343104 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 341856 317395 718 1205 0 340647 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 1367424
[startup+342.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/447 16646
/proc/meminfo: memFree=28299108/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1391916 CPUtime=342.25 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 973968 0 0 0 34067 158 0 0 25 0 1 0 856516280 1425321984 335788 33554432000 4194304 9128323 140736002103296 18446744073709551615 7343102 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 347979 335788 3560 1205 0 346770 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 1391916
[startup+402.3 s]
/proc/loadavg: 2.17 2.07 2.01 3/447 16647
/proc/meminfo: memFree=28283088/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1408244 CPUtime=402.26 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 997006 0 0 0 40063 163 0 0 25 0 1 0 856516280 1442041856 340095 33554432000 4194304 9128323 140736002103296 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 352061 340095 4057 1205 0 350852 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 1408244
[startup+462.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/447 16649
/proc/meminfo: memFree=28350004/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1290540 CPUtime=462.26 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 1076287 0 0 0 46052 174 0 0 25 0 1 0 856516280 1321512960 310683 33554432000 4194304 9128323 140736002103296 18446744073709551615 4907248 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 322635 310683 724 1205 0 321426 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 1290540
[startup+522.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/447 16651
/proc/meminfo: memFree=28385180/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1290904 CPUtime=522.26 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 1076395 0 0 0 52052 174 0 0 25 0 1 0 856516280 1321885696 310791 33554432000 4194304 9128323 140736002103296 18446744073709551615 4241672 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 322726 310791 724 1205 0 321517 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 1290904
[startup+582.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 16652
/proc/meminfo: memFree=28385780/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1291124 CPUtime=582.26 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 1076435 0 0 0 58052 174 0 0 25 0 1 0 856516280 1322110976 310831 33554432000 4194304 9128323 140736002103296 18446744073709551615 5333216 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 322781 310831 724 1205 0 321572 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 1291124
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/447 16660
/proc/meminfo: memFree=28383136/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1293988 CPUtime=882.27 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 1077087 0 0 0 88053 174 0 0 25 0 1 0 856516280 1325043712 311483 33554432000 4194304 9128323 140736002103296 18446744073709551615 5333242 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 323497 311483 724 1205 0 322288 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 1293988
[startup+942.3 s]
/proc/loadavg: 2.24 2.07 2.02 3/447 16662
/proc/meminfo: memFree=28383728/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1293988 CPUtime=942.27 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 1077100 0 0 0 94053 174 0 0 25 0 1 0 856516280 1325043712 311496 33554432000 4194304 9128323 140736002103296 18446744073709551615 4241127 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 323497 311496 724 1205 0 322288 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 1293988
[startup+1002.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/447 16663
/proc/meminfo: memFree=28381704/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1296060 CPUtime=1002.27 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 1077573 0 0 0 100053 174 0 0 25 0 1 0 856516280 1327165440 311969 33554432000 4194304 9128323 140736002103296 18446744073709551615 5333240 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 324015 311969 724 1205 0 322806 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 1296060
[startup+1062.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/447 16665
/proc/meminfo: memFree=28381064/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1296856 CPUtime=1062.27 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 1077746 0 0 0 106053 174 0 0 25 0 1 0 856516280 1327980544 312142 33554432000 4194304 9128323 140736002103296 18446744073709551615 4907296 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 324214 312142 724 1205 0 323005 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 1296856
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 16667
/proc/meminfo: memFree=28379788/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1297088 CPUtime=1122.28 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 1077804 0 0 0 112054 174 0 0 25 0 1 0 856516280 1328218112 312200 33554432000 4194304 9128323 140736002103296 18446744073709551615 5333240 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 324272 312200 724 1205 0 323063 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 1297088
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 16668
/proc/meminfo: memFree=28379388/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1297260 CPUtime=1182.28 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 1077848 0 0 0 118054 174 0 0 25 0 1 0 856516280 1328394240 312244 33554432000 4194304 9128323 140736002103296 18446744073709551615 5332936 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 324315 312244 724 1205 0 323106 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 1297260
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 16670
/proc/meminfo: memFree=28379588/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1298232 CPUtime=1242.28 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 1078021 0 0 0 124054 174 0 0 25 0 1 0 856516280 1329389568 312417 33554432000 4194304 9128323 140736002103296 18446744073709551615 4907296 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 324558 312417 724 1205 0 323349 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 1298232
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 16671
/proc/meminfo: memFree=28378696/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1298768 CPUtime=1302.29 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 1078097 0 0 0 130055 174 0 0 25 0 1 0 856516280 1329938432 312493 33554432000 4194304 9128323 140736002103296 18446744073709551615 4907184 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 324692 312493 724 1205 0 323483 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 1298768
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 16673
/proc/meminfo: memFree=28378036/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1300184 CPUtime=1362.28 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 1078452 0 0 0 136054 174 0 0 25 0 1 0 856516280 1331388416 312848 33554432000 4194304 9128323 140736002103296 18446744073709551615 4209032 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 325046 312848 724 1205 0 323837 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 1300184
[startup+1422.32 s]
/proc/loadavg: 2.07 2.02 2.00 3/447 16675
/proc/meminfo: memFree=28377516/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1300864 CPUtime=1422.3 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 1078622 0 0 0 142056 174 0 0 25 0 1 0 856516280 1332084736 313018 33554432000 4194304 9128323 140736002103296 18446744073709551615 4907310 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 325216 313018 724 1205 0 324007 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 1300864
[startup+1482.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/447 16676
/proc/meminfo: memFree=28376972/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1301088 CPUtime=1482.28 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 1078679 0 0 0 148054 174 0 0 25 0 1 0 856516280 1332314112 313075 33554432000 4194304 9128323 140736002103296 18446744073709551615 5333320 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 325272 313075 724 1205 0 324063 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 1301088
[startup+1542.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/447 16678
/proc/meminfo: memFree=28373336/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1301548 CPUtime=1542.28 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 1078794 0 0 0 154054 174 0 0 25 0 1 0 856516280 1332785152 313190 33554432000 4194304 9128323 140736002103296 18446744073709551615 4907310 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 325387 313190 724 1205 0 324178 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 1301548
[startup+1602.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/447 16679
/proc/meminfo: memFree=28366216/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1302364 CPUtime=1602.28 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 1078977 0 0 0 160054 174 0 0 25 0 1 0 856516280 1333620736 313373 33554432000 4194304 9128323 140736002103296 18446744073709551615 5333270 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 325591 313373 724 1205 0 324382 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 1302364
[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/447 16681
/proc/meminfo: memFree=28360228/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1302928 CPUtime=1662.28 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 1079118 0 0 0 166054 174 0 0 25 0 1 0 856516280 1334198272 313514 33554432000 4194304 9128323 140736002103296 18446744073709551615 6580881 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 325732 313514 724 1205 0 324523 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 1302928
[startup+1722.3 s]
/proc/loadavg: 1.48 1.89 1.95 2/441 16701
/proc/meminfo: memFree=29760996/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1303328 CPUtime=1722.29 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 1079192 0 0 0 172054 175 0 0 25 0 1 0 856516280 1334607872 313588 33554432000 4194304 9128323 140736002103296 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 325832 313588 724 1205 0 324623 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 1303328
[startup+1782.3 s]
/proc/loadavg: 1.17 1.73 1.89 2/441 16702
/proc/meminfo: memFree=29758364/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1305248 CPUtime=1782.29 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 1079633 0 0 0 178054 175 0 0 25 0 1 0 856516280 1336573952 314029 33554432000 4194304 9128323 140736002103296 18446744073709551615 6581536 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16636/statm: 326312 314029 724 1205 0 325103 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 1305248
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 1.12 1.68 1.87 2/441 16703
/proc/meminfo: memFree=29758976/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1305248 CPUtime=1800.1 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 1079648 0 0 0 179835 175 0 0 25 0 1 0 856516280 1336573952 314044 33554432000 4194304 9128323 140736002103296 18446744073709551615 4692785 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16636/statm: 326312 314044 724 1205 0 325103 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1305248
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 1.12 1.68 1.87 2/441 16703
/proc/meminfo: memFree=29758976/32950928 swapFree=34365992/67111528
[pid=16636] ppid=16634 vsize=1305248 CPUtime=1800.1 cores=0,2,4,6
/proc/16636/stat : 16636 (scip-2.0.1.4.li) R 16634 16636 16166 0 -1 4202496 1079648 0 0 0 179835 175 0 0 25 0 1 0 856516280 1336573952 314044 33554432000 4194304 9128323 140736002103296 18446744073709551615 4692785 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16636/statm: 326312 314044 724 1205 0 325103 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1305248
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.17
CPU time (s): 1800.17
CPU user time (s): 1798.36
CPU system time (s): 1.80472
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 2148992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.36
system time used= 1.80472
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1079648
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= 4
involuntary context switches= 3586
runsolver used 8.27374 second user time and 18.0043 second system time
The end