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-3451841-1307117848.opb>
1.49/1.54 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234247 constraints
1.49/1.54 c problem read
1.49/1.54 c presolving settings loaded
1.89/1.99 c presolving:
7.99/8.06 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
10.69/10.70 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
11.29/11.39 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
11.69/11.74 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
11.89/11.93 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
12.00/12.04 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
12.11/12.11 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
12.11/12.18 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
12.19/12.24 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
12.29/12.30 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
12.29/12.36 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
12.39/12.42 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
13.00/13.08 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
561.50/561.52 c (561.5s) probing: 1000/56590 (1.8%) - 0 fixings, 0 aggregations, 10303144 implications, 0 bound changes
1010.81/1010.84 c (1010.8s) probing: 2000/56590 (3.5%) - 0 fixings, 0 aggregations, 15901059 implications, 0 bound changes
1011.31/1011.32 c (1011.3s) probing: 2001/56590 (3.5%) - 0 fixings, 0 aggregations, 15913168 implications, 0 bound changes
1011.31/1011.32 c (1011.3s) probing aborted: 2000/2000 successive useless probings
1011.31/1011.32 c presolving (14 rounds):
1011.31/1011.32 c 16252 deleted vars, 57882 deleted constraints, 2 added constraints, 12486 tightened bounds, 0 added holes, 85 changed sides, 199 changed coefficients
1011.31/1011.32 c 73905201 implications, 0 cliques
1011.31/1011.32 c presolved problem has 56590 variables (56590 bin, 0 int, 0 impl, 0 cont) and 176367 constraints
1011.31/1011.32 c 1127 constraints of type <knapsack>
1011.31/1011.32 c 147262 constraints of type <setppc>
1011.31/1011.32 c 27978 constraints of type <logicor>
1011.31/1011.32 c transformed objective value is always integral (scale: 1)
1011.31/1011.32 c Presolving Time: 1009.47
1011.31/1011.32 c - non default parameters ----------------------------------------------------------------------
1011.31/1011.32 c # SCIP version 2.0.1.5
1011.31/1011.32 c
1011.31/1011.32 c # frequency for displaying node information lines
1011.31/1011.32 c # [type: int, range: [-1,2147483647], default: 100]
1011.31/1011.32 c display/freq = 10000
1011.31/1011.32 c
1011.31/1011.32 c # maximal time in seconds to run
1011.31/1011.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1011.31/1011.32 c limits/time = 1800
1011.31/1011.32 c
1011.31/1011.32 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1011.31/1011.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1011.31/1011.32 c limits/memory = 13950
1011.31/1011.32 c
1011.31/1011.32 c # default clock type (1: CPU user seconds, 2: wall clock time)
1011.31/1011.32 c # [type: int, range: [1,2], default: 1]
1011.31/1011.32 c timing/clocktype = 2
1011.31/1011.32 c
1011.31/1011.32 c # belongs reading time to solving time?
1011.31/1011.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1011.31/1011.32 c timing/reading = TRUE
1011.31/1011.32 c
1011.31/1011.32 c # should presolving try to simplify inequalities
1011.31/1011.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1011.31/1011.32 c constraints/linear/simplifyinequalities = TRUE
1011.31/1011.32 c
1011.31/1011.32 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1011.31/1011.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1011.31/1011.32 c constraints/indicator/addCouplingCons = TRUE
1011.31/1011.32 c
1011.31/1011.32 c # should presolving try to simplify knapsacks
1011.31/1011.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1011.31/1011.32 c constraints/knapsack/simplifyinequalities = TRUE
1011.31/1011.32 c
1011.31/1011.32 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1011.31/1011.32 c # [type: int, range: [-1,2147483647], default: -1]
1011.31/1011.32 c separating/rapidlearning/freq = 0
1011.31/1011.32 c
1011.31/1011.32 c -----------------------------------------------------------------------------------------------
1011.31/1011.32 c start solving
1011.31/1011.36 c
1332.31/1332.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1332.31/1332.30 c 1332s| 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.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-3451841-1307117848/watcher-3451841-1307117848 -o /tmp/evaluation-result-3451841-1307117848/solver-3451841-1307117848 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451841-1307117848.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 2.00 1.99 2/446 12463
/proc/meminfo: memFree=29946604/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=13916 CPUtime=0 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 2474 0 0 0 0 0 0 0 25 0 1 0 823383586 14249984 2428 33554432000 4194304 9163163 140734302214160 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12463/statm: 3479 2428 395 1214 0 2261 0
[startup+0.090148 s]
/proc/loadavg: 1.99 2.00 1.99 2/446 12463
/proc/meminfo: memFree=29946604/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=29048 CPUtime=0.08 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 6228 0 0 0 7 1 0 0 25 0 1 0 823383586 29745152 6182 33554432000 4194304 9163163 140734302214160 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12463/statm: 7262 6182 395 1214 0 6044 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29048
[startup+0.100143 s]
/proc/loadavg: 1.99 2.00 1.99 2/446 12463
/proc/meminfo: memFree=29946604/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=30072 CPUtime=0.09 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 6519 0 0 0 8 1 0 0 25 0 1 0 823383586 30793728 6473 33554432000 4194304 9163163 140734302214160 18446744073709551615 6138080 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12463/statm: 7518 6473 395 1214 0 6300 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30072
[startup+0.30011 s]
/proc/loadavg: 1.99 2.00 1.99 2/446 12463
/proc/meminfo: memFree=29946604/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=56888 CPUtime=0.29 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 13203 0 0 0 28 1 0 0 25 0 1 0 823383586 58253312 13157 33554432000 4194304 9163163 140734302214160 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12463/statm: 14222 13157 395 1214 0 13004 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56888
[startup+0.701038 s]
/proc/loadavg: 1.99 2.00 1.99 2/446 12463
/proc/meminfo: memFree=29946604/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=80896 CPUtime=0.69 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 19180 0 0 0 67 2 0 0 25 0 1 0 823383586 82837504 19134 33554432000 4194304 9163163 140734302214160 18446744073709551615 8041824 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12463/statm: 20224 19134 395 1214 0 19006 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80896
[startup+1.5009 s]
/proc/loadavg: 1.99 2.00 1.99 3/447 12464
/proc/meminfo: memFree=29843920/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=151468 CPUtime=1.49 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 36824 0 0 0 145 4 0 0 25 0 1 0 823383586 155103232 36778 33554432000 4194304 9163163 140734302214160 18446744073709551615 7480092 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12463/statm: 37867 36778 395 1214 0 36649 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 151468
[startup+3.10062 s]
/proc/loadavg: 1.99 2.00 1.99 3/447 12464
/proc/meminfo: memFree=29572540/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=510908 CPUtime=3.09 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 125045 0 0 0 295 14 0 0 25 0 1 0 823383586 523169792 124969 33554432000 4194304 9163163 140734302214160 18446744073709551615 6567508 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12463/statm: 127727 124969 506 1214 0 126509 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 510908
[startup+6.30105 s]
/proc/loadavg: 1.99 2.00 1.99 3/447 12464
/proc/meminfo: memFree=29220256/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=780952 CPUtime=6.29 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 190666 0 0 0 607 22 0 0 25 0 1 0 823383586 799694848 190590 33554432000 4194304 9163163 140734302214160 18446744073709551615 4833748 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12463/statm: 195238 190590 506 1214 0 194020 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 780952
[startup+12.7009 s]
/proc/loadavg: 1.99 2.00 1.99 3/447 12465
/proc/meminfo: memFree=29077432/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=888284 CPUtime=12.69 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 224520 0 0 0 1244 25 0 0 25 0 1 0 823383586 909602816 216997 33554432000 4194304 9163163 140734302214160 18446744073709551615 5220415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12463/statm: 222071 216997 530 1214 0 220853 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 888284
[startup+25.5007 s]
/proc/loadavg: 1.99 2.00 1.99 3/447 12465
/proc/meminfo: memFree=28935692/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=987876 CPUtime=25.49 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 257347 0 0 0 2520 29 0 0 25 0 1 0 823383586 1011585024 240271 33554432000 4194304 9163163 140734302214160 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12463/statm: 246969 240271 666 1214 0 245751 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 987876
[startup+51.1002 s]
/proc/loadavg: 1.99 2.00 1.99 3/447 12466
/proc/meminfo: memFree=28818696/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=1034172 CPUtime=51.09 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 268004 0 0 0 5078 31 0 0 25 0 1 0 823383586 1058992128 250928 33554432000 4194304 9163163 140734302214160 18446744073709551615 8045847 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12463/statm: 258543 250928 666 1214 0 257325 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1034172
[startup+102.317 s]
/proc/loadavg: 2.10 2.03 2.00 3/447 12467
/proc/meminfo: memFree=28562532/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=1187912 CPUtime=102.3 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 306054 0 0 0 10196 34 0 0 25 0 1 0 823383586 1216421888 288978 33554432000 4194304 9163163 140734302214160 18446744073709551615 4240472 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12463/statm: 296978 288978 666 1214 0 295760 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1187912
[startup+162.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/447 12469
/proc/meminfo: memFree=28266016/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=1323900 CPUtime=162.29 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 339770 0 0 0 16190 39 0 0 25 0 1 0 823383586 1355673600 322694 33554432000 4194304 9163163 140734302214160 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12463/statm: 330975 322694 666 1214 0 329757 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1323900
[startup+222.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/447 12470
/proc/meminfo: memFree=27898440/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=1572240 CPUtime=222.29 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 402571 0 0 0 22183 46 0 0 25 0 1 0 823383586 1609973760 385495 33554432000 4194304 9163163 140734302214160 18446744073709551615 6563370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 393060 385495 666 1214 0 391842 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1572240
[startup+282.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 12472
/proc/meminfo: memFree=27692204/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=1703968 CPUtime=282.29 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 435136 0 0 0 28179 50 0 0 25 0 1 0 823383586 1744863232 418060 33554432000 4194304 9163163 140734302214160 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 425992 418060 666 1214 0 424774 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1703968
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 12473
/proc/meminfo: memFree=27454840/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=1840172 CPUtime=342.29 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 468602 0 0 0 34174 55 0 0 25 0 1 0 823383586 1884336128 451526 33554432000 4194304 9163163 140734302214160 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 460043 451526 666 1214 0 458825 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1840172
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 12475
/proc/meminfo: memFree=27244616/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=1959716 CPUtime=402.29 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 497952 0 0 0 40170 59 0 0 25 0 1 0 823383586 2006749184 480876 33554432000 4194304 9163163 140734302214160 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 489929 480876 666 1214 0 488711 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1959716
[startup+462.301 s]
/proc/loadavg: 2.05 2.02 2.00 3/447 12477
/proc/meminfo: memFree=27027312/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=2124256 CPUtime=462.29 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 538384 0 0 0 46165 64 0 0 25 0 1 0 823383586 2175238144 521308 33554432000 4194304 9163163 140734302214160 18446744073709551615 5458996 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 531064 521308 666 1214 0 529846 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 2124256
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/447 12478
/proc/meminfo: memFree=26794028/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=2222036 CPUtime=522.29 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 562480 0 0 0 52162 67 0 0 25 0 1 0 823383586 2275364864 545404 33554432000 4194304 9163163 140734302214160 18446744073709551615 4232658 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 555509 545404 666 1214 0 554291 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 2222036
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 12480
/proc/meminfo: memFree=26596088/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=2338720 CPUtime=582.29 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 590821 0 0 0 58158 71 0 0 25 0 1 0 823383586 2394849280 573745 33554432000 4194304 9163163 140734302214160 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 584680 573745 670 1214 0 583462 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 2338720
[startup+642.301 s]
################
# More data... #
################
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 759302 0 0 0 106129 102 0 0 25 0 1 0 823383586 3105353728 739163 33554432000 4194304 9163163 140734302214160 18446744073709551615 7349233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 758143 739163 844 1214 0 756925 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 3032572
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/447 12494
/proc/meminfo: memFree=25372540/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=3042580 CPUtime=1122.31 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 764132 0 0 0 112121 110 0 0 25 0 1 0 823383586 3115601920 743847 33554432000 4194304 9163163 140734302214160 18446744073709551615 7349027 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 760645 743847 933 1214 0 759427 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 3042580
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 12496
/proc/meminfo: memFree=25351036/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=3056988 CPUtime=1182.31 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 770289 0 0 0 118114 117 0 0 25 0 1 0 823383586 3130355712 749703 33554432000 4194304 9163163 140734302214160 18446744073709551615 7349296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 764247 749703 1529 1214 0 763029 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 3056988
[startup+1242.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/447 12497
/proc/meminfo: memFree=25316028/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=3088748 CPUtime=1242.31 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 779050 0 0 0 124108 123 0 0 25 0 1 0 823383586 3162877952 757647 33554432000 4194304 9163163 140734302214160 18446744073709551615 7349047 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 772187 757647 787 1214 0 770969 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 3088748
[startup+1302.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/447 12499
/proc/meminfo: memFree=25315856/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=3088748 CPUtime=1302.32 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 779099 0 0 0 130106 126 0 0 25 0 1 0 823383586 3162877952 757696 33554432000 4194304 9163163 140734302214160 18446744073709551615 7348226 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 772187 757696 787 1214 0 770969 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3088748
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/447 12501
/proc/meminfo: memFree=25338864/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=3068240 CPUtime=1362.31 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 793454 0 0 0 136098 133 0 0 25 0 1 0 823383586 3141877760 751939 33554432000 4194304 9163163 140734302214160 18446744073709551615 7317913 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 767060 751939 722 1214 0 765842 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 3068240
[startup+1422.32 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 12502
/proc/meminfo: memFree=25337444/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=3068860 CPUtime=1422.33 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 793819 0 0 0 142095 138 0 0 25 0 1 0 823383586 3142512640 752268 33554432000 4194304 9163163 140734302214160 18446744073709551615 7345944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 767215 752268 714 1214 0 765997 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3068860
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 12504
/proc/meminfo: memFree=25337004/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=3068860 CPUtime=1482.32 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 793819 0 0 0 148091 141 0 0 25 0 1 0 823383586 3142512640 752268 33554432000 4194304 9163163 140734302214160 18446744073709551615 7317276 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 767215 752268 714 1214 0 765997 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3068860
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 12505
/proc/meminfo: memFree=25337436/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=3068860 CPUtime=1542.32 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 793831 0 0 0 154085 147 0 0 25 0 1 0 823383586 3142512640 752280 33554432000 4194304 9163163 140734302214160 18446744073709551615 7413686 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 767215 752280 714 1214 0 765997 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3068860
[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/447 12507
/proc/meminfo: memFree=25336884/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=3068860 CPUtime=1602.32 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 793831 0 0 0 160081 151 0 0 25 0 1 0 823383586 3142512640 752280 33554432000 4194304 9163163 140734302214160 18446744073709551615 7419697 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 767215 752280 714 1214 0 765997 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3068860
[startup+1662.3 s]
/proc/loadavg: 1.42 1.85 1.95 2/441 12527
/proc/meminfo: memFree=28380652/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=3068860 CPUtime=1662.32 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 793910 0 0 0 166071 161 0 0 25 0 1 0 823383586 3142512640 752351 33554432000 4194304 9163163 140734302214160 18446744073709551615 7348304 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 767215 752351 713 1214 0 765997 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 3068860
[startup+1722.3 s]
/proc/loadavg: 1.15 1.69 1.88 2/441 12528
/proc/meminfo: memFree=28422028/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=3025348 CPUtime=1722.32 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 794205 0 0 0 172057 175 0 0 25 0 1 0 823383586 3097956352 742029 33554432000 4194304 9163163 140734302214160 18446744073709551615 7054424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 756337 742029 723 1214 0 755119 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 3025348
[startup+1782.3 s]
/proc/loadavg: 1.05 1.57 1.83 2/441 12530
/proc/meminfo: memFree=28421132/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=3025348 CPUtime=1782.32 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 794433 0 0 0 178056 176 0 0 25 0 1 0 823383586 3097956352 742255 33554432000 4194304 9163163 140734302214160 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 756337 742255 913 1214 0 755119 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 3025348
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.04 1.53 1.81 2/441 12530
/proc/meminfo: memFree=28421976/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=3025348 CPUtime=1800.03 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 794433 0 0 0 179827 176 0 0 25 0 1 0 823383586 3097956352 742255 33554432000 4194304 9163163 140734302214160 18446744073709551615 6219337 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 756337 742255 913 1214 0 755119 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3025348
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12463
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.04 1.53 1.81 2/442 12531
/proc/meminfo: memFree=28413164/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=3047828 CPUtime=1801.43 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 800990 0 0 0 179966 177 0 0 25 0 1 0 823383586 3120975872 748812 33554432000 4194304 9163163 140734302214160 18446744073709551615 6219334 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 761957 748813 913 1214 0 760739 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 3047828
[startup+1801.82 s]
/proc/loadavg: 1.04 1.53 1.81 2/442 12531
/proc/meminfo: memFree=28344096/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=3098188 CPUtime=1801.85 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 814288 0 0 0 180007 178 0 0 25 0 1 0 823383586 3172544512 762110 33554432000 4194304 9163163 140734302214160 18446744073709551615 6219334 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 774547 762110 913 1214 0 773329 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 3098188
[startup+1802 s]
/proc/loadavg: 1.04 1.53 1.81 2/442 12531
/proc/meminfo: memFree=28344096/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=3108260 CPUtime=1802.03 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4202496 817292 0 0 0 180025 178 0 0 25 0 1 0 823383586 3182858240 765114 33554432000 4194304 9163163 140734302214160 18446744073709551615 6219334 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12463/statm: 777065 765115 913 1214 0 775847 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 3108260
[startup+1802.1 s]
/proc/loadavg: 1.04 1.53 1.81 2/442 12531
/proc/meminfo: memFree=28344096/32950928 swapFree=34365992/67111528
[pid=12463] ppid=12461 vsize=0 CPUtime=1802.12 cores=1,3,5,7
/proc/12463/stat : 12463 (scip-2.0.1.4b.l) R 12461 12463 10081 0 -1 4203524 817620 0 0 0 180026 186 0 0 25 0 1 0 823383586 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/12463/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.13
CPU time (s): 1802.16
CPU user time (s): 1800.27
CPU system time (s): 1.89771
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3108260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.27
system time used= 1.89771
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 817620
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= 4003
runsolver used 7.44187 second user time and 18.8191 second system time
The end