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-3451822-1307119031.opb>
1.59/1.60 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245346 constraints
1.59/1.60 c problem read
1.59/1.60 c presolving settings loaded
1.99/2.06 c presolving:
8.39/8.45 c (round 1) 5610 del vars, 16364 del conss, 0 add conss, 4141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16767384 impls, 0 clqs
11.02/11.07 c (round 2) 12043 del vars, 41876 del conss, 0 add conss, 10170 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16802912 impls, 0 clqs
11.80/11.88 c (round 3) 14621 del vars, 53076 del conss, 0 add conss, 11865 chg bounds, 51 chg sides, 45 chg coeffs, 0 upgd conss, 16818378 impls, 0 clqs
12.30/12.32 c (round 4) 16038 del vars, 58671 del conss, 0 add conss, 12821 chg bounds, 79 chg sides, 86 chg coeffs, 0 upgd conss, 16827295 impls, 0 clqs
12.50/12.56 c (round 5) 16875 del vars, 61984 del conss, 0 add conss, 13385 chg bounds, 84 chg sides, 92 chg coeffs, 0 upgd conss, 16832562 impls, 0 clqs
12.70/12.71 c (round 6) 17283 del vars, 63784 del conss, 0 add conss, 13635 chg bounds, 84 chg sides, 92 chg coeffs, 0 upgd conss, 16835739 impls, 0 clqs
12.80/12.84 c (round 7) 17565 del vars, 64909 del conss, 0 add conss, 13823 chg bounds, 84 chg sides, 92 chg coeffs, 0 upgd conss, 16838313 impls, 0 clqs
12.90/12.93 c (round 8) 17689 del vars, 65490 del conss, 0 add conss, 13916 chg bounds, 84 chg sides, 92 chg coeffs, 0 upgd conss, 16839251 impls, 0 clqs
13.00/13.00 c (round 9) 17771 del vars, 65855 del conss, 0 add conss, 13978 chg bounds, 84 chg sides, 92 chg coeffs, 0 upgd conss, 16839554 impls, 0 clqs
13.00/13.07 c (round 10) 17807 del vars, 66037 del conss, 0 add conss, 14000 chg bounds, 84 chg sides, 92 chg coeffs, 0 upgd conss, 16839693 impls, 0 clqs
13.11/13.13 c (round 11) 17819 del vars, 66107 del conss, 0 add conss, 14008 chg bounds, 84 chg sides, 92 chg coeffs, 0 upgd conss, 16839727 impls, 0 clqs
13.79/13.80 c (round 12) 17819 del vars, 66117 del conss, 0 add conss, 14008 chg bounds, 84 chg sides, 92 chg coeffs, 179229 upgd conss, 16839727 impls, 0 clqs
14.31/14.36 c (round 13) 17819 del vars, 66122 del conss, 29 add conss, 14008 chg bounds, 141 chg sides, 300 chg coeffs, 179229 upgd conss, 16839727 impls, 0 clqs
14.49/14.57 c (round 14) 17819 del vars, 66128 del conss, 34 add conss, 14008 chg bounds, 152 chg sides, 346 chg coeffs, 179229 upgd conss, 16839727 impls, 0 clqs
664.27/664.41 c (664.4s) probing: 1000/55023 (1.8%) - 0 fixings, 0 aggregations, 13492056 implications, 0 bound changes
1176.89/1177.02 c (1177.0s) probing: 2000/55023 (3.6%) - 0 fixings, 0 aggregations, 20506271 implications, 0 bound changes
1177.38/1177.50 c (1177.5s) probing: 2001/55023 (3.6%) - 0 fixings, 0 aggregations, 20519458 implications, 0 bound changes
1177.38/1177.50 c (1177.5s) probing aborted: 2000/2000 successive useless probings
1177.48/1177.50 c presolving (15 rounds):
1177.48/1177.50 c 17819 deleted vars, 66128 deleted constraints, 34 added constraints, 14008 tightened bounds, 0 added holes, 152 changed sides, 351 changed coefficients
1177.48/1177.50 c 90421365 implications, 0 cliques
1177.48/1177.50 c presolved problem has 55023 variables (55023 bin, 0 int, 0 impl, 0 cont) and 179252 constraints
1177.48/1177.50 c 1096 constraints of type <knapsack>
1177.48/1177.50 c 150961 constraints of type <setppc>
1177.48/1177.50 c 27195 constraints of type <logicor>
1177.48/1177.50 c transformed objective value is always integral (scale: 1)
1177.48/1177.50 c Presolving Time: 1175.57
1177.48/1177.50 c - non default parameters ----------------------------------------------------------------------
1177.48/1177.50 c # SCIP version 2.0.1.5
1177.48/1177.50 c
1177.48/1177.50 c # frequency for displaying node information lines
1177.48/1177.50 c # [type: int, range: [-1,2147483647], default: 100]
1177.48/1177.50 c display/freq = 10000
1177.48/1177.50 c
1177.48/1177.50 c # maximal time in seconds to run
1177.48/1177.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1177.48/1177.50 c limits/time = 1800
1177.48/1177.50 c
1177.48/1177.50 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1177.48/1177.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1177.48/1177.50 c limits/memory = 13950
1177.48/1177.50 c
1177.48/1177.50 c # default clock type (1: CPU user seconds, 2: wall clock time)
1177.48/1177.50 c # [type: int, range: [1,2], default: 1]
1177.48/1177.50 c timing/clocktype = 2
1177.48/1177.50 c
1177.48/1177.50 c # belongs reading time to solving time?
1177.48/1177.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1177.48/1177.50 c timing/reading = TRUE
1177.48/1177.50 c
1177.48/1177.50 c # should presolving try to simplify inequalities
1177.48/1177.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1177.48/1177.50 c constraints/linear/simplifyinequalities = TRUE
1177.48/1177.50 c
1177.48/1177.50 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1177.48/1177.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1177.48/1177.50 c constraints/indicator/addCouplingCons = TRUE
1177.48/1177.50 c
1177.48/1177.50 c # should presolving try to simplify knapsacks
1177.48/1177.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1177.48/1177.50 c constraints/knapsack/simplifyinequalities = TRUE
1177.48/1177.50 c
1177.48/1177.50 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1177.48/1177.50 c # [type: int, range: [-1,2147483647], default: -1]
1177.48/1177.50 c separating/rapidlearning/freq = 0
1177.48/1177.50 c
1177.48/1177.50 c -----------------------------------------------------------------------------------------------
1177.48/1177.50 c start solving
1177.48/1177.54 c
1419.58/1419.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1419.58/1419.69 c 1420s| 1 | 0 | 49420 | - |2692M| 0 | 567 | 55k| 179k| 55k| 179k| 0 | 42 | 0 | 8.600000e+01 | -- | Inf
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-3451822-1307119031/watcher-3451822-1307119031 -o /tmp/evaluation-result-3451822-1307119031/solver-3451822-1307119031 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451822-1307119031.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: 1.61 1.93 1.97 2/570 25987
/proc/meminfo: memFree=23571376/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=14972 CPUtime=0.01 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 2713 0 0 0 1 0 0 0 21 0 1 0 823500886 15331328 2667 33554432000 4194304 9163163 140736428682512 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25987/statm: 3743 2667 395 1214 0 2525 0
[startup+0.074019 s]
/proc/loadavg: 1.61 1.93 1.97 2/570 25987
/proc/meminfo: memFree=23571376/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=26524 CPUtime=0.06 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 5631 0 0 0 6 0 0 0 21 0 1 0 823500886 27160576 5585 33554432000 4194304 9163163 140736428682512 18446744073709551615 6163668 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25987/statm: 6631 5585 395 1214 0 5413 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 26524
[startup+0.101014 s]
/proc/loadavg: 1.61 1.93 1.97 2/570 25987
/proc/meminfo: memFree=23571376/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=30068 CPUtime=0.09 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 6517 0 0 0 9 0 0 0 21 0 1 0 823500886 30789632 6471 33554432000 4194304 9163163 140736428682512 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25987/statm: 7517 6471 395 1214 0 6299 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30068
[startup+0.300977 s]
/proc/loadavg: 1.61 1.93 1.97 2/570 25987
/proc/meminfo: memFree=23571376/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=56884 CPUtime=0.29 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 13202 0 0 0 28 1 0 0 22 0 1 0 823500886 58249216 13156 33554432000 4194304 9163163 140736428682512 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25987/statm: 14221 13156 395 1214 0 13003 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56884
[startup+0.700904 s]
/proc/loadavg: 1.61 1.93 1.97 2/570 25987
/proc/meminfo: memFree=23571376/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=80892 CPUtime=0.69 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 19179 0 0 0 67 2 0 0 24 0 1 0 823500886 82833408 19133 33554432000 4194304 9163163 140736428682512 18446744073709551615 4337702 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25987/statm: 20223 19133 395 1214 0 19005 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80892
[startup+1.50076 s]
/proc/loadavg: 1.61 1.93 1.97 3/576 25993
/proc/meminfo: memFree=23373084/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=150316 CPUtime=1.49 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 36484 0 0 0 144 5 0 0 25 0 1 0 823500886 153923584 36438 33554432000 4194304 9163163 140736428682512 18446744073709551615 8034228 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25987/statm: 37579 36438 395 1214 0 36361 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 150316
[startup+3.10047 s]
/proc/loadavg: 1.61 1.93 1.97 3/576 25993
/proc/meminfo: memFree=22843232/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=510532 CPUtime=3.09 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 125184 0 0 0 292 17 0 0 25 0 1 0 823500886 522784768 125056 33554432000 4194304 9163163 140736428682512 18446744073709551615 6567515 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25987/statm: 127633 125056 506 1214 0 126415 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 510532
[startup+6.30089 s]
/proc/loadavg: 1.72 1.95 1.97 3/576 25993
/proc/meminfo: memFree=22172660/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=784660 CPUtime=6.29 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 191803 0 0 0 604 25 0 0 25 0 1 0 823500886 803491840 191675 33554432000 4194304 9163163 140736428682512 18446744073709551615 6551532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25987/statm: 196165 191675 506 1214 0 194947 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 784660
[startup+12.7007 s]
/proc/loadavg: 1.74 1.95 1.97 3/576 25994
/proc/meminfo: memFree=21837540/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=883744 CPUtime=12.7 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 216075 0 0 0 1241 29 0 0 25 0 1 0 823500886 904953856 215690 33554432000 4194304 9163163 140736428682512 18446744073709551615 5939131 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25987/statm: 220936 215690 518 1214 0 219718 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 883744
[startup+25.5004 s]
/proc/loadavg: 1.80 1.95 1.97 3/576 25994
/proc/meminfo: memFree=21617784/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=1020932 CPUtime=25.49 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 265185 0 0 0 2514 35 0 0 25 0 1 0 823500886 1045434368 248051 33554432000 4194304 9163163 140736428682512 18446744073709551615 4219978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25987/statm: 255233 248051 688 1214 0 254015 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1020932
[startup+51.1007 s]
/proc/loadavg: 1.87 1.95 1.97 3/576 25995
/proc/meminfo: memFree=21522700/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=1070664 CPUtime=51.09 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 277121 0 0 0 5073 36 0 0 25 0 1 0 823500886 1096359936 259987 33554432000 4194304 9163163 140736428682512 18446744073709551615 6567491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25987/statm: 267666 259987 688 1214 0 266448 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1070664
[startup+102.321 s]
/proc/loadavg: 1.94 1.96 1.97 3/576 25996
/proc/meminfo: memFree=21230036/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=1226280 CPUtime=102.31 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 315531 0 0 0 10190 41 0 0 25 0 1 0 823500886 1255710720 298397 33554432000 4194304 9163163 140736428682512 18446744073709551615 4352480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25987/statm: 306570 298397 688 1214 0 305352 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1226280
[startup+162.3 s]
/proc/loadavg: 1.98 1.96 1.97 3/576 25998
/proc/meminfo: memFree=20918388/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=1395396 CPUtime=162.3 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 358156 0 0 0 16183 47 0 0 25 0 1 0 823500886 1428885504 341022 33554432000 4194304 9163163 140736428682512 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25987/statm: 348849 341022 688 1214 0 347631 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1395396
[startup+222.3 s]
/proc/loadavg: 2.15 2.00 1.98 3/576 25999
/proc/meminfo: memFree=20591484/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=1561260 CPUtime=222.29 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 399067 0 0 0 22177 52 0 0 25 0 1 0 823500886 1598730240 381933 33554432000 4194304 9163163 140736428682512 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25987/statm: 390315 381933 688 1214 0 389097 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1561260
[startup+282.301 s]
/proc/loadavg: 2.13 2.02 1.99 3/576 26001
/proc/meminfo: memFree=20113172/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=1832764 CPUtime=282.3 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 465833 0 0 0 28169 61 0 0 25 0 1 0 823500886 1876750336 448699 33554432000 4194304 9163163 140736428682512 18446744073709551615 5459264 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25987/statm: 458191 448699 688 1214 0 456973 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1832764
[startup+342.301 s]
/proc/loadavg: 2.11 2.03 1.99 3/576 26002
/proc/meminfo: memFree=19748944/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=1999024 CPUtime=342.3 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 506968 0 0 0 34164 66 0 0 25 0 1 0 823500886 2047000576 489834 33554432000 4194304 9163163 140736428682512 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25987/statm: 499756 489834 688 1214 0 498538 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1999024
[startup+402.301 s]
/proc/loadavg: 2.10 2.04 2.00 3/576 26004
/proc/meminfo: memFree=19428992/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=2176368 CPUtime=402.3 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 551338 0 0 0 40156 74 0 0 25 0 1 0 823500886 2228600832 534204 33554432000 4194304 9163163 140736428682512 18446744073709551615 8045195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25987/statm: 544092 534204 688 1214 0 542874 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2176368
[startup+462.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/576 26006
/proc/meminfo: memFree=19108040/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=2321212 CPUtime=462.25 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 586801 0 0 0 46145 80 0 0 25 0 1 0 823500886 2376921088 569667 33554432000 4194304 9163163 140736428682512 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25987/statm: 580303 569667 688 1214 0 579085 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 2321212
[startup+522.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/576 26007
/proc/meminfo: memFree=18823556/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=2524680 CPUtime=522.25 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 637699 0 0 0 52138 87 0 0 25 0 1 0 823500886 2585272320 620565 33554432000 4194304 9163163 140736428682512 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25987/statm: 631170 620565 688 1214 0 629952 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 2524680
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 26009
/proc/meminfo: memFree=18626116/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=2585636 CPUtime=582.25 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 653014 0 0 0 58135 90 0 0 25 0 1 0 823500886 2647691264 635880 33554432000 4194304 9163163 140736428682512 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25987/statm: 646409 635880 688 1214 0 645191 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 2585636
[startup+642.301 s]
################
# More data... #
################
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 793190 0 0 0 100113 114 0 0 25 0 1 0 823500886 3226505216 776056 33554432000 4194304 9163163 140736428682512 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25987/statm: 787721 776056 692 1214 0 786503 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 3150884
[startup+1062.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/576 26022
/proc/meminfo: memFree=17382172/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=3201896 CPUtime=1062.27 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 805529 0 0 0 106111 116 0 0 25 0 1 0 823500886 3278741504 788395 33554432000 4194304 9163163 140736428682512 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25987/statm: 800474 788395 692 1214 0 799256 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 3201896
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/576 26023
/proc/meminfo: memFree=17264352/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=3265764 CPUtime=1122.27 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 821509 0 0 0 112109 118 0 0 25 0 1 0 823500886 3344142336 804375 33554432000 4194304 9163163 140736428682512 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25987/statm: 816441 804375 692 1214 0 815223 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 3265764
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 26025
/proc/meminfo: memFree=17001320/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=3515068 CPUtime=1182.28 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 879809 0 0 0 118103 125 0 0 25 0 1 0 823500886 3599429632 860485 33554432000 4194304 9163163 140736428682512 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25987/statm: 878767 860485 661 1214 0 877549 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 3515068
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 26026
/proc/meminfo: memFree=16839108/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=3646032 CPUtime=1242.27 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 909941 0 0 0 124093 134 0 0 25 0 1 0 823500886 3733536768 889389 33554432000 4194304 9163163 140736428682512 18446744073709551615 7345698 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25987/statm: 911508 889389 876 1214 0 910290 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 3646032
[startup+1302.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/576 26028
/proc/meminfo: memFree=16769376/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=3655640 CPUtime=1302.29 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 914702 0 0 0 130088 141 0 0 25 0 1 0 823500886 3743375360 894012 33554432000 4194304 9163163 140736428682512 18446744073709551615 7349118 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25987/statm: 913910 894012 1181 1214 0 912692 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 3655640
[startup+1362.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/576 26030
/proc/meminfo: memFree=16726696/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=3667388 CPUtime=1362.27 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 918692 0 0 0 136080 147 0 0 25 0 1 0 823500886 3755405312 897840 33554432000 4194304 9163163 140736428682512 18446744073709551615 7349091 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25987/statm: 916847 897840 1838 1214 0 915629 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 3667388
[startup+1422.32 s]
/proc/loadavg: 2.04 2.04 2.00 3/576 26031
/proc/meminfo: memFree=16654124/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=3684980 CPUtime=1422.3 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 925616 0 0 0 142077 153 0 0 25 0 1 0 823500886 3773419520 903797 33554432000 4194304 9163163 140736428682512 18446744073709551615 7111082 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25987/statm: 921245 903797 886 1214 0 920027 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 3684980
[startup+1482.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/576 26042
/proc/meminfo: memFree=16580176/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=3684980 CPUtime=1482.28 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 926126 0 0 0 148070 158 0 0 25 0 1 0 823500886 3773419520 904297 33554432000 4194304 9163163 140736428682512 18446744073709551615 7370816 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25987/statm: 921245 904297 876 1214 0 920027 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 3684980
[startup+1542.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/576 26043
/proc/meminfo: memFree=16545660/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=3684980 CPUtime=1542.29 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 926128 0 0 0 154069 160 0 0 25 0 1 0 823500886 3773419520 904299 33554432000 4194304 9163163 140736428682512 18446744073709551615 7358660 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25987/statm: 921245 904299 876 1214 0 920027 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 3684980
[startup+1602.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/576 26045
/proc/meminfo: memFree=16502108/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=3684980 CPUtime=1602.28 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 926128 0 0 0 160063 165 0 0 25 0 1 0 823500886 3773419520 904299 33554432000 4194304 9163163 140736428682512 18446744073709551615 7358402 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25987/statm: 921245 904299 876 1214 0 920027 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 3684980
[startup+1662.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/576 26050
/proc/meminfo: memFree=16434972/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=3684980 CPUtime=1662.29 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 927389 0 0 0 166058 171 0 0 25 0 1 0 823500886 3773419520 905548 33554432000 4194304 9163163 140736428682512 18446744073709551615 6286088 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25987/statm: 921245 905548 1049 1214 0 920027 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 3684980
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/576 26051
/proc/meminfo: memFree=16403752/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=3684980 CPUtime=1722.29 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 927390 0 0 0 172058 171 0 0 25 0 1 0 823500886 3773419520 905549 33554432000 4194304 9163163 140736428682512 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25987/statm: 921245 905549 1050 1214 0 920027 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 3684980
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/576 26053
/proc/meminfo: memFree=16334912/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=3684980 CPUtime=1782.29 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 927390 0 0 0 178058 171 0 0 25 0 1 0 823500886 3773419520 905549 33554432000 4194304 9163163 140736428682512 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25987/statm: 921245 905549 1050 1214 0 920027 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 3684980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 26053
/proc/meminfo: memFree=16321876/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=3684980 CPUtime=1800.11 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 927529 0 0 0 179840 171 0 0 25 0 1 0 823500886 3773419520 905683 33554432000 4194304 9163163 140736428682512 18446744073709551615 6219312 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25987/statm: 921245 905683 1045 1214 0 920027 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 3684980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -25987
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.03 2.00 3/578 26055
/proc/meminfo: memFree=16319008/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=3684980 CPUtime=1801.39 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 927529 0 0 0 179968 171 0 0 25 0 1 0 823500886 3773419520 905683 33554432000 4194304 9163163 140736428682512 18446744073709551615 6219337 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25987/statm: 921245 905683 1045 1214 0 920027 0
Current children cumulated CPU time (s) 1801.39
Current children cumulated vsize (KiB) 3684980
[startup+1801.82 s]
/proc/loadavg: 2.00 2.03 2.00 2/576 26055
/proc/meminfo: memFree=19937840/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=3684980 CPUtime=1801.81 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4202496 927529 0 0 0 180010 171 0 0 25 0 1 0 823500886 3773419520 905683 33554432000 4194304 9163163 140736428682512 18446744073709551615 6219337 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25987/statm: 921245 905683 1045 1214 0 920027 0
Current children cumulated CPU time (s) 1801.81
Current children cumulated vsize (KiB) 3684980
[startup+1802.2 s]
/proc/loadavg: 2.00 2.03 2.00 2/576 26055
/proc/meminfo: memFree=19937840/32951124 swapFree=58940260/67111528
[pid=25987] ppid=25985 vsize=0 CPUtime=1802.19 cores=1,3,5,7
/proc/25987/stat : 25987 (scip-2.0.1.4b.l) R 25985 25987 23203 0 -1 4203524 927530 0 0 0 180040 179 0 0 25 0 1 0 823500886 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/25987/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.19
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.27
CPU time (s): 1802.27
CPU user time (s): 1800.41
CPU system time (s): 1.86472
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 3684980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.41
system time used= 1.86472
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 927530
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= 2
involuntary context switches= 16680
runsolver used 10.2834 second user time and 24.1843 second system time
The end