0.29/0.35 c SCIP version 1.1.0.7
0.29/0.35 c LP-Solver Clp 1.8.2
0.29/0.35 c user parameter file <scip.set> not found - using default parameters
0.29/0.35 c read problem <HOME/instance-1869081-1245157252.opb>
0.29/0.35 c original problem has 3204 variables (3204 bin, 0 int, 0 impl, 0 cont) and 24883 constraints
0.39/0.43 c start presolving problem
0.39/0.43 c presolving:
0.49/0.57 c (round 1) 12 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 98196 impls, 0 clqs
0.69/0.75 c (round 2) 12 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 23461 upgd conss, 98196 impls, 0 clqs
0.79/0.82 c (round 3) 12 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 24871 upgd conss, 98196 impls, 0 clqs
2.79/2.83 c (2.4s) probing: 1000/3192 (31.3%) - 0 fixings, 0 aggregations, 25570 implications, 0 bound changes
4.19/4.25 c (3.8s) probing: 1799/3192 (56.4%) - 0 fixings, 0 aggregations, 30541 implications, 0 bound changes
4.19/4.25 c (3.8s) probing aborted: 100/100 successive totally useless probings
4.19/4.25 c presolving (4 rounds):
4.19/4.25 c 12 deleted vars, 12 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.19/4.25 c 181560 implications, 0 cliques
4.19/4.25 c presolved problem has 3192 variables (3192 bin, 0 int, 0 impl, 0 cont) and 24871 constraints
4.19/4.25 c 24871 constraints of type <logicor>
4.19/4.25 c transformed objective value is always integral (scale: 1)
4.19/4.25 c Presolving Time: 3.72
4.19/4.25 c strange?!, PURESAT with obj
4.19/4.25 c -----------------------------------------------------------------------------------------------
4.19/4.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.19/4.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.19/4.25 c limits/memory = c 1620
4.19/4.25 c # maximal time in seconds to run
4.19/4.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.19/4.25 c limits/time = c 1791
4.19/4.25 c # frequency for displaying node information lines
4.19/4.25 c # [type: int, range: [-1,2147483647], default: 100]
4.19/4.25 c display/freq = c 10000
4.19/4.25 c -----------------------------------------------------------------------------------------------
4.19/4.25 c start solving problem
4.19/4.25 c
7.09/7.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.09/7.14 c 6.6s| 1 | 0 | 3542 | 39M| 0 |2252 |3192 | 24k| 24k|3192 | 24k| 0 | 0 | 0 | 5.143750e+02 | -- | Inf
20.08/20.16 c 19.5s| 1 | 0 | 8886 | 40M| 0 |2256 |3192 | 24k| 24k|3192 | 25k| 879 | 0 | 0 | 5.878438e+02 | -- | Inf
24.28/24.38 c 23.7s| 1 | 0 | 9453 | 40M| 0 |2251 |3192 | 24k| 24k|3192 | 25k| 894 | 0 | 0 | 5.929802e+02 | -- | Inf
27.78/27.88 c 27.2s| 1 | 0 | 9950 | 40M| 0 |2253 |3192 | 24k| 24k|3192 | 25k| 910 | 0 | 0 | 5.966988e+02 | -- | Inf
31.88/31.96 c 31.3s| 1 | 0 | 10438 | 40M| 0 |2250 |3192 | 24k| 24k|3192 | 25k| 928 | 0 | 0 | 5.997220e+02 | -- | Inf
36.07/36.15 c 35.5s| 1 | 0 | 10980 | 40M| 0 |2244 |3192 | 24k| 24k|3192 | 25k| 944 | 0 | 0 | 6.023275e+02 | -- | Inf
39.87/39.98 c 39.3s| 1 | 0 | 11566 | 41M| 0 |2244 |3192 | 24k| 24k|3192 | 25k| 955 | 0 | 0 | 6.049874e+02 | -- | Inf
43.97/44.06 c 43.3s| 1 | 0 | 11987 | 41M| 0 |2243 |3192 | 24k| 24k|3192 | 25k| 968 | 0 | 0 | 6.063039e+02 | -- | Inf
49.07/49.15 c 48.4s| 1 | 0 | 12511 | 41M| 0 |2252 |3192 | 24k| 24k|3192 | 25k| 978 | 0 | 0 | 6.074343e+02 | -- | Inf
54.37/54.46 c 53.7s| 1 | 0 | 13178 | 41M| 0 |2252 |3192 | 24k| 24k|3192 | 25k| 992 | 0 | 0 | 6.087560e+02 | -- | Inf
59.66/59.78 c 59.0s| 1 | 0 | 13827 | 42M| 0 |2238 |3192 | 24k| 24k|3192 | 25k|1005 | 0 | 0 | 6.098344e+02 | -- | Inf
62.57/62.68 c 61.9s| 1 | 0 | 14384 | 42M| 0 |2237 |3192 | 24k| 24k|3192 | 25k|1020 | 0 | 0 | 6.108808e+02 | -- | Inf
67.66/67.76 c 67.0s| 1 | 0 | 14868 | 42M| 0 |2237 |3192 | 24k| 24k|3192 | 25k|1031 | 0 | 0 | 6.114686e+02 | -- | Inf
74.46/74.54 c 73.7s| 1 | 0 | 15335 | 42M| 0 |2244 |3192 | 24k| 24k|3192 | 25k|1042 | 0 | 0 | 6.121334e+02 | -- | Inf
82.76/82.88 c 82.0s| 1 | 0 | 15820 | 43M| 0 |2245 |3192 | 24k| 24k|3192 | 25k|1054 | 0 | 0 | 6.126386e+02 | -- | Inf
87.16/87.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.16/87.28 c 86.4s| 1 | 0 | 16370 | 43M| 0 |2236 |3192 | 24k| 24k|3192 | 25k|1064 | 0 | 0 | 6.132827e+02 | -- | Inf
96.65/96.78 c 95.9s| 1 | 0 | 16847 | 43M| 0 |2232 |3192 | 24k| 24k|3192 | 25k|1077 | 0 | 0 | 6.139055e+02 | -- | Inf
102.95/103.08 c 102s| 1 | 0 | 17497 | 43M| 0 |2235 |3192 | 24k| 24k|3192 | 25k|1087 | 0 | 0 | 6.146793e+02 | -- | Inf
110.06/110.10 c 109s| 1 | 0 | 18063 | 43M| 0 |2240 |3192 | 24k| 24k|3192 | 25k|1097 | 0 | 0 | 6.150742e+02 | -- | Inf
114.75/114.87 c 114s| 1 | 0 | 18549 | 43M| 0 |2234 |3192 | 24k| 24k|3192 | 25k|1108 | 0 | 0 | 6.153873e+02 | -- | Inf
134.14/134.25 c 133s| 1 | 0 | 18847 | 44M| 0 |2228 |3192 | 24k| 24k|3192 | 25k|1118 | 0 | 0 | 6.155385e+02 | -- | Inf
136.74/136.84 c 136s| 1 | 0 | 19123 | 44M| 0 |2234 |3192 | 24k| 24k|3192 | 25k|1123 | 0 | 0 | 6.158315e+02 | -- | Inf
147.64/147.76 c 147s| 1 | 0 | 19401 | 44M| 0 |2234 |3192 | 24k| 24k|3192 | 25k|1129 | 0 | 0 | 6.160150e+02 | -- | Inf
150.54/150.63 c 150s| 1 | 0 | 19698 | 44M| 0 |2238 |3192 | 24k| 24k|3192 | 25k|1137 | 0 | 0 | 6.163178e+02 | -- | Inf
162.64/162.73 c 162s| 1 | 0 | 20150 | 44M| 0 |2245 |3192 | 24k| 24k|3192 | 25k|1146 | 0 | 0 | 6.166604e+02 | -- | Inf
165.63/165.77 c 165s| 1 | 0 | 20507 | 44M| 0 |2245 |3192 | 24k| 24k|3192 | 25k|1154 | 0 | 0 | 6.169613e+02 | -- | Inf
170.74/170.86 c 170s| 1 | 0 | 20783 | 44M| 0 |2240 |3192 | 24k| 24k|3192 | 25k|1162 | 0 | 0 | 6.172040e+02 | -- | Inf
182.63/182.76 c 182s| 1 | 0 | 21034 | 44M| 0 |2229 |3192 | 24k| 24k|3192 | 25k|1168 | 0 | 0 | 6.173726e+02 | -- | Inf
194.33/194.40 c 193s| 1 | 0 | 21119 | 44M| 0 |2231 |3192 | 24k| 24k|3192 | 25k|1175 | 0 | 0 | 6.174912e+02 | -- | Inf
206.13/206.20 c 205s| 1 | 0 | 21269 | 44M| 0 |2238 |3192 | 24k| 24k|3192 | 25k|1180 | 0 | 0 | 6.176586e+02 | -- | Inf
218.83/218.93 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.83/218.93 c 218s| 1 | 0 | 21464 | 44M| 0 |2237 |3192 | 24k| 24k|3192 | 25k|1184 | 0 | 0 | 6.177970e+02 | -- | Inf
229.83/229.98 c 229s| 1 | 0 | 21590 | 44M| 0 |2235 |3192 | 24k| 24k|3192 | 25k|1188 | 0 | 0 | 6.178569e+02 | -- | Inf
232.72/232.83 c 232s| 1 | 0 | 21770 | 44M| 0 |2238 |3192 | 24k| 24k|3192 | 25k|1194 | 0 | 0 | 6.180600e+02 | -- | Inf
244.02/244.18 c 243s| 1 | 0 | 21909 | 44M| 0 |2239 |3192 | 24k| 24k|3192 | 25k|1197 | 0 | 0 | 6.182082e+02 | -- | Inf
255.42/255.54 c 254s| 1 | 0 | 22010 | 44M| 0 |2239 |3192 | 24k| 24k|3192 | 25k|1202 | 0 | 0 | 6.183343e+02 | -- | Inf
266.82/266.91 c 266s| 1 | 0 | 22114 | 44M| 0 |2239 |3192 | 24k| 24k|3192 | 25k|1208 | 0 | 0 | 6.184409e+02 | -- | Inf
279.61/279.78 c 278s| 1 | 0 | 22327 | 44M| 0 |2244 |3192 | 24k| 24k|3192 | 25k|1213 | 0 | 0 | 6.185493e+02 | -- | Inf
290.51/290.60 c 289s| 1 | 0 | 22495 | 44M| 0 |2239 |3192 | 24k| 24k|3192 | 25k|1218 | 0 | 0 | 6.187051e+02 | -- | Inf
302.11/302.20 c 301s| 1 | 0 | 22669 | 44M| 0 |2239 |3192 | 24k| 24k|3192 | 25k|1225 | 0 | 0 | 6.188530e+02 | -- | Inf
313.70/313.86 c 313s| 1 | 0 | 22878 | 44M| 0 |2241 |3192 | 24k| 24k|3192 | 25k|1231 | 0 | 0 | 6.190280e+02 | -- | Inf
324.40/324.56 c 323s| 1 | 0 | 23023 | 44M| 0 |2247 |3192 | 24k| 24k|3192 | 25k|1234 | 0 | 0 | 6.191298e+02 | -- | Inf
336.10/336.29 c 335s| 1 | 0 | 23132 | 44M| 0 |2241 |3192 | 24k| 24k|3192 | 25k|1239 | 0 | 0 | 6.191908e+02 | -- | Inf
347.89/348.00 c 347s| 1 | 0 | 23294 | 44M| 0 |2243 |3192 | 24k| 24k|3192 | 25k|1242 | 0 | 0 | 6.193753e+02 | -- | Inf
358.40/358.59 c 357s| 1 | 0 | 23386 | 44M| 0 |2243 |3192 | 24k| 24k|3192 | 25k|1244 | 0 | 0 | 6.195462e+02 | -- | Inf
368.89/369.03 c 368s| 1 | 0 | 23491 | 44M| 0 |2243 |3192 | 24k| 24k|3192 | 25k|1246 | 0 | 0 | 6.196417e+02 | -- | Inf
379.69/379.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
379.69/379.82 c 378s| 1 | 0 | 23685 | 44M| 0 |2236 |3192 | 24k| 24k|3192 | 25k|1253 | 0 | 0 | 6.197889e+02 | -- | Inf
389.88/390.01 c 388s| 1 | 0 | 23931 | 44M| 0 |2241 |3192 | 24k| 24k|3192 | 25k|1258 | 0 | 0 | 6.200753e+02 | -- | Inf
400.58/400.75 c 399s| 1 | 0 | 24113 | 44M| 0 |2239 |3192 | 24k| 24k|3192 | 25k|1264 | 0 | 0 | 6.203124e+02 | -- | Inf
412.29/412.47 c 411s| 1 | 0 | 24214 | 44M| 0 |2244 |3192 | 24k| 24k|3192 | 25k|1266 | 0 | 0 | 6.203685e+02 | -- | Inf
422.18/422.31 c 421s| 1 | 0 | 24480 | 44M| 0 |2236 |3192 | 24k| 24k|3192 | 25k|1273 | 0 | 0 | 6.205641e+02 | -- | Inf
433.58/433.73 c 432s| 1 | 0 | 24781 | 44M| 0 |2242 |3192 | 24k| 24k|3192 | 25k|1281 | 0 | 0 | 6.208637e+02 | -- | Inf
444.18/444.34 c 443s| 1 | 0 | 24970 | 44M| 0 |2238 |3192 | 24k| 24k|3192 | 25k|1288 | 0 | 0 | 6.210197e+02 | -- | Inf
454.87/455.05 c 453s| 1 | 0 | 25048 | 44M| 0 |2240 |3192 | 24k| 24k|3192 | 25k|1295 | 0 | 0 | 6.211261e+02 | -- | Inf
465.67/465.85 c 464s| 1 | 0 | 25262 | 44M| 0 |2249 |3192 | 24k| 24k|3192 | 25k|1299 | 0 | 0 | 6.213614e+02 | -- | Inf
477.07/477.25 c 476s| 1 | 0 | 25428 | 44M| 0 |2238 |3192 | 24k| 24k|3192 | 25k|1307 | 0 | 0 | 6.215283e+02 | -- | Inf
487.87/488.06 c 486s| 1 | 0 | 25579 | 44M| 0 |2237 |3192 | 24k| 24k|3192 | 25k|1313 | 0 | 0 | 6.217720e+02 | -- | Inf
498.96/499.19 c 497s| 1 | 0 | 25738 | 44M| 0 |2243 |3192 | 24k| 24k|3192 | 25k|1321 | 0 | 0 | 6.219237e+02 | -- | Inf
509.65/509.88 c 508s| 1 | 0 | 25891 | 44M| 0 |2244 |3192 | 24k| 24k|3192 | 25k|1329 | 0 | 0 | 6.220405e+02 | -- | Inf
520.26/520.42 c 519s| 1 | 0 | 26043 | 44M| 0 |2247 |3192 | 24k| 24k|3192 | 25k|1333 | 0 | 0 | 6.221396e+02 | -- | Inf
523.55/523.74 c 522s| 1 | 0 | 26252 | 44M| 0 |2249 |3192 | 24k| 24k|3192 | 25k|1336 | 0 | 0 | 6.223755e+02 | -- | Inf
535.65/535.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
535.65/535.80 c 534s| 1 | 0 | 26627 | 44M| 0 |2250 |3192 | 24k| 24k|3192 | 25k|1343 | 0 | 0 | 6.226659e+02 | -- | Inf
544.55/544.72 c 543s| 1 | 0 | 26839 | 44M| 0 |2248 |3192 | 24k| 24k|3192 | 25k|1347 | 0 | 0 | 6.228852e+02 | -- | Inf
555.14/555.38 c 553s| 1 | 0 | 27079 | 44M| 0 |2247 |3192 | 24k| 24k|3192 | 25k|1352 | 0 | 0 | 6.230672e+02 | -- | Inf
565.84/566.02 c 564s| 1 | 0 | 27234 | 44M| 0 |2249 |3192 | 24k| 24k|3192 | 25k|1356 | 0 | 0 | 6.231500e+02 | -- | Inf
577.44/577.61 c 576s| 1 | 0 | 27435 | 44M| 0 |2245 |3192 | 24k| 24k|3192 | 25k|1364 | 0 | 0 | 6.232152e+02 | -- | Inf
587.94/588.14 c 586s| 1 | 0 | 27836 | 44M| 0 |2245 |3192 | 24k| 24k|3192 | 25k|1369 | 0 | 0 | 6.234784e+02 | -- | Inf
600.34/600.53 c 599s| 1 | 0 | 28055 | 44M| 0 |2249 |3192 | 24k| 24k|3192 | 25k|1375 | 0 | 0 | 6.236363e+02 | -- | Inf
611.94/612.15 c 610s| 1 | 0 | 28392 | 44M| 0 |2247 |3192 | 24k| 24k|3192 | 25k|1384 | 0 | 0 | 6.239493e+02 | -- | Inf
623.53/623.75 c 622s| 1 | 0 | 28534 | 44M| 0 |2250 |3192 | 24k| 24k|3192 | 25k|1390 | 0 | 0 | 6.240772e+02 | -- | Inf
634.43/634.63 c 633s| 1 | 0 | 28843 | 44M| 0 |2247 |3192 | 24k| 24k|3192 | 25k|1397 | 0 | 0 | 6.244433e+02 | -- | Inf
646.23/646.42 c 644s| 1 | 0 | 29244 | 44M| 0 |2240 |3192 | 24k| 24k|3192 | 25k|1404 | 0 | 0 | 6.247840e+02 | -- | Inf
657.32/657.58 c 656s| 1 | 0 | 29525 | 44M| 0 |2245 |3192 | 24k| 24k|3192 | 25k|1410 | 0 | 0 | 6.249341e+02 | -- | Inf
669.32/669.59 c 667s| 1 | 0 | 29714 | 44M| 0 |2243 |3192 | 24k| 24k|3192 | 25k|1415 | 0 | 0 | 6.250278e+02 | -- | Inf
680.11/680.39 c 678s| 1 | 0 | 29855 | 44M| 0 |2235 |3192 | 24k| 24k|3192 | 25k|1420 | 0 | 0 | 6.250754e+02 | -- | Inf
684.42/684.67 c 683s| 1 | 0 | 30157 | 44M| 0 |2247 |3192 | 24k| 24k|3192 | 25k|1425 | 0 | 0 | 6.255393e+02 | -- | Inf
696.52/696.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
696.52/696.72 c 695s| 1 | 0 | 30546 | 44M| 0 |2249 |3192 | 24k| 24k|3192 | 25k|1433 | 0 | 0 | 6.258694e+02 | -- | Inf
708.12/708.36 c 706s| 1 | 0 | 30704 | 44M| 0 |2249 |3192 | 24k| 24k|3192 | 25k|1440 | 0 | 0 | 6.260202e+02 | -- | Inf
720.01/720.24 c 718s| 1 | 0 | 30910 | 44M| 0 |2246 |3192 | 24k| 24k|3192 | 25k|1448 | 0 | 0 | 6.262321e+02 | -- | Inf
732.41/732.64 c 730s| 1 | 0 | 31085 | 44M| 0 |2248 |3192 | 24k| 24k|3192 | 25k|1456 | 0 | 0 | 6.263754e+02 | -- | Inf
744.00/744.27 c 742s| 1 | 0 | 31220 | 44M| 0 |2247 |3192 | 24k| 24k|3192 | 25k|1462 | 0 | 0 | 6.265858e+02 | -- | Inf
755.70/755.91 c 754s| 1 | 0 | 31398 | 44M| 0 |2248 |3192 | 24k| 24k|3192 | 25k|1465 | 0 | 0 | 6.266660e+02 | -- | Inf
765.59/765.81 c 764s| 1 | 0 | 31518 | 44M| 0 |2247 |3192 | 24k| 24k|3192 | 25k|1470 | 0 | 0 | 6.267567e+02 | -- | Inf
777.19/777.45 c 775s| 1 | 0 | 31695 | 44M| 0 |2248 |3192 | 24k| 24k|3192 | 25k|1473 | 0 | 0 | 6.268466e+02 | -- | Inf
787.99/788.25 c 786s| 1 | 0 | 31815 | 44M| 0 |2244 |3192 | 24k| 24k|3192 | 25k|1475 | 0 | 0 | 6.269470e+02 | -- | Inf
791.49/791.76 c 789s| 1 | 0 | 31990 | 44M| 0 |2250 |3192 | 24k| 24k|3192 | 25k|1479 | 0 | 0 | 6.270983e+02 | -- | Inf
801.89/802.19 c 800s| 1 | 0 | 32098 | 44M| 0 |2247 |3192 | 24k| 24k|3192 | 25k|1484 | 0 | 0 | 6.272537e+02 | -- | Inf
813.88/814.16 c 812s| 1 | 0 | 32266 | 44M| 0 |2252 |3192 | 24k| 24k|3192 | 25k|1487 | 0 | 0 | 6.274162e+02 | -- | Inf
825.18/825.41 c 823s| 1 | 0 | 32419 | 44M| 0 |2246 |3192 | 24k| 24k|3192 | 25k|1492 | 0 | 0 | 6.275421e+02 | -- | Inf
836.08/836.37 c 834s| 1 | 0 | 32583 | 44M| 0 |2253 |3192 | 24k| 24k|3192 | 25k|1495 | 0 | 0 | 6.276951e+02 | -- | Inf
846.69/846.95 c 845s| 1 | 0 | 32745 | 44M| 0 |2252 |3192 | 24k| 24k|3192 | 25k|1499 | 0 | 0 | 6.278322e+02 | -- | Inf
858.17/858.45 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
858.17/858.45 c 856s| 1 | 0 | 32861 | 44M| 0 |2253 |3192 | 24k| 24k|3192 | 25k|1504 | 0 | 0 | 6.279771e+02 | -- | Inf
868.98/869.23 c 867s| 1 | 0 | 32974 | 44M| 0 |2253 |3192 | 24k| 24k|3192 | 25k|1507 | 0 | 0 | 6.281473e+02 | -- | Inf
879.78/880.09 c 878s| 1 | 0 | 33131 | 44M| 0 |2253 |3192 | 24k| 24k|3192 | 25k|1511 | 0 | 0 | 6.283137e+02 | -- | Inf
890.07/890.37 c 888s| 1 | 0 | 33241 | 44M| 0 |2251 |3192 | 24k| 24k|3192 | 25k|1514 | 0 | 0 | 6.284654e+02 | -- | Inf
899.76/900.09 c 898s| 1 | 0 | 33341 | 44M| 0 |2249 |3192 | 24k| 24k|3192 | 25k|1517 | 0 | 0 | 6.285542e+02 | -- | Inf
910.47/910.75 c 908s| 1 | 0 | 33437 | 44M| 0 |2252 |3192 | 24k| 24k|3192 | 25k|1520 | 0 | 0 | 6.286580e+02 | -- | Inf
922.47/922.74 c 920s| 1 | 0 | 33584 | 44M| 0 |2252 |3192 | 24k| 24k|3192 | 25k|1523 | 0 | 0 | 6.288238e+02 | -- | Inf
932.56/932.87 c 930s| 1 | 0 | 33678 | 44M| 0 |2250 |3192 | 24k| 24k|3192 | 25k|1526 | 0 | 0 | 6.289760e+02 | -- | Inf
943.25/943.59 c 941s| 1 | 0 | 33794 | 44M| 0 |2251 |3192 | 24k| 24k|3192 | 25k|1529 | 0 | 0 | 6.290918e+02 | -- | Inf
953.75/954.08 c 951s| 1 | 0 | 33920 | 44M| 0 |2251 |3192 | 24k| 24k|3192 | 25k|1533 | 0 | 0 | 6.293081e+02 | -- | Inf
964.35/964.65 c 962s| 1 | 0 | 34028 | 44M| 0 |2250 |3192 | 24k| 24k|3192 | 25k|1536 | 0 | 0 | 6.294089e+02 | -- | Inf
974.65/974.92 c 972s| 1 | 0 | 34174 | 44M| 0 |2252 |3192 | 24k| 24k|3192 | 25k|1539 | 0 | 0 | 6.296072e+02 | -- | Inf
986.15/986.40 c 984s| 1 | 0 | 34284 | 44M| 0 |2252 |3192 | 24k| 24k|3192 | 25k|1541 | 0 | 0 | 6.297308e+02 | -- | Inf
996.15/996.40 c 994s| 1 | 0 | 34318 | 44M| 0 |2254 |3192 | 24k| 24k|3192 | 25k|1543 | 0 | 0 | 6.297716e+02 | -- | Inf
1007.44/1007.70 c 1005s| 1 | 0 | 34416 | 44M| 0 |2251 |3192 | 24k| 24k|3192 | 25k|1545 | 0 | 0 | 6.298983e+02 | -- | Inf
1019.14/1019.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1019.14/1019.47 c 1017s| 1 | 0 | 34561 | 44M| 0 |2252 |3192 | 24k| 24k|3192 | 25k|1548 | 0 | 0 | 6.300039e+02 | -- | Inf
1030.94/1031.20 c 1028s| 1 | 0 | 34769 | 44M| 0 |2252 |3192 | 24k| 24k|3192 | 25k|1551 | 0 | 0 | 6.301204e+02 | -- | Inf
1041.83/1042.18 c 1039s| 1 | 0 | 34866 | 44M| 0 |2252 |3192 | 24k| 24k|3192 | 25k|1555 | 0 | 0 | 6.301881e+02 | -- | Inf
1054.93/1055.24 c 1052s| 1 | 0 | 35066 | 43M| 0 |2255 |3192 | 24k| 24k|3192 | 25k|1560 | 0 | 0 | 6.303836e+02 | -- | Inf
1065.63/1065.95 c 1063s| 1 | 0 | 35313 | 43M| 0 |2253 |3192 | 24k| 24k|3192 | 25k|1566 | 0 | 0 | 6.305411e+02 | -- | Inf
1075.62/1075.90 c 1073s| 1 | 0 | 35450 | 43M| 0 |2253 |3192 | 24k| 24k|3192 | 25k|1572 | 0 | 0 | 6.307006e+02 | -- | Inf
1085.82/1086.12 c 1083s| 1 | 0 | 35591 | 43M| 0 |2251 |3192 | 24k| 24k|3192 | 25k|1578 | 0 | 0 | 6.308217e+02 | -- | Inf
1095.92/1096.25 c 1093s| 1 | 0 | 35657 | 43M| 0 |2253 |3192 | 24k| 24k|3192 | 25k|1582 | 0 | 0 | 6.309831e+02 | -- | Inf
1106.51/1106.87 c 1104s| 1 | 0 | 35899 | 42M| 0 |2253 |3192 | 24k| 24k|3192 | 25k|1588 | 0 | 0 | 6.311528e+02 | -- | Inf
1117.51/1117.84 c 1115s| 1 | 0 | 36040 | 42M| 0 |2251 |3192 | 24k| 24k|3192 | 25k|1596 | 0 | 0 | 6.313789e+02 | -- | Inf
1128.01/1128.37 c 1125s| 1 | 0 | 36213 | 42M| 0 |2251 |3192 | 24k| 24k|3192 | 25k|1599 | 0 | 0 | 6.315228e+02 | -- | Inf
1139.41/1139.76 c 1137s| 1 | 0 | 36557 | 42M| 0 |2251 |3192 | 24k| 24k|3192 | 25k|1603 | 0 | 0 | 6.318315e+02 | -- | Inf
1150.81/1151.18 c 1148s| 1 | 0 | 36687 | 42M| 0 |2254 |3192 | 24k| 24k|3192 | 25k|1605 | 0 | 0 | 6.319178e+02 | -- | Inf
1161.80/1162.17 c 1159s| 1 | 0 | 36863 | 41M| 0 |2251 |3192 | 24k| 24k|3192 | 25k|1611 | 0 | 0 | 6.321673e+02 | -- | Inf
1173.50/1173.87 c 1171s| 1 | 0 | 37074 | 41M| 0 |2254 |3192 | 24k| 24k|3192 | 25k|1616 | 0 | 0 | 6.323503e+02 | -- | Inf
1185.20/1185.56 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1185.20/1185.56 c 1182s| 1 | 0 | 37185 | 41M| 0 |2254 |3192 | 24k| 24k|3192 | 25k|1620 | 0 | 0 | 6.324070e+02 | -- | Inf
1195.69/1196.06 c 1193s| 1 | 0 | 37372 | 41M| 0 |2252 |3192 | 24k| 24k|3192 | 25k|1624 | 0 | 0 | 6.325593e+02 | -- | Inf
1206.00/1206.34 c 1203s| 1 | 0 | 37566 | 41M| 0 |2254 |3192 | 24k| 24k|3192 | 25k|1632 | 0 | 0 | 6.326974e+02 | -- | Inf
1217.00/1217.32 c 1214s| 1 | 0 | 37763 | 41M| 0 |2253 |3192 | 24k| 24k|3192 | 25k|1636 | 0 | 0 | 6.328882e+02 | -- | Inf
1227.69/1228.07 c 1225s| 1 | 0 | 37903 | 41M| 0 |2256 |3192 | 24k| 24k|3192 | 25k|1645 | 0 | 0 | 6.329747e+02 | -- | Inf
1238.68/1239.05 c 1236s| 1 | 0 | 38081 | 41M| 0 |2246 |3192 | 24k| 24k|3192 | 25k|1651 | 0 | 0 | 6.331040e+02 | -- | Inf
1242.59/1242.97 c 1240s| 1 | 0 | 38350 | 41M| 0 |2251 |3192 | 24k| 24k|3192 | 25k|1655 | 0 | 0 | 6.333835e+02 | -- | Inf
1254.09/1254.48 c 1251s| 1 | 0 | 38484 | 41M| 0 |2247 |3192 | 24k| 24k|3192 | 25k|1661 | 0 | 0 | 6.334716e+02 | -- | Inf
1265.98/1266.36 c 1263s| 1 | 0 | 38660 | 41M| 0 |2253 |3192 | 24k| 24k|3192 | 25k|1667 | 0 | 0 | 6.335620e+02 | -- | Inf
1277.78/1278.11 c 1275s| 1 | 0 | 38815 | 41M| 0 |2251 |3192 | 24k| 24k|3192 | 25k|1671 | 0 | 0 | 6.336350e+02 | -- | Inf
1288.97/1289.39 c 1286s| 1 | 0 | 38923 | 41M| 0 |2253 |3192 | 24k| 24k|3192 | 25k|1675 | 0 | 0 | 6.337593e+02 | -- | Inf
1300.88/1301.27 c 1298s| 1 | 0 | 39083 | 41M| 0 |2249 |3192 | 24k| 24k|3192 | 25k|1680 | 0 | 0 | 6.339932e+02 | -- | Inf
1313.37/1313.74 c 1310s| 1 | 0 | 39173 | 41M| 0 |2253 |3192 | 24k| 24k|3192 | 25k|1684 | 0 | 0 | 6.341182e+02 | -- | Inf
1324.77/1325.15 c 1322s| 1 | 0 | 39242 | 41M| 0 |2251 |3192 | 24k| 24k|3192 | 25k|1689 | 0 | 0 | 6.341598e+02 | -- | Inf
1335.16/1335.59 c 1332s| 1 | 0 | 39375 | 41M| 0 |2253 |3192 | 24k| 24k|3192 | 25k|1696 | 0 | 0 | 6.343041e+02 | -- | Inf
1345.97/1346.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1345.97/1346.39 c 1343s| 1 | 0 | 39450 | 41M| 0 |2252 |3192 | 24k| 24k|3192 | 25k|1699 | 0 | 0 | 6.343780e+02 | -- | Inf
1357.76/1358.19 c 1355s| 1 | 0 | 39598 | 41M| 0 |2252 |3192 | 24k| 24k|3192 | 25k|1703 | 0 | 0 | 6.345854e+02 | -- | Inf
1369.36/1369.72 c 1366s| 1 | 0 | 39682 | 41M| 0 |2252 |3192 | 24k| 24k|3192 | 25k|1707 | 0 | 0 | 6.346378e+02 | -- | Inf
1381.56/1381.96 c 1378s| 1 | 0 | 39728 | 41M| 0 |2252 |3192 | 24k| 24k|3192 | 25k|1710 | 0 | 0 | 6.346684e+02 | -- | Inf
1392.95/1393.36 c 1390s| 1 | 0 | 39765 | 41M| 0 |2250 |3192 | 24k| 24k|3192 | 25k|1712 | 0 | 0 | 6.346733e+02 | -- | Inf
1404.55/1404.95 c 1401s| 1 | 0 | 39878 | 41M| 0 |2252 |3192 | 24k| 24k|3192 | 25k|1717 | 0 | 0 | 6.347954e+02 | -- | Inf
1415.85/1416.24 c 1413s| 1 | 0 | 39956 | 41M| 0 |2252 |3192 | 24k| 24k|3192 | 25k|1719 | 0 | 0 | 6.348707e+02 | -- | Inf
1427.25/1427.65 c 1424s| 1 | 0 | 40033 | 41M| 0 |2250 |3192 | 24k| 24k|3192 | 25k|1721 | 0 | 0 | 6.349197e+02 | -- | Inf
1437.94/1438.32 c 1435s| 1 | 0 | 40035 | 41M| 0 |2250 |3192 | 24k| 24k|3192 | 25k|1723 | 0 | 0 | 6.349197e+02 | -- | Inf
1449.04/1449.47 c 1446s| 1 | 0 | 40036 | 41M| 0 |2250 |3192 | 24k| 24k|3192 | 25k|1724 | 0 | 0 | 6.349197e+02 | -- | Inf
1459.53/1459.96 c 1456s| 1 | 0 | 40037 | 41M| 0 |2250 |3192 | 24k| 24k|3192 | 25k|1725 | 0 | 0 | 6.349197e+02 | -- | Inf
1469.94/1470.39 c 1467s| 1 | 0 | 40038 | 41M| 0 |2250 |3192 | 24k| 24k|3192 | 25k|1726 | 0 | 0 | 6.349197e+02 | -- | Inf
1489.33/1489.72 c 1486s| 1 | 2 | 40038 | 41M| 0 |2250 |3192 | 24k| 24k|3192 | 25k|1726 | 0 | 18 | 6.349197e+02 | -- | Inf
1795.16/1795.60 c
1795.16/1795.60 c SCIP Status : solving was interrupted [time limit reached]
1795.16/1795.60 c Solving Time (sec) : 1791.04
1795.16/1795.60 c Solving Nodes : 6
1795.16/1795.60 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1795.16/1795.60 c Dual Bound : +6.36168613951703e+02
1795.16/1795.60 c Gap : infinite
1795.16/1795.60 c NODE 6
1795.16/1795.60 c DUAL BOUND 636.169
1795.16/1795.60 c PRIMAL BOUND 1e+20
1795.16/1795.60 c GAP 1e+20
1795.16/1795.60 s UNKNOWN
1795.16/1795.60 c SCIP Status : solving was interrupted [time limit reached]
1795.16/1795.60 c Solving Time : 1791.04
1795.16/1795.60 c Original Problem :
1795.16/1795.60 c Problem name : HOME/instance-1869081-1245157252.opb
1795.16/1795.60 c Variables : 3204 (3204 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.16/1795.60 c Constraints : 24883 initial, 24883 maximal
1795.16/1795.60 c Presolved Problem :
1795.16/1795.60 c Problem name : t_HOME/instance-1869081-1245157252.opb
1795.16/1795.60 c Variables : 3192 (3192 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.16/1795.60 c Constraints : 24871 initial, 24885 maximal
1795.16/1795.60 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1795.16/1795.60 c trivial : 0.00 0 0 0 0 0 0 0 0
1795.16/1795.60 c dualfix : 0.00 12 0 0 0 0 0 0 0
1795.16/1795.60 c boundshift : 0.00 0 0 0 0 0 0 0 0
1795.16/1795.60 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1795.16/1795.60 c implics : 0.01 0 0 0 0 0 0 0 0
1795.16/1795.60 c probing : 3.36 0 0 0 0 0 0 0 0
1795.16/1795.60 c linear : 0.20 0 0 0 0 0 12 0 0
1795.16/1795.60 c logicor : 0.11 0 0 0 0 0 0 0 0
1795.16/1795.60 c root node : - 0 - - 0 - - - -
1795.16/1795.60 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1795.16/1795.60 c integral : 0 0 0 9 0 0 16 0 0 10
1795.16/1795.60 c logicor : 24871+ 146 5557 0 2 7 82 0 0 0
1795.16/1795.60 c countsols : 0 0 0 0 1 0 0 0 0 0
1795.16/1795.60 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1795.16/1795.60 c integral : 197.25 0.00 0.00 197.25 0.00
1795.16/1795.60 c logicor : 2.45 0.84 1.60 0.00 0.01
1795.16/1795.60 c countsols : 0.00 0.00 0.00 0.00 0.00
1795.16/1795.60 c Propagators : Time Calls Cutoffs DomReds
1795.16/1795.60 c rootredcost : 0.00 0 0 0
1795.16/1795.60 c pseudoobj : 0.18 684 0 0
1795.16/1795.60 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1795.16/1795.60 c propagation : 0.00 7 7 13 11.5 1 15.0 -
1795.16/1795.60 c infeasible LP : 0.00 1 0 0 0.0 0 0.0 0
1795.16/1795.60 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1795.16/1795.60 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1795.16/1795.60 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1795.16/1795.60 c applied globally : - - - 14 11.7 - - -
1795.16/1795.60 c applied locally : - - - 0 0.0 - - -
1795.16/1795.60 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1795.16/1795.60 c cut pool : 0.30 145 - - 1602 - (maximal pool size: 2863)
1795.16/1795.60 c redcost : 0.09 154 0 0 0 0
1795.16/1795.60 c impliedbounds : 1.03 146 0 0 1740 0
1795.16/1795.60 c intobj : 0.00 0 0 0 0 0
1795.16/1795.60 c gomory : 1269.35 146 0 0 20802 0
1795.16/1795.60 c strongcg : 28.13 20 0 0 9980 0
1795.16/1795.60 c cmir : 7.92 10 0 0 0 0
1795.16/1795.60 c flowcover : 7.79 10 0 0 0 0
1795.16/1795.60 c clique : 2.32 146 0 0 880 0
1795.16/1795.60 c zerohalf : 0.00 0 0 0 0 0
1795.16/1795.60 c mcf : 0.15 1 0 0 0 0
1795.16/1795.60 c Pricers : Time Calls Vars
1795.16/1795.60 c problem variables: 0.00 0 0
1795.16/1795.60 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1795.16/1795.60 c relpscost : 197.25 9 0 16 0 0 10
1795.16/1795.60 c pscost : 0.00 0 0 0 0 0 0
1795.16/1795.60 c inference : 0.01 1 0 0 0 0 2
1795.16/1795.60 c mostinf : 0.00 0 0 0 0 0 0
1795.16/1795.60 c leastinf : 0.00 0 0 0 0 0 0
1795.16/1795.60 c fullstrong : 0.00 0 0 0 0 0 0
1795.16/1795.60 c allfullstrong : 0.00 0 0 0 0 0 0
1795.16/1795.60 c random : 0.00 0 0 0 0 0 0
1795.16/1795.60 c Primal Heuristics : Time Calls Found
1795.16/1795.60 c LP solutions : 0.00 - 0
1795.16/1795.60 c pseudo solutions : 0.00 - 0
1795.16/1795.60 c oneopt : 0.00 0 0
1795.16/1795.60 c simplerounding : 0.00 0 0
1795.16/1795.60 c rounding : 1.42 106 0
1795.16/1795.60 c shifting : 7.99 100 0
1795.16/1795.60 c intshifting : 0.00 0 0
1795.16/1795.60 c fixandinfer : 0.00 0 0
1795.16/1795.60 c feaspump : 7.42 1 0
1795.16/1795.60 c coefdiving : 66.23 1 0
1795.16/1795.60 c pscostdiving : 50.17 1 0
1795.16/1795.60 c fracdiving : 0.00 0 0
1795.16/1795.60 c veclendiving : 0.00 0 0
1795.16/1795.60 c intdiving : 0.00 0 0
1795.16/1795.60 c actconsdiving : 0.00 0 0
1795.16/1795.60 c objpscostdiving : 0.00 0 0
1795.16/1795.60 c rootsoldiving : 0.00 0 0
1795.16/1795.60 c linesearchdiving : 0.00 0 0
1795.16/1795.60 c guideddiving : 0.00 0 0
1795.16/1795.60 c octane : 0.00 0 0
1795.16/1795.60 c rens : 0.01 0 0
1795.16/1795.60 c rins : 0.00 0 0
1795.16/1795.60 c localbranching : 0.00 0 0
1795.16/1795.60 c mutation : 0.00 0 0
1795.16/1795.60 c crossover : 0.00 0 0
1795.16/1795.60 c dins : 0.00 0 0
1795.16/1795.60 c LP : Time Calls Iterations Iter/call Iter/sec
1795.16/1795.60 c primal LP : 18.65 0 0 0.00 0.00
1795.16/1795.60 c dual LP : 117.99 155 40086 258.62 339.74
1795.16/1795.60 c barrier LP : 0.00 0 0 0.00 -
1795.16/1795.60 c diving/probing LP: 121.70 311 55409 178.16 455.29
1795.16/1795.60 c strong branching : 197.25 170 61123 359.55 309.88
1795.16/1795.60 c (at root node) : - 18 5667 314.83 -
1795.16/1795.60 c conflict analysis: 0.00 0 0 0.00 -
1795.16/1795.60 c B&B Tree :
1795.16/1795.60 c number of runs : 1
1795.16/1795.60 c nodes : 6
1795.16/1795.60 c nodes (total) : 6
1795.16/1795.60 c nodes left : 7
1795.16/1795.60 c max depth : 2
1795.16/1795.60 c max depth (total): 2
1795.16/1795.60 c backtracks : 3 (50.0%)
1795.16/1795.60 c delayed cutoffs : 0
1795.16/1795.60 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1795.16/1795.60 c avg switch length: 2.17
1795.16/1795.60 c switching time : 0.80
1795.16/1795.60 c Solution :
1795.16/1795.60 c Solutions found : 0 (0 improvements)
1795.16/1795.60 c Primal Bound : -
1795.16/1795.60 c Dual Bound : +6.36168613951703e+02
1795.16/1795.60 c Gap : infinite
1795.16/1795.60 c Root Dual Bound : +6.34919689669923e+02
1795.26/1795.74 c Time complete: 1795.3.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869081-1245157252/watcher-1869081-1245157252 -o /tmp/evaluation-result-1869081-1245157252/solver-1869081-1245157252 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869081-1245157252.opb
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 656
/proc/meminfo: memFree=1750696/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=5812 CPUtime=0
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 183326203 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/656/statm: 1453 501 332 1256 0 192 0
[startup+0.0358961 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 656
/proc/meminfo: memFree=1750696/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=12880 CPUtime=0.03
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 2210 0 0 0 2 1 0 0 18 0 1 0 183326203 13189120 2194 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/656/statm: 3220 2194 378 1256 0 1959 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12880
[startup+0.1019 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 656
/proc/meminfo: memFree=1750696/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=15980 CPUtime=0.09
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 2968 0 0 0 8 1 0 0 18 0 1 0 183326203 16363520 2952 1992294400 4194304 9342243 548682068736 18446744073709551615 8236113 0 0 4096 0 0 0 0 17 1 0 0
/proc/656/statm: 3995 2952 378 1256 0 2734 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15980
[startup+0.301916 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 656
/proc/meminfo: memFree=1750696/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=20412 CPUtime=0.29
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 4106 0 0 0 27 2 0 0 19 0 1 0 183326203 20901888 4090 1992294400 4194304 9342243 548682068736 18446744073709551615 8247732 0 0 4096 0 0 0 0 17 1 0 0
/proc/656/statm: 5103 4090 378 1256 0 3842 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20412
[startup+0.701949 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 656
/proc/meminfo: memFree=1750696/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=57744 CPUtime=0.69
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 14343 0 0 0 60 9 0 0 22 0 1 0 183326203 59129856 13219 1992294400 4194304 9342243 548682068736 18446744073709551615 4237238 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 14436 13219 471 1256 0 13175 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57744
[startup+1.50302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 657
/proc/meminfo: memFree=1696416/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=60756 CPUtime=1.5
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 15141 0 0 0 137 13 0 0 25 0 1 0 183326203 62214144 14017 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 15189 14017 485 1256 0 13928 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 60756
[startup+3.10115 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 657
/proc/meminfo: memFree=1696288/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=61884 CPUtime=3.09
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 15428 0 0 0 295 14 0 0 25 0 1 0 183326203 63369216 14304 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 15471 14304 490 1256 0 14210 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61884
[startup+6.30141 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 657
/proc/meminfo: memFree=1664608/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=103900 CPUtime=6.29
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 25351 0 0 0 610 19 0 0 25 0 1 0 183326203 106393600 22310 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 25975 22310 612 1256 0 24714 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 103900
[startup+12.7019 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1655520/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=107628 CPUtime=12.69
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 29651 0 0 0 1247 22 0 0 25 0 1 0 183326203 110211072 24329 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 26907 24329 639 1256 0 25646 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 107628
[startup+25.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1652192/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=116136 CPUtime=25.47
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 31589 0 0 0 2516 31 0 0 25 0 1 0 183326203 118923264 25151 1992294400 4194304 9342243 548682068736 18446744073709551615 5575803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 29034 25151 670 1256 0 27773 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 116136
[startup+51.1011 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1647456/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=126800 CPUtime=51.07
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 37107 0 0 0 5070 37 0 0 25 0 1 0 183326203 129843200 26357 1992294400 4194304 9342243 548682068736 18446744073709551615 5575803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 31700 26357 670 1256 0 30439 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 126800
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1644768/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=131640 CPUtime=102.25
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 50813 0 0 0 10170 55 0 0 25 0 1 0 183326203 134799360 27048 1992294400 4194304 9342243 548682068736 18446744073709551615 6944039 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 32910 27048 673 1256 0 31649 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 131640
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1641120/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=135144 CPUtime=162.24
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 56302 0 0 0 16158 66 0 0 25 0 1 0 183326203 138387456 28046 1992294400 4194304 9342243 548682068736 18446744073709551615 6224424 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 33786 28046 673 1256 0 32525 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 135144
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1640224/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=135144 CPUtime=222.23
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 56398 0 0 0 22146 77 0 0 25 0 1 0 183326203 138387456 28142 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 33786 28142 673 1256 0 32525 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 135144
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1638688/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=135144 CPUtime=282.21
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 56784 0 0 0 28134 87 0 0 25 0 1 0 183326203 138387456 28528 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 33786 28528 673 1256 0 32525 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 135144
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1638304/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=135144 CPUtime=342.2
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 56876 0 0 0 34121 99 0 0 25 0 1 0 183326203 138387456 28620 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 33786 28620 673 1256 0 32525 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 135144
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1636896/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=135144 CPUtime=402.18
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 57204 0 0 0 40108 110 0 0 25 0 1 0 183326203 138387456 28948 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 33786 28948 673 1256 0 32525 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 135144
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1636704/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=135144 CPUtime=462.17
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 57227 0 0 0 46094 123 0 0 25 0 1 0 183326203 138387456 28971 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 33786 28971 673 1256 0 32525 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 135144
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1636576/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=135144 CPUtime=522.16
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 57254 0 0 0 52081 135 0 0 25 0 1 0 183326203 138387456 28998 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 33786 28998 673 1256 0 32525 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 135144
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1636320/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=135144 CPUtime=582.14
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 57304 0 0 0 58068 146 0 0 25 0 1 0 183326203 138387456 29048 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 33786 29048 673 1256 0 32525 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 135144
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1635808/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=135144 CPUtime=642.13
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 57405 0 0 0 64058 155 0 0 25 0 1 0 183326203 138387456 29149 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 33786 29149 673 1256 0 32525 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 135144
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1634912/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=135144 CPUtime=1062.03
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 57532 0 0 0 105970 233 0 0 25 0 1 0 183326203 138387456 29276 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 33786 29276 673 1256 0 32525 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 135144
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1634720/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=135312 CPUtime=1122.01
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 57573 0 0 0 111956 245 0 0 25 0 1 0 183326203 138559488 29317 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 33828 29317 673 1256 0 32567 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 135312
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1634656/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=135312 CPUtime=1182
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 57574 0 0 0 117945 255 0 0 25 0 1 0 183326203 138559488 29318 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 33828 29318 673 1256 0 32567 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 135312
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1634528/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=135312 CPUtime=1241.99
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 57574 0 0 0 123934 265 0 0 25 0 1 0 183326203 138559488 29318 1992294400 4194304 9342243 548682068736 18446744073709551615 6896996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 33828 29318 673 1256 0 32567 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 135312
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1634016/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=136512 CPUtime=1301.98
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 57678 0 0 0 129922 276 0 0 25 0 1 0 183326203 139788288 29422 1992294400 4194304 9342243 548682068736 18446744073709551615 6938963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 34128 29422 673 1256 0 32867 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 136512
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1634016/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=136512 CPUtime=1361.96
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 57678 0 0 0 135910 286 0 0 25 0 1 0 183326203 139788288 29422 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 34128 29422 673 1256 0 32867 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 136512
[startup+1422.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1633952/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=136512 CPUtime=1421.95
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 57681 0 0 0 141897 298 0 0 25 0 1 0 183326203 139788288 29425 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 34128 29425 673 1256 0 32867 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 136512
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1633952/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=152440 CPUtime=1481.93
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 61621 0 0 0 147883 310 0 0 25 0 1 0 183326203 156098560 29431 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 38110 29431 680 1256 0 36849 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 152440
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1633632/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=151552 CPUtime=1541.91
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 74909 0 0 0 153870 321 0 0 25 0 1 0 183326203 155189248 29498 1992294400 4194304 9342243 548682068736 18446744073709551615 6970142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 37888 29498 680 1256 0 36627 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 151552
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1631712/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=133532 CPUtime=1601.9
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 75705 0 0 0 159862 328 0 0 25 0 1 0 183326203 136736768 29998 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 33383 29998 680 1256 0 32122 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 133532
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1630368/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=133640 CPUtime=1661.89
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 87819 0 0 0 165850 339 0 0 25 0 1 0 183326203 136847360 30300 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 33410 30300 684 1256 0 32149 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 133640
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1626784/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=153160 CPUtime=1721.88
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 103586 0 0 0 171833 355 0 0 25 0 1 0 183326203 156835840 31180 1992294400 4194304 9342243 548682068736 18446744073709551615 6977879 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 38290 31180 687 1256 0 37029 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 153160
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1626656/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=153144 CPUtime=1781.86
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 133710 0 0 0 177814 372 0 0 25 0 1 0 183326203 156819456 31182 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 38286 31182 687 1256 0 37025 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 153144
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1626656/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=153144 CPUtime=1785.06
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 136908 0 0 0 178133 373 0 0 25 0 1 0 183326203 156819456 31182 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 38286 31182 687 1256 0 37025 0
Current children cumulated CPU time (s) 1785.06
Current children cumulated vsize (KiB) 153144
[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1626656/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=153128 CPUtime=1791.46
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 142187 0 0 0 178770 376 0 0 25 0 1 0 183326203 156803072 31186 1992294400 4194304 9342243 548682068736 18446744073709551615 6960335 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 38282 31186 687 1256 0 37021 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 153128
[startup+1793.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1626656/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=153128 CPUtime=1793.06
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 144175 0 0 0 178928 378 0 0 25 0 1 0 183326203 156803072 31186 1992294400 4194304 9342243 548682068736 18446744073709551615 6960742 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 38282 31186 687 1256 0 37021 0
Current children cumulated CPU time (s) 1793.06
Current children cumulated vsize (KiB) 153128
[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1626656/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=153128 CPUtime=1794.66
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 146159 0 0 0 179087 379 0 0 25 0 1 0 183326203 156803072 31184 1992294400 4194304 9342243 548682068736 18446744073709551615 6960310 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 38282 31184 687 1256 0 37021 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 153128
[startup+1795.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1626656/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=153416 CPUtime=1795.06
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 146911 0 0 0 179126 380 0 0 25 0 1 0 183326203 157097984 31260 1992294400 4194304 9342243 548682068736 18446744073709551615 6978052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/656/statm: 38354 31260 687 1256 0 37093 0
Current children cumulated CPU time (s) 1795.06
Current children cumulated vsize (KiB) 153416
[startup+1795.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 663
/proc/meminfo: memFree=1626656/2055920 swapFree=4191900/4192956
[pid=656] ppid=654 vsize=130772 CPUtime=1795.26
/proc/656/stat : 656 (pbscip.linux.x8) R 654 656 437 0 -1 4194304 146971 0 0 0 179146 380 0 0 25 0 1 0 183326203 133910528 30554 1992294400 4194304 9342243 548682068736 18446744073709551615 8239347 0 0 4096 0 0 0 0 17 1 0 0
/proc/656/statm: 32693 30554 691 1256 0 31432 0
Current children cumulated CPU time (s) 1795.26
Current children cumulated vsize (KiB) 130772
Child status: 0
Real time (s): 1795.74
CPU time (s): 1795.31
CPU user time (s): 1791.49
CPU system time (s): 3.82242
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 155412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.49
system time used= 3.82242
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146975
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= 2
involuntary context switches= 1811
runsolver used 1.35979 second user time and 3.74143 second system time
The end