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-3451903-1307115517.opb>
0.39/0.44 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 62145 constraints
0.39/0.44 c problem read
0.39/0.44 c presolving settings loaded
0.59/0.62 o 0
0.59/0.62 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.59/0.62 c presolving:
0.69/0.71 c (round 1) 202 del vars, 202 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.89/0.92 c (round 2) 202 del vars, 960 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 61185 upgd conss, 2340 impls, 0 clqs
0.89/0.99 c (1.0s) probing: 101/1823 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.99 c (1.0s) probing aborted: 100/100 successive totally useless probings
0.89/0.99 c presolving (3 rounds):
0.89/0.99 c 202 deleted vars, 960 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.99 c 2340 implications, 0 cliques
0.89/0.99 c presolved problem has 1823 variables (1823 bin, 0 int, 0 impl, 0 cont) and 61185 constraints
0.89/0.99 c 968 constraints of type <setppc>
0.89/0.99 c 60217 constraints of type <logicor>
0.89/0.99 c transformed objective value is always integral (scale: 1)
0.89/0.99 c Presolving Time: 0.50
0.89/0.99 c - non default parameters ----------------------------------------------------------------------
0.89/0.99 c # SCIP version 2.0.1.4
0.89/0.99 c
0.89/0.99 c # frequency for displaying node information lines
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.99 c display/freq = 10000
0.89/0.99 c
0.89/0.99 c # maximal time in seconds to run
0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.99 c limits/time = 1800
0.89/0.99 c
0.89/0.99 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.99 c limits/memory = 13950
0.89/0.99 c
0.89/0.99 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.99 c # [type: int, range: [1,2], default: 1]
0.89/0.99 c timing/clocktype = 2
0.89/0.99 c
0.89/0.99 c # belongs reading time to solving time?
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c timing/reading = TRUE
0.89/0.99 c
0.89/0.99 c # should presolving try to simplify inequalities
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c constraints/linear/simplifyinequalities = TRUE
0.89/0.99 c
0.89/0.99 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c constraints/indicator/addCouplingCons = TRUE
0.89/0.99 c
0.89/0.99 c # should presolving try to simplify knapsacks
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.99 c
0.89/0.99 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.99 c separating/rapidlearning/freq = 0
0.89/0.99 c
0.89/0.99 c -----------------------------------------------------------------------------------------------
0.89/0.99 c start solving
0.89/0.99 c
64.29/64.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.29/64.34 c t64.3s| 1 | 0 | 28165 | - | 74M| 0 |1812 |1823 | 61k|1823 | 61k| 0 | 0 | 0 |-2.737111e+02 | 0.000000e+00 | 100.00%
64.39/64.40 o -21
64.39/64.40 c R64.4s| 1 | 0 | 28165 | - | 74M| 0 |1812 |1823 | 61k|1823 | 61k| 0 | 0 | 0 |-2.737111e+02 |-2.100000e+01 | 92.33%
64.39/64.48 o -23
64.39/64.48 c s64.5s| 1 | 0 | 28165 | - | 74M| 0 |1812 |1823 | 61k|1823 | 61k| 0 | 0 | 0 |-2.737111e+02 |-2.300000e+01 | 91.60%
124.99/125.08 c 125s| 1 | 0 | 49217 | - | 76M| 0 |1808 |1823 | 61k|1823 | 61k| 5 | 0 | 0 |-2.711708e+02 |-2.300000e+01 | 91.52%
124.99/125.09 o -47
124.99/125.09 c b 125s| 1 | 0 | 49217 | - | 76M| 0 |1808 |1823 | 61k|1823 | 61k| 5 | 0 | 0 |-2.711708e+02 |-4.700000e+01 | 82.67%
282.30/282.33 c 282s| 1 | 0 | 80747 | - | 79M| 0 |1819 |1823 | 61k|1823 | 61k| 12 | 0 | 0 |-2.630173e+02 |-4.700000e+01 | 82.13%
282.30/282.37 o -51
282.30/282.37 c b 282s| 1 | 0 | 80747 | - | 79M| 0 |1819 |1823 | 61k|1823 | 61k| 12 | 0 | 0 |-2.630173e+02 |-5.100000e+01 | 80.61%
457.31/457.30 c 457s| 1 | 0 |117678 | - | 79M| 0 |1812 |1823 | 61k|1823 | 61k| 15 | 0 | 0 |-2.610484e+02 |-5.100000e+01 | 80.46%
510.33/510.36 c 510s| 1 | 0 |126110 | - | 84M| 0 |1812 |1823 | 61k|1823 | 61k| 18 | 0 | 0 |-2.609809e+02 |-5.100000e+01 | 80.46%
668.61/668.62 c 669s| 1 | 0 |162295 | - | 88M| 0 |1819 |1823 | 61k|1823 | 61k| 25 | 0 | 0 |-2.582523e+02 |-5.100000e+01 | 80.25%
820.81/820.89 c 821s| 1 | 0 |197606 | - | 94M| 0 |1807 |1823 | 61k|1823 | 61k| 40 | 0 | 0 |-2.518629e+02 |-5.100000e+01 | 79.75%
979.61/979.62 c 980s| 1 | 0 |230252 | - | 96M| 0 |1808 |1823 | 61k|1823 | 61k| 46 | 0 | 0 |-2.503416e+02 |-5.100000e+01 | 79.63%
1200.43/1200.44 c 1200s| 1 | 0 |271374 | - | 99M| 0 |1809 |1823 | 61k|1823 | 61k| 55 | 0 | 0 |-2.476131e+02 |-5.100000e+01 | 79.40%
1325.45/1325.48 c 1325s| 1 | 0 |294162 | - | 101M| 0 |1814 |1823 | 61k|1823 | 61k| 59 | 0 | 0 |-2.472150e+02 |-5.100000e+01 | 79.37%
1522.14/1522.15 c 1522s| 1 | 0 |329789 | - | 107M| 0 |1811 |1823 | 61k|1823 | 61k| 61 | 0 | 0 |-2.468274e+02 |-5.100000e+01 | 79.34%
1593.96/1593.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1593.96/1593.93 c 1594s| 1 | 0 |342737 | - | 114M| 0 |1809 |1823 | 61k|1823 | 61k| 63 | 0 | 0 |-2.462599e+02 |-5.100000e+01 | 79.29%
1765.24/1765.22 c 1765s| 1 | 0 |374407 | - | 119M| 0 |1809 |1823 | 61k|1823 | 61k| 69 | 0 | 0 |-2.450366e+02 |-5.100000e+01 | 79.19%
1800.04/1800.00 c 1800s| 1 | 0 |374407 | - | 119M| 0 | - |1823 | 61k|1823 | 61k| 71 | 0 | 0 |-2.450366e+02 |-5.100000e+01 | 79.19%
1800.04/1800.01 c 1800s| 1 | 2 |374407 | - | 119M| 0 | - |1823 | 61k|1823 | 61k| 71 | 0 | 0 |-2.450366e+02 |-5.100000e+01 | 79.19%
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Solving Time (sec) : 1800.01
1800.04/1800.01 c Solving Nodes : 1
1800.04/1800.01 c Primal Bound : -5.10000000000002e+01 (6 solutions)
1800.04/1800.01 c Dual Bound : -2.45036622888210e+02
1800.04/1800.01 c Gap : 79.19 %
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-3451903-1307115517/watcher-3451903-1307115517 -o /tmp/evaluation-result-3451903-1307115517/solver-3451903-1307115517 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3451903-1307115517.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.96 2.03 2.00 3/550 23438
/proc/meminfo: memFree=21098248/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=12496 CPUtime=0.01 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 2129 0 0 0 1 0 0 0 25 0 1 0 823152096 12795904 2083 33554432000 4194304 9128323 140735676502320 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23438/statm: 3124 2083 400 1205 0 1915 0
[startup+0.0727051 s]
/proc/loadavg: 1.96 2.03 2.00 3/550 23438
/proc/meminfo: memFree=21098248/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=15524 CPUtime=0.07 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 2883 0 0 0 7 0 0 0 25 0 1 0 823152096 15896576 2836 33554432000 4194304 9128323 140735676502320 18446744073709551615 7929187 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23438/statm: 3881 2836 400 1205 0 2672 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15524
[startup+0.100702 s]
/proc/loadavg: 1.96 2.03 2.00 3/550 23438
/proc/meminfo: memFree=21098248/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=16820 CPUtime=0.09 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 3216 0 0 0 9 0 0 0 25 0 1 0 823152096 17223680 3168 33554432000 4194304 9128323 140735676502320 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23438/statm: 4205 3168 400 1205 0 2996 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16820
[startup+0.300662 s]
/proc/loadavg: 1.96 2.03 2.00 3/550 23438
/proc/meminfo: memFree=21098248/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=24224 CPUtime=0.29 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 5067 0 0 0 29 0 0 0 25 0 1 0 823152096 24805376 5016 33554432000 4194304 9128323 140735676502320 18446744073709551615 7998156 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23438/statm: 6056 5016 400 1205 0 4847 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24224
[startup+0.700555 s]
/proc/loadavg: 1.96 2.03 2.00 3/550 23438
/proc/meminfo: memFree=21098248/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=88408 CPUtime=0.69 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 23983 0 0 0 67 2 0 0 25 0 1 0 823152096 90529792 20723 33554432000 4194304 9128323 140735676502320 18446744073709551615 4708501 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 22102 20723 516 1205 0 20893 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88408
[startup+1.50042 s]
/proc/loadavg: 1.96 2.03 2.00 3/551 23439
/proc/meminfo: memFree=20997924/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=203360 CPUtime=1.49 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 54393 0 0 0 144 5 0 0 18 0 1 0 823152096 208240640 45787 33554432000 4194304 9128323 140735676502320 18446744073709551615 7278872 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 50840 45787 910 1205 0 49631 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 203360
[startup+3.10116 s]
/proc/loadavg: 1.96 2.03 2.00 3/551 23439
/proc/meminfo: memFree=20899716/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=215968 CPUtime=3.09 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 60156 0 0 0 303 6 0 0 21 0 1 0 823152096 221151232 50604 33554432000 4194304 9128323 140735676502320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 53992 50604 951 1205 0 52783 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 215968
[startup+6.30058 s]
/proc/loadavg: 1.96 2.03 2.00 3/551 23439
/proc/meminfo: memFree=20890176/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=219792 CPUtime=6.29 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 62137 0 0 0 622 7 0 0 25 0 1 0 823152096 225067008 52188 33554432000 4194304 9128323 140735676502320 18446744073709551615 7077395 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 54948 52188 734 1205 0 53739 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 219792
[startup+12.7004 s]
/proc/loadavg: 1.96 2.03 2.00 3/551 23439
/proc/meminfo: memFree=20871324/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=238140 CPUtime=12.69 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 66788 0 0 0 1260 9 0 0 25 0 1 0 823152096 243855360 56750 33554432000 4194304 9128323 140735676502320 18446744073709551615 7381240 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 59535 56750 695 1205 0 58326 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 238140
[startup+25.5011 s]
/proc/loadavg: 1.97 2.03 2.00 3/551 23439
/proc/meminfo: memFree=20871332/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=238140 CPUtime=25.49 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 66849 0 0 0 2539 10 0 0 25 0 1 0 823152096 243855360 56769 33554432000 4194304 9128323 140735676502320 18446744073709551615 7316161 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 59535 56769 653 1205 0 58326 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 238140
[startup+51.1004 s]
/proc/loadavg: 1.98 2.03 2.00 3/551 23440
/proc/meminfo: memFree=20870428/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=238784 CPUtime=51.09 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 67043 0 0 0 5097 12 0 0 25 0 1 0 823152096 244514816 56932 33554432000 4194304 9128323 140735676502320 18446744073709551615 7316182 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 59696 56932 649 1205 0 58487 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 238784
[startup+102.321 s]
/proc/loadavg: 1.99 2.02 2.00 3/551 23441
/proc/meminfo: memFree=20891356/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=218756 CPUtime=102.31 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 67891 0 0 0 10214 17 0 0 25 0 1 0 823152096 224006144 51822 33554432000 4194304 9128323 140735676502320 18446744073709551615 7316174 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 54689 51822 709 1205 0 53480 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 218756
[startup+162.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/551 23443
/proc/meminfo: memFree=20870584/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=236252 CPUtime=162.29 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 73331 0 0 0 16203 26 0 0 25 0 1 0 823152096 241922048 56575 33554432000 4194304 9128323 140735676502320 18446744073709551615 6280372 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 59063 56575 844 1205 0 57854 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 236252
[startup+222.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/551 23445
/proc/meminfo: memFree=20873672/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=232700 CPUtime=222.3 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 76979 0 0 0 22198 32 0 0 25 0 1 0 823152096 238284800 55872 33554432000 4194304 9128323 140735676502320 18446744073709551615 6941086 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 58175 55872 1186 1205 0 56966 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 232700
[startup+282.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/551 23446
/proc/meminfo: memFree=20873044/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=232700 CPUtime=282.3 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 77007 0 0 0 28193 37 0 0 25 0 1 0 823152096 238284800 55875 33554432000 4194304 9128323 140735676502320 18446744073709551615 7346389 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 58175 55875 1161 1205 0 56966 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 232700
[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/551 23448
/proc/meminfo: memFree=20870292/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=237848 CPUtime=342.3 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 77708 0 0 0 34187 43 0 0 25 0 1 0 823152096 243556352 56117 33554432000 4194304 9128323 140735676502320 18446744073709551615 7315261 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 59462 56117 702 1205 0 58253 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 237848
[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 23449
/proc/meminfo: memFree=20869044/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=237848 CPUtime=402.3 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 77872 0 0 0 40182 48 0 0 25 0 1 0 823152096 243556352 56281 33554432000 4194304 9128323 140735676502320 18446744073709551615 7241303 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 59462 56281 702 1205 0 58253 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 237848
[startup+462.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/551 23451
/proc/meminfo: memFree=20857748/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=245024 CPUtime=462.31 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 81246 0 0 0 46177 54 0 0 25 0 1 0 823152096 250904576 58866 33554432000 4194304 9128323 140735676502320 18446744073709551615 7018424 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 61256 58866 702 1205 0 60047 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 245024
[startup+522.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/551 23452
/proc/meminfo: memFree=20854500/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=247420 CPUtime=522.31 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 81937 0 0 0 52169 62 0 0 25 0 1 0 823152096 253358080 59544 33554432000 4194304 9128323 140735676502320 18446744073709551615 7077378 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 61855 59544 689 1205 0 60646 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 247420
[startup+582.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/551 23481
/proc/meminfo: memFree=20765192/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=261840 CPUtime=582.31 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 85136 0 0 0 58163 68 0 0 25 0 1 0 823152096 268124160 62730 33554432000 4194304 9128323 140735676502320 18446744073709551615 7316174 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 65460 62730 1529 1205 0 64251 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 261840
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/551 23487
/proc/meminfo: memFree=20761924/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=261840 CPUtime=822.31 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 85586 0 0 0 82147 84 0 0 25 0 1 0 823152096 268124160 62995 33554432000 4194304 9128323 140735676502320 18446744073709551615 6632579 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 65460 62995 1345 1205 0 64251 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 261840
[startup+882.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/551 23489
/proc/meminfo: memFree=20755940/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=261840 CPUtime=882.32 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 87040 0 0 0 88140 92 0 0 25 0 1 0 823152096 268124160 64221 33554432000 4194304 9128323 140735676502320 18446744073709551615 7315717 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 65460 64221 1117 1205 0 64251 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 261840
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 23491
/proc/meminfo: memFree=20756056/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=261840 CPUtime=942.31 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 87106 0 0 0 94135 96 0 0 25 0 1 0 823152096 268124160 64221 33554432000 4194304 9128323 140735676502320 18446744073709551615 7316152 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 65460 64221 1051 1205 0 64251 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 261840
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 23492
/proc/meminfo: memFree=20756792/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=261840 CPUtime=1002.32 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 87125 0 0 0 100130 102 0 0 25 0 1 0 823152096 268124160 64221 33554432000 4194304 9128323 140735676502320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 65460 64221 1032 1205 0 64251 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 261840
[startup+1062.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/551 23494
/proc/meminfo: memFree=20771028/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=259412 CPUtime=1062.32 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 88665 0 0 0 106123 109 0 0 25 0 1 0 823152096 265637888 60489 33554432000 4194304 9128323 140735676502320 18446744073709551615 6941055 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 64853 60489 882 1205 0 63644 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 259412
[startup+1122.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/551 23496
/proc/meminfo: memFree=20769644/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=259412 CPUtime=1122.33 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 88794 0 0 0 112119 114 0 0 25 0 1 0 823152096 265637888 60596 33554432000 4194304 9128323 140735676502320 18446744073709551615 7244731 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 64853 60596 860 1205 0 63644 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 259412
[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/551 23497
/proc/meminfo: memFree=20760204/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=266684 CPUtime=1182.32 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 92455 0 0 0 118115 117 0 0 25 0 1 0 823152096 273084416 64243 33554432000 4194304 9128323 140735676502320 18446744073709551615 7284969 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 66671 64243 2657 1205 0 65462 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 266684
[startup+1242.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/551 23499
/proc/meminfo: memFree=20758196/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=266684 CPUtime=1242.33 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 92499 0 0 0 124109 124 0 0 25 0 1 0 823152096 273084416 64244 33554432000 4194304 9128323 140735676502320 18446744073709551615 6702400 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 66671 64244 2615 1205 0 65462 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 266684
[startup+1302.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/551 23500
/proc/meminfo: memFree=20749136/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=270436 CPUtime=1302.35 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 98760 0 0 0 130105 130 0 0 25 0 1 0 823152096 276926464 65129 33554432000 4194304 9128323 140735676502320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 67609 65129 1305 1205 0 66400 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 270436
[startup+1362.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/551 23511
/proc/meminfo: memFree=20759700/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=263516 CPUtime=1362.33 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 100244 0 0 0 136096 137 0 0 25 0 1 0 823152096 269840384 61954 33554432000 4194304 9128323 140735676502320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 65879 61954 850 1205 0 64670 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 263516
[startup+1422.32 s]
/proc/loadavg: 2.01 2.04 2.00 3/551 23513
/proc/meminfo: memFree=20733772/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=285892 CPUtime=1422.35 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 106682 0 0 0 142092 143 0 0 25 0 1 0 823152096 292753408 68233 33554432000 4194304 9128323 140735676502320 18446744073709551615 7316174 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 71473 68233 691 1205 0 70264 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 285892
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 23514
/proc/meminfo: memFree=20724588/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=293204 CPUtime=1482.34 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 108650 0 0 0 148086 148 0 0 25 0 1 0 823152096 300240896 70201 33554432000 4194304 9128323 140735676502320 18446744073709551615 7315689 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 73301 70201 691 1205 0 72092 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 293204
[startup+1542.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/551 23519
/proc/meminfo: memFree=20722540/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=293204 CPUtime=1542.33 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 108702 0 0 0 154080 153 0 0 25 0 1 0 823152096 300240896 70253 33554432000 4194304 9128323 140735676502320 18446744073709551615 7018454 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 73301 70253 691 1205 0 72092 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 293204
[startup+1602.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/551 23520
/proc/meminfo: memFree=20727832/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=281804 CPUtime=1602.33 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 109535 0 0 0 160073 160 0 0 25 0 1 0 823152096 288567296 68104 33554432000 4194304 9128323 140735676502320 18446744073709551615 6694354 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 70451 68104 691 1205 0 69242 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 281804
[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/551 23522
/proc/meminfo: memFree=20722120/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=285640 CPUtime=1662.34 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 110261 0 0 0 166068 166 0 0 25 0 1 0 823152096 292495360 68830 33554432000 4194304 9128323 140735676502320 18446744073709551615 7315625 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 71410 68830 691 1205 0 70201 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 285640
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/551 23523
/proc/meminfo: memFree=20721116/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=285640 CPUtime=1722.34 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 110323 0 0 0 172064 170 0 0 25 0 1 0 823152096 292495360 68892 33554432000 4194304 9128323 140735676502320 18446744073709551615 7244757 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 71410 68892 691 1205 0 70201 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 285640
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 23525
/proc/meminfo: memFree=20718244/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=285640 CPUtime=1782.35 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 110326 0 0 0 178059 176 0 0 25 0 1 0 823152096 292495360 68895 33554432000 4194304 9128323 140735676502320 18446744073709551615 8012607 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23438/statm: 71410 68895 691 1205 0 70201 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 285640
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.14 2.06 2.01 3/551 23526
/proc/meminfo: memFree=20717744/32951124 swapFree=53733252/67111528
[pid=23438] ppid=23436 vsize=285640 CPUtime=1800.06 cores=0,2,4,6
/proc/23438/stat : 23438 (scip-2.0.1.4.li) R 23436 23438 21496 0 -1 4202496 110331 0 0 0 179828 178 0 0 25 0 1 0 823152096 292495360 68900 33554432000 4194304 9128323 140735676502320 18446744073709551615 5379173 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23438/statm: 71410 68900 696 1205 0 70201 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 285640
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.09
CPU user time (s): 1798.29
CPU system time (s): 1.79873
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 293204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.29
system time used= 1.79873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110331
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= 6
involuntary context switches= 3702
runsolver used 10.6494 second user time and 22.0227 second system time
The end