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-3452713-1307090249.opb>
0.09/0.16 c original problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 27842 constraints
0.09/0.16 c problem read
0.09/0.16 c presolving settings loaded
0.19/0.22 o 0
0.19/0.22 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.22 c presolving:
0.29/0.33 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 27842 upgd conss, 55684 impls, 0 clqs
0.59/0.61 c (0.6s) probing: 101/595 (17.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.61 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.59/0.61 c presolving (2 rounds):
0.59/0.61 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.61 c 55684 implications, 0 cliques
0.59/0.61 c presolved problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 27842 constraints
0.59/0.61 c 27842 constraints of type <setppc>
0.59/0.61 c transformed objective value is always integral (scale: 1)
0.59/0.61 c Presolving Time: 0.44
0.59/0.61 c - non default parameters ----------------------------------------------------------------------
0.59/0.61 c # SCIP version 2.0.1.4
0.59/0.61 c
0.59/0.61 c # frequency for displaying node information lines
0.59/0.61 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.61 c display/freq = 10000
0.59/0.61 c
0.59/0.61 c # maximal time in seconds to run
0.59/0.61 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.61 c limits/time = 1800
0.59/0.61 c
0.59/0.61 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.61 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.61 c limits/memory = 13950
0.59/0.61 c
0.59/0.61 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.61 c # [type: int, range: [1,2], default: 1]
0.59/0.61 c timing/clocktype = 2
0.59/0.61 c
0.59/0.61 c # belongs reading time to solving time?
0.59/0.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.61 c timing/reading = TRUE
0.59/0.61 c
0.59/0.61 c # should presolving try to simplify inequalities
0.59/0.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.61 c constraints/linear/simplifyinequalities = TRUE
0.59/0.61 c
0.59/0.61 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.59/0.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.61 c constraints/indicator/addCouplingCons = TRUE
0.59/0.61 c
0.59/0.61 c # should presolving try to simplify knapsacks
0.59/0.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.61 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.61 c
0.59/0.61 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.61 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.61 c separating/rapidlearning/freq = 0
0.59/0.61 c
0.59/0.61 c -----------------------------------------------------------------------------------------------
0.59/0.61 c start solving
0.59/0.61 c
0.89/0.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.90 c t 0.9s| 1 | 0 | 598 | - | 32M| 0 | 595 | 595 | 27k| 595 | 27k| 0 | 0 | 0 |-2.975000e+02 | 0.000000e+00 | 100.00%
0.89/0.92 o -1
0.89/0.92 c R 0.9s| 1 | 0 | 598 | - | 32M| 0 | 595 | 595 | 27k| 595 | 27k| 0 | 0 | 0 |-2.975000e+02 |-1.000000e+00 | 99.66%
1.29/1.39 c 1.4s| 1 | 0 | 809 | - | 32M| 0 | 548 | 595 | 27k| 595 | 27k| 7 | 0 | 0 |-2.740000e+02 |-1.000000e+00 | 99.64%
1.39/1.40 o -24
1.39/1.40 c b 1.4s| 1 | 0 | 809 | - | 32M| 0 | 548 | 595 | 27k| 595 | 27k| 7 | 0 | 0 |-2.740000e+02 |-2.400000e+01 | 91.24%
1.89/1.91 c 1.9s| 1 | 0 | 933 | - | 32M| 0 | 506 | 595 | 27k| 595 | 27k| 25 | 0 | 0 |-2.530000e+02 |-2.400000e+01 | 90.51%
2.49/2.56 c 2.6s| 1 | 0 | 1140 | - | 32M| 0 | 465 | 595 | 27k| 595 | 27k| 44 | 0 | 0 |-2.325000e+02 |-2.400000e+01 | 89.68%
3.09/3.21 c 3.2s| 1 | 0 | 1258 | - | 32M| 0 | 428 | 595 | 27k| 595 | 27k| 57 | 0 | 0 |-2.140000e+02 |-2.400000e+01 | 88.79%
3.79/3.86 c 3.9s| 1 | 0 | 1433 | - | 33M| 0 | 396 | 595 | 27k| 595 | 27k| 63 | 0 | 0 |-1.980000e+02 |-2.400000e+01 | 87.88%
4.69/4.77 c 4.8s| 1 | 0 | 2171 | - | 33M| 0 | 370 | 595 | 27k| 595 | 27k| 75 | 0 | 0 |-1.850000e+02 |-2.400000e+01 | 87.03%
5.60/5.63 c 5.6s| 1 | 0 | 2644 | - | 33M| 0 | 334 | 595 | 27k| 595 | 27k| 86 | 0 | 0 |-1.670000e+02 |-2.400000e+01 | 85.63%
6.39/6.43 c 6.4s| 1 | 0 | 2984 | - | 33M| 0 | 307 | 595 | 27k| 595 | 27k| 95 | 0 | 0 |-1.535000e+02 |-2.400000e+01 | 84.36%
7.39/7.40 c 7.4s| 1 | 0 | 3905 | - | 33M| 0 | 262 | 595 | 27k| 595 | 27k| 108 | 0 | 0 |-1.310000e+02 |-2.400000e+01 | 81.68%
8.19/8.29 c 8.3s| 1 | 0 | 4892 | - | 33M| 0 | 230 | 595 | 27k| 595 | 27k| 119 | 0 | 0 |-1.150000e+02 |-2.400000e+01 | 79.13%
8.89/8.97 c 9.0s| 1 | 0 | 6339 | - | 33M| 0 | 187 | 595 | 27k| 595 | 27k| 132 | 0 | 0 |-9.350000e+01 |-2.400000e+01 | 74.33%
9.29/9.33 c 9.3s| 1 | 0 | 6730 | - | 33M| 0 | 170 | 595 | 27k| 595 | 27k| 142 | 0 | 0 |-8.500000e+01 |-2.400000e+01 | 71.76%
9.91/9.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.91/9.94 c 9.9s| 1 | 0 | 7872 | - | 33M| 0 | 145 | 595 | 27k| 595 | 27k| 153 | 0 | 0 |-7.250000e+01 |-2.400000e+01 | 66.90%
10.19/10.22 c 10.2s| 1 | 0 | 8113 | - | 33M| 0 | 136 | 595 | 27k| 595 | 28k| 162 | 0 | 0 |-6.266667e+01 |-2.400000e+01 | 61.70%
10.49/10.54 c 10.5s| 1 | 0 | 8554 | - | 33M| 0 | 122 | 595 | 27k| 595 | 28k| 170 | 0 | 0 |-5.550000e+01 |-2.400000e+01 | 56.76%
10.69/10.77 c 10.8s| 1 | 0 | 8668 | - | 33M| 0 | 102 | 595 | 27k| 595 | 28k| 178 | 0 | 0 |-5.000000e+01 |-2.400000e+01 | 52.00%
11.01/11.04 c 11.0s| 1 | 0 | 8836 | - | 33M| 0 | 106 | 595 | 27k| 595 | 28k| 190 | 0 | 0 |-4.475000e+01 |-2.400000e+01 | 46.37%
11.29/11.33 c 11.3s| 1 | 0 | 9159 | - | 33M| 0 | 167 | 595 | 27k| 595 | 28k| 199 | 0 | 0 |-3.993750e+01 |-2.400000e+01 | 39.91%
11.59/11.68 c 11.7s| 1 | 0 | 9686 | - | 33M| 0 | 196 | 595 | 27k| 595 | 28k| 208 | 0 | 0 |-3.593750e+01 |-2.400000e+01 | 33.22%
11.89/11.95 c 11.9s| 1 | 0 | 9809 | - | 33M| 0 | 183 | 595 | 27k| 595 | 28k| 215 | 0 | 0 |-3.500000e+01 |-2.400000e+01 | 31.43%
14.49/14.53 c 14.5s| 1 | 0 | 9881 | - | 33M| 0 | 179 | 595 | 27k| 595 | 28k| 227 | 0 | 0 |-3.500000e+01 |-2.400000e+01 | 31.43%
16.69/16.76 c 16.8s| 1 | 0 | 10258 | - | 33M| 0 | 160 | 595 | 27k| 595 | 28k| 237 | 0 | 0 |-3.500000e+01 |-2.400000e+01 | 31.43%
17.39/17.40 c 17.4s| 1 | 0 | 10527 | - | 33M| 0 | 136 | 595 | 27k| 595 | 27k| 250 | 0 | 0 |-3.500000e+01 |-2.400000e+01 | 31.43%
19.59/19.70 c 19.7s| 1 | 0 | 10641 | - | 33M| 0 | 147 | 595 | 27k| 595 | 28k| 260 | 0 | 0 |-3.500000e+01 |-2.400000e+01 | 31.43%
22.69/22.73 c 22.7s| 1 | 0 | 11669 | - | 33M| 0 | 165 | 595 | 27k| 595 | 28k| 271 | 0 | 0 |-3.500000e+01 |-2.400000e+01 | 31.43%
28.89/28.93 c 28.9s| 1 | 2 | 11669 | - | 33M| 0 | 165 | 595 | 27k| 595 | 28k| 271 | 0 | 33 |-3.500000e+01 |-2.400000e+01 | 31.43%
48.79/48.80 o -25
48.79/48.80 c *48.8s| 13 | 12 | 12845 | 98.0 | 34M| 12 | - | 595 | 27k| 595 | 27k| 271 | 0 | 293 |-3.500000e+01 |-2.500000e+01 | 28.57%
49.40/49.50 o -26
49.40/49.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.40/49.50 c *49.5s| 15 | 10 | 12901 | 88.0 | 34M| 13 | - | 595 | 27k| 595 | 27k| 271 | 0 | 329 |-3.500000e+01 |-2.600000e+01 | 25.71%
61.39/61.51 o -27
61.39/61.51 c r61.5s| 24 | 17 | 14398 | 118.7 | 34M| 13 | 4 | 595 | 27k| 595 | 27k| 271 | 0 | 491 |-3.500000e+01 |-2.700000e+01 | 22.86%
61.39/61.51 o -28
61.39/61.51 c R61.5s| 24 | 16 | 14398 | 118.7 | 34M| 13 | 4 | 595 | 27k| 595 | 27k| 271 | 0 | 491 |-3.500000e+01 |-2.800000e+01 | 20.00%
72.39/72.47 o -29
72.39/72.47 c p72.5s| 40 | 29 | 15307 | 93.3 | 35M| 15 | - | 595 | 27k| 595 | 27k| 271 | 0 | 790 |-3.500000e+01 |-2.900000e+01 | 17.14%
109.90/109.99 o -30
109.90/109.99 c * 110s| 895 | 358 | 47792 | 40.4 | 42M| 52 | - | 595 | 27k| 595 | 27k| 271 | 0 |1185 |-3.500000e+01 |-3.000000e+01 | 14.29%
119.99/120.09 o -31
119.99/120.09 c * 120s| 1373 | 360 | 59859 | 35.1 | 43M| 63 | - | 595 | 27k| 595 | 27k| 271 | 0 |1271 |-3.500000e+01 |-3.100000e+01 | 11.43%
323.41/323.45 c 323s| 10000 | 3485 |362803 | 35.1 | 100M| 95 | 51 | 595 | 27k| 595 | 27k| 271 | 0 |2303 |-3.500000e+01 |-3.100000e+01 | 11.43%
504.60/504.67 o -32
504.60/504.67 c g 505s| 18732 | 4042 |634747 | 33.3 | 118M| 95 | - | 595 | 27k| 595 | 27k| 271 | 0 |3159 |-3.500000e+01 |-3.200000e+01 | 8.57%
527.80/527.81 c 528s| 20000 | 4304 |669336 | 32.9 | 122M| 96 | 61 | 595 | 27k| 595 | 27k| 271 | 0 |3264 |-3.500000e+01 |-3.200000e+01 | 8.57%
710.90/710.92 c 711s| 30000 | 6170 |951462 | 31.3 | 157M| 97 | 68 | 595 | 27k| 595 | 27k| 271 | 0 |4173 |-3.500000e+01 |-3.200000e+01 | 8.57%
863.70/863.77 c 864s| 40000 | 7878 | 1223k| 30.3 | 188M| 97 | - | 595 | 27k| 595 | 27k| 271 | 0 |4187 |-3.500000e+01 |-3.200000e+01 | 8.57%
1041.21/1041.23 c 1041s| 50000 | 9500 | 1497k| 29.7 | 218M| 97 | - | 595 | 27k| 595 | 27k| 271 | 0 |5059 |-3.500000e+01 |-3.200000e+01 | 8.57%
1204.82/1204.82 c 1205s| 60000 | 10964 | 1758k| 29.1 | 245M| 97 | 47 | 595 | 27k| 595 | 27k| 271 | 0 |5626 |-3.500000e+01 |-3.200000e+01 | 8.57%
1246.71/1246.75 o -33
1246.71/1246.75 c *1247s| 62734 | 5509 | 1830k| 29.0 | 157M| 97 | - | 595 | 27k| 595 | 27k| 271 | 0 |5678 |-3.500000e+01 |-3.300000e+01 | 5.71%
1366.23/1366.21 c 1366s| 70000 | 5789 | 2010k| 28.6 | 165M| 97 | - | 595 | 27k| 595 | 27k| 271 | 0 |6172 |-3.500000e+01 |-3.300000e+01 | 5.71%
1525.12/1525.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1525.12/1525.19 c 1525s| 80000 | 6485 | 2263k| 28.2 | 183M| 97 | 57 | 595 | 27k| 595 | 27k| 271 | 0 |6709 |-3.500000e+01 |-3.300000e+01 | 5.71%
1686.42/1686.48 c 1686s| 90000 | 7039 | 2523k| 27.9 | 196M| 97 | - | 595 | 27k| 595 | 27k| 271 | 0 |7229 |-3.500000e+01 |-3.300000e+01 | 5.71%
1800.02/1800.01 c
1800.02/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.02/1800.01 c Solving Time (sec) : 1800.01
1800.02/1800.01 c Solving Nodes : 96723
1800.02/1800.01 c Primal Bound : -3.30000000000000e+01 (499 solutions)
1800.02/1800.01 c Dual Bound : -3.50000000000000e+01
1800.02/1800.01 c Gap : 5.71 %
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-3452713-1307090249/watcher-3452713-1307090249 -o /tmp/evaluation-result-3452713-1307090249/solver-3452713-1307090249 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452713-1307090249.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.00 1.29 1.66 3/442 9870
/proc/meminfo: memFree=31442896/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=10908 CPUtime=0 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 1723 0 0 0 0 0 0 0 20 0 1 0 820623661 11169792 1676 33554432000 4194304 9128323 140737019008224 18446744073709551615 8012251 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9870/statm: 2727 1676 400 1205 0 1518 0
[startup+0.0368861 s]
/proc/loadavg: 1.00 1.29 1.66 3/442 9870
/proc/meminfo: memFree=31442896/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=13256 CPUtime=0.03 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 2301 0 0 0 3 0 0 0 20 0 1 0 820623661 13574144 2253 33554432000 4194304 9128323 140737019008224 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9870/statm: 3314 2253 400 1205 0 2105 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13256
[startup+0.100899 s]
/proc/loadavg: 1.00 1.29 1.66 3/442 9870
/proc/meminfo: memFree=31442896/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=15600 CPUtime=0.09 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 2918 0 0 0 9 0 0 0 20 0 1 0 820623661 15974400 2869 33554432000 4194304 9128323 140737019008224 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9870/statm: 3900 2869 400 1205 0 2691 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15600
[startup+0.300867 s]
/proc/loadavg: 1.00 1.29 1.66 3/442 9870
/proc/meminfo: memFree=31442896/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=55248 CPUtime=0.29 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 13249 0 0 0 28 1 0 0 21 0 1 0 820623661 56573952 12440 33554432000 4194304 9128323 140737019008224 18446744073709551615 18446744073699066034 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 13812 12440 514 1205 0 12603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55248
[startup+0.7008 s]
/proc/loadavg: 1.00 1.29 1.66 3/442 9870
/proc/meminfo: memFree=31442896/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=93384 CPUtime=0.69 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 23648 0 0 0 67 2 0 0 22 0 1 0 820623661 95625216 21557 33554432000 4194304 9128323 140737019008224 18446744073709551615 7312716 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 23346 21557 627 1205 0 22137 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 93384
[startup+1.50066 s]
/proc/loadavg: 1.00 1.29 1.66 3/447 9876
/proc/meminfo: memFree=31189392/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=103364 CPUtime=1.49 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 26660 0 0 0 146 3 0 0 25 0 1 0 820623661 105844736 23832 33554432000 4194304 9128323 140737019008224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 25841 23832 704 1205 0 24632 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 103364
[startup+3.10031 s]
/proc/loadavg: 1.08 1.31 1.66 3/447 9876
/proc/meminfo: memFree=31155364/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=103808 CPUtime=3.09 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 27297 0 0 0 306 3 0 0 25 0 1 0 820623661 106299392 24449 33554432000 4194304 9128323 140737019008224 18446744073709551615 6694272 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 25952 24449 687 1205 0 24743 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 103808
[startup+6.30075 s]
/proc/loadavg: 1.08 1.31 1.66 3/447 9876
/proc/meminfo: memFree=31013636/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=105952 CPUtime=6.29 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 27856 0 0 0 624 5 0 0 25 0 1 0 820623661 108494848 24993 33554432000 4194304 9128323 140737019008224 18446744073709551615 7315282 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 26488 24993 675 1205 0 25279 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 105952
[startup+12.7007 s]
/proc/loadavg: 1.22 1.33 1.67 3/447 9877
/proc/meminfo: memFree=30975500/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=106268 CPUtime=12.69 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 28116 0 0 0 1259 10 0 0 25 0 1 0 820623661 108818432 25253 33554432000 4194304 9128323 140737019008224 18446744073709551615 8008905 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 26567 25253 691 1205 0 25358 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 106268
[startup+25.5004 s]
/proc/loadavg: 1.34 1.35 1.67 3/447 9877
/proc/meminfo: memFree=30935784/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=142960 CPUtime=25.49 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 37376 0 0 0 2519 30 0 0 25 0 1 0 820623661 146391040 34439 33554432000 4194304 9128323 140737019008224 18446744073709551615 6941071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 35740 34439 726 1205 0 34531 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 142960
[startup+51.1009 s]
/proc/loadavg: 1.56 1.40 1.68 3/447 9878
/proc/meminfo: memFree=30934088/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=142960 CPUtime=51.09 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 37377 0 0 0 5058 51 0 0 25 0 1 0 820623661 146391040 34440 33554432000 4194304 9128323 140737019008224 18446744073709551615 7343104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 35740 34440 727 1205 0 34531 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 142960
[startup+102.317 s]
/proc/loadavg: 1.82 1.50 1.69 3/447 9879
/proc/meminfo: memFree=30916184/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=144524 CPUtime=102.3 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 37949 0 0 0 10129 101 0 0 25 0 1 0 820623661 147992576 35006 33554432000 4194304 9128323 140737019008224 18446744073709551615 7267311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 36131 35006 721 1205 0 34922 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 144524
[startup+162.3 s]
/proc/loadavg: 1.93 1.58 1.71 3/447 9881
/proc/meminfo: memFree=30829476/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=142788 CPUtime=162.29 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 46863 0 0 0 16060 169 0 0 25 0 1 0 820623661 146214912 34750 33554432000 4194304 9128323 140737019008224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 35697 34750 729 1205 0 34488 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 142788
[startup+222.301 s]
/proc/loadavg: 2.06 1.69 1.73 3/447 9882
/proc/meminfo: memFree=30862816/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=151864 CPUtime=222.29 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 57357 0 0 0 21994 235 0 0 25 0 1 0 820623661 155508736 36726 33554432000 4194304 9128323 140737019008224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 37966 36726 731 1205 0 36757 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 151864
[startup+282.3 s]
/proc/loadavg: 2.02 1.74 1.75 3/447 9884
/proc/meminfo: memFree=30849648/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=167120 CPUtime=282.29 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 69868 0 0 0 27928 301 0 0 25 0 1 0 820623661 171130880 40368 33554432000 4194304 9128323 140737019008224 18446744073709551615 7217752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 41780 40368 729 1205 0 40571 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 167120
[startup+342.301 s]
/proc/loadavg: 2.01 1.79 1.76 3/447 9885
/proc/meminfo: memFree=30835860/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=180832 CPUtime=342.29 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 81851 0 0 0 33873 356 0 0 25 0 1 0 820623661 185171968 43775 33554432000 4194304 9128323 140737019008224 18446744073709551615 7315205 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 45208 43775 729 1205 0 43999 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 180832
[startup+402.301 s]
/proc/loadavg: 2.00 1.82 1.77 3/447 9887
/proc/meminfo: memFree=30818968/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=197972 CPUtime=402.3 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 86162 0 0 0 39826 404 0 0 25 0 1 0 820623661 202723328 48086 33554432000 4194304 9128323 140737019008224 18446744073709551615 7207309 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 49493 48086 729 1205 0 48284 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 197972
[startup+462.3 s]
/proc/loadavg: 2.00 1.85 1.78 3/447 9889
/proc/meminfo: memFree=30804052/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=212828 CPUtime=462.29 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 98522 0 0 0 45772 457 0 0 25 0 1 0 820623661 217935872 51828 33554432000 4194304 9128323 140737019008224 18446744073709551615 7192387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 53207 51828 729 1205 0 51998 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 212828
[startup+522.301 s]
/proc/loadavg: 2.14 1.92 1.81 3/447 9890
/proc/meminfo: memFree=30789760/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=225608 CPUtime=522.3 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 119139 0 0 0 51714 516 0 0 25 0 1 0 820623661 231022592 55130 33554432000 4194304 9128323 140737019008224 18446744073709551615 7191120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 56402 55130 729 1205 0 55193 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 225608
[startup+582.3 s]
/proc/loadavg: 2.05 1.93 1.82 3/447 9892
/proc/meminfo: memFree=30786260/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=228572 CPUtime=582.3 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 135843 0 0 0 57657 573 0 0 25 0 1 0 820623661 234057728 55907 33554432000 4194304 9128323 140737019008224 18446744073709551615 7013774 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 57143 55907 729 1205 0 55934 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 228572
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.08 1.99 1.85 3/447 9898
/proc/meminfo: memFree=30756212/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=261396 CPUtime=822.31 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 161055 0 0 0 81461 770 0 0 25 0 1 0 820623661 267669504 63761 33554432000 4194304 9128323 140737019008224 18446744073709551615 5853196 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 65349 63761 729 1205 0 64140 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 261396
[startup+882.3 s]
/proc/loadavg: 2.03 1.99 1.86 3/447 9900
/proc/meminfo: memFree=30741168/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=274652 CPUtime=882.3 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 164531 0 0 0 87414 816 0 0 25 0 1 0 820623661 281243648 67236 33554432000 4194304 9128323 140737019008224 18446744073709551615 7216792 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 68663 67236 729 1205 0 67454 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 274652
[startup+942.301 s]
/proc/loadavg: 2.01 1.99 1.87 3/447 9901
/proc/meminfo: memFree=30735936/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=281928 CPUtime=942.31 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 174538 0 0 0 93362 869 0 0 25 0 1 0 820623661 288694272 68945 33554432000 4194304 9128323 140737019008224 18446744073709551615 7342760 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 70482 68945 729 1205 0 69273 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 281928
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/447 9903
/proc/meminfo: memFree=30719156/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=297740 CPUtime=1002.31 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 178519 0 0 0 99311 920 0 0 25 0 1 0 820623661 304885760 72920 33554432000 4194304 9128323 140737019008224 18446744073709551615 7192336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 74435 72920 729 1205 0 73226 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 297740
[startup+1062.3 s]
/proc/loadavg: 2.09 2.02 1.89 3/447 9904
/proc/meminfo: memFree=30709696/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=306384 CPUtime=1062.31 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 180896 0 0 0 105261 970 0 0 25 0 1 0 820623661 313737216 75297 33554432000 4194304 9128323 140737019008224 18446744073709551615 7207613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 76596 75297 729 1205 0 75387 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 306384
[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 1.90 3/447 9906
/proc/meminfo: memFree=30698124/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=318144 CPUtime=1122.31 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 183654 0 0 0 111215 1016 0 0 25 0 1 0 820623661 325779456 78049 33554432000 4194304 9128323 140737019008224 18446744073709551615 7346406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 79536 78049 729 1205 0 78327 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 318144
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 1.90 3/447 9908
/proc/meminfo: memFree=30686412/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=328640 CPUtime=1182.31 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 186442 0 0 0 117169 1062 0 0 25 0 1 0 820623661 336527360 80830 33554432000 4194304 9128323 140737019008224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 82160 80830 730 1205 0 80951 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 328640
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/447 9909
/proc/meminfo: memFree=30676088/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=335832 CPUtime=1242.31 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 188259 0 0 0 123123 1108 0 0 25 0 1 0 820623661 343891968 82646 33554432000 4194304 9128323 140737019008224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 83958 82646 729 1205 0 82749 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 335832
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/447 9911
/proc/meminfo: memFree=30667132/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=336188 CPUtime=1302.33 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 229362 0 0 0 129056 1177 0 0 25 0 1 0 820623661 344256512 82494 33554432000 4194304 9128323 140737019008224 18446744073709551615 7192387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 84047 82494 729 1205 0 82838 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 336188
[startup+1362.3 s]
/proc/loadavg: 2.07 2.03 1.92 3/447 9913
/proc/meminfo: memFree=30662256/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=336780 CPUtime=1362.32 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 237853 0 0 0 135003 1229 0 0 25 0 1 0 820623661 344862720 82701 33554432000 4194304 9128323 140737019008224 18446744073709551615 7013765 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 84195 82701 729 1205 0 82986 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 336780
[startup+1422.32 s]
/proc/loadavg: 2.05 2.04 1.93 3/447 9923
/proc/meminfo: memFree=30651628/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=338732 CPUtime=1422.34 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 238495 0 0 0 140958 1276 0 0 25 0 1 0 820623661 346861568 83343 33554432000 4194304 9128323 140737019008224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 84683 83343 729 1205 0 83474 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 338732
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 1.93 3/447 9925
/proc/meminfo: memFree=30646916/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=337320 CPUtime=1482.32 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 246463 0 0 0 146905 1327 0 0 25 0 1 0 820623661 345415680 83002 33554432000 4194304 9128323 140737019008224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 84330 83002 729 1205 0 83121 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 337320
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/447 9926
/proc/meminfo: memFree=30639948/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=338692 CPUtime=1542.32 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 246789 0 0 0 152860 1372 0 0 25 0 1 0 820623661 346820608 83328 33554432000 4194304 9128323 140737019008224 18446744073709551615 7267033 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 84673 83328 729 1205 0 83464 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 338692
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/447 9928
/proc/meminfo: memFree=30634084/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=338916 CPUtime=1602.32 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 246995 0 0 0 158813 1419 0 0 25 0 1 0 820623661 347049984 83534 33554432000 4194304 9128323 140737019008224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 84729 83534 729 1205 0 83520 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 338916
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 1.93 3/447 9933
/proc/meminfo: memFree=30629592/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=337192 CPUtime=1662.33 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 254618 0 0 0 164762 1471 0 0 25 0 1 0 820623661 345284608 82726 33554432000 4194304 9128323 140737019008224 18446744073709551615 7267353 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 84298 82726 729 1205 0 83089 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 337192
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/447 9934
/proc/meminfo: memFree=30622608/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=341864 CPUtime=1722.33 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 256060 0 0 0 170711 1522 0 0 25 0 1 0 820623661 350068736 84159 33554432000 4194304 9128323 140737019008224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 85466 84159 729 1205 0 84257 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 341864
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/447 9936
/proc/meminfo: memFree=30612272/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=344796 CPUtime=1782.33 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 256761 0 0 0 176666 1567 0 0 25 0 1 0 820623661 353071104 84860 33554432000 4194304 9128323 140737019008224 18446744073709551615 7192183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 86199 84860 729 1205 0 84990 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 344796
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 1.93 3/447 9936
/proc/meminfo: memFree=30610032/32950928 swapFree=34365992/67111528
[pid=9870] ppid=9868 vsize=344796 CPUtime=1800.03 cores=1,3,5,7
/proc/9870/stat : 9870 (scip-2.0.1.4.li) R 9868 9870 6518 0 -1 4202496 256790 0 0 0 178424 1579 0 0 25 0 1 0 820623661 353071104 84889 33554432000 4194304 9128323 140737019008224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9870/statm: 86199 84889 729 1205 0 84990 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 344796
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.07
CPU user time (s): 1784.26
CPU system time (s): 15.8136
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 367628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.26
system time used= 15.8136
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 256790
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= 2535
runsolver used 7.52585 second user time and 18.6912 second system time
The end