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-3486289-1307793085.opb>
1.19/1.27 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234215 constraints
1.19/1.27 c problem read
1.19/1.28 c presolving settings loaded
1.99/2.10 c presolving:
9.69/9.76 c (round 1) 4398 del vars, 13084 del conss, 0 add conss, 2965 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16076284 impls, 0 clqs
13.89/13.97 c (round 2) 11168 del vars, 36411 del conss, 0 add conss, 9346 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16108532 impls, 0 clqs
15.09/15.18 c (round 3) 13435 del vars, 46988 del conss, 0 add conss, 10602 chg bounds, 42 chg sides, 38 chg coeffs, 0 upgd conss, 16122735 impls, 0 clqs
15.79/15.86 c (round 4) 14522 del vars, 51139 del conss, 0 add conss, 11284 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16129377 impls, 0 clqs
16.09/16.18 c (round 5) 15038 del vars, 53265 del conss, 0 add conss, 11579 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16132875 impls, 0 clqs
16.29/16.40 c (round 6) 15307 del vars, 54312 del conss, 0 add conss, 11720 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16135292 impls, 0 clqs
16.50/16.51 c (round 7) 15416 del vars, 54843 del conss, 0 add conss, 11770 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16136129 impls, 0 clqs
16.59/16.60 c (round 8) 15478 del vars, 55098 del conss, 0 add conss, 11804 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16136513 impls, 0 clqs
16.59/16.68 c (round 9) 15506 del vars, 55237 del conss, 0 add conss, 11824 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16136585 impls, 0 clqs
16.69/16.73 c (round 10) 15506 del vars, 55268 del conss, 0 add conss, 11824 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16136585 impls, 0 clqs
17.39/17.46 c (round 11) 15506 del vars, 55268 del conss, 0 add conss, 11824 chg bounds, 63 chg sides, 76 chg coeffs, 178947 upgd conss, 16136585 impls, 0 clqs
18.59/18.65 c (round 12) 15506 del vars, 55289 del conss, 43 add conss, 11824 chg bounds, 143 chg sides, 317 chg coeffs, 178947 upgd conss, 16136585 impls, 0 clqs
814.61/814.68 c (814.7s) probing: 1000/57336 (1.7%) - 0 fixings, 0 aggregations, 10873707 implications, 0 bound changes
1288.22/1288.20 c (1288.2s) probing: 2000/57336 (3.5%) - 0 fixings, 0 aggregations, 16263897 implications, 0 bound changes
1288.32/1288.39 c (1288.4s) probing: 2001/57336 (3.5%) - 0 fixings, 0 aggregations, 16269118 implications, 0 bound changes
1288.32/1288.39 c (1288.4s) probing aborted: 2000/2000 successive useless probings
1288.42/1288.40 c presolving (13 rounds):
1288.42/1288.40 c 15506 deleted vars, 55294 deleted constraints, 43 added constraints, 11824 tightened bounds, 0 added holes, 143 changed sides, 320 changed coefficients
1288.42/1288.40 c 73269355 implications, 0 cliques
1288.42/1288.40 c presolved problem has 57336 variables (57336 bin, 0 int, 0 impl, 0 cont) and 178964 constraints
1288.42/1288.40 c 1135 constraints of type <knapsack>
1288.42/1288.40 c 149503 constraints of type <setppc>
1288.42/1288.40 c 28326 constraints of type <logicor>
1288.42/1288.40 c transformed objective value is always integral (scale: 1)
1288.42/1288.40 c Presolving Time: 1286.90
1288.42/1288.40 c - non default parameters ----------------------------------------------------------------------
1288.42/1288.40 c # SCIP version 2.0.1.4
1288.42/1288.40 c
1288.42/1288.40 c # frequency for displaying node information lines
1288.42/1288.40 c # [type: int, range: [-1,2147483647], default: 100]
1288.42/1288.40 c display/freq = 10000
1288.42/1288.40 c
1288.42/1288.40 c # maximal time in seconds to run
1288.42/1288.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1288.42/1288.40 c limits/time = 1797
1288.42/1288.40 c
1288.42/1288.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1288.42/1288.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1288.42/1288.40 c limits/memory = 13950
1288.42/1288.40 c
1288.42/1288.40 c # default clock type (1: CPU user seconds, 2: wall clock time)
1288.42/1288.40 c # [type: int, range: [1,2], default: 1]
1288.42/1288.40 c timing/clocktype = 2
1288.42/1288.40 c
1288.42/1288.40 c # belongs reading time to solving time?
1288.42/1288.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1288.42/1288.40 c timing/reading = TRUE
1288.42/1288.40 c
1288.42/1288.40 c # should presolving try to simplify inequalities
1288.42/1288.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1288.42/1288.40 c constraints/linear/simplifyinequalities = TRUE
1288.42/1288.40 c
1288.42/1288.40 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1288.42/1288.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1288.42/1288.40 c constraints/indicator/addCouplingCons = TRUE
1288.42/1288.40 c
1288.42/1288.40 c # should presolving try to simplify knapsacks
1288.42/1288.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1288.42/1288.40 c constraints/knapsack/simplifyinequalities = TRUE
1288.42/1288.40 c
1288.42/1288.40 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1288.42/1288.40 c # [type: int, range: [-1,2147483647], default: -1]
1288.42/1288.40 c separating/rapidlearning/freq = 0
1288.42/1288.40 c
1288.42/1288.40 c -----------------------------------------------------------------------------------------------
1288.42/1288.40 c start solving
1288.42/1288.44 c
1720.04/1720.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1720.04/1720.02 c 1720s| 1 | 0 | 68738 | - |2244M| 0 |1845 | 57k| 179k| 57k| 178k| 0 | 51 | 0 | 8.100000e+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-3486289-1307793085/watcher-3486289-1307793085 -o /tmp/evaluation-result-3486289-1307793085/solver-3486289-1307793085 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486289-1307793085.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 2/177 6135
/proc/meminfo: memFree=30451776/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=10316 CPUtime=0 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 1568 0 0 0 0 0 0 0 23 0 1 0 969539082 10563584 1523 33554432000 4194304 8979876 140735631851600 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6135/statm: 2579 1527 366 1169 0 1406 0
[startup+0.052797 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 6135
/proc/meminfo: memFree=30451776/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=19872 CPUtime=0.04 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 3952 0 0 0 4 0 0 0 23 0 1 0 969539082 20348928 3907 33554432000 4194304 8979876 140735631851600 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6135/statm: 4968 3907 366 1169 0 3795 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19872
[startup+0.100768 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 6135
/proc/meminfo: memFree=30451776/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=27544 CPUtime=0.09 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 5903 0 0 0 9 0 0 0 23 0 1 0 969539082 28205056 5858 33554432000 4194304 8979876 140735631851600 18446744073709551615 7718827 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6135/statm: 6886 5858 366 1169 0 5713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27544
[startup+0.300728 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 6135
/proc/meminfo: memFree=30451776/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=52652 CPUtime=0.29 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 12161 0 0 0 28 1 0 0 25 0 1 0 969539082 53915648 12116 33554432000 4194304 8979876 140735631851600 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6135/statm: 13163 12116 366 1169 0 11990 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52652
[startup+0.700658 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 6135
/proc/meminfo: memFree=30451776/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=78604 CPUtime=0.69 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 18617 0 0 0 67 2 0 0 25 0 1 0 969539082 80490496 18572 33554432000 4194304 8979876 140735631851600 18446744073709551615 7715407 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6135/statm: 19651 18572 366 1169 0 18478 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78604
[startup+1.50051 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6136
/proc/meminfo: memFree=30349244/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=272264 CPUtime=1.49 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 66344 0 0 0 140 9 0 0 25 0 1 0 969539082 278798336 66261 33554432000 4194304 8979876 140735631851600 18446744073709551615 4880925 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6135/statm: 68066 66261 416 1169 0 66893 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 272264
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6136
/proc/meminfo: memFree=30074204/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=497372 CPUtime=3.09 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 131322 0 0 0 293 16 0 0 25 0 1 0 969539082 509308928 121082 33554432000 4194304 8979876 140735631851600 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6135/statm: 124343 121082 494 1169 0 123170 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 497372
[startup+6.30063 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6136
/proc/meminfo: memFree=29777448/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=727976 CPUtime=6.29 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 188320 0 0 0 607 22 0 0 25 0 1 0 969539082 745447424 178080 33554432000 4194304 8979876 140735631851600 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6135/statm: 181994 178080 494 1169 0 180821 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 727976
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6136
/proc/meminfo: memFree=29570276/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=878172 CPUtime=12.69 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 225198 0 0 0 1243 26 0 0 25 0 1 0 969539082 899248128 213865 33554432000 4194304 8979876 140735631851600 18446744073709551615 6504338 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6135/statm: 219543 213865 504 1169 0 218370 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 878172
[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6137
/proc/meminfo: memFree=29432140/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=997844 CPUtime=25.49 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 272231 0 0 0 2517 32 0 0 25 0 1 0 969539082 1021792256 243005 33554432000 4194304 8979876 140735631851600 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6135/statm: 249461 243005 606 1169 0 248288 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 997844
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6137
/proc/meminfo: memFree=29356740/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=1037888 CPUtime=51.09 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 281999 0 0 0 5076 33 0 0 25 0 1 0 969539082 1062797312 252674 33554432000 4194304 8979876 140735631851600 18446744073709551615 6503333 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6135/statm: 259472 252674 606 1169 0 258299 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1037888
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6139
/proc/meminfo: memFree=29152144/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=1110964 CPUtime=102.29 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 299828 0 0 0 10194 35 0 0 25 0 1 0 969539082 1137627136 270503 33554432000 4194304 8979876 140735631851600 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 277741 270503 606 1169 0 276568 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1110964
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6140
/proc/meminfo: memFree=28943532/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=1236416 CPUtime=162.29 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 330554 0 0 0 16189 40 0 0 25 0 1 0 969539082 1266089984 301229 33554432000 4194304 8979876 140735631851600 18446744073709551615 6503516 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 309104 301229 606 1169 0 307931 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1236416
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6142
/proc/meminfo: memFree=28678012/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=1332232 CPUtime=222.29 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 354425 0 0 0 22187 42 0 0 25 0 1 0 969539082 1364205568 325100 33554432000 4194304 8979876 140735631851600 18446744073709551615 6503288 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 333058 325100 606 1169 0 331885 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1332232
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6143
/proc/meminfo: memFree=28475224/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=1458256 CPUtime=282.29 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 384955 0 0 0 28185 44 0 0 25 0 1 0 969539082 1493254144 355201 33554432000 4194304 8979876 140735631851600 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 364564 355201 606 1169 0 363391 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1458256
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6145
/proc/meminfo: memFree=28287816/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=1525296 CPUtime=342.29 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 402288 0 0 0 34183 46 0 0 25 0 1 0 969539082 1561903104 372336 33554432000 4194304 8979876 140735631851600 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 381324 372336 606 1169 0 380151 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1525296
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6147
/proc/meminfo: memFree=28018808/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=1695412 CPUtime=402.3 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 445286 0 0 0 40179 51 0 0 25 0 1 0 969539082 1736101888 415103 33554432000 4194304 8979876 140735631851600 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 423853 415103 606 1169 0 422680 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1695412
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6148
/proc/meminfo: memFree=27752428/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=1800952 CPUtime=462.3 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 471855 0 0 0 46176 54 0 0 25 0 1 0 969539082 1844174848 441672 33554432000 4194304 8979876 140735631851600 18446744073709551615 6503525 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 450238 441672 606 1169 0 449065 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1800952
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6150
/proc/meminfo: memFree=27603220/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=1910128 CPUtime=522.3 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 498137 0 0 0 52173 57 0 0 25 0 1 0 969539082 1955971072 467954 33554432000 4194304 8979876 140735631851600 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 477532 467954 606 1169 0 476359 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1910128
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6160
/proc/meminfo: memFree=27346584/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=2021428 CPUtime=582.31 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 526120 0 0 0 58170 61 0 0 25 0 1 0 969539082 2069942272 495937 33554432000 4194304 8979876 140735631851600 18446744073709551615 4329922 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 505357 495937 606 1169 0 504184 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2021428
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 6168
/proc/meminfo: memFree=26651476/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=2453892 CPUtime=882.31 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 632965 0 0 0 88156 75 0 0 25 0 1 0 969539082 2512785408 602782 33554432000 4194304 8979876 140735631851600 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 613473 602782 611 1169 0 612300 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2453892
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6170
/proc/meminfo: memFree=26566620/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=2496476 CPUtime=942.31 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 643582 0 0 0 94155 76 0 0 25 0 1 0 969539082 2556391424 613399 33554432000 4194304 8979876 140735631851600 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 624119 613399 611 1169 0 622946 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2496476
[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 6172
/proc/meminfo: memFree=26462040/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=2559664 CPUtime=1002.32 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 658967 0 0 0 100153 79 0 0 25 0 1 0 969539082 2621095936 628784 33554432000 4194304 8979876 140735631851600 18446744073709551615 4875174 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 639916 628784 611 1169 0 638743 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2559664
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 6173
/proc/meminfo: memFree=26371480/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=2605696 CPUtime=1062.32 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 670605 0 0 0 106152 80 0 0 25 0 1 0 969539082 2668232704 640422 33554432000 4194304 8979876 140735631851600 18446744073709551615 5537828 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 651424 640422 611 1169 0 650251 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2605696
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6175
/proc/meminfo: memFree=26032668/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=2649056 CPUtime=1122.32 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 681298 0 0 0 112150 82 0 0 25 0 1 0 969539082 2712633344 651115 33554432000 4194304 8979876 140735631851600 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 662264 651115 611 1169 0 661091 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2649056
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6176
/proc/meminfo: memFree=25966660/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=2693496 CPUtime=1182.32 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 693081 0 0 0 118149 83 0 0 25 0 1 0 969539082 2758139904 662898 33554432000 4194304 8979876 140735631851600 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 673374 662898 611 1169 0 672201 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2693496
[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 6178
/proc/meminfo: memFree=25898800/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=2731764 CPUtime=1242.32 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 703325 0 0 0 124147 85 0 0 25 0 1 0 969539082 2797326336 673142 33554432000 4194304 8979876 140735631851600 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 682941 673142 611 1169 0 681768 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2731764
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 6180
/proc/meminfo: memFree=25560604/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=3093992 CPUtime=1302.33 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 784578 0 0 0 130134 99 0 0 25 0 1 0 969539082 3168247808 752166 33554432000 4194304 8979876 140735631851600 18446744073709551615 7146256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 773498 752166 873 1169 0 772325 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3093992
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6181
/proc/meminfo: memFree=25537400/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=3104708 CPUtime=1362.32 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 789468 0 0 0 136126 106 0 0 25 0 1 0 969539082 3179220992 756895 33554432000 4194304 8979876 140735631851600 18446744073709551615 7171063 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 776177 756895 823 1169 0 775004 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3104708
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6183
/proc/meminfo: memFree=25527692/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=3121768 CPUtime=1422.33 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 796152 0 0 0 142120 113 0 0 25 0 1 0 969539082 3196690432 763225 33554432000 4194304 8979876 140735631851600 18446744073709551615 7146976 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 780442 763225 1145 1169 0 779269 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3121768
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6184
/proc/meminfo: memFree=25519988/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=3128644 CPUtime=1482.33 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 797776 0 0 0 148114 119 0 0 25 0 1 0 969539082 3203731456 764392 33554432000 4194304 8979876 140735631851600 18446744073709551615 7146987 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 782161 764392 732 1169 0 780988 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3128644
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 6186
/proc/meminfo: memFree=25515876/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=3135228 CPUtime=1542.33 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 799266 0 0 0 154109 124 0 0 25 0 1 0 969539082 3210473472 765470 33554432000 4194304 8979876 140735631851600 18446744073709551615 7147101 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 783807 765470 724 1169 0 782634 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3135228
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 6188
/proc/meminfo: memFree=25515228/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=3135228 CPUtime=1602.33 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 799456 0 0 0 160105 128 0 0 25 0 1 0 969539082 3210473472 765660 33554432000 4194304 8979876 140735631851600 18446744073709551615 7118578 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 783807 765660 724 1169 0 782634 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3135228
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6228
/proc/meminfo: memFree=28202348/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=3135228 CPUtime=1662.33 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 799565 0 0 0 166103 130 0 0 25 0 1 0 969539082 3210473472 765769 33554432000 4194304 8979876 140735631851600 18446744073709551615 7122720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 783807 765769 724 1169 0 782634 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3135228
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6230
/proc/meminfo: memFree=27952748/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=3122376 CPUtime=1722.34 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 809587 0 0 0 172099 135 0 0 25 0 1 0 969539082 3197313024 761980 33554432000 4194304 8979876 140735631851600 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 780594 761980 1867 1169 0 779421 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3122376
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6231
/proc/meminfo: memFree=27793976/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=3122376 CPUtime=1782.34 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 813876 0 0 0 178094 140 0 0 25 0 1 0 969539082 3197313024 764890 33554432000 4194304 8979876 140735631851600 18446744073709551615 7155688 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 780594 764890 1661 1169 0 779421 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3122376
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6232
/proc/meminfo: memFree=27748932/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=3122376 CPUtime=1800.05 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4202496 813878 0 0 0 179864 141 0 0 25 0 1 0 969539082 3197313024 764892 33554432000 4194304 8979876 140735631851600 18446744073709551615 6817149 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6135/statm: 780594 764892 1661 1169 0 779421 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3122376
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.00 2.00 2.00 3/178 6232
/proc/meminfo: memFree=27748932/32951124 swapFree=67056304/67111528
[pid=6135] ppid=6133 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/6135/stat : 6135 (scip-2.0.1.4_2.) R 6133 6135 5057 0 -1 4203524 813878 0 0 0 179864 151 0 0 25 0 1 0 969539082 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6135/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.12
CPU time (s): 1800.17
CPU user time (s): 1798.64
CPU system time (s): 1.52677
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3135228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.64
system time used= 1.52677
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 813878
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= 6
involuntary context switches= 1955
runsolver used 2.80157 second user time and 6.96394 second system time
The end