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-3486359-1307794288.opb>
0.99/1.02 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192684 constraints
0.99/1.02 c problem read
0.99/1.03 c presolving settings loaded
1.59/1.66 c presolving:
7.70/7.77 c (round 1) 5730 del vars, 16736 del conss, 0 add conss, 4533 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12917346 impls, 0 clqs
10.09/10.16 c (round 2) 10386 del vars, 37331 del conss, 0 add conss, 8854 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12946857 impls, 0 clqs
11.00/11.04 c (round 3) 12335 del vars, 45927 del conss, 0 add conss, 10093 chg bounds, 74 chg sides, 70 chg coeffs, 0 upgd conss, 12963656 impls, 0 clqs
11.49/11.57 c (round 4) 13324 del vars, 50181 del conss, 0 add conss, 10831 chg bounds, 117 chg sides, 115 chg coeffs, 0 upgd conss, 12971676 impls, 0 clqs
11.79/11.85 c (round 5) 13976 del vars, 52914 del conss, 0 add conss, 11252 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12975288 impls, 0 clqs
12.00/12.01 c (round 6) 14283 del vars, 54297 del conss, 0 add conss, 11429 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12977821 impls, 0 clqs
12.10/12.10 c (round 7) 14415 del vars, 54937 del conss, 0 add conss, 11508 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12978687 impls, 0 clqs
12.10/12.19 c (round 8) 14505 del vars, 55335 del conss, 0 add conss, 11565 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12979387 impls, 0 clqs
12.19/12.26 c (round 9) 14575 del vars, 55644 del conss, 0 add conss, 11604 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12980347 impls, 0 clqs
12.29/12.31 c (round 10) 14605 del vars, 55792 del conss, 0 add conss, 11622 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12980585 impls, 0 clqs
12.29/12.36 c (round 11) 14619 del vars, 55856 del conss, 0 add conss, 11629 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12980793 impls, 0 clqs
12.39/12.41 c (round 12) 14633 del vars, 55923 del conss, 0 add conss, 11636 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12981095 impls, 0 clqs
12.39/12.45 c (round 13) 14645 del vars, 55976 del conss, 0 add conss, 11644 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12981129 impls, 0 clqs
12.89/12.97 c (round 14) 14645 del vars, 55986 del conss, 0 add conss, 11644 chg bounds, 125 chg sides, 126 chg coeffs, 136698 upgd conss, 12981129 impls, 0 clqs
13.39/13.48 c (round 15) 14645 del vars, 55995 del conss, 35 add conss, 11644 chg bounds, 223 chg sides, 386 chg coeffs, 136698 upgd conss, 12981129 impls, 0 clqs
656.91/656.94 c (656.9s) probing: 1000/40137 (2.5%) - 0 fixings, 0 aggregations, 12102310 implications, 0 bound changes
1130.73/1130.77 c (1130.8s) probing: 2000/40137 (5.0%) - 0 fixings, 0 aggregations, 19511761 implications, 0 bound changes
1131.63/1131.66 c (1131.7s) probing: 2001/40137 (5.0%) - 0 fixings, 0 aggregations, 19524971 implications, 0 bound changes
1131.63/1131.66 c (1131.7s) probing aborted: 2000/2000 successive useless probings
1131.63/1131.67 c presolving (16 rounds):
1131.63/1131.67 c 14645 deleted vars, 56003 deleted constraints, 35 added constraints, 11644 tightened bounds, 0 added holes, 223 changed sides, 403 changed coefficients
1131.63/1131.67 c 78743749 implications, 0 cliques
1131.63/1131.67 c presolved problem has 40137 variables (40137 bin, 0 int, 0 impl, 0 cont) and 136716 constraints
1131.63/1131.67 c 1099 constraints of type <knapsack>
1131.63/1131.67 c 115798 constraints of type <setppc>
1131.63/1131.67 c 19819 constraints of type <logicor>
1131.63/1131.67 c transformed objective value is always integral (scale: 1)
1131.63/1131.67 c Presolving Time: 1130.47
1131.63/1131.67 c - non default parameters ----------------------------------------------------------------------
1131.63/1131.67 c # SCIP version 2.0.1.4
1131.63/1131.67 c
1131.63/1131.67 c # frequency for displaying node information lines
1131.63/1131.67 c # [type: int, range: [-1,2147483647], default: 100]
1131.63/1131.67 c display/freq = 10000
1131.63/1131.67 c
1131.63/1131.67 c # maximal time in seconds to run
1131.63/1131.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1131.63/1131.67 c limits/time = 1797
1131.63/1131.67 c
1131.63/1131.67 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1131.63/1131.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1131.63/1131.67 c limits/memory = 13950
1131.63/1131.67 c
1131.63/1131.67 c # default clock type (1: CPU user seconds, 2: wall clock time)
1131.63/1131.67 c # [type: int, range: [1,2], default: 1]
1131.63/1131.67 c timing/clocktype = 2
1131.63/1131.67 c
1131.63/1131.67 c # belongs reading time to solving time?
1131.63/1131.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1131.63/1131.67 c timing/reading = TRUE
1131.63/1131.67 c
1131.63/1131.67 c # should presolving try to simplify inequalities
1131.63/1131.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1131.63/1131.67 c constraints/linear/simplifyinequalities = TRUE
1131.63/1131.67 c
1131.63/1131.67 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1131.63/1131.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1131.63/1131.67 c constraints/indicator/addCouplingCons = TRUE
1131.63/1131.67 c
1131.63/1131.67 c # should presolving try to simplify knapsacks
1131.63/1131.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1131.63/1131.67 c constraints/knapsack/simplifyinequalities = TRUE
1131.63/1131.67 c
1131.63/1131.67 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1131.63/1131.67 c # [type: int, range: [-1,2147483647], default: -1]
1131.63/1131.67 c separating/rapidlearning/freq = 0
1131.63/1131.67 c
1131.63/1131.67 c -----------------------------------------------------------------------------------------------
1131.63/1131.67 c start solving
1131.63/1131.69 c
1134.52/1134.59 o 300
1134.52/1134.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1134.52/1134.59 c T1135s| 1 | 0 | 0 | - |2297M| 0 | - | 40k| 136k| 40k| 136k| 0 | 0 | 0 | -- | 3.000000e+02 | Inf
1238.54/1238.60 c 1239s| 1 | 0 | 34754 | - |2293M| 0 | 205 | 40k| 136k| 40k| 136k| 0 | 0 | 0 | 9.200000e+01 | 3.000000e+02 | 226.09%
1241.43/1241.40 c 1241s| 1 | 0 | 34754 | - |2289M| 0 | 205 | 40k| 136k| 40k| 136k| 0 | 0 | 0 | 9.200000e+01 | 3.000000e+02 | 226.09%
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-3486359-1307794288/watcher-3486359-1307794288 -o /tmp/evaluation-result-3486359-1307794288/solver-3486359-1307794288 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486359-1307794288.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.04 2.01 2.00 3/174 8142
/proc/meminfo: memFree=27268300/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=10020 CPUtime=0 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 1519 0 0 0 0 0 0 0 25 0 1 0 969659331 10260480 1473 33554432000 4194304 8979876 140735966181312 18446744073709551615 4329888 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8142/statm: 2505 1473 366 1169 0 1332 0
[startup+0.098009 s]
/proc/loadavg: 2.04 2.01 2.00 3/174 8142
/proc/meminfo: memFree=27268300/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=27544 CPUtime=0.08 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 5902 0 0 0 8 0 0 0 25 0 1 0 969659331 28205056 5856 33554432000 4194304 8979876 140735966181312 18446744073709551615 7816936 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8142/statm: 6886 5857 366 1169 0 5713 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27544
[startup+0.101003 s]
/proc/loadavg: 2.04 2.01 2.00 3/174 8142
/proc/meminfo: memFree=27268300/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=27544 CPUtime=0.09 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 5904 0 0 0 9 0 0 0 25 0 1 0 969659331 28205056 5858 33554432000 4194304 8979876 140735966181312 18446744073709551615 4327572 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8142/statm: 6886 5858 366 1169 0 5713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27544
[startup+0.300958 s]
/proc/loadavg: 2.04 2.01 2.00 3/174 8142
/proc/meminfo: memFree=27268300/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=46328 CPUtime=0.29 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 10578 0 0 0 28 1 0 0 25 0 1 0 969659331 47439872 10532 33554432000 4194304 8979876 140735966181312 18446744073709551615 7836048 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8142/statm: 11582 10532 366 1169 0 10409 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46328
[startup+0.700885 s]
/proc/loadavg: 2.04 2.01 2.00 3/174 8142
/proc/meminfo: memFree=27268300/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=76428 CPUtime=0.69 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 18079 0 0 0 67 2 0 0 25 0 1 0 969659331 78262272 18033 33554432000 4194304 8979876 140735966181312 18446744073709551615 7836068 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8142/statm: 19107 18033 366 1169 0 17934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76428
[startup+1.50075 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 8143
/proc/meminfo: memFree=27167604/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=312668 CPUtime=1.49 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 76485 0 0 0 141 8 0 0 25 0 1 0 969659331 320172032 76359 33554432000 4194304 8979876 140735966181312 18446744073709551615 5435320 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 78167 76359 449 1169 0 76994 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 312668
[startup+3.10044 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 8143
/proc/meminfo: memFree=26916268/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=447224 CPUtime=3.09 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 118324 0 0 0 296 13 0 0 25 0 1 0 969659331 457957376 109916 33554432000 4194304 8979876 140735966181312 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 111806 109916 494 1169 0 110633 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 447224
[startup+6.30084 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 8143
/proc/meminfo: memFree=26680416/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=650440 CPUtime=6.29 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 167081 0 0 0 611 18 0 0 25 0 1 0 969659331 666050560 158673 33554432000 4194304 8979876 140735966181312 18446744073709551615 4916756 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 162610 158673 494 1169 0 161437 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 650440
[startup+12.7007 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 8144
/proc/meminfo: memFree=26587904/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=717640 CPUtime=12.69 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 188330 0 0 0 1249 20 0 0 25 0 1 0 969659331 734863360 174971 33554432000 4194304 8979876 140735966181312 18446744073709551615 4352096 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 179410 174971 514 1169 0 178237 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 717640
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 8144
/proc/meminfo: memFree=26497884/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=785088 CPUtime=25.49 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 213126 0 0 0 2527 22 0 0 25 0 1 0 969659331 803930112 191526 33554432000 4194304 8979876 140735966181312 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 196272 191526 548 1169 0 195099 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 785088
[startup+51.1005 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 8145
/proc/meminfo: memFree=26451340/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=828620 CPUtime=51.1 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 223709 0 0 0 5086 24 0 0 25 0 1 0 969659331 848506880 202109 33554432000 4194304 8979876 140735966181312 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 207155 202109 548 1169 0 205982 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 828620
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8146
/proc/meminfo: memFree=26312548/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=947236 CPUtime=102.3 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 253196 0 0 0 10203 27 0 0 25 0 1 0 969659331 969969664 231596 33554432000 4194304 8979876 140735966181312 18446744073709551615 6503319 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 236809 231596 548 1169 0 235636 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 947236
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8148
/proc/meminfo: memFree=26176056/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=1071968 CPUtime=162.3 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 283627 0 0 0 16199 31 0 0 25 0 1 0 969659331 1097695232 261730 33554432000 4194304 8979876 140735966181312 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 267992 261730 548 1169 0 266819 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1071968
[startup+222.301 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 8188
/proc/meminfo: memFree=29503388/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=1305268 CPUtime=222.29 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 341660 0 0 0 22193 36 0 0 25 0 1 0 969659331 1336594432 319598 33554432000 4194304 8979876 140735966181312 18446744073709551615 6503525 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 326317 319598 548 1169 0 325144 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1305268
[startup+282.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/175 8190
/proc/meminfo: memFree=28629084/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=1427436 CPUtime=282.3 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 372280 0 0 0 28190 40 0 0 25 0 1 0 969659331 1461694464 350218 33554432000 4194304 8979876 140735966181312 18446744073709551615 6503502 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 356859 350218 548 1169 0 355686 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1427436
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 8191
/proc/meminfo: memFree=28308640/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=1608252 CPUtime=342.3 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 416802 0 0 0 34185 45 0 0 25 0 1 0 969659331 1646850048 394740 33554432000 4194304 8979876 140735966181312 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 402063 394740 548 1169 0 400890 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1608252
[startup+402.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/175 8193
/proc/meminfo: memFree=28028616/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=1767800 CPUtime=402.3 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 456788 0 0 0 40180 50 0 0 25 0 1 0 969659331 1810227200 434726 33554432000 4194304 8979876 140735966181312 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 441950 434726 548 1169 0 440777 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1767800
[startup+462.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 8195
/proc/meminfo: memFree=27608604/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=2045828 CPUtime=462.31 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 524887 0 0 0 46174 57 0 0 25 0 1 0 969659331 2094927872 502825 33554432000 4194304 8979876 140735966181312 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 511457 502825 548 1169 0 510284 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2045828
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8196
/proc/meminfo: memFree=27350032/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=2148564 CPUtime=522.31 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 550469 0 0 0 52169 62 0 0 25 0 1 0 969659331 2200129536 528407 33554432000 4194304 8979876 140735966181312 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 537141 528407 548 1169 0 535968 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2148564
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8198
/proc/meminfo: memFree=27059716/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=2304872 CPUtime=582.31 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 589360 0 0 0 58164 67 0 0 25 0 1 0 969659331 2360188928 567298 33554432000 4194304 8979876 140735966181312 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 576218 567298 548 1169 0 575045 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2304872
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 8206
/proc/meminfo: memFree=26029580/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=2734000 CPUtime=882.32 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 696264 0 0 0 88149 83 0 0 25 0 1 0 969659331 2799616000 674202 33554432000 4194304 8979876 140735966181312 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 683500 674202 553 1169 0 682327 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 2734000
[startup+942.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/175 8207
/proc/meminfo: memFree=25891408/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=2800376 CPUtime=942.32 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 712191 0 0 0 94147 85 0 0 25 0 1 0 969659331 2867585024 690129 33554432000 4194304 8979876 140735966181312 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 700094 690129 553 1169 0 698921 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2800376
[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 8209
/proc/meminfo: memFree=25755104/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=2867580 CPUtime=1002.32 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 729243 0 0 0 100145 87 0 0 25 0 1 0 969659331 2936401920 707181 33554432000 4194304 8979876 140735966181312 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 716895 707181 553 1169 0 715722 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2867580
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 8211
/proc/meminfo: memFree=25633548/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=2941780 CPUtime=1062.33 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 747697 0 0 0 106143 90 0 0 25 0 1 0 969659331 3012382720 725635 33554432000 4194304 8979876 140735966181312 18446744073709551615 6503488 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 735445 725635 553 1169 0 734272 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2941780
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 8212
/proc/meminfo: memFree=25519444/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=2998928 CPUtime=1122.32 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 762680 0 0 0 112141 91 0 0 25 0 1 0 969659331 3070902272 740618 33554432000 4194304 8979876 140735966181312 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 749732 740618 553 1169 0 748559 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2998928
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8214
/proc/meminfo: memFree=25212868/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=3277360 CPUtime=1182.33 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 830539 0 0 0 118124 109 0 0 25 0 1 0 969659331 3356016640 804177 33554432000 4194304 8979876 140735966181312 18446744073709551615 7147427 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 819340 804177 919 1169 0 818167 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3277360
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8215
/proc/meminfo: memFree=25130864/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=3292644 CPUtime=1242.33 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 835942 0 0 0 124117 116 0 0 25 0 1 0 969659331 3371667456 809098 33554432000 4194304 8979876 140735966181312 18446744073709551615 4298659 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 823161 809098 731 1169 0 821988 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3292644
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8217
/proc/meminfo: memFree=25081096/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=3292644 CPUtime=1302.34 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 836178 0 0 0 130118 116 0 0 25 0 1 0 969659331 3371667456 809318 33554432000 4194304 8979876 140735966181312 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 823161 809318 844 1169 0 821988 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3292644
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8219
/proc/meminfo: memFree=25021168/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=3292644 CPUtime=1362.33 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 836178 0 0 0 136117 116 0 0 25 0 1 0 969659331 3371667456 809318 33554432000 4194304 8979876 140735966181312 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 823161 809318 844 1169 0 821988 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3292644
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8220
/proc/meminfo: memFree=24969556/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=3292644 CPUtime=1422.34 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 836178 0 0 0 142118 116 0 0 25 0 1 0 969659331 3371667456 809318 33554432000 4194304 8979876 140735966181312 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 823161 809318 844 1169 0 821988 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3292644
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8222
/proc/meminfo: memFree=24916324/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=3292644 CPUtime=1482.34 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 836178 0 0 0 148118 116 0 0 25 0 1 0 969659331 3371667456 809318 33554432000 4194304 8979876 140735966181312 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 823161 809318 844 1169 0 821988 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3292644
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8223
/proc/meminfo: memFree=24871168/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=3292644 CPUtime=1542.34 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 836178 0 0 0 154118 116 0 0 25 0 1 0 969659331 3371667456 809318 33554432000 4194304 8979876 140735966181312 18446744073709551615 6254368 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 823161 809318 844 1169 0 821988 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3292644
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8225
/proc/meminfo: memFree=24816068/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=3292644 CPUtime=1602.34 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 836178 0 0 0 160118 116 0 0 25 0 1 0 969659331 3371667456 809318 33554432000 4194304 8979876 140735966181312 18446744073709551615 6254466 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 823161 809318 844 1169 0 821988 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3292644
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8230
/proc/meminfo: memFree=24759360/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=3292644 CPUtime=1662.34 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 836178 0 0 0 166118 116 0 0 25 0 1 0 969659331 3371667456 809318 33554432000 4194304 8979876 140735966181312 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 823161 809318 844 1169 0 821988 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3292644
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8231
/proc/meminfo: memFree=24712832/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=3292644 CPUtime=1722.35 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 836178 0 0 0 172119 116 0 0 25 0 1 0 969659331 3371667456 809318 33554432000 4194304 8979876 140735966181312 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 823161 809318 844 1169 0 821988 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3292644
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8233
/proc/meminfo: memFree=24668648/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=3292644 CPUtime=1782.35 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 836178 0 0 0 178119 116 0 0 25 0 1 0 969659331 3371667456 809318 33554432000 4194304 8979876 140735966181312 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 823161 809318 844 1169 0 821988 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 3292644
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8233
/proc/meminfo: memFree=24644704/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=3292644 CPUtime=1800.05 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4202496 838310 0 0 0 179889 116 0 0 25 0 1 0 969659331 3371667456 811450 33554432000 4194304 8979876 140735966181312 18446744073709551615 6255420 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8142/statm: 823161 811450 844 1169 0 821988 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3292644
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/175 8233
/proc/meminfo: memFree=24644704/32951124 swapFree=67062556/67111528
[pid=8142] ppid=8140 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/8142/stat : 8142 (scip-2.0.1.4_2.) R 8140 8142 5721 0 -1 4203524 838310 0 0 0 179889 126 0 0 25 0 1 0 969659331 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8142/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.13
CPU time (s): 1800.19
CPU user time (s): 1798.9
CPU system time (s): 1.2878
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3292644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.2878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 838310
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= 3640
runsolver used 2.5996 second user time and 6.10407 second system time
The end