0.00/0.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3737362-1338726730.opb>
0.28/0.38 c original problem has 77294 variables (77294 bin, 0 int, 0 impl, 0 cont) and 80295 constraints
0.28/0.38 c problem read
0.28/0.38 c presolving settings loaded
0.78/0.86 o 0
0.78/0.86 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.78/0.86 c presolving:
2.59/2.60 c (round 1) 0 del vars, 79294 del conss, 2000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1000 upgd conss, 598560 impls, 1999 clqs
2.79/2.84 c (round 2) 75294 del vars, 79294 del conss, 2000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3000 upgd conss, 598560 impls, 0 clqs
3.19/3.23 c (3.2s) probing: 101/2000 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.19/3.23 c (3.2s) probing aborted: 100/100 successive totally useless probings
3.19/3.23 c presolving (3 rounds):
3.19/3.23 c 75294 deleted vars, 79294 deleted constraints, 2000 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.19/3.23 c 598560 implications, 0 cliques
3.19/3.23 c presolved problem has 2000 variables (2000 bin, 0 int, 0 impl, 0 cont) and 3001 constraints
3.19/3.23 c 2000 constraints of type <knapsack>
3.19/3.23 c 1000 constraints of type <setppc>
3.19/3.23 c 1 constraints of type <linear>
3.19/3.23 c transformed objective value is always integral (scale: 1)
3.19/3.23 c Presolving Time: 2.59
3.19/3.23 c - non default parameters ----------------------------------------------------------------------
3.19/3.23 c # SCIP version 2.0.1.5
3.19/3.23 c
3.19/3.23 c # frequency for displaying node information lines
3.19/3.23 c # [type: int, range: [-1,2147483647], default: 100]
3.19/3.23 c display/freq = 10000
3.19/3.23 c
3.19/3.23 c # maximal time in seconds to run
3.19/3.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.19/3.23 c limits/time = 1797
3.19/3.23 c
3.19/3.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.19/3.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.19/3.23 c limits/memory = 13950
3.19/3.23 c
3.19/3.23 c # default clock type (1: CPU user seconds, 2: wall clock time)
3.19/3.23 c # [type: int, range: [1,2], default: 1]
3.19/3.23 c timing/clocktype = 2
3.19/3.23 c
3.19/3.23 c # belongs reading time to solving time?
3.19/3.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.19/3.23 c timing/reading = TRUE
3.19/3.23 c
3.19/3.23 c # should presolving try to simplify inequalities
3.19/3.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.19/3.23 c constraints/linear/simplifyinequalities = TRUE
3.19/3.23 c
3.19/3.23 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
3.19/3.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.19/3.23 c constraints/indicator/addCouplingCons = TRUE
3.19/3.23 c
3.19/3.23 c # should presolving try to simplify knapsacks
3.19/3.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.19/3.23 c constraints/knapsack/simplifyinequalities = TRUE
3.19/3.23 c
3.19/3.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.19/3.23 c # [type: int, range: [-1,2147483647], default: -1]
3.19/3.23 c separating/rapidlearning/freq = 0
3.19/3.23 c
3.19/3.23 c -----------------------------------------------------------------------------------------------
3.19/3.23 c start solving
3.19/3.23 c
251.14/251.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
251.14/251.28 c t 251s| 1 | 0 | 25618 | - | 193M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
251.34/251.41 o -1
251.34/251.41 c R 251s| 1 | 0 | 25618 | - | 193M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
404.01/404.17 o -59
404.01/404.17 c F 404s| 1 | 0 | 34304 | - | 194M| 0 | 0 |2000 |3001 |2000 |3001 | 0 | 0 | 0 |-5.000000e+02 |-5.900000e+01 | 88.20%
407.61/407.71 c 408s| 1 | 0 | 34304 | - | 194M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 0 |-5.000000e+02 |-5.900000e+01 | 88.20%
972.52/972.74 c 973s| 1 | 2 | 34304 | - | 194M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 19 |-5.000000e+02 |-5.900000e+01 | 88.20%
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3737362-1338726730/watcher-3737362-1338726730 -o /tmp/evaluation-result-3737362-1338726730/solver-3737362-1338726730 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737362-1338726730.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: 2.00 2.00 2.00 3/174 30364
/proc/meminfo: memFree=28107048/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/30364/stat : 30364 (runsolver) D 30362 30364 29314 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 338798455 12095488 50 33554432000 4194304 5436572 140736200654768 140736200651064 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/30364/statm: 2953 50 31 304 0 2645 0
[startup+0.04488 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 30364
/proc/meminfo: memFree=28107048/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=26984 CPUtime=0.03 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 5612 0 0 0 3 0 0 0 20 0 1 0 338798455 27631616 5567 33554432000 4194304 9016284 140736920283536 140736200650952 6813403 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 6746 5600 377 1178 0 5564 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 26984
[startup+0.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 30364
/proc/meminfo: memFree=28107048/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=44732 CPUtime=0.08 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 10107 0 0 0 8 0 0 0 20 0 1 0 338798455 45805568 10062 33554432000 4194304 9016284 140736920283536 140736200650952 6813403 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 11183 10094 377 1178 0 10001 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 44732
[startup+0.300274 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 30364
/proc/meminfo: memFree=28107048/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=94696 CPUtime=0.28 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 22639 0 0 0 27 1 0 0 20 0 1 0 338798455 96968704 22593 33554432000 4194304 9016284 140736920283536 140736920145736 4445996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 23674 22593 377 1178 0 22492 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 94696
[startup+0.700282 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 30364
/proc/meminfo: memFree=28107048/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=212236 CPUtime=0.69 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 52566 0 0 0 63 6 0 0 20 0 1 0 338798455 217329664 51965 33554432000 4194304 9016284 140736920283536 140736920145736 4786469 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 53059 51965 448 1178 0 51877 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 212236
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30365
/proc/meminfo: memFree=27883716/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=241144 CPUtime=1.49 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 59808 0 0 0 142 7 0 0 20 0 1 0 338798455 246931456 58950 33554432000 4194304 9016284 140736920283536 140736920279512 7870473 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 60286 58950 485 1178 0 59104 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 241144
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30365
/proc/meminfo: memFree=27858048/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=279028 CPUtime=3.09 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 70943 0 0 0 300 9 0 0 20 0 1 0 338798455 285724672 68457 33554432000 4194304 9016284 140736920283536 140736920280360 4875334 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 69757 68457 526 1178 0 68575 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 279028
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30365
/proc/meminfo: memFree=27803120/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=314940 CPUtime=6.28 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 77263 0 0 0 617 11 0 0 20 0 1 0 338798455 322498560 76952 33554432000 4194304 9016284 140736920283536 140736920277704 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 78735 76952 638 1178 0 77553 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 314940
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30365
/proc/meminfo: memFree=27792088/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=317896 CPUtime=12.68 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 78548 0 0 0 1256 12 0 0 20 0 1 0 338798455 325525504 77887 33554432000 4194304 9016284 140736920283536 140736920276456 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 79474 77887 641 1178 0 78292 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 317896
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30365
/proc/meminfo: memFree=27760076/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=357064 CPUtime=25.48 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 81554 0 0 0 2535 13 0 0 20 0 1 0 338798455 365633536 86991 33554432000 4194304 9016284 140736920283536 140736920277320 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 89266 86991 641 1178 0 88084 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 357064
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30365
/proc/meminfo: memFree=27759144/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=359964 CPUtime=51.08 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 83445 0 0 0 5092 16 0 0 20 0 1 0 338798455 368603136 86438 33554432000 4194304 9016284 140736920283536 140736920277320 7219255 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 89991 86438 641 1178 0 88809 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 359964
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30366
/proc/meminfo: memFree=27732836/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=370108 CPUtime=102.28 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 84526 0 0 0 10210 18 0 0 20 0 1 0 338798455 378990592 90728 33554432000 4194304 9016284 140736920283536 140736920277320 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 92527 90728 641 1178 0 91345 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 370108
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 30366
/proc/meminfo: memFree=27717120/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=371832 CPUtime=162.25 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 85034 0 0 0 16205 20 0 0 20 0 1 0 338798455 380755968 91337 33554432000 4194304 9016284 140736920283536 140736920277320 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 92958 91337 641 1178 0 91776 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 371832
[startup+222.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/175 30366
/proc/meminfo: memFree=27698548/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=373024 CPUtime=222.24 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 85498 0 0 0 22203 21 0 0 20 0 1 0 338798455 381976576 91924 33554432000 4194304 9016284 140736920283536 140736920276456 7219239 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 93256 91924 641 1178 0 92074 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 373024
[startup+282.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/175 30366
/proc/meminfo: memFree=27635556/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=418524 CPUtime=282.23 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 96386 0 0 0 28198 25 0 0 20 0 1 0 338798455 428568576 103593 33554432000 4194304 9016284 140736920283536 140736920274920 7219374 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 104631 103593 708 1178 0 103449 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 418524
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/175 30366
/proc/meminfo: memFree=27619168/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=418524 CPUtime=342.22 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 96386 0 0 0 34197 25 0 0 20 0 1 0 338798455 428568576 103848 33554432000 4194304 9016284 140736920283536 140736920275464 7219682 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 104631 103848 708 1178 0 103449 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 418524
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 30367
/proc/meminfo: memFree=27605964/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=418524 CPUtime=402.21 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 96386 0 0 0 40196 25 0 0 20 0 1 0 338798455 428568576 103855 33554432000 4194304 9016284 140736920283536 140736920275464 7219736 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 104631 103855 708 1178 0 103449 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 418524
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 30367
/proc/meminfo: memFree=27609148/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=397280 CPUtime=462.2 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 97330 0 0 0 46192 28 0 0 20 0 1 0 338798455 406814720 98542 33554432000 4194304 9016284 140736920283536 140736920276840 7219179 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 99320 98542 709 1178 0 98138 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 397280
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 30370
/proc/meminfo: memFree=27597360/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=397280 CPUtime=522.19 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 97330 0 0 0 52190 29 0 0 20 0 1 0 338798455 406814720 98542 33554432000 4194304 9016284 140736920283536 140736920276840 7219712 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 99320 98542 709 1178 0 98138 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 397280
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30370
/proc/meminfo: memFree=27584080/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=397280 CPUtime=582.18 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 97330 0 0 0 58188 30 0 0 20 0 1 0 338798455 406814720 98542 33554432000 4194304 9016284 140736920283536 140736920276840 7220608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 99320 98542 709 1178 0 98138 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 397280
[startup+642.3 s]
################
# More data... #
################
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 100868 0 0 0 100172 40 0 0 20 0 1 0 338798455 415219712 100270 33554432000 4194304 9016284 140736920283536 140736920276840 7219225 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 101372 100270 709 1178 0 100190 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 405488
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30372
/proc/meminfo: memFree=27495828/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=405488 CPUtime=1062.11 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 100910 0 0 0 106170 41 0 0 20 0 1 0 338798455 415219712 100312 33554432000 4194304 9016284 140736920283536 140736920276344 7181009 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 101372 100312 709 1178 0 100190 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 405488
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30375
/proc/meminfo: memFree=27490092/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=405488 CPUtime=1122.1 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 100912 0 0 0 112168 42 0 0 20 0 1 0 338798455 415219712 100314 33554432000 4194304 9016284 140736920283536 140736920277336 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 101372 100314 709 1178 0 100190 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 405488
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30375
/proc/meminfo: memFree=27484272/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=405488 CPUtime=1182.09 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 100912 0 0 0 118166 43 0 0 20 0 1 0 338798455 415219712 100314 33554432000 4194304 9016284 140736920283536 140736920276344 7219022 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 101372 100314 709 1178 0 100190 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 405488
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30375
/proc/meminfo: memFree=27475216/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=405488 CPUtime=1242.08 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 100914 0 0 0 124164 44 0 0 20 0 1 0 338798455 415219712 100315 33554432000 4194304 9016284 140736920283536 140736920276344 7219239 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 101372 100315 709 1178 0 100190 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 405488
[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 30376
/proc/meminfo: memFree=27470504/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=405488 CPUtime=1302.08 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 100914 0 0 0 130163 45 0 0 20 0 1 0 338798455 415219712 100315 33554432000 4194304 9016284 140736920283536 140736920276792 7219712 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 101372 100315 709 1178 0 100190 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 405488
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 30414
/proc/meminfo: memFree=27911416/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=409964 CPUtime=1362.07 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 101799 0 0 0 136160 47 0 0 20 0 1 0 338798455 419803136 101711 33554432000 4194304 9016284 140736920283536 140736920276840 7219176 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 102491 101711 709 1178 0 101309 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 409964
[startup+1422.31 s]
/proc/loadavg: 2.05 2.02 2.00 3/175 30414
/proc/meminfo: memFree=27944880/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=381820 CPUtime=1422.06 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 102946 0 0 0 142158 48 0 0 20 0 1 0 338798455 390983680 93636 33554432000 4194304 9016284 140736920283536 140736920276344 7189400 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 95455 93636 709 1178 0 94273 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 381820
[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 30414
/proc/meminfo: memFree=27938736/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=383564 CPUtime=1482.04 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 102949 0 0 0 148155 49 0 0 20 0 1 0 338798455 392769536 94661 33554432000 4194304 9016284 140736920283536 140736920276344 7219660 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 95891 94661 709 1178 0 94709 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 383564
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 30414
/proc/meminfo: memFree=27918628/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=402472 CPUtime=1542.04 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 103470 0 0 0 154153 51 0 0 20 0 1 0 338798455 412131328 99268 33554432000 4194304 9016284 140736920283536 140736920276344 7219374 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 100618 99268 709 1178 0 99436 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 402472
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 30415
/proc/meminfo: memFree=27901848/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=402472 CPUtime=1602.02 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 103471 0 0 0 160150 52 0 0 20 0 1 0 338798455 412131328 99780 33554432000 4194304 9016284 140736920283536 140736920276456 7219694 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 100618 99780 709 1178 0 99436 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 402472
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 30415
/proc/meminfo: memFree=27901724/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=402472 CPUtime=1662.01 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 103471 0 0 0 166148 53 0 0 20 0 1 0 338798455 412131328 99780 33554432000 4194304 9016284 140736920283536 140736920276344 7200909 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 100618 99780 709 1178 0 99436 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 402472
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30418
/proc/meminfo: memFree=27901840/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=402472 CPUtime=1722 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 103471 0 0 0 172146 54 0 0 20 0 1 0 338798455 412131328 99780 33554432000 4194304 9016284 140736920283536 140736920276840 7219203 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 100618 99780 709 1178 0 99436 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 402472
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30441
/proc/meminfo: memFree=27900164/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=402472 CPUtime=1782 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 103471 0 0 0 178144 56 0 0 20 0 1 0 338798455 412131328 99780 33554432000 4194304 9016284 140736920283536 140736920276792 7216410 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 100618 99780 709 1178 0 99436 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 402472
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30441
/proc/meminfo: memFree=27900048/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=402472 CPUtime=1800.1 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 103471 0 0 0 179954 56 0 0 20 0 1 0 338798455 412131328 99780 33554432000 4194304 9016284 140736920283536 140736920276792 7189230 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 100618 99780 709 1178 0 99436 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 402472
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -30364
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30442
/proc/meminfo: memFree=27900048/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=402472 CPUtime=1801.09 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 103471 0 0 0 180053 56 0 0 20 0 1 0 338798455 412131328 99780 33554432000 4194304 9016284 140736920283536 140736920277336 7189372 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 100618 99780 709 1178 0 99436 0
Current children cumulated CPU time (s) 1801.09
Current children cumulated vsize (KiB) 402472
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30442
/proc/meminfo: memFree=27899916/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=402472 CPUtime=1801.89 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 103471 0 0 0 180133 56 0 0 20 0 1 0 338798455 412131328 99780 33554432000 4194304 9016284 140736920283536 140736920276344 7219660 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 100618 99780 709 1178 0 99436 0
Current children cumulated CPU time (s) 1801.89
Current children cumulated vsize (KiB) 402472
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30442
/proc/meminfo: memFree=27899916/32873852 swapFree=7624/7624
[pid=30364] ppid=30362 vsize=402472 CPUtime=1802.09 cores=0,2,4,6
/proc/30364/stat : 30364 (scip-2.0.1.4b_2) R 30362 30364 29314 0 -1 4202496 103471 0 0 0 180153 56 0 0 20 0 1 0 338798455 412131328 99780 33554432000 4194304 9016284 140736920283536 140736920276344 7219712 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30364/statm: 100618 99780 709 1178 0 99436 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 402472
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.41
CPU time (s): 1802.12
CPU user time (s): 1801.54
CPU system time (s): 0.570913
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 425104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.54
system time used= 0.570913
maximum resident set size= 418804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103471
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= 19
involuntary context switches= 1881
runsolver used 2.75358 second user time and 7.18291 second system time
The end