0.06/0.08 c SCIP version 1.1.0.7
0.06/0.08 c LP-Solver SoPlex 1.4.1
0.06/0.08 c user parameter file <scip.set> not found - using default parameters
0.06/0.08 c read problem <HOME/instance-1868928-1245150448.opb>
0.06/0.08 c original problem has 1152 variables (1152 bin, 0 int, 0 impl, 0 cont) and 4664 constraints
0.08/0.10 c start presolving problem
0.08/0.10 c presolving:
0.08/0.13 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.08/0.17 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.08/0.19 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.18/0.26 c (0.1s) probing: 101/1140 (8.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.18/0.26 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.18/0.26 c presolving (4 rounds):
0.18/0.26 c 12 deleted vars, 24 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.18/0.26 c 29688 implications, 0 cliques
0.18/0.26 c presolved problem has 1140 variables (1140 bin, 0 int, 0 impl, 0 cont) and 4640 constraints
0.18/0.26 c 4640 constraints of type <logicor>
0.18/0.26 c transformed objective value is always integral (scale: 1)
0.18/0.26 c Presolving Time: 0.14
0.18/0.26 c strange?!, PURESAT with obj
0.18/0.26 c -----------------------------------------------------------------------------------------------
0.18/0.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.18/0.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.26 c limits/memory = c 1620
0.18/0.26 c # maximal time in seconds to run
0.18/0.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.26 c limits/time = c 1791
0.18/0.26 c # frequency for displaying node information lines
0.18/0.26 c # [type: int, range: [-1,2147483647], default: 100]
0.18/0.26 c display/freq = c 10000
0.18/0.26 c -----------------------------------------------------------------------------------------------
0.18/0.26 c start solving problem
0.18/0.26 c
0.69/0.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.77 c 0.7s| 1 | 0 | 1595 |8936k| 0 | 820 |1140 |4640 |4640 |1140 |4640 | 0 | 0 | 0 | 2.345000e+02 | -- | Inf
2.65/2.76 c 2.6s| 1 | 0 | 6078 |8999k| 0 | 815 |1140 |4640 |4640 |1140 |4646 | 6 | 0 | 0 | 2.397500e+02 | -- | Inf
2.95/3.02 c 2.8s| 1 | 0 | 6185 |9035k| 0 | 812 |1140 |4640 |4640 |1140 |4653 | 13 | 0 | 0 | 2.444375e+02 | -- | Inf
3.16/3.29 c 3.1s| 1 | 0 | 6281 |9080k| 0 | 811 |1140 |4640 |4640 |1140 |4661 | 21 | 0 | 0 | 2.476250e+02 | -- | Inf
3.54/3.60 c 3.4s| 1 | 0 | 6448 |9135k| 0 | 815 |1140 |4640 |4640 |1140 |4672 | 32 | 0 | 0 | 2.511875e+02 | -- | Inf
3.85/3.91 c 3.7s| 1 | 0 | 6628 |9180k| 0 | 811 |1140 |4640 |4640 |1140 |4681 | 41 | 0 | 0 | 2.551875e+02 | -- | Inf
4.14/4.29 c 4.1s| 1 | 0 | 6899 |9269k| 0 | 808 |1140 |4640 |4640 |1140 |4689 | 49 | 0 | 0 | 2.594405e+02 | -- | Inf
4.54/4.66 c 4.4s| 1 | 0 | 7105 |9468k| 0 | 812 |1140 |4640 |4640 |1140 |4701 | 61 | 0 | 0 | 2.627500e+02 | -- | Inf
5.04/5.11 c 4.9s| 1 | 0 | 7426 |9700k| 0 | 817 |1140 |4640 |4640 |1140 |4713 | 73 | 0 | 0 | 2.646065e+02 | -- | Inf
5.54/5.62 c 5.4s| 1 | 0 | 7715 |9943k| 0 | 814 |1140 |4640 |4640 |1140 |4726 | 86 | 0 | 0 | 2.665250e+02 | -- | Inf
6.14/6.21 c 5.9s| 1 | 0 | 8194 | 10M| 0 | 809 |1140 |4640 |4640 |1140 |4738 | 98 | 0 | 0 | 2.689857e+02 | -- | Inf
6.73/6.80 c 6.5s| 1 | 0 | 8731 | 10M| 0 | 809 |1140 |4640 |4640 |1140 |4753 | 113 | 0 | 0 | 2.708538e+02 | -- | Inf
7.23/7.31 c 7.0s| 1 | 0 | 9272 | 10M| 0 | 806 |1140 |4640 |4640 |1140 |4765 | 125 | 0 | 0 | 2.724267e+02 | -- | Inf
7.82/7.96 c 7.7s| 1 | 0 | 9913 | 11M| 0 | 806 |1140 |4640 |4640 |1140 |4781 | 141 | 0 | 0 | 2.738807e+02 | -- | Inf
8.52/8.61 c 8.3s| 1 | 0 | 10502 | 11M| 0 | 803 |1140 |4640 |4640 |1140 |4790 | 155 | 0 | 0 | 2.744584e+02 | -- | Inf
9.02/9.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.02/9.11 c 8.8s| 1 | 0 | 11049 | 11M| 0 | 814 |1140 |4640 |4640 |1140 |4802 | 167 | 0 | 0 | 2.747709e+02 | -- | Inf
9.71/9.90 c 9.6s| 1 | 0 | 11780 | 11M| 0 | 808 |1140 |4640 |4640 |1140 |4814 | 179 | 0 | 0 | 2.765421e+02 | -- | Inf
10.51/10.61 c 10.3s| 1 | 0 | 12418 | 12M| 0 | 812 |1140 |4640 |4640 |1140 |4825 | 190 | 0 | 0 | 2.775275e+02 | -- | Inf
11.10/11.20 c 10.9s| 1 | 0 | 12795 | 13M| 0 | 811 |1140 |4640 |4640 |1140 |4838 | 203 | 0 | 0 | 2.789437e+02 | -- | Inf
11.81/11.91 c 11.6s| 1 | 0 | 13359 | 13M| 0 | 809 |1140 |4640 |4640 |1140 |4847 | 212 | 0 | 0 | 2.798536e+02 | -- | Inf
12.41/12.55 c 12.2s| 1 | 0 | 13811 | 13M| 0 | 812 |1140 |4640 |4640 |1140 |4834 | 219 | 0 | 0 | 2.805828e+02 | -- | Inf
13.40/13.60 c 13.2s| 1 | 0 | 14721 | 14M| 0 | 817 |1140 |4640 |4640 |1140 |4846 | 231 | 0 | 0 | 2.812261e+02 | -- | Inf
14.19/14.32 c 13.9s| 1 | 0 | 15326 | 14M| 0 | 812 |1140 |4640 |4640 |1140 |4853 | 238 | 0 | 0 | 2.817930e+02 | -- | Inf
14.99/15.13 c 14.7s| 1 | 0 | 15781 | 14M| 0 | 813 |1140 |4640 |4640 |1140 |4861 | 246 | 0 | 0 | 2.821133e+02 | -- | Inf
15.68/15.83 c 15.4s| 1 | 0 | 15941 | 14M| 0 | 808 |1140 |4640 |4640 |1140 |4867 | 252 | 0 | 0 | 2.821606e+02 | -- | Inf
16.37/16.58 c 16.2s| 1 | 0 | 16144 | 14M| 0 | 814 |1140 |4640 |4640 |1140 |4872 | 257 | 0 | 0 | 2.821750e+02 | -- | Inf
17.17/17.39 c 17.0s| 1 | 0 | 16486 | 14M| 0 | 813 |1140 |4640 |4640 |1140 |4840 | 264 | 0 | 0 | 2.822146e+02 | -- | Inf
18.05/18.21 c 17.8s| 1 | 0 | 16920 | 14M| 0 | 815 |1140 |4640 |4640 |1140 |4846 | 270 | 0 | 0 | 2.823303e+02 | -- | Inf
18.74/18.95 c 18.5s| 1 | 0 | 17156 | 14M| 0 | 812 |1140 |4640 |4640 |1140 |4851 | 275 | 0 | 0 | 2.823501e+02 | -- | Inf
19.55/19.79 c 19.3s| 1 | 0 | 17411 | 14M| 0 | 810 |1140 |4640 |4640 |1140 |4856 | 280 | 0 | 0 | 2.823842e+02 | -- | Inf
20.24/20.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.24/20.47 c 20.0s| 1 | 0 | 17418 | 14M| 0 | 810 |1140 |4640 |4640 |1140 |4860 | 284 | 0 | 0 | 2.823842e+02 | -- | Inf
20.93/21.16 c 20.7s| 1 | 0 | 17420 | 14M| 0 | 810 |1140 |4640 |4640 |1140 |4861 | 285 | 0 | 0 | 2.823842e+02 | -- | Inf
21.64/21.85 c 21.4s| 1 | 0 | 17437 | 14M| 0 | 810 |1140 |4640 |4640 |1140 |4831 | 286 | 0 | 0 | 2.823930e+02 | -- | Inf
27.58/27.86 c 27.3s| 1 | 2 | 17437 | 14M| 0 | 810 |1140 |4640 |4640 |1140 |4831 | 286 | 0 | 17 | 2.823930e+02 | -- | Inf
110.87/111.54 o 492
110.87/111.54 c R 110s| 10 | 9 | 19786 | 14M| 8 | 168 |1140 |4640 |4233 |1140 |4796 | 286 | 0 | 385 | 2.829149e+02 | 4.920000e+02 | 73.90%
110.87/111.55 o 478
110.87/111.55 c k 110s| 10 | 11 | 19786 | 14M| 8 | 168 |1140 |4640 |4233 |1140 |4796 | 286 | 0 | 385 | 2.829149e+02 | 4.780000e+02 | 68.96%
110.87/111.56 o 477
110.87/111.56 c R 110s| 11 | 10 | 19787 | 14M| 9 | 166 |1140 |4640 |4233 |1140 |4796 | 286 | 0 | 385 | 2.829149e+02 | 4.770000e+02 | 68.60%
110.87/111.56 o 431
110.87/111.56 c k 110s| 11 | 12 | 19787 | 14M| 9 | 166 |1140 |4640 |4233 |1140 |4796 | 286 | 0 | 385 | 2.829149e+02 | 4.310000e+02 | 52.34%
110.97/111.61 o 430
110.97/111.61 c R 110s| 12 | 11 | 19877 | 14M| 10 | 57 |1140 |4640 |4180 |1140 |4796 | 286 | 0 | 385 | 2.829149e+02 | 4.300000e+02 | 51.99%
110.97/111.62 o 429
110.97/111.62 c s 110s| 12 | 11 | 19877 | 14M| 10 | 57 |1140 |4640 |4180 |1140 |4796 | 286 | 0 | 385 | 2.829149e+02 | 4.290000e+02 | 51.64%
110.97/111.62 o 419
110.97/111.62 c k 110s| 12 | 13 | 19877 | 14M| 10 | 57 |1140 |4640 |4180 |1140 |4796 | 286 | 0 | 385 | 2.829149e+02 | 4.190000e+02 | 48.10%
111.17/111.83 o 416
111.17/111.83 c * 110s| 33 | 11 | 20122 | 14M| 21 | - |1140 |4640 |3831 |1140 |4796 | 286 | 0 | 385 | 2.829149e+02 | 4.160000e+02 | 47.04%
111.17/111.83 o 415
111.17/111.83 c k 111s| 33 | 10 | 20122 | 14M| 21 | - |1140 |4640 |3831 |1140 |4796 | 286 | 0 | 385 | 2.829149e+02 | 4.150000e+02 | 46.69%
127.37/128.29 o 414
127.37/128.29 c p 127s| 245 | 64 | 36521 | 14M| 35 | - |1140 |4687 |3394 |1140 |4796 | 286 | 47 | 410 | 2.831954e+02 | 4.140000e+02 | 46.19%
127.37/128.29 o 412
127.37/128.29 c k 127s| 245 | 64 | 36521 | 14M| 35 | 161 |1140 |4687 |3596 |1140 |4796 | 286 | 47 | 410 | 2.831954e+02 | 4.120000e+02 | 45.48%
137.71/138.61 o 411
137.71/138.61 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.71/138.61 c R 137s| 449 | 118 | 46908 | 15M| 36 | 109 |1140 |4700 |4078 |1140 |4796 | 286 | 60 | 465 | 2.851120e+02 | 4.110000e+02 | 44.15%
137.71/138.61 o 388
137.71/138.61 c k 137s| 449 | 81 | 46908 | 15M| 36 | 109 |1140 |4700 |4078 |1140 |4796 | 286 | 60 | 465 | 2.851120e+02 | 3.880000e+02 | 36.09%
138.30/139.20 o 387
138.30/139.20 c R 137s| 462 | 80 | 47899 | 15M| 36 | 98 |1140 |4700 |3894 |1140 |4796 | 286 | 60 | 465 | 2.851120e+02 | 3.870000e+02 | 35.74%
138.30/139.20 o 384
138.30/139.20 c k 137s| 462 | 81 | 47899 | 15M| 36 | 98 |1140 |4700 |3894 |1140 |4796 | 286 | 60 | 465 | 2.851120e+02 | 3.840000e+02 | 34.68%
242.89/244.42 o 380
242.89/244.42 c v 242s| 1881 | 140 |159942 | 15M| 43 | - |1140 |4738 |4048 |1140 |4796 | 286 | 105 | 866 | 2.917199e+02 | 3.800000e+02 | 30.26%
250.79/252.38 o 379
250.79/252.38 c * 249s| 2009 | 130 |168996 | 15M| 43 | - |1140 |4740 |3154 |1140 |4796 | 286 | 107 | 906 | 2.917199e+02 | 3.790000e+02 | 29.92%
937.83/941.33 c 933s| 10000 | 460 |949867 | 17M| 45 | - |1140 |4745 |3491 |1140 |4796 | 286 | 207 |3609 | 3.143765e+02 | 3.790000e+02 | 20.56%
1799.62/1805.07 c
1799.62/1805.07 c SCIP Status : solving was interrupted [time limit reached]
1799.62/1805.07 c Solving Time (sec) : 1791.08
1799.62/1805.07 c Solving Nodes : 18588
1799.62/1805.07 c Primal Bound : +3.79000000000000e+02 (53 solutions)
1799.62/1805.07 c Dual Bound : +3.32076508993299e+02
1799.62/1805.07 c Gap : 14.13 %
1799.62/1805.08 c NODE 18588
1799.62/1805.08 c DUAL BOUND 332.077
1799.62/1805.08 c PRIMAL BOUND 379
1799.62/1805.08 c GAP 0.141303
1799.62/1805.08 s SATISFIABLE
1799.62/1805.08 v x1152 -x1151 x1150 -x1149 x1148 -x1147 -x1146 x1145 x1144 -x1143 x1142 -x1141 x1140 -x1139 -x1138 -x1137 -x1136 -x1135 x1134 -x1133
1799.62/1805.08 v -x1132 x1131 -x1130 -x1129 -x1128 -x1127 x1126 -x1125 x1124 -x1123 -x1122 x1121 x1120 -x1119 x1118 -x1117 x1116 -x1115 -x1114
1799.62/1805.08 v -x1113 -x1112 -x1111 x1110 -x1109 -x1108 -x1107 -x1106 x1105 x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096
1799.62/1805.08 v -x1095 -x1094 x1093 x1092 -x1091 x1090 -x1089 x1088 -x1087 -x1086 x1085 x1084 -x1083 x1082 -x1081 x1080 -x1079 x1078 -x1077
1799.62/1805.08 v x1076 -x1075 -x1074 x1073 x1072 -x1071 x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 x1062 -x1061 -x1060 -x1059 -x1058
1799.62/1805.08 v x1057 x1056 -x1055 -x1054 -x1053 -x1052 -x1051 x1050 -x1049 -x1048 -x1047 -x1046 x1045 x1044 -x1043 -x1042 -x1041 -x1040
1799.62/1805.08 v -x1039 x1038 -x1037 -x1036 -x1035 -x1034 x1033 x1032 -x1031 -x1030 -x1029 -x1028 -x1027 x1026 -x1025 -x1024 -x1023 -x1022 x1021
1799.62/1805.08 v x1020 -x1019 -x1018 -x1017 -x1016 -x1015 x1014 -x1013 -x1012 -x1011 -x1010 x1009 x1008 -x1007 x1006 -x1005 x1004 -x1003 -x1002
1799.62/1805.08 v x1001 x1000 -x999 x998 -x997 x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 x985 x984 -x983 x982 -x981
1799.62/1805.08 v x980 -x979 -x978 x977 x976 -x975 x974 -x973 x972 -x971 x970 -x969 x968 -x967 -x966 x965 x964 -x963 x962 -x961 x960 -x959 -x958
1799.62/1805.08 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 x949 x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 x937
1799.62/1805.08 v x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 x927 -x926 -x925 x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1799.62/1805.08 v -x915 -x914 x913 x912 -x911 x910 -x909 x908 -x907 -x906 x905 x904 -x903 x902 -x901 x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893
1799.62/1805.08 v -x892 -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 -x872
1799.62/1805.08 v -x871 x870 -x869 -x868 -x867 -x866 x865 x864 -x863 -x862 -x861 -x860 -x859 x858 -x857 -x856 -x855 -x854 x853 x852 -x851 x850
1799.62/1805.08 v -x849 x848 -x847 -x846 x845 x844 -x843 x842 -x841 x840 -x839 x838 -x837 x836 -x835 -x834 x833 x832 -x831 x830 -x829 -x828
1799.62/1805.08 v -x827 x826 -x825 x824 -x823 -x822 x821 x820 -x819 x818 -x817 x816 -x815 x814 -x813 x812 -x811 -x810 x809 x808 -x807 x806 -x805
1799.62/1805.08 v x804 -x803 x802 -x801 x800 -x799 -x798 x797 x796 -x795 x794 -x793 x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783
1799.62/1805.08 v -x782 x781 x780 -x779 -x778 -x777 -x776 -x775 x774 -x773 -x772 -x771 -x770 x769 x768 -x767 -x766 -x765 -x764 -x763 x762 -x761
1799.62/1805.08 v -x760 -x759 -x758 x757 -x756 x755 x754 -x753 x752 -x751 x750 -x749 x748 -x747 x746 -x745 x744 -x743 -x742 -x741 -x740 -x739
1799.62/1805.08 v x738 -x737 -x736 -x735 -x734 x733 x732 -x731 x730 -x729 x728 -x727 -x726 x725 x724 -x723 x722 -x721 x720 -x719 x718 -x717 x716
1799.62/1805.08 v -x715 -x714 x713 x712 -x711 x710 -x709 x708 -x707 x706 -x705 x704 -x703 -x702 x701 x700 -x699 x698 -x697 x696 -x695 x694
1799.62/1805.08 v -x693 x692 -x691 -x690 x689 x688 -x687 x686 -x685 x684 -x683 -x682 -x681 -x680 -x679 x678 -x677 -x676 -x675 -x674 x673 x672 -x671
1799.62/1805.08 v -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 x660 -x659 x658 -x657 x656 -x655 -x654 x653 x652 -x651 x650 -x649
1799.62/1805.08 v x648 -x647 -x646 -x645 -x644 -x643 x642 -x641 -x640 -x639 -x638 x637 x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 -x628
1799.62/1805.08 v -x627 -x626 x625 x624 -x623 x622 -x621 x620 -x619 -x618 x617 x616 -x615 x614 -x613 x612 -x611 -x610 -x609 -x608 -x607 x606 -x605
1799.62/1805.08 v -x604 -x603 -x602 x601 x600 -x599 -x598 -x597 -x596 -x595 x594 -x593 -x592 -x591 -x590 x589 x588 -x587 x586 -x585 x584 -x583
1799.62/1805.08 v -x582 x581 x580 -x579 x578 -x577 x576 -x575 -x574 -x573 -x572 -x571 x570 -x569 -x568 -x567 -x566 x565 x564 -x563 -x562 -x561
1799.62/1805.08 v -x560 -x559 x558 -x557 -x556 x555 -x554 -x553 -x552 -x551 x550 -x549 x548 -x547 -x546 x545 x544 -x543 x542 -x541 x540 -x539
1799.62/1805.08 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 x529 x528 -x527 -x526 -x525 -x524 -x523 x522 -x521 -x520 -x519 -x518
1799.62/1805.08 v x517 x516 -x515 -x514 -x513 -x512 -x511 x510 -x509 -x508 -x507 -x506 x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496
1799.62/1805.08 v -x495 -x494 x493 x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 x481 -x480 -x479 -x478 -x477 -x476 -x475
1799.62/1805.08 v -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 x462 -x461 -x460 -x459 -x458 x457 x456 -x455 -x454 -x453
1799.62/1805.08 v -x452 -x451 -x450 -x449 -x448 -x447 -x446 x445 x444 -x443 x442 -x441 x440 -x439 -x438 x437 x436 -x435 x434 -x433 x432 -x431
1799.62/1805.08 v -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410
1799.62/1805.08 v x409 x408 -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389
1799.62/1805.08 v -x388 x387 -x386 -x385 x384 -x383 x382 -x381 x380 -x379 -x378 x377 x376 -x375 x374 -x373 x372 -x371 -x370 -x369 -x368 -x367 -x366
1799.62/1805.08 v -x365 -x364 -x363 -x362 x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 x349 x348 -x347 -x346 -x345
1799.62/1805.08 v -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 x336 -x335 x334 -x333 x332 -x331 -x330 x329 x328 -x327 x326 -x325 x324 -x323
1799.62/1805.08 v -x322 -x321 -x320 -x319 -x318 -x317 -x316 x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302
1799.62/1805.08 v x301 x300 -x299 -x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 x289 x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280
1799.62/1805.08 v -x279 -x278 x277 x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 x265 x264 -x263 -x262 -x261 -x260 -x259 -x258
1799.62/1805.08 v -x257 -x256 -x255 -x254 x253 x252 -x251 -x250 -x249 -x248 -x247 x246 -x245 -x244 -x243 -x242 x241 x240 -x239 -x238 -x237
1799.62/1805.08 v -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 x216 -x215
1799.62/1805.08 v -x214 -x213 -x212 -x211 x210 -x209 -x208 x207 -x206 -x205 x204 -x203 x202 -x201 x200 -x199 -x198 x197 x196 -x195 x194 -x193
1799.62/1805.08 v -x192 x191 -x190 x189 x188 -x187 -x186 x185 -x184 x183 x182 -x181 x180 -x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171 x170
1799.62/1805.08 v -x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148
1799.62/1805.08 v x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 x135 x134 -x133 -x132 x131 -x130 x129 -x128 x127 -x126 x125
1799.62/1805.08 v -x124 x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105 -x104 x103 x102
1799.62/1805.08 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
1799.62/1805.08 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
1799.62/1805.08 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
1799.62/1805.08 v x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11 -x10 x9 -x8 x7 x6 -x5 -x4 x3 -x2 x1
1799.62/1805.08 c SCIP Status : solving was interrupted [time limit reached]
1799.62/1805.08 c Solving Time : 1791.08
1799.62/1805.08 c Original Problem :
1799.62/1805.08 c Problem name : HOME/instance-1868928-1245150448.opb
1799.62/1805.08 c Variables : 1152 (1152 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.62/1805.08 c Constraints : 4664 initial, 4664 maximal
1799.62/1805.08 c Presolved Problem :
1799.62/1805.08 c Problem name : t_HOME/instance-1868928-1245150448.opb
1799.62/1805.08 c Variables : 1140 (1140 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.62/1805.08 c Constraints : 4640 initial, 4756 maximal
1799.62/1805.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1799.62/1805.08 c trivial : 0.00 0 0 0 0 0 0 0 0
1799.62/1805.08 c dualfix : 0.00 12 0 0 0 0 0 0 0
1799.62/1805.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1799.62/1805.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1799.62/1805.08 c implics : 0.00 0 0 0 0 0 0 0 0
1799.62/1805.08 c probing : 0.05 0 0 0 0 0 0 0 0
1799.62/1805.08 c linear : 0.06 0 0 0 0 0 24 0 0
1799.62/1805.08 c logicor : 0.03 0 0 0 0 0 0 0 0
1799.62/1805.08 c root node : - 0 - - 0 - - - -
1799.62/1805.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1799.62/1805.08 c integral : 0 0 0 10265 0 51 2503 0 0 19060
1799.62/1805.08 c logicor : 4640+ 33 85257 2 3 165 909774 0 0 0
1799.62/1805.08 c countsols : 0 0 0 2 1 0 0 0 0 0
1799.62/1805.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1799.62/1805.08 c integral : 533.73 0.00 0.00 533.73 0.00
1799.62/1805.08 c logicor : 4.84 0.02 4.82 0.00 0.00
1799.62/1805.08 c countsols : 0.00 0.00 0.00 0.00 0.00
1799.62/1805.08 c Propagators : Time Calls Cutoffs DomReds
1799.62/1805.08 c rootredcost : 0.08 9 0 0
1799.62/1805.08 c pseudoobj : 6.49 93064 0 0
1799.62/1805.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.62/1805.08 c propagation : 0.00 165 165 243 5.6 13 3.8 -
1799.62/1805.08 c infeasible LP : 0.00 3 3 9 27.7 1 2.0 0
1799.62/1805.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.62/1805.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.62/1805.08 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.62/1805.08 c applied globally : - - - 264 6.2 - - -
1799.62/1805.08 c applied locally : - - - 0 0.0 - - -
1799.62/1805.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.62/1805.08 c cut pool : 0.05 32 - - 1017 - (maximal pool size: 2643)
1799.62/1805.08 c redcost : 0.70 10934 0 1964 0 0
1799.62/1805.08 c impliedbounds : 0.05 33 0 0 0 0
1799.62/1805.08 c intobj : 0.00 0 0 0 0 0
1799.62/1805.08 c gomory : 9.02 33 0 0 12226 0
1799.62/1805.08 c strongcg : 1.70 20 0 0 10000 0
1799.62/1805.08 c cmir : 0.36 10 0 0 0 0
1799.62/1805.08 c flowcover : 0.28 10 0 0 0 0
1799.62/1805.08 c clique : 0.01 1 0 0 0 0
1799.62/1805.08 c zerohalf : 0.00 0 0 0 0 0
1799.62/1805.08 c mcf : 0.02 1 0 0 0 0
1799.62/1805.08 c Pricers : Time Calls Vars
1799.62/1805.08 c problem variables: 0.00 0 0
1799.62/1805.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.62/1805.08 c relpscost : 533.67 10263 51 2503 0 0 19060
1799.62/1805.08 c pscost : 0.00 0 0 0 0 0 0
1799.62/1805.08 c inference : 0.00 1 0 0 0 0 2
1799.62/1805.08 c mostinf : 0.00 0 0 0 0 0 0
1799.62/1805.08 c leastinf : 0.00 0 0 0 0 0 0
1799.62/1805.08 c fullstrong : 0.00 0 0 0 0 0 0
1799.62/1805.08 c allfullstrong : 0.00 0 0 0 0 0 0
1799.62/1805.08 c random : 0.00 0 0 0 0 0 0
1799.62/1805.08 c Primal Heuristics : Time Calls Found
1799.62/1805.08 c LP solutions : 0.00 - 2
1799.62/1805.08 c pseudo solutions : 0.00 - 0
1799.62/1805.08 c oneopt : 0.09 9 7
1799.62/1805.08 c feaspump : 1.63 1 0
1799.62/1805.08 c crossover : 0.26 4 0
1799.62/1805.08 c veclendiving : 6.20 15 1
1799.62/1805.08 c linesearchdiving : 24.83 15 0
1799.62/1805.08 c pscostdiving : 4.12 15 1
1799.62/1805.08 c guideddiving : 8.62 15 0
1799.62/1805.08 c objpscostdiving : 15.02 8 8
1799.62/1805.08 c rootsoldiving : 4.90 8 8
1799.62/1805.08 c coefdiving : 8.85 16 0
1799.62/1805.08 c fracdiving : 9.28 16 0
1799.62/1805.08 c simplerounding : 0.01 0 0
1799.62/1805.08 c rounding : 10.02 8019 5
1799.62/1805.08 c shifting : 3.45 1091 21
1799.62/1805.08 c intshifting : 0.00 0 0
1799.62/1805.08 c fixandinfer : 0.00 0 0
1799.62/1805.08 c intdiving : 0.00 0 0
1799.62/1805.08 c actconsdiving : 0.00 0 0
1799.62/1805.08 c octane : 0.00 0 0
1799.62/1805.08 c rens : 0.01 0 0
1799.62/1805.08 c rins : 0.00 0 0
1799.62/1805.08 c localbranching : 0.00 0 0
1799.62/1805.08 c mutation : 0.00 0 0
1799.62/1805.08 c dins : 0.00 0 0
1799.62/1805.08 c LP : Time Calls Iterations Iter/call Iter/sec
1799.62/1805.08 c primal LP : 0.01 0 0 0.00 0.00
1799.62/1805.08 c dual LP : 1100.36 19171 1822596 95.07 1656.36
1799.62/1805.08 c barrier LP : 0.00 0 0 0.00 -
1799.62/1805.08 c diving/probing LP: 79.13 2118 132660 62.63 1676.48
1799.62/1805.08 c strong branching : 531.16 6308 794666 125.98 1496.10
1799.62/1805.08 c (at root node) : - 17 6910 406.47 -
1799.62/1805.08 c conflict analysis: 0.00 0 0 0.00 -
1799.62/1805.08 c B&B Tree :
1799.62/1805.08 c number of runs : 1
1799.62/1805.08 c nodes : 18588
1799.62/1805.08 c nodes (total) : 18588
1799.62/1805.08 c nodes left : 387
1799.62/1805.08 c max depth : 45
1799.62/1805.08 c max depth (total): 45
1799.62/1805.08 c backtracks : 2689 (14.5%)
1799.62/1805.08 c delayed cutoffs : 20
1799.62/1805.08 c repropagations : 1247 (5546 domain reductions, 11 cutoffs)
1799.62/1805.08 c avg switch length: 3.63
1799.62/1805.08 c switching time : 6.25
1799.62/1805.08 c Solution :
1799.62/1805.08 c Solutions found : 53 (17 improvements)
1799.62/1805.08 c Primal Bound : +3.79000000000000e+02 (in run 1, after 2009 nodes, 249.48 seconds, depth 18, found by <relaxation>)
1799.62/1805.08 c Dual Bound : +3.32076508993299e+02
1799.62/1805.08 c Gap : 14.13 %
1799.62/1805.08 c Root Dual Bound : +2.82392982598792e+02
1799.72/1805.12 c Time complete: 1799.74.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868928-1245150448/watcher-1868928-1245150448 -o /tmp/evaluation-result-1868928-1245150448/solver-1868928-1245150448 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868928-1245150448.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: 2.17 2.04 1.98 5/73 29589
/proc/meminfo: memFree=371280/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=3656 CPUtime=0
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 37 0 0 0 0 0 0 0 18 0 1 0 182642860 3743744 23 1992294400 4194304 7823515 548682068736 18446744073709551615 7141936 0 0 4096 0 0 0 0 17 0 0 0
/proc/29589/statm: 914 23 15 886 0 24 0
[startup+0.074304 s]
/proc/loadavg: 2.17 2.04 1.98 5/73 29589
/proc/meminfo: memFree=371280/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=11592 CPUtime=0.06
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 2211 0 0 0 5 1 0 0 18 0 1 0 182642860 11870208 2193 1992294400 4194304 7823515 548682068736 18446744073709551615 6881682 0 0 4096 0 0 0 0 17 1 0 0
/proc/29589/statm: 2898 2193 354 886 0 2008 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11592
[startup+0.101309 s]
/proc/loadavg: 2.17 2.04 1.98 5/73 29589
/proc/meminfo: memFree=371280/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=17752 CPUtime=0.08
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 4059 0 0 0 7 1 0 0 18 0 1 0 182642860 18178048 3687 1992294400 4194304 7823515 548682068736 18446744073709551615 4685941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 4438 3687 385 886 0 3548 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17752
[startup+0.301327 s]
/proc/loadavg: 2.17 2.04 1.98 5/73 29589
/proc/meminfo: memFree=371280/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=29912 CPUtime=0.28
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 7024 0 0 0 24 4 0 0 19 0 1 0 182642860 30629888 6623 1992294400 4194304 7823515 548682068736 18446744073709551615 6018694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 7478 6623 508 886 0 6588 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 29912
[startup+0.701367 s]
/proc/loadavg: 2.17 2.04 1.98 5/73 29589
/proc/meminfo: memFree=371280/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=32232 CPUtime=0.69
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 7643 0 0 0 64 5 0 0 23 0 1 0 182642860 33005568 7151 1992294400 4194304 7823515 548682068736 18446744073709551615 6212165 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 8058 7151 514 886 0 7168 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32232
[startup+1.50145 s]
/proc/loadavg: 2.17 2.04 1.98 2/74 29590
/proc/meminfo: memFree=344584/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=32232 CPUtime=1.47
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 7675 0 0 0 142 5 0 0 25 0 1 0 182642860 33005568 7183 1992294400 4194304 7823515 548682068736 18446744073709551615 6257647 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 8058 7183 525 886 0 7168 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 32232
[startup+3.10162 s]
/proc/loadavg: 2.17 2.04 1.98 2/74 29590
/proc/meminfo: memFree=344456/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=33784 CPUtime=3.06
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 8176 0 0 0 296 10 0 0 25 0 1 0 182642860 34594816 7561 1992294400 4194304 7823515 548682068736 18446744073709551615 4338420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 8446 7561 551 886 0 7556 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 33784
[startup+6.30296 s]
/proc/loadavg: 2.24 2.06 1.99 4/74 29590
/proc/meminfo: memFree=339272/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=38648 CPUtime=6.24
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 9504 0 0 0 609 15 0 0 25 0 1 0 182642860 39575552 8833 1992294400 4194304 7823515 548682068736 18446744073709551615 5965396 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 9662 8833 551 886 0 8772 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 38648
[startup+12.7016 s]
/proc/loadavg: 2.14 2.04 1.98 3/74 29590
/proc/meminfo: memFree=328456/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=50656 CPUtime=12.61
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 12343 0 0 0 1241 20 0 0 25 0 1 0 182642860 51871744 11593 1992294400 4194304 7823515 548682068736 18446744073709551615 4339127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 12664 11593 551 886 0 11774 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 50656
[startup+25.502 s]
/proc/loadavg: 1.96 2.01 1.97 4/74 29590
/proc/meminfo: memFree=325832/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=50656 CPUtime=25.31
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 12579 0 0 0 2501 30 0 0 25 0 1 0 182642860 51871744 11829 1992294400 4194304 7823515 548682068736 18446744073709551615 6211363 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 12664 11829 555 886 0 11774 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 50656
[startup+51.1026 s]
/proc/loadavg: 2.00 2.01 1.97 4/74 29590
/proc/meminfo: memFree=325832/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=50656 CPUtime=50.87
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 12579 0 0 0 5049 38 0 0 25 0 1 0 182642860 51871744 11829 1992294400 4194304 7823515 548682068736 18446744073709551615 6262645 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 12664 11829 555 886 0 11774 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 50656
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.97 2/74 29590
/proc/meminfo: memFree=325704/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=50656 CPUtime=101.73
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 12579 0 0 0 10114 59 0 0 25 0 1 0 182642860 51871744 11829 1992294400 4194304 7823515 548682068736 18446744073709551615 6216139 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 12664 11829 555 886 0 11774 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 50656
[startup+162.301 s]
/proc/loadavg: 1.84 1.95 1.96 3/74 29590
/proc/meminfo: memFree=322696/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=53152 CPUtime=161.25
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 17538 0 0 0 16034 91 0 0 25 0 1 0 182642860 54427648 12582 1992294400 4194304 7823515 548682068736 18446744073709551615 6211018 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13288 12582 577 886 0 12398 0
Current children cumulated CPU time (s) 161.25
Current children cumulated vsize (KiB) 53152
[startup+222.302 s]
/proc/loadavg: 2.23 2.05 1.99 4/74 29590
/proc/meminfo: memFree=325064/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=50656 CPUtime=220.86
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 19733 0 0 0 21966 120 0 0 25 0 1 0 182642860 51871744 11986 1992294400 4194304 7823515 548682068736 18446744073709551615 6209784 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 12664 11986 577 886 0 11774 0
Current children cumulated CPU time (s) 220.86
Current children cumulated vsize (KiB) 50656
[startup+282.302 s]
/proc/loadavg: 2.11 2.05 1.99 2/74 29590
/proc/meminfo: memFree=324296/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=51680 CPUtime=280.79
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 19957 0 0 0 27933 146 0 0 25 0 1 0 182642860 52920320 12210 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 12920 12210 577 886 0 12030 0
Current children cumulated CPU time (s) 280.79
Current children cumulated vsize (KiB) 51680
[startup+342.302 s]
/proc/loadavg: 2.21 2.10 2.01 3/74 29590
/proc/meminfo: memFree=324296/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=51680 CPUtime=340.77
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 19957 0 0 0 33905 172 0 0 25 0 1 0 182642860 52920320 12210 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 12920 12210 577 886 0 12030 0
Current children cumulated CPU time (s) 340.77
Current children cumulated vsize (KiB) 51680
[startup+402.303 s]
/proc/loadavg: 2.19 2.09 2.01 2/74 29590
/proc/meminfo: memFree=323912/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=52032 CPUtime=400.75
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 20045 0 0 0 39877 198 0 0 25 0 1 0 182642860 53280768 12298 1992294400 4194304 7823515 548682068736 18446744073709551615 6211380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13008 12298 577 886 0 12118 0
Current children cumulated CPU time (s) 400.75
Current children cumulated vsize (KiB) 52032
[startup+462.312 s]
/proc/loadavg: 2.32 2.15 2.03 3/74 29590
/proc/meminfo: memFree=323912/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=52032 CPUtime=460.74
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 20047 0 0 0 45852 222 0 0 25 0 1 0 182642860 53280768 12300 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13008 12300 579 886 0 12118 0
Current children cumulated CPU time (s) 460.74
Current children cumulated vsize (KiB) 52032
[startup+522.305 s]
/proc/loadavg: 2.11 2.13 2.03 2/74 29590
/proc/meminfo: memFree=323848/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=52032 CPUtime=520.58
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 20047 0 0 0 51810 248 0 0 25 0 1 0 182642860 53280768 12300 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13008 12300 579 886 0 12118 0
Current children cumulated CPU time (s) 520.58
Current children cumulated vsize (KiB) 52032
[startup+582.302 s]
/proc/loadavg: 1.96 2.09 2.02 3/74 29590
/proc/meminfo: memFree=322632/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=53308 CPUtime=580.55
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 20366 0 0 0 57781 274 0 0 25 0 1 0 182642860 54587392 12619 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13327 12619 579 886 0 12437 0
Current children cumulated CPU time (s) 580.55
Current children cumulated vsize (KiB) 53308
[startup+642.301 s]
/proc/loadavg: 1.93 2.06 2.01 2/74 29590
/proc/meminfo: memFree=322568/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=53308 CPUtime=640.41
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 20367 0 0 0 63738 303 0 0 25 0 1 0 182642860 54587392 12620 1992294400 4194304 7823515 548682068736 18446744073709551615 6211146 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29589/statm: 13327 12620 579 886 0 12437 0
Current children cumulated CPU time (s) 640.41
Current children cumulated vsize (KiB) 53308
[startup+702.308 s]
################
# More data... #
################
/proc/meminfo: memFree=322568/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=53492 CPUtime=1118.56
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 25369 0 0 0 111314 542 0 0 25 0 1 0 182642860 54775808 12568 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13373 12568 579 886 0 12483 0
Current children cumulated CPU time (s) 1118.56
Current children cumulated vsize (KiB) 53492
[startup+1182.3 s]
/proc/loadavg: 2.35 2.15 2.04 2/74 29590
/proc/meminfo: memFree=322312/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=53492 CPUtime=1178.49
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 25403 0 0 0 117279 570 0 0 25 0 1 0 182642860 54775808 12602 1992294400 4194304 7823515 548682068736 18446744073709551615 6212321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13373 12602 579 886 0 12483 0
Current children cumulated CPU time (s) 1178.49
Current children cumulated vsize (KiB) 53492
[startup+1242.3 s]
/proc/loadavg: 1.73 2.02 2.00 3/74 29590
/proc/meminfo: memFree=322248/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=53492 CPUtime=1238.15
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 25404 0 0 0 123218 597 0 0 25 0 1 0 182642860 54775808 12603 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13373 12603 579 886 0 12483 0
Current children cumulated CPU time (s) 1238.15
Current children cumulated vsize (KiB) 53492
[startup+1302.3 s]
/proc/loadavg: 1.99 2.03 2.01 3/74 29590
/proc/meminfo: memFree=322248/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=53492 CPUtime=1298.14
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 25428 0 0 0 129191 623 0 0 25 0 1 0 182642860 54775808 12627 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13373 12627 579 886 0 12483 0
Current children cumulated CPU time (s) 1298.14
Current children cumulated vsize (KiB) 53492
[startup+1362.3 s]
/proc/loadavg: 1.88 1.98 1.99 4/74 29590
/proc/meminfo: memFree=322120/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=53676 CPUtime=1358.11
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 25465 0 0 0 135162 649 0 0 25 0 1 0 182642860 54964224 12664 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13419 12664 579 886 0 12529 0
Current children cumulated CPU time (s) 1358.11
Current children cumulated vsize (KiB) 53676
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 4/74 29590
/proc/meminfo: memFree=321992/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=53860 CPUtime=1418.1
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 25473 0 0 0 141131 679 0 0 25 0 1 0 182642860 55152640 12672 1992294400 4194304 7823515 548682068736 18446744073709551615 6211042 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13465 12672 579 886 0 12575 0
Current children cumulated CPU time (s) 1418.1
Current children cumulated vsize (KiB) 53860
[startup+1482.3 s]
/proc/loadavg: 1.88 1.94 1.97 2/74 29590
/proc/meminfo: memFree=321864/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=53860 CPUtime=1477.79
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 25492 0 0 0 147074 705 0 0 25 0 1 0 182642860 55152640 12691 1992294400 4194304 7823515 548682068736 18446744073709551615 6212330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13465 12691 579 886 0 12575 0
Current children cumulated CPU time (s) 1477.79
Current children cumulated vsize (KiB) 53860
[startup+1542.3 s]
/proc/loadavg: 1.96 1.96 1.98 2/74 29590
/proc/meminfo: memFree=321800/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=53860 CPUtime=1537.34
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 25507 0 0 0 152998 736 0 0 25 0 1 0 182642860 55152640 12706 1992294400 4194304 7823515 548682068736 18446744073709551615 6110656 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13465 12706 579 886 0 12575 0
Current children cumulated CPU time (s) 1537.34
Current children cumulated vsize (KiB) 53860
[startup+1602.3 s]
/proc/loadavg: 1.85 1.92 1.96 2/74 29590
/proc/meminfo: memFree=321800/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=53860 CPUtime=1596.97
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 25512 0 0 0 158928 769 0 0 25 0 1 0 182642860 55152640 12711 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13465 12711 579 886 0 12575 0
Current children cumulated CPU time (s) 1596.97
Current children cumulated vsize (KiB) 53860
[startup+1662.31 s]
/proc/loadavg: 2.15 1.99 1.98 3/74 29590
/proc/meminfo: memFree=321672/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=53860 CPUtime=1656.96
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 25532 0 0 0 164901 795 0 0 25 0 1 0 182642860 55152640 12731 1992294400 4194304 7823515 548682068736 18446744073709551615 6236651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13465 12731 579 886 0 12575 0
Current children cumulated CPU time (s) 1656.96
Current children cumulated vsize (KiB) 53860
[startup+1722.3 s]
/proc/loadavg: 2.26 2.05 2.00 2/74 29590
/proc/meminfo: memFree=321224/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=54308 CPUtime=1716.94
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 25648 0 0 0 170873 821 0 0 25 0 1 0 182642860 55611392 12847 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13577 12847 579 886 0 12687 0
Current children cumulated CPU time (s) 1716.94
Current children cumulated vsize (KiB) 54308
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/74 29590
/proc/meminfo: memFree=321160/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=54308 CPUtime=1776.93
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 25648 0 0 0 176848 845 0 0 25 0 1 0 182642860 55611392 12847 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13577 12847 579 886 0 12687 0
Current children cumulated CPU time (s) 1776.93
Current children cumulated vsize (KiB) 54308
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.87 2.00 1.99 3/74 29590
/proc/meminfo: memFree=321096/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=54308 CPUtime=1786.52
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 25671 0 0 0 177803 849 0 0 25 0 1 0 182642860 55611392 12870 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13577 12870 579 886 0 12687 0
Current children cumulated CPU time (s) 1786.52
Current children cumulated vsize (KiB) 54308
[startup+1798.3 s]
/proc/loadavg: 1.88 2.00 1.99 2/74 29590
/proc/meminfo: memFree=321096/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=54308 CPUtime=1792.92
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 25671 0 0 0 178439 853 0 0 25 0 1 0 182642860 55611392 12870 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13577 12870 579 886 0 12687 0
Current children cumulated CPU time (s) 1792.92
Current children cumulated vsize (KiB) 54308
[startup+1801.51 s]
/proc/loadavg: 1.89 2.00 1.99 3/74 29590
/proc/meminfo: memFree=321096/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=54308 CPUtime=1796.13
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 25671 0 0 0 178759 854 0 0 25 0 1 0 182642860 55611392 12870 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13577 12870 579 886 0 12687 0
Current children cumulated CPU time (s) 1796.13
Current children cumulated vsize (KiB) 54308
[startup+1803.1 s]
/proc/loadavg: 1.89 2.00 1.99 3/74 29590
/proc/meminfo: memFree=321096/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=54308 CPUtime=1797.72
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 25671 0 0 0 178917 855 0 0 25 0 1 0 182642860 55611392 12870 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13577 12870 579 886 0 12687 0
Current children cumulated CPU time (s) 1797.72
Current children cumulated vsize (KiB) 54308
[startup+1803.91 s]
/proc/loadavg: 1.89 2.00 1.99 3/74 29590
/proc/meminfo: memFree=321096/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=54308 CPUtime=1798.53
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 25671 0 0 0 178998 855 0 0 25 0 1 0 182642860 55611392 12870 1992294400 4194304 7823515 548682068736 18446744073709551615 6211042 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13577 12870 579 886 0 12687 0
Current children cumulated CPU time (s) 1798.53
Current children cumulated vsize (KiB) 54308
[startup+1804.7 s]
/proc/loadavg: 1.89 2.00 1.99 3/74 29590
/proc/meminfo: memFree=321096/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=54308 CPUtime=1799.32
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 25671 0 0 0 179077 855 0 0 25 0 1 0 182642860 55611392 12870 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29589/statm: 13577 12870 579 886 0 12687 0
Current children cumulated CPU time (s) 1799.32
Current children cumulated vsize (KiB) 54308
[startup+1805.11 s]
/proc/loadavg: 1.98 2.02 1.99 4/74 29590
/proc/meminfo: memFree=321096/2055920 swapFree=4179968/4192956
[pid=29589] ppid=29587 vsize=54308 CPUtime=1799.72
/proc/29589/stat : 29589 (pbscip.linux.x8) R 29587 29589 29383 0 -1 4194304 25673 0 0 0 179117 855 0 0 25 0 1 0 182642860 55611392 12872 1992294400 4194304 7823515 548682068736 18446744073709551615 4401518 0 0 4096 0 0 0 0 17 1 0 0
/proc/29589/statm: 13577 12872 581 886 0 12687 0
Current children cumulated CPU time (s) 1799.72
Current children cumulated vsize (KiB) 54308
Child status: 0
Real time (s): 1805.13
CPU time (s): 1799.75
CPU user time (s): 1791.18
CPU system time (s): 8.5657
CPU usage (%): 99.7021
Max. virtual memory (cumulated for all children) (KiB): 62544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.18
system time used= 8.5657
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25676
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= 17098
runsolver used 2.26365 second user time and 5.86711 second system time
The end