0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3486300-1307793346.opb>
1.19/1.28 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245346 constraints
1.19/1.28 c problem read
1.19/1.29 c presolving settings loaded
2.09/2.10 c presolving:
9.99/10.08 c (round 1) 5610 del vars, 16364 del conss, 0 add conss, 4141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16767384 impls, 0 clqs
14.19/14.28 c (round 2) 12043 del vars, 41876 del conss, 0 add conss, 10170 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16802912 impls, 0 clqs
15.69/15.76 c (round 3) 14621 del vars, 53076 del conss, 0 add conss, 11865 chg bounds, 51 chg sides, 45 chg coeffs, 0 upgd conss, 16818378 impls, 0 clqs
16.49/16.56 c (round 4) 16038 del vars, 58671 del conss, 0 add conss, 12821 chg bounds, 79 chg sides, 86 chg coeffs, 0 upgd conss, 16827295 impls, 0 clqs
16.99/17.00 c (round 5) 16875 del vars, 61984 del conss, 0 add conss, 13385 chg bounds, 84 chg sides, 92 chg coeffs, 0 upgd conss, 16832562 impls, 0 clqs
17.19/17.26 c (round 6) 17283 del vars, 63784 del conss, 0 add conss, 13635 chg bounds, 84 chg sides, 92 chg coeffs, 0 upgd conss, 16835739 impls, 0 clqs
17.39/17.47 c (round 7) 17565 del vars, 64909 del conss, 0 add conss, 13823 chg bounds, 84 chg sides, 92 chg coeffs, 0 upgd conss, 16838313 impls, 0 clqs
17.49/17.59 c (round 8) 17689 del vars, 65490 del conss, 0 add conss, 13916 chg bounds, 84 chg sides, 92 chg coeffs, 0 upgd conss, 16839251 impls, 0 clqs
17.59/17.70 c (round 9) 17771 del vars, 65855 del conss, 0 add conss, 13978 chg bounds, 84 chg sides, 92 chg coeffs, 0 upgd conss, 16839554 impls, 0 clqs
17.69/17.77 c (round 10) 17807 del vars, 66037 del conss, 0 add conss, 14000 chg bounds, 84 chg sides, 92 chg coeffs, 0 upgd conss, 16839693 impls, 0 clqs
17.79/17.83 c (round 11) 17819 del vars, 66107 del conss, 0 add conss, 14008 chg bounds, 84 chg sides, 92 chg coeffs, 0 upgd conss, 16839727 impls, 0 clqs
18.49/18.50 c (round 12) 17819 del vars, 66117 del conss, 0 add conss, 14008 chg bounds, 84 chg sides, 92 chg coeffs, 179229 upgd conss, 16839727 impls, 0 clqs
18.99/19.06 c (round 13) 17819 del vars, 66122 del conss, 29 add conss, 14008 chg bounds, 141 chg sides, 300 chg coeffs, 179229 upgd conss, 16839727 impls, 0 clqs
19.19/19.27 c (round 14) 17819 del vars, 66128 del conss, 34 add conss, 14008 chg bounds, 152 chg sides, 346 chg coeffs, 179229 upgd conss, 16839727 impls, 0 clqs
914.72/914.72 c (914.7s) probing: 1000/55023 (1.8%) - 0 fixings, 0 aggregations, 13492056 implications, 0 bound changes
1491.74/1491.73 c (1491.7s) probing: 2000/55023 (3.6%) - 0 fixings, 0 aggregations, 20506271 implications, 0 bound changes
1492.34/1492.30 c (1492.3s) probing: 2001/55023 (3.6%) - 0 fixings, 0 aggregations, 20519458 implications, 0 bound changes
1492.34/1492.30 c (1492.3s) probing aborted: 2000/2000 successive useless probings
1492.34/1492.30 c presolving (15 rounds):
1492.34/1492.30 c 17819 deleted vars, 66128 deleted constraints, 34 added constraints, 14008 tightened bounds, 0 added holes, 152 changed sides, 351 changed coefficients
1492.34/1492.30 c 90421365 implications, 0 cliques
1492.34/1492.30 c presolved problem has 55023 variables (55023 bin, 0 int, 0 impl, 0 cont) and 179252 constraints
1492.34/1492.30 c 1096 constraints of type <knapsack>
1492.34/1492.30 c 150961 constraints of type <setppc>
1492.34/1492.30 c 27195 constraints of type <logicor>
1492.34/1492.30 c transformed objective value is always integral (scale: 1)
1492.34/1492.30 c Presolving Time: 1490.79
1492.34/1492.30 c - non default parameters ----------------------------------------------------------------------
1492.34/1492.30 c # SCIP version 2.0.1.4
1492.34/1492.30 c
1492.34/1492.30 c # frequency for displaying node information lines
1492.34/1492.30 c # [type: int, range: [-1,2147483647], default: 100]
1492.34/1492.30 c display/freq = 10000
1492.34/1492.30 c
1492.34/1492.30 c # maximal time in seconds to run
1492.34/1492.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1492.34/1492.30 c limits/time = 1797
1492.34/1492.30 c
1492.34/1492.30 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1492.34/1492.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1492.34/1492.30 c limits/memory = 13950
1492.34/1492.30 c
1492.34/1492.30 c # default clock type (1: CPU user seconds, 2: wall clock time)
1492.34/1492.30 c # [type: int, range: [1,2], default: 1]
1492.34/1492.30 c timing/clocktype = 2
1492.34/1492.30 c
1492.34/1492.30 c # belongs reading time to solving time?
1492.34/1492.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.34/1492.30 c timing/reading = TRUE
1492.34/1492.30 c
1492.34/1492.30 c # should presolving try to simplify inequalities
1492.34/1492.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.34/1492.30 c constraints/linear/simplifyinequalities = TRUE
1492.34/1492.30 c
1492.34/1492.30 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1492.34/1492.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.34/1492.30 c constraints/indicator/addCouplingCons = TRUE
1492.34/1492.30 c
1492.34/1492.30 c # should presolving try to simplify knapsacks
1492.34/1492.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.34/1492.30 c constraints/knapsack/simplifyinequalities = TRUE
1492.34/1492.30 c
1492.34/1492.30 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1492.34/1492.30 c # [type: int, range: [-1,2147483647], default: -1]
1492.34/1492.30 c separating/rapidlearning/freq = 0
1492.34/1492.30 c
1492.34/1492.30 c -----------------------------------------------------------------------------------------------
1492.34/1492.30 c start solving
1492.34/1492.34 c
1730.44/1730.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1730.44/1730.43 c 1730s| 1 | 0 | 49420 | - |2673M| 0 | 567 | 55k| 179k| 55k| 179k| 0 | 42 | 0 | 8.600000e+01 | -- | Inf
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3486300-1307793346/watcher-3486300-1307793346 -o /tmp/evaluation-result-3486300-1307793346/solver-3486300-1307793346 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486300-1307793346.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.00 2.00 1.97 2/174 20179
/proc/meminfo: memFree=30692748/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=10320 CPUtime=0 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 1546 0 0 0 0 0 0 0 25 0 1 0 871750554 10567680 1501 33554432000 4194304 8979876 140734773069600 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20179/statm: 2580 1519 366 1169 0 1407 0
[startup+0.027538 s]
/proc/loadavg: 2.00 2.00 1.97 2/174 20179
/proc/meminfo: memFree=30692748/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=16020 CPUtime=0.02 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 3022 0 0 0 2 0 0 0 25 0 1 0 871750554 16404480 2976 33554432000 4194304 8979876 140734773069600 18446744073709551615 4445505 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20179/statm: 4005 2976 366 1169 0 2832 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16020
[startup+0.100565 s]
/proc/loadavg: 2.00 2.00 1.97 2/174 20179
/proc/meminfo: memFree=30692748/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=27548 CPUtime=0.09 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 5904 0 0 0 9 0 0 0 25 0 1 0 871750554 28209152 5858 33554432000 4194304 8979876 140734773069600 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20179/statm: 6887 5858 366 1169 0 5714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27548
[startup+0.300519 s]
/proc/loadavg: 2.00 2.00 1.97 2/174 20179
/proc/meminfo: memFree=30692748/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=52656 CPUtime=0.29 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 12162 0 0 0 28 1 0 0 25 0 1 0 871750554 53919744 12116 33554432000 4194304 8979876 140734773069600 18446744073709551615 4446983 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20179/statm: 13164 12116 366 1169 0 11991 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52656
[startup+0.700441 s]
/proc/loadavg: 2.00 2.00 1.97 2/174 20179
/proc/meminfo: memFree=30692748/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=76692 CPUtime=0.69 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 18134 0 0 0 68 1 0 0 25 0 1 0 871750554 78532608 18088 33554432000 4194304 8979876 140734773069600 18446744073709551615 7836088 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20179/statm: 19173 18088 366 1169 0 18000 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76692
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 20180
/proc/meminfo: memFree=30591208/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=272476 CPUtime=1.49 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 66430 0 0 0 143 6 0 0 25 0 1 0 871750554 279015424 66353 33554432000 4194304 8979876 140734773069600 18446744073709551615 4599015 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 68119 66353 416 1169 0 66946 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 272476
[startup+3.10098 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 20180
/proc/meminfo: memFree=30311964/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=498768 CPUtime=3.1 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 134177 0 0 0 296 14 0 0 25 0 1 0 871750554 510738432 121772 33554432000 4194304 8979876 140734773069600 18446744073709551615 7790414 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 124692 121772 494 1169 0 123519 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 498768
[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 20180
/proc/meminfo: memFree=30027108/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=720980 CPUtime=6.29 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 189094 0 0 0 610 19 0 0 25 0 1 0 871750554 738283520 176689 33554432000 4194304 8979876 140734773069600 18446744073709551615 7841099 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 180245 176689 494 1169 0 179072 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 720980
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 20181
/proc/meminfo: memFree=29784592/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=892672 CPUtime=12.69 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 230145 0 0 0 1247 22 0 0 25 0 1 0 871750554 914096128 217483 33554432000 4194304 8979876 140734773069600 18446744073709551615 6504315 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 223168 217483 504 1169 0 221995 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 892672
[startup+25.5009 s]
/proc/loadavg: 2.08 2.02 1.98 3/175 20181
/proc/meminfo: memFree=29667648/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=996284 CPUtime=25.49 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 274003 0 0 0 2523 26 0 0 25 0 1 0 871750554 1020194816 241948 33554432000 4194304 8979876 140734773069600 18446744073709551615 6503529 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 249071 241948 607 1169 0 247898 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 996284
[startup+51.1011 s]
/proc/loadavg: 2.05 2.01 1.98 3/175 20182
/proc/meminfo: memFree=29576144/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=1035976 CPUtime=51.09 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 283246 0 0 0 5082 27 0 0 25 0 1 0 871750554 1060839424 250960 33554432000 4194304 8979876 140734773069600 18446744073709551615 4875174 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 258994 250960 607 1169 0 257821 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1035976
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 1.98 3/175 20183
/proc/meminfo: memFree=29431032/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=1098644 CPUtime=102.3 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 299103 0 0 0 10200 30 0 0 25 0 1 0 871750554 1125011456 266817 33554432000 4194304 8979876 140734773069600 18446744073709551615 6503315 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 274661 266817 607 1169 0 273488 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1098644
[startup+162.301 s]
/proc/loadavg: 2.01 2.00 1.98 3/175 20185
/proc/meminfo: memFree=29105620/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=1242472 CPUtime=162.29 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 334283 0 0 0 16195 34 0 0 25 0 1 0 871750554 1272291328 301997 33554432000 4194304 8979876 140734773069600 18446744073709551615 6503315 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 310618 301997 607 1169 0 309445 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1242472
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 20186
/proc/meminfo: memFree=28890940/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=1307732 CPUtime=222.3 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 351026 0 0 0 22194 36 0 0 25 0 1 0 871750554 1339117568 318311 33554432000 4194304 8979876 140734773069600 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 326933 318311 607 1169 0 325760 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1307732
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 20188
/proc/meminfo: memFree=28631000/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=1443032 CPUtime=282.3 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 385195 0 0 0 28190 40 0 0 25 0 1 0 871750554 1477664768 352381 33554432000 4194304 8979876 140734773069600 18446744073709551615 6503525 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 360758 352381 607 1169 0 359585 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1443032
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/175 20198
/proc/meminfo: memFree=28383004/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=1554864 CPUtime=342.31 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 412680 0 0 0 34188 43 0 0 25 0 1 0 871750554 1592180736 379866 33554432000 4194304 8979876 140734773069600 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 388716 379866 607 1169 0 387543 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 1554864
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/175 20200
/proc/meminfo: memFree=28113996/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=1712444 CPUtime=402.3 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 451981 0 0 0 40183 47 0 0 25 0 1 0 871750554 1753542656 418936 33554432000 4194304 8979876 140734773069600 18446744073709551615 4222929 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 428111 418936 607 1169 0 426938 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1712444
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 20202
/proc/meminfo: memFree=27849712/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=1878972 CPUtime=462.3 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 492617 0 0 0 46179 51 0 0 25 0 1 0 871750554 1924067328 459539 33554432000 4194304 8979876 140734773069600 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 469743 459539 607 1169 0 468570 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1878972
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 20203
/proc/meminfo: memFree=27459576/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=2012844 CPUtime=522.31 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 525687 0 0 0 52176 55 0 0 25 0 1 0 871750554 2061152256 492609 33554432000 4194304 8979876 140734773069600 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 503211 492609 607 1169 0 502038 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2012844
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 20205
/proc/meminfo: memFree=27272304/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=2121976 CPUtime=582.31 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 552754 0 0 0 58173 58 0 0 25 0 1 0 871750554 2172903424 519676 33554432000 4194304 8979876 140734773069600 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 530494 519676 607 1169 0 529321 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2121976
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 20213
/proc/meminfo: memFree=26288204/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=2711920 CPUtime=882.31 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 699525 0 0 0 88154 77 0 0 25 0 1 0 871750554 2777006080 666447 33554432000 4194304 8979876 140734773069600 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 677980 666447 607 1169 0 676807 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2711920
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 20214
/proc/meminfo: memFree=26191056/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=2757612 CPUtime=942.32 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 711202 0 0 0 94153 79 0 0 25 0 1 0 871750554 2823794688 678124 33554432000 4194304 8979876 140734773069600 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 689403 678124 612 1169 0 688230 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2757612
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 20216
/proc/meminfo: memFree=26070004/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=2829976 CPUtime=1002.33 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 729056 0 0 0 100151 82 0 0 25 0 1 0 871750554 2897895424 695978 33554432000 4194304 8979876 140734773069600 18446744073709551615 6503315 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 707494 695978 612 1169 0 706321 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 2829976
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 20218
/proc/meminfo: memFree=25978452/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=2884832 CPUtime=1062.32 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 742723 0 0 0 106148 84 0 0 25 0 1 0 871750554 2954067968 709645 33554432000 4194304 8979876 140734773069600 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 721208 709645 612 1169 0 720035 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2884832
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 20219
/proc/meminfo: memFree=25837068/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=2978012 CPUtime=1122.32 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 765272 0 0 0 112145 87 0 0 25 0 1 0 871750554 3049484288 732194 33554432000 4194304 8979876 140734773069600 18446744073709551615 6492563 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 744503 732194 612 1169 0 743330 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2978012
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 20221
/proc/meminfo: memFree=25481644/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=3055488 CPUtime=1182.33 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 784531 0 0 0 118143 90 0 0 25 0 1 0 871750554 3128819712 751453 33554432000 4194304 8979876 140734773069600 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 763872 751453 612 1169 0 762699 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3055488
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 20222
/proc/meminfo: memFree=25395316/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=3100124 CPUtime=1242.33 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 796343 0 0 0 124141 92 0 0 25 0 1 0 871750554 3174526976 763265 33554432000 4194304 8979876 140734773069600 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 775031 763265 612 1169 0 773858 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3100124
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 20224
/proc/meminfo: memFree=25327680/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=3147420 CPUtime=1302.34 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 808011 0 0 0 130140 94 0 0 25 0 1 0 871750554 3222958080 774933 33554432000 4194304 8979876 140734773069600 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 786855 774933 612 1169 0 785682 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3147420
[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/175 20226
/proc/meminfo: memFree=25275076/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=3197420 CPUtime=1362.33 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 819825 0 0 0 136138 95 0 0 25 0 1 0 871750554 3274158080 786747 33554432000 4194304 8979876 140734773069600 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 799355 786747 612 1169 0 798182 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3197420
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 20227
/proc/meminfo: memFree=25215764/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=3254264 CPUtime=1422.35 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 834398 0 0 0 142137 98 0 0 25 0 1 0 871750554 3332366336 801320 33554432000 4194304 8979876 140734773069600 18446744073709551615 5537828 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 813566 801320 612 1169 0 812393 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 3254264
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 20229
/proc/meminfo: memFree=25157820/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=3309440 CPUtime=1482.34 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 848072 0 0 0 148135 99 0 0 25 0 1 0 871750554 3388866560 814994 33554432000 4194304 8979876 140734773069600 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 827360 814994 612 1169 0 826187 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3309440
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20230
/proc/meminfo: memFree=24861316/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=3637428 CPUtime=1542.34 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 924697 0 0 0 154124 110 0 0 25 0 1 0 871750554 3724726272 889140 33554432000 4194304 8979876 140734773069600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 909357 889140 957 1169 0 908184 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3637428
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20232
/proc/meminfo: memFree=24838100/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=3647556 CPUtime=1602.34 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 931301 0 0 0 160120 114 0 0 25 0 1 0 871750554 3735097344 894771 33554432000 4194304 8979876 140734773069600 18446744073709551615 7147278 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 911889 894771 756 1169 0 910716 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3647556
[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 20234
/proc/meminfo: memFree=24820324/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=3676748 CPUtime=1662.35 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 935896 0 0 0 166117 118 0 0 25 0 1 0 871750554 3764989952 899197 33554432000 4194304 8979876 140734773069600 18446744073709551615 7147358 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 919187 899197 694 1169 0 918014 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 3676748
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 20274
/proc/meminfo: memFree=27402384/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=3678604 CPUtime=1722.35 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 936605 0 0 0 172115 120 0 0 25 0 1 0 871750554 3766890496 899906 33554432000 4194304 8979876 140734773069600 18446744073709551615 7147076 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 919651 899906 694 1169 0 918478 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3678604
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 20279
/proc/meminfo: memFree=27345616/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=3678736 CPUtime=1782.34 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 940267 0 0 0 178110 124 0 0 25 0 1 0 871750554 3767025664 903562 33554432000 4194304 8979876 140734773069600 18446744073709551615 7155470 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 919684 903562 699 1169 0 918511 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3678736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.02 2.00 3/175 20279
/proc/meminfo: memFree=27345056/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=3678736 CPUtime=1800.06 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4202496 940268 0 0 0 179881 125 0 0 25 0 1 0 871750554 3767025664 903563 33554432000 4194304 8979876 140734773069600 18446744073709551615 7143951 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20179/statm: 919684 903563 699 1169 0 918511 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3678736
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.11 s]
/proc/loadavg: 2.05 2.02 2.00 3/175 20279
/proc/meminfo: memFree=27345056/32951124 swapFree=67062492/67111528
[pid=20179] ppid=20177 vsize=0 CPUtime=1800.16 cores=0,2,4,6
/proc/20179/stat : 20179 (scip-2.0.1.4_2.) R 20177 20179 17360 0 -1 4203524 940268 0 0 0 179881 135 0 0 25 0 1 0 871750554 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20179/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.14
CPU time (s): 1800.2
CPU user time (s): 1798.81
CPU system time (s): 1.38479
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3678736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.81
system time used= 1.38479
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 940268
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= 1285
runsolver used 2.79157 second user time and 5.66014 second system time
The end