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-3450716-1307109434.opb>
0.00/0.02 c original problem has 2924 variables (2924 bin, 0 int, 0 impl, 0 cont) and 3525 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 o 0
0.00/0.03 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.03 c presolving:
0.05/0.07 c (round 1) 0 del vars, 2924 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 20592 impls, 399 clqs
0.05/0.08 c (round 2) 2524 del vars, 2924 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 20592 impls, 0 clqs
0.05/0.09 c (0.1s) probing: 101/400 (25.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.05/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.05/0.09 c presolving (3 rounds):
0.05/0.09 c 2524 deleted vars, 2924 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.05/0.09 c 20592 implications, 0 cliques
0.05/0.09 c presolved problem has 400 variables (400 bin, 0 int, 0 impl, 0 cont) and 601 constraints
0.05/0.09 c 400 constraints of type <knapsack>
0.05/0.09 c 200 constraints of type <setppc>
0.05/0.09 c 1 constraints of type <linear>
0.05/0.09 c transformed objective value is always integral (scale: 1)
0.05/0.09 c Presolving Time: 0.06
0.05/0.09 c - non default parameters ----------------------------------------------------------------------
0.05/0.09 c # SCIP version 2.0.1.5
0.05/0.09 c
0.05/0.09 c # frequency for displaying node information lines
0.05/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.05/0.09 c display/freq = 10000
0.05/0.09 c
0.05/0.09 c # maximal time in seconds to run
0.05/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.09 c limits/time = 1800
0.05/0.09 c
0.05/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.05/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.09 c limits/memory = 13950
0.05/0.09 c
0.05/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.05/0.09 c # [type: int, range: [1,2], default: 1]
0.05/0.09 c timing/clocktype = 2
0.05/0.09 c
0.05/0.09 c # belongs reading time to solving time?
0.05/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.09 c timing/reading = TRUE
0.05/0.09 c
0.05/0.09 c # should presolving try to simplify inequalities
0.05/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.09 c constraints/linear/simplifyinequalities = TRUE
0.05/0.09 c
0.05/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.05/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.09 c constraints/indicator/addCouplingCons = TRUE
0.05/0.09 c
0.05/0.09 c # should presolving try to simplify knapsacks
0.05/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.05/0.09 c
0.05/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.05/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.09 c separating/rapidlearning/freq = 0
0.05/0.09 c
0.05/0.09 c -----------------------------------------------------------------------------------------------
0.05/0.09 c start solving
0.05/0.09 c
0.49/0.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.56 c t 0.6s| 1 | 0 | 3500 | - |8186k| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.49/0.56 o -1
0.49/0.56 c R 0.6s| 1 | 0 | 3500 | - |8217k| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
12.59/12.63 c 12.6s| 1 | 2 | 10319 | - |8256k| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 21 |-1.000000e+02 |-1.000000e+00 | 99.00%
28.29/28.30 o -2
28.29/28.30 c R28.3s| 13 | 12 | 10975 | 622.9 |8289k| 12 | 388 | 400 | 601 | 400 | 601 | 0 | 0 | 172 |-9.802535e+01 |-2.000000e+00 | 97.96%
35.28/35.39 o -49
35.28/35.39 c c35.4s| 17 | 18 | 13086 | 599.1 |8546k| 16 | - | 400 | 601 | 400 | 601 | 0 | 0 | 246 |-9.802535e+01 |-4.900000e+01 | 50.01%
46.69/46.74 o -50
46.69/46.74 c p46.7s| 29 | 30 | 15448 | 426.7 |8522k| 16 | - | 400 | 601 | 400 | 601 | 0 | 0 | 434 |-9.802535e+01 |-5.000000e+01 | 48.99%
57.89/57.97 o -57
57.89/57.97 c f58.0s| 41 | 42 | 17562 | 351.6 |8636k| 16 | - | 400 | 601 | 400 | 601 | 0 | 0 | 617 |-9.802535e+01 |-5.700000e+01 | 41.85%
96.59/96.63 o -58
96.59/96.63 c l96.6s| 89 | 90 | 40457 | 420.0 |8791k| 18 | - | 400 | 613 | 400 | 601 | 0 | 12 |1251 |-9.802535e+01 |-5.800000e+01 | 40.83%
296.29/296.30 c 296s| 10000 | 4747 |684862 | 68.1 | 14M| 125 | 284 | 400 | 660 | 400 | 601 | 0 | 60 |1314 |-9.516806e+01 |-5.800000e+01 | 39.06%
543.60/543.60 c 544s| 20000 | 14747 | 1698k| 84.8 | 23M| 125 | 245 | 400 | 722 | 400 | 601 | 0 | 122 |1570 |-9.459502e+01 |-5.800000e+01 | 38.69%
783.12/783.19 c 783s| 30000 | 24747 | 2685k| 89.4 | 31M| 125 | 207 | 400 | 747 | 400 | 601 | 0 | 163 |2007 |-9.418148e+01 |-5.800000e+01 | 38.42%
1016.10/1016.13 c 1016s| 40000 | 34747 | 3683k| 92.0 | 39M| 125 | 302 | 400 | 729 | 400 | 601 | 0 | 205 |2377 |-9.388291e+01 |-5.800000e+01 | 38.22%
1240.91/1240.90 c 1241s| 50000 | 44747 | 4671k| 93.4 | 48M| 125 | 272 | 400 | 732 | 400 | 601 | 0 | 257 |2640 |-9.368928e+01 |-5.800000e+01 | 38.09%
1461.21/1461.26 c 1461s| 60000 | 54747 | 5644k| 94.0 | 56M| 125 | 266 | 400 | 734 | 400 | 601 | 0 | 300 |2865 |-9.346402e+01 |-5.800000e+01 | 37.94%
1679.52/1679.53 c 1680s| 70000 | 64747 | 6616k| 94.5 | 65M| 125 | 216 | 400 | 738 | 400 | 601 | 0 | 350 |3097 |-9.328113e+01 |-5.800000e+01 | 37.82%
1800.02/1800.01 c
1800.02/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.02/1800.01 c Solving Time (sec) : 1800.01
1800.02/1800.01 c Solving Nodes : 75699
1800.02/1800.01 c Primal Bound : -5.80000000000000e+01 (473 solutions)
1800.02/1800.01 c Dual Bound : -9.31854748152496e+01
1800.02/1800.01 c Gap : 37.76 %
1800.04/1800.02 s SATISFIABLE
1800.04/1800.02 v -x337 -x254 -x326 -x298 x375 x353 x329 x311 -x351 -x391 -x235 -x400 -x393 -x398 -x312 x293 x336 -x331 -x259 x304 -x366 x349 x276
1800.04/1800.02 v -x341 x281 -x396 -x359 -x228 -x399 -x346 -x255 -x244 -x322 -x358 x270 x219 -x314 -x266 -x347 x371 -x279 -x372 -x260 -x382 -x333
1800.04/1800.02 v -x216 -x277 -x243 -x269 x324 -x320 -x267 -x237 -x352 -x387 -x310 -x335 x214 -x261 x356 -x263 -x274 -x385 -x381 x265 x316
1800.04/1800.02 v -x213 -x253 x278 -x227 x357 -x290 x289 -x288 -x285 x251 -x313 -x379 -x294 -x210 -x272 -x241 -x378 -x249 -x209 x389 -x286 -x250
1800.04/1800.02 v -x234 x224 x264 x306 -x361 -x268 x388 x334 -x383 x380 -x330 x271 -x247 -x301 -x239 -x291 -x362 -x354 -x258 -x256 -x230 -x211
1800.04/1800.02 v -x308 x340 x392 -x232 -x394 x206 -x397 x363 x309 -x297 -x282 -x238 -x218 -x207 x296 x287 -x222 x368 -x348 x390 x370 -x292
1800.04/1800.02 v -x246 x217 -x248 -x344 x273 -x299 -x343 x332 -x245 -x376 x377 x373 -x307 x295 -x240 x236 -x262 -x223 -x325 -x395 -x220 x300 -x203
1800.04/1800.02 v -x367 -x257 -x233 -x208 -x305 -x221 -x321 -x283 -x323 -x319 -x374 -x369 -x202 -x360 x339 -x280 -x252 -x231 -x225 x212 -x205
1800.04/1800.02 v -x318 -x350 -x342 -x303 -x215 -x204 x365 x315 x355 -x201 -x384 -x328 x317 -x242 -x345 -x386 x229 -x226 x338 x364 -x327 -x275
1800.04/1800.02 v -x284 x302 -x200 x199 x198 -x197 -x196 x195 x194 x193 -x192 x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 x183 -x182 x181
1800.04/1800.02 v -x180 x179 -x178 -x177 x176 -x175 x174 -x173 -x172 -x171 -x170 x169 -x168 x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 x159
1800.04/1800.02 v x158 -x157 -x156 -x155 x154 -x153 x152 x151 x150 -x149 -x148 -x147 x146 x145 -x144 -x143 x142 x141 -x140 -x139 -x138 x137 -x136
1800.04/1800.02 v -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 x127 -x126 -x125 -x124 x123 -x122 x121 -x120 -x119 x118 -x117 -x116 -x115
1800.04/1800.02 v -x114 x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 x99 -x98 -x97 -x96 -x95 x94 -x93 x92 x91
1800.04/1800.02 v -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 x74 -x73 x72 -x71 -x70 -x69 -x68 x67 -x66 -x65
1800.04/1800.02 v -x64 -x63 -x62 -x61 -x60 x59 -x58 x57 -x56 -x55 x54 -x53 x52 -x51 x50 x49 x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39
1800.04/1800.02 v -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 x20 -x19 -x18 -x17 -x16 x15 -x14 -x13
1800.04/1800.02 v -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1
1800.04/1800.02 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.02 c Total Time : 1800.01
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-3450716-1307109434/watcher-3450716-1307109434 -o /tmp/evaluation-result-3450716-1307109434/solver-3450716-1307109434 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450716-1307109434.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.85 1.99 1.99 3/495 11694
/proc/meminfo: memFree=29093736/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=16692 CPUtime=0.01 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 3172 0 0 0 1 0 0 0 20 0 1 0 822543053 17092608 3126 33554432000 4194304 9163163 140735453258656 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11694/statm: 4173 3126 410 1214 0 2955 0
[startup+0.0566011 s]
/proc/loadavg: 1.85 1.99 1.99 3/495 11694
/proc/meminfo: memFree=29093736/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=27684 CPUtime=0.05 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 5957 0 0 0 5 0 0 0 20 0 1 0 822543053 28348416 5653 33554432000 4194304 9163163 140735453258656 18446744073709551615 18446744073699065955 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 6921 5653 509 1214 0 5703 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27684
[startup+0.100573 s]
/proc/loadavg: 1.85 1.99 1.99 3/495 11694
/proc/meminfo: memFree=29093736/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=30288 CPUtime=0.09 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 6744 0 0 0 9 0 0 0 20 0 1 0 822543053 31014912 6440 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 7572 6440 655 1214 0 6354 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30288
[startup+0.300557 s]
/proc/loadavg: 1.85 1.99 1.99 3/495 11694
/proc/meminfo: memFree=29093736/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=31652 CPUtime=0.29 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 7095 0 0 0 29 0 0 0 21 0 1 0 822543053 32411648 6791 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 7913 6791 660 1214 0 6695 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31652
[startup+0.700482 s]
/proc/loadavg: 1.85 1.99 1.99 3/495 11694
/proc/meminfo: memFree=29093736/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=42404 CPUtime=0.69 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 10283 0 0 0 68 1 0 0 22 0 1 0 822543053 43421696 9499 33554432000 4194304 9163163 140735453258656 18446744073709551615 6919008 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 10601 9507 704 1214 0 9383 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42404
[startup+1.50035 s]
/proc/loadavg: 1.85 1.99 1.99 3/499 11700
/proc/meminfo: memFree=29036868/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=34000 CPUtime=1.49 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 13357 0 0 0 147 2 0 0 25 0 1 0 822543053 34816000 7474 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 8500 7474 736 1214 0 7282 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34000
[startup+3.10108 s]
/proc/loadavg: 1.86 1.99 1.99 3/499 11700
/proc/meminfo: memFree=29033396/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=35564 CPUtime=3.09 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 13738 0 0 0 306 3 0 0 25 0 1 0 822543053 36417536 7855 33554432000 4194304 9163163 140735453258656 18446744073709551615 7346183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 8891 7855 736 1214 0 7673 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35564
[startup+6.30054 s]
/proc/loadavg: 1.86 1.99 1.99 4/499 11700
/proc/meminfo: memFree=29032264/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=35564 CPUtime=6.29 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 13738 0 0 0 622 7 0 0 25 0 1 0 822543053 36417536 7855 33554432000 4194304 9163163 140735453258656 18446744073709551615 7346217 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 8891 7855 736 1214 0 7673 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35564
[startup+12.7005 s]
/proc/loadavg: 2.03 2.02 2.00 4/499 11700
/proc/meminfo: memFree=29031580/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=35624 CPUtime=12.69 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 15033 0 0 0 1255 14 0 0 25 0 1 0 822543053 36478976 7912 33554432000 4194304 9163163 140735453258656 18446744073709551615 6974878 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 8906 7912 736 1214 0 7688 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35624
[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 2.00 3/499 11700
/proc/meminfo: memFree=29031680/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=35396 CPUtime=25.49 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 16847 0 0 0 2531 18 0 0 25 0 1 0 822543053 36245504 7856 33554432000 4194304 9163163 140735453258656 18446744073709551615 7390839 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 8849 7856 736 1214 0 7631 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35396
[startup+51.101 s]
/proc/loadavg: 2.01 2.02 2.00 4/499 11700
/proc/meminfo: memFree=29028924/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=35396 CPUtime=51.09 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 16847 0 0 0 5084 25 0 0 25 0 1 0 822543053 36245504 7856 33554432000 4194304 9163163 140735453258656 18446744073709551615 7390650 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 8849 7856 736 1214 0 7631 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 35396
[startup+102.319 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 11702
/proc/meminfo: memFree=29027412/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=35740 CPUtime=102.31 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 17584 0 0 0 10194 37 0 0 25 0 1 0 822543053 36597760 7941 33554432000 4194304 9163163 140735453258656 18446744073709551615 7390377 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 8935 7941 738 1214 0 7717 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 35740
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/499 11704
/proc/meminfo: memFree=29015988/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=37836 CPUtime=162.29 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 20998 0 0 0 16171 58 0 0 25 0 1 0 822543053 38744064 8437 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 9459 8437 738 1214 0 8241 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 37836
[startup+222.301 s]
/proc/loadavg: 2.07 2.04 2.00 4/499 11704
/proc/meminfo: memFree=28993280/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=52256 CPUtime=222.29 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 27954 0 0 0 22145 84 0 0 25 0 1 0 822543053 53510144 11718 33554432000 4194304 9163163 140735453258656 18446744073709551615 7238123 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 13064 11718 740 1214 0 11846 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 52256
[startup+282.301 s]
/proc/loadavg: 2.03 2.03 2.00 4/499 11715
/proc/meminfo: memFree=28986984/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=52256 CPUtime=282.29 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 28040 0 0 0 28110 119 0 0 25 0 1 0 822543053 53510144 11804 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 13064 11804 740 1214 0 11846 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 52256
[startup+342.301 s]
/proc/loadavg: 2.01 2.02 2.00 4/499 11717
/proc/meminfo: memFree=28979644/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=52256 CPUtime=342.3 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 28048 0 0 0 34079 151 0 0 25 0 1 0 822543053 53510144 11812 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 13064 11812 740 1214 0 11846 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 52256
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/499 11719
/proc/meminfo: memFree=28970196/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=54320 CPUtime=402.29 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 28824 0 0 0 40048 181 0 0 25 0 1 0 822543053 55623680 12588 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 13580 12588 740 1214 0 12362 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 54320
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/499 11721
/proc/meminfo: memFree=28961508/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=54320 CPUtime=462.29 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 28835 0 0 0 46017 212 0 0 25 0 1 0 822543053 55623680 12599 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 13580 12599 740 1214 0 12362 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 54320
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 5/500 11724
/proc/meminfo: memFree=28924404/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=54320 CPUtime=522.3 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 28844 0 0 0 51988 242 0 0 25 0 1 0 822543053 55623680 12608 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 13580 12608 740 1214 0 12362 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 54320
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/499 11726
/proc/meminfo: memFree=28939592/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=57172 CPUtime=582.29 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 29566 0 0 0 57955 274 0 0 25 0 1 0 822543053 58544128 13330 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 14293 13330 740 1214 0 13075 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 57172
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.12 2.06 2.02 4/499 11732
/proc/meminfo: memFree=28894912/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=65608 CPUtime=822.3 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 33261 0 0 0 81824 406 0 0 25 0 1 0 822543053 67182592 15461 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 16402 15461 740 1214 0 15184 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 65608
[startup+882.301 s]
/proc/loadavg: 2.04 2.05 2.01 4/499 11734
/proc/meminfo: memFree=28879760/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=68360 CPUtime=882.31 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 33970 0 0 0 87791 440 0 0 25 0 1 0 822543053 70000640 16170 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 17090 16170 740 1214 0 15872 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 68360
[startup+942.301 s]
/proc/loadavg: 2.01 2.04 2.01 4/499 11736
/proc/meminfo: memFree=28872056/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=70388 CPUtime=942.3 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 34515 0 0 0 93755 475 0 0 25 0 1 0 822543053 72077312 16715 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 17597 16715 740 1214 0 16379 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 70388
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/499 11738
/proc/meminfo: memFree=28860756/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=74176 CPUtime=1002.3 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 35444 0 0 0 99726 504 0 0 25 0 1 0 822543053 75956224 17644 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 18544 17644 740 1214 0 17326 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 74176
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/499 11740
/proc/meminfo: memFree=28850932/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=74620 CPUtime=1062.31 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 35564 0 0 0 105694 537 0 0 25 0 1 0 822543053 76410880 17764 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 18655 17764 740 1214 0 17437 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 74620
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 11740
/proc/meminfo: memFree=28837912/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=75636 CPUtime=1122.31 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 35795 0 0 0 111661 570 0 0 25 0 1 0 822543053 77451264 17995 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 18909 17995 740 1214 0 17691 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 75636
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 11742
/proc/meminfo: memFree=28827240/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=78636 CPUtime=1182.31 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 36598 0 0 0 117631 600 0 0 25 0 1 0 822543053 80523264 18798 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 19659 18798 740 1214 0 18441 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 78636
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 11744
/proc/meminfo: memFree=28812836/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=79668 CPUtime=1242.31 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 36854 0 0 0 123598 633 0 0 25 0 1 0 822543053 81580032 19054 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 19917 19054 740 1214 0 18699 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 79668
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/499 11746
/proc/meminfo: memFree=28803404/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=83624 CPUtime=1302.32 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 39278 0 0 0 129565 667 0 0 25 0 1 0 822543053 85630976 20030 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 20906 20030 740 1214 0 19688 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 83624
[startup+1362.3 s]
/proc/loadavg: 2.10 2.03 2.01 4/499 11748
/proc/meminfo: memFree=28789008/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=84760 CPUtime=1362.31 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 39641 0 0 0 135531 700 0 0 25 0 1 0 822543053 86794240 20393 33554432000 4194304 9163163 140735453258656 18446744073709551615 7390175 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 21190 20393 740 1214 0 19972 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 84760
[startup+1422.32 s]
/proc/loadavg: 2.13 2.05 2.01 4/499 11748
/proc/meminfo: memFree=28776096/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=87084 CPUtime=1422.33 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 40179 0 0 0 141497 736 0 0 25 0 1 0 822543053 89174016 20931 33554432000 4194304 9163163 140735453258656 18446744073709551615 7391824 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 21771 20931 740 1214 0 20553 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 87084
[startup+1482.3 s]
/proc/loadavg: 2.05 2.04 2.01 4/499 11750
/proc/meminfo: memFree=28760576/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=91664 CPUtime=1482.31 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 41349 0 0 0 147462 769 0 0 25 0 1 0 822543053 93863936 22101 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 22916 22101 740 1214 0 21698 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 91664
[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 4/499 11752
/proc/meminfo: memFree=28750512/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=94244 CPUtime=1542.31 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 41990 0 0 0 153431 800 0 0 25 0 1 0 822543053 96505856 22742 33554432000 4194304 9163163 140735453258656 18446744073709551615 7376060 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 23561 22742 740 1214 0 22343 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 94244
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/499 11754
/proc/meminfo: memFree=28737716/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=96932 CPUtime=1602.31 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 42672 0 0 0 159398 833 0 0 25 0 1 0 822543053 99258368 23424 33554432000 4194304 9163163 140735453258656 18446744073709551615 7390316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 24233 23424 740 1214 0 23015 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 96932
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 11756
/proc/meminfo: memFree=28726792/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=99568 CPUtime=1662.31 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 43363 0 0 0 165365 866 0 0 25 0 1 0 822543053 101957632 24115 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 24892 24115 740 1214 0 23674 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 99568
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 11756
/proc/meminfo: memFree=28716484/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=102636 CPUtime=1722.31 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 43628 0 0 0 171334 897 0 0 25 0 1 0 822543053 105099264 24380 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 25659 24380 740 1214 0 24441 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 102636
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 11758
/proc/meminfo: memFree=28698000/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=105920 CPUtime=1782.32 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 44453 0 0 0 177300 932 0 0 25 0 1 0 822543053 108462080 25205 33554432000 4194304 9163163 140735453258656 18446744073709551615 4816959 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 26480 25205 740 1214 0 25262 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 105920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 4/499 11758
/proc/meminfo: memFree=28696872/32951132 swapFree=57925096/67111528
[pid=11694] ppid=11691 vsize=105920 CPUtime=1800.04 cores=0,2,4,6
/proc/11694/stat : 11694 (scip-2.0.1.4b.l) R 11691 11694 10513 0 -1 4202496 44456 0 0 0 179062 942 0 0 25 0 1 0 822543053 108462080 25208 33554432000 4194304 9163163 140735453258656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11694/statm: 26480 25208 740 1214 0 25262 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 105920
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.05
CPU user time (s): 1790.63
CPU system time (s): 9.42457
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 105920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.63
system time used= 9.42457
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44458
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2759
runsolver used 9.53455 second user time and 21.1218 second system time
The end