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-3452667-1307082366.opb>
0.09/0.14 c original problem has 3300 variables (3300 bin, 0 int, 0 impl, 0 cont) and 21018 constraints
0.09/0.14 c problem read
0.09/0.14 c presolving settings loaded
0.19/0.20 c presolving:
0.19/0.27 c (round 1) 30 del vars, 30 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 149700 impls, 0 clqs
0.29/0.34 c (round 2) 30 del vars, 30 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 19818 upgd conss, 149700 impls, 0 clqs
0.29/0.36 c (round 3) 30 del vars, 30 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 20988 upgd conss, 149700 impls, 0 clqs
0.39/0.47 c (0.5s) probing: 101/3270 (3.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.47 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.39/0.47 c presolving (4 rounds):
0.39/0.47 c 30 deleted vars, 30 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.47 c 149700 implications, 0 cliques
0.39/0.47 c presolved problem has 3270 variables (3270 bin, 0 int, 0 impl, 0 cont) and 20988 constraints
0.39/0.47 c 20580 constraints of type <setppc>
0.39/0.47 c 408 constraints of type <logicor>
0.39/0.47 c transformed objective value is always integral (scale: 1)
0.39/0.47 c Presolving Time: 0.31
0.39/0.47 c - non default parameters ----------------------------------------------------------------------
0.39/0.47 c # SCIP version 2.0.1.4
0.39/0.47 c
0.39/0.47 c # frequency for displaying node information lines
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.47 c display/freq = 10000
0.39/0.47 c
0.39/0.47 c # maximal time in seconds to run
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/time = 1800
0.39/0.47 c
0.39/0.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/memory = 13950
0.39/0.47 c
0.39/0.47 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.47 c # [type: int, range: [1,2], default: 1]
0.39/0.47 c timing/clocktype = 2
0.39/0.47 c
0.39/0.47 c # belongs reading time to solving time?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c timing/reading = TRUE
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify inequalities
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/linear/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/indicator/addCouplingCons = TRUE
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify knapsacks
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.47 c separating/rapidlearning/freq = 0
0.39/0.47 c
0.39/0.47 c -----------------------------------------------------------------------------------------------
0.39/0.47 c start solving
0.39/0.47 c
2.69/2.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.69/2.72 c 2.7s| 1 | 0 | 7977 | - | 35M| 0 |2256 |3270 | 21k|3270 | 20k| 0 | 33 | 0 | 6.292500e+02 | -- | Inf
7.29/7.32 c 7.3s| 1 | 0 | 18102 | - | 35M| 0 |2245 |3270 | 21k|3270 | 21k| 15 | 33 | 0 | 6.419854e+02 | -- | Inf
8.29/8.31 c 8.3s| 1 | 0 | 19376 | - | 36M| 0 |2213 |3270 | 21k|3270 | 21k| 33 | 33 | 0 | 6.531782e+02 | -- | Inf
9.19/9.27 c 9.3s| 1 | 0 | 20504 | - | 36M| 0 |2193 |3270 | 21k|3270 | 21k| 53 | 33 | 0 | 6.606905e+02 | -- | Inf
10.29/10.33 c 10.3s| 1 | 0 | 21686 | - | 36M| 0 |2166 |3270 | 21k|3270 | 21k| 81 | 33 | 0 | 6.663730e+02 | -- | Inf
11.39/11.48 c 11.5s| 1 | 0 | 23059 | - | 37M| 0 |2186 |3270 | 21k|3270 | 21k| 104 | 33 | 0 | 6.701730e+02 | -- | Inf
12.59/12.69 c 12.7s| 1 | 0 | 24394 | - | 37M| 0 |2179 |3270 | 21k|3270 | 21k| 126 | 33 | 0 | 6.728366e+02 | -- | Inf
13.99/14.07 c 14.1s| 1 | 0 | 25871 | - | 38M| 0 |2196 |3270 | 21k|3270 | 21k| 148 | 33 | 0 | 6.750313e+02 | -- | Inf
15.49/15.51 c 15.5s| 1 | 0 | 27321 | - | 38M| 0 |2181 |3270 | 21k|3270 | 21k| 167 | 33 | 0 | 6.766517e+02 | -- | Inf
16.89/16.92 c 16.9s| 1 | 0 | 28245 | - | 39M| 0 |2164 |3270 | 21k|3270 | 21k| 187 | 33 | 0 | 6.776590e+02 | -- | Inf
18.49/18.56 c 18.6s| 1 | 0 | 29228 | - | 39M| 0 |2159 |3270 | 21k|3270 | 21k| 204 | 33 | 0 | 6.784043e+02 | -- | Inf
20.59/20.66 c 20.7s| 1 | 0 | 29890 | - | 40M| 0 |2154 |3270 | 21k|3270 | 21k| 218 | 33 | 0 | 6.789399e+02 | -- | Inf
22.79/22.88 c 22.9s| 1 | 0 | 30578 | - | 40M| 0 |2160 |3270 | 21k|3270 | 21k| 231 | 33 | 0 | 6.793314e+02 | -- | Inf
24.89/24.92 c 24.9s| 1 | 0 | 31161 | - | 40M| 0 |2139 |3270 | 21k|3270 | 21k| 242 | 33 | 0 | 6.797554e+02 | -- | Inf
27.79/27.85 c 27.9s| 1 | 0 | 31591 | - | 41M| 0 |2150 |3270 | 21k|3270 | 21k| 252 | 33 | 0 | 6.799652e+02 | -- | Inf
30.29/30.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.29/30.37 c 30.4s| 1 | 0 | 32004 | - | 41M| 0 |2160 |3270 | 21k|3270 | 21k| 260 | 33 | 0 | 6.801106e+02 | -- | Inf
34.39/34.43 c 34.4s| 1 | 0 | 32622 | - | 41M| 0 |2154 |3270 | 21k|3270 | 21k| 272 | 33 | 0 | 6.803491e+02 | -- | Inf
37.49/37.52 c 37.5s| 1 | 0 | 33289 | - | 41M| 0 |2157 |3270 | 21k|3270 | 21k| 281 | 33 | 0 | 6.806845e+02 | -- | Inf
41.39/41.49 c 41.5s| 1 | 0 | 33567 | - | 41M| 0 |2145 |3270 | 21k|3270 | 21k| 287 | 33 | 0 | 6.808095e+02 | -- | Inf
45.39/45.49 c 45.5s| 1 | 0 | 33850 | - | 41M| 0 |2147 |3270 | 21k|3270 | 21k| 292 | 33 | 0 | 6.809324e+02 | -- | Inf
49.51/49.56 c 49.6s| 1 | 0 | 34007 | - | 41M| 0 |2144 |3270 | 21k|3270 | 21k| 296 | 33 | 0 | 6.809763e+02 | -- | Inf
68.29/68.32 c 68.3s| 1 | 2 | 34007 | - | 41M| 0 |2144 |3270 | 21k|3270 | 21k| 296 | 33 | 55 | 6.809763e+02 | -- | Inf
191.09/191.19 o 1489
191.09/191.19 c o 191s| 62 | 63 |131477 |1597.9 | 42M| 14 | 0 |3270 | 21k|3270 | 21k| 296 | 58 | 463 | 6.819625e+02 | 1.489000e+03 | 118.34%
191.19/191.21 o 1445
191.19/191.21 c b 191s| 63 | 62 |131477 |1572.1 | 42M| 14 | - |3270 | 21k|3270 | 21k| 296 | 58 | 463 | 6.819625e+02 | 1.445000e+03 | 111.89%
197.69/197.79 o 1444
197.69/197.79 c s 198s| 98 | 97 |141110 |1104.2 | 43M| 40 | 412 |3270 | 21k|3270 | 21k| 296 | 58 | 492 | 6.819625e+02 | 1.444000e+03 | 111.74%
197.69/197.79 o 1400
197.69/197.79 c b 198s| 98 | 99 |141110 |1104.2 | 43M| 40 | 412 |3270 | 21k|3270 | 21k| 296 | 58 | 492 | 6.819625e+02 | 1.400000e+03 | 105.29%
214.69/214.74 o 1328
214.69/214.74 c C 215s| 298 | 136 |170264 | 458.8 | 43M| 68 | - |3270 | 21k|3270 | 21k| 296 | 250 | 522 | 6.820835e+02 | 1.328000e+03 | 94.70%
214.69/214.76 o 1299
214.69/214.76 c b 215s| 298 | 133 |170264 | 458.8 | 44M| 68 | - |3270 | 21k|3270 | 21k| 296 | 250 | 522 | 6.820835e+02 | 1.299000e+03 | 90.45%
883.90/883.92 o 1281
883.90/883.92 c C 884s| 6498 | 956 | 1044k| 155.6 | 54M| 112 | - |3270 | 21k|3270 | 21k| 296 | 883 |2994 | 6.894321e+02 | 1.281000e+03 | 85.81%
935.60/935.63 o 1250
935.60/935.63 c C 936s| 7098 | 1008 | 1108k| 151.5 | 54M| 112 | - |3270 | 21k|3270 | 21k| 296 | 932 |3250 | 6.897153e+02 | 1.250000e+03 | 81.23%
935.60/935.69 o 1219
935.60/935.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
935.60/935.69 c b 936s| 7099 | 1004 | 1109k| 151.5 | 54M| 112 | - |3270 | 21k|3270 | 21k| 296 | 932 |3250 | 6.897153e+02 | 1.219000e+03 | 76.74%
1179.50/1179.55 c 1180s| 10000 | 1458 | 1414k| 138.1 | 60M| 159 | 487 |3270 | 21k|3270 | 21k| 296 |1144 |4274 | 6.908157e+02 | 1.219000e+03 | 76.46%
1583.01/1583.07 o 1201
1583.01/1583.07 c C1583s| 13299 | 2396 | 1960k| 144.9 | 72M| 195 |1667 |3270 | 21k|3270 | 21k| 296 |1565 |5860 | 6.923816e+02 | 1.201000e+03 | 73.46%
1583.11/1583.11 o 1170
1583.11/1583.11 c b1583s| 13300 | 2296 | 1960k| 144.9 | 70M| 195 |1652 |3270 | 21k|3270 | 21k| 296 |1565 |5860 | 6.923816e+02 | 1.170000e+03 | 68.98%
1800.01/1800.01 c
1800.01/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.01/1800.01 c Solving Time (sec) : 1800.01
1800.01/1800.01 c Solving Nodes : 14650
1800.01/1800.01 c Primal Bound : +1.17000000000000e+03 (15 solutions)
1800.01/1800.01 c Dual Bound : +6.93579812648065e+02
1800.01/1800.01 c Gap : 68.69 %
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-3452667-1307082366/watcher-3452667-1307082366 -o /tmp/evaluation-result-3452667-1307082366/solver-3452667-1307082366 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452667-1307082366.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: 2.00 2.02 2.00 3/498 9730
/proc/meminfo: memFree=28955212/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=12792 CPUtime=0.01 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 2207 0 0 0 1 0 0 0 25 0 1 0 819836254 13099008 2160 33554432000 4194304 9128323 140737358357200 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9730/statm: 3198 2160 400 1205 0 1989 0
[startup+0.060076 s]
/proc/loadavg: 2.00 2.02 2.00 3/498 9730
/proc/meminfo: memFree=28955212/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=15492 CPUtime=0.05 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 2885 0 0 0 5 0 0 0 25 0 1 0 819836254 15863808 2837 33554432000 4194304 9128323 140737358357200 18446744073709551615 8008925 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9730/statm: 3873 2837 400 1205 0 2664 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15492
[startup+0.101071 s]
/proc/loadavg: 2.00 2.02 2.00 3/498 9730
/proc/meminfo: memFree=28955212/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=17560 CPUtime=0.09 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 3416 0 0 0 9 0 0 0 25 0 1 0 819836254 17981440 3367 33554432000 4194304 9128323 140737358357200 18446744073709551615 8011988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9730/statm: 4390 3367 400 1205 0 3181 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17560
[startup+0.301038 s]
/proc/loadavg: 2.00 2.02 2.00 3/498 9730
/proc/meminfo: memFree=28955212/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=58972 CPUtime=0.29 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 14511 0 0 0 27 2 0 0 25 0 1 0 819836254 60387328 13426 33554432000 4194304 9128323 140737358357200 18446744073709551615 8012696 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 14743 13437 516 1205 0 13534 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58972
[startup+0.700971 s]
/proc/loadavg: 2.00 2.02 2.00 3/498 9730
/proc/meminfo: memFree=28955212/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=89548 CPUtime=0.69 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 22850 0 0 0 66 3 0 0 25 0 1 0 819836254 91697152 20842 33554432000 4194304 9128323 140737358357200 18446744073709551615 7191101 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 22387 20842 663 1205 0 21178 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 89548
[startup+1.50087 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 9731
/proc/meminfo: memFree=28868900/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=97752 CPUtime=1.49 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 25001 0 0 0 145 4 0 0 25 0 1 0 819836254 100098048 22621 33554432000 4194304 9128323 140737358357200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 24438 22621 655 1205 0 23229 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97752
[startup+3.1006 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 9731
/proc/meminfo: memFree=28864064/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=98128 CPUtime=3.09 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 25663 0 0 0 305 4 0 0 25 0 1 0 819836254 100483072 23040 33554432000 4194304 9128323 140737358357200 18446744073709551615 7315080 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 24532 23040 665 1205 0 23323 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 98128
[startup+6.30104 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 9731
/proc/meminfo: memFree=28863056/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=98128 CPUtime=6.29 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 25670 0 0 0 623 6 0 0 25 0 1 0 819836254 100483072 23047 33554432000 4194304 9128323 140737358357200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 24532 23047 666 1205 0 23323 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 98128
[startup+12.701 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 9731
/proc/meminfo: memFree=28851556/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=109264 CPUtime=12.69 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 28927 0 0 0 1261 8 0 0 25 0 1 0 819836254 111886336 26287 33554432000 4194304 9128323 140737358357200 18446744073709551615 5873404 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 27316 26287 689 1205 0 26107 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 109264
[startup+25.5008 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 9731
/proc/meminfo: memFree=28845100/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=115044 CPUtime=25.49 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 33508 0 0 0 2536 13 0 0 25 0 1 0 819836254 117805056 27543 33554432000 4194304 9128323 140737358357200 18446744073709551615 7018452 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 28761 27543 689 1205 0 27552 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 115044
[startup+51.1005 s]
/proc/loadavg: 2.13 2.05 2.01 3/499 9731
/proc/meminfo: memFree=28842516/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=119548 CPUtime=51.09 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 40945 0 0 0 5087 22 0 0 25 0 1 0 819836254 122417152 28624 33554432000 4194304 9128323 140737358357200 18446744073709551615 7018441 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 29887 28624 882 1205 0 28678 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 119548
[startup+102.319 s]
/proc/loadavg: 2.13 2.05 2.01 3/499 9733
/proc/meminfo: memFree=28848916/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=119288 CPUtime=102.31 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 190142 0 0 0 10174 57 0 0 25 0 1 0 819836254 122150912 28899 33554432000 4194304 9128323 140737358357200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 29822 28899 712 1205 0 28613 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 119288
[startup+162.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/499 9735
/proc/meminfo: memFree=28841712/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=120544 CPUtime=162.29 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 241546 0 0 0 16150 79 0 0 25 0 1 0 819836254 123437056 28791 33554432000 4194304 9128323 140737358357200 18446744073709551615 7343020 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 30136 28791 712 1205 0 28927 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 120544
[startup+222.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 9737
/proc/meminfo: memFree=28845924/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=121356 CPUtime=222.29 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 262879 0 0 0 22129 100 0 0 25 0 1 0 819836254 124268544 28758 33554432000 4194304 9128323 140737358357200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 30339 28758 739 1205 0 29130 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 121356
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 9737
/proc/meminfo: memFree=28840340/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=126480 CPUtime=282.29 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 294850 0 0 0 28110 119 0 0 25 0 1 0 819836254 129515520 30339 33554432000 4194304 9128323 140737358357200 18446744073709551615 7267340 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 31620 30339 1007 1205 0 30411 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 126480
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 9739
/proc/meminfo: memFree=28837720/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=125344 CPUtime=342.29 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 310971 0 0 0 34092 137 0 0 25 0 1 0 819836254 128352256 30078 33554432000 4194304 9128323 140737358357200 18446744073709551615 8012639 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 31336 30078 739 1205 0 30127 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 125344
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 9741
/proc/meminfo: memFree=28835596/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=126736 CPUtime=402.29 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 320503 0 0 0 40077 152 0 0 25 0 1 0 819836254 129777664 30483 33554432000 4194304 9128323 140737358357200 18446744073709551615 7346406 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 31684 30483 739 1205 0 30475 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 126736
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 9743
/proc/meminfo: memFree=28838436/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=127848 CPUtime=462.29 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 342311 0 0 0 46060 169 0 0 25 0 1 0 819836254 130916352 29896 33554432000 4194304 9128323 140737358357200 18446744073709551615 7326528 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 31962 29896 739 1205 0 30753 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 127848
[startup+522.301 s]
/proc/loadavg: 2.14 2.04 2.01 3/499 9745
/proc/meminfo: memFree=28830740/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=128268 CPUtime=522.29 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 367217 0 0 0 52043 186 0 0 25 0 1 0 819836254 131346432 31163 33554432000 4194304 9128323 140737358357200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 32067 31163 740 1205 0 30858 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 128268
[startup+582.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/499 9745
/proc/meminfo: memFree=28813500/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=126764 CPUtime=582.3 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 393716 0 0 0 58022 208 0 0 25 0 1 0 819836254 129806336 30546 33554432000 4194304 9128323 140737358357200 18446744073709551615 7183693 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 31691 30546 739 1205 0 30482 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 126764
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 9753
/proc/meminfo: memFree=28829436/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=135404 CPUtime=822.3 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 464691 0 0 0 81953 277 0 0 25 0 1 0 819836254 138653696 32582 33554432000 4194304 9128323 140737358357200 18446744073709551615 7343451 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 33851 32582 739 1205 0 32642 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 135404
[startup+882.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 9753
/proc/meminfo: memFree=28823972/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=136204 CPUtime=882.31 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 465102 0 0 0 87938 293 0 0 25 0 1 0 819836254 139472896 32993 33554432000 4194304 9128323 140737358357200 18446744073709551615 7315248 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 34051 32993 739 1205 0 32842 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 136204
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 9755
/proc/meminfo: memFree=28819984/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=138520 CPUtime=942.31 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 504860 0 0 0 93916 315 0 0 25 0 1 0 819836254 141844480 33023 33554432000 4194304 9128323 140737358357200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 34630 33023 739 1205 0 33421 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 138520
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 9757
/proc/meminfo: memFree=28820844/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=137496 CPUtime=1002.3 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 538041 0 0 0 99894 336 0 0 25 0 1 0 819836254 140795904 33309 33554432000 4194304 9128323 140737358357200 18446744073709551615 7267353 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 34374 33309 742 1205 0 33165 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 137496
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 9759
/proc/meminfo: memFree=28821456/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=140544 CPUtime=1062.3 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 562230 0 0 0 105876 354 0 0 25 0 1 0 819836254 143917056 34008 33554432000 4194304 9128323 140737358357200 18446744073709551615 7163040 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 35136 34008 739 1205 0 33927 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 140544
[startup+1122.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/499 9761
/proc/meminfo: memFree=28819468/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=140336 CPUtime=1122.31 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 564547 0 0 0 111860 371 0 0 25 0 1 0 819836254 143704064 34021 33554432000 4194304 9128323 140737358357200 18446744073709551615 7192361 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 35084 34021 739 1205 0 33875 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 140336
[startup+1182.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/499 9761
/proc/meminfo: memFree=28811896/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=142788 CPUtime=1182.3 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 568922 0 0 0 117844 386 0 0 25 0 1 0 819836254 146214912 34811 33554432000 4194304 9128323 140737358357200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 35697 34811 739 1205 0 34488 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 142788
[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 9763
/proc/meminfo: memFree=28808296/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=144528 CPUtime=1242.3 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 587146 0 0 0 123825 405 0 0 25 0 1 0 819836254 147996672 34589 33554432000 4194304 9128323 140737358357200 18446744073709551615 7205394 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 36132 34589 742 1205 0 34923 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 144528
[startup+1302.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/499 9765
/proc/meminfo: memFree=28807792/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=146476 CPUtime=1302.32 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 593846 0 0 0 129812 420 0 0 25 0 1 0 819836254 149991424 35200 33554432000 4194304 9128323 140737358357200 18446744073709551615 7342969 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 36619 35200 739 1205 0 35410 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 146476
[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/499 9767
/proc/meminfo: memFree=28799728/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=153576 CPUtime=1362.31 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 597323 0 0 0 135795 436 0 0 25 0 1 0 819836254 157261824 37199 33554432000 4194304 9128323 140737358357200 18446744073709551615 7205408 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 38394 37199 805 1205 0 37185 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 153576
[startup+1422.32 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 9769
/proc/meminfo: memFree=28795876/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=151748 CPUtime=1422.33 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 605754 0 0 0 141780 453 0 0 25 0 1 0 819836254 155389952 36618 33554432000 4194304 9128323 140737358357200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 37937 36618 739 1205 0 36728 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 151748
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/499 9769
/proc/meminfo: memFree=28800820/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=152440 CPUtime=1482.31 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 614859 0 0 0 147760 471 0 0 25 0 1 0 819836254 156098560 37068 33554432000 4194304 9128323 140737358357200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 38110 37068 782 1205 0 36901 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 152440
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 9771
/proc/meminfo: memFree=28803788/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=154168 CPUtime=1542.31 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 623550 0 0 0 153746 485 0 0 25 0 1 0 819836254 157868032 37323 33554432000 4194304 9128323 140737358357200 18446744073709551615 7343089 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 38542 37323 739 1205 0 37333 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 154168
[startup+1602.3 s]
/proc/loadavg: 1.78 1.96 1.98 2/493 9791
/proc/meminfo: memFree=28983676/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=156564 CPUtime=1602.31 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 646483 0 0 0 159726 505 0 0 25 0 1 0 819836254 160321536 38002 33554432000 4194304 9128323 140737358357200 18446744073709551615 7162943 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 39141 38002 739 1205 0 37932 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 156564
[startup+1662.3 s]
/proc/loadavg: 1.40 1.82 1.93 2/493 9793
/proc/meminfo: memFree=28983940/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=159004 CPUtime=1662.32 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 674054 0 0 0 165704 528 0 0 25 0 1 0 819836254 162820096 38232 33554432000 4194304 9128323 140737358357200 18446744073709551615 7192370 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 39751 38232 739 1205 0 38542 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 159004
[startup+1722.3 s]
/proc/loadavg: 1.20 1.68 1.87 2/493 9795
/proc/meminfo: memFree=28981828/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=163564 CPUtime=1722.32 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 685711 0 0 0 171687 545 0 0 25 0 1 0 819836254 167489536 39305 33554432000 4194304 9128323 140737358357200 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 40891 39305 1084 1205 0 39682 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 163564
[startup+1782.3 s]
/proc/loadavg: 1.07 1.55 1.82 2/493 9795
/proc/meminfo: memFree=28979588/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=160956 CPUtime=1782.32 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 706009 0 0 0 177669 563 0 0 25 0 1 0 819836254 164818944 38675 33554432000 4194304 9128323 140737358357200 18446744073709551615 7162880 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 40239 38675 739 1205 0 39030 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 160956
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.05 1.52 1.80 2/493 9797
/proc/meminfo: memFree=28976860/32951132 swapFree=57925096/67111528
[pid=9730] ppid=9728 vsize=162512 CPUtime=1800.03 cores=0,2,4,6
/proc/9730/stat : 9730 (scip-2.0.1.4.li) R 9728 9730 7222 0 -1 4202496 708119 0 0 0 179434 569 0 0 25 0 1 0 819836254 166412288 39529 33554432000 4194304 9128323 140737358357200 18446744073709551615 7205349 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9730/statm: 40628 39529 739 1205 0 39419 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 162512
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.05
CPU user time (s): 1794.35
CPU system time (s): 5.70413
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 201656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.35
system time used= 5.70413
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 708119
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= 4
involuntary context switches= 4734
runsolver used 9.55155 second user time and 19.984 second system time
The end