PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-seymour.opb
MD5SUM	05874b307d1504e7159d47fddfd8a0be
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	482
Optimality of the best value was proved	NO
Number of terms in the objective function	1372
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1372
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1372
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04884
Number of variables	1372
Total number of constraints	6316
Number of constraints which are clauses	4944
Number of constraints which are cardinality constraints (but not clauses)	1372
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	19
Trace number 25605

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 04:47:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18878 boxname=wulflinc31 idbench=1453 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  05874b307d1504e7159d47fddfd8a0be  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-seymour.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-seymour.opb
IDLAUNCH: 18878
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        582176 kB
Buffers:         34972 kB
Cached:         396608 kB
SwapCached:       1172 kB
Active:         300448 kB
Inactive:       133564 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        581924 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            12780 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 05:06:56 (client local time) WITH STATUS 10 IN 1178.34 SECONDS
stats: 18878 0 1178.34 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1372 variables and 4944 constraints.
c After prepocess the problem consists of 1255 variables and 4798 constraints.
c preprocess terminated 3.834 s
c Initial Lower Bound: 408
c Lower Bound Elapsed time: 11.4316
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1343 @ 61.544
c NEW SOLUTION FOUND: 1342 @ 61.58
c NEW SOLUTION FOUND: 1341 @ 61.598
c NEW SOLUTION FOUND: 1340 @ 61.617
c NEW SOLUTION FOUND: 1339 @ 61.635
c NEW SOLUTION FOUND: 1338 @ 61.654
c NEW SOLUTION FOUND: 1337 @ 61.69
c NEW SOLUTION FOUND: 1336 @ 61.709
c NEW SOLUTION FOUND: 1335 @ 61.727
c NEW SOLUTION FOUND: 1334 @ 61.746
c NEW SOLUTION FOUND: 1333 @ 61.765
c NEW SOLUTION FOUND: 1332 @ 61.783
c NEW SOLUTION FOUND: 1331 @ 61.802
c NEW SOLUTION FOUND: 1330 @ 61.821
c NEW SOLUTION FOUND: 1329 @ 61.839
c NEW SOLUTION FOUND: 1328 @ 61.858
c NEW SOLUTION FOUND: 1327 @ 61.876
c NEW SOLUTION FOUND: 1326 @ 61.895
c NEW SOLUTION FOUND: 1325 @ 61.914
c NEW SOLUTION FOUND: 1324 @ 61.932
c NEW SOLUTION FOUND: 1323 @ 61.951
c NEW SOLUTION FOUND: 1322 @ 61.97
c NEW SOLUTION FOUND: 1321 @ 61.988
c NEW SOLUTION FOUND: 1320 @ 62.007
c NEW SOLUTION FOUND: 1319 @ 62.025
c NEW SOLUTION FOUND: 1318 @ 62.044
c NEW SOLUTION FOUND: 1317 @ 62.062
c NEW SOLUTION FOUND: 1316 @ 62.081
c NEW SOLUTION FOUND: 1315 @ 62.1
c NEW SOLUTION FOUND: 1314 @ 62.118
c NEW SOLUTION FOUND: 1313 @ 62.137
c NEW SOLUTION FOUND: 1312 @ 62.155
c NEW SOLUTION FOUND: 1311 @ 62.174
c NEW SOLUTION FOUND: 1310 @ 62.193
c NEW SOLUTION FOUND: 1309 @ 62.211
c NEW SOLUTION FOUND: 1308 @ 62.229
c NEW SOLUTION FOUND: 1307 @ 62.248
c NEW SOLUTION FOUND: 1306 @ 62.267
c NEW SOLUTION FOUND: 1305 @ 62.285
c NEW SOLUTION FOUND: 1304 @ 62.304
c NEW SOLUTION FOUND: 1303 @ 62.322
c NEW SOLUTION FOUND: 1302 @ 62.341
c NEW SOLUTION FOUND: 1301 @ 62.359
c NEW SOLUTION FOUND: 1300 @ 62.378
c NEW SOLUTION FOUND: 1299 @ 62.396
c NEW SOLUTION FOUND: 1298 @ 62.415
c NEW SOLUTION FOUND: 1297 @ 62.453
c NEW SOLUTION FOUND: 1296 @ 62.473
c NEW SOLUTION FOUND: 1295 @ 62.493
c NEW SOLUTION FOUND: 1294 @ 62.513
c NEW SOLUTION FOUND: 1293 @ 62.533
c NEW SOLUTION FOUND: 1292 @ 62.552
c NEW SOLUTION FOUND: 1291 @ 62.572
c NEW SOLUTION FOUND: 1290 @ 62.592
c NEW SOLUTION FOUND: 1289 @ 62.612
c NEW SOLUTION FOUND: 1288 @ 62.631
c NEW SOLUTION FOUND: 1287 @ 62.651
c NEW SOLUTION FOUND: 1286 @ 62.671
c NEW SOLUTION FOUND: 1285 @ 62.691
c NEW SOLUTION FOUND: 1284 @ 62.711
c NEW SOLUTION FOUND: 1283 @ 62.732
c NEW SOLUTION FOUND: 1282 @ 62.752
c NEW SOLUTION FOUND: 1281 @ 62.771
c NEW SOLUTION FOUND: 1280 @ 62.791
c NEW SOLUTION FOUND: 1279 @ 62.811
c NEW SOLUTION FOUND: 1278 @ 62.831
c NEW SOLUTION FOUND: 1277 @ 62.851
c NEW SOLUTION FOUND: 1276 @ 62.871
c NEW SOLUTION FOUND: 1275 @ 62.89
c NEW SOLUTION FOUND: 1274 @ 62.91
c NEW SOLUTION FOUND: 1273 @ 62.93
c NEW SOLUTION FOUND: 1272 @ 62.95
c NEW SOLUTION FOUND: 1271 @ 62.97
c NEW SOLUTION FOUND: 1270 @ 62.99
c NEW SOLUTION FOUND: 1269 @ 63.01
c NEW SOLUTION FOUND: 1268 @ 63.029
c NEW SOLUTION FOUND: 1267 @ 63.049
c NEW SOLUTION FOUND: 1266 @ 63.069
c NEW SOLUTION FOUND: 1265 @ 63.089
c NEW SOLUTION FOUND: 1264 @ 63.108
c NEW SOLUTION FOUND: 1263 @ 63.128
c NEW SOLUTION FOUND: 1262 @ 63.148
c NEW SOLUTION FOUND: 1261 @ 63.168
c NEW SOLUTION FOUND: 1260 @ 63.187
c NEW SOLUTION FOUND: 1259 @ 63.207
c NEW SOLUTION FOUND: 1258 @ 63.227
c NEW SOLUTION FOUND: 1257 @ 63.246
c NEW SOLUTION FOUND: 1256 @ 63.266
c NEW SOLUTION FOUND: 1255 @ 63.286
c NEW SOLUTION FOUND: 1254 @ 63.306
c NEW SOLUTION FOUND: 1253 @ 63.346
c NEW SOLUTION FOUND: 1252 @ 63.385
c NEW SOLUTION FOUND: 1251 @ 63.404
c NEW SOLUTION FOUND: 1250 @ 63.445
c NEW SOLUTION FOUND: 1249 @ 63.485
c NEW SOLUTION FOUND: 1248 @ 63.526
c NEW SOLUTION FOUND: 1247 @ 63.546
c NEW SOLUTION FOUND: 1246 @ 63.566
c NEW SOLUTION FOUND: 1245 @ 63.607
c NEW SOLUTION FOUND: 1244 @ 63.628
c NEW SOLUTION FOUND: 1243 @ 63.648
c NEW SOLUTION FOUND: 1242 @ 63.669
c NEW SOLUTION FOUND: 1241 @ 63.69
c NEW SOLUTION FOUND: 1240 @ 63.732
c NEW SOLUTION FOUND: 1239 @ 63.752
c NEW SOLUTION FOUND: 1238 @ 63.773
c NEW SOLUTION FOUND: 1237 @ 63.814
c NEW SOLUTION FOUND: 1236 @ 63.857
c NEW SOLUTION FOUND: 1235 @ 63.899
c NEW SOLUTION FOUND: 1234 @ 63.941
c NEW SOLUTION FOUND: 1233 @ 63.962
c NEW SOLUTION FOUND: 1232 @ 63.984
c NEW SOLUTION FOUND: 1231 @ 64.005
c NEW SOLUTION FOUND: 1230 @ 64.027
c NEW SOLUTION FOUND: 1229 @ 64.07
c NEW SOLUTION FOUND: 1228 @ 64.114
c NEW SOLUTION FOUND: 1227 @ 64.135
c NEW SOLUTION FOUND: 1226 @ 64.157
c NEW SOLUTION FOUND: 1225 @ 64.179
c NEW SOLUTION FOUND: 1224 @ 64.223
c NEW SOLUTION FOUND: 1223 @ 64.244
c NEW SOLUTION FOUND: 1222 @ 64.267
c NEW SOLUTION FOUND: 1221 @ 64.289
c NEW SOLUTION FOUND: 1220 @ 64.311
c NEW SOLUTION FOUND: 1219 @ 64.333
c NEW SOLUTION FOUND: 1218 @ 64.355
c NEW SOLUTION FOUND: 1217 @ 64.399
c NEW SOLUTION FOUND: 1216 @ 64.443
c NEW SOLUTION FOUND: 1215 @ 64.465
c NEW SOLUTION FOUND: 1214 @ 64.51
c NEW SOLUTION FOUND: 1213 @ 64.532
c NEW SOLUTION FOUND: 1212 @ 64.554
c NEW SOLUTION FOUND: 1211 @ 64.577
c NEW SOLUTION FOUND: 1210 @ 64.599
c NEW SOLUTION FOUND: 1209 @ 64.622
c NEW SOLUTION FOUND: 1208 @ 64.645
c NEW SOLUTION FOUND: 1207 @ 64.667
c NEW SOLUTION FOUND: 1206 @ 64.712
c NEW SOLUTION FOUND: 1205 @ 64.734
c NEW SOLUTION FOUND: 1204 @ 64.757
c NEW SOLUTION FOUND: 1203 @ 64.802
c NEW SOLUTION FOUND: 1202 @ 64.848
c NEW SOLUTION FOUND: 1201 @ 64.87
c NEW SOLUTION FOUND: 1200 @ 64.893
c NEW SOLUTION FOUND: 1199 @ 64.938
c NEW SOLUTION FOUND: 1198 @ 64.96
c NEW SOLUTION FOUND: 1197 @ 65.007
c NEW SOLUTION FOUND: 1196 @ 65.029
c NEW SOLUTION FOUND: 1195 @ 65.052
c NEW SOLUTION FOUND: 1194 @ 65.097
c NEW SOLUTION FOUND: 1193 @ 65.12
c NEW SOLUTION FOUND: 1192 @ 65.143
c NEW SOLUTION FOUND: 1191 @ 65.235
c NEW SOLUTION FOUND: 1190 @ 65.304
c NEW SOLUTION FOUND: 1189 @ 65.376
c NEW SOLUTION FOUND: 1188 @ 65.426
c NEW SOLUTION FOUND: 1187 @ 65.451
c NEW SOLUTION FOUND: 1186 @ 65.476
c NEW SOLUTION FOUND: 1185 @ 65.502
c NEW SOLUTION FOUND: 1184 @ 65.527
c NEW SOLUTION FOUND: 1183 @ 65.553
c NEW SOLUTION FOUND: 1182 @ 65.605
c NEW SOLUTION FOUND: 1181 @ 65.63
c NEW SOLUTION FOUND: 1180 @ 65.656
c NEW SOLUTION FOUND: 1179 @ 65.682
c NEW SOLUTION FOUND: 1178 @ 65.708
c NEW SOLUTION FOUND: 1177 @ 65.735
c NEW SOLUTION FOUND: 1176 @ 65.761
c NEW SOLUTION FOUND: 1175 @ 65.786
c NEW SOLUTION FOUND: 1174 @ 65.813
c NEW SOLUTION FOUND: 1173 @ 65.839
c NEW SOLUTION FOUND: 1172 @ 65.865
c NEW SOLUTION FOUND: 1171 @ 65.89
c NEW SOLUTION FOUND: 1170 @ 65.917
c NEW SOLUTION FOUND: 1169 @ 65.943
c NEW SOLUTION FOUND: 1168 @ 65.969
c NEW SOLUTION FOUND: 1167 @ 65.995
c NEW SOLUTION FOUND: 1166 @ 66.021
c NEW SOLUTION FOUND: 1165 @ 66.047
c NEW SOLUTION FOUND: 1164 @ 66.073
c NEW SOLUTION FOUND: 1163 @ 66.099
c NEW SOLUTION FOUND: 1162 @ 66.125
c NEW SOLUTION FOUND: 1161 @ 66.151
c NEW SOLUTION FOUND: 1160 @ 66.228
c NEW SOLUTION FOUND: 1159 @ 66.253
c NEW SOLUTION FOUND: 1158 @ 66.331
c NEW SOLUTION FOUND: 1157 @ 66.385
c NEW SOLUTION FOUND: 1156 @ 66.412
c NEW SOLUTION FOUND: 1155 @ 66.438
c NEW SOLUTION FOUND: 1154 @ 66.465
c NEW SOLUTION FOUND: 1153 @ 66.519
c NEW SOLUTION FOUND: 1152 @ 66.545
c NEW SOLUTION FOUND: 1151 @ 66.573
c NEW SOLUTION FOUND: 1150 @ 66.6
c NEW SOLUTION FOUND: 1149 @ 66.627
c NEW SOLUTION FOUND: 1148 @ 66.681
c NEW SOLUTION FOUND: 1147 @ 66.738
c NEW SOLUTION FOUND: 1146 @ 66.765
c NEW SOLUTION FOUND: 1145 @ 66.794
c NEW SOLUTION FOUND: 1144 @ 66.849
c NEW SOLUTION FOUND: 1143 @ 66.879
c NEW SOLUTION FOUND: 1142 @ 66.908
c NEW SOLUTION FOUND: 1141 @ 66.937
c NEW SOLUTION FOUND: 1140 @ 66.995
c NEW SOLUTION FOUND: 1139 @ 67.024
c NEW SOLUTION FOUND: 1138 @ 67.054
c NEW SOLUTION FOUND: 1137 @ 67.085
c NEW SOLUTION FOUND: 1136 @ 67.145
c NEW SOLUTION FOUND: 1135 @ 67.175
c NEW SOLUTION FOUND: 1134 @ 67.207
c NEW SOLUTION FOUND: 1133 @ 67.237
c NEW SOLUTION FOUND: 1132 @ 67.268
c NEW SOLUTION FOUND: 1131 @ 67.3
c NEW SOLUTION FOUND: 1130 @ 67.331
c NEW SOLUTION FOUND: 1129 @ 67.362
c NEW SOLUTION FOUND: 1128 @ 67.393
c NEW SOLUTION FOUND: 1127 @ 67.425
c NEW SOLUTION FOUND: 1126 @ 67.456
c NEW SOLUTION FOUND: 1125 @ 67.487
c NEW SOLUTION FOUND: 1124 @ 67.518
c NEW SOLUTION FOUND: 1123 @ 67.549
c NEW SOLUTION FOUND: 1122 @ 67.58
c NEW SOLUTION FOUND: 1121 @ 67.611
c NEW SOLUTION FOUND: 1120 @ 67.643
c NEW SOLUTION FOUND: 1119 @ 67.674
c NEW SOLUTION FOUND: 1118 @ 67.705
c NEW SOLUTION FOUND: 1117 @ 67.737
c NEW SOLUTION FOUND: 1116 @ 67.768
c NEW SOLUTION FOUND: 1115 @ 67.817
c NEW SOLUTION FOUND: 1114 @ 67.848
c NEW SOLUTION FOUND: 1113 @ 67.88
c NEW SOLUTION FOUND: 1112 @ 67.912
c NEW SOLUTION FOUND: 1111 @ 67.944
c NEW SOLUTION FOUND: 1110 @ 68.041
c NEW SOLUTION FOUND: 1109 @ 68.074
c NEW SOLUTION FOUND: 1108 @ 68.107
c NEW SOLUTION FOUND: 1107 @ 68.14
c NEW SOLUTION FOUND: 1106 @ 68.173
c NEW SOLUTION FOUND: 1105 @ 68.206
c NEW SOLUTION FOUND: 1104 @ 68.239
c NEW SOLUTION FOUND: 1103 @ 68.272
c NEW SOLUTION FOUND: 1102 @ 68.305
c NEW SOLUTION FOUND: 1101 @ 68.339
c NEW SOLUTION FOUND: 1100 @ 68.373
c NEW SOLUTION FOUND: 1099 @ 68.406
c NEW SOLUTION FOUND: 1098 @ 68.439
c NEW SOLUTION FOUND: 1097 @ 68.538
c NEW SOLUTION FOUND: 1096 @ 68.571
c NEW SOLUTION FOUND: 1095 @ 68.604
c NEW SOLUTION FOUND: 1094 @ 68.637
c NEW SOLUTION FOUND: 1093 @ 68.672
c NEW SOLUTION FOUND: 1092 @ 68.706
c NEW SOLUTION FOUND: 1091 @ 68.739
c NEW SOLUTION FOUND: 1090 @ 68.773
c NEW SOLUTION FOUND: 1089 @ 68.807
c NEW SOLUTION FOUND: 1088 @ 68.84
c NEW SOLUTION FOUND: 1087 @ 68.873
c NEW SOLUTION FOUND: 1086 @ 68.907
c NEW SOLUTION FOUND: 1085 @ 68.94
c NEW SOLUTION FOUND: 1084 @ 68.973
c NEW SOLUTION FOUND: 1083 @ 69.006
c NEW SOLUTION FOUND: 1082 @ 69.04
c NEW SOLUTION FOUND: 1081 @ 69.076
c NEW SOLUTION FOUND: 1080 @ 69.108
c NEW SOLUTION FOUND: 1079 @ 69.142
c NEW SOLUTION FOUND: 1078 @ 69.175
c NEW SOLUTION FOUND: 1077 @ 69.209
c NEW SOLUTION FOUND: 1076 @ 69.243
c NEW SOLUTION FOUND: 1075 @ 69.277
c NEW SOLUTION FOUND: 1074 @ 69.311
c NEW SOLUTION FOUND: 1073 @ 69.345
c NEW SOLUTION FOUND: 1072 @ 69.379
c NEW SOLUTION FOUND: 1071 @ 69.414
c NEW SOLUTION FOUND: 1070 @ 69.448
c NEW SOLUTION FOUND: 1069 @ 69.482
c NEW SOLUTION FOUND: 1068 @ 69.515
c NEW SOLUTION FOUND: 1067 @ 69.549
c NEW SOLUTION FOUND: 1066 @ 69.583
c NEW SOLUTION FOUND: 1065 @ 69.618
c NEW SOLUTION FOUND: 1064 @ 69.651
c NEW SOLUTION FOUND: 1063 @ 69.685
c NEW SOLUTION FOUND: 1062 @ 69.719
c NEW SOLUTION FOUND: 1061 @ 69.754
c NEW SOLUTION FOUND: 1060 @ 69.788
c NEW SOLUTION FOUND: 1059 @ 69.821
c NEW SOLUTION FOUND: 1058 @ 69.855
c NEW SOLUTION FOUND: 1057 @ 69.889
c NEW SOLUTION FOUND: 1056 @ 69.923
c NEW SOLUTION FOUND: 1055 @ 69.958
c NEW SOLUTION FOUND: 1054 @ 69.994
c NEW SOLUTION FOUND: 1053 @ 70.028
c NEW SOLUTION FOUND: 1052 @ 70.062
c NEW SOLUTION FOUND: 1051 @ 70.096
c NEW SOLUTION FOUND: 1050 @ 70.13
c NEW SOLUTION FOUND: 1049 @ 70.164
c NEW SOLUTION FOUND: 1048 @ 70.198
c NEW SOLUTION FOUND: 1047 @ 70.232
c NEW SOLUTION FOUND: 1046 @ 70.266
c NEW SOLUTION FOUND: 1045 @ 70.3
c NEW SOLUTION FOUND: 1044 @ 70.334
c NEW SOLUTION FOUND: 1043 @ 70.368
c NEW SOLUTION FOUND: 1042 @ 70.403
c NEW SOLUTION FOUND: 1041 @ 70.437
c NEW SOLUTION FOUND: 1040 @ 70.471
c NEW SOLUTION FOUND: 1039 @ 70.505
c NEW SOLUTION FOUND: 1038 @ 70.539
c NEW SOLUTION FOUND: 1037 @ 70.573
c NEW SOLUTION FOUND: 1036 @ 70.607
c NEW SOLUTION FOUND: 1035 @ 70.642
c NEW SOLUTION FOUND: 1034 @ 70.676
c NEW SOLUTION FOUND: 1033 @ 70.71
c NEW SOLUTION FOUND: 1032 @ 70.743
c NEW SOLUTION FOUND: 1031 @ 70.778
c NEW SOLUTION FOUND: 1030 @ 70.812
c NEW SOLUTION FOUND: 1029 @ 70.846
c NEW SOLUTION FOUND: 1028 @ 70.88
c NEW SOLUTION FOUND: 1027 @ 70.916
c NEW SOLUTION FOUND: 1026 @ 70.951
c NEW SOLUTION FOUND: 1025 @ 70.985
c NEW SOLUTION FOUND: 1024 @ 71.019
c NEW SOLUTION FOUND: 1023 @ 71.055
c NEW SOLUTION FOUND: 1022 @ 71.09
c NEW SOLUTION FOUND: 1021 @ 71.123
c NEW SOLUTION FOUND: 1020 @ 71.158
c NEW SOLUTION FOUND: 1019 @ 71.192
c NEW SOLUTION FOUND: 1018 @ 71.226
c NEW SOLUTION FOUND: 1017 @ 71.26
c NEW SOLUTION FOUND: 1016 @ 71.294
c NEW SOLUTION FOUND: 1015 @ 71.328
c NEW SOLUTION FOUND: 1014 @ 71.362
c NEW SOLUTION FOUND: 1013 @ 71.396
c NEW SOLUTION FOUND: 1012 @ 71.43
c NEW SOLUTION FOUND: 1011 @ 71.464
c NEW SOLUTION FOUND: 1010 @ 71.498
c NEW SOLUTION FOUND: 1009 @ 71.532
c NEW SOLUTION FOUND: 1008 @ 71.566
c NEW SOLUTION FOUND: 1007 @ 71.599
c NEW SOLUTION FOUND: 1006 @ 71.633
c NEW SOLUTION FOUND: 1005 @ 71.667
c NEW SOLUTION FOUND: 1004 @ 71.702
c NEW SOLUTION FOUND: 1003 @ 71.736
c NEW SOLUTION FOUND: 1002 @ 71.77
c NEW SOLUTION FOUND: 1001 @ 71.804
c NEW SOLUTION FOUND: 1000 @ 71.838
c NEW SOLUTION FOUND: 999 @ 71.872
c NEW SOLUTION FOUND: 998 @ 71.905
c NEW SOLUTION FOUND: 997 @ 71.939
c NEW SOLUTION FOUND: 996 @ 71.973
c NEW SOLUTION FOUND: 995 @ 72.007
c NEW SOLUTION FOUND: 994 @ 72.041
c NEW SOLUTION FOUND: 993 @ 72.075
c NEW SOLUTION FOUND: 992 @ 72.109
c NEW SOLUTION FOUND: 991 @ 72.143
c NEW SOLUTION FOUND: 990 @ 72.177
c NEW SOLUTION FOUND: 989 @ 72.211
c NEW SOLUTION FOUND: 988 @ 72.245
c NEW SOLUTION FOUND: 987 @ 72.279
c NEW SOLUTION FOUND: 986 @ 72.313
c NEW SOLUTION FOUND: 985 @ 72.347
c NEW SOLUTION FOUND: 984 @ 72.381
c NEW SOLUTION FOUND: 983 @ 72.416
c NEW SOLUTION FOUND: 982 @ 72.45
c NEW SOLUTION FOUND: 981 @ 72.484
c NEW SOLUTION FOUND: 980 @ 72.518
c NEW SOLUTION FOUND: 979 @ 72.552
c NEW SOLUTION FOUND: 978 @ 72.585
c NEW SOLUTION FOUND: 977 @ 72.619
c NEW SOLUTION FOUND: 976 @ 72.654
c NEW SOLUTION FOUND: 975 @ 72.687
c NEW SOLUTION FOUND: 974 @ 72.721
c NEW SOLUTION FOUND: 973 @ 72.755
c NEW SOLUTION FOUND: 972 @ 72.789
c NEW SOLUTION FOUND: 971 @ 72.823
c NEW SOLUTION FOUND: 970 @ 72.857
c NEW SOLUTION FOUND: 969 @ 72.892
c NEW SOLUTION FOUND: 968 @ 72.926
c NEW SOLUTION FOUND: 967 @ 72.995
c NEW SOLUTION FOUND: 966 @ 73.028
c NEW SOLUTION FOUND: 965 @ 73.063
c NEW SOLUTION FOUND: 964 @ 73.097
c NEW SOLUTION FOUND: 963 @ 73.131
c NEW SOLUTION FOUND: 962 @ 73.166
c NEW SOLUTION FOUND: 961 @ 73.2
c NEW SOLUTION FOUND: 960 @ 73.234
c NEW SOLUTION FOUND: 959 @ 73.268
c NEW SOLUTION FOUND: 958 @ 73.301
c NEW SOLUTION FOUND: 957 @ 73.335
c NEW SOLUTION FOUND: 956 @ 73.369
c NEW SOLUTION FOUND: 955 @ 73.404
c NEW SOLUTION FOUND: 954 @ 73.438
c NEW SOLUTION FOUND: 953 @ 73.472
c NEW SOLUTION FOUND: 952 @ 73.506
c NEW SOLUTION FOUND: 951 @ 73.541
c NEW SOLUTION FOUND: 950 @ 73.575
c NEW SOLUTION FOUND: 949 @ 73.609
c NEW SOLUTION FOUND: 948 @ 73.643
c NEW SOLUTION FOUND: 947 @ 73.677
c NEW SOLUTION FOUND: 946 @ 73.711
c NEW SOLUTION FOUND: 945 @ 73.745
c NEW SOLUTION FOUND: 944 @ 73.78
c NEW SOLUTION FOUND: 943 @ 73.882
c NEW SOLUTION FOUND: 942 @ 73.916
c NEW SOLUTION FOUND: 941 @ 73.951
c NEW SOLUTION FOUND: 940 @ 73.985
c NEW SOLUTION FOUND: 939 @ 74.021
c NEW SOLUTION FOUND: 938 @ 74.058
c NEW SOLUTION FOUND: 937 @ 74.094
c NEW SOLUTION FOUND: 936 @ 74.165
c NEW SOLUTION FOUND: 935 @ 74.201
c NEW SOLUTION FOUND: 934 @ 74.238
c NEW SOLUTION FOUND: 933 @ 74.274
c NEW SOLUTION FOUND: 932 @ 74.31
c NEW SOLUTION FOUND: 931 @ 74.346
c NEW SOLUTION FOUND: 930 @ 74.382
c NEW SOLUTION FOUND: 929 @ 74.418
c NEW SOLUTION FOUND: 928 @ 74.455
c NEW SOLUTION FOUND: 927 @ 74.491
c NEW SOLUTION FOUND: 926 @ 74.528
c NEW SOLUTION FOUND: 925 @ 74.564
c NEW SOLUTION FOUND: 924 @ 74.6
c NEW SOLUTION FOUND: 923 @ 74.636
c NEW SOLUTION FOUND: 922 @ 74.672
c NEW SOLUTION FOUND: 921 @ 74.71
c NEW SOLUTION FOUND: 920 @ 74.746
c NEW SOLUTION FOUND: 919 @ 74.782
c NEW SOLUTION FOUND: 918 @ 74.818
c NEW SOLUTION FOUND: 917 @ 74.855
c NEW SOLUTION FOUND: 916 @ 74.891
c NEW SOLUTION FOUND: 915 @ 74.927
c NEW SOLUTION FOUND: 914 @ 74.963
c NEW SOLUTION FOUND: 913 @ 74.999
c NEW SOLUTION FOUND: 912 @ 75.035
c NEW SOLUTION FOUND: 911 @ 75.071
c NEW SOLUTION FOUND: 910 @ 75.108
c NEW SOLUTION FOUND: 909 @ 75.144
c NEW SOLUTION FOUND: 908 @ 75.18
c NEW SOLUTION FOUND: 907 @ 75.217
c NEW SOLUTION FOUND: 906 @ 75.253
c NEW SOLUTION FOUND: 905 @ 75.289
c NEW SOLUTION FOUND: 904 @ 75.326
c NEW SOLUTION FOUND: 903 @ 75.362
c NEW SOLUTION FOUND: 902 @ 75.4
c NEW SOLUTION FOUND: 901 @ 75.436
c NEW SOLUTION FOUND: 900 @ 75.473
c NEW SOLUTION FOUND: 899 @ 75.509
c NEW SOLUTION FOUND: 898 @ 75.545
c NEW SOLUTION FOUND: 897 @ 75.581
c NEW SOLUTION FOUND: 896 @ 75.617
c NEW SOLUTION FOUND: 895 @ 75.654
c NEW SOLUTION FOUND: 894 @ 75.69
c NEW SOLUTION FOUND: 893 @ 75.726
c NEW SOLUTION FOUND: 892 @ 75.763
c NEW SOLUTION FOUND: 891 @ 75.799
c NEW SOLUTION FOUND: 890 @ 75.835
c NEW SOLUTION FOUND: 889 @ 75.871
c NEW SOLUTION FOUND: 888 @ 75.907
c NEW SOLUTION FOUND: 887 @ 75.944
c NEW SOLUTION FOUND: 886 @ 75.98
c NEW SOLUTION FOUND: 885 @ 76.016
c NEW SOLUTION FOUND: 884 @ 76.052
c NEW SOLUTION FOUND: 883 @ 76.088
c NEW SOLUTION FOUND: 882 @ 76.124
c NEW SOLUTION FOUND: 881 @ 76.16
c NEW SOLUTION FOUND: 880 @ 76.196
c NEW SOLUTION FOUND: 879 @ 76.233
c NEW SOLUTION FOUND: 878 @ 76.269
c NEW SOLUTION FOUND: 877 @ 76.305
c NEW SOLUTION FOUND: 876 @ 76.342
c NEW SOLUTION FOUND: 875 @ 76.378
c NEW SOLUTION FOUND: 874 @ 76.414
c NEW SOLUTION FOUND: 873 @ 76.45
c NEW SOLUTION FOUND: 872 @ 76.486
c NEW SOLUTION FOUND: 871 @ 76.522
c NEW SOLUTION FOUND: 870 @ 76.558
c NEW SOLUTION FOUND: 869 @ 76.593
c NEW SOLUTION FOUND: 868 @ 76.629
c NEW SOLUTION FOUND: 867 @ 76.665
c NEW SOLUTION FOUND: 866 @ 76.701
c NEW SOLUTION FOUND: 865 @ 76.737
c NEW SOLUTION FOUND: 864 @ 76.773
c NEW SOLUTION FOUND: 863 @ 76.809
c NEW SOLUTION FOUND: 862 @ 76.846
c NEW SOLUTION FOUND: 861 @ 76.881
c NEW SOLUTION FOUND: 860 @ 76.918
c NEW SOLUTION FOUND: 859 @ 76.953
c NEW SOLUTION FOUND: 858 @ 76.99
c NEW SOLUTION FOUND: 857 @ 77.025
c NEW SOLUTION FOUND: 856 @ 77.062
c NEW SOLUTION FOUND: 855 @ 77.097
c NEW SOLUTION FOUND: 854 @ 77.133
c NEW SOLUTION FOUND: 853 @ 77.169
c NEW SOLUTION FOUND: 852 @ 77.205
c NEW SOLUTION FOUND: 851 @ 77.24
c NEW SOLUTION FOUND: 850 @ 77.276
c NEW SOLUTION FOUND: 849 @ 77.312
c NEW SOLUTION FOUND: 848 @ 77.348
c NEW SOLUTION FOUND: 847 @ 77.384
c NEW SOLUTION FOUND: 846 @ 77.421
c NEW SOLUTION FOUND: 845 @ 77.456
c NEW SOLUTION FOUND: 844 @ 77.492
c NEW SOLUTION FOUND: 843 @ 77.528
c NEW SOLUTION FOUND: 842 @ 77.564
c NEW SOLUTION FOUND: 841 @ 77.599
c NEW SOLUTION FOUND: 840 @ 77.635
c NEW SOLUTION FOUND: 839 @ 77.67
c NEW SOLUTION FOUND: 838 @ 77.706
c NEW SOLUTION FOUND: 837 @ 77.742
c NEW SOLUTION FOUND: 836 @ 77.778
c NEW SOLUTION FOUND: 835 @ 77.815
c NEW SOLUTION FOUND: 834 @ 77.85
c NEW SOLUTION FOUND: 833 @ 77.886
c NEW SOLUTION FOUND: 832 @ 77.922
c NEW SOLUTION FOUND: 831 @ 77.958
c NEW SOLUTION FOUND: 830 @ 77.994
c NEW SOLUTION FOUND: 829 @ 78.03
c NEW SOLUTION FOUND: 828 @ 78.065
c NEW SOLUTION FOUND: 827 @ 78.102
c NEW SOLUTION FOUND: 826 @ 78.137
c NEW SOLUTION FOUND: 825 @ 78.173
c NEW SOLUTION FOUND: 824 @ 78.208
c NEW SOLUTION FOUND: 823 @ 78.244
c NEW SOLUTION FOUND: 822 @ 78.279
c NEW SOLUTION FOUND: 821 @ 78.315
c NEW SOLUTION FOUND: 820 @ 78.351
c NEW SOLUTION FOUND: 819 @ 78.386
c NEW SOLUTION FOUND: 818 @ 78.422
c NEW SOLUTION FOUND: 817 @ 78.458
c NEW SOLUTION FOUND: 816 @ 78.494
c NEW SOLUTION FOUND: 815 @ 78.53
c NEW SOLUTION FOUND: 814 @ 78.566
c NEW SOLUTION FOUND: 813 @ 78.602
c NEW SOLUTION FOUND: 812 @ 78.673
c NEW SOLUTION FOUND: 811 @ 78.709
c NEW SOLUTION FOUND: 810 @ 78.745
c NEW SOLUTION FOUND: 809 @ 78.781
c NEW SOLUTION FOUND: 808 @ 78.817
c NEW SOLUTION FOUND: 807 @ 78.853
c NEW SOLUTION FOUND: 806 @ 78.889
c NEW SOLUTION FOUND: 805 @ 78.925
c NEW SOLUTION FOUND: 804 @ 78.961
c NEW SOLUTION FOUND: 803 @ 78.997
c NEW SOLUTION FOUND: 802 @ 79.032
c NEW SOLUTION FOUND: 801 @ 79.069
c NEW SOLUTION FOUND: 800 @ 79.105
c NEW SOLUTION FOUND: 799 @ 79.141
c NEW SOLUTION FOUND: 798 @ 79.178
c NEW SOLUTION FOUND: 797 @ 79.214
c NEW SOLUTION FOUND: 796 @ 79.25
c NEW SOLUTION FOUND: 795 @ 79.287
c NEW SOLUTION FOUND: 794 @ 79.362
c NEW SOLUTION FOUND: 793 @ 79.508
c NEW SOLUTION FOUND: 792 @ 79.547
c NEW SOLUTION FOUND: 791 @ 79.585
c NEW SOLUTION FOUND: 790 @ 79.624
c NEW SOLUTION FOUND: 789 @ 79.662
c NEW SOLUTION FOUND: 788 @ 79.701
c NEW SOLUTION FOUND: 787 @ 79.739
c NEW SOLUTION FOUND: 786 @ 79.778
c NEW SOLUTION FOUND: 785 @ 79.816
c NEW SOLUTION FOUND: 784 @ 79.855
c NEW SOLUTION FOUND: 783 @ 79.893
c NEW SOLUTION FOUND: 782 @ 79.932
c NEW SOLUTION FOUND: 781 @ 79.972
c NEW SOLUTION FOUND: 780 @ 80.011
c NEW SOLUTION FOUND: 779 @ 80.05
c NEW SOLUTION FOUND: 778 @ 80.089
c NEW SOLUTION FOUND: 777 @ 80.128
c NEW SOLUTION FOUND: 776 @ 80.165
c NEW SOLUTION FOUND: 775 @ 80.203
c NEW SOLUTION FOUND: 774 @ 80.244
c NEW SOLUTION FOUND: 773 @ 80.283
c NEW SOLUTION FOUND: 772 @ 80.322
c NEW SOLUTION FOUND: 771 @ 80.361
c NEW SOLUTION FOUND: 770 @ 80.438
c NEW SOLUTION FOUND: 769 @ 80.478
c NEW SOLUTION FOUND: 768 @ 80.518
c NEW SOLUTION FOUND: 767 @ 80.557
c NEW SOLUTION FOUND: 766 @ 80.597
c NEW SOLUTION FOUND: 765 @ 80.638
c NEW SOLUTION FOUND: 764 @ 80.679
c NEW SOLUTION FOUND: 763 @ 80.72
c NEW SOLUTION FOUND: 762 @ 80.76
c NEW SOLUTION FOUND: 761 @ 80.802
c NEW SOLUTION FOUND: 760 @ 80.84
c NEW SOLUTION FOUND: 759 @ 80.963
c NEW SOLUTION FOUND: 758 @ 81.007
c NEW SOLUTION FOUND: 757 @ 81.048
c NEW SOLUTION FOUND: 756 @ 81.132
c NEW SOLUTION FOUND: 755 @ 81.174
c NEW SOLUTION FOUND: 754 @ 81.216
c NEW SOLUTION FOUND: 753 @ 81.258
c NEW SOLUTION FOUND: 752 @ 81.301
c NEW SOLUTION FOUND: 751 @ 81.343
c NEW SOLUTION FOUND: 750 @ 81.387
c NEW SOLUTION FOUND: 749 @ 81.431
c NEW SOLUTION FOUND: 748 @ 81.473
c NEW SOLUTION FOUND: 747 @ 81.516
c NEW SOLUTION FOUND: 746 @ 81.559
c NEW SOLUTION FOUND: 745 @ 81.601
c NEW SOLUTION FOUND: 744 @ 81.643
c NEW SOLUTION FOUND: 743 @ 81.685
c NEW SOLUTION FOUND: 742 @ 81.77
c NEW SOLUTION FOUND: 741 @ 81.812
c NEW SOLUTION FOUND: 740 @ 81.854
c NEW SOLUTION FOUND: 739 @ 81.898
c NEW SOLUTION FOUND: 738 @ 81.941
c NEW SOLUTION FOUND: 737 @ 81.983
c NEW SOLUTION FOUND: 736 @ 82.025
c NEW SOLUTION FOUND: 735 @ 82.067
c NEW SOLUTION FOUND: 734 @ 82.152
c NEW SOLUTION FOUND: 733 @ 82.194
c NEW SOLUTION FOUND: 732 @ 82.237
c NEW SOLUTION FOUND: 731 @ 82.281
c NEW SOLUTION FOUND: 730 @ 82.324
c NEW SOLUTION FOUND: 729 @ 82.368
c NEW SOLUTION FOUND: 728 @ 82.411
c NEW SOLUTION FOUND: 727 @ 82.455
c NEW SOLUTION FOUND: 726 @ 82.498
c NEW SOLUTION FOUND: 725 @ 82.585
c NEW SOLUTION FOUND: 724 @ 82.628
c NEW SOLUTION FOUND: 723 @ 82.672
c NEW SOLUTION FOUND: 722 @ 82.717
c NEW SOLUTION FOUND: 721 @ 82.761
c NEW SOLUTION FOUND: 720 @ 82.805
c NEW SOLUTION FOUND: 719 @ 82.847
c NEW SOLUTION FOUND: 718 @ 82.935
c NEW SOLUTION FOUND: 717 @ 83.029
c NEW SOLUTION FOUND: 716 @ 83.119
c NEW SOLUTION FOUND: 715 @ 83.168
c NEW SOLUTION FOUND: 714 @ 83.313
c NEW SOLUTION FOUND: 713 @ 83.365
c NEW SOLUTION FOUND: 712 @ 83.525
c NEW SOLUTION FOUND: 711 @ 83.578
c NEW SOLUTION FOUND: 710 @ 83.634
c NEW SOLUTION FOUND: 709 @ 83.687
c NEW SOLUTION FOUND: 708 @ 83.743
c NEW SOLUTION FOUND: 707 @ 83.8
c NEW SOLUTION FOUND: 706 @ 83.858
c NEW SOLUTION FOUND: 705 @ 83.915
c NEW SOLUTION FOUND: 704 @ 83.967
c NEW SOLUTION FOUND: 703 @ 84.026
c NEW SOLUTION FOUND: 702 @ 84.079
c NEW SOLUTION FOUND: 701 @ 84.136
c NEW SOLUTION FOUND: 700 @ 84.195
c NEW SOLUTION FOUND: 699 @ 84.254
c NEW SOLUTION FOUND: 698 @ 84.31
c NEW SOLUTION FOUND: 697 @ 84.367
c NEW SOLUTION FOUND: 696 @ 84.425
c NEW SOLUTION FOUND: 695 @ 84.485
c NEW SOLUTION FOUND: 694 @ 84.599
c NEW SOLUTION FOUND: 693 @ 84.657
c NEW SOLUTION FOUND: 692 @ 84.716
c NEW SOLUTION FOUND: 691 @ 84.775
c NEW SOLUTION FOUND: 690 @ 84.833
c NEW SOLUTION FOUND: 689 @ 84.891
c NEW SOLUTION FOUND: 688 @ 85.008
c NEW SOLUTION FOUND: 687 @ 85.068
c NEW SOLUTION FOUND: 686 @ 85.297
c NEW SOLUTION FOUND: 685 @ 85.358
c NEW SOLUTION FOUND: 684 @ 85.42
c NEW SOLUTION FOUND: 683 @ 85.481
c NEW SOLUTION FOUND: 682 @ 85.544
c NEW SOLUTION FOUND: 681 @ 85.605
c NEW SOLUTION FOUND: 680 @ 85.667
c NEW SOLUTION FOUND: 679 @ 85.73
c NEW SOLUTION FOUND: 678 @ 85.795
c NEW SOLUTION FOUND: 677 @ 85.858
c NEW SOLUTION FOUND: 676 @ 85.921
c NEW SOLUTION FOUND: 675 @ 86.142
c NEW SOLUTION FOUND: 674 @ 86.208
c NEW SOLUTION FOUND: 673 @ 86.275
c NEW SOLUTION FOUND: 672 @ 86.341
c NEW SOLUTION FOUND: 671 @ 86.478
c NEW SOLUTION FOUND: 670 @ 86.552
c NEW SOLUTION FOUND: 669 @ 86.688
c NEW SOLUTION FOUND: 668 @ 86.761
c NEW SOLUTION FOUND: 667 @ 86.912
c NEW SOLUTION FOUND: 666 @ 86.984
c NEW SOLUTION FOUND: 665 @ 87.13
c NEW SOLUTION FOUND: 664 @ 87.203
c NEW SOLUTION FOUND: 663 @ 87.388
c NEW SOLUTION FOUND: 662 @ 87.469
c NEW SOLUTION FOUND: 661 @ 87.545
c NEW SOLUTION FOUND: 660 @ 87.623
c NEW SOLUTION FOUND: 659 @ 87.7
c NEW SOLUTION FOUND: 658 @ 87.78
c NEW SOLUTION FOUND: 657 @ 87.863
c NEW SOLUTION FOUND: 656 @ 87.942
c NEW SOLUTION FOUND: 655 @ 88.021
c NEW SOLUTION FOUND: 654 @ 88.103
c NEW SOLUTION FOUND: 653 @ 88.185
c NEW SOLUTION FOUND: 652 @ 88.263
c NEW SOLUTION FOUND: 651 @ 88.345
c NEW SOLUTION FOUND: 650 @ 88.424
c NEW SOLUTION FOUND: 649 @ 88.508
c NEW SOLUTION FOUND: 648 @ 88.586
c NEW SOLUTION FOUND: 647 @ 88.671
c NEW SOLUTION FOUND: 646 @ 88.753
c NEW SOLUTION FOUND: 645 @ 88.836
c NEW SOLUTION FOUND: 644 @ 88.916
c NEW SOLUTION FOUND: 643 @ 88.997
c NEW SOLUTION FOUND: 642 @ 89.083
c NEW SOLUTION FOUND: 641 @ 89.246
c NEW SOLUTION FOUND: 640 @ 89.331
c NEW SOLUTION FOUND: 639 @ 89.416
c NEW SOLUTION FOUND: 638 @ 89.504
c NEW SOLUTION FOUND: 637 @ 89.591
c NEW SOLUTION FOUND: 636 @ 89.763
c NEW SOLUTION FOUND: 635 @ 89.848
c NEW SOLUTION FOUND: 634 @ 89.93
c NEW SOLUTION FOUND: 633 @ 90.017
c NEW SOLUTION FOUND: 632 @ 90.105
c NEW SOLUTION FOUND: 631 @ 90.19
c NEW SOLUTION FOUND: 630 @ 90.276
c NEW SOLUTION FOUND: 629 @ 90.363
c NEW SOLUTION FOUND: 628 @ 90.449
c NEW SOLUTION FOUND: 627 @ 90.541
c NEW SOLUTION FOUND: 626 @ 90.632
c NEW SOLUTION FOUND: 625 @ 90.724
c NEW SOLUTION FOUND: 624 @ 90.813
c NEW SOLUTION FOUND: 623 @ 90.903
c NEW SOLUTION FOUND: 622 @ 90.995
c NEW SOLUTION FOUND: 621 @ 91.173
c NEW SOLUTION FOUND: 620 @ 91.261
c NEW SOLUTION FOUND: 619 @ 91.349
c NEW SOLUTION FOUND: 618 @ 91.437
c NEW SOLUTION FOUND: 617 @ 91.525
c NEW SOLUTION FOUND: 616 @ 91.797
c NEW SOLUTION FOUND: 615 @ 91.891
c NEW SOLUTION FOUND: 614 @ 91.977
c NEW SOLUTION FOUND: 613 @ 92.067
c NEW SOLUTION FOUND: 612 @ 92.162
c NEW SOLUTION FOUND: 611 @ 92.255
c NEW SOLUTION FOUND: 610 @ 92.342
c NEW SOLUTION FOUND: 609 @ 92.435
c NEW SOLUTION FOUND: 608 @ 92.527
c NEW SOLUTION FOUND: 607 @ 92.715
c NEW SOLUTION FOUND: 606 @ 92.811
c NEW SOLUTION FOUND: 605 @ 92.906
c NEW SOLUTION FOUND: 604 @ 92.995
c NEW SOLUTION FOUND: 603 @ 93.091
c NEW SOLUTION FOUND: 602 @ 93.275
c NEW SOLUTION FOUND: 601 @ 93.371
c NEW SOLUTION FOUND: 600 @ 93.46
c NEW SOLUTION FOUND: 599 @ 93.552
c NEW SOLUTION FOUND: 598 @ 93.641
c NEW SOLUTION FOUND: 597 @ 93.825
c NEW SOLUTION FOUND: 596 @ 93.921
c NEW SOLUTION FOUND: 595 @ 94.018
c NEW SOLUTION FOUND: 594 @ 94.753
c NEW SOLUTION FOUND: 593 @ 94.993
c NEW SOLUTION FOUND: 592 @ 95.196
c NEW SOLUTION FOUND: 591 @ 95.548
c NEW SOLUTION FOUND: 590 @ 95.77
c NEW SOLUTION FOUND: 589 @ 95.912
c NEW SOLUTION FOUND: 588 @ 96.138
c NEW SOLUTION FOUND: 587 @ 96.365
c NEW SOLUTION FOUND: 586 @ 96.476
c NEW SOLUTION FOUND: 585 @ 96.595
c NEW SOLUTION FOUND: 584 @ 96.713
c NEW SOLUTION FOUND: 583 @ 96.866
c NEW SOLUTION FOUND: 582 @ 96.987
c NEW SOLUTION FOUND: 581 @ 97.21
c NEW SOLUTION FOUND: 580 @ 97.323
c NEW SOLUTION FOUND: 579 @ 97.436
c NEW SOLUTION FOUND: 578 @ 97.675
c NEW SOLUTION FOUND: 577 @ 97.903
c NEW SOLUTION FOUND: 576 @ 98.212
c NEW SOLUTION FOUND: 575 @ 98.454
c NEW SOLUTION FOUND: 574 @ 98.701
c NEW SOLUTION FOUND: 573 @ 98.829
c NEW SOLUTION FOUND: 572 @ 98.959
c NEW SOLUTION FOUND: 571 @ 99.089
c NEW SOLUTION FOUND: 570 @ 99.216
c NEW SOLUTION FOUND: 569 @ 99.354
c NEW SOLUTION FOUND: 568 @ 99.486
c NEW SOLUTION FOUND: 567 @ 99.608
c NEW SOLUTION FOUND: 566 @ 99.856
c NEW SOLUTION FOUND: 565 @ 100.105
c NEW SOLUTION FOUND: 564 @ 100.237
c NEW SOLUTION FOUND: 563 @ 100.373
c NEW SOLUTION FOUND: 562 @ 100.509
c NEW SOLUTION FOUND: 561 @ 100.641
c NEW SOLUTION FOUND: 560 @ 100.771
c NEW SOLUTION FOUND: 559 @ 101.044
c NEW SOLUTION FOUND: 558 @ 101.18
c NEW SOLUTION FOUND: 557 @ 101.319
c NEW SOLUTION FOUND: 556 @ 101.594
c NEW SOLUTION FOUND: 555 @ 101.869
c NEW SOLUTION FOUND: 554 @ 102.147
c NEW SOLUTION FOUND: 553 @ 102.28
c NEW SOLUTION FOUND: 552 @ 102.43
c NEW SOLUTION FOUND: 551 @ 102.778
c NEW SOLUTION FOUND: 550 @ 103.064
c NEW SOLUTION FOUND: 549 @ 103.354
c NEW SOLUTION FOUND: 548 @ 103.798
c NEW SOLUTION FOUND: 547 @ 103.958
c NEW SOLUTION FOUND: 546 @ 104.121
c NEW SOLUTION FOUND: 545 @ 104.593
c NEW SOLUTION FOUND: 544 @ 104.752
c NEW SOLUTION FOUND: 543 @ 104.91
c NEW SOLUTION FOUND: 542 @ 105.412
c NEW SOLUTION FOUND: 541 @ 105.594
c NEW SOLUTION FOUND: 540 @ 106.003
c NEW SOLUTION FOUND: 539 @ 106.368
c NEW SOLUTION FOUND: 538 @ 106.732
c NEW SOLUTION FOUND: 537 @ 107.098
c NEW SOLUTION FOUND: 536 @ 107.661
c NEW SOLUTION FOUND: 535 @ 107.848
c NEW SOLUTION FOUND: 534 @ 108.435
c NEW SOLUTION FOUND: 533 @ 108.87
c NEW SOLUTION FOUND: 532 @ 109.266
c NEW SOLUTION FOUND: 531 @ 109.947
c NEW SOLUTION FOUND: 530 @ 110.446
c NEW SOLUTION FOUND: 529 @ 110.883
c NEW SOLUTION FOUND: 528 @ 111.332
c NEW SOLUTION FOUND: 527 @ 111.597
c NEW SOLUTION FOUND: 526 @ 112.653
c NEW SOLUTION FOUND: 525 @ 113.273
c NEW SOLUTION FOUND: 524 @ 114.142
c NEW SOLUTION FOUND: 523 @ 114.458
c NEW SOLUTION FOUND: 522 @ 118.654
c NEW SOLUTION FOUND: 521 @ 121.459
c NEW SOLUTION FOUND: 520 @ 128.518
c NEW SOLUTION FOUND: 519 @ 135.842
c NEW SOLUTION FOUND: 518 @ 140.36
c NEW SOLUTION FOUND: 517 @ 144.804
c NEW SOLUTION FOUND: 516 @ 148.639
c NEW SOLUTION FOUND: 515 @ 159.661
c NEW SOLUTION FOUND: 514 @ 165.465
c NEW SOLUTION FOUND: 513 @ 169.449
c NEW SOLUTION FOUND: 512 @ 174.54
c NEW SOLUTION FOUND: 511 @ 182.198
c NEW SOLUTION FOUND: 510 @ 201.051
c NEW SOLUTION FOUND: 509 @ 218.505
c NEW SOLUTION FOUND: 508 @ 244.934
c NEW SOLUTION FOUND: 507 @ 279.821
c NEW SOLUTION FOUND: 506 @ 342.871
c NEW SOLUTION FOUND: 505 @ 533.305
c NEW SOLUTION FOUND: 504 @ 659.798
c NEW SOLUTION FOUND: 503 @ 758.273
c NEW SOLUTION FOUND: 502 @ 1063.63
s SATISFIABLE
v x0_bit0 x1_bit0 x2_bit0 x3_bit0 x4_bit0 x5_bit0 x6_bit0 x7_bit0 x8_bit0 -x9_bit0 x10_bit0 x11_bit0 x12_bit0 -x13_bit0 -x14_bit0 -x15_bit0 x16_bit0 x17_bit0 x18_bit0 -x19_bit0 -x20_bit0 -x21_bit0 x22_bit0 x23_bit0 -x24_bit0 x25_bit0 -x26_bit0 x27_bit0 -x28_bit0 -x29_bit0 -x30_bit0 x31_bit0 x32_bit0 -x33_bit0 x34_bit0 x35_bit0 x36_bit0 -x37_bit0 x38_bit0 x39_bit0 x40_bit0 x41_bit0 x42_bit0 -x43_bit0 x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 x48_bit0 -x49_bit0 x50_bit0 x51_bit0 x52_bit0 -x53_bit0 x54_bit0 x55_bit0 x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 x60_bit0 -x61_bit0 x62_bit0 x63_bit0 x64_bit0 x65_bit0 x66_bit0 x67_bit0 x68_bit0 x69_bit0 x70_bit0 x71_bit0 -x72_bit0 -x73_bit0 -x74_bit0 x75_bit0 -x76_bit0 -x77_bit0 -x78_bit0 x79_bit0 -x80_bit0 x81_bit0 x82_bit0 -x83_bit0 x84_bit0 x85_bit0 x86_bit0 x87_bit0 x88_bit0 x89_bit0 -x90_bit0 x91_bit0 -x92_bit0 x93_bit0 x94_bit0 -x95_bit0 x96_bit0 x97_bit0 x98_bit0 -x99_bit0 x100_bit0 x101_bit0 x102_bit0 x103_bit0 x104_bit0 -x105_bit0 x106_bit0 -x107_bit0 x108_bit0 x109_bit0 -x110_bit0 -x111_bit0 -x112_bit0 x113_bit0 -x114_bit0 -x115_bit0 x116_bit0 -x117_bit0 x118_bit0 x119_bit0 x120_bit0 -x121_bit0 x122_bit0 x123_bit0 x124_bit0 x125_bit0 x126_bit0 x127_bit0 x128_bit0 x129_bit0 x130_bit0 -x131_bit0 x132_bit0 -x133_bit0 -x134_bit0 -x135_bit0 x136_bit0 x137_bit0 -x138_bit0 -x139_bit0 x140_bit0 x141_bit0 x142_bit0 -x143_bit0 x144_bit0 -x145_bit0 -x146_bit0 -x147_bit0 x148_bit0 x149_bit0 -x150_bit0 x151_bit0 x152_bit0 x153_bit0 -x154_bit0 x155_bit0 x156_bit0 x157_bit0 -x158_bit0 x159_bit0 -x160_bit0 x161_bit0 x162_bit0 x163_bit0 x164_bit0 -x165_bit0 x166_bit0 x167_bit0 -x168_bit0 x169_bit0 x170_bit0 -x171_bit0 -x172_bit0 x173_bit0 -x174_bit0 -x175_bit0 -x176_bit0 x177_bit0 x178_bit0 x179_bit0 -x180_bit0 x181_bit0 x182_bit0 x183_bit0 -x184_bit0 -x185_bit0 -x186_bit0 x187_bit0 x188_bit0 x189_bit0 -x190_bit0 -x191_bit0 x192_bit0 -x193_bit0 x194_bit0 -x195_bit0 x196_bit0 -x197_bit0 -x198_bit0 -x199_bit0 x200_bit0 x201_bit0 x202_bit0 x203_bit0 x204_bit0 -x205_bit0 -x206_bit0 -x207_bit0 -x208_bit0 -x209_bit0 x210_bit0 x211_bit0 x212_bit0 x213_bit0 x214_bit0 -x215_bit0 x216_bit0 -x217_bit0 x218_bit0 -x219_bit0 -x220_bit0 -x221_bit0 -x222_bit0 -x223_bit0 -x224_bit0 -x225_bit0 -x226_bit0 x227_bit0 x228_bit0 x229_bit0 x230_bit0 x231_bit0 x232_bit0 x233_bit0 x234_bit0 x235_bit0 -x236_bit0 -x237_bit0 x238_bit0 -x239_bit0 x240_bit0 -x241_bit0 x242_bit0 -x243_bit0 x244_bit0 -x245_bit0 x246_bit0 -x247_bit0 x248_bit0 -x249_bit0 x250_bit0 x251_bit0 x252_bit0 x253_bit0 -x254_bit0 -x255_bit0 x256_bit0 x257_bit0 x258_bit0 x259_bit0 x260_bit0 x261_bit0 x262_bit0 -x263_bit0 x264_bit0 x265_bit0 -x266_bit0 x267_bit0 -x268_bit0 x269_bit0 x270_bit0 x271_bit0 x272_bit0 -x273_bit0 -x274_bit0 -x275_bit0 -x276_bit0 -x277_bit0 x278_bit0 x279_bit0 -x280_bit0 -x281_bit0 -x282_bit0 -x283_bit0 x284_bit0 -x285_bit0 x286_bit0 x287_bit0 x288_bit0 x289_bit0 -x290_bit0 x291_bit0 x292_bit0 x293_bit0 -x294_bit0 -x295_bit0 -x296_bit0 -x297_bit0 -x298_bit0 x299_bit0 -x300_bit0 -x301_bit0 -x302_bit0 x303_bit0 -x304_bit0 x305_bit0 -x306_bit0 x307_bit0 x308_bit0 -x309_bit0 -x310_bit0 x311_bit0 x312_bit0 x313_bit0 x314_bit0 x315_bit0 x316_bit0 x317_bit0 -x318_bit0 x319_bit0 -x320_bit0 x321_bit0 -x322_bit0 x323_bit0 x324_bit0 x325_bit0 -x326_bit0 x327_bit0 x328_bit0 -x329_bit0 -x330_bit0 -x331_bit0 x332_bit0 -x333_bit0 x334_bit0 x335_bit0 -x336_bit0 x337_bit0 x338_bit0 -x339_bit0 -x340_bit0 -x341_bit0 x342_bit0 x343_bit0 -x344_bit0 -x345_bit0 -x346_bit0 x347_bit0 -x348_bit0 -x349_bit0 x350_bit0 -x351_bit0 -x352_bit0 -x353_bit0 x354_bit0 x355_bit0 x356_bit0 x357_bit0 x358_bit0 -x359_bit0 x360_bit0 -x361_bit0 -x362_bit0 -x363_bit0 -x364_bit0 x365_bit0 x366_bit0 x367_bit0 -x368_bit0 x369_bit0 -x370_bit0 -x371_bit0 x372_bit0 x373_bit0 x374_bit0 x375_bit0 x376_bit0 -x377_bit0 x378_bit0 -x379_bit0 x380_bit0 x381_bit0 x382_bit0 x383_bit0 -x384_bit0 -x385_bit0 x386_bit0 -x387_bit0 -x388_bit0 x389_bit0 -x390_bit0 x391_bit0 -x392_bit0 -x393_bit0 x394_bit0 -x395_bit0 x396_bit0 -x397_bit0 -x398_bit0 x399_bit0 -x400_bit0 -x401_bit0 x402_bit0 x403_bit0 -x404_bit0 -x405_bit0 x406_bit0 -x407_bit0 -x408_bit0 -x409_bit0 -x410_bit0 x411_bit0 x412_bit0 -x413_bit0 -x414_bit0 x415_bit0 x416_bit0 -x417_bit0 -x418_bit0 -x419_bit0 -x420_bit0 -x421_bit0 -x422_bit0 -x423_bit0 x424_bit0 x425_bit0 x426_bit0 x427_bit0 -x428_bit0 x429_bit0 x430_bit0 x431_bit0 x432_bit0 -x433_bit0 -x434_bit0 -x435_bit0 x436_bit0 x437_bit0 x438_bit0 -x439_bit0 x440_bit0 x441_bit0 x442_bit0 x443_bit0 -x444_bit0 x445_bit0 x446_bit0 -x447_bit0 -x448_bit0 -x449_bit0 x450_bit0 x451_bit0 x452_bit0 x453_bit0 -x454_bit0 -x455_bit0 x456_bit0 -x457_bit0 -x458_bit0 -x459_bit0 x460_bit0 x461_bit0 x462_bit0 -x463_bit0 x464_bit0 -x465_bit0 -x466_bit0 x467_bit0 -x468_bit0 x469_bit0 x470_bit0 -x471_bit0 -x472_bit0 -x473_bit0 -x474_bit0 x475_bit0 x476_bit0 -x477_bit0 x478_bit0 -x479_bit0 x480_bit0 -x481_bit0 -x482_bit0 x483_bit0 -x484_bit0 x485_bit0 x486_bit0 -x487_bit0 -x488_bit0 x489_bit0 -x490_bit0 x491_bit0 -x492_bit0 x493_bit0 -x494_bit0 -x495_bit0 -x496_bit0 -x497_bit0 x498_bit0 -x499_bit0 x500_bit0 x501_bit0 -x502_bit0 -x503_bit0 x504_bit0 -x505_bit0 -x506_bit0 -x507_bit0 -x508_bit0 -x509_bit0 x510_bit0 -x511_bit0 x512_bit0 -x513_bit0 -x514_bit0 x515_bit0 x516_bit0 -x517_bit0 x518_bit0 x519_bit0 x520_bit0 -x521_bit0 -x522_bit0 x523_bit0 -x524_bit0 -x525_bit0 -x526_bit0 x527_bit0 -x528_bit0 -x529_bit0 -x530_bit0 -x531_bit0 -x532_bit0 -x533_bit0 -x534_bit0 -x535_bit0 -x536_bit0 -x537_bit0 x538_bit0 -x539_bit0 -x540_bit0 -x541_bit0 -x542_bit0 -x543_bit0 -x544_bit0 -x545_bit0 -x546_bit0 x547_bit0 x548_bit0 -x549_bit0 -x550_bit0 -x551_bit0 -x552_bit0 -x553_bit0 x554_bit0 -x555_bit0 -x556_bit0 -x557_bit0 -x558_bit0 -x559_bit0 -x560_bit0 -x561_bit0 -x562_bit0 x563_bit0 x564_bit0 -x565_bit0 x566_bit0 x567_bit0 -x568_bit0 x569_bit0 x570_bit0 -x571_bit0 -x572_bit0 -x573_bit0 x574_bit0 -x575_bit0 x576_bit0 x577_bit0 x578_bit0 -x579_bit0 -x580_bit0 -x581_bit0 -x582_bit0 -x583_bit0 x584_bit0 -x585_bit0 x586_bit0 -x587_bit0 -x588_bit0 x589_bit0 -x590_bit0 -x591_bit0 x592_bit0 -x593_bit0 x594_bit0 -x595_bit0 -x596_bit0 -x597_bit0 -x598_bit0 x599_bit0 -x600_bit0 -x601_bit0 -x602_bit0 x603_bit0 -x604_bit0 -x605_bit0 -x606_bit0 -x607_bit0 x608_bit0 -x609_bit0 x610_bit0 x611_bit0 -x612_bit0 -x613_bit0 -x614_bit0 x615_bit0 -x616_bit0 -x617_bit0 -x618_bit0 -x619_bit0 -x620_bit0 -x621_bit0 x622_bit0 -x623_bit0 -x624_bit0 -x625_bit0 -x626_bit0 -x627_bit0 -x628_bit0 -x629_bit0 -x630_bit0 -x631_bit0 -x632_bit0 -x633_bit0 -x634_bit0 -x635_bit0 -x636_bit0 -x637_bit0 x638_bit0 x639_bit0 -x640_bit0 -x641_bit0 -x642_bit0 -x643_bit0 -x644_bit0 x645_bit0 x646_bit0 x647_bit0 x648_bit0 -x649_bit0 x650_bit0 -x651_bit0 x652_bit0 x653_bit0 -x654_bit0 -x655_bit0 -x656_bit0 -x657_bit0 -x658_bit0 -x659_bit0 -x660_bit0 -x661_bit0 x662_bit0 x663_bit0 x664_bit0 -x665_bit0 -x666_bit0 x667_bit0 -x668_bit0 x669_bit0 x670_bit0 x671_bit0 -x672_bit0 -x673_bit0 -x674_bit0 -x675_bit0 x676_bit0 -x677_bit0 -x678_bit0 x679_bit0 x680_bit0 x681_bit0 -x682_bit0 x683_bit0 -x684_bit0 x685_bit0 x686_bit0 x687_bit0 -x688_bit0 x689_bit0 -x690_bit0 -x691_bit0 -x692_bit0 -x693_bit0 -x694_bit0 -x695_bit0 -x696_bit0 x697_bit0 -x698_bit0 x699_bit0 -x700_bit0 -x701_bit0 -x702_bit0 -x703_bit0 -x704_bit0 -x705_bit0 -x706_bit0 -x707_bit0 -x708_bit0 x709_bit0 -x710_bit0 x711_bit0 x712_bit0 x713_bit0 -x714_bit0 x715_bit0 x716_bit0 -x717_bit0 -x718_bit0 -x719_bit0 -x720_bit0 x721_bit0 x722_bit0 x723_bit0 -x724_bit0 x725_bit0 x726_bit0 -x727_bit0 x728_bit0 x729_bit0 -x730_bit0 -x731_bit0 -x732_bit0 -x733_bit0 -x734_bit0 -x735_bit0 -x736_bit0 -x737_bit0 x738_bit0 x739_bit0 -x740_bit0 -x741_bit0 -x742_bit0 -x743_bit0 -x744_bit0 x745_bit0 x746_bit0 x747_bit0 x748_bit0 x749_bit0 -x750_bit0 -x751_bit0 x752_bit0 -x753_bit0 x754_bit0 -x755_bit0 -x756_bit0 x757_bit0 -x758_bit0 -x759_bit0 -x760_bit0 -x761_bit0 -x762_bit0 -x763_bit0 -x764_bit0 x765_bit0 -x766_bit0 -x767_bit0 -x768_bit0 -x769_bit0 -x770_bit0 x771_bit0 -x772_bit0 x773_bit0 -x774_bit0 x775_bit0 x776_bit0 -x777_bit0 x778_bit0 x779_bit0 -x780_bit0 x781_bit0 -x782_bit0 -x783_bit0 -x784_bit0 -x785_bit0 -x786_bit0 -x787_bit0 -x788_bit0 -x789_bit0 -x790_bit0 -x791_bit0 -x792_bit0 -x793_bit0 -x794_bit0 -x795_bit0 x796_bit0 -x797_bit0 x798_bit0 x799_bit0 -x800_bit0 -x801_bit0 -x802_bit0 -x803_bit0 -x804_bit0 -x805_bit0 -x806_bit0 -x807_bit0 x808_bit0 -x809_bit0 -x810_bit0 x811_bit0 x812_bit0 x813_bit0 -x814_bit0 x815_bit0 x816_bit0 -x817_bit0 -x818_bit0 -x819_bit0 -x820_bit0 -x821_bit0 -x822_bit0 -x823_bit0 x824_bit0 -x825_bit0 -x826_bit0 -x827_bit0 -x828_bit0 x829_bit0 -x830_bit0 -x831_bit0 -x832_bit0 -x833_bit0 -x834_bit0 -x835_bit0 -x836_bit0 -x837_bit0 -x838_bit0 -x839_bit0 -x840_bit0 -x841_bit0 -x842_bit0 -x843_bit0 x844_bit0 -x845_bit0 -x846_bit0 -x847_bit0 -x848_bit0 -x849_bit0 -x850_bit0 -x851_bit0 -x852_bit0 x853_bit0 -x854_bit0 -x855_bit0 -x856_bit0 x857_bit0 -x858_bit0 -x859_bit0 -x860_bit0 -x861_bit0 -x862_bit0 -x863_bit0 -x864_bit0 x865_bit0 -x866_bit0 -x867_bit0 -x868_bit0 -x869_bit0 -x870_bit0 -x871_bit0 -x872_bit0 -x873_bit0 -x874_bit0 x875_bit0 -x876_bit0 -x877_bit0 -x878_bit0 -x879_bit0 -x880_bit0 -x881_bit0 -x882_bit0 -x883_bit0 -x884_bit0 -x885_bit0 -x886_bit0 -x887_bit0 -x888_bit0 -x889_bit0 x890_bit0 x891_bit0 -x892_bit0 -x893_bit0 -x894_bit0 -x895_bit0 x896_bit0 x897_bit0 -x898_bit0 -x899_bit0 -x900_bit0 -x901_bit0 x902_bit0 -x903_bit0 -x904_bit0 -x905_bit0 x906_bit0 -x907_bit0 -x908_bit0 -x909_bit0 -x910_bit0 -x911_bit0 -x912_bit0 x913_bit0 -x914_bit0 x915_bit0 -x916_bit0 -x917_bit0 -x918_bit0 -x919_bit0 -x920_bit0 -x921_bit0 -x922_bit0 x923_bit0 x924_bit0 -x925_bit0 x926_bit0 x927_bit0 -x928_bit0 -x929_bit0 -x930_bit0 x931_bit0 -x932_bit0 x933_bit0 -x934_bit0 -x935_bit0 x936_bit0 -x937_bit0 x938_bit0 -x939_bit0 x940_bit0 -x941_bit0 -x942_bit0 -x943_bit0 -x944_bit0 x945_bit0 -x946_bit0 -x947_bit0 -x948_bit0 -x949_bit0 -x950_bit0 -x951_bit0 -x952_bit0 -x953_bit0 x954_bit0 -x955_bit0 -x956_bit0 -x957_bit0 x958_bit0 -x959_bit0 -x960_bit0 x961_bit0 -x962_bit0 -x963_bit0 x964_bit0 -x965_bit0 -x966_bit0 -x967_bit0 -x968_bit0 -x969_bit0 x970_bit0 x971_bit0 x972_bit0 -x973_bit0 -x974_bit0 x975_bit0 -x976_bit0 -x977_bit0 x978_bit0 -x979_bit0 -x980_bit0 -x981_bit0 x982_bit0 -x983_bit0 x984_bit0 x985_bit0 -x986_bit0 -x987_bit0 -x988_bit0 -x989_bit0 -x990_bit0 -x991_bit0 -x992_bit0 x993_bit0 -x994_bit0 x995_bit0 -x996_bit0 x997_bit0 -x998_bit0 x999_bit0 -x1000_bit0 x1001_bit0 -x1002_bit0 -x1003_bit0 x1004_bit0 -x1005_bit0 -x1006_bit0 -x1007_bit0 -x1008_bit0 -x1009_bit0 x1010_bit0 x1011_bit0 x1012_bit0 -x1013_bit0 -x1014_bit0 -x1015_bit0 -x1016_bit0 -x1017_bit0 -x1018_bit0 -x1019_bit0 -x1020_bit0 -x1021_bit0 -x1022_bit0 -x1023_bit0 -x1024_bit0 x1025_bit0 -x1026_bit0 x1027_bit0 -x1028_bit0 -x1029_bit0 -x1030_bit0 -x1031_bit0 -x1032_bit0 -x1033_bit0 -x1034_bit0 -x1035_bit0 -x1036_bit0 -x1037_bit0 -x1038_bit0 -x1039_bit0 x1040_bit0 -x1041_bit0 -x1042_bit0 x1043_bit0 -x1044_bit0 -x1045_bit0 -x1046_bit0 -x1047_bit0 -x1048_bit0 -x1049_bit0 -x1050_bit0 -x1051_bit0 -x1052_bit0 -x1053_bit0 -x1054_bit0 x1055_bit0 x1056_bit0 -x1057_bit0 -x1058_bit0 -x1059_bit0 x1060_bit0 -x1061_bit0 -x1062_bit0 -x1063_bit0 -x1064_bit0 x1065_bit0 -x1066_bit0 -x1067_bit0 -x1068_bit0 -x1069_bit0 -x1070_bit0 -x1071_bit0 x1072_bit0 -x1073_bit0 -x1074_bit0 -x1075_bit0 x1076_bit0 -x1077_bit0 x1078_bit0 -x1079_bit0 -x1080_bit0 -x1081_bit0 -x1082_bit0 -x1083_bit0 -x1084_bit0 -x1085_bit0 -x1086_bit0 -x1087_bit0 -x1088_bit0 -x1089_bit0 -x1090_bit0 x1091_bit0 -x1092_bit0 -x1093_bit0 -x1094_bit0 -x1095_bit0 -x1096_bit0 x1097_bit0 -x1098_bit0 -x1099_bit0 x1100_bit0 -x1101_bit0 -x1102_bit0 -x1103_bit0 x1104_bit0 -x1105_bit0 -x1106_bit0 x1107_bit0 -x1108_bit0 -x1109_bit0 -x1110_bit0 -x1111_bit0 -x1112_bit0 x1113_bit0 -x1114_bit0 -x1115_bit0 -x1116_bit0 -x1117_bit0 -x1118_bit0 -x1119_bit0 -x1120_bit0 -x1121_bit0 -x1122_bit0 -x1123_bit0 -x1124_bit0 x1125_bit0 -x1126_bit0 -x1127_bit0 -x1128_bit0 -x1129_bit0 x1130_bit0 -x1131_bit0 x1132_bit0 x1133_bit0 x1134_bit0 -x1135_bit0 x1136_bit0 -x1137_bit0 -x1138_bit0 -x1139_bit0 -x1140_bit0 -x1141_bit0 -x1142_bit0 -x1143_bit0 x1144_bit0 x1145_bit0 -x1146_bit0 -x1147_bit0 -x1148_bit0 -x1149_bit0 -x1150_bit0 -x1151_bit0 x1152_bit0 -x1153_bit0 -x1154_bit0 -x1155_bit0 -x1156_bit0 -x1157_bit0 -x1158_bit0 -x1159_bit0 -x1160_bit0 -x1161_bit0 x1162_bit0 x1163_bit0 x1164_bit0 -x1165_bit0 -x1166_bit0 x1167_bit0 -x1168_bit0 -x1169_bit0 -x1170_bit0 -x1171_bit0 x1172_bit0 -x1173_bit0 -x1174_bit0 -x1175_bit0 -x1176_bit0 -x1177_bit0 -x1178_bit0 -x1179_bit0 -x1180_bit0 -x1181_bit0 -x1182_bit0 x1183_bit0 x1184_bit0 -x1185_bit0 -x1186_bit0 x1187_bit0 -x1188_bit0 -x1189_bit0 -x1190_bit0 x1191_bit0 -x1192_bit0 -x1193_bit0 -x1194_bit0 -x1195_bit0 -x1196_bit0 -x1197_bit0 -x1198_bit0 x1199_bit0 x1200_bit0 x1201_bit0 -x1202_bit0 -x1203_bit0 -x1204_bit0 -x1205_bit0 -x1206_bit0 -x1207_bit0 -x1208_bit0 -x1209_bit0 -x1210_bit0 -x1211_bit0 -x1212_bit0 -x1213_bit0 -x1214_bit0 -x1215_bit0 -x1216_bit0 -x1217_bit0 x1218_bit0 -x1219_bit0 x1220_bit0 -x1221_bit0 -x1222_bit0 -x1223_bit0 -x1224_bit0 -x1225_bit0 x1226_bit0 x1227_bit0 -x1228_bit0 x1229_bit0 -x1230_bit0 -x1231_bit0 -x1232_bit0 x1233_bit0 -x1234_bit0 -x1235_bit0 x1236_bit0 -x1237_bit0 -x1238_bit0 -x1239_bit0 -x1240_bit0 x1241_bit0 -x1242_bit0 x1243_bit0 x1244_bit0 -x1245_bit0 -x1246_bit0 -x1247_bit0 x1248_bit0 -x1249_bit0 -x1250_bit0 -x1251_bit0 -x1252_bit0 -x1253_bit0 -x1254_bit0 -x1255_bit0 -x1256_bit0 -x1257_bit0 x1258_bit0 -x1259_bit0 -x1260_bit0 -x1261_bit0 -x1262_bit0 -x1263_bit0 -x1264_bit0 -x1265_bit0 -x1266_bit0 -x1267_bit0 -x1268_bit0 -x1269_bit0 x1270_bit0 -x1271_bit0 -x1272_bit0 -x1273_bit0 -x1274_bit0 -x1275_bit0 x1276_bit0 -x1277_bit0 -x1278_bit0 -x1279_bit0 -x1280_bit0 -x1281_bit0 -x1282_bit0 -x1283_bit0 -x1284_bit0 x1285_bit0 -x1286_bit0 -x1287_bit0 x1288_bit0 -x1289_bit0 -x1290_bit0 x1291_bit0 -x1292_bit0 x1293_bit0 -x1294_bit0 -x1295_bit0 -x1296_bit0 -x1297_bit0 -x1298_bit0 -x1299_bit0 x1300_bit0 -x1301_bit0 x1302_bit0 x1303_bit0 -x1304_bit0 -x1305_bit0 -x1306_bit0 -x1307_bit0 x1308_bit0 -x1309_bit0 -x1310_bit0 -x1311_bit0 -x1312_bit0 x1313_bit0 x1314_bit0 -x1315_bit0 -x1316_bit0 -x1317_bit0 -x1318_bit0 -x1319_bit0 x1320_bit0 -x1321_bit0 -x1322_bit0 x1323_bit0 -x1324_bit0 -x1325_bit0 -x1326_bit0 -x1327_bit0 -x1328_bit0 -x1329_bit0 -x1330_bit0 -x1331_bit0 -x1332_bit0 -x1333_bit0 -x1334_bit0 -x1335_bit0 -x1336_bit0 -x1337_bit0 -x1338_bit0 -x1339_bit0 x1340_bit0 -x1341_bit0 -x1342_bit0 -x1343_bit0 -x1344_bit0 -x1345_bit0 -x1346_bit0 -x1347_bit0 x1348_bit0 x1349_bit0 -x1350_bit0 x1351_bit0 -x1352_bit0 -x1353_bit0 -x1354_bit0 -x1355_bit0 -x1356_bit0 -x1357_bit0 -x1358_bit0 -x1359_bit0 -x1360_bit0 -x1361_bit0 -x1362_bit0 x1363_bit0 x1364_bit0 x1365_bit0 x1366_bit0 -x1367_bit0 -x1368_bit0 -x1369_bit0 -x1370_bit0 -x1371_bit0 
c Exit Code: 10
c Total time: 1178.3 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.90 0.97 0.91 2/55 5519
Raw data (stat): 5519 (runsolver) R 5518 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 801529693 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 12056 0 0 0 968 27 0 0 25 0 1 0 801529693 51609600 11599 4294967295 134512640 134714508 3221221776 3221218532 1074786559 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12600 11599 1111 63 0 12537 0
vsize: 50400
[startup+20.0023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 12327 0 0 0 1967 29 0 0 25 0 1 0 801529693 51572736 11711 4294967295 134512640 134714508 3221221776 3221217968 1074960759 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12591 11711 1111 63 0 12528 0
vsize: 50364
[startup+30.0022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 13429 0 0 0 2965 32 0 0 25 0 1 0 801529693 49434624 11282 4294967295 134512640 134714508 3221221776 3221220192 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12069 11282 1111 63 0 12006 0
vsize: 48276
[startup+40.0022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 16621 0 0 0 3956 41 0 0 25 0 1 0 801529693 53043200 11727 4294967295 134512640 134714508 3221221776 3221218508 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12950 11727 1111 63 0 12887 0
vsize: 51800
[startup+50.0031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 20077 0 0 0 4947 49 0 0 25 0 1 0 801529693 49680384 11359 4294967295 134512640 134714508 3221221776 3221220096 1073988057 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12129 11359 1111 63 0 12066 0
vsize: 48516
[startup+60.0045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 21357 0 0 0 5944 53 0 0 25 0 1 0 801529693 52117504 11767 4294967295 134512640 134714508 3221221776 3221217924 1075115043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12724 11767 1111 63 0 12661 0
vsize: 50896
[startup+70.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 30271 0 0 0 6917 80 0 0 25 0 1 0 801529693 50167808 11083 4294967295 134512640 134714508 3221221776 3221217740 1074860598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12248 11083 1111 63 0 12185 0
vsize: 48992
[startup+80.0049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 47276 0 0 0 7873 123 0 0 25 0 1 0 801529693 48025600 11034 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11725 11034 1111 63 0 11662 0
vsize: 46900
[startup+90.0059 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 67627 0 0 0 8823 174 0 0 25 0 1 0 801529693 48025600 11034 4294967295 134512640 134714508 3221221776 3221219784 1077380211 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11725 11034 1111 63 0 11662 0
vsize: 46900
[startup+100.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 82335 0 0 0 9786 212 0 0 25 0 1 0 801529693 50167808 11170 4294967295 134512640 134714508 3221221776 3221218544 1076083737 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12248 11170 1111 63 0 12185 0
vsize: 48992
[startup+110.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 91836 0 0 0 10762 235 0 0 25 0 1 0 801529693 48025600 11036 4294967295 134512640 134714508 3221221776 3221220160 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11725 11036 1111 63 0 11662 0
vsize: 46900
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 100460 0 0 0 11740 258 0 0 25 0 1 0 801529693 51236864 11066 4294967295 134512640 134714508 3221221776 3221218848 1075896005 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12509 11066 1111 63 0 12446 0
vsize: 50036
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 103148 0 0 0 12731 266 0 0 25 0 1 0 801529693 51376128 11104 4294967295 134512640 134714508 3221221776 3221218112 1075113511 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12543 11104 1111 63 0 12480 0
vsize: 50172
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 105860 0 0 0 13724 273 0 0 25 0 1 0 801529693 48025600 11049 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11725 11049 1111 63 0 11662 0
vsize: 46900
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 109738 0 0 0 14715 282 0 0 25 0 1 0 801529693 51683328 11219 4294967295 134512640 134714508 3221221776 3221217616 1075965250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12618 11219 1111 63 0 12555 0
vsize: 50472
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 115110 0 0 0 15702 296 0 0 25 0 1 0 801529693 48340992 11126 4294967295 134512640 134714508 3221221776 3221220160 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11802 11126 1111 63 0 11739 0
vsize: 47208
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 120178 0 0 0 16690 308 0 0 25 0 1 0 801529693 52162560 11304 4294967295 134512640 134714508 3221221776 3221217848 1074950210 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12735 11304 1111 63 0 12672 0
vsize: 50940
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 125156 0 0 0 17677 321 0 0 25 0 1 0 801529693 48652288 11202 4294967295 134512640 134714508 3221221776 3221219872 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11878 11202 1111 63 0 11815 0
vsize: 47512
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 130581 0 0 0 18665 333 0 0 25 0 1 0 801529693 52563968 11467 4294967295 134512640 134714508 3221221776 3221218112 1075113502 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12833 11467 1111 63 0 12770 0
vsize: 51332
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 138622 0 0 0 19647 351 0 0 25 0 1 0 801529693 48963584 11278 4294967295 134512640 134714508 3221221776 3221219056 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11954 11278 1111 63 0 11891 0
vsize: 47816
[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 144210 0 0 0 20632 366 0 0 25 0 1 0 801529693 49299456 11328 4294967295 134512640 134714508 3221221776 3221219928 1074950117 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12036 11328 1111 63 0 11973 0
vsize: 48144
[startup+220.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 151858 0 0 0 21614 385 0 0 25 0 1 0 801529693 49209344 11338 4294967295 134512640 134714508 3221221776 3221220112 1074153812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12014 11338 1111 63 0 11951 0
vsize: 48056
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 157939 0 0 0 22599 400 0 0 25 0 1 0 801529693 49356800 11374 4294967295 134512640 134714508 3221221776 3221219680 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12050 11374 1111 63 0 11987 0
vsize: 48200
[startup+240.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 166065 0 0 0 23578 421 0 0 25 0 1 0 801529693 53465088 11744 4294967295 134512640 134714508 3221221776 3221217936 1075091544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13053 11744 1111 63 0 12990 0
vsize: 52212
[startup+250.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 171897 0 0 0 24564 435 0 0 25 0 1 0 801529693 50081792 11544 4294967295 134512640 134714508 3221221776 3221219776 1074918544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12227 11544 1111 63 0 12164 0
vsize: 48908
[startup+260.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 178139 0 0 0 25548 451 0 0 25 0 1 0 801529693 49487872 11406 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12082 11406 1111 63 0 12019 0
vsize: 48328
[startup+270.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 183589 0 0 0 26536 464 0 0 25 0 1 0 801529693 52621312 11849 4294967295 134512640 134714508 3221221776 3221218004 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12847 11849 1111 63 0 12784 0
vsize: 51388
[startup+280.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 189913 0 0 0 27522 478 0 0 25 0 1 0 801529693 49721344 11463 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12139 11463 1111 63 0 12076 0
vsize: 48556
[startup+290.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 195086 0 0 0 28509 490 0 0 25 0 1 0 801529693 50589696 11617 4294967295 134512640 134714508 3221221776 3221219888 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12351 11617 1111 63 0 12288 0
vsize: 49404
[startup+300.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 202980 0 0 0 29491 509 0 0 25 0 1 0 801529693 50876416 11713 4294967295 134512640 134714508 3221221776 3221219888 1074867344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12421 11713 1111 63 0 12358 0
vsize: 49684
[startup+310.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 211365 0 0 0 30471 529 0 0 25 0 1 0 801529693 50270208 11590 4294967295 134512640 134714508 3221221776 3221220080 1074039235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12273 11590 1111 63 0 12210 0
vsize: 49092
[startup+320.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 218210 0 0 0 31454 547 0 0 25 0 1 0 801529693 50393088 11627 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12303 11627 1111 63 0 12240 0
vsize: 49212
[startup+330.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 226337 0 0 0 32435 566 0 0 25 0 1 0 801529693 50167808 11572 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12248 11572 1111 63 0 12185 0
vsize: 48992
[startup+340.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 232597 0 0 0 33420 581 0 0 25 0 1 0 801529693 50417664 11633 4294967295 134512640 134714508 3221221776 3221220128 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12309 11633 1111 63 0 12246 0
vsize: 49236
[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 238705 0 0 0 34405 595 0 0 25 0 1 0 801529693 54697984 12066 4294967295 134512640 134714508 3221221776 3221218808 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13354 12066 1111 63 0 13291 0
vsize: 53416
[startup+360.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 244684 0 0 0 35391 610 0 0 25 0 1 0 801529693 54386688 12007 4294967295 134512640 134714508 3221221776 3221218004 1075115007 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13278 12007 1111 63 0 13215 0
vsize: 53112
[startup+370.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 251745 0 0 0 36374 627 0 0 25 0 1 0 801529693 50167808 11572 4294967295 134512640 134714508 3221221776 3221220064 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12248 11572 1111 63 0 12185 0
vsize: 48992
[startup+380.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 259585 0 0 0 37355 646 0 0 25 0 1 0 801529693 54796288 12180 4294967295 134512640 134714508 3221221776 3221217616 1075965258 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13378 12180 1111 63 0 13315 0
vsize: 53512
[startup+390.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 267787 0 0 0 38336 665 0 0 25 0 1 0 801529693 54931456 12199 4294967295 134512640 134714508 3221221776 3221218004 1075115057 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13411 12199 1111 63 0 13348 0
vsize: 53644
[startup+400.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 275027 0 0 0 39318 683 0 0 25 0 1 0 801529693 50749440 11714 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12390 11714 1111 63 0 12327 0
vsize: 49560
[startup+410.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 282283 0 0 0 40301 701 0 0 25 0 1 0 801529693 51494912 11896 4294967295 134512640 134714508 3221221776 3221219120 1074839039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12572 11896 1111 63 0 12509 0
vsize: 50288
[startup+420.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 290745 0 0 0 41281 721 0 0 25 0 1 0 801529693 51974144 12013 4294967295 134512640 134714508 3221221776 3221219776 1074918266 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12689 12013 1111 63 0 12626 0
vsize: 50756
[startup+430.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 300282 0 0 0 42260 742 0 0 25 0 1 0 801529693 55525376 12548 4294967295 134512640 134714508 3221221776 3221217876 1075964248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13556 12548 1111 63 0 13493 0
vsize: 54224
[startup+440.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 306879 0 0 0 43244 758 0 0 25 0 1 0 801529693 51257344 11838 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12514 11838 1111 63 0 12451 0
vsize: 50056
[startup+450.026 s]
Raw data (loadavg): 0.99 0.98 0.91 3/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 315526 0 0 0 44222 780 0 0 25 0 1 0 801529693 55726080 12468 4294967295 134512640 134714508 3221221776 3221217920 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13605 12468 1111 63 0 13542 0
vsize: 54420
[startup+460.027 s]
Raw data (loadavg): 0.99 0.98 0.91 3/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 325731 0 0 0 45200 803 0 0 25 0 1 0 801529693 51208192 11826 4294967295 134512640 134714508 3221221776 3221220128 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12502 11826 1111 63 0 12439 0
vsize: 50008
[startup+470.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 334125 0 0 0 46182 820 0 0 25 0 1 0 801529693 55820288 12514 4294967295 134512640 134714508 3221221776 3221218432 1075967705 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13628 12514 1111 63 0 13565 0
vsize: 54512
[startup+480.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 342567 0 0 0 47164 839 0 0 25 0 1 0 801529693 52563968 12146 4294967295 134512640 134714508 3221221776 3221219776 1074918192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12833 12146 1111 63 0 12770 0
vsize: 51332
[startup+490.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 352056 0 0 0 48143 860 0 0 25 0 1 0 801529693 52719616 12167 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12871 12167 1111 63 0 12808 0
vsize: 51484
[startup+500.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 361500 0 0 0 49122 881 0 0 25 0 1 0 801529693 51613696 11925 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12601 11925 1111 63 0 12538 0
vsize: 50404
[startup+510.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 371938 0 0 0 50097 906 0 0 25 0 1 0 801529693 56164352 12368 4294967295 134512640 134714508 3221221776 3221217832 1074789596 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13712 12368 1111 63 0 13649 0
vsize: 54848
[startup+520.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 380151 0 0 0 51079 925 0 0 25 0 1 0 801529693 52797440 12178 4294967295 134512640 134714508 3221221776 3221219888 1074867314 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12890 12178 1111 63 0 12827 0
vsize: 51560
[startup+530.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 392070 0 0 0 52054 951 0 0 25 0 1 0 801529693 52690944 12188 4294967295 134512640 134714508 3221221776 3221219736 1074138265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12864 12188 1111 63 0 12801 0
vsize: 51456
[startup+540.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 399341 0 0 0 53037 968 0 0 25 0 1 0 801529693 52719616 12174 4294967295 134512640 134714508 3221221776 3221219776 1074915844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12871 12174 1111 63 0 12808 0
vsize: 51484
[startup+550.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 406148 0 0 0 54021 983 0 0 25 0 1 0 801529693 51613696 11925 4294967295 134512640 134714508 3221221776 3221219808 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12601 11925 1111 63 0 12538 0
vsize: 50404
[startup+560.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 413809 0 0 0 55004 1001 0 0 25 0 1 0 801529693 56102912 12525 4294967295 134512640 134714508 3221221776 3221217660 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13697 12525 1111 63 0 13634 0
vsize: 54788
[startup+570.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 423979 0 0 0 55981 1025 0 0 25 0 1 0 801529693 51372032 11866 4294967295 134512640 134714508 3221221776 3221219980 1073972552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12542 11866 1111 63 0 12479 0
vsize: 50168
[startup+580.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 432042 0 0 0 56963 1042 0 0 25 0 1 0 801529693 56197120 12488 4294967295 134512640 134714508 3221221776 3221217936 1075091857 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13720 12488 1111 63 0 13657 0
vsize: 54880
[startup+590.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 441358 0 0 0 57942 1064 0 0 25 0 1 0 801529693 56295424 12601 4294967295 134512640 134714508 3221221776 3221217980 1075564165 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13744 12601 1111 63 0 13681 0
vsize: 54976
[startup+600.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 449248 0 0 0 58924 1081 0 0 25 0 1 0 801529693 52142080 12054 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12730 12054 1111 63 0 12667 0
vsize: 50920
[startup+610.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 458208 0 0 0 59905 1101 0 0 25 0 1 0 801529693 53153792 12301 4294967295 134512640 134714508 3221221776 3221219888 1074867320 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12977 12301 1111 63 0 12914 0
vsize: 51908
[startup+620.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 465960 0 0 0 60887 1119 0 0 25 0 1 0 801529693 52473856 12135 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12811 12135 1111 63 0 12748 0
vsize: 51244
[startup+630.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 472570 0 0 0 61872 1134 0 0 25 0 1 0 801529693 52883456 12203 4294967295 134512640 134714508 3221221776 3221220096 1074039443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12911 12203 1111 63 0 12848 0
vsize: 51644
[startup+640.046 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 480751 0 0 0 62854 1153 0 0 25 0 1 0 801529693 53137408 12297 4294967295 134512640 134714508 3221221776 3221220240 1074121052 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12973 12297 1111 63 0 12910 0
vsize: 51892
[startup+650.046 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 491237 0 0 0 63831 1176 0 0 25 0 1 0 801529693 57102336 12669 4294967295 134512640 134714508 3221221776 3221218004 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13941 12669 1111 63 0 13878 0
vsize: 55764
[startup+660.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 499149 0 0 0 64814 1193 0 0 25 0 1 0 801529693 52203520 12069 4294967295 134512640 134714508 3221221776 3221219760 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12745 12069 1111 63 0 12682 0
vsize: 50980
[startup+670.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 504843 0 0 0 65800 1208 0 0 25 0 1 0 801529693 57171968 12924 4294967295 134512640 134714508 3221221776 3221218308 1075863647 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13958 12924 1111 63 0 13895 0
vsize: 55832
[startup+680.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 510609 0 0 0 66786 1221 0 0 25 0 1 0 801529693 52744192 12191 4294967295 134512640 134714508 3221221776 3221219824 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12877 12191 1111 63 0 12814 0
vsize: 51508
[startup+690.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 518119 0 0 0 67769 1239 0 0 25 0 1 0 801529693 53862400 12456 4294967295 134512640 134714508 3221221776 3221219776 1074916565 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13150 12456 1111 63 0 13087 0
vsize: 52600
[startup+700.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 526334 0 0 0 68749 1259 0 0 25 0 1 0 801529693 57401344 12936 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14014 12936 1111 63 0 13951 0
vsize: 56056
[startup+710.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 532757 0 0 0 69734 1274 0 0 25 0 1 0 801529693 54284288 12549 4294967295 134512640 134714508 3221221776 3221219056 1074140041 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13253 12553 1111 63 0 13190 0
vsize: 53012
[startup+720.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 540586 0 0 0 70716 1292 0 0 25 0 1 0 801529693 57425920 12957 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14020 12957 1111 63 0 13957 0
vsize: 56080
[startup+730.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 548941 0 0 0 71696 1312 0 0 25 0 1 0 801529693 54337536 12543 4294967295 134512640 134714508 3221221776 3221219424 1075818335 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13266 12543 1111 63 0 13203 0
vsize: 53064
[startup+740.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 556098 0 0 0 72680 1329 0 0 25 0 1 0 801529693 52953088 12239 4294967295 134512640 134714508 3221221776 3221219824 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12928 12239 1111 63 0 12865 0
vsize: 51712
[startup+750.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 563213 0 0 0 73663 1346 0 0 25 0 1 0 801529693 52842496 12225 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12901 12225 1111 63 0 12838 0
vsize: 51604
[startup+760.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 5519
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 570511 0 0 0 74646 1363 0 0 25 0 1 0 801529693 53149696 12298 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12976 12298 1111 63 0 12913 0
vsize: 51904
[startup+770.402 s]
Raw data (loadavg): 1.15 1.02 0.93 3/58 5554
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 577627 0 0 0 75664 1380 0 0 25 0 1 0 801529693 52957184 12236 4294967295 134512640 134714508 3221221776 3221219776 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12929 12236 1111 63 0 12866 0
vsize: 51716
[startup+780.566 s]
Raw data (loadavg): 1.36 1.07 0.94 2/58 5571
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 584952 0 0 0 76663 1397 0 0 25 0 1 0 801529693 52629504 12172 4294967295 134512640 134714508 3221221776 3221220112 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12849 12172 1111 63 0 12786 0
vsize: 51396
[startup+790.774 s]
Raw data (loadavg): 1.31 1.06 0.94 2/55 5572
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 589810 0 0 0 77673 1408 0 0 25 0 1 0 801529693 53239808 12322 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12998 12322 1111 63 0 12935 0
vsize: 51992
[startup+800.774 s]
Raw data (loadavg): 1.26 1.06 0.94 2/55 5572
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 598508 0 0 0 78652 1429 0 0 25 0 1 0 801529693 57991168 12943 4294967295 134512640 134714508 3221221776 3221218816 1075860073 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14158 12943 1111 63 0 14095 0
vsize: 56632
[startup+810.785 s]
Raw data (loadavg): 1.22 1.06 0.94 2/55 5572
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 604708 0 0 0 79640 1443 0 0 25 0 1 0 801529693 53104640 12289 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12965 12289 1111 63 0 12902 0
vsize: 51860
[startup+820.786 s]
Raw data (loadavg): 1.18 1.06 0.94 2/55 5572
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 609700 0 0 0 80627 1456 0 0 25 0 1 0 801529693 53252096 12325 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13001 12325 1111 63 0 12938 0
vsize: 52004
[startup+830.786 s]
Raw data (loadavg): 1.16 1.05 0.94 2/55 5572
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 619788 0 0 0 81604 1479 0 0 25 0 1 0 801529693 52903936 12240 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12916 12240 1111 63 0 12853 0
vsize: 51664
[startup+840.787 s]
Raw data (loadavg): 1.13 1.05 0.94 2/55 5572
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 626709 0 0 0 82588 1496 0 0 25 0 1 0 801529693 53702656 12433 4294967295 134512640 134714508 3221221776 3221219416 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12999 12323 1111 63 0 12936 0
vsize: 52444
[startup+850.787 s]
Raw data (loadavg): 1.11 1.05 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 635335 0 0 0 83567 1516 0 0 25 0 1 0 801529693 53248000 12296 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13000 12296 1111 63 0 12937 0
vsize: 52000
[startup+860.787 s]
Raw data (loadavg): 1.09 1.05 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 642018 0 0 0 84554 1530 0 0 25 0 1 0 801529693 58245120 13170 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14220 13170 1111 63 0 14157 0
vsize: 56880
[startup+870.788 s]
Raw data (loadavg): 1.08 1.05 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 649394 0 0 0 85536 1547 0 0 25 0 1 0 801529693 57991168 13277 4294967295 134512640 134714508 3221221776 3221217936 1075093184 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14158 13277 1111 63 0 14095 0
vsize: 56632
[startup+880.788 s]
Raw data (loadavg): 1.07 1.04 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 657684 0 0 0 86518 1566 0 0 25 0 1 0 801529693 53452800 12374 4294967295 134512640 134714508 3221221776 3221217504 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13050 12374 1111 63 0 12987 0
vsize: 52200
[startup+890.788 s]
Raw data (loadavg): 1.06 1.04 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 664534 0 0 0 87501 1583 0 0 25 0 1 0 801529693 53706752 12427 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13112 12427 1111 63 0 13049 0
vsize: 52448
[startup+900.788 s]
Raw data (loadavg): 1.05 1.04 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 671958 0 0 0 88483 1601 0 0 25 0 1 0 801529693 53477376 12374 4294967295 134512640 134714508 3221221776 3221220160 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13056 12374 1111 63 0 12993 0
vsize: 52224
[startup+910.789 s]
Raw data (loadavg): 1.04 1.04 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 682146 0 0 0 89462 1623 0 0 25 0 1 0 801529693 53288960 12334 4294967295 134512640 134714508 3221221776 3221215280 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13010 12334 1111 63 0 12947 0
vsize: 52040
[startup+920.789 s]
Raw data (loadavg): 1.03 1.04 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 687390 0 0 0 90451 1634 0 0 25 0 1 0 801529693 54915072 12731 4294967295 134512640 134714508 3221221776 3221219888 1074867305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13407 12731 1111 63 0 13344 0
vsize: 53628
[startup+930.789 s]
Raw data (loadavg): 1.03 1.03 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 695977 0 0 0 91431 1654 0 0 25 0 1 0 801529693 53727232 12441 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13117 12441 1111 63 0 13054 0
vsize: 52468
[startup+940.79 s]
Raw data (loadavg): 1.02 1.03 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 702726 0 0 0 92416 1669 0 0 25 0 1 0 801529693 54075392 12515 4294967295 134512640 134714508 3221221776 3221220080 1074039235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13202 12515 1111 63 0 13139 0
vsize: 52808
[startup+950.79 s]
Raw data (loadavg): 1.02 1.03 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 710194 0 0 0 93398 1687 0 0 25 0 1 0 801529693 58437632 13094 4294967295 134512640 134714508 3221221776 3221217920 1074969440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14267 13094 1111 63 0 14204 0
vsize: 57068
[startup+960.791 s]
Raw data (loadavg): 1.02 1.03 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 718061 0 0 0 94380 1705 0 0 25 0 1 0 801529693 53731328 12433 4294967295 134512640 134714508 3221221776 3221220160 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13118 12433 1111 63 0 13055 0
vsize: 52472
[startup+970.792 s]
Raw data (loadavg): 1.01 1.03 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 725297 0 0 0 95364 1722 0 0 25 0 1 0 801529693 58707968 13514 4294967295 134512640 134714508 3221221776 3221217952 1074882601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14333 13514 1111 63 0 14270 0
vsize: 57332
[startup+980.792 s]
Raw data (loadavg): 1.01 1.03 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 732305 0 0 0 96348 1738 0 0 25 0 1 0 801529693 55549952 12886 4294967295 134512640 134714508 3221221776 3221219504 1075828449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13562 12886 1111 63 0 13499 0
vsize: 54248
[startup+990.793 s]
Raw data (loadavg): 1.01 1.03 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 739988 0 0 0 97329 1757 0 0 25 0 1 0 801529693 54239232 12566 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13242 12566 1111 63 0 13179 0
vsize: 52968
[startup+1000.79 s]
Raw data (loadavg): 1.01 1.02 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 747417 0 0 0 98311 1775 0 0 25 0 1 0 801529693 58048512 12840 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14172 12846 1111 63 0 14109 0
vsize: 56688
[startup+1010.79 s]
Raw data (loadavg): 1.00 1.02 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 755919 0 0 0 99291 1796 0 0 25 0 1 0 801529693 54108160 12534 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13210 12534 1111 63 0 13147 0
vsize: 52840
[startup+1020.79 s]
Raw data (loadavg): 1.00 1.02 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 763057 0 0 0 100276 1811 0 0 25 0 1 0 801529693 54849536 12715 4294967295 134512640 134714508 3221221776 3221219520 1075640393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13391 12715 1111 63 0 13328 0
vsize: 53564
[startup+1030.79 s]
Raw data (loadavg): 1.00 1.02 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 771492 0 0 0 101256 1831 0 0 25 0 1 0 801529693 54362112 12596 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13272 12596 1111 63 0 13209 0
vsize: 53088
[startup+1040.79 s]
Raw data (loadavg): 1.00 1.02 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 780574 0 0 0 102236 1851 0 0 25 0 1 0 801529693 59162624 13209 4294967295 134512640 134714508 3221221776 3221218048 1074960759 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14444 13209 1111 63 0 14381 0
vsize: 57776
[startup+1050.79 s]
Raw data (loadavg): 1.00 1.02 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 786871 0 0 0 103222 1865 0 0 25 0 1 0 801529693 54099968 12532 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13208 12532 1111 63 0 13145 0
vsize: 52832
[startup+1060.79 s]
Raw data (loadavg): 1.00 1.02 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 794407 0 0 0 104206 1882 0 0 25 0 1 0 801529693 55480320 12853 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13545 12853 1111 63 0 13482 0
vsize: 54180
[startup+1070.79 s]
Raw data (loadavg): 1.00 1.02 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 799085 0 0 0 105194 1893 0 0 25 0 1 0 801529693 54345728 12592 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13268 12592 1111 63 0 13205 0
vsize: 53072
[startup+1080.79 s]
Raw data (loadavg): 1.00 1.02 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 805077 0 0 0 106179 1908 0 0 25 0 1 0 801529693 55730176 12924 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13606 12924 1111 63 0 13543 0
vsize: 54424
[startup+1090.79 s]
Raw data (loadavg): 1.00 1.02 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 812013 0 0 0 107163 1924 0 0 25 0 1 0 801529693 54878208 12690 4294967295 134512640 134714508 3221221776 3221219772 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13398 12690 1111 63 0 13335 0
vsize: 53592
[startup+1100.79 s]
Raw data (loadavg): 1.00 1.02 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 819191 0 0 0 108147 1941 0 0 25 0 1 0 801529693 54153216 12545 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13221 12545 1111 63 0 13158 0
vsize: 52884
[startup+1110.79 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 827375 0 0 0 109130 1958 0 0 25 0 1 0 801529693 56066048 13012 4294967295 134512640 134714508 3221221776 3221219616 1075798484 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13688 13012 1111 63 0 13625 0
vsize: 54752
[startup+1120.79 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 5574
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 834592 0 0 0 110114 1974 0 0 25 0 1 0 801529693 54079488 12527 4294967295 134512640 134714508 3221221776 3221216704 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13203 12527 1111 63 0 13140 0
vsize: 52812
[startup+1130.79 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 5576
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 839376 0 0 0 111103 1985 0 0 25 0 1 0 801529693 54579200 12649 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13325 12649 1111 63 0 13262 0
vsize: 53300
[startup+1140.79 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 5576
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 843148 0 0 0 112094 1994 0 0 25 0 1 0 801529693 56422400 13099 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13775 13099 1111 63 0 13712 0
vsize: 55100
[startup+1150.79 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 5576
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 850163 0 0 0 113078 2011 0 0 25 0 1 0 801529693 59768832 13714 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14592 13714 1111 63 0 14529 0
vsize: 58368
[startup+1160.8 s]
Raw data (loadavg): 1.00 1.01 0.94 4/55 5576
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 858302 0 0 0 114060 2029 0 0 25 0 1 0 801529693 55603200 12899 4294967295 134512640 134714508 3221221776 3221220080 1074138460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13575 12899 1111 63 0 13512 0
vsize: 54300
[startup+1170.8 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 5576
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 866874 0 0 0 115040 2049 0 0 25 0 1 0 801529693 54403072 12606 4294967295 134512640 134714508 3221221776 3221218784 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13282 12606 1111 63 0 13219 0
vsize: 53128
[startup+1178.24 s]
Raw data (loadavg): 1.00 1.01 0.94 1/54 5576
Raw data (stat): 5519 (bsolo_lpr_cuts) R 5518 7876 7672 0 -1 0 866874 0 0 0 115040 2049 0 0 25 0 1 0 801529693 54403072 12606 4294967295 134512640 134714508 3221221776 3221218784 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13282 12606 1111 63 0 13219 0
vsize: 0

Child status: 10
Real time (s): 1178.24
CPU time (s): 1178.34
CPU user time (s): 1157.69
CPU system time (s): 20.6559
CPU usage (%): 100.009
Max. virtual memory (Kb): 58368
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	502
#### END VERIFIER DATA ####