0.00/0.00 c SCIP version 2.0.1.5 [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-3489761-1307792144.opb>
1.19/1.29 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234247 constraints
1.19/1.29 c problem read
1.19/1.29 c presolving settings loaded
1.68/1.74 c presolving:
9.39/9.40 c (round 1) 4823 del vars, 14368 del conss, 0 add conss, 3315 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16074536 impls, 0 clqs
13.49/13.55 c (round 2) 12131 del vars, 39386 del conss, 0 add conss, 10300 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16104519 impls, 0 clqs
14.69/14.71 c (round 3) 14469 del vars, 50671 del conss, 0 add conss, 11513 chg bounds, 50 chg sides, 50 chg coeffs, 0 upgd conss, 16118462 impls, 0 clqs
15.29/15.31 c (round 4) 15419 del vars, 54425 del conss, 0 add conss, 12063 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16125686 impls, 0 clqs
15.59/15.63 c (round 5) 15911 del vars, 56362 del conss, 0 add conss, 12319 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16129412 impls, 0 clqs
15.69/15.78 c (round 6) 16068 del vars, 57108 del conss, 0 add conss, 12400 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16130860 impls, 0 clqs
15.79/15.88 c (round 7) 16159 del vars, 57491 del conss, 0 add conss, 12439 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16131733 impls, 0 clqs
15.89/15.96 c (round 8) 16201 del vars, 57661 del conss, 0 add conss, 12460 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16132061 impls, 0 clqs
15.99/16.03 c (round 9) 16224 del vars, 57759 del conss, 0 add conss, 12472 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16132319 impls, 0 clqs
16.09/16.10 c (round 10) 16238 del vars, 57815 del conss, 0 add conss, 12479 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16132473 impls, 0 clqs
16.09/16.16 c (round 11) 16246 del vars, 57849 del conss, 0 add conss, 12483 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16132635 impls, 0 clqs
16.19/16.22 c (round 12) 16252 del vars, 57873 del conss, 0 add conss, 12486 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16132671 impls, 0 clqs
16.79/16.87 c (round 13) 16252 del vars, 57882 del conss, 0 add conss, 12486 chg bounds, 74 chg sides, 92 chg coeffs, 176365 upgd conss, 16132671 impls, 0 clqs
735.62/735.66 c (735.7s) probing: 1000/56590 (1.8%) - 0 fixings, 0 aggregations, 10303144 implications, 0 bound changes
1230.84/1230.84 c (1230.8s) probing: 2000/56590 (3.5%) - 0 fixings, 0 aggregations, 15901059 implications, 0 bound changes
1231.33/1231.39 c (1231.4s) probing: 2001/56590 (3.5%) - 0 fixings, 0 aggregations, 15913168 implications, 0 bound changes
1231.33/1231.39 c (1231.4s) probing aborted: 2000/2000 successive useless probings
1231.43/1231.40 c presolving (14 rounds):
1231.43/1231.40 c 16252 deleted vars, 57882 deleted constraints, 2 added constraints, 12486 tightened bounds, 0 added holes, 85 changed sides, 199 changed coefficients
1231.43/1231.40 c 73905201 implications, 0 cliques
1231.43/1231.40 c presolved problem has 56590 variables (56590 bin, 0 int, 0 impl, 0 cont) and 176367 constraints
1231.43/1231.40 c 1127 constraints of type <knapsack>
1231.43/1231.40 c 147262 constraints of type <setppc>
1231.43/1231.40 c 27978 constraints of type <logicor>
1231.43/1231.40 c transformed objective value is always integral (scale: 1)
1231.43/1231.40 c Presolving Time: 1229.79
1231.43/1231.40 c - non default parameters ----------------------------------------------------------------------
1231.43/1231.40 c # SCIP version 2.0.1.5
1231.43/1231.40 c
1231.43/1231.40 c # frequency for displaying node information lines
1231.43/1231.40 c # [type: int, range: [-1,2147483647], default: 100]
1231.43/1231.40 c display/freq = 10000
1231.43/1231.40 c
1231.43/1231.40 c # maximal time in seconds to run
1231.43/1231.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1231.43/1231.40 c limits/time = 1797
1231.43/1231.40 c
1231.43/1231.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1231.43/1231.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1231.43/1231.40 c limits/memory = 13950
1231.43/1231.40 c
1231.43/1231.40 c # default clock type (1: CPU user seconds, 2: wall clock time)
1231.43/1231.40 c # [type: int, range: [1,2], default: 1]
1231.43/1231.40 c timing/clocktype = 2
1231.43/1231.40 c
1231.43/1231.40 c # belongs reading time to solving time?
1231.43/1231.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1231.43/1231.40 c timing/reading = TRUE
1231.43/1231.40 c
1231.43/1231.40 c # should presolving try to simplify inequalities
1231.43/1231.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1231.43/1231.40 c constraints/linear/simplifyinequalities = TRUE
1231.43/1231.40 c
1231.43/1231.40 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1231.43/1231.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1231.43/1231.40 c constraints/indicator/addCouplingCons = TRUE
1231.43/1231.40 c
1231.43/1231.40 c # should presolving try to simplify knapsacks
1231.43/1231.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1231.43/1231.40 c constraints/knapsack/simplifyinequalities = TRUE
1231.43/1231.40 c
1231.43/1231.40 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1231.43/1231.40 c # [type: int, range: [-1,2147483647], default: -1]
1231.43/1231.40 c separating/rapidlearning/freq = 0
1231.43/1231.40 c
1231.43/1231.40 c -----------------------------------------------------------------------------------------------
1231.43/1231.40 c start solving
1231.43/1231.44 c
1548.14/1548.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1548.14/1548.13 c 1548s| 1 | 0 | 59448 | - |2269M| 0 |2060 | 56k| 176k| 56k| 176k| 0 | 60 | 0 | 8.800000e+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-3489761-1307792144/watcher-3489761-1307792144 -o /tmp/evaluation-result-3489761-1307792144/solver-3489761-1307792144 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489761-1307792144.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: 2.00 2.00 2.00 3/177 9829
/proc/meminfo: memFree=30127372/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=10944 CPUtime=0 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 1801 0 0 0 0 0 0 0 25 0 1 0 969445071 11206656 1755 33554432000 4194304 9016284 140733231567424 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9829/statm: 2736 1767 340 1178 0 1554 0
[startup+0.0747599 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9829
/proc/meminfo: memFree=30127372/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=27632 CPUtime=0.06 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 5911 0 0 0 6 0 0 0 25 0 1 0 969445071 28295168 5865 33554432000 4194304 9016284 140733231567424 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9829/statm: 6908 5865 360 1178 0 5726 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 27632
[startup+0.100754 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9829
/proc/meminfo: memFree=30127372/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=32256 CPUtime=0.09 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 7064 0 0 0 9 0 0 0 25 0 1 0 969445071 33030144 7018 33554432000 4194304 9016284 140733231567424 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9829/statm: 8064 7018 360 1178 0 6882 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32256
[startup+0.30072 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9829
/proc/meminfo: memFree=30127372/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=59136 CPUtime=0.29 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 13783 0 0 0 28 1 0 0 25 0 1 0 969445071 60555264 13737 33554432000 4194304 9016284 140733231567424 18446744073709551615 7854944 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9829/statm: 14784 13737 360 1178 0 13602 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59136
[startup+0.700648 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9829
/proc/meminfo: memFree=30127372/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=89644 CPUtime=0.69 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 21398 0 0 0 67 2 0 0 25 0 1 0 969445071 91795456 21352 33554432000 4194304 9016284 140733231567424 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9829/statm: 22411 21352 360 1178 0 21229 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 89644
[startup+1.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9830
/proc/meminfo: memFree=30009200/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=301828 CPUtime=1.48 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 73995 0 0 0 140 8 0 0 25 0 1 0 969445071 309071872 73930 33554432000 4194304 9016284 140733231567424 18446744073709551615 4447111 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 75457 73930 406 1178 0 74275 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 301828
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9830
/proc/meminfo: memFree=29728688/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=510764 CPUtime=3.09 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 125011 0 0 0 295 14 0 0 25 0 1 0 969445071 523022336 124946 33554432000 4194304 9016284 140733231567424 18446744073709551615 6480407 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 127691 124946 485 1178 0 126509 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 510764
[startup+6.30062 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9830
/proc/meminfo: memFree=29463572/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=728120 CPUtime=6.29 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 177917 0 0 0 610 19 0 0 25 0 1 0 969445071 745594880 177852 33554432000 4194304 9016284 140733231567424 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 182030 177852 485 1178 0 180848 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 728120
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9830
/proc/meminfo: memFree=29275796/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=857732 CPUtime=12.69 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 209691 0 0 0 1246 23 0 0 25 0 1 0 969445071 878317568 209369 33554432000 4194304 9016284 140733231567424 18446744073709551615 6476131 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 214433 209369 496 1178 0 213251 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 857732
[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9830
/proc/meminfo: memFree=29152432/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=977260 CPUtime=25.49 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 254454 0 0 0 2521 28 0 0 25 0 1 0 969445071 1000714240 237293 33554432000 4194304 9016284 140733231567424 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 244315 237293 547 1178 0 243133 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 977260
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9831
/proc/meminfo: memFree=29092496/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=1004908 CPUtime=51.1 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 261274 0 0 0 5080 30 0 0 25 0 1 0 969445071 1029025792 244113 33554432000 4194304 9016284 140733231567424 18446744073709551615 7875929 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 251227 244113 547 1178 0 250045 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1004908
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9832
/proc/meminfo: memFree=28955616/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=1071696 CPUtime=102.3 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 277431 0 0 0 10198 32 0 0 25 0 1 0 969445071 1097416704 260270 33554432000 4194304 9016284 140733231567424 18446744073709551615 6480180 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 267924 260270 547 1178 0 266742 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1071696
[startup+162.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9834
/proc/meminfo: memFree=28741800/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=1196108 CPUtime=162.29 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 308221 0 0 0 16193 36 0 0 25 0 1 0 969445071 1224814592 291060 33554432000 4194304 9016284 140733231567424 18446744073709551615 6480229 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 299027 291060 547 1178 0 297845 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1196108
[startup+222.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9839
/proc/meminfo: memFree=28551640/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=1285304 CPUtime=222.3 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 330428 0 0 0 22191 39 0 0 25 0 1 0 969445071 1316151296 313267 33554432000 4194304 9016284 140733231567424 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 321326 313267 547 1178 0 320144 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1285304
[startup+282.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 9840
/proc/meminfo: memFree=28331808/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=1433232 CPUtime=282.29 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 366866 0 0 0 28186 43 0 0 25 0 1 0 969445071 1467629568 349705 33554432000 4194304 9016284 140733231567424 18446744073709551615 4919365 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 358308 349705 547 1178 0 357126 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1433232
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9842
/proc/meminfo: memFree=28080028/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=1584988 CPUtime=342.3 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 405982 0 0 0 34183 47 0 0 25 0 1 0 969445071 1623027712 388821 33554432000 4194304 9016284 140733231567424 18446744073709551615 4917400 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 396247 388821 547 1178 0 395065 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1584988
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 9843
/proc/meminfo: memFree=27884536/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=1690276 CPUtime=402.3 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 431722 0 0 0 40179 51 0 0 25 0 1 0 969445071 1730842624 414561 33554432000 4194304 9016284 140733231567424 18446744073709551615 5154333 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 422569 414561 547 1178 0 421387 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1690276
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9845
/proc/meminfo: memFree=27672320/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=1795476 CPUtime=462.3 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 458220 0 0 0 46176 54 0 0 25 0 1 0 969445071 1838567424 441059 33554432000 4194304 9016284 140733231567424 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 448869 441059 547 1178 0 447687 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1795476
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9847
/proc/meminfo: memFree=27468288/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=1931956 CPUtime=522.31 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 491034 0 0 0 52172 59 0 0 25 0 1 0 969445071 1978322944 473873 33554432000 4194304 9016284 140733231567424 18446744073709551615 6480384 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 482989 473873 547 1178 0 481807 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1931956
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9848
/proc/meminfo: memFree=27307656/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=1996396 CPUtime=582.31 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 507246 0 0 0 58170 61 0 0 25 0 1 0 969445071 2044309504 490085 33554432000 4194304 9016284 140733231567424 18446744073709551615 4887840 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 499099 490085 547 1178 0 497917 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1996396
[startup+642.3 s]
################
# More data... #
################
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 654217 0 0 0 106150 83 0 0 25 0 1 0 969445071 2651938816 637056 33554432000 4194304 9016284 140733231567424 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 647446 637056 552 1178 0 646264 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2589784
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9863
/proc/meminfo: memFree=25622912/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=2636124 CPUtime=1122.33 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 666253 0 0 0 112148 85 0 0 25 0 1 0 969445071 2699390976 649092 33554432000 4194304 9016284 140733231567424 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 659031 649092 552 1178 0 657849 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2636124
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9864
/proc/meminfo: memFree=25444664/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=2681368 CPUtime=1182.32 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 676837 0 0 0 118146 86 0 0 25 0 1 0 969445071 2745720832 659676 33554432000 4194304 9016284 140733231567424 18446744073709551615 6480384 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 670342 659676 552 1178 0 669160 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2681368
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9866
/proc/meminfo: memFree=25122700/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=2909532 CPUtime=1242.33 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 730325 0 0 0 124139 94 0 0 25 0 1 0 969445071 2979360768 711137 33554432000 4194304 9016284 140733231567424 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 727383 711137 595 1178 0 726201 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2909532
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 9867
/proc/meminfo: memFree=24871808/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=3042736 CPUtime=1302.34 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 761031 0 0 0 130130 104 0 0 25 0 1 0 969445071 3115761664 740871 33554432000 4194304 9016284 140733231567424 18446744073709551615 7181678 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 760684 740871 856 1178 0 759502 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3042736
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9869
/proc/meminfo: memFree=24727056/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=3042736 CPUtime=1362.34 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 764508 0 0 0 136123 111 0 0 25 0 1 0 969445071 3115761664 744066 33554432000 4194304 9016284 140733231567424 18446744073709551615 7181427 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 760684 744066 807 1178 0 759502 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3042736
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 9909
/proc/meminfo: memFree=27844828/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=3057148 CPUtime=1422.34 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 770377 0 0 0 142117 117 0 0 25 0 1 0 969445071 3130519552 749790 33554432000 4194304 9016284 140733231567424 18446744073709551615 7181396 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 764287 749790 1477 1178 0 763105 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3057148
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9910
/proc/meminfo: memFree=27711612/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=3084916 CPUtime=1482.33 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 777178 0 0 0 148111 122 0 0 25 0 1 0 969445071 3158953984 755681 33554432000 4194304 9016284 140733231567424 18446744073709551615 7181427 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 771229 755681 710 1178 0 770047 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3084916
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9921
/proc/meminfo: memFree=27594728/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=3084916 CPUtime=1542.33 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 777485 0 0 0 154108 125 0 0 25 0 1 0 969445071 3158953984 755988 33554432000 4194304 9016284 140733231567424 18446744073709551615 7181435 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 771229 755988 710 1178 0 770047 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3084916
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9922
/proc/meminfo: memFree=27436828/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=3084916 CPUtime=1602.34 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 781714 0 0 0 160102 132 0 0 25 0 1 0 969445071 3158953984 759365 33554432000 4194304 9016284 140733231567424 18446744073709551615 7180753 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 771229 759365 1229 1178 0 770047 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3084916
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9924
/proc/meminfo: memFree=27298136/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=3084916 CPUtime=1662.34 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 781749 0 0 0 166100 134 0 0 25 0 1 0 969445071 3158953984 759365 33554432000 4194304 9016284 140733231567424 18446744073709551615 7180772 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 771229 759365 1194 1178 0 770047 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3084916
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9926
/proc/meminfo: memFree=27165408/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=3084916 CPUtime=1722.34 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 781781 0 0 0 172098 136 0 0 25 0 1 0 969445071 3158953984 759365 33554432000 4194304 9016284 140733231567424 18446744073709551615 7189780 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 771229 759365 1162 1178 0 770047 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3084916
[startup+1782.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/178 9927
/proc/meminfo: memFree=26951592/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=3084916 CPUtime=1782.34 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 781789 0 0 0 178093 141 0 0 25 0 1 0 969445071 3158953984 759365 33554432000 4194304 9016284 140733231567424 18446744073709551615 7189770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 771229 759365 1154 1178 0 770047 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3084916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.03 2.01 3/178 9928
/proc/meminfo: memFree=26899116/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=3084916 CPUtime=1800.05 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 781792 0 0 0 179863 142 0 0 25 0 1 0 969445071 3158953984 759365 33554432000 4194304 9016284 140733231567424 18446744073709551615 7189532 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 771229 759365 1151 1178 0 770047 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3084916
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9829
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 9929
/proc/meminfo: memFree=26899108/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=3084916 CPUtime=1801.44 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 781792 0 0 0 180002 142 0 0 25 0 1 0 969445071 3158953984 759365 33554432000 4194304 9016284 140733231567424 18446744073709551615 7178331 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 771229 759365 1151 1178 0 770047 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 3084916
[startup+1801.81 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 9929
/proc/meminfo: memFree=26896752/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=3084916 CPUtime=1801.85 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 781792 0 0 0 180043 142 0 0 25 0 1 0 969445071 3158953984 759365 33554432000 4194304 9016284 140733231567424 18446744073709551615 7178162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 771229 759365 1151 1178 0 770047 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 3084916
[startup+1802 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 9929
/proc/meminfo: memFree=26896752/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=3084916 CPUtime=1802.04 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4202496 781792 0 0 0 180062 142 0 0 25 0 1 0 969445071 3158953984 759365 33554432000 4194304 9016284 140733231567424 18446744073709551615 7124965 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9829/statm: 771229 759365 1151 1178 0 770047 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 3084916
[startup+1802.1 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 9929
/proc/meminfo: memFree=26896752/32950928 swapFree=67051812/67111528
[pid=9829] ppid=9827 vsize=0 CPUtime=1802.15 cores=1,3,5,7
/proc/9829/stat : 9829 (scip-2.0.1.4b_2) R 9827 9829 9206 0 -1 4203524 781792 0 0 0 180063 152 0 0 25 0 1 0 969445071 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/9829/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.12
CPU time (s): 1802.17
CPU user time (s): 1800.63
CPU system time (s): 1.54177
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3084916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.63
system time used= 1.54176
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 781792
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= 2
involuntary context switches= 1396
runsolver used 2.66459 second user time and 5.96709 second system time
The end