0.00/0.07 c SCIP version 1.1.0.7
0.00/0.07 c LP-Solver Clp 1.8.2
0.00/0.07 c user parameter file <scip.set> not found - using default parameters
0.00/0.07 c read problem <HOME/instance-1868929-1245150452.opb>
0.00/0.07 c original problem has 1152 variables (1152 bin, 0 int, 0 impl, 0 cont) and 4664 constraints
0.00/0.09 c start presolving problem
0.00/0.09 c presolving:
0.00/0.12 c (round 1) 12 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29688 impls, 0 clqs
0.00/0.16 c (round 2) 12 del vars, 24 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4160 upgd conss, 29688 impls, 0 clqs
0.17/0.18 c (round 3) 12 del vars, 24 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4640 upgd conss, 29688 impls, 0 clqs
0.19/0.25 c (0.1s) probing: 101/1140 (8.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.25 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.25 c presolving (4 rounds):
0.19/0.25 c 12 deleted vars, 24 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.25 c 29688 implications, 0 cliques
0.19/0.25 c presolved problem has 1140 variables (1140 bin, 0 int, 0 impl, 0 cont) and 4640 constraints
0.19/0.25 c 4640 constraints of type <logicor>
0.19/0.25 c transformed objective value is always integral (scale: 1)
0.19/0.25 c Presolving Time: 0.13
0.19/0.25 c strange?!, PURESAT with obj
0.19/0.25 c -----------------------------------------------------------------------------------------------
0.19/0.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/memory = c 1620
0.19/0.25 c # maximal time in seconds to run
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/time = c 1791
0.19/0.25 c # frequency for displaying node information lines
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.25 c display/freq = c 10000
0.19/0.25 c -----------------------------------------------------------------------------------------------
0.19/0.25 c start solving problem
0.19/0.25 c
0.30/0.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.30/0.39 c 0.3s| 1 | 0 | 1034 |8936k| 0 | 820 |1140 |4640 |4640 |1140 |4640 | 0 | 0 | 0 | 2.345000e+02 | -- | Inf
1.99/2.04 o 572
1.99/2.04 c F 1.9s| 1 | 0 | 5308 |9036k| 0 | 0 |1140 |4640 |4640 |1140 |4640 | 0 | 0 | 0 | 2.345000e+02 | 5.720000e+02 | 143.92%
2.19/2.28 c 2.1s| 1 | 0 | 5398 |9022k| 0 | 817 |1140 |4640 |4640 |1140 |4647 | 7 | 0 | 0 | 2.395000e+02 | 5.720000e+02 | 138.83%
2.39/2.48 c 2.3s| 1 | 0 | 5475 |9066k| 0 | 814 |1140 |4640 |4640 |1140 |4655 | 15 | 0 | 0 | 2.426250e+02 | 5.720000e+02 | 135.75%
2.69/2.72 c 2.6s| 1 | 0 | 5597 |9140k| 0 | 813 |1140 |4640 |4640 |1140 |4664 | 24 | 0 | 0 | 2.466625e+02 | 5.720000e+02 | 131.90%
2.88/2.98 c 2.8s| 1 | 0 | 5832 |9173k| 0 | 810 |1140 |4640 |4640 |1140 |4673 | 33 | 0 | 0 | 2.516208e+02 | 5.720000e+02 | 127.33%
3.19/3.21 c 3.1s| 1 | 0 | 5975 |9208k| 0 | 808 |1140 |4640 |4640 |1140 |4683 | 43 | 0 | 0 | 2.548708e+02 | 5.720000e+02 | 124.43%
3.39/3.48 c 3.3s| 1 | 0 | 6182 |9294k| 0 | 805 |1140 |4640 |4640 |1140 |4696 | 56 | 0 | 0 | 2.573873e+02 | 5.720000e+02 | 122.23%
3.69/3.75 c 3.6s| 1 | 0 | 6414 |9376k| 0 | 805 |1140 |4640 |4640 |1140 |4709 | 69 | 0 | 0 | 2.597505e+02 | 5.720000e+02 | 120.21%
3.99/4.01 c 3.8s| 1 | 0 | 6639 |9458k| 0 | 802 |1140 |4640 |4640 |1140 |4726 | 86 | 0 | 0 | 2.623537e+02 | 5.720000e+02 | 118.03%
4.19/4.29 c 4.1s| 1 | 0 | 6937 |9537k| 0 | 803 |1140 |4640 |4640 |1140 |4739 | 99 | 0 | 0 | 2.652039e+02 | 5.720000e+02 | 115.68%
4.48/4.60 c 4.4s| 1 | 0 | 7257 |9655k| 0 | 802 |1140 |4640 |4640 |1140 |4752 | 112 | 0 | 0 | 2.674118e+02 | 5.720000e+02 | 113.90%
4.77/4.84 c 4.7s| 1 | 0 | 7587 |9819k| 0 | 802 |1140 |4640 |4640 |1140 |4767 | 127 | 0 | 0 | 2.692740e+02 | 5.720000e+02 | 112.42%
4.97/5.08 c 4.9s| 1 | 0 | 7940 |9993k| 0 | 811 |1140 |4640 |4640 |1140 |4779 | 139 | 0 | 0 | 2.708809e+02 | 5.720000e+02 | 111.16%
5.27/5.38 c 5.2s| 1 | 0 | 8354 | 10M| 0 | 806 |1140 |4640 |4640 |1140 |4789 | 149 | 0 | 0 | 2.722883e+02 | 5.720000e+02 | 110.07%
5.59/5.67 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.59/5.67 c 5.5s| 1 | 0 | 8774 | 10M| 0 | 814 |1140 |4640 |4640 |1140 |4803 | 163 | 0 | 0 | 2.739594e+02 | 5.720000e+02 | 108.79%
5.97/6.06 c 5.8s| 1 | 0 | 9286 | 10M| 0 | 808 |1140 |4640 |4640 |1140 |4806 | 176 | 0 | 0 | 2.750872e+02 | 5.720000e+02 | 107.93%
6.38/6.43 c 6.2s| 1 | 0 | 9866 | 10M| 0 | 818 |1140 |4640 |4640 |1140 |4819 | 189 | 0 | 0 | 2.761158e+02 | 5.720000e+02 | 107.16%
6.67/6.77 c 6.5s| 1 | 0 | 10292 | 11M| 0 | 814 |1140 |4640 |4640 |1140 |4835 | 205 | 0 | 0 | 2.774812e+02 | 5.720000e+02 | 106.14%
7.18/7.26 c 7.0s| 1 | 0 | 10652 | 11M| 0 | 813 |1140 |4640 |4640 |1140 |4846 | 216 | 0 | 0 | 2.779156e+02 | 5.720000e+02 | 105.82%
7.97/8.08 c 7.8s| 1 | 0 | 10946 | 11M| 0 | 810 |1140 |4640 |4640 |1140 |4855 | 225 | 0 | 0 | 2.782829e+02 | 5.720000e+02 | 105.55%
8.68/8.73 c 8.5s| 1 | 0 | 11286 | 11M| 0 | 802 |1140 |4640 |4640 |1140 |4865 | 235 | 0 | 0 | 2.787236e+02 | 5.720000e+02 | 105.22%
9.17/9.22 c 9.0s| 1 | 0 | 11543 | 11M| 0 | 810 |1140 |4640 |4640 |1140 |4838 | 246 | 0 | 0 | 2.791369e+02 | 5.720000e+02 | 104.92%
9.77/9.82 c 9.6s| 1 | 0 | 11827 | 12M| 0 | 811 |1140 |4640 |4640 |1140 |4843 | 251 | 0 | 0 | 2.794172e+02 | 5.720000e+02 | 104.71%
10.27/10.34 c 10.1s| 1 | 0 | 11932 | 12M| 0 | 813 |1140 |4640 |4640 |1140 |4846 | 254 | 0 | 0 | 2.794983e+02 | 5.720000e+02 | 104.65%
10.77/10.86 c 10.6s| 1 | 0 | 12010 | 12M| 0 | 813 |1140 |4640 |4640 |1140 |4851 | 259 | 0 | 0 | 2.795735e+02 | 5.720000e+02 | 104.60%
11.37/11.40 c 11.1s| 1 | 0 | 12145 | 12M| 0 | 813 |1140 |4640 |4640 |1140 |4854 | 262 | 0 | 0 | 2.796493e+02 | 5.720000e+02 | 104.54%
11.87/11.93 c 11.7s| 1 | 0 | 12191 | 12M| 0 | 817 |1140 |4640 |4640 |1140 |4856 | 264 | 0 | 0 | 2.796654e+02 | 5.720000e+02 | 104.53%
12.47/12.55 c 12.3s| 1 | 0 | 12368 | 12M| 0 | 811 |1140 |4640 |4640 |1140 |4819 | 266 | 0 | 0 | 2.797456e+02 | 5.720000e+02 | 104.47%
12.97/13.06 c 12.8s| 1 | 0 | 12417 | 12M| 0 | 814 |1140 |4640 |4640 |1140 |4821 | 268 | 0 | 0 | 2.797836e+02 | 5.720000e+02 | 104.44%
13.47/13.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.47/13.58 c 13.3s| 1 | 0 | 12430 | 12M| 0 | 811 |1140 |4640 |4640 |1140 |4822 | 269 | 0 | 0 | 2.797858e+02 | 5.720000e+02 | 104.44%
13.96/14.09 c 13.8s| 1 | 0 | 12519 | 12M| 0 | 812 |1140 |4640 |4640 |1140 |4823 | 270 | 0 | 0 | 2.798698e+02 | 5.720000e+02 | 104.38%
14.56/14.63 c 14.3s| 1 | 0 | 12584 | 12M| 0 | 809 |1140 |4640 |4640 |1140 |4825 | 272 | 0 | 0 | 2.799880e+02 | 5.720000e+02 | 104.29%
15.06/15.15 c 14.9s| 1 | 0 | 12601 | 12M| 0 | 809 |1140 |4640 |4640 |1140 |4827 | 274 | 0 | 0 | 2.799903e+02 | 5.720000e+02 | 104.29%
15.65/15.72 c 15.4s| 1 | 0 | 12603 | 12M| 0 | 809 |1140 |4640 |4640 |1140 |4795 | 275 | 0 | 0 | 2.799905e+02 | 5.720000e+02 | 104.29%
16.15/16.21 o 430
16.15/16.21 c k15.9s| 1 | 0 | 12603 | 12M| 0 | 809 |1140 |4640 |4640 |1140 |4795 | 275 | 0 | 0 | 2.799905e+02 | 4.300000e+02 | 53.58%
16.15/16.22 c 15.9s| 1 | 0 | 12603 | 12M| 0 | 809 |1140 |4640 |4640 |1140 |4795 | 275 | 0 | 0 | 2.799905e+02 | 4.300000e+02 | 53.58%
17.73/17.88 c 17.6s| 1 | 2 | 12603 | 12M| 0 | 809 |1140 |4640 |4640 |1140 |4795 | 275 | 0 | 17 | 2.799905e+02 | 4.300000e+02 | 53.58%
24.86/25.03 o 392
24.86/25.03 c c24.6s| 3 | 4 | 14846 | 12M| 1 | - |1140 |4642 |3868 |1140 |4775 | 275 | 2 | 168 | 2.804662e+02 | 3.920000e+02 | 39.77%
24.86/25.04 o 389
24.86/25.04 c k24.6s| 3 | 4 | 14846 | 12M| 1 | 746 |1140 |4642 |4404 |1140 |4775 | 275 | 2 | 168 | 2.804662e+02 | 3.890000e+02 | 38.70%
178.83/179.29 o 388
178.83/179.29 c * 178s| 1817 | 208 |296470 | 13M| 41 | - |1140 |4759 |3569 |1140 |4775 | 275 | 187 |1400 | 2.941467e+02 | 3.880000e+02 | 31.91%
178.93/179.31 o 387
178.93/179.31 c * 178s| 1818 | 204 |296476 | 13M| 41 | - |1140 |4759 |3532 |1140 |4775 | 275 | 187 |1400 | 2.941467e+02 | 3.870000e+02 | 31.57%
208.62/209.01 o 385
208.62/209.01 c * 207s| 2244 | 232 |360618 | 13M| 41 | - |1140 |4734 |3557 |1140 |4775 | 275 | 192 |1594 | 2.988644e+02 | 3.850000e+02 | 28.82%
208.62/209.05 o 384
208.62/209.05 c * 207s| 2247 | 229 |360661 | 13M| 41 | - |1140 |4734 |3342 |1140 |4775 | 275 | 192 |1594 | 2.988644e+02 | 3.840000e+02 | 28.49%
208.62/209.07 o 383
208.62/209.07 c * 207s| 2248 | 219 |360667 | 13M| 41 | - |1140 |4734 |3321 |1140 |4775 | 275 | 192 |1594 | 2.988644e+02 | 3.830000e+02 | 28.15%
309.79/310.23 o 381
309.79/310.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
309.79/310.23 c * 308s| 3613 | 291 |580088 | 13M| 41 | - |1140 |4707 |3155 |1140 |4775 | 275 | 212 |2283 | 3.037971e+02 | 3.810000e+02 | 25.41%
310.38/310.83 o 379
310.38/310.83 c * 309s| 3630 | 279 |582041 | 13M| 41 | - |1140 |4707 |3238 |1140 |4775 | 275 | 212 |2283 | 3.037971e+02 | 3.790000e+02 | 24.75%
679.58/681.32 c 675s| 10000 | 473 | 1509k| 14M| 44 | - |1140 |4684 |3875 |1140 |4775 | 275 | 231 |4512 | 3.198705e+02 | 3.790000e+02 | 18.49%
1184.08/1187.57 c 1174s| 20000 | 169 | 2825k| 13M| 44 | - |1140 |4679 |3903 |1140 |4775 | 275 | 237 |6732 | 3.354545e+02 | 3.790000e+02 | 12.98%
1364.61/1369.13 c
1364.61/1369.13 c SCIP Status : problem is solved [optimal solution found]
1364.61/1369.13 c Solving Time (sec) : 1352.78
1364.61/1369.13 c Solving Nodes : 23605
1364.61/1369.13 c Primal Bound : +3.79000000000000e+02 (31 solutions)
1364.61/1369.13 c Dual Bound : +3.79000000000000e+02
1364.61/1369.13 c Gap : 0.00 %
1364.61/1369.14 c NODE 23605
1364.61/1369.14 c DUAL BOUND 379
1364.61/1369.14 c PRIMAL BOUND 379
1364.61/1369.14 c GAP 0
1364.61/1369.14 s OPTIMUM FOUND
1364.61/1369.14 v -x1152 x1151 x1150 -x1149 x1148 -x1147 x1146 -x1145 x1144 -x1143 x1142 -x1141 x1140 -x1139 -x1138 -x1137 -x1136 -x1135 x1134 -x1133
1364.61/1369.14 v -x1132 -x1131 -x1130 x1129 -x1128 x1127 x1126 -x1125 x1124 -x1123 -x1122 -x1121 x1120 -x1119 x1118 -x1117 x1116 -x1115 -x1114
1364.61/1369.14 v -x1113 -x1112 -x1111 x1110 -x1109 -x1108 x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 x1098 -x1097 -x1096
1364.61/1369.14 v -x1095 -x1094 x1093 -x1092 x1091 x1090 -x1089 x1088 -x1087 x1086 -x1085 x1084 -x1083 x1082 -x1081 -x1080 x1079 x1078 -x1077
1364.61/1369.14 v x1076 -x1075 x1074 -x1073 x1072 -x1071 x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 x1062 -x1061 -x1060 -x1059 -x1058
1364.61/1369.14 v x1057 x1056 -x1055 -x1054 -x1053 -x1052 -x1051 x1050 -x1049 -x1048 x1047 -x1046 -x1045 x1044 -x1043 -x1042 -x1041 -x1040
1364.61/1369.14 v -x1039 x1038 -x1037 -x1036 -x1035 -x1034 x1033 x1032 -x1031 -x1030 -x1029 -x1028 x1027 x1026 -x1025 -x1024 -x1023 -x1022 -x1021
1364.61/1369.14 v x1020 -x1019 -x1018 -x1017 -x1016 -x1015 x1014 -x1013 -x1012 -x1011 -x1010 x1009 -x1008 x1007 x1006 -x1005 x1004 -x1003 x1002
1364.61/1369.14 v -x1001 x1000 -x999 x998 -x997 -x996 x995 -x994 -x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 x983 x982 -x981
1364.61/1369.14 v x980 -x979 x978 -x977 x976 -x975 x974 -x973 -x972 x971 x970 -x969 x968 -x967 x966 -x965 x964 -x963 x962 -x961 -x960 x959 -x958
1364.61/1369.14 v -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 x942 -x941 -x940 -x939 -x938 x937
1364.61/1369.14 v -x936 -x935 -x934 -x933 -x932 -x931 x930 -x929 -x928 -x927 -x926 x925 -x924 x923 -x922 -x921 -x920 -x919 x918 -x917 -x916 -x915
1364.61/1369.14 v -x914 -x913 -x912 x911 x910 -x909 x908 -x907 x906 -x905 x904 -x903 x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 x894 -x893
1364.61/1369.14 v -x892 -x891 -x890 x889 x888 -x887 -x886 x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 x876 -x875 -x874 -x873 -x872
1364.61/1369.14 v -x871 -x870 -x869 -x868 -x867 -x866 x865 x864 -x863 -x862 x861 -x860 -x859 x858 -x857 -x856 -x855 -x854 -x853 -x852 x851 x850
1364.61/1369.14 v -x849 x848 -x847 x846 -x845 x844 -x843 x842 -x841 -x840 x839 x838 -x837 x836 -x835 x834 -x833 x832 -x831 x830 -x829 -x828
1364.61/1369.14 v x827 x826 -x825 x824 -x823 -x822 -x821 x820 -x819 x818 -x817 -x816 x815 x814 -x813 x812 -x811 x810 -x809 x808 -x807 x806 -x805
1364.61/1369.14 v -x804 x803 x802 -x801 x800 -x799 x798 -x797 x796 -x795 x794 -x793 -x792 x791 -x790 -x789 -x788 -x787 x786 -x785 -x784 -x783
1364.61/1369.14 v -x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 x774 -x773 -x772 -x771 -x770 x769 x768 -x767 -x766 -x765 -x764 -x763 x762 -x761
1364.61/1369.14 v -x760 x759 -x758 -x757 x756 -x755 x754 -x753 x752 -x751 -x750 x749 x748 -x747 x746 -x745 x744 -x743 -x742 -x741 -x740 -x739
1364.61/1369.14 v x738 -x737 -x736 -x735 -x734 x733 -x732 x731 x730 -x729 x728 -x727 x726 -x725 x724 -x723 x722 -x721 -x720 x719 x718 -x717 x716
1364.61/1369.14 v -x715 x714 -x713 x712 -x711 x710 -x709 -x708 x707 x706 -x705 x704 -x703 x702 -x701 x700 -x699 x698 -x697 -x696 x695 x694
1364.61/1369.14 v -x693 x692 -x691 x690 -x689 x688 -x687 x686 -x685 x684 -x683 -x682 -x681 -x680 -x679 x678 -x677 -x676 -x675 -x674 x673 -x672
1364.61/1369.14 v x671 -x670 -x669 -x668 -x667 x666 -x665 -x664 -x663 -x662 -x661 -x660 x659 x658 -x657 x656 -x655 x654 -x653 x652 -x651 x650 -x649
1364.61/1369.14 v x648 -x647 -x646 -x645 -x644 -x643 x642 -x641 -x640 -x639 -x638 x637 x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 -x628
1364.61/1369.14 v -x627 -x626 x625 -x624 x623 x622 -x621 x620 -x619 x618 -x617 x616 -x615 x614 -x613 x612 -x611 -x610 -x609 -x608 -x607 x606 -x605
1364.61/1369.14 v -x604 x603 -x602 -x601 x600 -x599 -x598 -x597 -x596 -x595 x594 -x593 -x592 -x591 -x590 x589 -x588 x587 x586 -x585 x584 -x583
1364.61/1369.14 v x582 -x581 x580 -x579 x578 -x577 x576 -x575 -x574 -x573 -x572 -x571 x570 -x569 -x568 -x567 -x566 x565 x564 -x563 -x562 x561
1364.61/1369.14 v -x560 -x559 x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 x550 -x549 x548 -x547 -x546 x545 x544 -x543 x542 -x541 -x540 x539
1364.61/1369.14 v -x538 -x537 -x536 -x535 x534 -x533 -x532 -x531 -x530 -x529 x528 -x527 -x526 -x525 -x524 x523 x522 -x521 -x520 -x519 -x518
1364.61/1369.14 v -x517 x516 -x515 -x514 -x513 -x512 -x511 x510 -x509 -x508 -x507 -x506 x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496
1364.61/1369.14 v x495 -x494 -x493 x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 x481 -x480 -x479 -x478 -x477 -x476 -x475
1364.61/1369.14 v -x474 -x473 -x472 -x471 -x470 x469 x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 x457 -x456 x455 -x454 -x453
1364.61/1369.14 v -x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 x442 -x441 x440 -x439 x438 -x437 x436 -x435 x434 -x433 -x432 -x431
1364.61/1369.14 v -x430 -x429 -x428 -x427 x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 x415 -x414 -x413 -x412 -x411 -x410
1364.61/1369.14 v -x409 x408 -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 x397 -x396 x395 -x394 -x393 -x392 -x391 x390 -x389 -x388
1364.61/1369.14 v -x387 -x386 -x385 -x384 x383 x382 -x381 x380 -x379 x378 -x377 x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 x367 x366
1364.61/1369.14 v -x365 -x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 -x351 -x350 -x349 -x348 x347 -x346 -x345
1364.61/1369.14 v -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 x334 -x333 x332 -x331 x330 -x329 x328 -x327 x326 -x325 -x324 -x323
1364.61/1369.14 v -x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302
1364.61/1369.14 v x301 x300 -x299 -x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 x289 -x288 x287 -x286 -x285 -x284 -x283 x282 -x281 -x280
1364.61/1369.14 v -x279 -x278 -x277 x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259
1364.61/1369.14 v x258 -x257 -x256 -x255 -x254 x253 x252 -x251 -x250 -x249 -x248 -x247 x246 -x245 -x244 x243 -x242 -x241 -x240 x239 -x238 -x237
1364.61/1369.14 v -x236 -x235 x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 x217 x216 -x215
1364.61/1369.14 v -x214 -x213 -x212 x211 x210 -x209 -x208 -x207 -x206 -x205 -x204 x203 x202 -x201 x200 -x199 x198 -x197 x196 -x195 x194 -x193
1364.61/1369.14 v -x192 x191 x190 -x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171 -x170
1364.61/1369.14 v x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148
1364.61/1369.14 v x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 x135 x134 -x133 -x132 x131 -x130 x129 -x128 x127 -x126 x125
1364.61/1369.14 v -x124 x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105 -x104 x103 x102
1364.61/1369.14 v -x101 -x100 x99 -x98 x97 -x96 x95 -x94 x93 x92 -x91 -x90 x89 -x88 x87 x86 -x85 x84 -x83 -x82 x81 -x80 x79 -x78 x77 -x76 x75
1364.61/1369.14 v x74 -x73 -x72 x71 -x70 x69 -x68 x67 -x66 x65 -x64 x63 -x62 x61 -x60 x59 -x58 x57 -x56 x55 -x54 x53 -x52 x51 -x50 x49 -x48 x47
1364.61/1369.14 v -x46 x45 -x44 x43 -x42 x41 -x40 x39 x38 -x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 -x28 x27 -x26 x25 -x24 x23 -x22 x21 -x20
1364.61/1369.14 v x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11 -x10 x9 -x8 x7 x6 -x5 -x4 x3 -x2 x1
1364.61/1369.14 c SCIP Status : problem is solved [optimal solution found]
1364.61/1369.14 c Solving Time : 1352.78
1364.61/1369.14 c Original Problem :
1364.61/1369.14 c Problem name : HOME/instance-1868929-1245150452.opb
1364.61/1369.14 c Variables : 1152 (1152 binary, 0 integer, 0 implicit integer, 0 continuous)
1364.61/1369.14 c Constraints : 4664 initial, 4664 maximal
1364.61/1369.14 c Presolved Problem :
1364.61/1369.14 c Problem name : t_HOME/instance-1868929-1245150452.opb
1364.61/1369.14 c Variables : 1140 (1140 binary, 0 integer, 0 implicit integer, 0 continuous)
1364.61/1369.14 c Constraints : 4640 initial, 4775 maximal
1364.61/1369.14 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1364.61/1369.14 c trivial : 0.00 0 0 0 0 0 0 0 0
1364.61/1369.14 c dualfix : 0.00 12 0 0 0 0 0 0 0
1364.61/1369.14 c boundshift : 0.00 0 0 0 0 0 0 0 0
1364.61/1369.14 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1364.61/1369.14 c implics : 0.00 0 0 0 0 0 0 0 0
1364.61/1369.14 c probing : 0.05 0 0 0 0 0 0 0 0
1364.61/1369.14 c linear : 0.05 0 0 0 0 0 24 0 0
1364.61/1369.14 c logicor : 0.03 0 0 0 0 0 0 0 0
1364.61/1369.14 c root node : - 2 - - 2 - - - -
1364.61/1369.14 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1364.61/1369.14 c integral : 0 0 0 12331 0 58 1377 0 0 23678
1364.61/1369.14 c logicor : 4640+ 34 91394 7 0 125 1165973 0 0 0
1364.61/1369.14 c countsols : 0 0 0 7 0 0 0 0 0 0
1364.61/1369.14 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1364.61/1369.14 c integral : 290.16 0.00 0.00 290.16 0.00
1364.61/1369.14 c logicor : 6.62 0.05 6.57 0.00 0.00
1364.61/1369.14 c countsols : 0.00 0.00 0.00 0.00 0.00
1364.61/1369.14 c Propagators : Time Calls Cutoffs DomReds
1364.61/1369.14 c rootredcost : 0.06 8 0 0
1364.61/1369.14 c pseudoobj : 5.04 98770 2 0
1364.61/1369.14 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1364.61/1369.14 c propagation : 0.00 125 125 229 8.7 15 4.7 -
1364.61/1369.14 c infeasible LP : 4.03 11990 0 0 0.0 0 0.0 0
1364.61/1369.14 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1364.61/1369.14 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1364.61/1369.14 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1364.61/1369.14 c applied globally : - - - 238 8.3 - - -
1364.61/1369.14 c applied locally : - - - 0 0.0 - - -
1364.61/1369.14 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1364.61/1369.14 c cut pool : 0.06 33 - - 475 - (maximal pool size: 1592)
1364.61/1369.14 c redcost : 0.39 13117 0 1467 0 0
1364.61/1369.14 c impliedbounds : 0.03 35 0 0 0 0
1364.61/1369.14 c intobj : 0.00 0 0 0 0 0
1364.61/1369.14 c gomory : 9.11 35 0 0 11684 0
1364.61/1369.14 c strongcg : 1.71 20 0 0 10000 0
1364.61/1369.14 c cmir : 0.39 10 0 0 0 0
1364.61/1369.14 c flowcover : 0.33 10 0 0 0 0
1364.61/1369.14 c clique : 0.02 1 0 0 0 0
1364.61/1369.14 c zerohalf : 0.00 0 0 0 0 0
1364.61/1369.14 c mcf : 0.03 1 0 0 0 0
1364.61/1369.14 c Pricers : Time Calls Vars
1364.61/1369.14 c problem variables: 0.00 0 0
1364.61/1369.14 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1364.61/1369.14 c relpscost : 290.13 12324 58 1377 0 0 23678
1364.61/1369.14 c pscost : 0.00 0 0 0 0 0 0
1364.61/1369.14 c inference : 0.00 0 0 0 0 0 0
1364.61/1369.14 c mostinf : 0.00 0 0 0 0 0 0
1364.61/1369.14 c leastinf : 0.00 0 0 0 0 0 0
1364.61/1369.14 c fullstrong : 0.00 0 0 0 0 0 0
1364.61/1369.14 c allfullstrong : 0.00 0 0 0 0 0 0
1364.61/1369.14 c random : 0.00 0 0 0 0 0 0
1364.61/1369.14 c Primal Heuristics : Time Calls Found
1364.61/1369.14 c LP solutions : 0.00 - 7
1364.61/1369.14 c pseudo solutions : 0.00 - 0
1364.61/1369.14 c oneopt : 0.02 9 2
1364.61/1369.14 c feaspump : 1.62 1 1
1364.61/1369.14 c crossover : 0.35 3 2
1364.61/1369.14 c guideddiving : 10.34 20 0
1364.61/1369.14 c pscostdiving : 5.56 21 0
1364.61/1369.14 c coefdiving : 7.81 21 1
1364.61/1369.14 c fracdiving : 11.26 21 0
1364.61/1369.14 c veclendiving : 6.64 21 0
1364.61/1369.14 c linesearchdiving : 18.78 21 0
1364.61/1369.14 c objpscostdiving : 11.12 11 6
1364.61/1369.14 c rootsoldiving : 6.30 11 1
1364.61/1369.14 c simplerounding : 0.02 0 0
1364.61/1369.14 c rounding : 2.18 1506 0
1364.61/1369.14 c shifting : 5.06 1142 11
1364.61/1369.14 c intshifting : 0.00 0 0
1364.61/1369.14 c fixandinfer : 0.00 0 0
1364.61/1369.14 c intdiving : 0.00 0 0
1364.61/1369.14 c actconsdiving : 0.00 0 0
1364.61/1369.14 c octane : 0.00 0 0
1364.61/1369.14 c rens : 0.01 0 0
1364.61/1369.14 c rins : 0.00 0 0
1364.61/1369.14 c localbranching : 0.00 0 0
1364.61/1369.14 c mutation : 0.00 0 0
1364.61/1369.14 c dins : 0.00 0 0
1364.61/1369.14 c LP : Time Calls Iterations Iter/call Iter/sec
1364.61/1369.14 c primal LP : 0.19 0 0 0.00 0.00
1364.61/1369.14 c dual LP : 914.72 24014 3087616 128.58 3375.48
1364.61/1369.14 c barrier LP : 0.00 0 0 0.00 -
1364.61/1369.14 c diving/probing LP: 75.21 2661 187901 70.61 2498.35
1364.61/1369.14 c strong branching : 286.46 7545 1050801 139.27 3668.23
1364.61/1369.14 c (at root node) : - 17 3670 215.88 -
1364.61/1369.14 c conflict analysis: 0.00 0 0 0.00 -
1364.61/1369.14 c B&B Tree :
1364.61/1369.14 c number of runs : 1
1364.61/1369.14 c nodes : 23605
1364.61/1369.14 c nodes (total) : 23605
1364.61/1369.14 c nodes left : 0
1364.61/1369.14 c max depth : 44
1364.61/1369.14 c max depth (total): 44
1364.61/1369.14 c backtracks : 3299 (14.0%)
1364.61/1369.14 c delayed cutoffs : 6
1364.61/1369.14 c repropagations : 677 (2879 domain reductions, 5 cutoffs)
1364.61/1369.14 c avg switch length: 4.17
1364.61/1369.14 c switching time : 6.52
1364.61/1369.14 c Solution :
1364.61/1369.14 c Solutions found : 31 (11 improvements)
1364.61/1369.14 c Primal Bound : +3.79000000000000e+02 (in run 1, after 3630 nodes, 308.61 seconds, depth 25, found by <relaxation>)
1364.61/1369.14 c Dual Bound : +3.79000000000000e+02
1364.61/1369.14 c Gap : 0.00 %
1364.61/1369.14 c Root Dual Bound : +2.79990542620229e+02
1364.61/1369.17 c Time complete: 1364.69.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868929-1245150452/watcher-1868929-1245150452 -o /tmp/evaluation-result-1868929-1245150452/solver-1868929-1245150452 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868929-1245150452.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.88 2.03 1.99 2/73 14890
/proc/meminfo: memFree=427544/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=16652 CPUtime=0.07
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 3521 0 0 0 6 1 0 0 19 0 1 0 182644109 17051648 3151 1992294400 4194304 9342243 548682068736 18446744073709551615 8251431 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 4163 3151 411 1256 0 2902 0
[startup+0.180717 s]
/proc/loadavg: 1.88 2.03 1.99 2/73 14890
/proc/meminfo: memFree=427544/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=25508 CPUtime=0.17
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 5486 0 0 0 13 4 0 0 20 0 1 0 182644109 26120192 5116 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 6377 5130 473 1256 0 5116 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 25508
[startup+0.201721 s]
/proc/loadavg: 1.88 2.03 1.99 2/73 14890
/proc/meminfo: memFree=427544/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=25508 CPUtime=0.19
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 5550 0 0 0 15 4 0 0 20 0 1 0 182644109 26120192 5180 1992294400 4194304 9342243 548682068736 18446744073709551615 5102706 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 6377 5180 481 1256 0 5116 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25508
[startup+0.31432 s]
/proc/loadavg: 1.88 2.03 1.99 2/73 14890
/proc/meminfo: memFree=427544/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=34696 CPUtime=0.3
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 7344 0 0 0 25 5 0 0 22 0 1 0 182644109 35528704 6955 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 8674 6955 611 1256 0 7413 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 34696
[startup+0.709848 s]
/proc/loadavg: 1.88 2.03 1.99 2/73 14890
/proc/meminfo: memFree=427544/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=35700 CPUtime=0.69
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 7763 0 0 0 64 5 0 0 25 0 1 0 182644109 36556800 7372 1992294400 4194304 9342243 548682068736 18446744073709551615 6974259 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 8925 7372 638 1256 0 7664 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35700
[startup+1.50302 s]
/proc/loadavg: 1.88 2.03 1.99 3/74 14891
/proc/meminfo: memFree=406544/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=36088 CPUtime=1.49
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 7877 0 0 0 143 6 0 0 25 0 1 0 182644109 36954112 7486 1992294400 4194304 9342243 548682068736 18446744073709551615 6952365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 9022 7486 638 1256 0 7761 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36088
[startup+3.10126 s]
/proc/loadavg: 1.88 2.03 1.99 3/74 14891
/proc/meminfo: memFree=405968/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=37532 CPUtime=3.09
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 8265 0 0 0 300 9 0 0 25 0 1 0 182644109 38432768 7874 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 9383 7874 666 1256 0 8122 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37532
[startup+6.30185 s]
/proc/loadavg: 1.97 2.05 1.99 4/74 14891
/proc/meminfo: memFree=402832/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=43376 CPUtime=6.27
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 10521 0 0 0 614 13 0 0 25 0 1 0 182644109 44417024 8646 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 10844 8646 669 1256 0 9583 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 43376
[startup+12.7011 s]
/proc/loadavg: 1.97 2.05 1.99 3/74 14891
/proc/meminfo: memFree=397264/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=47068 CPUtime=12.66
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 12127 0 0 0 1249 17 0 0 25 0 1 0 182644109 48197632 9758 1992294400 4194304 9342243 548682068736 18446744073709551615 4338498 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 11767 9758 669 1256 0 10506 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 47068
[startup+25.5016 s]
/proc/loadavg: 1.90 2.03 1.99 3/74 14891
/proc/meminfo: memFree=395792/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=50608 CPUtime=25.35
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 20941 0 0 0 2507 28 0 0 25 0 1 0 182644109 51822592 10140 1992294400 4194304 9342243 548682068736 18446744073709551615 6948982 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 12652 10140 681 1256 0 11391 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 50608
[startup+51.1035 s]
/proc/loadavg: 1.98 2.04 1.99 3/74 14891
/proc/meminfo: memFree=395728/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=49720 CPUtime=50.79
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 39599 0 0 0 5034 45 0 0 25 0 1 0 182644109 50913280 10124 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 12430 10124 684 1256 0 11169 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 49720
[startup+102.302 s]
/proc/loadavg: 2.06 2.05 2.00 4/74 14891
/proc/meminfo: memFree=395280/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=45860 CPUtime=101.96
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 62892 0 0 0 10123 73 0 0 25 0 1 0 182644109 46960640 10241 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 11465 10241 685 1256 0 10204 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 45860
[startup+162.302 s]
/proc/loadavg: 1.89 2.00 1.98 4/74 14891
/proc/meminfo: memFree=394768/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=47552 CPUtime=161.94
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 96063 0 0 0 16085 109 0 0 25 0 1 0 182644109 48693248 10376 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 11888 10376 688 1256 0 10627 0
Current children cumulated CPU time (s) 161.94
Current children cumulated vsize (KiB) 47552
[startup+222.306 s]
/proc/loadavg: 1.86 1.97 1.97 2/74 14891
/proc/meminfo: memFree=394192/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=47796 CPUtime=221.92
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 113213 0 0 0 22059 133 0 0 25 0 1 0 182644109 48943104 10459 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 11949 10459 688 1256 0 10688 0
Current children cumulated CPU time (s) 221.92
Current children cumulated vsize (KiB) 47796
[startup+282.312 s]
/proc/loadavg: 1.99 1.97 1.97 4/74 14891
/proc/meminfo: memFree=393360/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=48412 CPUtime=281.9
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 133568 0 0 0 28028 162 0 0 25 0 1 0 182644109 49573888 10720 1992294400 4194304 9342243 548682068736 18446744073709551615 6957666 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 12103 10720 688 1256 0 10842 0
Current children cumulated CPU time (s) 281.9
Current children cumulated vsize (KiB) 48412
[startup+342.303 s]
/proc/loadavg: 2.14 2.02 1.99 3/74 14891
/proc/meminfo: memFree=392656/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=49048 CPUtime=341.87
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 153425 0 0 0 33998 189 0 0 25 0 1 0 182644109 50225152 10839 1992294400 4194304 9342243 548682068736 18446744073709551615 6959764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 12262 10839 688 1256 0 11001 0
Current children cumulated CPU time (s) 341.87
Current children cumulated vsize (KiB) 49048
[startup+402.302 s]
/proc/loadavg: 2.31 2.08 2.01 3/74 14891
/proc/meminfo: memFree=392464/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=53304 CPUtime=401.84
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 170591 0 0 0 39968 216 0 0 25 0 1 0 182644109 54583296 10931 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 13326 10931 703 1256 0 12065 0
Current children cumulated CPU time (s) 401.84
Current children cumulated vsize (KiB) 53304
[startup+462.302 s]
/proc/loadavg: 1.87 1.99 1.98 3/74 14891
/proc/meminfo: memFree=391952/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=53144 CPUtime=461.82
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 186212 0 0 0 45941 241 0 0 25 0 1 0 182644109 54419456 11089 1992294400 4194304 9342243 548682068736 18446744073709551615 6039459 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 13286 11089 703 1256 0 12025 0
Current children cumulated CPU time (s) 461.82
Current children cumulated vsize (KiB) 53144
[startup+522.301 s]
/proc/loadavg: 2.20 2.06 2.00 3/74 14891
/proc/meminfo: memFree=392272/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=49692 CPUtime=521.8
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 209765 0 0 0 51911 269 0 0 25 0 1 0 182644109 50884608 10932 1992294400 4194304 9342243 548682068736 18446744073709551615 5874747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 12423 10932 703 1256 0 11162 0
Current children cumulated CPU time (s) 521.8
Current children cumulated vsize (KiB) 49692
[startup+582.302 s]
/proc/loadavg: 2.31 2.11 2.02 4/74 14891
/proc/meminfo: memFree=392464/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=50352 CPUtime=581.37
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 256361 0 0 0 57822 315 0 0 25 0 1 0 182644109 51560448 10842 1992294400 4194304 9342243 548682068736 18446744073709551615 6978187 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 12588 10842 703 1256 0 11327 0
Current children cumulated CPU time (s) 581.37
Current children cumulated vsize (KiB) 50352
[startup+642.302 s]
/proc/loadavg: 2.11 2.07 2.01 4/74 14891
/proc/meminfo: memFree=392784/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=50432 CPUtime=640.91
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 363241 0 0 0 63701 390 0 0 25 0 1 0 182644109 51642368 10838 1992294400 4194304 9342243 548682068736 18446744073709551615 6356745 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 12608 10838 703 1256 0 11347 0
Current children cumulated CPU time (s) 640.91
Current children cumulated vsize (KiB) 50432
[startup+702.303 s]
/proc/loadavg: 2.34 2.15 2.04 5/74 14891
/proc/meminfo: memFree=392656/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=51020 CPUtime=700.41
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 473129 0 0 0 69575 466 0 0 25 0 1 0 182644109 52244480 10913 1992294400 4194304 9342243 548682068736 18446744073709551615 6959621 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 12755 10913 703 1256 0 11494 0
Current children cumulated CPU time (s) 700.41
Current children cumulated vsize (KiB) 51020
[startup+762.302 s]
/proc/loadavg: 2.14 2.13 2.04 2/74 14891
/proc/meminfo: memFree=392464/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=51096 CPUtime=759.95
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 581718 0 0 0 75451 544 0 0 25 0 1 0 182644109 52322304 10900 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 0 0 0
/proc/14890/statm: 12774 10900 703 1256 0 11513 0
Current children cumulated CPU time (s) 759.95
Current children cumulated vsize (KiB) 51096
[startup+822.301 s]
/proc/loadavg: 2.40 2.21 2.07 3/74 14891
/proc/meminfo: memFree=392528/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=51016 CPUtime=819.7
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 696209 0 0 0 81349 621 0 0 25 0 1 0 182644109 52240384 10890 1992294400 4194304 9342243 548682068736 18446744073709551615 5869938 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 12754 10890 703 1256 0 11493 0
Current children cumulated CPU time (s) 819.7
Current children cumulated vsize (KiB) 51016
[startup+882.307 s]
/proc/loadavg: 2.33 2.22 2.08 4/74 14891
/proc/meminfo: memFree=392528/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=51000 CPUtime=879.65
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 821235 0 0 0 87259 706 0 0 25 0 1 0 182644109 52224000 10889 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 12750 10889 703 1256 0 11489 0
Current children cumulated CPU time (s) 879.65
Current children cumulated vsize (KiB) 51000
[startup+942.307 s]
/proc/loadavg: 2.40 2.24 2.09 3/74 14891
/proc/meminfo: memFree=392464/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=51020 CPUtime=939.63
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 945489 0 0 0 93173 790 0 0 25 0 1 0 182644109 52244480 10880 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 12755 10880 703 1256 0 11494 0
Current children cumulated CPU time (s) 939.63
Current children cumulated vsize (KiB) 51020
[startup+1002.3 s]
/proc/loadavg: 2.80 2.35 2.14 3/74 14891
/proc/meminfo: memFree=390352/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=51688 CPUtime=999.6
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 982092 0 0 0 99136 824 0 0 25 0 1 0 182644109 52928512 11391 1992294400 4194304 9342243 548682068736 18446744073709551615 6926076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 12922 11391 703 1256 0 11661 0
Current children cumulated CPU time (s) 999.6
Current children cumulated vsize (KiB) 51688
[startup+1062.3 s]
/proc/loadavg: 2.30 2.31 2.14 3/74 14891
/proc/meminfo: memFree=390352/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=51712 CPUtime=1059.27
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 996777 0 0 0 105074 853 0 0 25 0 1 0 182644109 52953088 11412 1992294400 4194304 9342243 548682068736 18446744073709551615 5868525 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 12928 11412 703 1256 0 11667 0
Current children cumulated CPU time (s) 1059.27
Current children cumulated vsize (KiB) 51712
[startup+1122.3 s]
/proc/loadavg: 2.27 2.28 2.14 2/74 14891
/proc/meminfo: memFree=390928/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=52364 CPUtime=1119.11
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 1052686 0 0 0 111008 903 0 0 25 0 1 0 182644109 53620736 11250 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 13091 11250 703 1256 0 11830 0
Current children cumulated CPU time (s) 1119.11
Current children cumulated vsize (KiB) 52364
[startup+1182.3 s]
/proc/loadavg: 2.10 2.23 2.12 4/74 14891
/proc/meminfo: memFree=391056/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=49132 CPUtime=1178.94
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 1138156 0 0 0 116921 973 0 0 25 0 1 0 182644109 50311168 11208 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 12283 11208 703 1256 0 11022 0
Current children cumulated CPU time (s) 1178.94
Current children cumulated vsize (KiB) 49132
[startup+1242.3 s]
/proc/loadavg: 1.91 2.15 2.10 2/74 14891
/proc/meminfo: memFree=391056/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=52336 CPUtime=1238.46
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 1232469 0 0 0 122809 1037 0 0 25 0 1 0 182644109 53592064 11238 1992294400 4194304 9342243 548682068736 18446744073709551615 6970149 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 13084 11238 703 1256 0 11823 0
Current children cumulated CPU time (s) 1238.46
Current children cumulated vsize (KiB) 52336
[startup+1302.31 s]
/proc/loadavg: 1.97 2.11 2.09 3/74 14891
/proc/meminfo: memFree=390672/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=50708 CPUtime=1298.26
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 1324895 0 0 0 128721 1105 0 0 25 0 1 0 182644109 51924992 11218 1992294400 4194304 9342243 548682068736 18446744073709551615 6044108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 12677 11218 703 1256 0 11416 0
Current children cumulated CPU time (s) 1298.26
Current children cumulated vsize (KiB) 50708
[startup+1362.3 s]
/proc/loadavg: 1.92 2.06 2.07 4/74 14891
/proc/meminfo: memFree=390864/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=52356 CPUtime=1357.85
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 1412543 0 0 0 134611 1174 0 0 25 0 1 0 182644109 53612544 11236 1992294400 4194304 9342243 548682068736 18446744073709551615 6262562 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 13089 11236 703 1256 0 11828 0
Current children cumulated CPU time (s) 1357.85
Current children cumulated vsize (KiB) 52356
Solver just ended. Dumping a history of the last processes samples
[startup+1363.2 s]
/proc/loadavg: 1.92 2.06 2.07 2/74 14891
/proc/meminfo: memFree=390608/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=51040 CPUtime=1358.73
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 1413437 0 0 0 134699 1174 0 0 25 0 1 0 182644109 52264960 11217 1992294400 4194304 9342243 548682068736 18446744073709551615 6889076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 12760 11217 703 1256 0 11499 0
Current children cumulated CPU time (s) 1358.73
Current children cumulated vsize (KiB) 51040
[startup+1366.4 s]
/proc/loadavg: 1.92 2.06 2.07 2/74 14891
/proc/meminfo: memFree=390672/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=56192 CPUtime=1361.91
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 1418265 0 0 0 135013 1178 0 0 25 0 1 0 182644109 57540608 11307 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 14048 11307 703 1256 0 12787 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 56192
[startup+1368 s]
/proc/loadavg: 1.92 2.06 2.07 2/74 14891
/proc/meminfo: memFree=390800/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=52364 CPUtime=1363.51
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 1420724 0 0 0 135172 1179 0 0 25 0 1 0 182644109 53620736 11244 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 13091 11244 703 1256 0 11830 0
Current children cumulated CPU time (s) 1363.51
Current children cumulated vsize (KiB) 52364
[startup+1368.8 s]
/proc/loadavg: 1.92 2.06 2.07 2/74 14891
/proc/meminfo: memFree=390928/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=56140 CPUtime=1364.3
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 1421947 0 0 0 135250 1180 0 0 25 0 1 0 182644109 57487360 11310 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 14035 11310 703 1256 0 12774 0
Current children cumulated CPU time (s) 1364.3
Current children cumulated vsize (KiB) 56140
[startup+1369 s]
/proc/loadavg: 1.92 2.06 2.07 2/74 14891
/proc/meminfo: memFree=390928/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=51680 CPUtime=1364.5
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 1422182 0 0 0 135270 1180 0 0 25 0 1 0 182644109 52920320 11272 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 12920 11272 703 1256 0 11659 0
Current children cumulated CPU time (s) 1364.5
Current children cumulated vsize (KiB) 51680
[startup+1369.1 s]
/proc/loadavg: 1.92 2.06 2.07 2/74 14891
/proc/meminfo: memFree=390928/2055920 swapFree=4192812/4192956
[pid=14890] ppid=14888 vsize=52316 CPUtime=1364.61
/proc/14890/stat : 14890 (pbscip.linux.x8) R 14888 14890 14711 0 -1 4194304 1422282 0 0 0 135280 1181 0 0 25 0 1 0 182644109 53571584 11280 1992294400 4194304 9342243 548682068736 18446744073709551615 6944026 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14890/statm: 13079 11280 703 1256 0 11818 0
Current children cumulated CPU time (s) 1364.61
Current children cumulated vsize (KiB) 52316
Child status: 0
Real time (s): 1369.18
CPU time (s): 1364.69
CPU user time (s): 1352.87
CPU system time (s): 11.8212
CPU usage (%): 99.6722
Max. virtual memory (cumulated for all children) (KiB): 64848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1352.87
system time used= 11.8212
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1422350
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= 1
involuntary context switches= 13179
runsolver used 1.91771 second user time and 4.72928 second system time
The end