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-3452588-1307089318.opb>
0.49/0.53 c original problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94226 constraints
0.49/0.53 c problem read
0.49/0.53 c presolving settings loaded
0.69/0.75 o 0
0.69/0.75 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.69/0.75 c presolving:
1.11/1.17 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 94226 upgd conss, 188452 impls, 0 clqs
2.49/2.51 c (2.5s) probing: 101/1272 (7.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.49/2.51 c (2.5s) probing aborted: 100/100 successive totally useless probings
2.49/2.51 c presolving (2 rounds):
2.49/2.51 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.49/2.51 c 188452 implications, 0 cliques
2.49/2.51 c presolved problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94226 constraints
2.49/2.51 c 94226 constraints of type <setppc>
2.49/2.51 c transformed objective value is always integral (scale: 1)
2.49/2.51 c Presolving Time: 1.92
2.49/2.51 c - non default parameters ----------------------------------------------------------------------
2.49/2.51 c # SCIP version 2.0.1.4
2.49/2.51 c
2.49/2.51 c # frequency for displaying node information lines
2.49/2.51 c # [type: int, range: [-1,2147483647], default: 100]
2.49/2.51 c display/freq = 10000
2.49/2.51 c
2.49/2.51 c # maximal time in seconds to run
2.49/2.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.49/2.51 c limits/time = 1800
2.49/2.51 c
2.49/2.51 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.49/2.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.49/2.51 c limits/memory = 13950
2.49/2.51 c
2.49/2.51 c # default clock type (1: CPU user seconds, 2: wall clock time)
2.49/2.51 c # [type: int, range: [1,2], default: 1]
2.49/2.51 c timing/clocktype = 2
2.49/2.51 c
2.49/2.51 c # belongs reading time to solving time?
2.49/2.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.51 c timing/reading = TRUE
2.49/2.51 c
2.49/2.51 c # should presolving try to simplify inequalities
2.49/2.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.51 c constraints/linear/simplifyinequalities = TRUE
2.49/2.51 c
2.49/2.51 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.49/2.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.51 c constraints/indicator/addCouplingCons = TRUE
2.49/2.51 c
2.49/2.51 c # should presolving try to simplify knapsacks
2.49/2.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.51 c constraints/knapsack/simplifyinequalities = TRUE
2.49/2.51 c
2.49/2.51 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.49/2.51 c # [type: int, range: [-1,2147483647], default: -1]
2.49/2.51 c separating/rapidlearning/freq = 0
2.49/2.51 c
2.49/2.51 c -----------------------------------------------------------------------------------------------
2.49/2.51 c start solving
2.49/2.51 c
4.31/4.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.31/4.41 c t 4.4s| 1 | 0 | 1272 | - | 109M| 0 |1272 |1272 | 94k|1272 | 94k| 0 | 0 | 0 |-6.360000e+02 | 0.000000e+00 | 100.00%
4.41/4.49 o -1
4.41/4.49 c R 4.5s| 1 | 0 | 1272 | - | 109M| 0 |1272 |1272 | 94k|1272 | 94k| 0 | 0 | 0 |-6.360000e+02 |-1.000000e+00 | 99.84%
5.99/6.02 c 6.0s| 1 | 0 | 1529 | - | 109M| 0 |1205 |1272 | 94k|1272 | 94k| 6 | 0 | 0 |-6.025000e+02 |-1.000000e+00 | 99.83%
5.99/6.04 o -38
5.99/6.04 c b 6.0s| 1 | 0 | 1529 | - | 109M| 0 |1205 |1272 | 94k|1272 | 94k| 6 | 0 | 0 |-6.025000e+02 |-3.800000e+01 | 93.69%
7.99/8.09 c 8.1s| 1 | 0 | 1747 | - | 109M| 0 |1140 |1272 | 94k|1272 | 94k| 13 | 0 | 0 |-5.700000e+02 |-3.800000e+01 | 93.33%
11.01/11.07 c 11.1s| 1 | 0 | 1923 | - | 109M| 0 |1093 |1272 | 94k|1272 | 94k| 22 | 0 | 0 |-5.457500e+02 |-3.800000e+01 | 93.04%
14.39/14.49 c 14.5s| 1 | 0 | 2195 | - | 109M| 0 |1039 |1272 | 94k|1272 | 94k| 47 | 0 | 0 |-5.187500e+02 |-3.800000e+01 | 92.67%
18.39/18.44 c 18.4s| 1 | 0 | 2605 | - | 109M| 0 | 968 |1272 | 94k|1272 | 94k| 61 | 0 | 0 |-4.832500e+02 |-3.800000e+01 | 92.14%
22.89/22.96 c 23.0s| 1 | 0 | 2765 | - | 109M| 0 | 917 |1272 | 94k|1272 | 94k| 75 | 0 | 0 |-4.577500e+02 |-3.800000e+01 | 91.70%
27.69/27.76 c 27.8s| 1 | 0 | 3052 | - | 109M| 0 | 868 |1272 | 94k|1272 | 94k| 87 | 0 | 0 |-4.335000e+02 |-3.800000e+01 | 91.23%
32.69/32.74 c 32.7s| 1 | 0 | 3327 | - | 109M| 0 | 841 |1272 | 94k|1272 | 94k| 99 | 0 | 0 |-4.205000e+02 |-3.800000e+01 | 90.96%
38.30/38.32 c 38.3s| 1 | 0 | 3952 | - | 109M| 0 | 792 |1272 | 94k|1272 | 94k| 118 | 0 | 0 |-3.950000e+02 |-3.800000e+01 | 90.38%
44.89/45.00 c 45.0s| 1 | 0 | 5465 | - | 109M| 0 | 721 |1272 | 94k|1272 | 94k| 132 | 0 | 0 |-3.605000e+02 |-3.800000e+01 | 89.46%
46.39/46.42 c 46.4s| 1 | 0 | 5854 | - | 109M| 0 | 672 |1272 | 94k|1272 | 94k| 150 | 0 | 0 |-3.360000e+02 |-3.800000e+01 | 88.69%
49.29/49.38 c 49.4s| 1 | 0 | 7514 | - | 109M| 0 | 625 |1272 | 94k|1272 | 94k| 164 | 0 | 0 |-3.125000e+02 |-3.800000e+01 | 87.84%
51.49/51.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.49/51.56 c 51.6s| 1 | 0 | 8790 | - | 109M| 0 | 580 |1272 | 94k|1272 | 94k| 180 | 0 | 0 |-2.900000e+02 |-3.800000e+01 | 86.90%
53.81/53.83 c 53.8s| 1 | 0 | 10025 | - | 109M| 0 | 538 |1272 | 94k|1272 | 94k| 197 | 0 | 0 |-2.682500e+02 |-3.800000e+01 | 85.83%
57.60/57.69 c 57.7s| 1 | 0 | 12556 | - | 109M| 0 | 498 |1272 | 94k|1272 | 94k| 209 | 0 | 0 |-2.490000e+02 |-3.800000e+01 | 84.74%
62.20/62.28 c 62.3s| 1 | 0 | 16253 | - | 109M| 0 | 400 |1272 | 94k|1272 | 94k| 229 | 0 | 0 |-2.000000e+02 |-3.800000e+01 | 81.00%
63.71/63.73 c 63.7s| 1 | 0 | 16990 | - | 109M| 0 | 356 |1272 | 94k|1272 | 94k| 241 | 0 | 0 |-1.780000e+02 |-3.800000e+01 | 78.65%
67.39/67.41 c 67.4s| 1 | 0 | 19728 | - | 109M| 0 | 317 |1272 | 94k|1272 | 94k| 258 | 0 | 0 |-1.575000e+02 |-3.800000e+01 | 75.87%
68.50/68.54 c 68.5s| 1 | 0 | 20227 | - | 109M| 0 | 273 |1272 | 94k|1272 | 94k| 273 | 0 | 0 |-1.365000e+02 |-3.800000e+01 | 72.16%
71.19/71.25 c 71.2s| 1 | 0 | 22130 | - | 109M| 0 | 253 |1272 | 94k|1272 | 94k| 284 | 0 | 0 |-1.265000e+02 |-3.800000e+01 | 69.96%
72.19/72.24 c 72.2s| 1 | 0 | 22857 | - | 109M| 0 | 215 |1272 | 94k|1272 | 94k| 295 | 0 | 0 |-1.075000e+02 |-3.800000e+01 | 64.65%
73.20/73.23 c 73.2s| 1 | 0 | 23718 | - | 109M| 0 | 181 |1272 | 94k|1272 | 94k| 302 | 0 | 0 |-9.050000e+01 |-3.800000e+01 | 58.01%
73.79/73.83 c 73.8s| 1 | 0 | 23934 | - | 109M| 0 | 147 |1272 | 94k|1272 | 94k| 310 | 0 | 0 |-7.350000e+01 |-3.800000e+01 | 48.30%
74.39/74.46 c 74.5s| 1 | 0 | 24246 | - | 109M| 0 | 143 |1272 | 94k|1272 | 94k| 319 | 0 | 0 |-6.550000e+01 |-3.800000e+01 | 41.98%
76.10/76.11 c 76.1s| 1 | 0 | 25887 | - | 109M| 0 | 127 |1272 | 94k|1272 | 94k| 326 | 0 | 0 |-5.750000e+01 |-3.800000e+01 | 33.91%
77.19/77.24 c 77.2s| 1 | 0 | 27047 | - | 110M| 0 | 191 |1272 | 94k|1272 | 94k| 332 | 0 | 0 |-5.392308e+01 |-3.800000e+01 | 29.53%
77.89/77.95 c 78.0s| 1 | 0 | 27332 | - | 110M| 0 | 175 |1272 | 94k|1272 | 94k| 343 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
78.69/78.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.69/78.75 c 78.8s| 1 | 0 | 27542 | - | 110M| 0 | 141 |1272 | 94k|1272 | 94k| 360 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
79.29/79.38 c 79.4s| 1 | 0 | 27693 | - | 110M| 0 | 255 |1272 | 94k|1272 | 94k| 369 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
83.79/83.84 c 83.8s| 1 | 0 | 27885 | - | 110M| 0 | 205 |1272 | 94k|1272 | 94k| 383 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
85.20/85.26 c 85.3s| 1 | 0 | 28049 | - | 110M| 0 | 259 |1272 | 94k|1272 | 94k| 398 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
105.79/105.84 c 106s| 1 | 0 | 28383 | - | 110M| 0 | 256 |1272 | 94k|1272 | 94k| 407 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
128.61/128.67 c 129s| 1 | 0 | 28498 | - | 110M| 0 | 253 |1272 | 94k|1272 | 94k| 416 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
150.50/150.52 c 151s| 1 | 2 | 28498 | - | 110M| 0 | 253 |1272 | 94k|1272 | 94k| 416 | 0 | 19 |-5.300000e+01 |-3.800000e+01 | 28.30%
352.40/352.45 o -39
352.40/352.45 c o 352s| 73 | 74 | 41113 | 175.2 | 116M| 19 | 0 |1272 | 94k|1272 | 94k| 416 | 0 | 768 |-5.300000e+01 |-3.900000e+01 | 26.42%
358.00/358.04 o -40
358.00/358.04 c l 358s| 101 | 99 | 43693 | 151.9 | 118M| 23 | - |1272 | 94k|1272 | 94k| 416 | 0 | 779 |-5.300000e+01 |-4.000000e+01 | 24.53%
365.80/365.89 o -41
365.80/365.89 c p 366s| 140 | 136 | 47843 | 139.2 | 119M| 26 | - |1272 | 94k|1272 | 94k| 416 | 0 | 788 |-5.300000e+01 |-4.100000e+01 | 22.64%
376.70/376.76 o -42
376.70/376.76 c l 377s| 182 | 177 | 51717 | 128.3 | 121M| 28 | - |1272 | 94k|1272 | 94k| 416 | 0 | 808 |-5.300000e+01 |-4.200000e+01 | 20.75%
409.50/409.53 o -43
409.50/409.53 c C 410s| 382 | 353 | 66058 | 98.6 | 127M| 37 | 147 |1272 | 94k|1272 | 94k| 416 | 0 | 874 |-5.300000e+01 |-4.300000e+01 | 18.87%
689.51/689.61 o -44
689.51/689.61 c p 690s| 1415 | 1281 |185915 | 111.3 | 159M| 57 | - |1272 | 94k|1272 | 94k| 416 | 0 |1300 |-5.300000e+01 |-4.400000e+01 | 16.98%
870.62/870.69 o -45
870.62/870.69 c p 871s| 2016 | 1820 |261625 | 115.7 | 176M| 57 | - |1272 | 94k|1272 | 94k| 416 | 0 |1598 |-5.300000e+01 |-4.500000e+01 | 15.09%
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Solving Time (sec) : 1800.00
1800.05/1800.00 c Solving Nodes : 6938
1800.05/1800.00 c Primal Bound : -4.50000000000000e+01 (593 solutions)
1800.05/1800.00 c Dual Bound : -5.30000000000000e+01
1800.05/1800.00 c Gap : 15.09 %
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-3452588-1307089318/watcher-3452588-1307089318 -o /tmp/evaluation-result-3452588-1307089318/solver-3452588-1307089318 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452588-1307089318.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.92 2.00 1.99 2/521 22539
/proc/meminfo: memFree=21345264/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=11932 CPUtime=0.01 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 1980 0 0 0 1 0 0 0 25 0 1 0 801347293 12218368 1933 33554432000 4194304 9128323 140735155060944 18446744073709551615 8011681 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22539/statm: 2983 1933 400 1205 0 1774 0
[startup+0.08387 s]
/proc/loadavg: 1.92 2.00 1.99 2/521 22539
/proc/meminfo: memFree=21345264/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=16120 CPUtime=0.07 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 3047 0 0 0 7 0 0 0 25 0 1 0 801347293 16506880 2998 33554432000 4194304 9128323 140735155060944 18446744073709551615 7448064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22539/statm: 4030 2998 400 1205 0 2821 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16120
[startup+0.100856 s]
/proc/loadavg: 1.92 2.00 1.99 2/521 22539
/proc/meminfo: memFree=21345264/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=16264 CPUtime=0.09 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 3085 0 0 0 9 0 0 0 25 0 1 0 801347293 16654336 3036 33554432000 4194304 9128323 140735155060944 18446744073709551615 8008895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22539/statm: 4066 3036 400 1205 0 2857 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16264
[startup+0.300831 s]
/proc/loadavg: 1.92 2.00 1.99 2/521 22539
/proc/meminfo: memFree=21345264/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=27284 CPUtime=0.29 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 5842 0 0 0 29 0 0 0 25 0 1 0 801347293 27938816 5788 33554432000 4194304 9128323 140735155060944 18446744073709551615 6192551 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22539/statm: 6821 5788 400 1205 0 5612 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27284
[startup+0.70075 s]
/proc/loadavg: 1.92 2.00 1.99 2/521 22539
/proc/meminfo: memFree=21345264/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=121188 CPUtime=0.69 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 28453 0 0 0 66 3 0 0 25 0 1 0 801347293 124096512 28383 33554432000 4194304 9128323 140735155060944 18446744073709551615 6886064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 30297 28415 467 1205 0 29088 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 121188
[startup+1.5006 s]
/proc/loadavg: 1.92 2.00 1.99 3/522 22540
/proc/meminfo: memFree=21222000/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=150200 CPUtime=1.49 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 48441 0 0 0 144 5 0 0 25 0 1 0 801347293 153804800 35639 33554432000 4194304 9128323 140735155060944 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 37550 35639 533 1205 0 36341 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 150200
[startup+3.10031 s]
/proc/loadavg: 1.92 2.00 1.99 3/522 22540
/proc/meminfo: memFree=21202112/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=258956 CPUtime=3.09 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 73353 0 0 0 301 8 0 0 25 0 1 0 801347293 265170944 59803 33554432000 4194304 9128323 140735155060944 18446744073709551615 7192528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 64739 59803 896 1205 0 63530 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 258956
[startup+6.30072 s]
/proc/loadavg: 1.93 2.00 1.99 3/522 22540
/proc/meminfo: memFree=21080676/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=288400 CPUtime=6.29 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 82920 0 0 0 619 10 0 0 25 0 1 0 801347293 295321600 66867 33554432000 4194304 9128323 140735155060944 18446744073709551615 6694295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 72100 66867 1178 1205 0 70891 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 288400
[startup+12.7005 s]
/proc/loadavg: 1.93 2.00 1.99 3/522 22540
/proc/meminfo: memFree=21072768/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=288400 CPUtime=12.69 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 83853 0 0 0 1258 11 0 0 25 0 1 0 801347293 295321600 67413 33554432000 4194304 9128323 140735155060944 18446744073709551615 6280382 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 72100 67413 791 1205 0 70891 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 288400
[startup+25.5002 s]
/proc/loadavg: 1.95 2.00 1.99 3/522 22540
/proc/meminfo: memFree=21065956/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=288400 CPUtime=25.49 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 85171 0 0 0 2537 12 0 0 25 0 1 0 801347293 295321600 68713 33554432000 4194304 9128323 140735155060944 18446744073709551615 6309898 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 72100 68713 776 1205 0 70891 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 288400
[startup+51.1005 s]
/proc/loadavg: 1.96 2.00 1.99 3/522 22541
/proc/meminfo: memFree=21057176/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=294308 CPUtime=51.1 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 86808 0 0 0 5093 17 0 0 25 0 1 0 801347293 301371392 70350 33554432000 4194304 9128323 140735155060944 18446744073709551615 7077378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 73577 70350 777 1205 0 72368 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 294308
[startup+102.319 s]
/proc/loadavg: 1.98 2.00 1.99 3/522 22542
/proc/meminfo: memFree=21040272/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=297252 CPUtime=102.32 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 88861 0 0 0 10195 37 0 0 25 0 1 0 801347293 304386048 72396 33554432000 4194304 9128323 140735155060944 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 74313 72396 771 1205 0 73104 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 297252
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/522 22544
/proc/meminfo: memFree=21030900/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=297252 CPUtime=162.3 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 103867 0 0 0 16144 86 0 0 25 0 1 0 801347293 304386048 72674 33554432000 4194304 9128323 140735155060944 18446744073709551615 6941061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 74313 72674 747 1205 0 73104 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 297252
[startup+222.301 s]
/proc/loadavg: 2.08 2.03 2.00 3/522 22549
/proc/meminfo: memFree=21029216/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=297252 CPUtime=222.3 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 103867 0 0 0 22120 110 0 0 25 0 1 0 801347293 304386048 72674 33554432000 4194304 9128323 140735155060944 18446744073709551615 7192546 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 74313 72674 747 1205 0 73104 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 297252
[startup+282.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/522 22550
/proc/meminfo: memFree=21020628/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=297252 CPUtime=282.3 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 103867 0 0 0 28096 134 0 0 25 0 1 0 801347293 304386048 72674 33554432000 4194304 9128323 140735155060944 18446744073709551615 7052185 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 74313 72674 747 1205 0 73104 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 297252
[startup+342.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/522 22552
/proc/meminfo: memFree=21011168/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=297252 CPUtime=342.3 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 103867 0 0 0 34072 158 0 0 25 0 1 0 801347293 304386048 72674 33554432000 4194304 9128323 140735155060944 18446744073709551615 7342440 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 74313 72674 747 1205 0 73104 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 297252
[startup+402.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/522 22553
/proc/meminfo: memFree=21002952/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=297252 CPUtime=402.3 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 103867 0 0 0 40054 176 0 0 25 0 1 0 801347293 304386048 72674 33554432000 4194304 9128323 140735155060944 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 74313 72674 747 1205 0 73104 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 297252
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/522 22555
/proc/meminfo: memFree=20994620/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=300196 CPUtime=462.31 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 136267 0 0 0 46010 221 0 0 25 0 1 0 801347293 307400704 72694 33554432000 4194304 9128323 140735155060944 18446744073709551615 7192528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 75049 72694 756 1205 0 73840 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 300196
[startup+522.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/522 22557
/proc/meminfo: memFree=20980592/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=309040 CPUtime=522.31 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 137218 0 0 0 51991 240 0 0 25 0 1 0 801347293 316456960 73645 33554432000 4194304 9128323 140735155060944 18446744073709551615 7216802 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 77260 73645 756 1205 0 76051 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 309040
[startup+582.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/522 22558
/proc/meminfo: memFree=20954292/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=321048 CPUtime=582.31 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 164517 0 0 0 57957 274 0 0 25 0 1 0 801347293 328753152 76731 33554432000 4194304 9128323 140735155060944 18446744073709551615 6713575 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 80262 76731 782 1205 0 79053 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 321048
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/522 22565
/proc/meminfo: memFree=20884148/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=344628 CPUtime=822.32 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 190964 0 0 0 81870 362 0 0 25 0 1 0 801347293 352899072 83607 33554432000 4194304 9128323 140735155060944 18446744073709551615 8008895 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 86157 83607 756 1205 0 84948 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 344628
[startup+882.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/522 22566
/proc/meminfo: memFree=20870972/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=345804 CPUtime=882.32 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 191240 0 0 0 87851 381 0 0 25 0 1 0 801347293 354103296 83883 33554432000 4194304 9128323 140735155060944 18446744073709551615 6713420 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 86451 83883 756 1205 0 85242 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 345804
[startup+942.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 22596
/proc/meminfo: memFree=20950832/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=354560 CPUtime=942.32 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 192824 0 0 0 93833 399 0 0 25 0 1 0 801347293 363069440 85467 33554432000 4194304 9128323 140735155060944 18446744073709551615 7312726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 88640 85467 756 1205 0 87431 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 354560
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 22597
/proc/meminfo: memFree=20853420/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=444048 CPUtime=1002.32 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 216299 0 0 0 99804 428 0 0 25 0 1 0 801347293 454705152 108942 33554432000 4194304 9128323 140735155060944 18446744073709551615 7342491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 111012 108942 756 1205 0 109803 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 444048
[startup+1062.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/522 22599
/proc/meminfo: memFree=20762940/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=444048 CPUtime=1062.32 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 216299 0 0 0 105786 446 0 0 25 0 1 0 801347293 454705152 108942 33554432000 4194304 9128323 140735155060944 18446744073709551615 7162943 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 111012 108942 756 1205 0 109803 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 444048
[startup+1122.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/522 22601
/proc/meminfo: memFree=20764036/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=444048 CPUtime=1122.33 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 216300 0 0 0 111767 466 0 0 25 0 1 0 801347293 454705152 108943 33554432000 4194304 9128323 140735155060944 18446744073709551615 6673621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 111012 108943 756 1205 0 109803 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 444048
[startup+1182.3 s]
/proc/loadavg: 2.17 2.06 2.01 3/522 22602
/proc/meminfo: memFree=20759408/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=445948 CPUtime=1182.33 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 223864 0 0 0 117736 497 0 0 25 0 1 0 801347293 456650752 109875 33554432000 4194304 9128323 140735155060944 18446744073709551615 7207296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 111487 109875 756 1205 0 110278 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 445948
[startup+1242.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/522 22604
/proc/meminfo: memFree=20759228/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=445948 CPUtime=1242.33 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 223867 0 0 0 123713 520 0 0 25 0 1 0 801347293 456650752 109878 33554432000 4194304 9128323 140735155060944 18446744073709551615 7077364 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 111487 109878 756 1205 0 110278 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 445948
[startup+1302.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/522 22605
/proc/meminfo: memFree=20758816/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=445948 CPUtime=1302.35 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 223867 0 0 0 129693 542 0 0 25 0 1 0 801347293 456650752 109878 33554432000 4194304 9128323 140735155060944 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 111487 109878 756 1205 0 110278 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 445948
[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/522 22607
/proc/meminfo: memFree=20751792/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=453844 CPUtime=1362.34 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 235815 0 0 0 135657 577 0 0 25 0 1 0 801347293 464736256 111853 33554432000 4194304 9128323 140735155060944 18446744073709551615 7342479 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 113461 111853 756 1205 0 112252 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 453844
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 22609
/proc/meminfo: memFree=20751868/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=453844 CPUtime=1422.35 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 235815 0 0 0 141639 596 0 0 25 0 1 0 801347293 464736256 111853 33554432000 4194304 9128323 140735155060944 18446744073709551615 7205408 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 113461 111853 756 1205 0 112252 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 453844
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 22610
/proc/meminfo: memFree=20751584/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=453844 CPUtime=1482.34 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 235818 0 0 0 147615 619 0 0 25 0 1 0 801347293 464736256 111856 33554432000 4194304 9128323 140735155060944 18446744073709551615 7343445 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 113461 111856 756 1205 0 112252 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 453844
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 22612
/proc/meminfo: memFree=20717688/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=453844 CPUtime=1542.34 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 235818 0 0 0 153594 640 0 0 25 0 1 0 801347293 464736256 111856 33554432000 4194304 9128323 140735155060944 18446744073709551615 7312704 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 113461 111856 756 1205 0 112252 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 453844
[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/522 22613
/proc/meminfo: memFree=20717160/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=453844 CPUtime=1602.34 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 235819 0 0 0 159573 661 0 0 25 0 1 0 801347293 464736256 111857 33554432000 4194304 9128323 140735155060944 18446744073709551615 7315455 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 113461 111857 756 1205 0 112252 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 453844
[startup+1662.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/522 22615
/proc/meminfo: memFree=20724312/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=455068 CPUtime=1662.34 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 256330 0 0 0 165537 697 0 0 25 0 1 0 801347293 465989632 110076 33554432000 4194304 9128323 140735155060944 18446744073709551615 7192387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 113767 110076 756 1205 0 112558 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 455068
[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/522 22617
/proc/meminfo: memFree=20709024/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=468136 CPUtime=1722.35 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 260299 0 0 0 171516 719 0 0 25 0 1 0 801347293 479371264 113956 33554432000 4194304 9128323 140735155060944 18446744073709551615 7312738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 117034 113956 827 1205 0 115825 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 468136
[startup+1782.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/522 22618
/proc/meminfo: memFree=20698560/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=478024 CPUtime=1782.35 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 262695 0 0 0 177492 743 0 0 25 0 1 0 801347293 489496576 116338 33554432000 4194304 9128323 140735155060944 18446744073709551615 6713539 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22539/statm: 119506 116338 838 1205 0 118297 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 478024
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.13 2.07 2.01 3/522 22619
/proc/meminfo: memFree=20698304/32951124 swapFree=58800704/67111528
[pid=22539] ppid=22537 vsize=478024 CPUtime=1800.06 cores=1,3,5,7
/proc/22539/stat : 22539 (scip-2.0.1.4.li) R 22537 22539 18505 0 -1 4202496 262951 0 0 0 179257 749 0 0 25 0 1 0 801347293 489496576 116588 33554432000 4194304 9128323 140735155060944 18446744073709551615 5379718 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22539/statm: 119506 116588 832 1205 0 118297 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 478024
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.04
CPU time (s): 1800.1
CPU user time (s): 1792.58
CPU system time (s): 7.51386
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 533084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.58
system time used= 7.51386
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262951
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= 5
involuntary context switches= 20415
runsolver used 8.44971 second user time and 22.6496 second system time
The end