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-3452622-1307087984.opb>
0.59/0.62 c original problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 109379 constraints
0.59/0.62 c problem read
0.59/0.62 c presolving settings loaded
0.79/0.87 o 0
0.79/0.87 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.79/0.87 c presolving:
1.29/1.36 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 109379 upgd conss, 218758 impls, 0 clqs
2.99/3.03 c (3.0s) probing: 101/1400 (7.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.99/3.03 c (3.0s) probing aborted: 100/100 successive totally useless probings
2.99/3.03 c presolving (2 rounds):
2.99/3.03 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.99/3.03 c 218758 implications, 0 cliques
2.99/3.03 c presolved problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 109379 constraints
2.99/3.03 c 109379 constraints of type <setppc>
2.99/3.03 c transformed objective value is always integral (scale: 1)
2.99/3.03 c Presolving Time: 2.35
2.99/3.03 c - non default parameters ----------------------------------------------------------------------
2.99/3.03 c # SCIP version 2.0.1.4
2.99/3.03 c
2.99/3.03 c # frequency for displaying node information lines
2.99/3.03 c # [type: int, range: [-1,2147483647], default: 100]
2.99/3.03 c display/freq = 10000
2.99/3.03 c
2.99/3.03 c # maximal time in seconds to run
2.99/3.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.99/3.03 c limits/time = 1800
2.99/3.03 c
2.99/3.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.99/3.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.99/3.03 c limits/memory = 13950
2.99/3.03 c
2.99/3.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
2.99/3.03 c # [type: int, range: [1,2], default: 1]
2.99/3.03 c timing/clocktype = 2
2.99/3.03 c
2.99/3.03 c # belongs reading time to solving time?
2.99/3.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.03 c timing/reading = TRUE
2.99/3.03 c
2.99/3.03 c # should presolving try to simplify inequalities
2.99/3.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.03 c constraints/linear/simplifyinequalities = TRUE
2.99/3.03 c
2.99/3.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.99/3.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.03 c constraints/indicator/addCouplingCons = TRUE
2.99/3.03 c
2.99/3.03 c # should presolving try to simplify knapsacks
2.99/3.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.03 c constraints/knapsack/simplifyinequalities = TRUE
2.99/3.03 c
2.99/3.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.99/3.03 c # [type: int, range: [-1,2147483647], default: -1]
2.99/3.03 c separating/rapidlearning/freq = 0
2.99/3.03 c
2.99/3.03 c -----------------------------------------------------------------------------------------------
2.99/3.03 c start solving
2.99/3.03 c
5.29/5.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.29/5.35 c t 5.4s| 1 | 0 | 1402 | - | 126M| 0 |1400 |1400 | 109k|1400 | 109k| 0 | 0 | 0 |-7.000000e+02 | 0.000000e+00 | 100.00%
5.41/5.44 o -1
5.41/5.44 c R 5.4s| 1 | 0 | 1402 | - | 126M| 0 |1400 |1400 | 109k|1400 | 109k| 0 | 0 | 0 |-7.000000e+02 |-1.000000e+00 | 99.86%
5.51/5.53 o -2
5.51/5.53 c s 5.5s| 1 | 0 | 1402 | - | 126M| 0 |1400 |1400 | 109k|1400 | 109k| 0 | 0 | 0 |-7.000000e+02 |-2.000000e+00 | 99.71%
7.61/7.70 c 7.7s| 1 | 0 | 1722 | - | 126M| 0 |1330 |1400 | 109k|1400 | 109k| 6 | 0 | 0 |-6.650000e+02 |-2.000000e+00 | 99.70%
7.71/7.73 o -42
7.71/7.73 c b 7.7s| 1 | 0 | 1722 | - | 126M| 0 |1330 |1400 | 109k|1400 | 109k| 6 | 0 | 0 |-6.650000e+02 |-4.200000e+01 | 93.68%
10.49/10.59 c 10.6s| 1 | 0 | 1924 | - | 126M| 0 |1282 |1400 | 109k|1400 | 109k| 11 | 0 | 0 |-6.410000e+02 |-4.200000e+01 | 93.45%
14.50/14.55 c 14.5s| 1 | 0 | 2095 | - | 126M| 0 |1234 |1400 | 109k|1400 | 109k| 17 | 0 | 0 |-6.170000e+02 |-4.200000e+01 | 93.19%
19.19/19.21 c 19.2s| 1 | 0 | 2226 | - | 126M| 0 |1186 |1400 | 109k|1400 | 109k| 29 | 0 | 0 |-5.930000e+02 |-4.200000e+01 | 92.92%
24.39/24.47 c 24.5s| 1 | 0 | 2457 | - | 126M| 0 |1114 |1400 | 109k|1400 | 109k| 60 | 0 | 0 |-5.570000e+02 |-4.200000e+01 | 92.46%
30.49/30.56 c 30.6s| 1 | 0 | 2677 | - | 126M| 0 |1062 |1400 | 109k|1400 | 109k| 70 | 0 | 0 |-5.310000e+02 |-4.200000e+01 | 92.09%
36.79/36.87 c 36.9s| 1 | 0 | 2899 | - | 126M| 0 |1012 |1400 | 109k|1400 | 109k| 81 | 0 | 0 |-5.060000e+02 |-4.200000e+01 | 91.70%
42.69/42.78 c 42.8s| 1 | 0 | 3106 | - | 126M| 0 | 963 |1400 | 109k|1400 | 109k| 89 | 0 | 0 |-4.812500e+02 |-4.200000e+01 | 91.27%
48.99/49.02 c 49.0s| 1 | 0 | 3398 | - | 127M| 0 | 911 |1400 | 109k|1400 | 109k| 103 | 0 | 0 |-4.555000e+02 |-4.200000e+01 | 90.78%
55.69/55.74 c 55.7s| 1 | 0 | 3892 | - | 127M| 0 | 860 |1400 | 109k|1400 | 109k| 119 | 0 | 0 |-4.300000e+02 |-4.200000e+01 | 90.23%
57.11/57.20 c 57.2s| 1 | 0 | 4246 | - | 127M| 0 | 838 |1400 | 109k|1400 | 109k| 133 | 0 | 0 |-4.185000e+02 |-4.200000e+01 | 89.96%
58.59/58.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.59/58.62 c 58.6s| 1 | 0 | 4605 | - | 127M| 0 | 789 |1400 | 109k|1400 | 109k| 148 | 0 | 0 |-3.945000e+02 |-4.200000e+01 | 89.35%
60.41/60.48 c 60.5s| 1 | 0 | 5141 | - | 127M| 0 | 715 |1400 | 109k|1400 | 109k| 171 | 0 | 0 |-3.575000e+02 |-4.200000e+01 | 88.25%
61.99/62.06 c 62.1s| 1 | 0 | 5805 | - | 127M| 0 | 644 |1400 | 109k|1400 | 109k| 196 | 0 | 0 |-3.220000e+02 |-4.200000e+01 | 86.96%
64.39/64.45 c 64.5s| 1 | 0 | 7179 | - | 127M| 0 | 573 |1400 | 109k|1400 | 109k| 215 | 0 | 0 |-2.865000e+02 |-4.200000e+01 | 85.34%
67.19/67.25 c 67.3s| 1 | 0 | 8861 | - | 127M| 0 | 500 |1400 | 109k|1400 | 109k| 238 | 0 | 0 |-2.500000e+02 |-4.200000e+01 | 83.20%
68.89/68.94 c 68.9s| 1 | 0 | 9422 | - | 127M| 0 | 450 |1400 | 109k|1400 | 109k| 256 | 0 | 0 |-2.240000e+02 |-4.200000e+01 | 81.25%
70.49/70.55 c 70.6s| 1 | 0 | 10037 | - | 127M| 0 | 400 |1400 | 109k|1400 | 109k| 276 | 0 | 0 |-2.000000e+02 |-4.200000e+01 | 79.00%
86.09/86.13 c 86.1s| 1 | 0 | 19269 | - | 127M| 0 | 341 |1400 | 109k|1400 | 109k| 293 | 0 | 0 |-1.705000e+02 |-4.200000e+01 | 75.37%
87.39/87.45 c 87.5s| 1 | 0 | 19597 | - | 127M| 0 | 319 |1400 | 109k|1400 | 109k| 303 | 0 | 0 |-1.595000e+02 |-4.200000e+01 | 73.67%
93.59/93.61 c 93.6s| 1 | 0 | 23761 | - | 127M| 0 | 289 |1400 | 109k|1400 | 109k| 315 | 0 | 0 |-1.435000e+02 |-4.200000e+01 | 70.73%
96.39/96.43 c 96.4s| 1 | 0 | 25858 | - | 127M| 0 | 266 |1400 | 109k|1400 | 109k| 322 | 0 | 0 |-1.330000e+02 |-4.200000e+01 | 68.42%
99.59/99.61 c 99.6s| 1 | 0 | 27899 | - | 127M| 0 | 232 |1400 | 109k|1400 | 109k| 330 | 0 | 0 |-1.160000e+02 |-4.200000e+01 | 63.79%
100.28/100.36 c 100s| 1 | 0 | 28215 | - | 127M| 0 | 198 |1400 | 109k|1400 | 109k| 342 | 0 | 0 |-9.900000e+01 |-4.200000e+01 | 57.58%
101.49/101.50 c 102s| 1 | 0 | 29050 | - | 127M| 0 | 184 |1400 | 109k|1400 | 109k| 352 | 0 | 0 |-8.350000e+01 |-4.200000e+01 | 49.70%
106.60/106.69 c 107s| 1 | 0 | 33449 | - | 127M| 0 | 196 |1400 | 109k|1400 | 109k| 363 | 0 | 0 |-7.516667e+01 |-4.200000e+01 | 44.12%
107.39/107.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.39/107.47 c 107s| 1 | 0 | 33720 | - | 127M| 0 | 166 |1400 | 109k|1400 | 109k| 373 | 0 | 0 |-5.900000e+01 |-4.200000e+01 | 28.81%
108.69/108.70 c 109s| 1 | 0 | 34595 | - | 127M| 0 | 130 |1400 | 109k|1400 | 109k| 382 | 0 | 0 |-5.800000e+01 |-4.200000e+01 | 27.59%
110.29/110.35 c 110s| 1 | 0 | 35837 | - | 127M| 0 | 116 |1400 | 109k|1400 | 109k| 390 | 0 | 0 |-5.750000e+01 |-4.200000e+01 | 26.96%
111.29/111.38 c 111s| 1 | 0 | 36330 | - | 127M| 0 | 143 |1400 | 109k|1400 | 109k| 404 | 0 | 0 |-5.666667e+01 |-4.200000e+01 | 25.88%
112.21/112.27 c 112s| 1 | 0 | 36562 | - | 127M| 0 | 222 |1400 | 109k|1400 | 109k| 414 | 0 | 0 |-5.657143e+01 |-4.200000e+01 | 25.76%
117.09/117.13 c 117s| 1 | 0 | 38169 | - | 127M| 0 | 224 |1400 | 109k|1400 | 109k| 424 | 0 | 0 |-5.600000e+01 |-4.200000e+01 | 25.00%
117.99/118.00 c 118s| 1 | 0 | 38413 | - | 128M| 0 | 209 |1400 | 109k|1400 | 109k| 433 | 0 | 0 |-5.600000e+01 |-4.200000e+01 | 25.00%
118.99/119.06 c 119s| 1 | 0 | 38770 | - | 128M| 0 | 226 |1400 | 109k|1400 | 109k| 445 | 0 | 0 |-5.600000e+01 |-4.200000e+01 | 25.00%
120.49/120.54 c 121s| 1 | 0 | 39173 | - | 128M| 0 | 240 |1400 | 109k|1400 | 109k| 458 | 0 | 0 |-5.600000e+01 |-4.200000e+01 | 25.00%
122.01/122.02 c 122s| 1 | 0 | 39475 | - | 128M| 0 | 238 |1400 | 109k|1400 | 109k| 467 | 0 | 0 |-5.600000e+01 |-4.200000e+01 | 25.00%
123.89/123.93 c 124s| 1 | 0 | 40461 | - | 128M| 0 | 263 |1400 | 109k|1400 | 109k| 477 | 0 | 0 |-5.600000e+01 |-4.200000e+01 | 25.00%
180.99/181.01 c 181s| 1 | 2 | 40461 | - | 128M| 0 | 263 |1400 | 109k|1400 | 109k| 477 | 0 | 55 |-5.600000e+01 |-4.200000e+01 | 25.00%
390.79/390.84 o -44
390.79/390.84 c p 391s| 35 | 34 | 47379 | 203.5 | 133M| 23 | - |1400 | 109k|1400 | 109k| 477 | 0 | 608 |-5.600000e+01 |-4.400000e+01 | 21.43%
404.81/404.89 o -45
404.81/404.89 c S 405s| 88 | 87 | 53458 | 149.4 | 135M| 25 | 0 |1400 | 109k|1400 | 109k| 477 | 0 | 618 |-5.600000e+01 |-4.500000e+01 | 19.64%
506.30/506.39 o -46
506.30/506.39 c l 506s| 483 | 436 | 94300 | 111.7 | 151M| 43 | - |1400 | 109k|1400 | 109k| 477 | 0 | 731 |-5.600000e+01 |-4.600000e+01 | 17.86%
511.79/511.83 o -47
511.79/511.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.79/511.83 c o 512s| 507 | 460 | 96593 | 110.9 | 151M| 43 | 0 |1400 | 109k|1400 | 109k| 477 | 0 | 740 |-5.600000e+01 |-4.700000e+01 | 16.07%
836.60/836.67 o -48
836.60/836.67 c p 837s| 1305 | 1192 |225745 | 142.1 | 181M| 57 | - |1400 | 109k|1400 | 109k| 477 | 0 |1077 |-5.600000e+01 |-4.800000e+01 | 14.29%
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.02/1800.00 c Solving Time (sec) : 1800.01
1800.02/1800.00 c Solving Nodes : 4328
1800.02/1800.00 c Primal Bound : -4.80000000000000e+01 (537 solutions)
1800.02/1800.00 c Dual Bound : -5.59999999999998e+01
1800.02/1800.00 c Gap : 14.29 %
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-3452622-1307087984/watcher-3452622-1307087984 -o /tmp/evaluation-result-3452622-1307087984/solver-3452622-1307087984 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452622-1307087984.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 2/530 28465
/proc/meminfo: memFree=15109536/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=11932 CPUtime=0.01 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 1983 0 0 0 1 0 0 0 20 0 1 0 820397059 12218368 1936 33554432000 4194304 9128323 140735597267904 18446744073709551615 7998564 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28465/statm: 2983 1936 400 1205 0 1774 0
[startup+0.057523 s]
/proc/loadavg: 2.00 2.03 2.00 2/530 28465
/proc/meminfo: memFree=15109536/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=14056 CPUtime=0.05 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 2520 0 0 0 5 0 0 0 20 0 1 0 820397059 14393344 2472 33554432000 4194304 9128323 140735597267904 18446744073709551615 7998971 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28465/statm: 3514 2472 400 1205 0 2305 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14056
[startup+0.100518 s]
/proc/loadavg: 2.00 2.03 2.00 2/530 28465
/proc/meminfo: memFree=15109536/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=16268 CPUtime=0.09 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 3084 0 0 0 9 0 0 0 20 0 1 0 820397059 16658432 3035 33554432000 4194304 9128323 140735597267904 18446744073709551615 7929126 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28465/statm: 4067 3035 400 1205 0 2858 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16268
[startup+0.300494 s]
/proc/loadavg: 2.00 2.03 2.00 2/530 28465
/proc/meminfo: memFree=15109536/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=27288 CPUtime=0.29 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 5842 0 0 0 29 0 0 0 21 0 1 0 820397059 27942912 5788 33554432000 4194304 9128323 140735597267904 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28465/statm: 6822 5788 400 1205 0 5613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27288
[startup+0.700427 s]
/proc/loadavg: 2.00 2.03 2.00 2/530 28465
/proc/meminfo: memFree=15109536/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=89320 CPUtime=0.69 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 21080 0 0 0 67 2 0 0 22 0 1 0 820397059 91463680 20949 33554432000 4194304 9128323 140735597267904 18446744073709551615 8012615 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28465/statm: 22330 20949 467 1205 0 21121 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 89320
[startup+1.50029 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 28466
/proc/meminfo: memFree=14984908/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=161556 CPUtime=1.49 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 52954 0 0 0 144 5 0 0 25 0 1 0 820397059 165433344 38985 33554432000 4194304 9128323 140735597267904 18446744073709551615 4219723 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28465/statm: 40389 38985 533 1205 0 39180 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 161556
[startup+3.10102 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 28466
/proc/meminfo: memFree=14953412/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=190516 CPUtime=3.09 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 60541 0 0 0 303 6 0 0 25 0 1 0 820397059 195088384 46230 33554432000 4194304 9128323 140735597267904 18446744073709551615 4638750 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28465/statm: 47629 46231 569 1205 0 46420 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 190516
[startup+6.30046 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 28466
/proc/meminfo: memFree=14830356/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=317220 CPUtime=6.29 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 94526 0 0 0 619 10 0 0 25 0 1 0 820397059 324833280 69914 33554432000 4194304 9128323 140735597267904 18446744073709551615 6280361 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28465/statm: 79305 69914 937 1205 0 78096 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 317220
[startup+12.7004 s]
/proc/loadavg: 2.15 2.06 2.01 3/531 28466
/proc/meminfo: memFree=14807620/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=319268 CPUtime=12.69 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 100825 0 0 0 1258 11 0 0 25 0 1 0 820397059 326930432 75501 33554432000 4194304 9128323 140735597267904 18446744073709551615 6309877 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28465/statm: 79817 75501 945 1205 0 78608 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 319268
[startup+25.5002 s]
/proc/loadavg: 2.12 2.05 2.01 3/531 28466
/proc/meminfo: memFree=14800432/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=329532 CPUtime=25.49 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 102462 0 0 0 2537 12 0 0 25 0 1 0 820397059 337440768 77136 33554432000 4194304 9128323 140735597267904 18446744073709551615 6280372 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28465/statm: 82383 77136 945 1205 0 81174 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 329532
[startup+51.1008 s]
/proc/loadavg: 2.08 2.05 2.01 3/531 28468
/proc/meminfo: memFree=14793244/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=330388 CPUtime=51.09 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 104243 0 0 0 5096 13 0 0 25 0 1 0 820397059 338317312 78894 33554432000 4194304 9128323 140735597267904 18446744073709551615 6280372 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28465/statm: 82597 78894 923 1205 0 81388 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 330388
[startup+102.32 s]
/proc/loadavg: 2.03 2.04 2.00 3/531 28477
/proc/meminfo: memFree=14781176/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=339408 CPUtime=102.31 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 107185 0 0 0 10203 28 0 0 25 0 1 0 820397059 347553792 81596 33554432000 4194304 9128323 140735597267904 18446744073709551615 7380896 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28465/statm: 84852 81596 683 1205 0 83643 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 339408
[startup+162.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/531 28479
/proc/meminfo: memFree=14703916/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=409932 CPUtime=162.29 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 126073 0 0 0 16160 69 0 0 25 0 1 0 820397059 419770368 100449 33554432000 4194304 9128323 140735597267904 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28465/statm: 102483 100449 729 1205 0 101274 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 409932
[startup+222.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/531 28509
/proc/meminfo: memFree=14547524/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=409932 CPUtime=222.28 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 126073 0 0 0 22139 89 0 0 25 0 1 0 820397059 419770368 100449 33554432000 4194304 9128323 140735597267904 18446744073709551615 7346442 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 102483 100449 729 1205 0 101274 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 409932
[startup+282.301 s]
/proc/loadavg: 2.02 2.05 2.00 3/531 28511
/proc/meminfo: memFree=14528492/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=409932 CPUtime=282.29 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 126073 0 0 0 28125 104 0 0 25 0 1 0 820397059 419770368 100449 33554432000 4194304 9128323 140735597267904 18446744073709551615 7315582 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 102483 100449 729 1205 0 101274 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 409932
[startup+342.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/531 28513
/proc/meminfo: memFree=14528092/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=409932 CPUtime=342.29 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 126073 0 0 0 34108 121 0 0 25 0 1 0 820397059 419770368 100449 33554432000 4194304 9128323 140735597267904 18446744073709551615 7380906 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 102483 100449 729 1205 0 101274 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 409932
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 28515
/proc/meminfo: memFree=14526480/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=409932 CPUtime=402.3 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 126073 0 0 0 40096 134 0 0 25 0 1 0 820397059 419770368 100449 33554432000 4194304 9128323 140735597267904 18446744073709551615 5952913 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 102483 100449 729 1205 0 101274 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 409932
[startup+462.301 s]
/proc/loadavg: 2.21 2.07 2.02 3/531 28518
/proc/meminfo: memFree=14458008/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=409932 CPUtime=462.29 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 126074 0 0 0 46080 149 0 0 25 0 1 0 820397059 419770368 100450 33554432000 4194304 9128323 140735597267904 18446744073709551615 7315076 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 102483 100450 730 1205 0 101274 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 409932
[startup+522.301 s]
/proc/loadavg: 2.18 2.08 2.02 3/531 28520
/proc/meminfo: memFree=14440260/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=427528 CPUtime=522.3 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 130498 0 0 0 52051 179 0 0 25 0 1 0 820397059 437788672 104874 33554432000 4194304 9128323 140735597267904 18446744073709551615 6713353 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 106882 104874 738 1205 0 105673 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 427528
[startup+582.3 s]
/proc/loadavg: 2.10 2.08 2.02 3/531 28522
/proc/meminfo: memFree=14440232/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=427528 CPUtime=582.29 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 130499 0 0 0 58033 196 0 0 25 0 1 0 820397059 437788672 104875 33554432000 4194304 9128323 140735597267904 18446744073709551615 7191101 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 106882 104875 738 1205 0 105673 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 427528
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 28528
/proc/meminfo: memFree=14462876/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=402680 CPUtime=822.3 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 136510 0 0 0 81957 273 0 0 25 0 1 0 820397059 412344320 98959 33554432000 4194304 9128323 140735597267904 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 100670 98959 738 1205 0 99461 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 402680
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 28530
/proc/meminfo: memFree=14476876/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=402680 CPUtime=882.3 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 136510 0 0 0 87942 288 0 0 25 0 1 0 820397059 412344320 98959 33554432000 4194304 9128323 140735597267904 18446744073709551615 7312718 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 100670 98959 738 1205 0 99461 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 402680
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 28532
/proc/meminfo: memFree=14476980/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=402680 CPUtime=942.3 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 136510 0 0 0 93925 305 0 0 25 0 1 0 820397059 412344320 98959 33554432000 4194304 9128323 140735597267904 18446744073709551615 7315360 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 100670 98959 738 1205 0 99461 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 402680
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/531 28532
/proc/meminfo: memFree=14476968/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=402680 CPUtime=1002.31 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 136510 0 0 0 99910 321 0 0 25 0 1 0 820397059 412344320 98959 33554432000 4194304 9128323 140735597267904 18446744073709551615 7051473 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 100670 98959 738 1205 0 99461 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 402680
[startup+1062.3 s]
/proc/loadavg: 2.18 2.06 2.02 3/531 28534
/proc/meminfo: memFree=14476956/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=402680 CPUtime=1062.31 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 136511 0 0 0 105895 336 0 0 25 0 1 0 820397059 412344320 98960 33554432000 4194304 9128323 140735597267904 18446744073709551615 7315424 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 100670 98960 738 1205 0 99461 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 402680
[startup+1122.3 s]
/proc/loadavg: 2.20 2.09 2.03 3/531 28536
/proc/meminfo: memFree=14477076/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=402680 CPUtime=1122.31 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 136511 0 0 0 111879 352 0 0 25 0 1 0 820397059 412344320 98960 33554432000 4194304 9128323 140735597267904 18446744073709551615 7346483 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 100670 98960 738 1205 0 99461 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 402680
[startup+1182.3 s]
/proc/loadavg: 2.07 2.07 2.02 3/531 28538
/proc/meminfo: memFree=14478048/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=406100 CPUtime=1182.31 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 136512 0 0 0 117862 369 0 0 25 0 1 0 820397059 415846400 98961 33554432000 4194304 9128323 140735597267904 18446744073709551615 7025292 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 101525 98961 738 1205 0 100316 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 406100
[startup+1242.3 s]
/proc/loadavg: 2.02 2.06 2.02 3/531 28540
/proc/meminfo: memFree=14475176/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=412944 CPUtime=1242.31 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 137474 0 0 0 123848 383 0 0 25 0 1 0 820397059 422854656 99923 33554432000 4194304 9128323 140735597267904 18446744073709551615 7192387 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 103236 99923 738 1205 0 102027 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 412944
[startup+1302.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/531 28540
/proc/meminfo: memFree=14470564/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=419780 CPUtime=1302.33 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 138516 0 0 0 129834 399 0 0 25 0 1 0 820397059 429854720 100965 33554432000 4194304 9128323 140735597267904 18446744073709551615 6583269 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 104945 100965 738 1205 0 103736 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 419780
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 28542
/proc/meminfo: memFree=14465088/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=425252 CPUtime=1362.31 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 140182 0 0 0 135819 412 0 0 25 0 1 0 820397059 435458048 102631 33554432000 4194304 9128323 140735597267904 18446744073709551615 7380906 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 106313 102631 738 1205 0 105104 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 425252
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 28544
/proc/meminfo: memFree=14456768/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=432740 CPUtime=1422.33 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 142262 0 0 0 141804 429 0 0 25 0 1 0 820397059 443125760 104696 33554432000 4194304 9128323 140735597267904 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 108185 104696 738 1205 0 106976 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 432740
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 28546
/proc/meminfo: memFree=14452780/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=438580 CPUtime=1482.32 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 169760 0 0 0 147770 462 0 0 25 0 1 0 820397059 449105920 105418 33554432000 4194304 9128323 140735597267904 18446744073709551615 4840450 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 109645 105418 739 1205 0 108436 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 438580
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/531 28548
/proc/meminfo: memFree=14441844/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=447888 CPUtime=1542.31 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 172775 0 0 0 153754 477 0 0 25 0 1 0 820397059 458637312 108373 33554432000 4194304 9128323 140735597267904 18446744073709551615 7380899 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 111972 108373 754 1205 0 110763 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 447888
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/531 28548
/proc/meminfo: memFree=14435760/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=452412 CPUtime=1602.32 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 174338 0 0 0 159740 492 0 0 25 0 1 0 820397059 463269888 109922 33554432000 4194304 9128323 140735597267904 18446744073709551615 7191101 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 113103 109922 740 1205 0 111894 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 452412
[startup+1662.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/531 28550
/proc/meminfo: memFree=14428056/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=461296 CPUtime=1662.32 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 176356 0 0 0 165725 507 0 0 25 0 1 0 820397059 472367104 111938 33554432000 4194304 9128323 140735597267904 18446744073709551615 7315187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 115324 111938 739 1205 0 114115 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 461296
[startup+1722.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/531 28552
/proc/meminfo: memFree=14419124/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=469312 CPUtime=1722.32 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 178551 0 0 0 171708 524 0 0 25 0 1 0 820397059 480575488 114127 33554432000 4194304 9128323 140735597267904 18446744073709551615 7312772 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 117328 114127 740 1205 0 116119 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 469312
[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/531 28554
/proc/meminfo: memFree=14406336/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=482656 CPUtime=1782.32 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 181395 0 0 0 177694 538 0 0 25 0 1 0 820397059 494239744 116970 33554432000 4194304 9128323 140735597267904 18446744073709551615 7051532 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28465/statm: 120664 116970 739 1205 0 119455 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 482656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.04 2.00 3/531 28554
/proc/meminfo: memFree=14403732/32951132 swapFree=46579808/67111528
[pid=28465] ppid=28463 vsize=484620 CPUtime=1800.03 cores=1,3,5,7
/proc/28465/stat : 28465 (scip-2.0.1.4.li) R 28463 28465 20905 0 -1 4202496 181986 0 0 0 179462 541 0 0 25 0 1 0 820397059 496250880 117561 33554432000 4194304 9128323 140735597267904 18446744073709551615 5379718 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28465/statm: 121155 117561 740 1205 0 119946 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 484620
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.07
CPU user time (s): 1794.63
CPU system time (s): 5.43917
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 525348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.63
system time used= 5.43917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181986
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= 18548
runsolver used 9.32458 second user time and 23.2735 second system time
The end