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/submitted/manquinho/logic-synthesis/normalized-max1024.pi.opb
MD5SUM	6604a6c0d979e1f2b09762e6e4f70f84
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	259
Optimality of the best value was proved	NO
Number of terms in the objective function	1278
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	1278
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	1278
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.04584
Number of variables	1278
Total number of constraints	1087
Number of constraints which are clauses	1087
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	18
Trace number 23428

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 12:45:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=515 boxname=wulflinc31 idbench=58 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  6604a6c0d979e1f2b09762e6e4f70f84  /oldhome/oroussel/tmp/wulflinc31/normalized-max1024.pi.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-max1024.pi.opb
IDLAUNCH: 515
/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:        920648 kB
Buffers:         39928 kB
Cached:          52152 kB
SwapCached:        944 kB
Active:          77168 kB
Inactive:        17344 kB
HighTotal:      131008 kB
HighFree:        77924 kB
LowTotal:       903652 kB
LowFree:        842724 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14020 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 13:04:56 (client local time) WITH STATUS 10 IN 1184.41 SECONDS
stats: 515 0 1184.41 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1278 variables and 1087 constraints.
c After prepocess the problem consists of 1264 variables and 1040 constraints.
c preprocess terminated 0.708 s
c Initial Lower Bound: 257
c Lower Bound Elapsed time: 1.7255
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1234 @ 7.972
c NEW SOLUTION FOUND: 1233 @ 7.994
c NEW SOLUTION FOUND: 1232 @ 8.01
c NEW SOLUTION FOUND: 1231 @ 8.026
c NEW SOLUTION FOUND: 1230 @ 8.043
c NEW SOLUTION FOUND: 1229 @ 8.059
c NEW SOLUTION FOUND: 1228 @ 8.075
c NEW SOLUTION FOUND: 1227 @ 8.091
c NEW SOLUTION FOUND: 1226 @ 8.107
c NEW SOLUTION FOUND: 1225 @ 8.124
c NEW SOLUTION FOUND: 1224 @ 8.14
c NEW SOLUTION FOUND: 1223 @ 8.156
c NEW SOLUTION FOUND: 1222 @ 8.173
c NEW SOLUTION FOUND: 1221 @ 8.189
c NEW SOLUTION FOUND: 1220 @ 8.205
c NEW SOLUTION FOUND: 1219 @ 8.221
c NEW SOLUTION FOUND: 1218 @ 8.237
c NEW SOLUTION FOUND: 1217 @ 8.254
c NEW SOLUTION FOUND: 1216 @ 8.27
c NEW SOLUTION FOUND: 1215 @ 8.286
c NEW SOLUTION FOUND: 1214 @ 8.302
c NEW SOLUTION FOUND: 1213 @ 8.318
c NEW SOLUTION FOUND: 1212 @ 8.335
c NEW SOLUTION FOUND: 1211 @ 8.351
c NEW SOLUTION FOUND: 1210 @ 8.367
c NEW SOLUTION FOUND: 1209 @ 8.383
c NEW SOLUTION FOUND: 1208 @ 8.399
c NEW SOLUTION FOUND: 1207 @ 8.415
c NEW SOLUTION FOUND: 1206 @ 8.432
c NEW SOLUTION FOUND: 1205 @ 8.448
c NEW SOLUTION FOUND: 1204 @ 8.464
c NEW SOLUTION FOUND: 1203 @ 8.48
c NEW SOLUTION FOUND: 1202 @ 8.496
c NEW SOLUTION FOUND: 1201 @ 8.513
c NEW SOLUTION FOUND: 1200 @ 8.529
c NEW SOLUTION FOUND: 1199 @ 8.545
c NEW SOLUTION FOUND: 1198 @ 8.561
c NEW SOLUTION FOUND: 1197 @ 8.578
c NEW SOLUTION FOUND: 1196 @ 8.594
c NEW SOLUTION FOUND: 1195 @ 8.61
c NEW SOLUTION FOUND: 1194 @ 8.626
c NEW SOLUTION FOUND: 1193 @ 8.642
c NEW SOLUTION FOUND: 1192 @ 8.659
c NEW SOLUTION FOUND: 1191 @ 8.675
c NEW SOLUTION FOUND: 1190 @ 8.691
c NEW SOLUTION FOUND: 1189 @ 8.707
c NEW SOLUTION FOUND: 1188 @ 8.723
c NEW SOLUTION FOUND: 1187 @ 8.739
c NEW SOLUTION FOUND: 1186 @ 8.755
c NEW SOLUTION FOUND: 1185 @ 8.771
c NEW SOLUTION FOUND: 1184 @ 8.787
c NEW SOLUTION FOUND: 1183 @ 8.804
c NEW SOLUTION FOUND: 1182 @ 8.82
c NEW SOLUTION FOUND: 1181 @ 8.836
c NEW SOLUTION FOUND: 1180 @ 8.852
c NEW SOLUTION FOUND: 1179 @ 8.868
c NEW SOLUTION FOUND: 1178 @ 8.884
c NEW SOLUTION FOUND: 1177 @ 8.9
c NEW SOLUTION FOUND: 1176 @ 8.916
c NEW SOLUTION FOUND: 1175 @ 8.932
c NEW SOLUTION FOUND: 1174 @ 8.949
c NEW SOLUTION FOUND: 1173 @ 8.965
c NEW SOLUTION FOUND: 1172 @ 8.981
c NEW SOLUTION FOUND: 1171 @ 8.997
c NEW SOLUTION FOUND: 1170 @ 9.029
c NEW SOLUTION FOUND: 1169 @ 9.045
c NEW SOLUTION FOUND: 1168 @ 9.061
c NEW SOLUTION FOUND: 1167 @ 9.078
c NEW SOLUTION FOUND: 1166 @ 9.094
c NEW SOLUTION FOUND: 1165 @ 9.11
c NEW SOLUTION FOUND: 1164 @ 9.127
c NEW SOLUTION FOUND: 1163 @ 9.143
c NEW SOLUTION FOUND: 1162 @ 9.159
c NEW SOLUTION FOUND: 1161 @ 9.176
c NEW SOLUTION FOUND: 1160 @ 9.192
c NEW SOLUTION FOUND: 1159 @ 9.208
c NEW SOLUTION FOUND: 1158 @ 9.224
c NEW SOLUTION FOUND: 1157 @ 9.241
c NEW SOLUTION FOUND: 1156 @ 9.257
c NEW SOLUTION FOUND: 1155 @ 9.273
c NEW SOLUTION FOUND: 1154 @ 9.289
c NEW SOLUTION FOUND: 1153 @ 9.305
c NEW SOLUTION FOUND: 1152 @ 9.322
c NEW SOLUTION FOUND: 1151 @ 9.338
c NEW SOLUTION FOUND: 1150 @ 9.354
c NEW SOLUTION FOUND: 1149 @ 9.37
c NEW SOLUTION FOUND: 1148 @ 9.387
c NEW SOLUTION FOUND: 1147 @ 9.403
c NEW SOLUTION FOUND: 1146 @ 9.419
c NEW SOLUTION FOUND: 1145 @ 9.435
c NEW SOLUTION FOUND: 1144 @ 9.452
c NEW SOLUTION FOUND: 1143 @ 9.468
c NEW SOLUTION FOUND: 1142 @ 9.484
c NEW SOLUTION FOUND: 1141 @ 9.5
c NEW SOLUTION FOUND: 1140 @ 9.516
c NEW SOLUTION FOUND: 1139 @ 9.533
c NEW SOLUTION FOUND: 1138 @ 9.549
c NEW SOLUTION FOUND: 1137 @ 9.565
c NEW SOLUTION FOUND: 1136 @ 9.581
c NEW SOLUTION FOUND: 1135 @ 9.597
c NEW SOLUTION FOUND: 1134 @ 9.614
c NEW SOLUTION FOUND: 1133 @ 9.63
c NEW SOLUTION FOUND: 1132 @ 9.646
c NEW SOLUTION FOUND: 1131 @ 9.662
c NEW SOLUTION FOUND: 1130 @ 9.679
c NEW SOLUTION FOUND: 1129 @ 9.695
c NEW SOLUTION FOUND: 1128 @ 9.711
c NEW SOLUTION FOUND: 1127 @ 9.727
c NEW SOLUTION FOUND: 1126 @ 9.743
c NEW SOLUTION FOUND: 1125 @ 9.76
c NEW SOLUTION FOUND: 1124 @ 9.793
c NEW SOLUTION FOUND: 1123 @ 9.811
c NEW SOLUTION FOUND: 1122 @ 9.828
c NEW SOLUTION FOUND: 1121 @ 9.846
c NEW SOLUTION FOUND: 1120 @ 9.864
c NEW SOLUTION FOUND: 1119 @ 9.881
c NEW SOLUTION FOUND: 1118 @ 9.899
c NEW SOLUTION FOUND: 1117 @ 9.916
c NEW SOLUTION FOUND: 1116 @ 9.934
c NEW SOLUTION FOUND: 1115 @ 9.952
c NEW SOLUTION FOUND: 1114 @ 9.969
c NEW SOLUTION FOUND: 1113 @ 9.989
c NEW SOLUTION FOUND: 1112 @ 10.006
c NEW SOLUTION FOUND: 1111 @ 10.024
c NEW SOLUTION FOUND: 1110 @ 10.041
c NEW SOLUTION FOUND: 1109 @ 10.059
c NEW SOLUTION FOUND: 1108 @ 10.076
c NEW SOLUTION FOUND: 1107 @ 10.094
c NEW SOLUTION FOUND: 1106 @ 10.111
c NEW SOLUTION FOUND: 1105 @ 10.129
c NEW SOLUTION FOUND: 1104 @ 10.146
c NEW SOLUTION FOUND: 1103 @ 10.164
c NEW SOLUTION FOUND: 1102 @ 10.216
c NEW SOLUTION FOUND: 1101 @ 10.233
c NEW SOLUTION FOUND: 1100 @ 10.251
c NEW SOLUTION FOUND: 1099 @ 10.286
c NEW SOLUTION FOUND: 1098 @ 10.304
c NEW SOLUTION FOUND: 1097 @ 10.322
c NEW SOLUTION FOUND: 1096 @ 10.34
c NEW SOLUTION FOUND: 1095 @ 10.376
c NEW SOLUTION FOUND: 1094 @ 10.394
c NEW SOLUTION FOUND: 1093 @ 10.412
c NEW SOLUTION FOUND: 1092 @ 10.43
c NEW SOLUTION FOUND: 1091 @ 10.449
c NEW SOLUTION FOUND: 1090 @ 10.467
c NEW SOLUTION FOUND: 1089 @ 10.485
c NEW SOLUTION FOUND: 1088 @ 10.504
c NEW SOLUTION FOUND: 1087 @ 10.523
c NEW SOLUTION FOUND: 1086 @ 10.541
c NEW SOLUTION FOUND: 1085 @ 10.559
c NEW SOLUTION FOUND: 1084 @ 10.578
c NEW SOLUTION FOUND: 1083 @ 10.596
c NEW SOLUTION FOUND: 1082 @ 10.614
c NEW SOLUTION FOUND: 1081 @ 10.633
c NEW SOLUTION FOUND: 1080 @ 10.651
c NEW SOLUTION FOUND: 1079 @ 10.669
c NEW SOLUTION FOUND: 1078 @ 10.687
c NEW SOLUTION FOUND: 1077 @ 10.705
c NEW SOLUTION FOUND: 1076 @ 10.742
c NEW SOLUTION FOUND: 1075 @ 10.76
c NEW SOLUTION FOUND: 1074 @ 10.778
c NEW SOLUTION FOUND: 1073 @ 10.797
c NEW SOLUTION FOUND: 1072 @ 10.815
c NEW SOLUTION FOUND: 1071 @ 10.833
c NEW SOLUTION FOUND: 1070 @ 10.852
c NEW SOLUTION FOUND: 1069 @ 10.87
c NEW SOLUTION FOUND: 1068 @ 10.888
c NEW SOLUTION FOUND: 1067 @ 10.907
c NEW SOLUTION FOUND: 1066 @ 10.925
c NEW SOLUTION FOUND: 1065 @ 10.944
c NEW SOLUTION FOUND: 1064 @ 10.98
c NEW SOLUTION FOUND: 1063 @ 10.998
c NEW SOLUTION FOUND: 1062 @ 11.017
c NEW SOLUTION FOUND: 1061 @ 11.035
c NEW SOLUTION FOUND: 1060 @ 11.054
c NEW SOLUTION FOUND: 1059 @ 11.072
c NEW SOLUTION FOUND: 1058 @ 11.091
c NEW SOLUTION FOUND: 1057 @ 11.11
c NEW SOLUTION FOUND: 1056 @ 11.128
c NEW SOLUTION FOUND: 1055 @ 11.147
c NEW SOLUTION FOUND: 1054 @ 11.165
c NEW SOLUTION FOUND: 1053 @ 11.184
c NEW SOLUTION FOUND: 1052 @ 11.202
c NEW SOLUTION FOUND: 1051 @ 11.221
c NEW SOLUTION FOUND: 1050 @ 11.239
c NEW SOLUTION FOUND: 1049 @ 11.258
c NEW SOLUTION FOUND: 1048 @ 11.276
c NEW SOLUTION FOUND: 1047 @ 11.295
c NEW SOLUTION FOUND: 1046 @ 11.332
c NEW SOLUTION FOUND: 1045 @ 11.35
c NEW SOLUTION FOUND: 1044 @ 11.368
c NEW SOLUTION FOUND: 1043 @ 11.387
c NEW SOLUTION FOUND: 1042 @ 11.405
c NEW SOLUTION FOUND: 1041 @ 11.423
c NEW SOLUTION FOUND: 1040 @ 11.46
c NEW SOLUTION FOUND: 1039 @ 11.479
c NEW SOLUTION FOUND: 1038 @ 11.498
c NEW SOLUTION FOUND: 1037 @ 11.517
c NEW SOLUTION FOUND: 1036 @ 11.536
c NEW SOLUTION FOUND: 1035 @ 11.555
c NEW SOLUTION FOUND: 1034 @ 11.573
c NEW SOLUTION FOUND: 1033 @ 11.592
c NEW SOLUTION FOUND: 1032 @ 11.611
c NEW SOLUTION FOUND: 1031 @ 11.63
c NEW SOLUTION FOUND: 1030 @ 11.649
c NEW SOLUTION FOUND: 1029 @ 11.669
c NEW SOLUTION FOUND: 1028 @ 11.688
c NEW SOLUTION FOUND: 1027 @ 11.707
c NEW SOLUTION FOUND: 1026 @ 11.726
c NEW SOLUTION FOUND: 1025 @ 11.745
c NEW SOLUTION FOUND: 1024 @ 11.764
c NEW SOLUTION FOUND: 1023 @ 11.783
c NEW SOLUTION FOUND: 1022 @ 11.803
c NEW SOLUTION FOUND: 1021 @ 11.822
c NEW SOLUTION FOUND: 1020 @ 11.841
c NEW SOLUTION FOUND: 1019 @ 11.861
c NEW SOLUTION FOUND: 1018 @ 11.88
c NEW SOLUTION FOUND: 1017 @ 11.899
c NEW SOLUTION FOUND: 1016 @ 11.918
c NEW SOLUTION FOUND: 1015 @ 11.938
c NEW SOLUTION FOUND: 1014 @ 11.957
c NEW SOLUTION FOUND: 1013 @ 11.976
c NEW SOLUTION FOUND: 1012 @ 11.996
c NEW SOLUTION FOUND: 1011 @ 12.015
c NEW SOLUTION FOUND: 1010 @ 12.034
c NEW SOLUTION FOUND: 1009 @ 12.053
c NEW SOLUTION FOUND: 1008 @ 12.073
c NEW SOLUTION FOUND: 1007 @ 12.092
c NEW SOLUTION FOUND: 1006 @ 12.13
c NEW SOLUTION FOUND: 1005 @ 12.149
c NEW SOLUTION FOUND: 1004 @ 12.168
c NEW SOLUTION FOUND: 1003 @ 12.208
c NEW SOLUTION FOUND: 1002 @ 12.228
c NEW SOLUTION FOUND: 1001 @ 12.248
c NEW SOLUTION FOUND: 1000 @ 12.268
c NEW SOLUTION FOUND: 999 @ 12.288
c NEW SOLUTION FOUND: 998 @ 12.308
c NEW SOLUTION FOUND: 997 @ 12.328
c NEW SOLUTION FOUND: 996 @ 12.348
c NEW SOLUTION FOUND: 995 @ 12.368
c NEW SOLUTION FOUND: 994 @ 12.388
c NEW SOLUTION FOUND: 993 @ 12.408
c NEW SOLUTION FOUND: 992 @ 12.429
c NEW SOLUTION FOUND: 991 @ 12.449
c NEW SOLUTION FOUND: 990 @ 12.469
c NEW SOLUTION FOUND: 989 @ 12.489
c NEW SOLUTION FOUND: 988 @ 12.509
c NEW SOLUTION FOUND: 987 @ 12.529
c NEW SOLUTION FOUND: 986 @ 12.549
c NEW SOLUTION FOUND: 985 @ 12.569
c NEW SOLUTION FOUND: 984 @ 12.59
c NEW SOLUTION FOUND: 983 @ 12.61
c NEW SOLUTION FOUND: 982 @ 12.649
c NEW SOLUTION FOUND: 981 @ 12.669
c NEW SOLUTION FOUND: 980 @ 12.689
c NEW SOLUTION FOUND: 979 @ 12.709
c NEW SOLUTION FOUND: 978 @ 12.73
c NEW SOLUTION FOUND: 977 @ 12.75
c NEW SOLUTION FOUND: 976 @ 12.77
c NEW SOLUTION FOUND: 975 @ 12.79
c NEW SOLUTION FOUND: 974 @ 12.811
c NEW SOLUTION FOUND: 973 @ 12.831
c NEW SOLUTION FOUND: 972 @ 12.851
c NEW SOLUTION FOUND: 971 @ 12.871
c NEW SOLUTION FOUND: 970 @ 12.891
c NEW SOLUTION FOUND: 969 @ 12.911
c NEW SOLUTION FOUND: 968 @ 12.931
c NEW SOLUTION FOUND: 967 @ 12.951
c NEW SOLUTION FOUND: 966 @ 12.971
c NEW SOLUTION FOUND: 965 @ 12.992
c NEW SOLUTION FOUND: 964 @ 13.012
c NEW SOLUTION FOUND: 963 @ 13.032
c NEW SOLUTION FOUND: 962 @ 13.052
c NEW SOLUTION FOUND: 961 @ 13.072
c NEW SOLUTION FOUND: 960 @ 13.092
c NEW SOLUTION FOUND: 959 @ 13.112
c NEW SOLUTION FOUND: 958 @ 13.132
c NEW SOLUTION FOUND: 957 @ 13.153
c NEW SOLUTION FOUND: 956 @ 13.173
c NEW SOLUTION FOUND: 955 @ 13.193
c NEW SOLUTION FOUND: 954 @ 13.213
c NEW SOLUTION FOUND: 953 @ 13.233
c NEW SOLUTION FOUND: 952 @ 13.253
c NEW SOLUTION FOUND: 951 @ 13.273
c NEW SOLUTION FOUND: 950 @ 13.293
c NEW SOLUTION FOUND: 949 @ 13.313
c NEW SOLUTION FOUND: 948 @ 13.333
c NEW SOLUTION FOUND: 947 @ 13.354
c NEW SOLUTION FOUND: 946 @ 13.374
c NEW SOLUTION FOUND: 945 @ 13.393
c NEW SOLUTION FOUND: 944 @ 13.413
c NEW SOLUTION FOUND: 943 @ 13.452
c NEW SOLUTION FOUND: 942 @ 13.472
c NEW SOLUTION FOUND: 941 @ 13.492
c NEW SOLUTION FOUND: 940 @ 13.513
c NEW SOLUTION FOUND: 939 @ 13.533
c NEW SOLUTION FOUND: 938 @ 13.553
c NEW SOLUTION FOUND: 937 @ 13.573
c NEW SOLUTION FOUND: 936 @ 13.613
c NEW SOLUTION FOUND: 935 @ 13.634
c NEW SOLUTION FOUND: 934 @ 13.655
c NEW SOLUTION FOUND: 933 @ 13.675
c NEW SOLUTION FOUND: 932 @ 13.695
c NEW SOLUTION FOUND: 931 @ 13.737
c NEW SOLUTION FOUND: 930 @ 13.757
c NEW SOLUTION FOUND: 929 @ 13.778
c NEW SOLUTION FOUND: 928 @ 13.799
c NEW SOLUTION FOUND: 927 @ 13.82
c NEW SOLUTION FOUND: 926 @ 13.841
c NEW SOLUTION FOUND: 925 @ 13.863
c NEW SOLUTION FOUND: 924 @ 13.884
c NEW SOLUTION FOUND: 923 @ 13.905
c NEW SOLUTION FOUND: 922 @ 13.926
c NEW SOLUTION FOUND: 921 @ 13.947
c NEW SOLUTION FOUND: 920 @ 13.968
c NEW SOLUTION FOUND: 919 @ 13.989
c NEW SOLUTION FOUND: 918 @ 14.01
c NEW SOLUTION FOUND: 917 @ 14.031
c NEW SOLUTION FOUND: 916 @ 14.052
c NEW SOLUTION FOUND: 915 @ 14.073
c NEW SOLUTION FOUND: 914 @ 14.094
c NEW SOLUTION FOUND: 913 @ 14.114
c NEW SOLUTION FOUND: 912 @ 14.136
c NEW SOLUTION FOUND: 911 @ 14.157
c NEW SOLUTION FOUND: 910 @ 14.199
c NEW SOLUTION FOUND: 909 @ 14.219
c NEW SOLUTION FOUND: 908 @ 14.24
c NEW SOLUTION FOUND: 907 @ 14.261
c NEW SOLUTION FOUND: 906 @ 14.283
c NEW SOLUTION FOUND: 905 @ 14.304
c NEW SOLUTION FOUND: 904 @ 14.345
c NEW SOLUTION FOUND: 903 @ 14.367
c NEW SOLUTION FOUND: 902 @ 14.388
c NEW SOLUTION FOUND: 901 @ 14.409
c NEW SOLUTION FOUND: 900 @ 14.43
c NEW SOLUTION FOUND: 899 @ 14.452
c NEW SOLUTION FOUND: 898 @ 14.473
c NEW SOLUTION FOUND: 897 @ 14.494
c NEW SOLUTION FOUND: 896 @ 14.516
c NEW SOLUTION FOUND: 895 @ 14.537
c NEW SOLUTION FOUND: 894 @ 14.558
c NEW SOLUTION FOUND: 893 @ 14.58
c NEW SOLUTION FOUND: 892 @ 14.601
c NEW SOLUTION FOUND: 891 @ 14.622
c NEW SOLUTION FOUND: 890 @ 14.643
c NEW SOLUTION FOUND: 889 @ 14.665
c NEW SOLUTION FOUND: 888 @ 14.686
c NEW SOLUTION FOUND: 887 @ 14.729
c NEW SOLUTION FOUND: 886 @ 14.772
c NEW SOLUTION FOUND: 885 @ 14.814
c NEW SOLUTION FOUND: 884 @ 14.836
c NEW SOLUTION FOUND: 883 @ 14.858
c NEW SOLUTION FOUND: 882 @ 14.88
c NEW SOLUTION FOUND: 881 @ 14.902
c NEW SOLUTION FOUND: 880 @ 14.924
c NEW SOLUTION FOUND: 879 @ 14.946
c NEW SOLUTION FOUND: 878 @ 14.968
c NEW SOLUTION FOUND: 877 @ 14.99
c NEW SOLUTION FOUND: 876 @ 15.012
c NEW SOLUTION FOUND: 875 @ 15.034
c NEW SOLUTION FOUND: 874 @ 15.056
c NEW SOLUTION FOUND: 873 @ 15.078
c NEW SOLUTION FOUND: 872 @ 15.099
c NEW SOLUTION FOUND: 871 @ 15.121
c NEW SOLUTION FOUND: 870 @ 15.143
c NEW SOLUTION FOUND: 869 @ 15.165
c NEW SOLUTION FOUND: 868 @ 15.208
c NEW SOLUTION FOUND: 867 @ 15.23
c NEW SOLUTION FOUND: 866 @ 15.252
c NEW SOLUTION FOUND: 865 @ 15.274
c NEW SOLUTION FOUND: 864 @ 15.297
c NEW SOLUTION FOUND: 863 @ 15.318
c NEW SOLUTION FOUND: 862 @ 15.341
c NEW SOLUTION FOUND: 861 @ 15.363
c NEW SOLUTION FOUND: 860 @ 15.407
c NEW SOLUTION FOUND: 859 @ 15.429
c NEW SOLUTION FOUND: 858 @ 15.451
c NEW SOLUTION FOUND: 857 @ 15.474
c NEW SOLUTION FOUND: 856 @ 15.496
c NEW SOLUTION FOUND: 855 @ 15.519
c NEW SOLUTION FOUND: 854 @ 15.542
c NEW SOLUTION FOUND: 853 @ 15.565
c NEW SOLUTION FOUND: 852 @ 15.588
c NEW SOLUTION FOUND: 851 @ 15.61
c NEW SOLUTION FOUND: 850 @ 15.633
c NEW SOLUTION FOUND: 849 @ 15.656
c NEW SOLUTION FOUND: 848 @ 15.679
c NEW SOLUTION FOUND: 847 @ 15.724
c NEW SOLUTION FOUND: 846 @ 15.746
c NEW SOLUTION FOUND: 845 @ 15.769
c NEW SOLUTION FOUND: 844 @ 15.792
c NEW SOLUTION FOUND: 843 @ 15.815
c NEW SOLUTION FOUND: 842 @ 15.838
c NEW SOLUTION FOUND: 841 @ 15.861
c NEW SOLUTION FOUND: 840 @ 15.885
c NEW SOLUTION FOUND: 839 @ 15.907
c NEW SOLUTION FOUND: 838 @ 15.93
c NEW SOLUTION FOUND: 837 @ 15.953
c NEW SOLUTION FOUND: 836 @ 15.976
c NEW SOLUTION FOUND: 835 @ 15.999
c NEW SOLUTION FOUND: 834 @ 16.022
c NEW SOLUTION FOUND: 833 @ 16.045
c NEW SOLUTION FOUND: 832 @ 16.068
c NEW SOLUTION FOUND: 831 @ 16.091
c NEW SOLUTION FOUND: 830 @ 16.115
c NEW SOLUTION FOUND: 829 @ 16.138
c NEW SOLUTION FOUND: 828 @ 16.16
c NEW SOLUTION FOUND: 827 @ 16.205
c NEW SOLUTION FOUND: 826 @ 16.251
c NEW SOLUTION FOUND: 825 @ 16.274
c NEW SOLUTION FOUND: 824 @ 16.297
c NEW SOLUTION FOUND: 823 @ 16.32
c NEW SOLUTION FOUND: 822 @ 16.343
c NEW SOLUTION FOUND: 821 @ 16.366
c NEW SOLUTION FOUND: 820 @ 16.39
c NEW SOLUTION FOUND: 819 @ 16.413
c NEW SOLUTION FOUND: 818 @ 16.437
c NEW SOLUTION FOUND: 817 @ 16.46
c NEW SOLUTION FOUND: 816 @ 16.533
c NEW SOLUTION FOUND: 815 @ 16.557
c NEW SOLUTION FOUND: 814 @ 16.582
c NEW SOLUTION FOUND: 813 @ 16.608
c NEW SOLUTION FOUND: 812 @ 16.681
c NEW SOLUTION FOUND: 811 @ 16.707
c NEW SOLUTION FOUND: 810 @ 16.732
c NEW SOLUTION FOUND: 809 @ 16.758
c NEW SOLUTION FOUND: 808 @ 16.784
c NEW SOLUTION FOUND: 807 @ 16.809
c NEW SOLUTION FOUND: 806 @ 16.835
c NEW SOLUTION FOUND: 805 @ 16.86
c NEW SOLUTION FOUND: 804 @ 16.886
c NEW SOLUTION FOUND: 803 @ 16.911
c NEW SOLUTION FOUND: 802 @ 16.936
c NEW SOLUTION FOUND: 801 @ 16.962
c NEW SOLUTION FOUND: 800 @ 16.987
c NEW SOLUTION FOUND: 799 @ 17.012
c NEW SOLUTION FOUND: 798 @ 17.038
c NEW SOLUTION FOUND: 797 @ 17.089
c NEW SOLUTION FOUND: 796 @ 17.114
c NEW SOLUTION FOUND: 795 @ 17.141
c NEW SOLUTION FOUND: 794 @ 17.167
c NEW SOLUTION FOUND: 793 @ 17.193
c NEW SOLUTION FOUND: 792 @ 17.22
c NEW SOLUTION FOUND: 791 @ 17.247
c NEW SOLUTION FOUND: 790 @ 17.274
c NEW SOLUTION FOUND: 789 @ 17.3
c NEW SOLUTION FOUND: 788 @ 17.327
c NEW SOLUTION FOUND: 787 @ 17.355
c NEW SOLUTION FOUND: 786 @ 17.384
c NEW SOLUTION FOUND: 785 @ 17.41
c NEW SOLUTION FOUND: 784 @ 17.465
c NEW SOLUTION FOUND: 783 @ 17.522
c NEW SOLUTION FOUND: 782 @ 17.551
c NEW SOLUTION FOUND: 781 @ 17.581
c NEW SOLUTION FOUND: 780 @ 17.611
c NEW SOLUTION FOUND: 779 @ 17.64
c NEW SOLUTION FOUND: 778 @ 17.67
c NEW SOLUTION FOUND: 777 @ 17.699
c NEW SOLUTION FOUND: 776 @ 17.728
c NEW SOLUTION FOUND: 775 @ 17.759
c NEW SOLUTION FOUND: 774 @ 17.789
c NEW SOLUTION FOUND: 773 @ 17.819
c NEW SOLUTION FOUND: 772 @ 17.849
c NEW SOLUTION FOUND: 771 @ 17.879
c NEW SOLUTION FOUND: 770 @ 17.909
c NEW SOLUTION FOUND: 769 @ 17.939
c NEW SOLUTION FOUND: 768 @ 17.969
c NEW SOLUTION FOUND: 767 @ 17.997
c NEW SOLUTION FOUND: 766 @ 18.029
c NEW SOLUTION FOUND: 765 @ 18.059
c NEW SOLUTION FOUND: 764 @ 18.089
c NEW SOLUTION FOUND: 763 @ 18.12
c NEW SOLUTION FOUND: 762 @ 18.15
c NEW SOLUTION FOUND: 761 @ 18.181
c NEW SOLUTION FOUND: 760 @ 18.211
c NEW SOLUTION FOUND: 759 @ 18.241
c NEW SOLUTION FOUND: 758 @ 18.272
c NEW SOLUTION FOUND: 757 @ 18.303
c NEW SOLUTION FOUND: 756 @ 18.334
c NEW SOLUTION FOUND: 755 @ 18.364
c NEW SOLUTION FOUND: 754 @ 18.395
c NEW SOLUTION FOUND: 753 @ 18.425
c NEW SOLUTION FOUND: 752 @ 18.456
c NEW SOLUTION FOUND: 751 @ 18.486
c NEW SOLUTION FOUND: 750 @ 18.516
c NEW SOLUTION FOUND: 749 @ 18.547
c NEW SOLUTION FOUND: 748 @ 18.578
c NEW SOLUTION FOUND: 747 @ 18.608
c NEW SOLUTION FOUND: 746 @ 18.639
c NEW SOLUTION FOUND: 745 @ 18.67
c NEW SOLUTION FOUND: 744 @ 18.7
c NEW SOLUTION FOUND: 743 @ 18.732
c NEW SOLUTION FOUND: 742 @ 18.763
c NEW SOLUTION FOUND: 741 @ 18.794
c NEW SOLUTION FOUND: 740 @ 18.824
c NEW SOLUTION FOUND: 739 @ 18.855
c NEW SOLUTION FOUND: 738 @ 18.886
c NEW SOLUTION FOUND: 737 @ 18.916
c NEW SOLUTION FOUND: 736 @ 18.947
c NEW SOLUTION FOUND: 735 @ 18.978
c NEW SOLUTION FOUND: 734 @ 19.008
c NEW SOLUTION FOUND: 733 @ 19.039
c NEW SOLUTION FOUND: 732 @ 19.069
c NEW SOLUTION FOUND: 731 @ 19.1
c NEW SOLUTION FOUND: 730 @ 19.131
c NEW SOLUTION FOUND: 729 @ 19.162
c NEW SOLUTION FOUND: 728 @ 19.192
c NEW SOLUTION FOUND: 727 @ 19.223
c NEW SOLUTION FOUND: 726 @ 19.254
c NEW SOLUTION FOUND: 725 @ 19.285
c NEW SOLUTION FOUND: 724 @ 19.315
c NEW SOLUTION FOUND: 723 @ 19.346
c NEW SOLUTION FOUND: 722 @ 19.376
c NEW SOLUTION FOUND: 721 @ 19.407
c NEW SOLUTION FOUND: 720 @ 19.438
c NEW SOLUTION FOUND: 719 @ 19.469
c NEW SOLUTION FOUND: 718 @ 19.499
c NEW SOLUTION FOUND: 717 @ 19.53
c NEW SOLUTION FOUND: 716 @ 19.561
c NEW SOLUTION FOUND: 715 @ 19.592
c NEW SOLUTION FOUND: 714 @ 19.624
c NEW SOLUTION FOUND: 713 @ 19.654
c NEW SOLUTION FOUND: 712 @ 19.685
c NEW SOLUTION FOUND: 711 @ 19.717
c NEW SOLUTION FOUND: 710 @ 19.748
c NEW SOLUTION FOUND: 709 @ 19.779
c NEW SOLUTION FOUND: 708 @ 19.81
c NEW SOLUTION FOUND: 707 @ 19.841
c NEW SOLUTION FOUND: 706 @ 19.872
c NEW SOLUTION FOUND: 705 @ 19.903
c NEW SOLUTION FOUND: 704 @ 19.934
c NEW SOLUTION FOUND: 703 @ 19.966
c NEW SOLUTION FOUND: 702 @ 19.997
c NEW SOLUTION FOUND: 701 @ 20.028
c NEW SOLUTION FOUND: 700 @ 20.059
c NEW SOLUTION FOUND: 699 @ 20.09
c NEW SOLUTION FOUND: 698 @ 20.121
c NEW SOLUTION FOUND: 697 @ 20.152
c NEW SOLUTION FOUND: 696 @ 20.183
c NEW SOLUTION FOUND: 695 @ 20.245
c NEW SOLUTION FOUND: 694 @ 20.307
c NEW SOLUTION FOUND: 693 @ 20.338
c NEW SOLUTION FOUND: 692 @ 20.368
c NEW SOLUTION FOUND: 691 @ 20.4
c NEW SOLUTION FOUND: 690 @ 20.433
c NEW SOLUTION FOUND: 689 @ 20.466
c NEW SOLUTION FOUND: 688 @ 20.499
c NEW SOLUTION FOUND: 687 @ 20.532
c NEW SOLUTION FOUND: 686 @ 20.565
c NEW SOLUTION FOUND: 685 @ 20.598
c NEW SOLUTION FOUND: 684 @ 20.631
c NEW SOLUTION FOUND: 683 @ 20.665
c NEW SOLUTION FOUND: 682 @ 20.698
c NEW SOLUTION FOUND: 681 @ 20.731
c NEW SOLUTION FOUND: 680 @ 20.797
c NEW SOLUTION FOUND: 679 @ 20.83
c NEW SOLUTION FOUND: 678 @ 20.864
c NEW SOLUTION FOUND: 677 @ 20.897
c NEW SOLUTION FOUND: 676 @ 20.931
c NEW SOLUTION FOUND: 675 @ 20.964
c NEW SOLUTION FOUND: 674 @ 20.997
c NEW SOLUTION FOUND: 673 @ 21.031
c NEW SOLUTION FOUND: 672 @ 21.064
c NEW SOLUTION FOUND: 671 @ 21.097
c NEW SOLUTION FOUND: 670 @ 21.162
c NEW SOLUTION FOUND: 669 @ 21.196
c NEW SOLUTION FOUND: 668 @ 21.23
c NEW SOLUTION FOUND: 667 @ 21.263
c NEW SOLUTION FOUND: 666 @ 21.297
c NEW SOLUTION FOUND: 665 @ 21.33
c NEW SOLUTION FOUND: 664 @ 21.364
c NEW SOLUTION FOUND: 663 @ 21.398
c NEW SOLUTION FOUND: 662 @ 21.53
c NEW SOLUTION FOUND: 661 @ 21.564
c NEW SOLUTION FOUND: 660 @ 21.598
c NEW SOLUTION FOUND: 659 @ 21.632
c NEW SOLUTION FOUND: 658 @ 21.666
c NEW SOLUTION FOUND: 657 @ 21.7
c NEW SOLUTION FOUND: 656 @ 21.734
c NEW SOLUTION FOUND: 655 @ 21.768
c NEW SOLUTION FOUND: 654 @ 21.802
c NEW SOLUTION FOUND: 653 @ 21.836
c NEW SOLUTION FOUND: 652 @ 21.903
c NEW SOLUTION FOUND: 651 @ 21.939
c NEW SOLUTION FOUND: 650 @ 22.006
c NEW SOLUTION FOUND: 649 @ 22.041
c NEW SOLUTION FOUND: 648 @ 22.075
c NEW SOLUTION FOUND: 647 @ 22.11
c NEW SOLUTION FOUND: 646 @ 22.178
c NEW SOLUTION FOUND: 645 @ 22.246
c NEW SOLUTION FOUND: 644 @ 22.281
c NEW SOLUTION FOUND: 643 @ 22.316
c NEW SOLUTION FOUND: 642 @ 22.386
c NEW SOLUTION FOUND: 641 @ 22.421
c NEW SOLUTION FOUND: 640 @ 22.456
c NEW SOLUTION FOUND: 639 @ 22.526
c NEW SOLUTION FOUND: 638 @ 22.595
c NEW SOLUTION FOUND: 637 @ 22.631
c NEW SOLUTION FOUND: 636 @ 22.666
c NEW SOLUTION FOUND: 635 @ 22.702
c NEW SOLUTION FOUND: 634 @ 22.738
c NEW SOLUTION FOUND: 633 @ 22.773
c NEW SOLUTION FOUND: 632 @ 22.809
c NEW SOLUTION FOUND: 631 @ 22.845
c NEW SOLUTION FOUND: 630 @ 22.88
c NEW SOLUTION FOUND: 629 @ 22.916
c NEW SOLUTION FOUND: 628 @ 22.952
c NEW SOLUTION FOUND: 627 @ 22.988
c NEW SOLUTION FOUND: 626 @ 23.024
c NEW SOLUTION FOUND: 625 @ 23.095
c NEW SOLUTION FOUND: 624 @ 23.166
c NEW SOLUTION FOUND: 623 @ 23.203
c NEW SOLUTION FOUND: 622 @ 23.239
c NEW SOLUTION FOUND: 621 @ 23.276
c NEW SOLUTION FOUND: 620 @ 23.349
c NEW SOLUTION FOUND: 619 @ 23.386
c NEW SOLUTION FOUND: 618 @ 23.423
c NEW SOLUTION FOUND: 617 @ 23.46
c NEW SOLUTION FOUND: 616 @ 23.497
c NEW SOLUTION FOUND: 615 @ 23.534
c NEW SOLUTION FOUND: 614 @ 23.571
c NEW SOLUTION FOUND: 613 @ 23.608
c NEW SOLUTION FOUND: 612 @ 23.645
c NEW SOLUTION FOUND: 611 @ 23.682
c NEW SOLUTION FOUND: 610 @ 23.719
c NEW SOLUTION FOUND: 609 @ 23.757
c NEW SOLUTION FOUND: 608 @ 23.794
c NEW SOLUTION FOUND: 607 @ 23.831
c NEW SOLUTION FOUND: 606 @ 23.868
c NEW SOLUTION FOUND: 605 @ 23.905
c NEW SOLUTION FOUND: 604 @ 23.942
c NEW SOLUTION FOUND: 603 @ 23.98
c NEW SOLUTION FOUND: 602 @ 24.017
c NEW SOLUTION FOUND: 601 @ 24.054
c NEW SOLUTION FOUND: 600 @ 24.091
c NEW SOLUTION FOUND: 599 @ 24.128
c NEW SOLUTION FOUND: 598 @ 24.165
c NEW SOLUTION FOUND: 597 @ 24.202
c NEW SOLUTION FOUND: 596 @ 24.239
c NEW SOLUTION FOUND: 595 @ 24.276
c NEW SOLUTION FOUND: 594 @ 24.313
c NEW SOLUTION FOUND: 593 @ 24.35
c NEW SOLUTION FOUND: 592 @ 24.386
c NEW SOLUTION FOUND: 591 @ 24.423
c NEW SOLUTION FOUND: 590 @ 24.46
c NEW SOLUTION FOUND: 589 @ 24.497
c NEW SOLUTION FOUND: 588 @ 24.533
c NEW SOLUTION FOUND: 587 @ 24.57
c NEW SOLUTION FOUND: 586 @ 24.607
c NEW SOLUTION FOUND: 585 @ 24.644
c NEW SOLUTION FOUND: 584 @ 24.681
c NEW SOLUTION FOUND: 583 @ 24.717
c NEW SOLUTION FOUND: 582 @ 24.754
c NEW SOLUTION FOUND: 581 @ 24.791
c NEW SOLUTION FOUND: 580 @ 24.828
c NEW SOLUTION FOUND: 579 @ 24.864
c NEW SOLUTION FOUND: 578 @ 24.902
c NEW SOLUTION FOUND: 577 @ 24.939
c NEW SOLUTION FOUND: 576 @ 24.975
c NEW SOLUTION FOUND: 575 @ 25.012
c NEW SOLUTION FOUND: 574 @ 25.048
c NEW SOLUTION FOUND: 573 @ 25.085
c NEW SOLUTION FOUND: 572 @ 25.122
c NEW SOLUTION FOUND: 571 @ 25.232
c NEW SOLUTION FOUND: 570 @ 25.27
c NEW SOLUTION FOUND: 569 @ 25.308
c NEW SOLUTION FOUND: 568 @ 25.382
c NEW SOLUTION FOUND: 567 @ 25.419
c NEW SOLUTION FOUND: 566 @ 25.457
c NEW SOLUTION FOUND: 565 @ 25.532
c NEW SOLUTION FOUND: 564 @ 25.569
c NEW SOLUTION FOUND: 563 @ 25.606
c NEW SOLUTION FOUND: 562 @ 25.644
c NEW SOLUTION FOUND: 561 @ 25.681
c NEW SOLUTION FOUND: 560 @ 25.719
c NEW SOLUTION FOUND: 559 @ 25.757
c NEW SOLUTION FOUND: 558 @ 25.794
c NEW SOLUTION FOUND: 557 @ 25.832
c NEW SOLUTION FOUND: 556 @ 25.87
c NEW SOLUTION FOUND: 555 @ 25.907
c NEW SOLUTION FOUND: 554 @ 26.022
c NEW SOLUTION FOUND: 553 @ 26.062
c NEW SOLUTION FOUND: 552 @ 26.102
c NEW SOLUTION FOUND: 551 @ 26.142
c NEW SOLUTION FOUND: 550 @ 26.222
c NEW SOLUTION FOUND: 549 @ 26.263
c NEW SOLUTION FOUND: 548 @ 26.304
c NEW SOLUTION FOUND: 547 @ 26.345
c NEW SOLUTION FOUND: 546 @ 26.386
c NEW SOLUTION FOUND: 545 @ 26.427
c NEW SOLUTION FOUND: 544 @ 26.469
c NEW SOLUTION FOUND: 543 @ 26.511
c NEW SOLUTION FOUND: 542 @ 26.552
c NEW SOLUTION FOUND: 541 @ 26.594
c NEW SOLUTION FOUND: 540 @ 26.635
c NEW SOLUTION FOUND: 539 @ 26.675
c NEW SOLUTION FOUND: 538 @ 26.717
c NEW SOLUTION FOUND: 537 @ 26.758
c NEW SOLUTION FOUND: 536 @ 26.799
c NEW SOLUTION FOUND: 535 @ 26.84
c NEW SOLUTION FOUND: 534 @ 26.965
c NEW SOLUTION FOUND: 533 @ 27.008
c NEW SOLUTION FOUND: 532 @ 27.051
c NEW SOLUTION FOUND: 531 @ 27.142
c NEW SOLUTION FOUND: 530 @ 27.189
c NEW SOLUTION FOUND: 529 @ 27.235
c NEW SOLUTION FOUND: 528 @ 27.281
c NEW SOLUTION FOUND: 527 @ 27.422
c NEW SOLUTION FOUND: 526 @ 27.471
c NEW SOLUTION FOUND: 525 @ 27.519
c NEW SOLUTION FOUND: 524 @ 27.567
c NEW SOLUTION FOUND: 523 @ 27.615
c NEW SOLUTION FOUND: 522 @ 27.663
c NEW SOLUTION FOUND: 521 @ 27.809
c NEW SOLUTION FOUND: 520 @ 27.859
c NEW SOLUTION FOUND: 519 @ 27.908
c NEW SOLUTION FOUND: 518 @ 27.958
c NEW SOLUTION FOUND: 517 @ 28.008
c NEW SOLUTION FOUND: 516 @ 28.057
c NEW SOLUTION FOUND: 515 @ 28.106
c NEW SOLUTION FOUND: 514 @ 28.154
c NEW SOLUTION FOUND: 513 @ 28.204
c NEW SOLUTION FOUND: 512 @ 28.255
c NEW SOLUTION FOUND: 511 @ 28.354
c NEW SOLUTION FOUND: 510 @ 28.405
c NEW SOLUTION FOUND: 509 @ 28.456
c NEW SOLUTION FOUND: 508 @ 28.506
c NEW SOLUTION FOUND: 507 @ 28.557
c NEW SOLUTION FOUND: 506 @ 28.607
c NEW SOLUTION FOUND: 505 @ 28.659
c NEW SOLUTION FOUND: 504 @ 28.709
c NEW SOLUTION FOUND: 503 @ 28.76
c NEW SOLUTION FOUND: 502 @ 28.809
c NEW SOLUTION FOUND: 501 @ 28.861
c NEW SOLUTION FOUND: 500 @ 28.911
c NEW SOLUTION FOUND: 499 @ 28.961
c NEW SOLUTION FOUND: 498 @ 29.012
c NEW SOLUTION FOUND: 497 @ 29.065
c NEW SOLUTION FOUND: 496 @ 29.114
c NEW SOLUTION FOUND: 495 @ 29.165
c NEW SOLUTION FOUND: 494 @ 29.315
c NEW SOLUTION FOUND: 493 @ 29.367
c NEW SOLUTION FOUND: 492 @ 29.525
c NEW SOLUTION FOUND: 491 @ 29.578
c NEW SOLUTION FOUND: 490 @ 29.687
c NEW SOLUTION FOUND: 489 @ 29.743
c NEW SOLUTION FOUND: 488 @ 29.855
c NEW SOLUTION FOUND: 487 @ 29.911
c NEW SOLUTION FOUND: 486 @ 29.969
c NEW SOLUTION FOUND: 485 @ 30.029
c NEW SOLUTION FOUND: 484 @ 30.143
c NEW SOLUTION FOUND: 483 @ 30.201
c NEW SOLUTION FOUND: 482 @ 30.259
c NEW SOLUTION FOUND: 481 @ 30.317
c NEW SOLUTION FOUND: 480 @ 30.373
c NEW SOLUTION FOUND: 479 @ 30.605
c NEW SOLUTION FOUND: 478 @ 30.667
c NEW SOLUTION FOUND: 477 @ 30.728
c NEW SOLUTION FOUND: 476 @ 30.787
c NEW SOLUTION FOUND: 475 @ 30.846
c NEW SOLUTION FOUND: 474 @ 31.087
c NEW SOLUTION FOUND: 473 @ 31.149
c NEW SOLUTION FOUND: 472 @ 31.211
c NEW SOLUTION FOUND: 471 @ 31.273
c NEW SOLUTION FOUND: 470 @ 31.404
c NEW SOLUTION FOUND: 469 @ 31.471
c NEW SOLUTION FOUND: 468 @ 31.539
c NEW SOLUTION FOUND: 467 @ 31.609
c NEW SOLUTION FOUND: 466 @ 31.746
c NEW SOLUTION FOUND: 465 @ 31.814
c NEW SOLUTION FOUND: 464 @ 31.885
c NEW SOLUTION FOUND: 463 @ 31.953
c NEW SOLUTION FOUND: 462 @ 32.161
c NEW SOLUTION FOUND: 461 @ 32.305
c NEW SOLUTION FOUND: 460 @ 32.377
c NEW SOLUTION FOUND: 459 @ 32.521
c NEW SOLUTION FOUND: 458 @ 32.594
c NEW SOLUTION FOUND: 457 @ 32.738
c NEW SOLUTION FOUND: 456 @ 32.814
c NEW SOLUTION FOUND: 455 @ 32.963
c NEW SOLUTION FOUND: 454 @ 33.038
c NEW SOLUTION FOUND: 453 @ 33.114
c NEW SOLUTION FOUND: 452 @ 33.188
c NEW SOLUTION FOUND: 451 @ 33.263
c NEW SOLUTION FOUND: 450 @ 33.495
c NEW SOLUTION FOUND: 449 @ 33.575
c NEW SOLUTION FOUND: 448 @ 33.81
c NEW SOLUTION FOUND: 447 @ 33.89
c NEW SOLUTION FOUND: 446 @ 34.058
c NEW SOLUTION FOUND: 445 @ 34.145
c NEW SOLUTION FOUND: 444 @ 34.231
c NEW SOLUTION FOUND: 443 @ 34.317
c NEW SOLUTION FOUND: 442 @ 34.403
c NEW SOLUTION FOUND: 441 @ 34.49
c NEW SOLUTION FOUND: 440 @ 34.667
c NEW SOLUTION FOUND: 439 @ 34.757
c NEW SOLUTION FOUND: 438 @ 34.846
c NEW SOLUTION FOUND: 437 @ 34.931
c NEW SOLUTION FOUND: 436 @ 35.02
c NEW SOLUTION FOUND: 435 @ 35.11
c NEW SOLUTION FOUND: 434 @ 35.197
c NEW SOLUTION FOUND: 433 @ 35.292
c NEW SOLUTION FOUND: 432 @ 35.383
c NEW SOLUTION FOUND: 431 @ 35.473
c NEW SOLUTION FOUND: 430 @ 35.562
c NEW SOLUTION FOUND: 429 @ 35.651
c NEW SOLUTION FOUND: 428 @ 35.741
c NEW SOLUTION FOUND: 427 @ 35.835
c NEW SOLUTION FOUND: 426 @ 35.925
c NEW SOLUTION FOUND: 425 @ 36.02
c NEW SOLUTION FOUND: 424 @ 36.107
c NEW SOLUTION FOUND: 423 @ 36.196
c NEW SOLUTION FOUND: 422 @ 36.286
c NEW SOLUTION FOUND: 421 @ 36.379
c NEW SOLUTION FOUND: 420 @ 36.468
c NEW SOLUTION FOUND: 419 @ 36.65
c NEW SOLUTION FOUND: 418 @ 36.743
c NEW SOLUTION FOUND: 417 @ 36.832
c NEW SOLUTION FOUND: 416 @ 36.923
c NEW SOLUTION FOUND: 415 @ 37.014
c NEW SOLUTION FOUND: 414 @ 37.101
c NEW SOLUTION FOUND: 413 @ 37.193
c NEW SOLUTION FOUND: 412 @ 37.283
c NEW SOLUTION FOUND: 411 @ 37.375
c NEW SOLUTION FOUND: 410 @ 37.56
c NEW SOLUTION FOUND: 409 @ 37.65
c NEW SOLUTION FOUND: 408 @ 37.84
c NEW SOLUTION FOUND: 407 @ 37.935
c NEW SOLUTION FOUND: 406 @ 38.027
c NEW SOLUTION FOUND: 405 @ 38.12
c NEW SOLUTION FOUND: 404 @ 38.216
c NEW SOLUTION FOUND: 403 @ 38.403
c NEW SOLUTION FOUND: 402 @ 38.597
c NEW SOLUTION FOUND: 401 @ 38.699
c NEW SOLUTION FOUND: 400 @ 38.796
c NEW SOLUTION FOUND: 399 @ 38.898
c NEW SOLUTION FOUND: 398 @ 38.998
c NEW SOLUTION FOUND: 397 @ 39.095
c NEW SOLUTION FOUND: 396 @ 39.291
c NEW SOLUTION FOUND: 395 @ 39.494
c NEW SOLUTION FOUND: 394 @ 39.597
c NEW SOLUTION FOUND: 393 @ 39.796
c NEW SOLUTION FOUND: 392 @ 39.901
c NEW SOLUTION FOUND: 391 @ 40.005
c NEW SOLUTION FOUND: 390 @ 40.107
c NEW SOLUTION FOUND: 389 @ 40.428
c NEW SOLUTION FOUND: 388 @ 40.534
c NEW SOLUTION FOUND: 387 @ 40.64
c NEW SOLUTION FOUND: 386 @ 40.743
c NEW SOLUTION FOUND: 385 @ 40.849
c NEW SOLUTION FOUND: 384 @ 40.957
c NEW SOLUTION FOUND: 383 @ 41.063
c NEW SOLUTION FOUND: 382 @ 41.274
c NEW SOLUTION FOUND: 381 @ 41.382
c NEW SOLUTION FOUND: 380 @ 41.623
c NEW SOLUTION FOUND: 379 @ 41.961
c NEW SOLUTION FOUND: 378 @ 42.302
c NEW SOLUTION FOUND: 377 @ 42.529
c NEW SOLUTION FOUND: 376 @ 42.652
c NEW SOLUTION FOUND: 375 @ 42.783
c NEW SOLUTION FOUND: 374 @ 42.909
c NEW SOLUTION FOUND: 373 @ 43.152
c NEW SOLUTION FOUND: 372 @ 43.404
c NEW SOLUTION FOUND: 371 @ 43.667
c NEW SOLUTION FOUND: 370 @ 43.798
c NEW SOLUTION FOUND: 369 @ 44.064
c NEW SOLUTION FOUND: 368 @ 44.202
c NEW SOLUTION FOUND: 367 @ 44.34
c NEW SOLUTION FOUND: 366 @ 44.475
c NEW SOLUTION FOUND: 365 @ 44.606
c NEW SOLUTION FOUND: 364 @ 44.742
c NEW SOLUTION FOUND: 363 @ 45.141
c NEW SOLUTION FOUND: 362 @ 45.281
c NEW SOLUTION FOUND: 361 @ 45.545
c NEW SOLUTION FOUND: 360 @ 45.693
c NEW SOLUTION FOUND: 359 @ 45.828
c NEW SOLUTION FOUND: 358 @ 46.089
c NEW SOLUTION FOUND: 357 @ 46.222
c NEW SOLUTION FOUND: 356 @ 46.358
c NEW SOLUTION FOUND: 355 @ 46.498
c NEW SOLUTION FOUND: 354 @ 46.924
c NEW SOLUTION FOUND: 353 @ 47.215
c NEW SOLUTION FOUND: 352 @ 47.517
c NEW SOLUTION FOUND: 351 @ 47.816
c NEW SOLUTION FOUND: 350 @ 48.112
c NEW SOLUTION FOUND: 349 @ 48.267
c NEW SOLUTION FOUND: 348 @ 48.427
c NEW SOLUTION FOUND: 347 @ 48.594
c NEW SOLUTION FOUND: 346 @ 48.898
c NEW SOLUTION FOUND: 345 @ 49.051
c NEW SOLUTION FOUND: 344 @ 49.693
c NEW SOLUTION FOUND: 343 @ 50.056
c NEW SOLUTION FOUND: 342 @ 50.423
c NEW SOLUTION FOUND: 341 @ 50.605
c NEW SOLUTION FOUND: 340 @ 51.38
c NEW SOLUTION FOUND: 339 @ 51.989
c NEW SOLUTION FOUND: 338 @ 52.74
c NEW SOLUTION FOUND: 337 @ 53.218
c NEW SOLUTION FOUND: 336 @ 53.775
c NEW SOLUTION FOUND: 335 @ 54.549
c NEW SOLUTION FOUND: 334 @ 55.726
c NEW SOLUTION FOUND: 333 @ 56.508
c NEW SOLUTION FOUND: 332 @ 57.031
c NEW SOLUTION FOUND: 331 @ 57.284
c NEW SOLUTION FOUND: 330 @ 58.066
c NEW SOLUTION FOUND: 329 @ 58.637
c NEW SOLUTION FOUND: 328 @ 59.196
c NEW SOLUTION FOUND: 327 @ 59.819
c NEW SOLUTION FOUND: 326 @ 60.124
c NEW SOLUTION FOUND: 325 @ 60.391
c NEW SOLUTION FOUND: 324 @ 61.265
c NEW SOLUTION FOUND: 323 @ 61.567
c NEW SOLUTION FOUND: 322 @ 61.876
c NEW SOLUTION FOUND: 321 @ 62.179
c NEW SOLUTION FOUND: 320 @ 63.066
c NEW SOLUTION FOUND: 319 @ 63.732
c NEW SOLUTION FOUND: 318 @ 64.383
c NEW SOLUTION FOUND: 317 @ 65.035
c NEW SOLUTION FOUND: 316 @ 65.406
c NEW SOLUTION FOUND: 315 @ 66.273
c NEW SOLUTION FOUND: 314 @ 67.694
c NEW SOLUTION FOUND: 313 @ 68.638
c NEW SOLUTION FOUND: 312 @ 69.439
c NEW SOLUTION FOUND: 311 @ 69.874
c NEW SOLUTION FOUND: 310 @ 70.744
c NEW SOLUTION FOUND: 309 @ 71.197
c NEW SOLUTION FOUND: 308 @ 71.986
c NEW SOLUTION FOUND: 307 @ 72.392
c NEW SOLUTION FOUND: 306 @ 75.136
c NEW SOLUTION FOUND: 305 @ 75.594
c NEW SOLUTION FOUND: 304 @ 77.186
c NEW SOLUTION FOUND: 303 @ 78.167
c NEW SOLUTION FOUND: 302 @ 79.137
c NEW SOLUTION FOUND: 301 @ 79.591
c NEW SOLUTION FOUND: 300 @ 84.79
c NEW SOLUTION FOUND: 299 @ 89.358
c NEW SOLUTION FOUND: 298 @ 94.198
c NEW SOLUTION FOUND: 297 @ 100.39
c NEW SOLUTION FOUND: 296 @ 101.702
c NEW SOLUTION FOUND: 295 @ 105.055
c NEW SOLUTION FOUND: 294 @ 120.805
c NEW SOLUTION FOUND: 293 @ 137.581
c NEW SOLUTION FOUND: 292 @ 157.149
c NEW SOLUTION FOUND: 291 @ 239.805
c NEW SOLUTION FOUND: 290 @ 291.64
c NEW SOLUTION FOUND: 289 @ 350.055
c NEW SOLUTION FOUND: 288 @ 397.615
c NEW SOLUTION FOUND: 287 @ 448.95
c NEW SOLUTION FOUND: 286 @ 491.494
c NEW SOLUTION FOUND: 285 @ 566.693
c NEW SOLUTION FOUND: 284 @ 638.19
c NEW SOLUTION FOUND: 283 @ 707.336
c NEW SOLUTION FOUND: 282 @ 793.089
c NEW SOLUTION FOUND: 281 @ 921.506
c NEW SOLUTION FOUND: 280 @ 1056.12
s SATISFIABLE
v -x1 x2 -x3 -x4 -x5 -x6 x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 x19 -x20 x21 x22 -x23 -x24 x25 -x26 x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 x37 -x38 x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 x70 x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 x96 -x97 -x98 -x99 x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 x169 -x170 x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 x245 -x246 -x247 x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 x273 x274 -x275 -x276 x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 x287 -x288 x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 x331 -x332 -x333 x334 -x335 x336 -x337 x338 x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 x380 x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 x399 x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 x447 x448 -x449 x450 x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 x511 x512 -x513 -x514 -x515 -x516 x517 -x518 -x519 -x520 x521 x522 x523 x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 x536 -x537 -x538 x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 x582 -x583 x584 -x585 -x586 -x587 -x588 x589 -x590 x591 -x592 -x593 x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 x605 x606 -x607 x608 -x609 -x610 -x611 x612 -x613 -x614 x615 -x616 -x617 x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 x667 -x668 x669 x670 -x671 -x672 -x673 -x674 x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 x719 -x720 -x721 -x722 x723 -x724 x725 -x726 -x727 x728 x729 x730 -x731 x732 x733 x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 x815 -x816 x817 -x818 -x819 x820 x821 x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 x920 x921 -x922 -x923 x924 -x925 -x926 -x927 x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 x939 -x940 x941 x942 -x943 -x944 x945 -x946 x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 x967 -x968 x969 x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 x994 -x995 x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 x1029 -x1030 x1031 x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 x1060 -x1061 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 x1094 -x1095 -x1096 x1097 -x1098 -x1099 -x1100 -x1101 x1102 x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 x1170 x1171 -x1172 x1173 x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 x1254 x1255 x1256 x1257 x1258 x1259 -x1260 -x1261 x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 
c Exit Code: 10
c Total time: 1184.38 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.92 0.95 0.98 2/54 2294
Raw data (stat): 2294 (runsolver) R 2293 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 648859549 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.96 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 3753 0 0 0 979 15 0 0 25 0 1 0 648859549 7876608 1244 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2016 1248 1111 63 0 1953 0
vsize: 7692
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 12461 0 0 0 1949 46 0 0 25 0 1 0 648859549 7880704 1245 4294967295 134512640 134714508 3221221776 3221220308 1077757726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1924 1245 1111 63 0 1861 0
vsize: 7696
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 24210 0 0 0 2912 83 0 0 25 0 1 0 648859549 8073216 1293 4294967295 134512640 134714508 3221221776 3221220080 1074153581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1971 1293 1111 63 0 1908 0
vsize: 7884
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 31078 0 0 0 3891 104 0 0 25 0 1 0 648859549 8306688 1350 4294967295 134512640 134714508 3221221776 3221220112 1074153673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2028 1350 1111 63 0 1965 0
vsize: 8112
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 36214 0 0 0 4874 121 0 0 25 0 1 0 648859549 8527872 1404 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2082 1404 1111 63 0 2019 0
vsize: 8328
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 40083 0 0 0 5864 131 0 0 25 0 1 0 648859549 8642560 1424 4294967295 134512640 134714508 3221221776 3221220144 1074140701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2110 1424 1111 63 0 2047 0
vsize: 8440
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 44464 0 0 0 6851 145 0 0 25 0 1 0 648859549 8572928 1423 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2093 1423 1111 63 0 2030 0
vsize: 8372
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 48758 0 0 0 7839 156 0 0 25 0 1 0 648859549 9682944 1564 4294967295 134512640 134714508 3221221776 3221218304 1075397167 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2364 1564 1111 63 0 2301 0
vsize: 9456
[startup+90.0042 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 52954 0 0 0 8828 168 0 0 25 0 1 0 648859549 8826880 1485 4294967295 134512640 134714508 3221221776 3221220176 1074118806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2155 1485 1111 63 0 2092 0
vsize: 8620
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 57504 0 0 0 9816 180 0 0 25 0 1 0 648859549 10178560 1692 4294967295 134512640 134714508 3221221776 3221217744 1074872799 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2485 1692 1111 63 0 2422 0
vsize: 9940
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 62621 0 0 0 10803 193 0 0 25 0 1 0 648859549 10383360 1775 4294967295 134512640 134714508 3221221776 3221218004 1075114975 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2535 1775 1111 63 0 2472 0
vsize: 10140
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 68376 0 0 0 11787 210 0 0 25 0 1 0 648859549 9535488 1642 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2328 1642 1111 63 0 2265 0
vsize: 9312
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 73138 0 0 0 12774 222 0 0 25 0 1 0 648859549 10788864 1871 4294967295 134512640 134714508 3221221776 3221218048 1074960896 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2634 1871 1111 63 0 2571 0
vsize: 10536
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 78395 0 0 0 13760 236 0 0 25 0 1 0 648859549 9842688 1733 4294967295 134512640 134714508 3221221776 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2403 1733 1111 63 0 2340 0
vsize: 9612
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 84076 0 0 0 14748 248 0 0 25 0 1 0 648859549 11415552 2075 4294967295 134512640 134714508 3221221776 3221218004 1075115014 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2787 2075 1111 63 0 2724 0
vsize: 11148
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 89703 0 0 0 15734 263 0 0 25 0 1 0 648859549 11829248 2168 4294967295 134512640 134714508 3221221776 3221217952 1074882592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2888 2168 1111 63 0 2825 0
vsize: 11552
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 94992 0 0 0 16721 276 0 0 25 0 1 0 648859549 10973184 1945 4294967295 134512640 134714508 3221221776 3221220304 134648533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2679 1945 1111 63 0 2616 0
vsize: 10716
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 100551 0 0 0 17706 292 0 0 25 0 1 0 648859549 12124160 2271 4294967295 134512640 134714508 3221221776 3221217920 1074971139 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2960 2271 1111 63 0 2897 0
vsize: 11840
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 105035 0 0 0 18694 303 0 0 25 0 1 0 648859549 10805248 1969 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1969 1111 63 0 2575 0
vsize: 10552
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 109446 0 0 0 19682 316 0 0 25 0 1 0 648859549 12038144 2240 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2939 2240 1111 63 0 2876 0
vsize: 11756
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 114733 0 0 0 20670 328 0 0 25 0 1 0 648859549 12115968 2172 4294967295 134512640 134714508 3221221776 3221218704 1075960434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2958 2172 1111 63 0 2895 0
vsize: 11832
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 120424 0 0 0 21656 342 0 0 25 0 1 0 648859549 12533760 2362 4294967295 134512640 134714508 3221221776 3221218432 1075967917 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3060 2362 1111 63 0 2997 0
vsize: 12240
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 125452 0 0 0 22644 354 0 0 25 0 1 0 648859549 11014144 2020 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2689 2020 1111 63 0 2626 0
vsize: 10756
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 130805 0 0 0 23631 367 0 0 25 0 1 0 648859549 11198464 2047 4294967295 134512640 134714508 3221221776 3221220160 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2734 2047 1111 63 0 2671 0
vsize: 10936
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 135267 0 0 0 24619 379 0 0 25 0 1 0 648859549 10944512 2003 4294967295 134512640 134714508 3221221776 3221220160 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2672 2003 1111 63 0 2609 0
vsize: 10688
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 140242 0 0 0 25608 391 0 0 25 0 1 0 648859549 11317248 2094 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2763 2094 1111 63 0 2700 0
vsize: 11052
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 146756 0 0 0 26593 406 0 0 25 0 1 0 648859549 12197888 2248 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2978 2248 1111 63 0 2915 0
vsize: 11912
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 152551 0 0 0 27580 419 0 0 25 0 1 0 648859549 12120064 2276 4294967295 134512640 134714508 3221221776 3221216080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2959 2276 1111 63 0 2896 0
vsize: 11836
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 158064 0 0 0 28565 434 0 0 25 0 1 0 648859549 11874304 2230 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2899 2230 1111 63 0 2836 0
vsize: 11596
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 163206 0 0 0 29553 447 0 0 25 0 1 0 648859549 12017664 2265 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2934 2265 1111 63 0 2871 0
vsize: 11736
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 168398 0 0 0 30540 459 0 0 25 0 1 0 648859549 13160448 2472 4294967295 134512640 134714508 3221221776 3221218848 1074867305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3213 2472 1111 63 0 3150 0
vsize: 12852
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 173807 0 0 0 31526 473 0 0 25 0 1 0 648859549 13787136 2675 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3366 2675 1111 63 0 3303 0
vsize: 13464
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 180645 0 0 0 32509 491 0 0 25 0 1 0 648859549 11845632 2223 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2892 2223 1111 63 0 2829 0
vsize: 11568
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 183095 0 0 0 33504 496 0 0 25 0 1 0 648859549 13742080 2660 4294967295 134512640 134714508 3221221776 3221218004 1075115009 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3355 2660 1111 63 0 3292 0
vsize: 13420
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 188244 0 0 0 34491 509 0 0 25 0 1 0 648859549 12718080 2436 4294967295 134512640 134714508 3221221776 3221218880 1074138642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3105 2436 1111 63 0 3042 0
vsize: 12420
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 193152 0 0 0 35479 521 0 0 25 0 1 0 648859549 13045760 2486 4294967295 134512640 134714508 3221221776 3221219504 1075828462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3185 2486 1111 63 0 3122 0
vsize: 12740
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 199441 0 0 0 36463 537 0 0 25 0 1 0 648859549 12075008 2279 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2948 2279 1111 63 0 2885 0
vsize: 11792
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.98 3/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 206196 0 0 0 37446 556 0 0 25 0 1 0 648859549 12120064 2288 4294967295 134512640 134714508 3221221776 3221220176 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2959 2288 1111 63 0 2896 0
vsize: 11836
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 212163 0 0 0 38431 570 0 0 25 0 1 0 648859549 14528512 2850 4294967295 134512640 134714508 3221221776 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3547 2850 1111 63 0 3484 0
vsize: 14188
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 217435 0 0 0 39417 585 0 0 25 0 1 0 648859549 12247040 2320 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2990 2320 1111 63 0 2927 0
vsize: 11960
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 222321 0 0 0 40403 599 0 0 25 0 1 0 648859549 12509184 2385 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3054 2385 1111 63 0 2991 0
vsize: 12216
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 227567 0 0 0 41392 610 0 0 25 0 1 0 648859549 12918784 2453 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3154 2453 1111 63 0 3091 0
vsize: 12616
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 232187 0 0 0 42380 622 0 0 25 0 1 0 648859549 14778368 2897 4294967295 134512640 134714508 3221221776 3221218432 1075967916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3608 2897 1111 63 0 3545 0
vsize: 14432
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 236611 0 0 0 43368 634 0 0 25 0 1 0 648859549 12836864 2465 4294967295 134512640 134714508 3221221776 3221220112 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3134 2465 1111 63 0 3071 0
vsize: 12536
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 242026 0 0 0 44355 647 0 0 25 0 1 0 648859549 13025280 2496 4294967295 134512640 134714508 3221221776 3221220064 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3180 2496 1111 63 0 3117 0
vsize: 12720
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 247523 0 0 0 45340 662 0 0 25 0 1 0 648859549 12668928 2424 4294967295 134512640 134714508 3221221776 3221215984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3093 2424 1111 63 0 3030 0
vsize: 12372
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 252401 0 0 0 46329 674 0 0 25 0 1 0 648859549 15060992 2958 4294967295 134512640 134714508 3221221776 3221217652 1074786495 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3677 2958 1111 63 0 3614 0
vsize: 14708
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 258306 0 0 0 47314 689 0 0 25 0 1 0 648859549 15216640 3020 4294967295 134512640 134714508 3221221776 3221218696 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3715 3020 1111 63 0 3652 0
vsize: 14860
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 264343 0 0 0 48299 704 0 0 25 0 1 0 648859549 15622144 3099 4294967295 134512640 134714508 3221221776 3221218332 1075397060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3814 3099 1111 63 0 3751 0
vsize: 15256
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 268649 0 0 0 49289 714 0 0 25 0 1 0 648859549 13238272 2563 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3232 2563 1111 63 0 3169 0
vsize: 12928
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 273426 0 0 0 50277 726 0 0 25 0 1 0 648859549 15568896 3096 4294967295 134512640 134714508 3221221776 3221217660 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3801 3096 1111 63 0 3738 0
vsize: 15204
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 276880 0 0 0 51268 736 0 0 25 0 1 0 648859549 14491648 2841 4294967295 134512640 134714508 3221221776 3221219776 1074918938 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3538 2841 1111 63 0 3475 0
vsize: 14152
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 282428 0 0 0 52252 751 0 0 25 0 1 0 648859549 13651968 2652 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3333 2652 1111 63 0 3270 0
vsize: 13332
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 288962 0 0 0 53236 768 0 0 25 0 1 0 648859549 14737408 2900 4294967295 134512640 134714508 3221221776 3221219888 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3598 2900 1111 63 0 3535 0
vsize: 14392
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 292982 0 0 0 54227 778 0 0 25 0 1 0 648859549 13385728 2599 4294967295 134512640 134714508 3221221776 3221220112 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3268 2599 1111 63 0 3205 0
vsize: 13072
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 296198 0 0 0 55219 785 0 0 25 0 1 0 648859549 15704064 3153 4294967295 134512640 134714508 3221221776 3221217632 1074868775 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3834 3153 1111 63 0 3771 0
vsize: 15336
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 298237 0 0 0 56214 790 0 0 25 0 1 0 648859549 15982592 3214 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3902 3214 1111 63 0 3839 0
vsize: 15608
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 302210 0 0 0 57202 802 0 0 25 0 1 0 648859549 15986688 3151 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3903 3151 1111 63 0 3840 0
vsize: 15612
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 305978 0 0 0 58193 811 0 0 25 0 1 0 648859549 15945728 3193 4294967295 134512640 134714508 3221221776 3221217952 1074882610 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3893 3193 1111 63 0 3830 0
vsize: 15572
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 311191 0 0 0 59180 825 0 0 25 0 1 0 648859549 13574144 2645 4294967295 134512640 134714508 3221221776 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3314 2645 1111 63 0 3251 0
vsize: 13256
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 315482 0 0 0 60169 837 0 0 25 0 1 0 648859549 13758464 2690 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3359 2690 1111 63 0 3296 0
vsize: 13436
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 319855 0 0 0 61158 848 0 0 25 0 1 0 648859549 14118912 2767 4294967295 134512640 134714508 3221221776 3221220096 1074039446 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3447 2767 1111 63 0 3384 0
vsize: 13788
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 325257 0 0 0 62143 862 0 0 25 0 1 0 648859549 16408576 3277 4294967295 134512640 134714508 3221221776 3221217632 1074867970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4006 3277 1111 63 0 3943 0
vsize: 16024
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 330560 0 0 0 63129 876 0 0 25 0 1 0 648859549 13967360 2741 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3410 2741 1111 63 0 3347 0
vsize: 13640
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 334559 0 0 0 64119 887 0 0 25 0 1 0 648859549 13955072 2738 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3407 2738 1111 63 0 3344 0
vsize: 13628
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 338744 0 0 0 65109 897 0 0 25 0 1 0 648859549 13975552 2743 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3412 2743 1111 63 0 3349 0
vsize: 13648
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 344176 0 0 0 66095 911 0 0 25 0 1 0 648859549 16486400 3339 4294967295 134512640 134714508 3221221776 3221217660 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4025 3339 1111 63 0 3962 0
vsize: 16100
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 347662 0 0 0 67086 920 0 0 25 0 1 0 648859549 14442496 2825 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3526 2825 1111 63 0 3463 0
vsize: 14104
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 352138 0 0 0 68075 931 0 0 25 0 1 0 648859549 14413824 2841 4294967295 134512640 134714508 3221221776 3221220280 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3519 2841 1111 63 0 3456 0
vsize: 14076
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 356649 0 0 0 69065 942 0 0 25 0 1 0 648859549 14458880 2829 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3530 2829 1111 63 0 3467 0
vsize: 14120
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 361850 0 0 0 70050 957 0 0 25 0 1 0 648859549 16400384 3280 4294967295 134512640 134714508 3221221776 3221217744 1075965234 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4004 3280 1111 63 0 3941 0
vsize: 16016
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 364952 0 0 0 71043 964 0 0 25 0 1 0 648859549 14106624 2775 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3444 2775 1111 63 0 3381 0
vsize: 13776
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 369258 0 0 0 72032 975 0 0 25 0 1 0 648859549 14139392 2783 4294967295 134512640 134714508 3221221776 3221220176 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3452 2783 1111 63 0 3389 0
vsize: 13808
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 373918 0 0 0 73022 986 0 0 25 0 1 0 648859549 14331904 2829 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3499 2829 1111 63 0 3436 0
vsize: 13996
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 380877 0 0 0 74005 1003 0 0 25 0 1 0 648859549 14745600 2899 4294967295 134512640 134714508 3221221776 3221219772 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3600 2899 1111 63 0 3537 0
vsize: 14400
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 386850 0 0 0 74991 1017 0 0 25 0 1 0 648859549 16703488 3391 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4078 3391 1111 63 0 4015 0
vsize: 16312
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 390522 0 0 0 75981 1027 0 0 25 0 1 0 648859549 14884864 2965 4294967295 134512640 134714508 3221221776 3221220128 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3634 2965 1111 63 0 3571 0
vsize: 14536
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 395122 0 0 0 76970 1038 0 0 25 0 1 0 648859549 14516224 2875 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3544 2875 1111 63 0 3481 0
vsize: 14176
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 398849 0 0 0 77960 1048 0 0 25 0 1 0 648859549 17178624 3503 4294967295 134512640 134714508 3221221776 3221217904 1075112383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4194 3503 1111 63 0 4131 0
vsize: 16776
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 402287 0 0 0 78951 1058 0 0 25 0 1 0 648859549 14520320 2876 4294967295 134512640 134714508 3221221776 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3545 2876 1111 63 0 3482 0
vsize: 14180
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 406659 0 0 0 79940 1069 0 0 25 0 1 0 648859549 14192640 2796 4294967295 134512640 134714508 3221221776 3221220160 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3465 2796 1111 63 0 3402 0
vsize: 13860
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 410150 0 0 0 80932 1077 0 0 25 0 1 0 648859549 17260544 3501 4294967295 134512640 134714508 3221221776 3221218004 1075115076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4214 3501 1111 63 0 4151 0
vsize: 16856
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 413565 0 0 0 81924 1085 0 0 25 0 1 0 648859549 14602240 2896 4294967295 134512640 134714508 3221221776 3221220160 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3565 2896 1111 63 0 3502 0
vsize: 14260
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 418275 0 0 0 82912 1097 0 0 25 0 1 0 648859549 14938112 2969 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3647 2969 1111 63 0 3584 0
vsize: 14588
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 423183 0 0 0 83901 1109 0 0 25 0 1 0 648859549 14352384 2835 4294967295 134512640 134714508 3221221776 3221213744 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3504 2835 1111 63 0 3441 0
vsize: 14016
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 428156 0 0 0 84889 1121 0 0 25 0 1 0 648859549 14630912 2903 4294967295 134512640 134714508 3221221776 3221219760 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3572 2903 1111 63 0 3509 0
vsize: 14288
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 432165 0 0 0 85879 1131 0 0 25 0 1 0 648859549 17547264 3584 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4284 3584 1111 63 0 4221 0
vsize: 17136
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 437249 0 0 0 86866 1144 0 0 25 0 1 0 648859549 17764352 3635 4294967295 134512640 134714508 3221221776 3221217744 1075965303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4337 3635 1111 63 0 4274 0
vsize: 17348
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2294
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 441852 0 0 0 87856 1155 0 0 25 0 1 0 648859549 16777216 3379 4294967295 134512640 134714508 3221221776 3221218880 1074138614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3379 1111 63 0 4033 0
vsize: 16384
[startup+900.032 s]
Raw data (loadavg): 1.07 0.99 0.98 3/57 2334
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 447489 0 0 0 88836 1175 0 0 25 0 1 0 648859549 17940480 3666 4294967295 134512640 134714508 3221221776 3221217936 1075091857 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4380 3666 1111 63 0 4317 0
vsize: 17520
[startup+910.086 s]
Raw data (loadavg): 1.14 1.00 0.99 4/59 2346
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 453994 0 0 0 89825 1191 0 0 25 0 1 0 648859549 15544320 3094 4294967295 134512640 134714508 3221221776 3221220304 134648627 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3795 3094 1111 63 0 3732 0
vsize: 15180
[startup+920.086 s]
Raw data (loadavg): 1.12 1.00 0.99 2/54 2347
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 457932 0 0 0 90816 1200 0 0 25 0 1 0 648859549 18182144 3726 4294967295 134512640 134714508 3221221776 3221217616 1075965303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4439 3726 1111 63 0 4376 0
vsize: 17756
[startup+930.186 s]
Raw data (loadavg): 1.10 1.00 0.99 2/54 2347
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 461688 0 0 0 91814 1211 0 0 25 0 1 0 648859549 15134720 3026 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3695 3026 1111 63 0 3632 0
vsize: 14780
[startup+940.186 s]
Raw data (loadavg): 1.08 1.00 0.99 2/54 2347
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 465418 0 0 0 92804 1221 0 0 25 0 1 0 648859549 18190336 3716 4294967295 134512640 134714508 3221221776 3221217660 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4441 3716 1111 63 0 4378 0
vsize: 17764
[startup+950.187 s]
Raw data (loadavg): 1.07 1.00 0.99 2/54 2347
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 469136 0 0 0 93794 1231 0 0 25 0 1 0 648859549 15212544 3036 4294967295 134512640 134714508 3221221776 3221219760 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3714 3036 1111 63 0 3651 0
vsize: 14856
[startup+960.188 s]
Raw data (loadavg): 1.06 1.00 0.99 2/54 2347
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 472080 0 0 0 94786 1238 0 0 25 0 1 0 648859549 16613376 3359 4294967295 134512640 134714508 3221221776 3221219888 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4056 3359 1111 63 0 3993 0
vsize: 16224
[startup+970.188 s]
Raw data (loadavg): 1.05 1.00 0.99 2/54 2347
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 476427 0 0 0 95777 1248 0 0 25 0 1 0 648859549 15077376 3012 4294967295 134512640 134714508 3221221776 3221219824 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3681 3012 1111 63 0 3618 0
vsize: 14724
[startup+980.188 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 2349
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 481082 0 0 0 96765 1260 0 0 25 0 1 0 648859549 14876672 2963 4294967295 134512640 134714508 3221221776 3221217392 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3632 2963 1111 63 0 3569 0
vsize: 14528
[startup+990.188 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 2349
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 483740 0 0 0 97757 1267 0 0 25 0 1 0 648859549 15376384 3085 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3754 3085 1111 63 0 3691 0
vsize: 15016
[startup+1000.19 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 2349
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 488854 0 0 0 98745 1280 0 0 25 0 1 0 648859549 15773696 3150 4294967295 134512640 134714508 3221221776 3221220280 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3851 3150 1111 63 0 3788 0
vsize: 15404
[startup+1010.19 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 2349
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 492895 0 0 0 99734 1292 0 0 25 0 1 0 648859549 18505728 3706 4294967295 134512640 134714508 3221221776 3221217848 1074950210 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4518 3706 1111 63 0 4455 0
vsize: 18072
[startup+1020.19 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 2349
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 498224 0 0 0 100720 1305 0 0 25 0 1 0 648859549 18501632 3812 4294967295 134512640 134714508 3221221776 3221217788 1074788944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4517 3812 1111 63 0 4454 0
vsize: 18068
[startup+1030.19 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 2349
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 501841 0 0 0 101710 1315 0 0 25 0 1 0 648859549 17584128 3449 4294967295 134512640 134714508 3221221776 3221218848 1074867334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4293 3449 1111 63 0 4230 0
vsize: 17172
[startup+1040.19 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 2349
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 504855 0 0 0 102703 1323 0 0 25 0 1 0 648859549 15400960 3091 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3760 3091 1111 63 0 3697 0
vsize: 15040
[startup+1050.19 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 2349
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 510331 0 0 0 103691 1335 0 0 25 0 1 0 648859549 15491072 3113 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3782 3113 1111 63 0 3719 0
vsize: 15128
[startup+1060.19 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 2349
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 513566 0 0 0 104682 1344 0 0 25 0 1 0 648859549 17149952 3487 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4187 3487 1111 63 0 4124 0
vsize: 16748
[startup+1070.19 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 2349
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 516948 0 0 0 105672 1354 0 0 25 0 1 0 648859549 18718720 3864 4294967295 134512640 134714508 3221221776 3221218896 1074834297 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4570 3864 1111 63 0 4507 0
vsize: 18280
[startup+1080.19 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 2349
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 520781 0 0 0 106663 1364 0 0 25 0 1 0 648859549 15470592 3095 4294967295 134512640 134714508 3221221776 3221220112 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3777 3095 1111 63 0 3714 0
vsize: 15108
[startup+1090.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 2349
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 525079 0 0 0 107651 1375 0 0 25 0 1 0 648859549 15364096 3082 4294967295 134512640 134714508 3221221776 3221220128 1074153722 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3751 3082 1111 63 0 3688 0
vsize: 15004
[startup+1100.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 2349
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 527810 0 0 0 108642 1384 0 0 25 0 1 0 648859549 15745024 3175 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3844 3175 1111 63 0 3781 0
vsize: 15376
[startup+1110.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 2349
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 533035 0 0 0 109629 1398 0 0 25 0 1 0 648859549 15486976 3112 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3781 3112 1111 63 0 3718 0
vsize: 15124
[startup+1120.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 2349
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 535737 0 0 0 110621 1406 0 0 25 0 1 0 648859549 15745024 3175 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3844 3175 1111 63 0 3781 0
vsize: 15376
[startup+1130.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 2349
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 539761 0 0 0 111610 1417 0 0 25 0 1 0 648859549 18821120 3902 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4595 3902 1111 63 0 4532 0
vsize: 18380
[startup+1140.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 2349
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 544355 0 0 0 112598 1429 0 0 25 0 1 0 648859549 17371136 3572 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4241 3572 1111 63 0 4178 0
vsize: 16964
[startup+1150.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 2349
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 549604 0 0 0 113585 1443 0 0 25 0 1 0 648859549 17383424 3575 4294967295 134512640 134714508 3221221776 3221219888 1074867296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4244 3575 1111 63 0 4181 0
vsize: 16976
[startup+1160.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 2349
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 553484 0 0 0 114577 1451 0 0 25 0 1 0 648859549 18681856 3863 4294967295 134512640 134714508 3221221776 3221217936 1075095198 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4561 3863 1111 63 0 4498 0
vsize: 18244
[startup+1170.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 2349
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 557765 0 0 0 115566 1462 0 0 25 0 1 0 648859549 16400384 3303 4294967295 134512640 134714508 3221221776 3221220304 134648531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4004 3303 1111 63 0 3941 0
vsize: 16016
[startup+1180.2 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 2349
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 562162 0 0 0 116554 1474 0 0 25 0 1 0 648859549 19218432 3987 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4692 3987 1111 63 0 4629 0
vsize: 18768
[startup+1184.32 s]
Raw data (loadavg): 1.00 1.00 0.99 1/53 2349
Raw data (stat): 2294 (bsolo_lpr_cuts) R 2293 7876 7672 0 -1 0 562162 0 0 0 116554 1474 0 0 25 0 1 0 648859549 19218432 3987 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4692 3987 1111 63 0 4629 0
vsize: 0

Child status: 10
Real time (s): 1184.32
CPU time (s): 1184.41
CPU user time (s): 1169.56
CPU system time (s): 14.8517
CPU usage (%): 100.008
Max. virtual memory (Kb): 18768
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	280
#### END VERIFIER DATA ####