0.00/0.00 c SCIP version 2.0.1.4 [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-3452362-1307109826.opb>
0.09/0.10 c original problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1501 constraints
0.09/0.10 c problem read
0.09/0.10 c presolving settings loaded
0.19/0.29 o 0
0.19/0.29 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.29 c presolving:
0.69/0.75 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 298608 impls, 1000 clqs
1.49/1.58 c (1.6s) probing: 101/38460 (0.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.49/1.58 c (1.6s) probing aborted: 100/100 successive totally useless probings
1.49/1.58 c presolving (2 rounds):
1.49/1.58 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.49/1.58 c 298608 implications, 1000 cliques
1.49/1.58 c presolved problem has 38460 variables (38460 bin, 0 int, 0 impl, 0 cont) and 38961 constraints
1.49/1.58 c 1500 constraints of type <setppc>
1.49/1.58 c 37460 constraints of type <and>
1.49/1.58 c 1 constraints of type <linear>
1.49/1.58 c transformed objective value is always integral (scale: 1)
1.49/1.58 c Presolving Time: 1.47
1.49/1.58 c - non default parameters ----------------------------------------------------------------------
1.49/1.58 c # SCIP version 2.0.1.4
1.49/1.58 c
1.49/1.58 c # frequency for displaying node information lines
1.49/1.58 c # [type: int, range: [-1,2147483647], default: 100]
1.49/1.58 c display/freq = 10000
1.49/1.58 c
1.49/1.58 c # maximal time in seconds to run
1.49/1.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.58 c limits/time = 1800
1.49/1.58 c
1.49/1.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.49/1.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.58 c limits/memory = 13950
1.49/1.58 c
1.49/1.58 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.49/1.58 c # [type: int, range: [1,2], default: 1]
1.49/1.58 c timing/clocktype = 2
1.49/1.58 c
1.49/1.58 c # belongs reading time to solving time?
1.49/1.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.58 c timing/reading = TRUE
1.49/1.58 c
1.49/1.58 c # should presolving try to simplify inequalities
1.49/1.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.58 c constraints/linear/simplifyinequalities = TRUE
1.49/1.58 c
1.49/1.58 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.49/1.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.58 c constraints/indicator/addCouplingCons = TRUE
1.49/1.58 c
1.49/1.58 c # should presolving try to simplify knapsacks
1.49/1.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.58 c constraints/knapsack/simplifyinequalities = TRUE
1.49/1.58 c
1.49/1.58 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.49/1.58 c # [type: int, range: [-1,2147483647], default: -1]
1.49/1.58 c separating/rapidlearning/freq = 0
1.49/1.58 c
1.49/1.58 c -----------------------------------------------------------------------------------------------
1.49/1.58 c start solving
1.49/1.59 c
280.06/280.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
280.06/280.17 c t 280s| 1 | 0 | 32152 | - | 163M| 0 | 19k| 38k| 38k| 38k| 76k| 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
280.16/280.26 o -8
280.16/280.26 c s 280s| 1 | 0 | 32152 | - | 165M| 0 | 19k| 38k| 38k| 38k| 76k| 0 | 0 | 0 |-2.500000e+02 |-8.000000e+00 | 96.80%
282.67/282.74 o -9
282.67/282.74 c U 283s| 1 | 0 | 32152 | - | 173M| 0 | 19k| 38k| 38k| 38k| 76k| 0 | 0 | 0 |-2.500000e+02 |-9.000000e+00 | 96.40%
706.19/706.22 c 706s| 1 | 0 | 68029 | - | 173M| 0 | 19k| 38k| 38k| 38k| 76k| 144 | 0 | 0 |-2.500000e+02 |-9.000000e+00 | 96.40%
912.07/912.11 c 912s| 1 | 0 | 86725 | - | 173M| 0 | 19k| 38k| 38k| 38k| 76k| 312 | 0 | 0 |-2.500000e+02 |-9.000000e+00 | 96.40%
912.17/912.20 o -10
912.17/912.20 c s 912s| 1 | 0 | 86725 | - | 174M| 0 | 19k| 38k| 38k| 38k| 76k| 312 | 0 | 0 |-2.500000e+02 |-1.000000e+01 | 96.00%
1073.08/1073.12 c 1073s| 1 | 0 |101786 | - | 174M| 0 | 19k| 38k| 38k| 38k| 76k| 377 | 0 | 0 |-2.500000e+02 |-1.000000e+01 | 96.00%
1164.89/1165.00 c 1165s| 1 | 0 |110357 | - | 175M| 0 | 19k| 38k| 38k| 38k| 76k| 409 | 0 | 0 |-2.500000e+02 |-1.000000e+01 | 96.00%
1235.48/1235.59 c 1236s| 1 | 0 |116291 | - | 175M| 0 | 19k| 38k| 38k| 38k| 76k| 430 | 0 | 0 |-2.500000e+02 |-1.000000e+01 | 96.00%
1327.28/1327.39 c 1327s| 1 | 0 |124866 | - | 175M| 0 | 19k| 38k| 38k| 38k| 76k| 446 | 0 | 0 |-2.500000e+02 |-1.000000e+01 | 96.00%
1591.48/1591.58 c 1592s| 1 | 2 |124866 | - | 176M| 0 | 19k| 38k| 38k| 38k| 76k| 446 | 0 | 27 |-2.500000e+02 |-1.000000e+01 | 96.00%
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-3452362-1307109826/watcher-3452362-1307109826 -o /tmp/evaluation-result-3452362-1307109826/solver-3452362-1307109826 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452362-1307109826.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.18 2.07 2.01 2/530 30098
/proc/meminfo: memFree=15064704/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=11796 CPUtime=0.01 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 1960 0 0 0 1 0 0 0 21 0 1 0 822581222 12079104 1913 33554432000 4194304 9128323 140734417594656 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30098/statm: 2949 1913 401 1205 0 1740 0
[startup+0.0800231 s]
/proc/loadavg: 2.18 2.07 2.01 2/530 30098
/proc/meminfo: memFree=15064704/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=15588 CPUtime=0.07 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 2901 0 0 0 7 0 0 0 21 0 1 0 822581222 15962112 2854 33554432000 4194304 9128323 140734417594656 18446744073709551615 7907745 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30098/statm: 3897 2854 401 1205 0 2688 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15588
[startup+0.101015 s]
/proc/loadavg: 2.18 2.07 2.01 2/530 30098
/proc/meminfo: memFree=15064704/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=17032 CPUtime=0.09 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 3244 0 0 0 9 0 0 0 21 0 1 0 822581222 17440768 3197 33554432000 4194304 9128323 140734417594656 18446744073709551615 7929187 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30098/statm: 4258 3197 401 1205 0 3049 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17032
[startup+0.300989 s]
/proc/loadavg: 2.18 2.07 2.01 2/530 30098
/proc/meminfo: memFree=15064704/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=87068 CPUtime=0.29 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 20807 0 0 0 27 2 0 0 22 0 1 0 822581222 89157632 20348 33554432000 4194304 9128323 140734417594656 18446744073709551615 5966455 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 21767 20348 491 1205 0 20558 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 87068
[startup+0.700919 s]
/proc/loadavg: 2.18 2.07 2.01 2/530 30098
/proc/meminfo: memFree=15064704/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=104132 CPUtime=0.69 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 25846 0 0 0 67 2 0 0 24 0 1 0 822581222 106631168 24633 33554432000 4194304 9128323 140734417594656 18446744073709551615 5266466 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 26033 24633 519 1205 0 24824 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 104132
[startup+1.50078 s]
/proc/loadavg: 2.25 2.08 2.02 4/531 30099
/proc/meminfo: memFree=14958740/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=117120 CPUtime=1.49 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 29257 0 0 0 147 2 0 0 25 0 1 0 822581222 119930880 28028 33554432000 4194304 9128323 140734417594656 18446744073709551615 5973216 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 29280 28028 651 1205 0 28071 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 117120
[startup+3.10051 s]
/proc/loadavg: 2.25 2.08 2.02 4/531 30099
/proc/meminfo: memFree=14788116/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=315400 CPUtime=3.09 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 78298 0 0 0 301 8 0 0 20 0 1 0 822581222 322969600 73762 33554432000 4194304 9128323 140734417594656 18446744073709551615 7315625 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 78850 73762 769 1205 0 77641 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 315400
[startup+6.30096 s]
/proc/loadavg: 2.25 2.08 2.02 3/531 30099
/proc/meminfo: memFree=14751904/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=327796 CPUtime=6.29 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 83040 0 0 0 619 10 0 0 25 0 1 0 822581222 335663104 78072 33554432000 4194304 9128323 140734417594656 18446744073709551615 6941071 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 81949 78072 694 1205 0 80740 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 327796
[startup+12.7009 s]
/proc/loadavg: 2.21 2.08 2.02 3/531 30099
/proc/meminfo: memFree=14744676/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=332936 CPUtime=12.69 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 84919 0 0 0 1258 11 0 0 25 0 1 0 822581222 340926464 79820 33554432000 4194304 9128323 140734417594656 18446744073709551615 7284410 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 83234 79820 670 1205 0 82025 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 332936
[startup+25.5007 s]
/proc/loadavg: 2.18 2.08 2.01 3/531 30129
/proc/meminfo: memFree=14758752/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=332936 CPUtime=25.49 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 84919 0 0 0 2537 12 0 0 25 0 1 0 822581222 340926464 79820 33554432000 4194304 9128323 140734417594656 18446744073709551615 7083044 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 83234 79820 670 1205 0 82025 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 332936
[startup+51.1012 s]
/proc/loadavg: 2.24 2.10 2.02 3/531 30129
/proc/meminfo: memFree=14326612/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=333320 CPUtime=51.08 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 84957 0 0 0 5092 16 0 0 25 0 1 0 822581222 341319680 79854 33554432000 4194304 9128323 140734417594656 18446744073709551615 7326668 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 83330 79854 670 1205 0 82121 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 333320
[startup+102.3 s]
/proc/loadavg: 2.13 2.10 2.02 3/531 30131
/proc/meminfo: memFree=14295780/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=344276 CPUtime=102.28 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 87795 0 0 0 10207 21 0 0 25 0 1 0 822581222 352538624 82666 33554432000 4194304 9128323 140734417594656 18446744073709551615 7315605 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 86069 82666 644 1205 0 84860 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 344276
[startup+162.301 s]
/proc/loadavg: 2.05 2.08 2.02 3/531 30133
/proc/meminfo: memFree=14286292/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=355700 CPUtime=162.26 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 89838 0 0 0 16201 25 0 0 25 0 1 0 822581222 364236800 84709 33554432000 4194304 9128323 140734417594656 18446744073709551615 7356784 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 88925 84709 644 1205 0 87716 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 355700
[startup+222.321 s]
/proc/loadavg: 2.02 2.06 2.01 4/531 30136
/proc/meminfo: memFree=14263416/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=355700 CPUtime=222.28 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 89969 0 0 0 22198 30 0 0 25 0 1 0 822581222 364236800 84840 33554432000 4194304 9128323 140734417594656 18446744073709551615 7316170 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 88925 84840 644 1205 0 87716 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 355700
[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/531 30138
/proc/meminfo: memFree=14106304/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=491148 CPUtime=282.26 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 134437 0 0 0 28173 53 0 0 25 0 1 0 822581222 502935552 120529 33554432000 4194304 9128323 140734417594656 18446744073709551615 4967319 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 122787 120529 679 1205 0 121578 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 491148
[startup+342.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/531 30140
/proc/meminfo: memFree=14093020/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=515204 CPUtime=342.26 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142150 0 0 0 34163 63 0 0 25 0 1 0 822581222 527568896 127804 33554432000 4194304 9128323 140734417594656 18446744073709551615 7357560 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127804 742 1205 0 127592 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 515204
[startup+402.301 s]
/proc/loadavg: 2.14 2.07 2.01 3/531 30142
/proc/meminfo: memFree=14087428/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=515204 CPUtime=402.26 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142154 0 0 0 40158 68 0 0 25 0 1 0 822581222 527568896 127804 33554432000 4194304 9128323 140734417594656 18446744073709551615 7313976 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127804 738 1205 0 127592 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 515204
[startup+462.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/531 30142
/proc/meminfo: memFree=14087172/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=515204 CPUtime=462.26 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142154 0 0 0 46153 73 0 0 25 0 1 0 822581222 527568896 127804 33554432000 4194304 9128323 140734417594656 18446744073709551615 7315582 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127804 738 1205 0 127592 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 515204
[startup+522.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/531 30144
/proc/meminfo: memFree=14087292/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=515204 CPUtime=522.26 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142154 0 0 0 52149 77 0 0 25 0 1 0 822581222 527568896 127804 33554432000 4194304 9128323 140734417594656 18446744073709551615 7357416 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127804 738 1205 0 127592 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 515204
[startup+582.301 s]
/proc/loadavg: 2.11 2.06 2.01 3/531 30146
/proc/meminfo: memFree=14087280/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=515204 CPUtime=582.27 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142154 0 0 0 58145 82 0 0 25 0 1 0 822581222 527568896 127804 33554432000 4194304 9128323 140734417594656 18446744073709551615 7280589 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127804 738 1205 0 127592 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 515204
[startup+642.301 s]
################
# More data... #
################
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142154 0 0 0 100118 109 0 0 25 0 1 0 822581222 527568896 127804 33554432000 4194304 9128323 140734417594656 18446744073709551615 7279245 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127804 738 1205 0 127592 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 515204
[startup+1062.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/531 30158
/proc/meminfo: memFree=14063420/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=515204 CPUtime=1062.27 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142154 0 0 0 106114 113 0 0 25 0 1 0 822581222 527568896 127804 33554432000 4194304 9128323 140734417594656 18446744073709551615 7282694 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127804 738 1205 0 127592 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 515204
[startup+1122.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/531 30160
/proc/meminfo: memFree=14063408/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=515204 CPUtime=1122.28 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142154 0 0 0 112111 117 0 0 25 0 1 0 822581222 527568896 127804 33554432000 4194304 9128323 140734417594656 18446744073709551615 7286080 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127804 738 1205 0 127592 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 515204
[startup+1182.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/531 30162
/proc/meminfo: memFree=14062284/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=515204 CPUtime=1182.27 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142154 0 0 0 118104 123 0 0 25 0 1 0 822581222 527568896 127804 33554432000 4194304 9128323 140734417594656 18446744073709551615 6239480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127804 738 1205 0 127592 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 515204
[startup+1242.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/531 30164
/proc/meminfo: memFree=14060424/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=515204 CPUtime=1242.28 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142154 0 0 0 124099 129 0 0 25 0 1 0 822581222 527568896 127804 33554432000 4194304 9128323 140734417594656 18446744073709551615 7018551 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127804 738 1205 0 127592 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 515204
[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/531 30166
/proc/meminfo: memFree=14061536/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=515204 CPUtime=1302.28 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142154 0 0 0 130094 134 0 0 25 0 1 0 822581222 527568896 127804 33554432000 4194304 9128323 140734417594656 18446744073709551615 7286080 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127804 738 1205 0 127592 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 515204
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 30166
/proc/meminfo: memFree=14060408/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=515204 CPUtime=1362.28 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142159 0 0 0 136089 139 0 0 25 0 1 0 822581222 527568896 127809 33554432000 4194304 9128323 140734417594656 18446744073709551615 7315702 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127809 743 1205 0 127592 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 515204
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 30168
/proc/meminfo: memFree=14061760/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=515204 CPUtime=1422.29 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142159 0 0 0 142086 143 0 0 25 0 1 0 822581222 527568896 127809 33554432000 4194304 9128323 140734417594656 18446744073709551615 7313479 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127809 743 1205 0 127592 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 515204
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 30170
/proc/meminfo: memFree=14061500/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=515204 CPUtime=1482.28 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142159 0 0 0 148080 148 0 0 25 0 1 0 822581222 527568896 127809 33554432000 4194304 9128323 140734417594656 18446744073709551615 7081514 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127809 743 1205 0 127592 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 515204
[startup+1542.32 s]
/proc/loadavg: 2.11 2.04 2.01 3/531 30172
/proc/meminfo: memFree=14062856/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=515204 CPUtime=1542.3 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142159 0 0 0 154077 153 0 0 25 0 1 0 822581222 527568896 127809 33554432000 4194304 9128323 140734417594656 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127809 743 1205 0 127592 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 515204
[startup+1602.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/531 30174
/proc/meminfo: memFree=14062344/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=515204 CPUtime=1602.28 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142161 0 0 0 160070 158 0 0 25 0 1 0 822581222 527568896 127811 33554432000 4194304 9128323 140734417594656 18446744073709551615 7278876 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127811 745 1205 0 127592 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 515204
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/531 30174
/proc/meminfo: memFree=14062332/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=515204 CPUtime=1662.29 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142161 0 0 0 166064 165 0 0 25 0 1 0 822581222 527568896 127811 33554432000 4194304 9128323 140734417594656 18446744073709551615 7285023 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127811 745 1205 0 127592 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 515204
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/531 30176
/proc/meminfo: memFree=14062448/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=515204 CPUtime=1722.28 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142161 0 0 0 172059 169 0 0 25 0 1 0 822581222 527568896 127811 33554432000 4194304 9128323 140734417594656 18446744073709551615 7314027 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127811 745 1205 0 127592 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 515204
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/531 30178
/proc/meminfo: memFree=14061200/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=515204 CPUtime=1782.29 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142161 0 0 0 178053 176 0 0 25 0 1 0 822581222 527568896 127811 33554432000 4194304 9128323 140734417594656 18446744073709551615 7284961 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127811 745 1205 0 127592 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 515204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.10 2.05 2.00 3/531 30178
/proc/meminfo: memFree=14060332/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=515204 CPUtime=1800.11 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142161 0 0 0 179833 178 0 0 25 0 1 0 822581222 527568896 127811 33554432000 4194304 9128323 140734417594656 18446744073709551615 7285016 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127811 745 1205 0 127592 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 515204
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -30098
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.09 2.04 2.00 3/532 30179
/proc/meminfo: memFree=14059828/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=515204 CPUtime=1801.49 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142161 0 0 0 179971 178 0 0 25 0 1 0 822581222 527568896 127811 33554432000 4194304 9128323 140734417594656 18446744073709551615 7285023 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127811 745 1205 0 127592 0
Current children cumulated CPU time (s) 1801.49
Current children cumulated vsize (KiB) 515204
[startup+1801.92 s]
/proc/loadavg: 2.09 2.04 2.00 3/532 30179
/proc/meminfo: memFree=14060324/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=515204 CPUtime=1801.91 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142161 0 0 0 180013 178 0 0 25 0 1 0 822581222 527568896 127811 33554432000 4194304 9128323 140734417594656 18446744073709551615 7357398 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127811 745 1205 0 127592 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 515204
[startup+1802.1 s]
/proc/loadavg: 2.09 2.04 2.00 3/532 30179
/proc/meminfo: memFree=14060324/32951132 swapFree=46579808/67111528
[pid=30098] ppid=30096 vsize=515204 CPUtime=1802.09 cores=1,3,5,7
/proc/30098/stat : 30098 (scip-2.0.1.4.li) R 30096 30098 28716 0 -1 4202496 142161 0 0 0 180031 178 0 0 25 0 1 0 822581222 527568896 127811 33554432000 4194304 9128323 140734417594656 18446744073709551615 7314624 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30098/statm: 128801 127811 745 1205 0 127592 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 515204
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.14
CPU time (s): 1802.14
CPU user time (s): 1800.34
CPU system time (s): 1.80572
CPU usage (%): 99.9998
Max. virtual memory (cumulated for all children) (KiB): 520728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.34
system time used= 1.80572
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142161
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= 3
involuntary context switches= 21675
runsolver used 9.36658 second user time and 23.1935 second system time
The end