0.00/0.03 c SCIP version 1.1.0.7
0.00/0.03 c LP-Solver Clp 1.8.2
0.00/0.03 c user parameter file <scip.set> not found - using default parameters
0.00/0.03 c read problem <HOME/instance-1870821-1245220804.opb>
0.00/0.03 c original problem has 774 variables (774 bin, 0 int, 0 impl, 0 cont) and 994 constraints
0.00/0.04 c start presolving problem
0.00/0.04 c presolving:
0.00/0.05 c (round 1) 3 del vars, 1 del conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1542 impls, 30 clqs
0.00/0.05 c (round 2) 3 del vars, 772 del conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1542 impls, 30 clqs
0.05/0.06 c (round 3) 3 del vars, 772 del conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 222 upgd conss, 1542 impls, 30 clqs
0.09/0.10 c (0.1s) probing: 101/771 (13.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (4 rounds):
0.09/0.10 c 3 deleted vars, 772 deleted constraints, 3 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.10 c 1542 implications, 114 cliques
0.09/0.10 c presolved problem has 771 variables (771 bin, 0 int, 0 impl, 0 cont) and 222 constraints
0.09/0.10 c 192 constraints of type <knapsack>
0.09/0.10 c 30 constraints of type <setppc>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.05
0.09/0.10 c OPT-LIN
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = c 1620
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = c 1791
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = c 10000
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving problem
0.09/0.10 c
0.09/0.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.11 c 0.1s| 1 | 0 | 80 |3078k| 0 | 15 | 771 | 222 | 222 | 771 | 222 | 0 | 0 | 0 | 3.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 0 | 321 |3481k| 0 | 46 | 771 | 222 | 222 | 771 | 237 | 15 | 0 | 0 | 3.000000e+00 | -- | Inf
0.29/0.38 c 0.3s| 1 | 0 | 430 |3630k| 0 | 54 | 771 | 222 | 222 | 771 | 252 | 30 | 0 | 0 | 3.000000e+00 | -- | Inf
0.49/0.56 c 0.5s| 1 | 0 | 575 |3853k| 0 | 66 | 771 | 222 | 222 | 771 | 265 | 43 | 0 | 0 | 3.000000e+00 | -- | Inf
0.69/0.78 c 0.7s| 1 | 0 | 899 |4079k| 0 | 62 | 771 | 222 | 222 | 771 | 278 | 56 | 0 | 0 | 3.000000e+00 | -- | Inf
0.89/0.96 c 0.9s| 1 | 0 | 944 |4211k| 0 | 85 | 771 | 222 | 222 | 771 | 290 | 68 | 0 | 0 | 3.000000e+00 | -- | Inf
1.09/1.20 c 1.1s| 1 | 0 | 1037 |4294k| 0 | 87 | 771 | 222 | 222 | 771 | 303 | 81 | 0 | 0 | 3.000000e+00 | -- | Inf
1.69/1.75 c 1.7s| 1 | 2 | 1037 |4295k| 0 | 87 | 771 | 222 | 222 | 771 | 303 | 81 | 0 | 33 | 3.000000e+00 | -- | Inf
52.07/52.14 c 51.6s| 10000 | 104 |179973 |5932k| 58 | - | 771 |1981 | 272 | 0 | 0 | 81 |4118 |4737 | 3.000000e+00 | -- | Inf
90.46/90.56 c 89.7s| 20000 | 155 |318880 |6165k| 58 | 28 | 771 |2203 | 412 | 771 | 276 | 81 |4875 |5981 | 3.000000e+00 | -- | Inf
126.05/126.11 c 125s| 30000 | 224 |459937 |6510k| 60 | - | 771 |2439 | 440 | 771 | 276 | 81 |5795 |6795 | 3.000000e+00 | -- | Inf
164.15/164.22 c 163s| 40000 | 196 |602056 |6490k| 60 | 25 | 771 |2459 | 375 | 771 | 276 | 81 |6208 |7611 | 3.000000e+00 | -- | Inf
198.04/198.16 c 196s| 50000 | 183 |741621 |6445k| 60 | 26 | 771 |2381 | 267 | 771 | 276 | 81 |6695 |7813 | 3.000000e+00 | -- | Inf
236.12/236.25 c 234s| 60000 | 141 |912088 |6336k| 60 | - | 771 |2285 | 294 | 771 | 276 | 81 |7071 |8371 | 3.000000e+00 | -- | Inf
276.21/276.31 c 274s| 70000 | 88 | 1088k|6327k| 60 | - | 771 |2680 | 185 | 0 | 0 | 81 |8565 |9641 | 3.000000e+00 | -- | Inf
312.70/312.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.70/312.80 c 310s| 80000 | 102 | 1266k|7198k| 60 | 29 | 771 |4149 | 283 | 771 | 276 | 81 | 15k| 10k| 3.000000e+00 | -- | Inf
351.69/351.82 c 348s| 90000 | 208 | 1439k|7590k| 94 | 14 | 771 |4205 | 215 | 771 | 276 | 81 | 19k| 11k| 3.000000e+00 | -- | Inf
387.48/387.66 c 384s|100000 | 204 | 1575k|7755k| 94 | 19 | 771 |4264 | 268 | 771 | 276 | 81 | 21k| 12k| 3.000000e+00 | -- | Inf
424.57/424.75 c 421s|110000 | 170 | 1724k|7801k| 94 | - | 771 |4529 | 130 | 0 | 0 | 81 | 22k| 12k| 3.000000e+00 | -- | Inf
460.55/460.77 c 456s|120000 | 253 | 1904k|9364k| 94 | 10 | 771 |7014 | 517 | 771 | 276 | 81 | 30k| 13k| 3.000000e+00 | -- | Inf
493.34/493.58 c 489s|130000 | 236 | 2043k|9191k| 94 | - | 771 |6433 | 201 | 0 | 0 | 81 | 36k| 13k| 3.000000e+00 | -- | Inf
531.23/531.49 c 526s|140000 | 234 | 2229k|9852k| 94 | 6 | 771 |7845 | 236 | 771 | 276 | 81 | 42k| 14k| 3.000000e+00 | -- | Inf
563.42/563.63 c 558s|150000 | 332 | 2358k| 10M| 94 | 20 | 771 |8183 | 405 | 771 | 276 | 81 | 49k| 14k| 3.000000e+00 | -- | Inf
588.82/589.09 c 583s|160000 | 327 | 2449k| 10M| 94 | - | 771 |8999 | 243 | 0 | 0 | 81 | 57k| 15k| 3.000000e+00 | -- | Inf
617.11/617.32 c 611s|170000 | 321 | 2550k| 11M| 94 | 14 | 771 | 10k| 227 | 771 | 276 | 81 | 65k| 15k| 3.000000e+00 | -- | Inf
642.90/643.10 c 636s|180000 | 318 | 2639k| 11M| 94 | - | 771 |9098 | 205 | 0 | 0 | 81 | 73k| 15k| 3.000000e+00 | -- | Inf
678.20/678.42 c 671s|190000 | 380 | 2769k| 10M| 94 | 14 | 771 |6198 | 334 | 771 | 276 | 81 | 77k| 16k| 3.000000e+00 | -- | Inf
716.68/716.92 c 710s|200000 | 330 | 2921k|9963k| 94 | 18 | 771 |6241 | 276 | 771 | 276 | 81 | 78k| 17k| 3.000000e+00 | -- | Inf
753.07/753.33 c 746s|210000 | 313 | 3062k| 10M| 94 | 4 | 771 |6585 | 252 | 771 | 276 | 81 | 79k| 17k| 3.000000e+00 | -- | Inf
780.47/780.76 c 773s|220000 | 350 | 3158k| 10M| 94 | 6 | 771 |7821 | 424 | 771 | 276 | 81 | 87k| 17k| 3.000000e+00 | -- | Inf
818.55/818.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
818.55/818.80 c 811s|230000 | 399 | 3311k| 10M| 94 | - | 771 |6690 | 336 | 771 | 276 | 81 | 92k| 18k| 3.000000e+00 | -- | Inf
859.24/859.57 c 851s|240000 | 486 | 3495k| 11M| 94 | - | 771 |7605 | 561 | 771 | 276 | 81 | 94k| 19k| 3.000000e+00 | -- | Inf
896.43/896.72 c 888s|250000 | 585 | 3645k| 11M| 98 | - | 771 |7072 | 371 | 771 | 276 | 81 | 96k| 19k| 3.000000e+00 | -- | Inf
935.02/935.39 c 926s|260000 | 636 | 3769k| 11M| 98 | 34 | 771 |6920 | 233 | 771 | 276 | 81 | 96k| 19k| 3.000000e+00 | -- | Inf
973.81/974.14 c 964s|270000 | 596 | 3918k| 11M| 98 | 29 | 771 |6724 | 221 | 771 | 276 | 81 | 97k| 20k| 3.000000e+00 | -- | Inf
1010.70/1011.02 c 1001s|280000 | 629 | 4052k| 11M| 98 | - | 771 |6855 | 195 | 771 | 276 | 81 | 98k| 20k| 3.000000e+00 | -- | Inf
1049.48/1049.87 c 1039s|290000 | 598 | 4228k| 11M| 98 | - | 771 |7113 | 437 | 771 | 276 | 81 | 101k| 21k| 3.000000e+00 | -- | Inf
1088.48/1088.87 c 1078s|300000 | 608 | 4396k| 10M| 98 | 16 | 771 |4962 | 226 | 771 | 276 | 81 | 103k| 21k| 3.000000e+00 | -- | Inf
1126.07/1126.44 c 1115s|310000 | 652 | 4583k| 10M| 98 | - | 771 |5033 | 254 | 771 | 276 | 81 | 107k| 21k| 3.000000e+00 | -- | Inf
1164.05/1164.41 c 1153s|320000 | 607 | 4733k| 10M| 98 | - | 771 |4616 | 157 | 771 | 276 | 81 | 110k| 22k| 3.000000e+00 | -- | Inf
1200.25/1200.60 c 1189s|330000 | 667 | 4880k| 11M| 100 | 29 | 771 |5026 | 559 | 771 | 276 | 81 | 112k| 22k| 3.000000e+00 | -- | Inf
1239.13/1239.53 c 1227s|340000 | 693 | 5069k| 11M| 100 | - | 771 |5833 | 470 | 771 | 276 | 81 | 115k| 23k| 3.000000e+00 | -- | Inf
1275.42/1275.84 c 1263s|350000 | 665 | 5235k| 11M| 108 | - | 771 |5697 | 253 | 0 | 0 | 81 | 116k| 23k| 3.000000e+00 | -- | Inf
1309.11/1309.55 c 1296s|360000 | 686 | 5367k| 12M| 108 | - | 771 |7936 | 294 | 0 | 0 | 81 | 122k| 24k| 3.000000e+00 | -- | Inf
1344.00/1344.45 c 1331s|370000 | 745 | 5502k| 12M| 108 | - | 771 |7607 | 141 | 0 | 0 | 81 | 125k| 24k| 3.000000e+00 | -- | Inf
1376.69/1377.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1376.69/1377.16 c 1363s|380000 | 678 | 5624k| 11M| 108 | - | 771 |6331 |1400 | 771 | 276 | 81 | 134k| 24k| 3.000000e+00 | -- | Inf
1414.88/1415.39 c 1401s|390000 | 731 | 5794k| 12M| 108 | 7 | 771 |6977 | 290 | 771 | 276 | 81 | 138k| 25k| 3.000000e+00 | -- | Inf
1448.28/1448.70 c 1434s|400000 | 718 | 5930k| 12M| 108 | 19 | 771 |6650 | 232 | 771 | 276 | 81 | 142k| 25k| 3.000000e+00 | -- | Inf
1485.67/1486.19 c 1471s|410000 | 712 | 6092k| 12M| 108 | - | 771 |6439 | 192 | 771 | 276 | 81 | 145k| 26k| 3.000000e+00 | -- | Inf
1514.35/1514.81 c 1500s|420000 | 780 | 6194k| 12M| 108 | - | 771 |6202 | 167 | 771 | 276 | 81 | 148k| 26k| 3.000000e+00 | -- | Inf
1542.45/1542.99 c 1528s|430000 | 778 | 6280k| 12M| 108 | - | 771 |6151 | 211 | 771 | 276 | 81 | 148k| 26k| 3.000000e+00 | -- | Inf
1573.73/1574.25 c 1558s|440000 | 742 | 6379k| 12M| 108 | - | 771 |6502 | 262 | 771 | 276 | 81 | 148k| 26k| 3.000000e+00 | -- | Inf
1610.72/1611.26 c 1595s|450000 | 707 | 6553k| 12M| 108 | 18 | 771 |6610 | 490 | 771 | 276 | 81 | 151k| 27k| 3.000000e+00 | -- | Inf
1641.31/1641.81 c 1625s|460000 | 792 | 6661k| 12M| 108 | 17 | 771 |7141 | 204 | 771 | 276 | 81 | 152k| 27k| 3.000000e+00 | -- | Inf
1669.91/1670.41 c 1654s|470000 | 788 | 6749k| 12M| 108 | - | 771 |7226 | 186 | 771 | 276 | 81 | 152k| 27k| 3.000000e+00 | -- | Inf
1698.30/1698.89 c 1682s|480000 | 762 | 6831k| 12M| 108 | - | 771 |7256 | 183 | 771 | 276 | 81 | 153k| 28k| 3.000000e+00 | -- | Inf
1729.49/1730.03 c 1713s|490000 | 780 | 6934k| 12M| 108 | 15 | 771 |7240 | 370 | 771 | 276 | 81 | 153k| 29k| 3.000000e+00 | -- | Inf
1764.08/1764.67 c 1747s|500000 | 752 | 7064k| 12M| 108 | - | 771 |7232 | 314 | 771 | 276 | 81 | 153k| 29k| 3.000000e+00 | -- | Inf
1794.57/1795.16 c 1777s|510000 | 743 | 7161k| 12M| 108 | - | 771 |7377 | 498 | 771 | 276 | 81 | 153k| 30k| 3.000000e+00 | -- | Inf
1800.08/1800.61 c
1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time (sec) : 1782.59
1800.08/1800.61 c Solving Nodes : 511647
1800.08/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.61 c Dual Bound : +3.00000000000000e+00
1800.08/1800.61 c Gap : infinite
1800.08/1800.61 c NODE 511647
1800.08/1800.61 c DUAL BOUND 3
1800.08/1800.61 c PRIMAL BOUND 1e+20
1800.08/1800.61 c GAP 1e+20
1800.08/1800.61 s UNKNOWN
1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time : 1782.59
1800.08/1800.61 c Original Problem :
1800.08/1800.61 c Problem name : HOME/instance-1870821-1245220804.opb
1800.08/1800.61 c Variables : 774 (774 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 994 initial, 994 maximal
1800.08/1800.61 c Presolved Problem :
1800.08/1800.61 c Problem name : t_HOME/instance-1870821-1245220804.opb
1800.08/1800.61 c Variables : 771 (771 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 222 initial, 10722 maximal
1800.08/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.61 c knapsack : 0.03 0 0 0 0 0 0 0 0
1800.08/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c linear : 0.01 3 0 0 3 0 772 0 0
1800.08/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c root node : - 0 - - 0 - - - -
1800.08/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.61 c integral : 0 0 0 270071 0 418 12995 0 0 524204
1800.08/1800.61 c knapsack : 192 6 1292675 0 0 36924 8387492 733 0 0
1800.08/1800.61 c setppc : 30 6 1255751 0 0 22519 3041177 0 0 0
1800.08/1800.61 c logicor : 0+ 0 503904 0 0 7835 280857 0 0 0
1800.08/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.61 c integral : 81.18 0.00 0.00 81.18 0.00
1800.08/1800.61 c knapsack : 40.71 0.03 40.68 0.00 0.00
1800.08/1800.61 c setppc : 14.21 0.00 14.21 0.00 0.00
1800.08/1800.61 c logicor : 48.10 0.00 48.10 0.00 0.00
1800.08/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.61 c rootredcost : 0.58 0 0 0
1800.08/1800.61 c pseudoobj : 0.32 0 0 0
1800.08/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.61 c propagation : 9.47 60404 60389 433752 44.3 1559 23.5 -
1800.08/1800.61 c infeasible LP : 20.72 192543 68 948 56.2 0 0.0 0
1800.08/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.61 c applied globally : - - - 153554 28.6 - - -
1800.08/1800.61 c applied locally : - - - 0 0.0 - - -
1800.08/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.61 c cut pool : 0.00 5 - - 753 - (maximal pool size: 1039)
1800.08/1800.61 c redcost : 5.38 269927 0 0 0 0
1800.08/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.08/1800.61 c intobj : 0.00 0 0 0 0 0
1800.08/1800.61 c gomory : 0.19 6 0 0 24 0
1800.08/1800.61 c strongcg : 0.16 6 0 0 19 0
1800.08/1800.61 c cmir : 0.22 6 0 0 857 0
1800.08/1800.61 c flowcover : 0.31 6 0 0 1160 0
1800.08/1800.61 c clique : 0.01 6 0 0 12 0
1800.08/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.61 c mcf : 0.00 1 0 0 0 0
1800.08/1800.61 c Pricers : Time Calls Vars
1800.08/1800.61 c problem variables: 0.00 0 0
1800.08/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.61 c relpscost : 80.68 270071 418 12995 0 0 524204
1800.08/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.08/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.61 c random : 0.00 0 0 0 0 0 0
1800.08/1800.61 c Primal Heuristics : Time Calls Found
1800.08/1800.61 c LP solutions : 0.00 - 0
1800.08/1800.61 c pseudo solutions : 0.00 - 0
1800.08/1800.61 c oneopt : 0.36 0 0
1800.08/1800.61 c crossover : 0.20 0 0
1800.08/1800.61 c guideddiving : 0.01 0 0
1800.08/1800.61 c intshifting : 0.01 0 0
1800.08/1800.61 c pscostdiving : 3.47 48 0
1800.08/1800.61 c coefdiving : 5.73 49 0
1800.08/1800.61 c fracdiving : 5.13 49 0
1800.08/1800.61 c veclendiving : 0.60 49 0
1800.08/1800.61 c linesearchdiving : 0.94 49 0
1800.08/1800.61 c objpscostdiving : 0.55 25 0
1800.08/1800.61 c feaspump : 1.30 25 0
1800.08/1800.61 c rootsoldiving : 0.51 25 0
1800.08/1800.61 c simplerounding : 0.49 0 0
1800.08/1800.61 c rounding : 0.63 7343 0
1800.08/1800.61 c shifting : 3.43 2300 0
1800.08/1800.61 c fixandinfer : 0.00 0 0
1800.08/1800.61 c intdiving : 0.00 0 0
1800.08/1800.61 c actconsdiving : 0.00 0 0
1800.08/1800.61 c octane : 0.00 0 0
1800.08/1800.61 c rens : 0.04 1 0
1800.08/1800.61 c rins : 0.00 0 0
1800.08/1800.61 c localbranching : 0.00 0 0
1800.08/1800.61 c mutation : 0.00 0 0
1800.08/1800.61 c dins : 0.00 0 0
1800.08/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.61 c primal LP : 0.01 0 0 0.00 0.00
1800.08/1800.61 c dual LP : 1382.08 516392 7135992 13.82 5163.23
1800.08/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.61 c diving/probing LP: 16.18 9330 45146 4.84 2790.23
1800.08/1800.61 c strong branching : 73.50 30388 690192 22.71 9390.37
1800.08/1800.61 c (at root node) : - 33 3027 91.73 -
1800.08/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.61 c B&B Tree :
1800.08/1800.61 c number of runs : 1
1800.08/1800.61 c nodes : 511647
1800.08/1800.61 c nodes (total) : 511647
1800.08/1800.61 c nodes left : 746
1800.08/1800.61 c max depth : 108
1800.08/1800.61 c max depth (total): 108
1800.08/1800.61 c backtracks : 76288 (14.9%)
1800.08/1800.61 c delayed cutoffs : 11812
1800.08/1800.61 c repropagations : 295354 (1269332 domain reductions, 10064 cutoffs)
1800.08/1800.61 c avg switch length: 3.85
1800.08/1800.61 c switching time : 77.41
1800.08/1800.61 c Solution :
1800.08/1800.61 c Solutions found : 0 (0 improvements)
1800.08/1800.61 c Primal Bound : -
1800.08/1800.61 c Dual Bound : +3.00000000000000e+00
1800.08/1800.61 c Gap : infinite
1800.08/1800.61 c Root Dual Bound : +3.00000000000000e+00
1800.08/1800.65 c Time complete: 1800.12.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870821-1245220804/watcher-1870821-1245220804 -o /tmp/evaluation-result-1870821-1245220804/solver-1870821-1245220804 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870821-1245220804.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: 1.00 1.00 1.00 3/64 7297
/proc/meminfo: memFree=1822448/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=5812 CPUtime=0
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 189680386 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/7297/statm: 1453 502 332 1256 0 192 0
[startup+0.0588161 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7297
/proc/meminfo: memFree=1822448/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=17464 CPUtime=0.05
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 3527 0 0 0 3 2 0 0 18 0 1 0 189680386 17883136 3157 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 4366 3157 472 1256 0 3105 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17464
[startup+0.10182 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7297
/proc/meminfo: memFree=1822448/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=17464 CPUtime=0.09
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 3570 0 0 0 7 2 0 0 18 0 1 0 189680386 17883136 3200 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 4366 3200 494 1256 0 3105 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17464
[startup+0.301842 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7297
/proc/meminfo: memFree=1822448/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=21252 CPUtime=0.29
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 4445 0 0 0 26 3 0 0 19 0 1 0 189680386 21762048 4074 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 5313 4074 677 1256 0 4052 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21252
[startup+0.701886 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7297
/proc/meminfo: memFree=1822448/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=22176 CPUtime=0.69
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 4696 0 0 0 66 3 0 0 22 0 1 0 189680386 22708224 4324 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 5544 4324 678 1256 0 4283 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22176
[startup+1.50197 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7298
/proc/meminfo: memFree=1807528/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=24864 CPUtime=1.49
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 7394 0 0 0 144 5 0 0 25 0 1 0 189680386 25460736 4707 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 6216 4707 696 1256 0 4955 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24864
[startup+3.10114 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7298
/proc/meminfo: memFree=1806120/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=24864 CPUtime=3.09
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 7441 0 0 0 303 6 0 0 25 0 1 0 189680386 25460736 4754 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 6216 4754 698 1256 0 4955 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24864
[startup+6.30149 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7298
/proc/meminfo: memFree=1805608/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=24864 CPUtime=6.29
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 7550 0 0 0 622 7 0 0 25 0 1 0 189680386 25460736 4863 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 6216 4863 704 1256 0 4955 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24864
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7298
/proc/meminfo: memFree=1804776/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=25048 CPUtime=12.69
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 7780 0 0 0 1256 13 0 0 25 0 1 0 189680386 25649152 5093 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 6262 5093 706 1256 0 5001 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25048
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7298
/proc/meminfo: memFree=1803816/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=25968 CPUtime=25.48
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 8038 0 0 0 2523 25 0 0 25 0 1 0 189680386 26591232 5351 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 6492 5351 706 1256 0 5231 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25968
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7298
/proc/meminfo: memFree=1800744/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=29024 CPUtime=51.08
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 8846 0 0 0 5058 50 0 0 25 0 1 0 189680386 29720576 6159 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 7256 6159 706 1256 0 5995 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29024
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7298
/proc/meminfo: memFree=1799784/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=29832 CPUtime=102.26
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 9069 0 0 0 10133 93 0 0 25 0 1 0 189680386 30547968 6382 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 7458 6382 706 1256 0 6197 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 29832
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7298
/proc/meminfo: memFree=1799464/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=30432 CPUtime=162.24
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 9134 0 0 0 16080 144 0 0 25 0 1 0 189680386 31162368 6447 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 7608 6447 706 1256 0 6347 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 30432
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7298
/proc/meminfo: memFree=1799336/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=30432 CPUtime=222.22
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 9160 0 0 0 22031 191 0 0 25 0 1 0 189680386 31162368 6473 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 7608 6473 706 1256 0 6347 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 30432
[startup+282.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 7298
/proc/meminfo: memFree=1798888/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=30636 CPUtime=282.2
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 9272 0 0 0 27973 247 0 0 25 0 1 0 189680386 31371264 6585 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 7659 6585 706 1256 0 6398 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 30636
[startup+342.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 7298
/proc/meminfo: memFree=1797160/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=32988 CPUtime=342.19
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 10208 0 0 0 33907 312 0 0 25 0 1 0 189680386 33779712 6994 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 8247 6994 706 1256 0 6986 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 32988
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7298
/proc/meminfo: memFree=1795624/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=34468 CPUtime=402.17
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 11114 0 0 0 39848 369 0 0 25 0 1 0 189680386 35295232 7384 1992294400 4194304 9342243 548682068736 18446744073709551615 6879888 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 8617 7384 706 1256 0 7356 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 34468
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7298
/proc/meminfo: memFree=1793960/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=35960 CPUtime=462.16
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 11519 0 0 0 45788 428 0 0 25 0 1 0 189680386 36823040 7788 1992294400 4194304 9342243 548682068736 18446744073709551615 7289219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 8990 7788 706 1256 0 7729 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 35960
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7298
/proc/meminfo: memFree=1791976/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=38064 CPUtime=522.14
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 12007 0 0 0 51719 495 0 0 25 0 1 0 189680386 38977536 8276 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 9516 8276 706 1256 0 8255 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 38064
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7298
/proc/meminfo: memFree=1790888/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=38672 CPUtime=582.12
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 12277 0 0 0 57646 566 0 0 25 0 1 0 189680386 39600128 8546 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 9668 8546 706 1256 0 8407 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 38672
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7298
/proc/meminfo: memFree=1789352/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=40680 CPUtime=642.1
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 12648 0 0 0 63572 638 0 0 25 0 1 0 189680386 41656320 8917 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 10170 8917 706 1256 0 8909 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 40680
[startup+702.302 s]
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7300
/proc/meminfo: memFree=1787496/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=41932 CPUtime=822.06
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 13082 0 0 0 81401 805 0 0 25 0 1 0 189680386 42938368 9351 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 10483 9351 706 1256 0 9222 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 41932
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7300
/proc/meminfo: memFree=1786856/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=42760 CPUtime=882.03
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 13238 0 0 0 87337 866 0 0 25 0 1 0 189680386 43786240 9505 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 10690 9505 706 1256 0 9429 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 42760
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7300
/proc/meminfo: memFree=1786600/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=43016 CPUtime=942.02
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 13310 0 0 0 93287 915 0 0 25 0 1 0 189680386 44048384 9577 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 10754 9577 706 1256 0 9493 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 43016
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7300
/proc/meminfo: memFree=1786472/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=43016 CPUtime=1002
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 13324 0 0 0 99233 967 0 0 25 0 1 0 189680386 44048384 9591 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 10754 9591 706 1256 0 9493 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 43016
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7300
/proc/meminfo: memFree=1786280/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=43172 CPUtime=1061.98
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 13377 0 0 0 105178 1020 0 0 25 0 1 0 189680386 44208128 9644 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 10793 9644 706 1256 0 9532 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 43172
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7300
/proc/meminfo: memFree=1785832/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=43812 CPUtime=1121.97
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 13467 0 0 0 111118 1079 0 0 25 0 1 0 189680386 44863488 9734 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 10953 9734 706 1256 0 9692 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 43812
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7300
/proc/meminfo: memFree=1785576/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=43812 CPUtime=1181.95
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 13526 0 0 0 117057 1138 0 0 25 0 1 0 189680386 44863488 9793 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 10953 9793 706 1256 0 9692 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 43812
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7300
/proc/meminfo: memFree=1785384/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=43812 CPUtime=1241.93
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 13569 0 0 0 122992 1201 0 0 25 0 1 0 189680386 44863488 9835 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 10953 9835 706 1256 0 9692 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 43812
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7306
/proc/meminfo: memFree=1784872/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=44396 CPUtime=1301.91
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 13697 0 0 0 128928 1263 0 0 25 0 1 0 189680386 45461504 9963 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 11099 9963 706 1256 0 9838 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 44396
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7306
/proc/meminfo: memFree=1784232/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=44688 CPUtime=1361.89
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 13849 0 0 0 134863 1326 0 0 25 0 1 0 189680386 45760512 10115 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 11172 10115 706 1256 0 9911 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 44688
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7306
/proc/meminfo: memFree=1783912/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=44992 CPUtime=1421.88
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 13921 0 0 0 140806 1382 0 0 25 0 1 0 189680386 46071808 10187 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 11248 10187 706 1256 0 9987 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 44992
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7306
/proc/meminfo: memFree=1783784/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=45248 CPUtime=1481.86
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 13943 0 0 0 146746 1440 0 0 25 0 1 0 189680386 46333952 10209 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 11312 10209 706 1256 0 10051 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 45248
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7306
/proc/meminfo: memFree=1783784/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=45248 CPUtime=1541.84
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 13957 0 0 0 152685 1499 0 0 25 0 1 0 189680386 46333952 10223 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 11312 10223 706 1256 0 10051 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 45248
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7306
/proc/meminfo: memFree=1783720/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=45248 CPUtime=1601.82
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 13967 0 0 0 158626 1556 0 0 25 0 1 0 189680386 46333952 10233 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 11312 10233 706 1256 0 10051 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 45248
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7306
/proc/meminfo: memFree=1783656/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=45248 CPUtime=1661.81
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 13974 0 0 0 164565 1616 0 0 25 0 1 0 189680386 46333952 10240 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 11312 10240 706 1256 0 10051 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 45248
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7306
/proc/meminfo: memFree=1783592/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=45248 CPUtime=1721.79
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 13983 0 0 0 170505 1674 0 0 25 0 1 0 189680386 46333952 10249 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 11312 10249 706 1256 0 10051 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 45248
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7306
/proc/meminfo: memFree=1783528/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=45248 CPUtime=1781.78
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 13986 0 0 0 176449 1729 0 0 25 0 1 0 189680386 46333952 10252 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 11312 10252 706 1256 0 10051 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 45248
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7306
/proc/meminfo: memFree=1783528/2055920 swapFree=4182492/4192956
[pid=7297] ppid=7295 vsize=45248 CPUtime=1800.08
/proc/7297/stat : 7297 (pbscip.linux.x8) R 7295 7297 6868 0 -1 4194304 13989 0 0 0 178261 1747 0 0 25 0 1 0 189680386 46333952 10254 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7297/statm: 11312 10254 706 1256 0 10051 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 45248
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.65
CPU time (s): 1800.13
CPU user time (s): 1782.65
CPU system time (s): 17.4833
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 45248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.65
system time used= 17.4833
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13993
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= 1665
runsolver used 1.24881 second user time and 3.82742 second system time
The end