0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 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-2704652-1278579454.opb>
10.18/10.23 c original problem has 768498 variables (768498 bin, 0 int, 0 impl, 0 cont) and 2000 constraints
10.18/10.23 c problem read
10.18/10.23 c presolving settings loaded
17.88/17.98 c presolving:
23.58/23.61 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1502 upgd conss, 0 impls, 1502 clqs
41.78/41.80 c (round 2) 0 del vars, 10 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1502 upgd conss, 0 impls, 1502 clqs
228.10/228.24 c (218.0s) probing: 1000/768498 (0.1%) - 0 fixings, 0 aggregations, 999 implications, 0 bound changes
404.55/404.71 c (394.5s) probing: 2000/768498 (0.3%) - 0 fixings, 0 aggregations, 1999 implications, 0 bound changes
404.66/404.89 c (394.7s) probing: 2001/768498 (0.3%) - 0 fixings, 0 aggregations, 2000 implications, 0 bound changes
404.66/404.89 c (394.7s) probing aborted: 2000/2000 successive useless probings
404.95/405.11 c presolving (3 rounds):
404.95/405.11 c 0 deleted vars, 10 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
404.95/405.11 c 4000 implications, 1502 cliques
404.95/405.11 c presolved problem has 768498 variables (768498 bin, 0 int, 0 impl, 0 cont) and 1990 constraints
404.95/405.11 c 1492 constraints of type <setppc>
404.95/405.11 c 498 constraints of type <linear>
404.95/405.11 c transformed objective value is always integral (scale: 1)
404.95/405.11 c Presolving Time: 391.73
404.95/405.11 c - non default parameters ----------------------------------------------------------------------
404.95/405.11 c # SCIP version 1.2.1.3
404.95/405.11 c
404.95/405.11 c # frequency for displaying node information lines
404.95/405.11 c # [type: int, range: [-1,2147483647], default: 100]
404.95/405.11 c display/freq = 10000
404.95/405.11 c
404.95/405.11 c # maximal time in seconds to run
404.95/405.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
404.95/405.11 c limits/time = 1779.78
404.95/405.11 c
404.95/405.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
404.95/405.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
404.95/405.11 c limits/memory = 1620
404.95/405.11 c
404.95/405.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
404.95/405.11 c # [type: int, range: [1,2], default: 1]
404.95/405.11 c timing/clocktype = 2
404.95/405.11 c
404.95/405.11 c # should presolving try to simplify inequalities
404.95/405.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
404.95/405.11 c constraints/linear/simplifyinequalities = TRUE
404.95/405.11 c
404.95/405.11 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
404.95/405.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
404.95/405.11 c constraints/indicator/addCouplingCons = TRUE
404.95/405.11 c
404.95/405.11 c # should presolving try to simplify knapsacks
404.95/405.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
404.95/405.11 c constraints/knapsack/simplifyinequalities = TRUE
404.95/405.11 c
404.95/405.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
404.95/405.11 c # [type: int, range: [-1,2147483647], default: -1]
404.95/405.11 c separating/rapidlearning/freq = 0
404.95/405.11 c
404.95/405.11 c -----------------------------------------------------------------------------------------------
404.95/405.11 c start solving
405.75/405.97 c
405.75/405.97 c (node 0) switching to memory saving mode (mem: 1316.8M/1620.0M)
408.66/408.81 c pressed CTRL-C 1 times (5 times for forcing termination)
408.75/408.95 EMALLC01 malloc: Out of memory - cannot allocate 98367744 bytes
408.75/408.95 c [src/scip/lpi_spx.cpp:1079] Warning: SoPlex threw an exception: XMALLC01 malloc: Could not allocate enough memory
408.75/408.95 c [src/scip/lp.c:5348] ERROR: Error <-6> in function call
408.75/408.95 c [src/scip/lp.c:5836] ERROR: Error <-6> in function call
408.75/408.95 c [src/scip/lp.c:11248] ERROR: Error <-6> in function call
408.75/408.95 c [src/scip/solve.c:801] ERROR: Error <-6> in function call
408.75/408.95 c [src/scip/solve.c:1912] ERROR: Error <-6> in function call
408.75/408.95 c [src/scip/solve.c:2591] ERROR: Error <-6> in function call
408.75/408.95 c [src/scip/solve.c:3206] ERROR: Error <-6> in function call
408.75/408.95 c [src/scip/scip.c:6312] ERROR: Error <-6> in function call
408.75/408.95 c [src/cmain.c:674] ERROR: Error <-6> in function call
408.75/408.95 c [src/cmain.c:849] ERROR: Error <-6> in function call
408.75/408.95 c [src/cmain.c:925] ERROR: Error <-6> in function call
408.75/408.95 c SCIP Error (-6): c error in LP solverc
408.75/408.95 c Time complete: 408.8.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704652-1278579454/watcher-2704652-1278579454 -o /tmp/evaluation-result-2704652-1278579454/solver-2704652-1278579454 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704652-1278579454.opb -t 1800 -m 1800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30578
/proc/meminfo: memFree=1784048/2059040 swapFree=4139756/4192956
[pid=30578] ppid=30576 vsize=7904 CPUtime=0
/proc/30578/stat : 30578 (pbscip.linux.x8) R 30576 30578 30215 0 -1 4202496 1066 0 0 0 0 0 0 0 20 0 1 0 26153087 8093696 977 1992294400 4194304 8395647 140737292822672 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30578/statm: 1976 985 365 1026 0 946 0
[startup+0.0988261 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30578
/proc/meminfo: memFree=1784048/2059040 swapFree=4139756/4192956
[pid=30578] ppid=30576 vsize=28652 CPUtime=0.09
/proc/30578/stat : 30578 (pbscip.linux.x8) R 30576 30578 30215 0 -1 4202496 6413 0 0 0 7 2 0 0 20 0 1 0 26153087 29339648 6320 1992294400 4194304 8395647 140737292822672 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30578/statm: 7163 6332 389 1026 0 6133 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28652
[startup+0.101826 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30578
/proc/meminfo: memFree=1784048/2059040 swapFree=4139756/4192956
[pid=30578] ppid=30576 vsize=29676 CPUtime=0.09
/proc/30578/stat : 30578 (pbscip.linux.x8) R 30576 30578 30215 0 -1 4202496 6696 0 0 0 7 2 0 0 20 0 1 0 26153087 30388224 6603 1992294400 4194304 8395647 140737292822672 18446744073709551615 4428877 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30578/statm: 7419 6603 389 1026 0 6389 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29676
[startup+0.300847 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30578
/proc/meminfo: memFree=1784048/2059040 swapFree=4139756/4192956
[pid=30578] ppid=30576 vsize=72032 CPUtime=0.29
/proc/30578/stat : 30578 (pbscip.linux.x8) R 30576 30578 30215 0 -1 4202496 17082 0 0 0 23 6 0 0 20 0 1 0 26153087 73760768 16989 1992294400 4194304 8395647 140737292822672 18446744073709551615 6766224 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30578/statm: 18008 16989 389 1026 0 16978 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72032
[startup+0.700891 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30578
/proc/meminfo: memFree=1784048/2059040 swapFree=4139756/4192956
[pid=30578] ppid=30576 vsize=151036 CPUtime=0.69
/proc/30578/stat : 30578 (pbscip.linux.x8) R 30576 30578 30215 0 -1 4202496 36596 0 0 0 56 13 0 0 20 0 1 0 26153087 154660864 36503 1992294400 4194304 8395647 140737292822672 18446744073709551615 7351986 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30578/statm: 37759 36503 389 1026 0 36729 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 151036
[startup+1.50098 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30579
/proc/meminfo: memFree=1583036/2059040 swapFree=4139756/4192956
[pid=30578] ppid=30576 vsize=297676 CPUtime=1.49
/proc/30578/stat : 30578 (pbscip.linux.x8) R 30576 30578 30215 0 -1 4202496 73069 0 0 0 123 26 0 0 23 0 1 0 26153087 304820224 72976 1992294400 4194304 8395647 140737292822672 18446744073709551615 7430272 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30578/statm: 74419 72976 389 1026 0 73389 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 297676
[startup+3.10017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30579
/proc/meminfo: memFree=1390712/2059040 swapFree=4139756/4192956
[pid=30578] ppid=30576 vsize=550384 CPUtime=3.09
/proc/30578/stat : 30578 (pbscip.linux.x8) R 30576 30578 30215 0 -1 4202496 135410 0 0 0 262 47 0 0 25 0 1 0 26153087 563593216 135317 1992294400 4194304 8395647 140737292822672 18446744073709551615 4713217 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30578/statm: 137596 135317 392 1026 0 136566 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 550384
[startup+6.30051 s]
/proc/loadavg: 1.16 1.03 1.01 2/107 30579
/proc/meminfo: memFree=1229016/2059040 swapFree=4139756/4192956
[pid=30578] ppid=30576 vsize=573820 CPUtime=6.29
/proc/30578/stat : 30578 (pbscip.linux.x8) R 30576 30578 30215 0 -1 4202496 140093 0 0 0 579 50 0 0 25 0 1 0 26153087 587591680 140000 1992294400 4194304 8395647 140737292822672 18446744073709551615 4276041 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30578/statm: 143455 140000 396 1026 0 142425 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 573820
[startup+12.7012 s]
/proc/loadavg: 1.15 1.03 1.01 2/107 30581
/proc/meminfo: memFree=580248/2059040 swapFree=4139756/4192956
[pid=30578] ppid=30576 vsize=1281496 CPUtime=12.68
/proc/30578/stat : 30578 (pbscip.linux.x8) R 30576 30578 30215 0 -1 4202496 315968 0 0 0 1157 111 0 0 25 0 1 0 26153087 1312251904 315521 1992294400 4194304 8395647 140737292822672 18446744073709551615 4972492 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30578/statm: 320374 315521 423 1026 0 319344 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1281496
[startup+25.5016 s]
/proc/loadavg: 1.11 1.03 1.01 2/107 30581
/proc/meminfo: memFree=253880/2059040 swapFree=4139756/4192956
[pid=30578] ppid=30576 vsize=1551776 CPUtime=25.48
/proc/30578/stat : 30578 (pbscip.linux.x8) R 30576 30578 30215 0 -1 4202496 382720 0 0 0 2418 130 0 0 25 0 1 0 26153087 1589018624 382273 1992294400 4194304 8395647 140737292822672 18446744073709551615 5220653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30578/statm: 387944 382273 471 1026 0 386914 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1551776
[startup+51.1014 s]
/proc/loadavg: 1.07 1.03 1.01 2/107 30581
/proc/meminfo: memFree=229576/2059040 swapFree=4139756/4192956
[pid=30578] ppid=30576 vsize=1576064 CPUtime=51.06
/proc/30578/stat : 30578 (pbscip.linux.x8) R 30576 30578 30215 0 -1 4202496 388881 0 0 0 4974 132 0 0 25 0 1 0 26153087 1613889536 388368 1992294400 4194304 8395647 140737292822672 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30578/statm: 394016 388368 496 1026 0 392986 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1576064
[startup+102.309 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 30583
/proc/meminfo: memFree=229576/2059040 swapFree=4139756/4192956
[pid=30578] ppid=30576 vsize=1576064 CPUtime=102.25
/proc/30578/stat : 30578 (pbscip.linux.x8) R 30576 30578 30215 0 -1 4202496 388887 0 0 0 10093 132 0 0 25 0 1 0 26153087 1613889536 388368 1992294400 4194304 8395647 140737292822672 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30578/statm: 394016 388368 490 1026 0 392986 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1576064
[startup+162.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 30585
/proc/meminfo: memFree=229576/2059040 swapFree=4139756/4192956
[pid=30578] ppid=30576 vsize=1576064 CPUtime=162.23
/proc/30578/stat : 30578 (pbscip.linux.x8) R 30576 30578 30215 0 -1 4202496 388887 0 0 0 16091 132 0 0 25 0 1 0 26153087 1613889536 388368 1992294400 4194304 8395647 140737292822672 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30578/statm: 394016 388368 490 1026 0 392986 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 1576064
[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30594
/proc/meminfo: memFree=229080/2059040 swapFree=4139756/4192956
[pid=30578] ppid=30576 vsize=1576064 CPUtime=222.2
/proc/30578/stat : 30578 (pbscip.linux.x8) R 30576 30578 30215 0 -1 4202496 388887 0 0 0 22088 132 0 0 25 0 1 0 26153087 1613889536 388368 1992294400 4194304 8395647 140737292822672 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30578/statm: 394016 388368 490 1026 0 392986 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 1576064
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30596
/proc/meminfo: memFree=229080/2059040 swapFree=4139756/4192956
[pid=30578] ppid=30576 vsize=1576064 CPUtime=282.18
/proc/30578/stat : 30578 (pbscip.linux.x8) R 30576 30578 30215 0 -1 4202496 388893 0 0 0 28086 132 0 0 25 0 1 0 26153087 1613889536 388374 1992294400 4194304 8395647 140737292822672 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30578/statm: 394016 388374 496 1026 0 392986 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 1576064
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30598
/proc/meminfo: memFree=229080/2059040 swapFree=4139756/4192956
[pid=30578] ppid=30576 vsize=1576064 CPUtime=342.16
/proc/30578/stat : 30578 (pbscip.linux.x8) R 30576 30578 30215 0 -1 4202496 388893 0 0 0 34084 132 0 0 25 0 1 0 26153087 1613889536 388374 1992294400 4194304 8395647 140737292822672 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30578/statm: 394016 388374 496 1026 0 392986 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 1576064
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30600
/proc/meminfo: memFree=229080/2059040 swapFree=4139756/4192956
[pid=30578] ppid=30576 vsize=1576064 CPUtime=402.15
/proc/30578/stat : 30578 (pbscip.linux.x8) R 30576 30578 30215 0 -1 4202496 388893 0 0 0 40083 132 0 0 25 0 1 0 26153087 1613889536 388374 1992294400 4194304 8395647 140737292822672 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30578/statm: 394016 388374 496 1026 0 392986 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 1576064
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+408.801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30600
/proc/meminfo: memFree=9388/2059040 swapFree=4139756/4192956
[pid=30578] ppid=30576 vsize=1851716 CPUtime=408.66
/proc/30578/stat : 30578 (pbscip.linux.x8) R 30576 30578 30215 0 -1 4202496 461133 0 0 0 40709 157 0 0 25 0 1 0 26153087 1896157184 451501 1992294400 4194304 8395647 140737292822672 18446744073709551615 6162737 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30578/statm: 462929 451501 530 1026 0 461899 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 1851716
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+409 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30600
/proc/meminfo: memFree=9388/2059040 swapFree=4139756/4192956
[pid=30578] ppid=30576 vsize=0 CPUtime=408.84
/proc/30578/stat : 30578 (pbscip.linux.x8) R 30576 30578 30215 0 -1 4202500 462313 0 0 0 40722 162 0 0 25 0 1 0 26153087 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/30578/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 408.84
Current children cumulated vsize (KiB) 0
[startup+409.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 30601
/proc/meminfo: memFree=1563124/2059040 swapFree=4139756/4192956
[pid=30578] ppid=30576 vsize=0 CPUtime=408.95
/proc/30578/stat : 30578 (pbscip.linux.x8) R 30576 30578 30215 0 -1 4202500 462313 0 0 0 40722 173 0 0 25 0 1 0 26153087 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/30578/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 408.95
Current children cumulated vsize (KiB) 0
Child status: 255
Real time (s): 409.129
CPU time (s): 408.974
CPU user time (s): 407.22
CPU system time (s): 1.75373
CPU usage (%): 99.962
Max. virtual memory (cumulated for all children) (KiB): 1851716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 407.22
system time used= 1.75373
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462313
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= 1
involuntary context switches= 2007
runsolver used 0.643902 second user time and 1.9907 second system time
The end