0.89/0.94 c SCIP version 1.1.0.7
0.89/0.94 c LP-Solver Clp 1.8.2
0.89/0.94 c user parameter file <scip.set> not found - using default parameters
0.89/0.94 c read problem <HOME/instance-1869123-1245159596.opb>
0.89/0.94 c original problem has 4250 variables (4250 bin, 0 int, 0 impl, 0 cont) and 68397 constraints
1.10/1.14 c start presolving problem
1.10/1.14 c presolving:
2.20/2.22 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 66272 upgd conss, 392598 impls, 0 clqs
2.29/2.38 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 68397 upgd conss, 392598 impls, 0 clqs
6.89/6.98 c (5.8s) probing: 1000/4250 (23.5%) - 0 fixings, 0 aggregations, 18502 implications, 0 bound changes
10.89/10.95 c (9.7s) probing: 2000/4250 (47.1%) - 0 fixings, 0 aggregations, 35543 implications, 0 bound changes
10.89/10.95 c (9.7s) probing: 2001/4250 (47.1%) - 0 fixings, 0 aggregations, 35563 implications, 0 bound changes
10.89/10.95 c (9.7s) probing aborted: 2000/2000 successive useless probings
10.89/10.95 c presolving (3 rounds):
10.89/10.95 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
10.89/10.95 c 524786 implications, 0 cliques
10.89/10.95 c presolved problem has 4250 variables (4250 bin, 0 int, 0 impl, 0 cont) and 68397 constraints
10.89/10.95 c 68397 constraints of type <logicor>
10.89/10.95 c transformed objective value is always integral (scale: 1)
10.89/10.95 c Presolving Time: 9.58
10.89/10.96 c strange?!, PURESAT with obj
10.89/10.96 c -----------------------------------------------------------------------------------------------
10.89/10.96 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
10.89/10.96 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.89/10.96 c limits/memory = c 1620
10.89/10.96 c # maximal time in seconds to run
10.89/10.96 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.89/10.96 c limits/time = c 1791
10.89/10.96 c # frequency for displaying node information lines
10.89/10.96 c # [type: int, range: [-1,2147483647], default: 100]
10.89/10.96 c display/freq = c 10000
10.89/10.96 c -----------------------------------------------------------------------------------------------
10.89/10.96 c start solving problem
10.89/10.96 c
13.69/13.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.69/13.72 c 12.4s| 1 | 0 | 2456 | 93M| 0 |2375 |4250 | 68k| 68k|4250 | 68k| 0 | 0 | 0 | 1.187500e+03 | -- | Inf
71.76/71.82 c 70.3s| 1 | 0 | 17687 | 93M| 0 |2334 |4250 | 68k| 68k|4250 | 68k| 37 | 0 | 0 | 1.208000e+03 | -- | Inf
79.75/79.81 c 78.3s| 1 | 0 | 18021 | 93M| 0 |2299 |4250 | 68k| 68k|4250 | 68k| 63 | 0 | 0 | 1.225500e+03 | -- | Inf
87.95/88.04 c 86.5s| 1 | 0 | 18361 | 93M| 0 |2262 |4250 | 68k| 68k|4250 | 68k| 89 | 0 | 0 | 1.244750e+03 | -- | Inf
96.95/97.05 c 95.5s| 1 | 0 | 18630 | 93M| 0 |2227 |4250 | 68k| 68k|4250 | 68k| 114 | 0 | 0 | 1.262500e+03 | -- | Inf
107.13/107.20 c 106s| 1 | 0 | 18960 | 93M| 0 |2195 |4250 | 68k| 68k|4250 | 68k| 142 | 0 | 0 | 1.278500e+03 | -- | Inf
116.74/116.84 c 115s| 1 | 0 | 19284 | 93M| 0 |2156 |4250 | 68k| 68k|4250 | 68k| 170 | 0 | 0 | 1.299500e+03 | -- | Inf
127.94/128.08 c 126s| 1 | 0 | 19729 | 93M| 0 |2116 |4250 | 68k| 68k|4250 | 68k| 200 | 0 | 0 | 1.317000e+03 | -- | Inf
141.73/141.82 c 140s| 1 | 0 | 20242 | 94M| 0 |2090 |4250 | 68k| 68k|4250 | 68k| 229 | 0 | 0 | 1.332500e+03 | -- | Inf
157.23/157.32 c 156s| 1 | 0 | 20859 | 94M| 0 |2064 |4250 | 68k| 68k|4250 | 68k| 258 | 0 | 0 | 1.347250e+03 | -- | Inf
172.72/172.83 c 171s| 1 | 0 | 21401 | 94M| 0 |2026 |4250 | 68k| 68k|4250 | 68k| 289 | 0 | 0 | 1.366750e+03 | -- | Inf
179.61/179.74 c 178s| 1 | 0 | 22026 | 94M| 0 |1998 |4250 | 68k| 68k|4250 | 68k| 320 | 0 | 0 | 1.379250e+03 | -- | Inf
185.32/185.47 c 184s| 1 | 0 | 22503 | 94M| 0 |1964 |4250 | 68k| 68k|4250 | 68k| 353 | 0 | 0 | 1.396750e+03 | -- | Inf
191.22/191.36 c 190s| 1 | 0 | 23155 | 94M| 0 |1938 |4250 | 68k| 68k|4250 | 68k| 386 | 0 | 0 | 1.410050e+03 | -- | Inf
196.91/197.00 c 195s| 1 | 0 | 23660 | 94M| 0 |1906 |4250 | 68k| 68k|4250 | 68k| 414 | 0 | 0 | 1.423125e+03 | -- | Inf
202.51/202.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
202.51/202.68 c 201s| 1 | 0 | 24273 | 94M| 0 |1880 |4250 | 68k| 68k|4250 | 68k| 446 | 0 | 0 | 1.435000e+03 | -- | Inf
207.21/207.37 c 206s| 1 | 0 | 24782 | 94M| 0 |1856 |4250 | 68k| 68k|4250 | 68k| 482 | 0 | 0 | 1.447000e+03 | -- | Inf
214.31/214.48 c 213s| 1 | 0 | 25787 | 94M| 0 |1840 |4250 | 68k| 68k|4250 | 68k| 518 | 0 | 0 | 1.459750e+03 | -- | Inf
220.80/220.94 c 219s| 1 | 0 | 26695 | 94M| 0 |1811 |4250 | 68k| 68k|4250 | 68k| 551 | 0 | 0 | 1.472250e+03 | -- | Inf
229.50/229.68 c 228s| 1 | 0 | 27777 | 94M| 0 |1809 |4250 | 68k| 68k|4250 | 68k| 577 | 0 | 0 | 1.481000e+03 | -- | Inf
237.70/237.83 c 236s| 1 | 0 | 28880 | 95M| 0 |1783 |4250 | 68k| 68k|4250 | 68k| 609 | 0 | 0 | 1.491500e+03 | -- | Inf
251.19/251.32 c 250s| 1 | 0 | 30070 | 95M| 0 |1771 |4250 | 68k| 68k|4250 | 68k| 646 | 0 | 0 | 1.501000e+03 | -- | Inf
262.59/262.77 c 261s| 1 | 0 | 31085 | 95M| 0 |1758 |4250 | 68k| 68k|4250 | 68k| 677 | 0 | 0 | 1.508250e+03 | -- | Inf
277.69/277.87 c 276s| 1 | 0 | 32424 | 95M| 0 |1757 |4250 | 68k| 68k|4250 | 69k| 715 | 0 | 0 | 1.515750e+03 | -- | Inf
286.68/286.85 c 285s| 1 | 0 | 33673 | 95M| 0 |1735 |4250 | 68k| 68k|4250 | 69k| 756 | 0 | 0 | 1.522250e+03 | -- | Inf
294.68/294.84 c 293s| 1 | 0 | 34904 | 95M| 0 |1705 |4250 | 68k| 68k|4250 | 69k| 798 | 0 | 0 | 1.531500e+03 | -- | Inf
312.97/313.17 c 311s| 1 | 0 | 37240 | 95M| 0 |1692 |4250 | 68k| 68k|4250 | 69k| 834 | 0 | 0 | 1.540500e+03 | -- | Inf
322.77/322.91 c 321s| 1 | 0 | 38848 | 96M| 0 |1698 |4250 | 68k| 68k|4250 | 69k| 865 | 0 | 0 | 1.547500e+03 | -- | Inf
331.67/331.83 c 330s| 1 | 0 | 40164 | 96M| 0 |1689 |4250 | 68k| 68k|4250 | 69k| 900 | 0 | 0 | 1.555750e+03 | -- | Inf
344.37/344.55 c 343s| 1 | 0 | 41946 | 96M| 0 |1658 |4250 | 68k| 68k|4250 | 69k| 938 | 0 | 0 | 1.563750e+03 | -- | Inf
357.06/357.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
357.06/357.20 c 355s| 1 | 0 | 43664 | 96M| 0 |1658 |4250 | 68k| 68k|4250 | 69k| 969 | 0 | 0 | 1.572750e+03 | -- | Inf
371.66/371.86 c 370s| 1 | 0 | 45576 | 96M| 0 |1641 |4250 | 68k| 68k|4250 | 69k|1008 | 0 | 0 | 1.579750e+03 | -- | Inf
386.95/387.16 c 385s| 1 | 0 | 47721 | 96M| 0 |1618 |4250 | 68k| 68k|4250 | 69k|1051 | 0 | 0 | 1.586500e+03 | -- | Inf
396.44/396.69 c 395s| 1 | 0 | 49092 | 97M| 0 |1601 |4250 | 68k| 68k|4250 | 69k|1090 | 0 | 0 | 1.591000e+03 | -- | Inf
408.34/408.52 c 407s| 1 | 0 | 50854 | 97M| 0 |1576 |4250 | 68k| 68k|4250 | 69k|1130 | 0 | 0 | 1.597500e+03 | -- | Inf
425.44/425.64 c 424s| 1 | 0 | 52977 | 97M| 0 |1572 |4250 | 68k| 68k|4250 | 69k|1167 | 0 | 0 | 1.600000e+03 | -- | Inf
436.04/436.20 c 434s| 1 | 0 | 54583 | 97M| 0 |1579 |4250 | 68k| 68k|4250 | 69k|1201 | 0 | 0 | 1.603750e+03 | -- | Inf
446.83/447.00 c 445s| 1 | 0 | 56556 | 97M| 0 |1578 |4250 | 68k| 68k|4250 | 69k|1236 | 0 | 0 | 1.608250e+03 | -- | Inf
462.72/462.97 c 461s| 1 | 0 | 58895 | 97M| 0 |1630 |4250 | 68k| 68k|4250 | 69k|1284 | 0 | 0 | 1.614250e+03 | -- | Inf
478.62/478.83 c 477s| 1 | 0 | 61305 | 98M| 0 |1566 |4250 | 68k| 68k|4250 | 69k|1332 | 0 | 0 | 1.619500e+03 | -- | Inf
494.72/494.99 c 493s| 1 | 0 | 63865 | 98M| 0 |1563 |4250 | 68k| 68k|4250 | 69k|1376 | 0 | 0 | 1.627500e+03 | -- | Inf
517.60/517.81 c 516s| 1 | 0 | 66835 | 98M| 0 |1528 |4250 | 68k| 68k|4250 | 69k|1414 | 0 | 0 | 1.633000e+03 | -- | Inf
536.51/536.72 c 535s| 1 | 0 | 69512 | 98M| 0 |1551 |4250 | 68k| 68k|4250 | 69k|1457 | 0 | 0 | 1.641750e+03 | -- | Inf
568.89/569.19 c 567s| 1 | 0 | 73286 | 98M| 0 |1530 |4250 | 68k| 68k|4250 | 69k|1508 | 0 | 0 | 1.648250e+03 | -- | Inf
603.48/603.72 c 602s| 1 | 0 | 76983 | 98M| 0 |1495 |4250 | 68k| 68k|4250 | 69k|1560 | 0 | 0 | 1.655500e+03 | -- | Inf
623.67/623.90 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
623.67/623.90 c 622s| 1 | 0 | 79527 | 98M| 0 |1532 |4250 | 68k| 68k|4250 | 69k|1599 | 0 | 0 | 1.659687e+03 | -- | Inf
646.77/647.05 c 645s| 1 | 0 | 82281 | 99M| 0 |1466 |4250 | 68k| 68k|4250 | 69k|1652 | 0 | 0 | 1.666574e+03 | -- | Inf
669.66/669.94 c 668s| 1 | 0 | 84709 | 99M| 0 |1419 |4250 | 68k| 68k|4250 | 69k|1691 | 0 | 0 | 1.673250e+03 | -- | Inf
688.76/689.06 c 687s| 1 | 0 | 87133 | 99M| 0 |1421 |4250 | 68k| 68k|4250 | 69k|1734 | 0 | 0 | 1.678500e+03 | -- | Inf
709.95/710.20 c 708s| 1 | 0 | 89859 | 99M| 0 |1420 |4250 | 68k| 68k|4250 | 69k|1780 | 0 | 0 | 1.683250e+03 | -- | Inf
731.74/732.10 c 730s| 1 | 0 | 92565 | 99M| 0 |1490 |4250 | 68k| 68k|4250 | 69k|1823 | 0 | 0 | 1.686875e+03 | -- | Inf
754.03/754.36 c 752s| 1 | 0 | 95853 | 100M| 0 |1423 |4250 | 68k| 68k|4250 | 69k|1863 | 0 | 0 | 1.693125e+03 | -- | Inf
772.82/773.11 c 771s| 1 | 0 | 98523 | 100M| 0 |1423 |4250 | 68k| 68k|4250 | 69k|1911 | 0 | 0 | 1.699750e+03 | -- | Inf
800.11/800.42 c 798s| 1 | 0 |101842 | 100M| 0 |1446 |4250 | 68k| 68k|4250 | 69k|1961 | 0 | 0 | 1.702332e+03 | -- | Inf
822.51/822.85 c 820s| 1 | 0 |104628 | 100M| 0 |1461 |4250 | 68k| 68k|4250 | 69k|2010 | 0 | 0 | 1.705917e+03 | -- | Inf
851.10/851.46 c 849s| 1 | 0 |108259 | 101M| 0 |1459 |4250 | 68k| 68k|4250 | 69k|2055 | 0 | 0 | 1.709000e+03 | -- | Inf
890.59/890.91 c 888s| 1 | 0 |112361 | 101M| 0 |1473 |4250 | 68k| 68k|4250 | 69k|2101 | 0 | 0 | 1.711667e+03 | -- | Inf
927.37/927.71 c 925s| 1 | 0 |116389 | 101M| 0 |1412 |4250 | 68k| 68k|4250 | 69k|2148 | 0 | 0 | 1.715317e+03 | -- | Inf
956.26/956.68 c 954s| 1 | 0 |120238 | 101M| 0 |1417 |4250 | 68k| 68k|4250 | 69k|2200 | 0 | 0 | 1.721623e+03 | -- | Inf
977.86/978.20 c 976s| 1 | 0 |123177 | 101M| 0 |1408 |4250 | 68k| 68k|4250 | 69k|2252 | 0 | 0 | 1.725957e+03 | -- | Inf
1025.34/1025.73 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1025.34/1025.73 c 1023s| 1 | 0 |128080 | 102M| 0 |1454 |4250 | 68k| 68k|4250 | 69k|2300 | 0 | 0 | 1.729533e+03 | -- | Inf
1049.13/1049.58 c 1047s| 1 | 0 |131243 | 102M| 0 |1450 |4250 | 68k| 68k|4250 | 69k|2344 | 0 | 0 | 1.731736e+03 | -- | Inf
1075.33/1075.72 c 1073s| 1 | 0 |134749 | 102M| 0 |1542 |4250 | 68k| 68k|4250 | 69k|2383 | 0 | 0 | 1.735029e+03 | -- | Inf
1114.12/1114.57 c 1112s| 1 | 0 |138990 | 102M| 0 |1457 |4250 | 68k| 68k|4250 | 69k|2426 | 0 | 0 | 1.737700e+03 | -- | Inf
1146.61/1147.07 c 1144s| 1 | 0 |142885 | 102M| 0 |1446 |4250 | 68k| 68k|4250 | 69k|2475 | 0 | 0 | 1.740778e+03 | -- | Inf
1187.79/1188.29 c 1186s| 1 | 0 |148018 | 103M| 0 |1475 |4250 | 68k| 68k|4250 | 69k|2544 | 0 | 0 | 1.743113e+03 | -- | Inf
1237.17/1237.67 c 1235s| 1 | 0 |152967 | 103M| 0 |1378 |4250 | 68k| 68k|4250 | 69k|2594 | 0 | 0 | 1.745305e+03 | -- | Inf
1295.85/1296.32 c 1293s| 1 | 0 |158391 | 103M| 0 |1495 |4250 | 68k| 68k|4250 | 69k|2639 | 0 | 0 | 1.747700e+03 | -- | Inf
1374.02/1374.51 c 1372s| 1 | 0 |165337 | 103M| 0 |1447 |4250 | 68k| 68k|4250 | 69k|2682 | 0 | 0 | 1.750403e+03 | -- | Inf
1415.01/1415.50 c 1413s| 1 | 0 |170265 | 103M| 0 |1499 |4250 | 68k| 68k|4250 | 69k|2733 | 0 | 0 | 1.752991e+03 | -- | Inf
1471.10/1471.70 c 1469s| 1 | 0 |176188 | 104M| 0 |1463 |4250 | 68k| 68k|4250 | 69k|2793 | 0 | 0 | 1.758633e+03 | -- | Inf
1519.18/1519.79 c 1517s| 1 | 0 |181331 | 104M| 0 |1497 |4250 | 68k| 68k|4250 | 69k|2839 | 0 | 0 | 1.761512e+03 | -- | Inf
1793.69/1794.32 c 1791s| 1 | 0 |212161 | 105M| 0 | - |4250 | 68k| 68k|4250 | 69k|2900 | 0 | 0 | 1.761512e+03 | -- | Inf
1793.69/1794.36 c 1791s| 1 | 2 |212161 | 105M| 0 | - |4250 | 68k| 68k|4250 | 69k|2900 | 0 | 0 | 1.761512e+03 | -- | Inf
1793.69/1794.36 c
1793.69/1794.36 c SCIP Status : solving was interrupted [time limit reached]
1793.69/1794.36 c Solving Time (sec) : 1791.06
1793.69/1794.36 c Solving Nodes : 1
1793.69/1794.36 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1793.69/1794.36 c Dual Bound : +1.76151200430005e+03
1793.69/1794.36 c Gap : infinite
1793.69/1794.36 c NODE 1
1793.69/1794.36 c DUAL BOUND 1761.51
1793.69/1794.36 c PRIMAL BOUND 1e+20
1793.69/1794.36 c GAP 1e+20
1793.69/1794.36 s UNKNOWN
1793.69/1794.36 c SCIP Status : solving was interrupted [time limit reached]
1793.69/1794.36 c Solving Time : 1791.06
1793.69/1794.36 c Original Problem :
1793.69/1794.36 c Problem name : HOME/instance-1869123-1245159596.opb
1793.69/1794.36 c Variables : 4250 (4250 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.69/1794.36 c Constraints : 68397 initial, 68397 maximal
1793.69/1794.36 c Presolved Problem :
1793.69/1794.36 c Problem name : t_HOME/instance-1869123-1245159596.opb
1793.69/1794.36 c Variables : 4250 (4250 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.69/1794.36 c Constraints : 68397 initial, 68397 maximal
1793.69/1794.36 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1793.69/1794.36 c trivial : 0.00 0 0 0 0 0 0 0 0
1793.69/1794.36 c dualfix : 0.00 0 0 0 0 0 0 0 0
1793.69/1794.36 c boundshift : 0.00 0 0 0 0 0 0 0 0
1793.69/1794.36 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1793.69/1794.36 c implics : 0.01 0 0 0 0 0 0 0 0
1793.69/1794.36 c probing : 8.44 0 0 0 0 0 0 0 0
1793.69/1794.36 c logicor : 0.29 0 0 0 0 0 0 0 0
1793.69/1794.36 c root node : - 0 - - 0 - - - -
1793.69/1794.36 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1793.69/1794.36 c integral : 0 0 0 0 0 0 0 0 0 0
1793.69/1794.36 c logicor : 68397 72 4349 0 1 0 0 0 0 0
1793.69/1794.36 c countsols : 0 0 0 0 1 0 0 0 0 0
1793.69/1794.36 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1793.69/1794.36 c integral : 0.00 0.00 0.00 0.00 0.00
1793.69/1794.36 c logicor : 5.32 1.29 3.99 0.00 0.04
1793.69/1794.36 c countsols : 0.00 0.00 0.00 0.00 0.00
1793.69/1794.36 c Propagators : Time Calls Cutoffs DomReds
1793.69/1794.36 c rootredcost : 0.00 0 0 0
1793.69/1794.36 c pseudoobj : 0.03 73 0 0
1793.69/1794.36 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1793.69/1794.36 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1793.69/1794.36 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1793.69/1794.36 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1793.69/1794.36 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1793.69/1794.36 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1793.69/1794.36 c applied globally : - - - 0 0.0 - - -
1793.69/1794.36 c applied locally : - - - 0 0.0 - - -
1793.69/1794.36 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1793.69/1794.36 c cut pool : 0.17 71 - - 847 - (maximal pool size: 4844)
1793.69/1794.36 c redcost : 0.03 72 0 0 0 0
1793.69/1794.36 c impliedbounds : 0.93 72 0 0 0 0
1793.69/1794.36 c intobj : 0.00 0 0 0 0 0
1793.69/1794.36 c gomory : 61.71 72 0 0 36000 0
1793.69/1794.36 c strongcg : 15.00 20 0 0 10000 0
1793.69/1794.36 c cmir : 21.25 10 0 0 0 0
1793.69/1794.36 c flowcover : 22.21 10 0 0 0 0
1793.69/1794.36 c clique : 18.32 72 0 0 675 0
1793.69/1794.36 c zerohalf : 0.00 0 0 0 0 0
1793.69/1794.36 c mcf : 0.10 1 0 0 0 0
1793.69/1794.36 c Pricers : Time Calls Vars
1793.69/1794.36 c problem variables: 0.00 0 0
1793.69/1794.36 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1793.69/1794.36 c relpscost : 0.00 0 0 0 0 0 0
1793.69/1794.36 c pscost : 0.00 0 0 0 0 0 0
1793.69/1794.36 c inference : 0.01 1 0 0 0 0 2
1793.69/1794.36 c mostinf : 0.00 0 0 0 0 0 0
1793.69/1794.36 c leastinf : 0.00 0 0 0 0 0 0
1793.69/1794.36 c fullstrong : 0.00 0 0 0 0 0 0
1793.69/1794.36 c allfullstrong : 0.00 0 0 0 0 0 0
1793.69/1794.36 c random : 0.00 0 0 0 0 0 0
1793.69/1794.36 c Primal Heuristics : Time Calls Found
1793.69/1794.36 c LP solutions : 0.00 - 0
1793.69/1794.36 c pseudo solutions : 0.00 - 0
1793.69/1794.36 c oneopt : 0.00 0 0
1793.69/1794.36 c simplerounding : 0.00 0 0
1793.69/1794.36 c rounding : 1.66 72 0
1793.69/1794.36 c shifting : 51.43 72 0
1793.69/1794.36 c intshifting : 0.00 0 0
1793.69/1794.36 c fixandinfer : 0.00 0 0
1793.69/1794.36 c feaspump : 49.16 1 0
1793.69/1794.36 c coefdiving : 0.00 0 0
1793.69/1794.36 c pscostdiving : 0.00 0 0
1793.69/1794.36 c fracdiving : 0.00 0 0
1793.69/1794.36 c veclendiving : 0.00 0 0
1793.69/1794.36 c intdiving : 0.00 0 0
1793.69/1794.36 c actconsdiving : 0.00 0 0
1793.69/1794.36 c objpscostdiving : 0.00 0 0
1793.69/1794.36 c rootsoldiving : 0.00 0 0
1793.69/1794.36 c linesearchdiving : 0.00 0 0
1793.69/1794.36 c guideddiving : 0.00 0 0
1793.69/1794.36 c octane : 0.00 0 0
1793.69/1794.36 c rens : 0.00 0 0
1793.69/1794.36 c rins : 0.00 0 0
1793.69/1794.36 c localbranching : 0.00 0 0
1793.69/1794.36 c mutation : 0.00 0 0
1793.69/1794.36 c crossover : 0.00 0 0
1793.69/1794.36 c dins : 0.00 0 0
1793.69/1794.36 c LP : Time Calls Iterations Iter/call Iter/sec
1793.69/1794.36 c primal LP : 6.14 0 0 0.00 0.00
1793.69/1794.36 c dual LP : 1529.24 73 197317 2702.97 129.03
1793.69/1794.36 c barrier LP : 0.00 0 0 0.00 -
1793.69/1794.36 c diving/probing LP: 48.65 33 14844 449.82 305.12
1793.69/1794.36 c strong branching : 0.00 0 0 0.00 -
1793.69/1794.36 c (at root node) : - 0 0 0.00 -
1793.69/1794.36 c conflict analysis: 0.00 0 0 0.00 -
1793.69/1794.36 c B&B Tree :
1793.69/1794.36 c number of runs : 1
1793.69/1794.36 c nodes : 1
1793.69/1794.36 c nodes (total) : 1
1793.69/1794.36 c nodes left : 2
1793.69/1794.36 c max depth : 0
1793.69/1794.36 c max depth (total): 0
1793.69/1794.36 c backtracks : 0 (0.0%)
1793.69/1794.36 c delayed cutoffs : 0
1793.69/1794.36 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1793.69/1794.36 c avg switch length: 1.00
1793.69/1794.36 c switching time : 0.00
1793.69/1794.36 c Solution :
1793.69/1794.36 c Solutions found : 0 (0 improvements)
1793.69/1794.36 c Primal Bound : -
1793.69/1794.36 c Dual Bound : +1.76151200430005e+03
1793.69/1794.36 c Gap : infinite
1793.69/1794.36 c Root Dual Bound : +1.76151200430005e+03
1794.09/1794.71 c Time complete: 1794.1.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869123-1245159596/watcher-1869123-1245159596 -o /tmp/evaluation-result-1869123-1245159596/solver-1869123-1245159596 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869123-1245159596.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 32621
/proc/meminfo: memFree=1848540/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=5812 CPUtime=0
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 515 0 0 0 0 0 0 0 18 0 1 0 183556875 5951488 499 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/32621/statm: 1453 500 332 1256 0 192 0
[startup+0.0569151 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 32621
/proc/meminfo: memFree=1848540/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=15604 CPUtime=0.04
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 2879 0 0 0 4 0 0 0 18 0 1 0 183556875 15978496 2863 1992294400 4194304 9342243 548682068736 18446744073709551615 4363801 0 0 4096 0 0 0 0 17 1 0 0
/proc/32621/statm: 3901 2863 378 1256 0 2640 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15604
[startup+0.101922 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 32621
/proc/meminfo: memFree=1848540/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=17760 CPUtime=0.09
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 3448 0 0 0 8 1 0 0 18 0 1 0 183556875 18186240 3432 1992294400 4194304 9342243 548682068736 18446744073709551615 8247732 0 0 4096 0 0 0 0 17 1 0 0
/proc/32621/statm: 4440 3432 378 1256 0 3179 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17760
[startup+0.301954 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 32621
/proc/meminfo: memFree=1848540/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=22416 CPUtime=0.29
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 4611 0 0 0 28 1 0 0 19 0 1 0 183556875 22953984 4595 1992294400 4194304 9342243 548682068736 18446744073709551615 4649564 0 0 4096 0 0 0 0 17 1 0 0
/proc/32621/statm: 5604 4595 378 1256 0 4343 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22416
[startup+0.702023 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 32621
/proc/meminfo: memFree=1848540/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=33228 CPUtime=0.69
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 7308 0 0 0 66 3 0 0 23 0 1 0 183556875 34025472 7292 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/32621/statm: 8307 7292 378 1256 0 7046 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33228
[startup+1.50116 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32622
/proc/meminfo: memFree=1798548/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=94752 CPUtime=1.49
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 22758 0 0 0 136 13 0 0 25 0 1 0 183556875 97026048 22388 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 23688 22388 460 1256 0 22427 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 94752
[startup+3.10143 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32622
/proc/meminfo: memFree=1727892/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=134068 CPUtime=3.09
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 34167 0 0 0 279 30 0 0 25 0 1 0 183556875 137285632 32192 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 33517 32192 482 1256 0 32256 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 134068
[startup+6.30198 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32622
/proc/meminfo: memFree=1721172/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=134068 CPUtime=6.28
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 34167 0 0 0 598 30 0 0 25 0 1 0 183556875 137285632 32192 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 33517 32192 482 1256 0 32256 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 134068
[startup+12.7011 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32622
/proc/meminfo: memFree=1659988/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=232088 CPUtime=12.69
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 53467 0 0 0 1230 39 0 0 25 0 1 0 183556875 237658112 48650 1992294400 4194304 9342243 548682068736 18446744073709551615 6962291 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 58022 48651 606 1256 0 56761 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 232088
[startup+25.5012 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32622
/proc/meminfo: memFree=1640468/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=244344 CPUtime=25.49
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 60769 0 0 0 2506 43 0 0 25 0 1 0 183556875 250208256 52519 1992294400 4194304 9342243 548682068736 18446744073709551615 6939152 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 61086 52519 633 1256 0 59825 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 244344
[startup+51.1016 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32622
/proc/meminfo: memFree=1628564/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=244344 CPUtime=51.06
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 63807 0 0 0 5060 46 0 0 25 0 1 0 183556875 250208256 55557 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 61086 55557 634 1256 0 59825 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 244344
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32622
/proc/meminfo: memFree=1627284/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=247412 CPUtime=102.25
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 65093 0 0 0 10162 63 0 0 25 0 1 0 183556875 253349888 55846 1992294400 4194304 9342243 548682068736 18446744073709551615 5575805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 61853 55846 666 1256 0 60592 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 247412
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32622
/proc/meminfo: memFree=1621716/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=260264 CPUtime=162.22
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 66561 0 0 0 16156 66 0 0 25 0 1 0 183556875 266510336 57216 1992294400 4194304 9342243 548682068736 18446744073709551615 5575813 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 65066 57216 667 1256 0 63805 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 260264
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32622
/proc/meminfo: memFree=1616532/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=260104 CPUtime=222.2
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 68559 0 0 0 22149 71 0 0 25 0 1 0 183556875 266346496 58501 1992294400 4194304 9342243 548682068736 18446744073709551615 6939148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 65026 58501 670 1256 0 63765 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 260104
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32622
/proc/meminfo: memFree=1609940/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=269316 CPUtime=282.19
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 70792 0 0 0 28144 75 0 0 25 0 1 0 183556875 275779584 60130 1992294400 4194304 9342243 548682068736 18446744073709551615 5868814 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 67329 60130 670 1256 0 66068 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 269316
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32622
/proc/meminfo: memFree=1607956/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=266480 CPUtime=342.17
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 73106 0 0 0 34136 81 0 0 25 0 1 0 183556875 272875520 60624 1992294400 4194304 9342243 548682068736 18446744073709551615 5868814 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 66620 60624 670 1256 0 65359 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 266480
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32622
/proc/meminfo: memFree=1607636/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=266756 CPUtime=402.15
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 73168 0 0 0 40131 84 0 0 25 0 1 0 183556875 273158144 60686 1992294400 4194304 9342243 548682068736 18446744073709551615 6962165 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 66689 60686 670 1256 0 65428 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 266756
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32622
/proc/meminfo: memFree=1605396/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=267028 CPUtime=462.12
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 73706 0 0 0 46124 88 0 0 25 0 1 0 183556875 273436672 61224 1992294400 4194304 9342243 548682068736 18446744073709551615 4253560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 66757 61224 670 1256 0 65496 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 267028
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32622
/proc/meminfo: memFree=1602836/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=273540 CPUtime=522.1
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 74499 0 0 0 52118 92 0 0 25 0 1 0 183556875 280104960 62017 1992294400 4194304 9342243 548682068736 18446744073709551615 5874794 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 68385 62017 670 1256 0 67124 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 273540
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32622
/proc/meminfo: memFree=1606548/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=273864 CPUtime=582.09
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 80966 0 0 0 58109 100 0 0 25 0 1 0 183556875 280436736 61043 1992294400 4194304 9342243 548682068736 18446744073709551615 5869938 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 68466 61043 670 1256 0 67205 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 273864
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32622
/proc/meminfo: memFree=1599892/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=273744 CPUtime=642.07
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 86960 0 0 0 64101 106 0 0 25 0 1 0 183556875 280313856 62580 1992294400 4194304 9342243 548682068736 18446744073709551615 6962206 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 68436 62580 670 1256 0 67175 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 273744
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1592532/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=280352 CPUtime=1061.93
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 101829 0 0 0 106053 140 0 0 25 0 1 0 183556875 287080448 64442 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 70088 64442 670 1256 0 68827 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 280352
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32624
/proc/meminfo: memFree=1598228/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=273612 CPUtime=1121.91
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 105227 0 0 0 112046 145 0 0 25 0 1 0 183556875 280178688 62910 1992294400 4194304 9342243 548682068736 18446744073709551615 5869928 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 68403 62910 670 1256 0 67142 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 273612
[startup+1182.3 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 32624
/proc/meminfo: memFree=1597332/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=273612 CPUtime=1181.9
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 105451 0 0 0 118042 148 0 0 25 0 1 0 183556875 280178688 63134 1992294400 4194304 9342243 548682068736 18446744073709551615 5874628 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 68403 63134 670 1256 0 67142 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 273612
[startup+1242.3 s]
/proc/loadavg: 1.11 1.03 1.00 2/65 32624
/proc/meminfo: memFree=1594708/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=273612 CPUtime=1241.88
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 106099 0 0 0 124037 151 0 0 25 0 1 0 183556875 280178688 63782 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 68403 63782 670 1256 0 67142 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 273612
[startup+1302.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/65 32630
/proc/meminfo: memFree=1605140/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=268088 CPUtime=1301.85
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 108786 0 0 0 130030 155 0 0 25 0 1 0 183556875 274522112 61154 1992294400 4194304 9342243 548682068736 18446744073709551615 6960258 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 67022 61154 670 1256 0 65761 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 268088
[startup+1362.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 32630
/proc/meminfo: memFree=1602644/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=268576 CPUtime=1361.82
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 109408 0 0 0 136026 156 0 0 25 0 1 0 183556875 275021824 61776 1992294400 4194304 9342243 548682068736 18446744073709551615 6970131 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 67144 61776 670 1256 0 65883 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 268576
[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 32630
/proc/meminfo: memFree=1593684/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=282108 CPUtime=1421.81
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 111683 0 0 0 142021 160 0 0 25 0 1 0 183556875 288878592 64051 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 70527 64051 670 1256 0 69266 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 282108
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32630
/proc/meminfo: memFree=1590228/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=282108 CPUtime=1481.79
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 112497 0 0 0 148015 164 0 0 25 0 1 0 183556875 288878592 64865 1992294400 4194304 9342243 548682068736 18446744073709551615 6964580 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 70527 64865 670 1256 0 69266 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 282108
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32630
/proc/meminfo: memFree=1601748/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=270136 CPUtime=1541.77
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 113937 0 0 0 154010 167 0 0 25 0 1 0 183556875 276619264 61986 1992294400 4194304 9342243 548682068736 18446744073709551615 6963984 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 67534 61986 670 1256 0 66273 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 270136
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32630
/proc/meminfo: memFree=1601300/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=270136 CPUtime=1601.75
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 114036 0 0 0 160007 168 0 0 25 0 1 0 183556875 276619264 62085 1992294400 4194304 9342243 548682068736 18446744073709551615 6965706 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 67534 62085 670 1256 0 66273 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 270136
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32630
/proc/meminfo: memFree=1601172/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=270136 CPUtime=1661.73
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 114054 0 0 0 166002 171 0 0 25 0 1 0 183556875 276619264 62103 1992294400 4194304 9342243 548682068736 18446744073709551615 5868814 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 67534 62103 670 1256 0 66273 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 270136
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32630
/proc/meminfo: memFree=1598804/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=273736 CPUtime=1721.71
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 114641 0 0 0 171996 175 0 0 25 0 1 0 183556875 280305664 62690 1992294400 4194304 9342243 548682068736 18446744073709551615 6964325 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 68434 62690 670 1256 0 67173 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 273736
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32630
/proc/meminfo: memFree=1600852/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=273720 CPUtime=1781.69
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 116845 0 0 0 177990 179 0 0 25 0 1 0 183556875 280289280 62156 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 68430 62156 670 1256 0 67169 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 273720
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32630
/proc/meminfo: memFree=1599700/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=273720 CPUtime=1784.89
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 117142 0 0 0 178309 180 0 0 25 0 1 0 183556875 280289280 62453 1992294400 4194304 9342243 548682068736 18446744073709551615 6960748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 68430 62453 670 1256 0 67169 0
Current children cumulated CPU time (s) 1784.89
Current children cumulated vsize (KiB) 273720
[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32630
/proc/meminfo: memFree=1599636/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=273720 CPUtime=1788.09
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 117151 0 0 0 178629 180 0 0 25 0 1 0 183556875 280289280 62462 1992294400 4194304 9342243 548682068736 18446744073709551615 6040766 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 68430 62462 670 1256 0 67169 0
Current children cumulated CPU time (s) 1788.09
Current children cumulated vsize (KiB) 273720
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32630
/proc/meminfo: memFree=1599636/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=273720 CPUtime=1791.29
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 117160 0 0 0 178949 180 0 0 25 0 1 0 183556875 280289280 62471 1992294400 4194304 9342243 548682068736 18446744073709551615 5874735 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 68430 62471 670 1256 0 67169 0
Current children cumulated CPU time (s) 1791.29
Current children cumulated vsize (KiB) 273720
[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32630
/proc/meminfo: memFree=1599636/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=273720 CPUtime=1792.89
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 117160 0 0 0 179109 180 0 0 25 0 1 0 183556875 280289280 62471 1992294400 4194304 9342243 548682068736 18446744073709551615 5869983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 68430 62471 670 1256 0 67169 0
Current children cumulated CPU time (s) 1792.89
Current children cumulated vsize (KiB) 273720
[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32630
/proc/meminfo: memFree=1599636/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=273720 CPUtime=1793.69
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 117160 0 0 0 179189 180 0 0 25 0 1 0 183556875 280289280 62471 1992294400 4194304 9342243 548682068736 18446744073709551615 6959764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32621/statm: 68430 62471 670 1256 0 67169 0
Current children cumulated CPU time (s) 1793.69
Current children cumulated vsize (KiB) 273720
[startup+1794.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32630
/proc/meminfo: memFree=1599636/2055920 swapFree=4181368/4192956
[pid=32621] ppid=32619 vsize=103272 CPUtime=1794.09
/proc/32621/stat : 32621 (pbscip.linux.x8) R 32619 32621 32547 0 -1 4194304 117166 0 0 0 179226 183 0 0 25 0 1 0 183556875 105750528 24820 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/32621/statm: 25818 24820 9784 1256 0 24557 0
Current children cumulated CPU time (s) 1794.09
Current children cumulated vsize (KiB) 103272
Child status: 0
Real time (s): 1794.71
CPU time (s): 1794.11
CPU user time (s): 1792.26
CPU system time (s): 1.84672
CPU usage (%): 99.9664
Max. virtual memory (cumulated for all children) (KiB): 282108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.26
system time used= 1.84672
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117171
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2176
runsolver used 1.52177 second user time and 3.81542 second system time
The end