0.00/0.00 c SCIP version 2.0.1.5 [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-3450928-1307089311.opb>
0.49/0.54 c original problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94226 constraints
0.49/0.54 c problem read
0.49/0.54 c presolving settings loaded
0.59/0.65 o 0
0.59/0.65 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.59/0.65 c presolving:
1.00/1.05 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.39/2.40 c (2.4s) probing: 101/1272 (7.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.39/2.40 c (2.4s) probing aborted: 100/100 successive totally useless probings
2.39/2.40 c presolving (2 rounds):
2.39/2.40 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.39/2.40 c 188452 implications, 0 cliques
2.39/2.40 c presolved problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94226 constraints
2.39/2.40 c 94226 constraints of type <setppc>
2.39/2.40 c transformed objective value is always integral (scale: 1)
2.39/2.40 c Presolving Time: 1.77
2.39/2.40 c - non default parameters ----------------------------------------------------------------------
2.39/2.40 c # SCIP version 2.0.1.5
2.39/2.40 c
2.39/2.40 c # frequency for displaying node information lines
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.40 c display/freq = 10000
2.39/2.40 c
2.39/2.40 c # maximal time in seconds to run
2.39/2.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.40 c limits/time = 1800
2.39/2.40 c
2.39/2.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.40 c limits/memory = 13950
2.39/2.40 c
2.39/2.40 c # default clock type (1: CPU user seconds, 2: wall clock time)
2.39/2.40 c # [type: int, range: [1,2], default: 1]
2.39/2.40 c timing/clocktype = 2
2.39/2.40 c
2.39/2.40 c # belongs reading time to solving time?
2.39/2.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.40 c timing/reading = TRUE
2.39/2.40 c
2.39/2.40 c # should presolving try to simplify inequalities
2.39/2.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.40 c constraints/linear/simplifyinequalities = TRUE
2.39/2.40 c
2.39/2.40 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.39/2.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.40 c constraints/indicator/addCouplingCons = TRUE
2.39/2.40 c
2.39/2.40 c # should presolving try to simplify knapsacks
2.39/2.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.40 c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.40 c
2.39/2.40 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.40 c separating/rapidlearning/freq = 0
2.39/2.40 c
2.39/2.40 c -----------------------------------------------------------------------------------------------
2.39/2.40 c start solving
2.39/2.40 c
4.19/4.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.19/4.31 c t 4.3s| 1 | 0 | 1272 | - | 116M| 0 |1272 |1272 | 94k|1272 | 94k| 0 | 0 | 0 |-6.360000e+02 | 0.000000e+00 | 100.00%
4.30/4.38 o -1
4.30/4.38 c R 4.4s| 1 | 0 | 1272 | - | 116M| 0 |1272 |1272 | 94k|1272 | 94k| 0 | 0 | 0 |-6.360000e+02 |-1.000000e+00 | 99.84%
5.79/5.88 c 5.9s| 1 | 0 | 1529 | - | 116M| 0 |1205 |1272 | 94k|1272 | 94k| 6 | 0 | 0 |-6.025000e+02 |-1.000000e+00 | 99.83%
5.89/5.90 o -38
5.89/5.90 c b 5.9s| 1 | 0 | 1529 | - | 116M| 0 |1205 |1272 | 94k|1272 | 94k| 6 | 0 | 0 |-6.025000e+02 |-3.800000e+01 | 93.69%
7.89/7.91 c 7.9s| 1 | 0 | 1747 | - | 116M| 0 |1140 |1272 | 94k|1272 | 94k| 13 | 0 | 0 |-5.700000e+02 |-3.800000e+01 | 93.33%
10.78/10.84 c 10.8s| 1 | 0 | 1923 | - | 116M| 0 |1093 |1272 | 94k|1272 | 94k| 22 | 0 | 0 |-5.457500e+02 |-3.800000e+01 | 93.04%
14.20/14.25 c 14.2s| 1 | 0 | 2195 | - | 116M| 0 |1039 |1272 | 94k|1272 | 94k| 47 | 0 | 0 |-5.187500e+02 |-3.800000e+01 | 92.67%
18.09/18.17 c 18.2s| 1 | 0 | 2605 | - | 116M| 0 | 968 |1272 | 94k|1272 | 94k| 61 | 0 | 0 |-4.832500e+02 |-3.800000e+01 | 92.14%
22.59/22.66 c 22.7s| 1 | 0 | 2765 | - | 116M| 0 | 917 |1272 | 94k|1272 | 94k| 75 | 0 | 0 |-4.577500e+02 |-3.800000e+01 | 91.70%
27.40/27.43 c 27.4s| 1 | 0 | 3052 | - | 116M| 0 | 868 |1272 | 94k|1272 | 94k| 87 | 0 | 0 |-4.335000e+02 |-3.800000e+01 | 91.23%
32.29/32.37 c 32.4s| 1 | 0 | 3327 | - | 116M| 0 | 841 |1272 | 94k|1272 | 94k| 99 | 0 | 0 |-4.205000e+02 |-3.800000e+01 | 90.96%
37.88/37.94 c 37.9s| 1 | 0 | 3952 | - | 116M| 0 | 792 |1272 | 94k|1272 | 94k| 118 | 0 | 0 |-3.950000e+02 |-3.800000e+01 | 90.38%
44.59/44.61 c 44.6s| 1 | 0 | 5465 | - | 116M| 0 | 721 |1272 | 94k|1272 | 94k| 132 | 0 | 0 |-3.605000e+02 |-3.800000e+01 | 89.46%
45.98/46.00 c 46.0s| 1 | 0 | 5854 | - | 116M| 0 | 672 |1272 | 94k|1272 | 94k| 150 | 0 | 0 |-3.360000e+02 |-3.800000e+01 | 88.69%
48.89/48.99 c 49.0s| 1 | 0 | 7514 | - | 116M| 0 | 625 |1272 | 94k|1272 | 94k| 164 | 0 | 0 |-3.125000e+02 |-3.800000e+01 | 87.84%
51.08/51.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.08/51.15 c 51.2s| 1 | 0 | 8790 | - | 116M| 0 | 580 |1272 | 94k|1272 | 94k| 180 | 0 | 0 |-2.900000e+02 |-3.800000e+01 | 86.90%
53.39/53.42 c 53.4s| 1 | 0 | 10025 | - | 116M| 0 | 538 |1272 | 94k|1272 | 94k| 197 | 0 | 0 |-2.682500e+02 |-3.800000e+01 | 85.83%
57.29/57.31 c 57.3s| 1 | 0 | 12556 | - | 116M| 0 | 498 |1272 | 94k|1272 | 94k| 209 | 0 | 0 |-2.490000e+02 |-3.800000e+01 | 84.74%
61.89/61.94 c 61.9s| 1 | 0 | 16253 | - | 116M| 0 | 400 |1272 | 94k|1272 | 94k| 229 | 0 | 0 |-2.000000e+02 |-3.800000e+01 | 81.00%
63.29/63.38 c 63.4s| 1 | 0 | 16990 | - | 116M| 0 | 356 |1272 | 94k|1272 | 94k| 241 | 0 | 0 |-1.780000e+02 |-3.800000e+01 | 78.65%
67.01/67.09 c 67.1s| 1 | 0 | 19728 | - | 116M| 0 | 317 |1272 | 94k|1272 | 94k| 258 | 0 | 0 |-1.575000e+02 |-3.800000e+01 | 75.87%
68.10/68.20 c 68.2s| 1 | 0 | 20227 | - | 116M| 0 | 273 |1272 | 94k|1272 | 94k| 273 | 0 | 0 |-1.365000e+02 |-3.800000e+01 | 72.16%
70.88/70.92 c 70.9s| 1 | 0 | 22130 | - | 116M| 0 | 253 |1272 | 94k|1272 | 94k| 284 | 0 | 0 |-1.265000e+02 |-3.800000e+01 | 69.96%
71.89/71.92 c 71.9s| 1 | 0 | 22857 | - | 116M| 0 | 215 |1272 | 94k|1272 | 94k| 295 | 0 | 0 |-1.075000e+02 |-3.800000e+01 | 64.65%
72.89/72.91 c 72.9s| 1 | 0 | 23718 | - | 116M| 0 | 181 |1272 | 94k|1272 | 94k| 302 | 0 | 0 |-9.050000e+01 |-3.800000e+01 | 58.01%
73.49/73.50 c 73.5s| 1 | 0 | 23934 | - | 116M| 0 | 147 |1272 | 94k|1272 | 94k| 310 | 0 | 0 |-7.350000e+01 |-3.800000e+01 | 48.30%
74.08/74.11 c 74.1s| 1 | 0 | 24246 | - | 116M| 0 | 143 |1272 | 94k|1272 | 94k| 319 | 0 | 0 |-6.550000e+01 |-3.800000e+01 | 41.98%
75.69/75.79 c 75.8s| 1 | 0 | 25887 | - | 116M| 0 | 127 |1272 | 94k|1272 | 94k| 326 | 0 | 0 |-5.750000e+01 |-3.800000e+01 | 33.91%
76.91/76.93 c 76.9s| 1 | 0 | 27047 | - | 116M| 0 | 191 |1272 | 94k|1272 | 94k| 332 | 0 | 0 |-5.392308e+01 |-3.800000e+01 | 29.53%
77.59/77.63 c 77.6s| 1 | 0 | 27332 | - | 116M| 0 | 175 |1272 | 94k|1272 | 94k| 343 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
78.39/78.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.39/78.41 c 78.4s| 1 | 0 | 27542 | - | 116M| 0 | 141 |1272 | 94k|1272 | 94k| 360 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
78.99/79.02 c 79.0s| 1 | 0 | 27693 | - | 116M| 0 | 255 |1272 | 94k|1272 | 94k| 369 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
83.19/83.28 c 83.3s| 1 | 0 | 27885 | - | 116M| 0 | 205 |1272 | 94k|1272 | 94k| 383 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
84.60/84.65 c 84.7s| 1 | 0 | 28049 | - | 117M| 0 | 259 |1272 | 94k|1272 | 94k| 398 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
104.09/104.19 c 104s| 1 | 0 | 28383 | - | 117M| 0 | 256 |1272 | 94k|1272 | 94k| 407 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
125.89/125.96 c 126s| 1 | 0 | 28498 | - | 117M| 0 | 253 |1272 | 94k|1272 | 94k| 416 | 0 | 0 |-5.300000e+01 |-3.800000e+01 | 28.30%
148.69/148.77 c 149s| 1 | 2 | 28498 | - | 117M| 0 | 253 |1272 | 94k|1272 | 94k| 416 | 0 | 19 |-5.300000e+01 |-3.800000e+01 | 28.30%
352.29/352.35 o -39
352.29/352.35 c o 352s| 73 | 74 | 41113 | 175.2 | 123M| 19 | 0 |1272 | 94k|1272 | 94k| 416 | 0 | 768 |-5.300000e+01 |-3.900000e+01 | 26.42%
357.89/357.97 o -40
357.89/357.97 c l 358s| 101 | 99 | 43693 | 151.9 | 124M| 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 | 126M| 26 | - |1272 | 94k|1272 | 94k| 416 | 0 | 788 |-5.300000e+01 |-4.100000e+01 | 22.64%
376.79/376.83 o -42
376.79/376.83 c l 377s| 182 | 177 | 51717 | 128.3 | 128M| 28 | - |1272 | 94k|1272 | 94k| 416 | 0 | 808 |-5.300000e+01 |-4.200000e+01 | 20.75%
409.79/409.84 o -43
409.79/409.84 c C 410s| 382 | 353 | 66058 | 98.6 | 133M| 37 | 147 |1272 | 94k|1272 | 94k| 416 | 0 | 874 |-5.300000e+01 |-4.300000e+01 | 18.87%
691.20/691.22 o -44
691.20/691.22 c p 691s| 1415 | 1281 |185915 | 111.3 | 166M| 57 | - |1272 | 94k|1272 | 94k| 416 | 0 |1300 |-5.300000e+01 |-4.400000e+01 | 16.98%
872.33/872.33 o -45
872.33/872.33 c p 872s| 2016 | 1820 |261625 | 115.7 | 183M| 57 | - |1272 | 94k|1272 | 94k| 416 | 0 |1598 |-5.300000e+01 |-4.500000e+01 | 15.09%
1800.03/1800.01 c
1800.03/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.01 c Solving Time (sec) : 1800.01
1800.03/1800.01 c Solving Nodes : 6912
1800.03/1800.01 c Primal Bound : -4.50000000000000e+01 (594 solutions)
1800.03/1800.01 c Dual Bound : -5.30000000000000e+01
1800.03/1800.01 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-3450928-1307089311/watcher-3450928-1307089311 -o /tmp/evaluation-result-3450928-1307089311/solver-3450928-1307089311 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450928-1307089311.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.01 1.38 1.72 3/510 29048
/proc/meminfo: memFree=16821820/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=14976 CPUtime=0.01 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 2718 0 0 0 1 0 0 0 22 0 1 0 801347272 15335424 2671 33554432000 4194304 9163163 140734823904256 18446744073709551615 6169382 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/29048/statm: 3744 2671 395 1214 0 2526 0
[startup+0.0973791 s]
/proc/loadavg: 1.01 1.38 1.72 3/510 29048
/proc/meminfo: memFree=16821820/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=20056 CPUtime=0.09 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 4010 0 0 0 9 0 0 0 22 0 1 0 801347272 20537344 3963 33554432000 4194304 9163163 140734823904256 18446744073709551615 8041864 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/29048/statm: 5014 3963 395 1214 0 3796 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20056
[startup+0.100376 s]
/proc/loadavg: 1.01 1.38 1.72 3/510 29048
/proc/meminfo: memFree=16821820/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=21084 CPUtime=0.09 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 4271 0 0 0 9 0 0 0 22 0 1 0 801347272 21590016 4224 33554432000 4194304 9163163 140734823904256 18446744073709551615 8031168 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/29048/statm: 5271 4224 395 1214 0 4053 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21084
[startup+0.300354 s]
/proc/loadavg: 1.01 1.38 1.72 3/510 29048
/proc/meminfo: memFree=16821820/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=33960 CPUtime=0.29 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 7487 0 0 0 29 0 0 0 23 0 1 0 801347272 34775040 7440 33554432000 4194304 9163163 140734823904256 18446744073709551615 6137431 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/29048/statm: 8490 7440 395 1214 0 7272 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33960
[startup+0.700276 s]
/proc/loadavg: 1.01 1.38 1.72 3/510 29048
/proc/meminfo: memFree=16821820/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=108208 CPUtime=0.69 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 25535 0 0 0 66 3 0 0 25 0 1 0 801347272 110804992 25460 33554432000 4194304 9163163 140734823904256 18446744073709551615 5149062 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29048/statm: 27052 25460 502 1214 0 25834 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 108208
[startup+1.50117 s]
/proc/loadavg: 1.09 1.39 1.72 4/512 29050
/proc/meminfo: memFree=16525568/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=151448 CPUtime=1.49 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 44921 0 0 0 144 5 0 0 25 0 1 0 801347272 155082752 36147 33554432000 4194304 9163163 140734823904256 18446744073709551615 5459270 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29048/statm: 37862 36147 530 1214 0 36644 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 151448
[startup+3.10082 s]
/proc/loadavg: 1.09 1.39 1.72 4/512 29050
/proc/meminfo: memFree=16538908/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=260196 CPUtime=3.09 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 69765 0 0 0 301 8 0 0 25 0 1 0 801347272 266440704 60268 33554432000 4194304 9163163 140734823904256 18446744073709551615 7224045 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/29048/statm: 65049 60268 903 1214 0 63831 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 260196
[startup+6.30031 s]
/proc/loadavg: 1.09 1.39 1.72 4/512 29050
/proc/meminfo: memFree=16315476/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=289640 CPUtime=6.29 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 79531 0 0 0 620 9 0 0 25 0 1 0 801347272 296591360 67401 33554432000 4194304 9163163 140734823904256 18446744073709551615 7051404 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 72410 67401 1129 1214 0 71192 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 289640
[startup+12.7002 s]
/proc/loadavg: 1.23 1.41 1.73 4/512 29050
/proc/meminfo: memFree=16295584/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=289640 CPUtime=12.68 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 80050 0 0 0 1259 9 0 0 25 0 1 0 801347272 296591360 67533 33554432000 4194304 9163163 140734823904256 18446744073709551615 6284282 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 72410 67533 742 1214 0 71192 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 289640
[startup+25.501 s]
/proc/loadavg: 1.34 1.43 1.73 4/512 29051
/proc/meminfo: memFree=16284080/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=289640 CPUtime=25.49 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 80735 0 0 0 2539 10 0 0 25 0 1 0 801347272 296591360 68218 33554432000 4194304 9163163 140734823904256 18446744073709551615 6284276 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 72410 68218 744 1214 0 71192 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 289640
[startup+51.1005 s]
/proc/loadavg: 1.64 1.49 1.74 4/512 29051
/proc/meminfo: memFree=16264004/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=291288 CPUtime=51.08 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 83581 0 0 0 5096 12 0 0 25 0 1 0 801347272 298278912 71064 33554432000 4194304 9163163 140734823904256 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 72822 71064 745 1214 0 71604 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 291288
[startup+102.319 s]
/proc/loadavg: 1.85 1.57 1.75 4/512 29053
/proc/meminfo: memFree=16253852/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=293808 CPUtime=102.31 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 83796 0 0 0 10210 21 0 0 25 0 1 0 801347272 300859392 71269 33554432000 4194304 9163163 140734823904256 18446744073709551615 7051385 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 73452 71269 753 1214 0 72234 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 293808
[startup+162.301 s]
/proc/loadavg: 1.94 1.65 1.76 4/512 29054
/proc/meminfo: memFree=16190804/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=287904 CPUtime=162.29 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 100545 0 0 0 16193 36 0 0 25 0 1 0 801347272 294813696 70557 33554432000 4194304 9163163 140734823904256 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 71976 70557 743 1214 0 70758 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 287904
[startup+222.3 s]
/proc/loadavg: 1.98 1.71 1.77 4/512 29059
/proc/meminfo: memFree=16191640/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=287904 CPUtime=222.29 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 100545 0 0 0 22182 47 0 0 25 0 1 0 801347272 294813696 70557 33554432000 4194304 9163163 140734823904256 18446744073709551615 6974878 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 71976 70557 743 1214 0 70758 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 287904
[startup+282.301 s]
/proc/loadavg: 1.99 1.76 1.79 4/512 29060
/proc/meminfo: memFree=16191784/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=287904 CPUtime=282.3 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 100545 0 0 0 28172 58 0 0 25 0 1 0 801347272 294813696 70557 33554432000 4194304 9163163 140734823904256 18446744073709551615 7110322 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 71976 70557 743 1214 0 70758 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 287904
[startup+342.3 s]
/proc/loadavg: 1.99 1.80 1.80 4/512 29062
/proc/meminfo: memFree=16192016/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=287904 CPUtime=342.3 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 100545 0 0 0 34162 68 0 0 25 0 1 0 801347272 294813696 70557 33554432000 4194304 9163163 140734823904256 18446744073709551615 6966376 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 71976 70557 743 1214 0 70758 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 287904
[startup+402.301 s]
/proc/loadavg: 1.99 1.83 1.81 4/512 29064
/proc/meminfo: memFree=16178856/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=287904 CPUtime=402.3 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 100546 0 0 0 40149 81 0 0 25 0 1 0 801347272 294813696 70558 33554432000 4194304 9163163 140734823904256 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 71976 70558 744 1214 0 70758 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 287904
[startup+462.3 s]
/proc/loadavg: 1.99 1.86 1.82 4/512 29065
/proc/meminfo: memFree=16166056/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=299696 CPUtime=462.3 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 145104 0 0 0 46134 96 0 0 25 0 1 0 801347272 306888704 71303 33554432000 4194304 9163163 140734823904256 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 74924 71303 749 1214 0 73706 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 299696
[startup+522.301 s]
/proc/loadavg: 2.04 1.90 1.83 4/512 29067
/proc/meminfo: memFree=16155112/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=307028 CPUtime=522.3 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 147836 0 0 0 52124 106 0 0 25 0 1 0 801347272 314396672 74019 33554432000 4194304 9163163 140734823904256 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 76757 74019 749 1214 0 75539 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 307028
[startup+582.301 s]
/proc/loadavg: 2.15 1.96 1.85 4/512 29068
/proc/meminfo: memFree=16145764/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=318844 CPUtime=582.3 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 150365 0 0 0 58116 114 0 0 25 0 1 0 801347272 326496256 76545 33554432000 4194304 9163163 140734823904256 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 79711 76545 749 1214 0 78493 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 318844
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.98 1.88 4/512 29075
/proc/meminfo: memFree=16119100/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=344200 CPUtime=822.3 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 181388 0 0 0 82076 154 0 0 25 0 1 0 801347272 352460800 82940 33554432000 4194304 9163163 140734823904256 18446744073709551615 7300255 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 86050 82940 749 1214 0 84832 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 344200
[startup+882.3 s]
/proc/loadavg: 2.00 1.98 1.89 4/512 29076
/proc/meminfo: memFree=16116088/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=346020 CPUtime=882.3 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 182137 0 0 0 88067 163 0 0 25 0 1 0 801347272 354324480 83689 33554432000 4194304 9163163 140734823904256 18446744073709551615 5841256 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 86505 83689 749 1214 0 85287 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 346020
[startup+942.301 s]
/proc/loadavg: 2.00 1.98 1.89 4/512 29078
/proc/meminfo: memFree=16114212/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=353120 CPUtime=942.31 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 206771 0 0 0 94055 176 0 0 25 0 1 0 801347272 361594880 84333 33554432000 4194304 9163163 140734823904256 18446744073709551615 7051385 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 88280 84333 749 1214 0 87062 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 353120
[startup+1002.3 s]
/proc/loadavg: 2.00 1.98 1.90 4/512 29080
/proc/meminfo: memFree=16103028/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=361088 CPUtime=1002.31 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 209677 0 0 0 100044 187 0 0 25 0 1 0 801347272 369754112 87239 33554432000 4194304 9163163 140734823904256 18446744073709551615 7396181 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 90272 87239 760 1214 0 89054 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 361088
[startup+1062.3 s]
/proc/loadavg: 2.00 1.98 1.91 4/512 29081
/proc/meminfo: memFree=16093960/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=368292 CPUtime=1062.31 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 211777 0 0 0 106037 194 0 0 25 0 1 0 801347272 377131008 89321 33554432000 4194304 9163163 140734823904256 18446744073709551615 7058287 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 92073 89321 749 1214 0 90855 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 368292
[startup+1122.3 s]
/proc/loadavg: 2.19 2.03 1.93 4/512 29083
/proc/meminfo: memFree=16083764/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=376012 CPUtime=1122.31 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 237557 0 0 0 112024 207 0 0 25 0 1 0 801347272 385036288 91249 33554432000 4194304 9163163 140734823904256 18446744073709551615 7345702 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 94003 91249 749 1214 0 92785 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 376012
[startup+1182.3 s]
/proc/loadavg: 2.18 2.05 1.94 4/512 29084
/proc/meminfo: memFree=16063660/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=394892 CPUtime=1182.32 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 241112 0 0 0 118018 214 0 0 25 0 1 0 801347272 404369408 94782 33554432000 4194304 9163163 140734823904256 18446744073709551615 7375715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 98723 94782 759 1214 0 97505 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 394892
[startup+1242.3 s]
/proc/loadavg: 2.06 2.04 1.94 4/512 29086
/proc/meminfo: memFree=16045176/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=402760 CPUtime=1242.32 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 243680 0 0 0 124009 223 0 0 25 0 1 0 801347272 412426240 97340 33554432000 4194304 9163163 140734823904256 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 100690 97340 755 1214 0 99472 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 402760
[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 1.94 4/512 29088
/proc/meminfo: memFree=16025680/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=406564 CPUtime=1302.33 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 245138 0 0 0 130000 233 0 0 25 0 1 0 801347272 416321536 98798 33554432000 4194304 9163163 140734823904256 18446744073709551615 7224016 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 101641 98798 755 1214 0 100423 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 406564
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.94 4/512 29089
/proc/meminfo: memFree=16009912/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=415256 CPUtime=1362.32 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 270505 0 0 0 135985 247 0 0 25 0 1 0 801347272 425222144 101253 33554432000 4194304 9163163 140734823904256 18446744073709551615 7224016 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 103814 101253 790 1214 0 102596 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 415256
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 1.94 4/512 29091
/proc/meminfo: memFree=16000960/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=422052 CPUtime=1422.34 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 272428 0 0 0 141977 257 0 0 25 0 1 0 801347272 432181248 103162 33554432000 4194304 9163163 140734823904256 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 105513 103162 804 1214 0 104295 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 422052
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.94 4/512 29092
/proc/meminfo: memFree=15987796/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=433752 CPUtime=1482.32 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 274512 0 0 0 147968 264 0 0 25 0 1 0 801347272 444162048 105222 33554432000 4194304 9163163 140734823904256 18446744073709551615 6480237 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 108438 105222 796 1214 0 107220 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 433752
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 4/512 29094
/proc/meminfo: memFree=15971032/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=440904 CPUtime=1542.32 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 276530 0 0 0 153958 274 0 0 25 0 1 0 801347272 451485696 107232 33554432000 4194304 9163163 140734823904256 18446744073709551615 7224016 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 110226 107232 788 1214 0 109008 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 440904
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 4/512 29096
/proc/meminfo: memFree=15958124/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=446592 CPUtime=1602.32 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 278445 0 0 0 159950 282 0 0 25 0 1 0 801347272 457310208 109142 33554432000 4194304 9163163 140734823904256 18446744073709551615 7413694 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 111648 109142 783 1214 0 110430 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 446592
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 4/512 29097
/proc/meminfo: memFree=15941108/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=458252 CPUtime=1662.32 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 280751 0 0 0 165942 290 0 0 25 0 1 0 801347272 469250048 111423 33554432000 4194304 9163163 140734823904256 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 114563 111423 771 1214 0 113345 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 458252
[startup+1722.3 s]
/proc/loadavg: 2.25 2.07 1.96 4/512 29099
/proc/meminfo: memFree=15927328/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=467080 CPUtime=1722.33 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 303976 0 0 0 171931 302 0 0 25 0 1 0 801347272 478289920 112753 33554432000 4194304 9163163 140734823904256 18446744073709551615 7345648 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 116770 112753 757 1214 0 115552 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 467080
[startup+1782.3 s]
/proc/loadavg: 2.09 2.06 1.96 4/512 29100
/proc/meminfo: memFree=15904360/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=477416 CPUtime=1782.33 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 307462 0 0 0 177923 310 0 0 25 0 1 0 801347272 488873984 116233 33554432000 4194304 9163163 140734823904256 18446744073709551615 7345648 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29048/statm: 119354 116233 779 1214 0 118136 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 477416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.05 1.96 4/512 29101
/proc/meminfo: memFree=15900624/32951124 swapFree=67111204/67111528
[pid=29048] ppid=29046 vsize=478224 CPUtime=1800.04 cores=0,2,4,6
/proc/29048/stat : 29048 (scip-2.0.1.4b.l) R 29046 29048 22279 0 -1 4202496 307971 0 0 0 179692 312 0 0 25 0 1 0 801347272 489701376 116728 33554432000 4194304 9163163 140734823904256 18446744073709551615 8090608 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29048/statm: 119556 116728 769 1214 0 118338 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 478224
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.08
CPU user time (s): 1796.93
CPU system time (s): 3.14652
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 544648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.93
system time used= 3.14652
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 307971
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1454
runsolver used 9.50755 second user time and 21.6907 second system time
The end