0.00/0.02 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.02 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-3450238-1307114243.opb>
0.37/0.43 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 63333 constraints
0.37/0.43 c problem read
0.37/0.43 c presolving settings loaded
0.48/0.51 o 0
0.48/0.51 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.48/0.51 c presolving:
0.48/0.59 c (round 1) 186 del vars, 186 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.67/0.78 c (round 2) 186 del vars, 821 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 62512 upgd conss, 2340 impls, 0 clqs
0.77/0.85 c (0.8s) probing: 101/1839 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.77/0.85 c (0.8s) probing aborted: 100/100 successive totally useless probings
0.77/0.85 c presolving (3 rounds):
0.77/0.85 c 186 deleted vars, 821 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.77/0.85 c 2340 implications, 0 cliques
0.77/0.85 c presolved problem has 1839 variables (1839 bin, 0 int, 0 impl, 0 cont) and 62512 constraints
0.77/0.85 c 984 constraints of type <setppc>
0.77/0.85 c 61528 constraints of type <logicor>
0.77/0.85 c transformed objective value is always integral (scale: 1)
0.77/0.85 c Presolving Time: 0.35
0.77/0.85 c - non default parameters ----------------------------------------------------------------------
0.77/0.85 c # SCIP version 2.0.1.5
0.77/0.85 c
0.77/0.85 c # frequency for displaying node information lines
0.77/0.85 c # [type: int, range: [-1,2147483647], default: 100]
0.77/0.85 c display/freq = 10000
0.77/0.85 c
0.77/0.85 c # maximal time in seconds to run
0.77/0.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.77/0.85 c limits/time = 1800
0.77/0.85 c
0.77/0.85 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.77/0.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.77/0.85 c limits/memory = 13950
0.77/0.85 c
0.77/0.85 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.77/0.85 c # [type: int, range: [1,2], default: 1]
0.77/0.85 c timing/clocktype = 2
0.77/0.85 c
0.77/0.85 c # belongs reading time to solving time?
0.77/0.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.77/0.85 c timing/reading = TRUE
0.77/0.85 c
0.77/0.85 c # should presolving try to simplify inequalities
0.77/0.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.77/0.85 c constraints/linear/simplifyinequalities = TRUE
0.77/0.85 c
0.77/0.85 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.77/0.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.77/0.85 c constraints/indicator/addCouplingCons = TRUE
0.77/0.85 c
0.77/0.85 c # should presolving try to simplify knapsacks
0.77/0.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.77/0.85 c constraints/knapsack/simplifyinequalities = TRUE
0.77/0.85 c
0.77/0.85 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.77/0.85 c # [type: int, range: [-1,2147483647], default: -1]
0.77/0.85 c separating/rapidlearning/freq = 0
0.77/0.85 c
0.77/0.85 c -----------------------------------------------------------------------------------------------
0.77/0.85 c start solving
0.77/0.85 c
121.27/121.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.27/121.39 c t 121s| 1 | 0 | 37376 | - | 80M| 0 |1821 |1839 | 62k|1839 | 62k| 0 | 0 | 0 |-2.811758e+02 | 0.000000e+00 | 100.00%
121.37/121.45 o -12
121.37/121.45 c R 121s| 1 | 0 | 37376 | - | 80M| 0 |1821 |1839 | 62k|1839 | 62k| 0 | 0 | 0 |-2.811758e+02 |-1.200000e+01 | 95.73%
121.47/121.51 o -16
121.47/121.51 c s 121s| 1 | 0 | 37376 | - | 80M| 0 |1821 |1839 | 62k|1839 | 62k| 0 | 0 | 0 |-2.811758e+02 |-1.600000e+01 | 94.31%
192.98/193.01 c 193s| 1 | 0 | 59696 | - | 84M| 0 |1817 |1839 | 62k|1839 | 62k| 4 | 0 | 0 |-2.795695e+02 |-1.600000e+01 | 94.28%
192.98/193.02 o -44
192.98/193.02 c b 193s| 1 | 0 | 59696 | - | 84M| 0 |1817 |1839 | 62k|1839 | 62k| 4 | 0 | 0 |-2.795695e+02 |-4.400000e+01 | 84.26%
325.28/325.32 c 325s| 1 | 0 | 93926 | - | 86M| 0 |1814 |1839 | 62k|1839 | 62k| 10 | 0 | 0 |-2.782827e+02 |-4.400000e+01 | 84.19%
325.28/325.36 o -59
325.28/325.36 c b 325s| 1 | 0 | 93926 | - | 86M| 0 |1814 |1839 | 62k|1839 | 62k| 10 | 0 | 0 |-2.782827e+02 |-5.900000e+01 | 78.80%
510.08/510.19 c 510s| 1 | 0 |134686 | - | 86M| 0 |1814 |1839 | 62k|1839 | 62k| 22 | 0 | 0 |-2.756749e+02 |-5.900000e+01 | 78.60%
682.29/682.35 c 682s| 1 | 0 |169763 | - | 91M| 0 |1776 |1839 | 62k|1839 | 62k| 33 | 0 | 0 |-2.697047e+02 |-5.900000e+01 | 78.12%
853.69/853.76 c 854s| 1 | 0 |205135 | - | 96M| 0 |1784 |1839 | 62k|1839 | 62k| 42 | 0 | 0 |-2.635704e+02 |-5.900000e+01 | 77.62%
1009.30/1009.40 c 1009s| 1 | 0 |242588 | - | 102M| 0 |1799 |1839 | 62k|1839 | 62k| 52 | 0 | 0 |-2.600676e+02 |-5.900000e+01 | 77.31%
1191.90/1191.98 c 1192s| 1 | 0 |282789 | - | 109M| 0 |1806 |1839 | 62k|1839 | 62k| 59 | 0 | 0 |-2.571493e+02 |-5.900000e+01 | 77.06%
1399.71/1399.71 c 1400s| 1 | 0 |320887 | - | 117M| 0 |1821 |1839 | 62k|1839 | 62k| 66 | 0 | 0 |-2.543130e+02 |-5.900000e+01 | 76.80%
1641.91/1641.95 c 1642s| 1 | 0 |365247 | - | 117M| 0 |1824 |1839 | 62k|1839 | 62k| 75 | 0 | 0 |-2.519554e+02 |-5.900000e+01 | 76.58%
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-3450238-1307114243/watcher-3450238-1307114243 -o /tmp/evaluation-result-3450238-1307114243/solver-3450238-1307114243 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450238-1307114243.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.04 2.01 2/446 12216
/proc/meminfo: memFree=31189340/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/12216/stat : 12216 (runsolver) R 12214 12216 10081 0 -1 4202560 43 0 0 0 0 0 0 0 23 0 1 0 823023105 12079104 50 33554432000 4194304 5432328 140734709308368 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/12216/statm: 2949 50 31 303 0 2643 0
[startup+0.073648 s]
/proc/loadavg: 2.03 2.04 2.01 2/446 12216
/proc/meminfo: memFree=31189340/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=18480 CPUtime=0.05 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 3603 0 0 0 5 0 0 0 23 0 1 0 823023105 18923520 3556 33554432000 4194304 9163163 140737161591504 18446744073709551615 8041854 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12216/statm: 4620 3556 395 1214 0 3402 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18480
[startup+0.100642 s]
/proc/loadavg: 2.03 2.04 2.01 2/446 12216
/proc/meminfo: memFree=31189340/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=20672 CPUtime=0.07 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 4159 0 0 0 7 0 0 0 23 0 1 0 823023105 21168128 4112 33554432000 4194304 9163163 140737161591504 18446744073709551615 6137974 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12216/statm: 5168 4112 395 1214 0 3950 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 20672
[startup+0.300607 s]
/proc/loadavg: 2.03 2.04 2.01 2/446 12216
/proc/meminfo: memFree=31189340/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=31676 CPUtime=0.27 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 6912 0 0 0 27 0 0 0 24 0 1 0 823023105 32436224 6865 33554432000 4194304 9163163 140737161591504 18446744073709551615 8041854 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12216/statm: 7919 6865 395 1214 0 6701 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 31676
[startup+0.700542 s]
/proc/loadavg: 2.03 2.04 2.01 2/446 12216
/proc/meminfo: memFree=31189340/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=107960 CPUtime=0.67 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 27561 0 0 0 65 2 0 0 25 0 1 0 823023105 110551040 25593 33554432000 4194304 9163163 140737161591504 18446744073709551615 18446744073699065904 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 26990 25593 525 1214 0 25772 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 107960
[startup+1.5004 s]
/proc/loadavg: 2.03 2.04 2.01 3/447 12217
/proc/meminfo: memFree=31022304/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=205128 CPUtime=1.47 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 53879 0 0 0 141 6 0 0 25 0 1 0 823023105 210051072 46379 33554432000 4194304 9163163 140737161591504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 51282 46379 872 1214 0 50064 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 205128
[startup+3.10012 s]
/proc/loadavg: 2.03 2.04 2.01 3/447 12217
/proc/meminfo: memFree=30993856/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=213196 CPUtime=3.07 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 58113 0 0 0 300 7 0 0 25 0 1 0 823023105 218312704 50033 33554432000 4194304 9163163 140737161591504 18446744073709551615 7110322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 53299 50033 995 1214 0 52081 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 213196
[startup+6.30061 s]
/proc/loadavg: 2.03 2.04 2.01 3/447 12217
/proc/meminfo: memFree=30980544/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=225136 CPUtime=6.27 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 61034 0 0 0 618 9 0 0 25 0 1 0 823023105 230539264 52644 33554432000 4194304 9163163 140737161591504 18446744073709551615 7348024 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 56284 52644 712 1214 0 55066 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 225136
[startup+12.7004 s]
/proc/loadavg: 2.03 2.04 2.01 3/447 12217
/proc/meminfo: memFree=30967300/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=234784 CPUtime=12.68 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 63953 0 0 0 1256 12 0 0 25 0 1 0 823023105 240418816 55536 33554432000 4194304 9163163 140737161591504 18446744073709551615 7348526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 58696 55536 721 1214 0 57478 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 234784
[startup+25.5002 s]
/proc/loadavg: 2.10 2.05 2.01 3/447 12218
/proc/meminfo: memFree=30967252/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=241728 CPUtime=25.47 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 63966 0 0 0 2534 13 0 0 25 0 1 0 823023105 247529472 55549 33554432000 4194304 9163163 140737161591504 18446744073709551615 7349397 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 60432 55549 721 1214 0 59214 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 241728
[startup+51.1007 s]
/proc/loadavg: 2.07 2.04 2.01 3/447 12219
/proc/meminfo: memFree=30967028/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=241728 CPUtime=51.08 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 63976 0 0 0 5091 17 0 0 25 0 1 0 823023105 247529472 55559 33554432000 4194304 9163163 140737161591504 18446744073709551615 7277701 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 60432 55559 721 1214 0 59214 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 241728
[startup+102.317 s]
/proc/loadavg: 2.03 2.03 2.00 3/447 12220
/proc/meminfo: memFree=30965728/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=241728 CPUtime=102.29 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 63980 0 0 0 10207 22 0 0 25 0 1 0 823023105 247529472 55563 33554432000 4194304 9163163 140737161591504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 60432 55563 721 1214 0 59214 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 241728
[startup+162.301 s]
/proc/loadavg: 2.15 2.07 2.01 3/447 12221
/proc/meminfo: memFree=30966372/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=238260 CPUtime=162.28 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 64593 0 0 0 16194 34 0 0 25 0 1 0 823023105 243978240 55403 33554432000 4194304 9163163 140737161591504 18446744073709551615 7349313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 59565 55403 772 1214 0 58347 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 238260
[startup+222.301 s]
/proc/loadavg: 2.05 2.05 2.01 3/447 12223
/proc/meminfo: memFree=30967304/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=238260 CPUtime=222.28 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 64953 0 0 0 22183 45 0 0 25 0 1 0 823023105 243978240 55763 33554432000 4194304 9163163 140737161591504 18446744073709551615 6973968 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 59565 55763 774 1214 0 58347 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 238260
[startup+282.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/447 12225
/proc/meminfo: memFree=30965132/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=238260 CPUtime=282.28 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 65424 0 0 0 28174 54 0 0 25 0 1 0 823023105 243978240 56209 33554432000 4194304 9163163 140737161591504 18446744073709551615 7348554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 59565 56209 865 1214 0 58347 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 238260
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/447 12226
/proc/meminfo: memFree=30959984/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=238260 CPUtime=342.28 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 65539 0 0 0 34163 65 0 0 25 0 1 0 823023105 243978240 56209 33554432000 4194304 9163163 140737161591504 18446744073709551615 6284261 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 59565 56209 750 1214 0 58347 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 238260
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 12228
/proc/meminfo: memFree=30959548/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=238260 CPUtime=402.28 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 65583 0 0 0 40154 74 0 0 25 0 1 0 823023105 243978240 56253 33554432000 4194304 9163163 140737161591504 18446744073709551615 7349096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 59565 56253 750 1214 0 58347 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 238260
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 12229
/proc/meminfo: memFree=30955032/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=238260 CPUtime=462.28 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 65586 0 0 0 46147 81 0 0 25 0 1 0 823023105 243978240 56256 33554432000 4194304 9163163 140737161591504 18446744073709551615 7348633 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 59565 56256 750 1214 0 58347 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 238260
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 12231
/proc/meminfo: memFree=30949256/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=238260 CPUtime=522.28 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 65586 0 0 0 52138 90 0 0 25 0 1 0 823023105 243978240 56256 33554432000 4194304 9163163 140737161591504 18446744073709551615 8041869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 59565 56256 750 1214 0 58347 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 238260
[startup+582.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/447 12233
/proc/meminfo: memFree=30948328/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=238260 CPUtime=582.29 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 65663 0 0 0 58125 104 0 0 25 0 1 0 823023105 243978240 56333 33554432000 4194304 9163163 140737161591504 18446744073709551615 7413850 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 59565 56333 750 1214 0 58347 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 238260
[startup+642.301 s]
################
# More data... #
################
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 77286 0 0 0 100063 167 0 0 25 0 1 0 823023105 274595840 63206 33554432000 4194304 9163163 140737161591504 18446744073709551615 7348642 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 67040 63206 727 1214 0 65822 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 268160
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 12245
/proc/meminfo: memFree=30901152/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=279456 CPUtime=1062.3 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 83182 0 0 0 106050 180 0 0 25 0 1 0 823023105 286162944 65820 33554432000 4194304 9163163 140737161591504 18446744073709551615 7348628 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 69864 65820 724 1214 0 68646 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 279456
[startup+1122.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/447 12247
/proc/meminfo: memFree=30883508/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=279456 CPUtime=1122.3 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 83211 0 0 0 112041 189 0 0 25 0 1 0 823023105 286162944 65849 33554432000 4194304 9163163 140737161591504 18446744073709551615 7348646 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 69864 65849 724 1214 0 68646 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 279456
[startup+1182.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/447 12249
/proc/meminfo: memFree=30897220/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=279456 CPUtime=1182.31 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 83217 0 0 0 118035 196 0 0 25 0 1 0 823023105 286162944 65855 33554432000 4194304 9163163 140737161591504 18446744073709551615 6974848 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 69864 65855 724 1214 0 68646 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 279456
[startup+1242.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/447 12250
/proc/meminfo: memFree=30890108/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=272336 CPUtime=1242.31 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 84673 0 0 0 124020 211 0 0 25 0 1 0 823023105 278872064 63112 33554432000 4194304 9163163 140737161591504 18446744073709551615 6973986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 68084 63112 724 1214 0 66866 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 272336
[startup+1302.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/447 12252
/proc/meminfo: memFree=30873684/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=279796 CPUtime=1302.32 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 89806 0 0 0 130011 221 0 0 25 0 1 0 823023105 286511104 67297 33554432000 4194304 9163163 140737161591504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 69949 67297 1031 1214 0 68731 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 279796
[startup+1362.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/447 12253
/proc/meminfo: memFree=30872404/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=279796 CPUtime=1362.31 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 90116 0 0 0 136003 228 0 0 25 0 1 0 823023105 286511104 67300 33554432000 4194304 9163163 140737161591504 18446744073709551615 7348569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 69949 67300 724 1214 0 68731 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 279796
[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 12255
/proc/meminfo: memFree=30868904/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=279796 CPUtime=1422.33 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 90117 0 0 0 141995 238 0 0 25 0 1 0 823023105 286511104 67301 33554432000 4194304 9163163 140737161591504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 69949 67301 724 1214 0 68731 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 279796
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 12257
/proc/meminfo: memFree=30878156/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=268232 CPUtime=1482.31 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 91999 0 0 0 147980 251 0 0 25 0 1 0 823023105 274669568 64791 33554432000 4194304 9163163 140737161591504 18446744073709551615 7348654 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 67058 64791 724 1214 0 65840 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 268232
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 12258
/proc/meminfo: memFree=30868928/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=268232 CPUtime=1542.31 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 91999 0 0 0 153971 260 0 0 25 0 1 0 823023105 274669568 64791 33554432000 4194304 9163163 140737161591504 18446744073709551615 7349353 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 67058 64791 724 1214 0 65840 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 268232
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/448 12261
/proc/meminfo: memFree=30867748/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=268232 CPUtime=1602.31 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 91999 0 0 0 159964 267 0 0 25 0 1 0 823023105 274669568 64791 33554432000 4194304 9163163 140737161591504 18446744073709551615 6973968 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 67058 64791 724 1214 0 65840 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 268232
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 12316
/proc/meminfo: memFree=30363732/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=280056 CPUtime=1662.31 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 95413 0 0 0 165953 278 0 0 25 0 1 0 823023105 286777344 68205 33554432000 4194304 9163163 140737161591504 18446744073709551615 8045656 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 70014 68205 724 1214 0 68796 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 280056
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 12318
/proc/meminfo: memFree=30356816/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=280056 CPUtime=1722.32 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 95536 0 0 0 171935 297 0 0 25 0 1 0 823023105 286777344 68328 33554432000 4194304 9163163 140737161591504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 70014 68328 724 1214 0 68796 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 280056
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 12320
/proc/meminfo: memFree=30343132/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=280056 CPUtime=1782.32 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 95536 0 0 0 177925 307 0 0 25 0 1 0 823023105 286777344 68328 33554432000 4194304 9163163 140737161591504 18446744073709551615 7317913 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 70014 68328 724 1214 0 68796 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 280056
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 12320
/proc/meminfo: memFree=30343976/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=280056 CPUtime=1800.03 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 95536 0 0 0 179694 309 0 0 25 0 1 0 823023105 286777344 68328 33554432000 4194304 9163163 140737161591504 18446744073709551615 7349133 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 70014 68328 724 1214 0 68796 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 280056
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12216
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/448 12321
/proc/meminfo: memFree=30342976/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=280056 CPUtime=1801.42 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 95536 0 0 0 179833 309 0 0 25 0 1 0 823023105 286777344 68328 33554432000 4194304 9163163 140737161591504 18446744073709551615 7348322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 70014 68328 724 1214 0 68796 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 280056
[startup+1801.82 s]
/proc/loadavg: 2.00 2.00 2.00 3/448 12321
/proc/meminfo: memFree=30342976/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=280056 CPUtime=1801.83 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 95536 0 0 0 179874 309 0 0 25 0 1 0 823023105 286777344 68328 33554432000 4194304 9163163 140737161591504 18446744073709551615 7349114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 70014 68328 724 1214 0 68796 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 280056
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/448 12321
/proc/meminfo: memFree=30342976/32950928 swapFree=34365992/67111528
[pid=12216] ppid=12214 vsize=280056 CPUtime=1802.02 cores=1,3,5,7
/proc/12216/stat : 12216 (scip-2.0.1.4b.l) R 12214 12216 10081 0 -1 4202496 95536 0 0 0 179893 309 0 0 25 0 1 0 823023105 286777344 68328 33554432000 4194304 9163163 140737161591504 18446744073709551615 7317888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12216/statm: 70014 68328 724 1214 0 68796 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 280056
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.03
CPU time (s): 1802.06
CPU user time (s): 1798.95
CPU system time (s): 3.10653
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 280056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.95
system time used= 3.10653
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95536
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 4351
runsolver used 7.51486 second user time and 18.7861 second system time
The end