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 40610

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 17:01:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28672 boxname=wulflinc3 idbench=58 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  6604a6c0d979e1f2b09762e6e4f70f84  /oldhome/oroussel/tmp/wulflinc3/normalized-max1024.pi.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-max1024.pi.opb
IDLAUNCH: 28672
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        753380 kB
Buffers:         18956 kB
Cached:         242444 kB
SwapCached:        808 kB
Active:          32784 kB
Inactive:       230680 kB
HighTotal:      131008 kB
HighFree:         3864 kB
LowTotal:       903652 kB
LowFree:        749516 kB
SwapTotal:     2097136 kB
SwapFree:      2095332 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            12132 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 17:21:06 (client local time) WITH STATUS 10 IN 1178.38 SECONDS
stats: 28672 0 1178.38 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.696 s
c Initial Lower Bound: 258
c Lower Bound Elapsed time: 2.3035
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1236 @ 5.655
c NEW SOLUTION FOUND: 1235 @ 5.685
c NEW SOLUTION FOUND: 1234 @ 5.7
c NEW SOLUTION FOUND: 1233 @ 5.715
c NEW SOLUTION FOUND: 1232 @ 5.73
c NEW SOLUTION FOUND: 1231 @ 5.746
c NEW SOLUTION FOUND: 1230 @ 5.777
c NEW SOLUTION FOUND: 1229 @ 5.791
c NEW SOLUTION FOUND: 1228 @ 5.807
c NEW SOLUTION FOUND: 1227 @ 5.823
c NEW SOLUTION FOUND: 1226 @ 5.838
c NEW SOLUTION FOUND: 1225 @ 5.854
c NEW SOLUTION FOUND: 1224 @ 5.869
c NEW SOLUTION FOUND: 1223 @ 5.885
c NEW SOLUTION FOUND: 1222 @ 5.901
c NEW SOLUTION FOUND: 1221 @ 5.916
c NEW SOLUTION FOUND: 1220 @ 5.932
c NEW SOLUTION FOUND: 1219 @ 5.948
c NEW SOLUTION FOUND: 1218 @ 5.963
c NEW SOLUTION FOUND: 1217 @ 5.979
c NEW SOLUTION FOUND: 1216 @ 5.995
c NEW SOLUTION FOUND: 1215 @ 6.01
c NEW SOLUTION FOUND: 1214 @ 6.026
c NEW SOLUTION FOUND: 1213 @ 6.042
c NEW SOLUTION FOUND: 1212 @ 6.058
c NEW SOLUTION FOUND: 1211 @ 6.073
c NEW SOLUTION FOUND: 1210 @ 6.089
c NEW SOLUTION FOUND: 1209 @ 6.105
c NEW SOLUTION FOUND: 1208 @ 6.12
c NEW SOLUTION FOUND: 1207 @ 6.136
c NEW SOLUTION FOUND: 1206 @ 6.152
c NEW SOLUTION FOUND: 1205 @ 6.168
c NEW SOLUTION FOUND: 1204 @ 6.184
c NEW SOLUTION FOUND: 1203 @ 6.199
c NEW SOLUTION FOUND: 1202 @ 6.215
c NEW SOLUTION FOUND: 1201 @ 6.231
c NEW SOLUTION FOUND: 1200 @ 6.246
c NEW SOLUTION FOUND: 1199 @ 6.262
c NEW SOLUTION FOUND: 1198 @ 6.278
c NEW SOLUTION FOUND: 1197 @ 6.294
c NEW SOLUTION FOUND: 1196 @ 6.309
c NEW SOLUTION FOUND: 1195 @ 6.325
c NEW SOLUTION FOUND: 1194 @ 6.341
c NEW SOLUTION FOUND: 1193 @ 6.356
c NEW SOLUTION FOUND: 1192 @ 6.372
c NEW SOLUTION FOUND: 1191 @ 6.388
c NEW SOLUTION FOUND: 1190 @ 6.404
c NEW SOLUTION FOUND: 1189 @ 6.419
c NEW SOLUTION FOUND: 1188 @ 6.435
c NEW SOLUTION FOUND: 1187 @ 6.451
c NEW SOLUTION FOUND: 1186 @ 6.466
c NEW SOLUTION FOUND: 1185 @ 6.482
c NEW SOLUTION FOUND: 1184 @ 6.498
c NEW SOLUTION FOUND: 1183 @ 6.513
c NEW SOLUTION FOUND: 1182 @ 6.529
c NEW SOLUTION FOUND: 1181 @ 6.545
c NEW SOLUTION FOUND: 1180 @ 6.56
c NEW SOLUTION FOUND: 1179 @ 6.576
c NEW SOLUTION FOUND: 1178 @ 6.592
c NEW SOLUTION FOUND: 1177 @ 6.607
c NEW SOLUTION FOUND: 1176 @ 6.623
c NEW SOLUTION FOUND: 1175 @ 6.638
c NEW SOLUTION FOUND: 1174 @ 6.653
c NEW SOLUTION FOUND: 1173 @ 6.669
c NEW SOLUTION FOUND: 1172 @ 6.685
c NEW SOLUTION FOUND: 1171 @ 6.7
c NEW SOLUTION FOUND: 1170 @ 6.716
c NEW SOLUTION FOUND: 1169 @ 6.731
c NEW SOLUTION FOUND: 1168 @ 6.747
c NEW SOLUTION FOUND: 1167 @ 6.763
c NEW SOLUTION FOUND: 1166 @ 6.778
c NEW SOLUTION FOUND: 1165 @ 6.794
c NEW SOLUTION FOUND: 1164 @ 6.809
c NEW SOLUTION FOUND: 1163 @ 6.825
c NEW SOLUTION FOUND: 1162 @ 6.857
c NEW SOLUTION FOUND: 1161 @ 6.874
c NEW SOLUTION FOUND: 1160 @ 6.891
c NEW SOLUTION FOUND: 1159 @ 6.907
c NEW SOLUTION FOUND: 1158 @ 6.924
c NEW SOLUTION FOUND: 1157 @ 6.941
c NEW SOLUTION FOUND: 1156 @ 6.958
c NEW SOLUTION FOUND: 1155 @ 6.975
c NEW SOLUTION FOUND: 1154 @ 6.992
c NEW SOLUTION FOUND: 1153 @ 7.009
c NEW SOLUTION FOUND: 1152 @ 7.026
c NEW SOLUTION FOUND: 1151 @ 7.042
c NEW SOLUTION FOUND: 1150 @ 7.059
c NEW SOLUTION FOUND: 1149 @ 7.076
c NEW SOLUTION FOUND: 1148 @ 7.093
c NEW SOLUTION FOUND: 1147 @ 7.11
c NEW SOLUTION FOUND: 1146 @ 7.127
c NEW SOLUTION FOUND: 1145 @ 7.144
c NEW SOLUTION FOUND: 1144 @ 7.161
c NEW SOLUTION FOUND: 1143 @ 7.177
c NEW SOLUTION FOUND: 1142 @ 7.194
c NEW SOLUTION FOUND: 1141 @ 7.211
c NEW SOLUTION FOUND: 1140 @ 7.228
c NEW SOLUTION FOUND: 1139 @ 7.245
c NEW SOLUTION FOUND: 1138 @ 7.262
c NEW SOLUTION FOUND: 1137 @ 7.278
c NEW SOLUTION FOUND: 1136 @ 7.295
c NEW SOLUTION FOUND: 1135 @ 7.312
c NEW SOLUTION FOUND: 1134 @ 7.329
c NEW SOLUTION FOUND: 1133 @ 7.346
c NEW SOLUTION FOUND: 1132 @ 7.362
c NEW SOLUTION FOUND: 1131 @ 7.379
c NEW SOLUTION FOUND: 1130 @ 7.396
c NEW SOLUTION FOUND: 1129 @ 7.413
c NEW SOLUTION FOUND: 1128 @ 7.43
c NEW SOLUTION FOUND: 1127 @ 7.447
c NEW SOLUTION FOUND: 1126 @ 7.463
c NEW SOLUTION FOUND: 1125 @ 7.48
c NEW SOLUTION FOUND: 1124 @ 7.497
c NEW SOLUTION FOUND: 1123 @ 7.514
c NEW SOLUTION FOUND: 1122 @ 7.531
c NEW SOLUTION FOUND: 1121 @ 7.547
c NEW SOLUTION FOUND: 1120 @ 7.564
c NEW SOLUTION FOUND: 1119 @ 7.581
c NEW SOLUTION FOUND: 1118 @ 7.615
c NEW SOLUTION FOUND: 1117 @ 7.648
c NEW SOLUTION FOUND: 1116 @ 7.665
c NEW SOLUTION FOUND: 1115 @ 7.682
c NEW SOLUTION FOUND: 1114 @ 7.699
c NEW SOLUTION FOUND: 1113 @ 7.716
c NEW SOLUTION FOUND: 1112 @ 7.733
c NEW SOLUTION FOUND: 1111 @ 7.75
c NEW SOLUTION FOUND: 1110 @ 7.767
c NEW SOLUTION FOUND: 1109 @ 7.784
c NEW SOLUTION FOUND: 1108 @ 7.801
c NEW SOLUTION FOUND: 1107 @ 7.818
c NEW SOLUTION FOUND: 1106 @ 7.836
c NEW SOLUTION FOUND: 1105 @ 7.853
c NEW SOLUTION FOUND: 1104 @ 7.87
c NEW SOLUTION FOUND: 1103 @ 7.887
c NEW SOLUTION FOUND: 1102 @ 7.904
c NEW SOLUTION FOUND: 1101 @ 7.921
c NEW SOLUTION FOUND: 1100 @ 7.938
c NEW SOLUTION FOUND: 1099 @ 7.955
c NEW SOLUTION FOUND: 1098 @ 7.972
c NEW SOLUTION FOUND: 1097 @ 7.989
c NEW SOLUTION FOUND: 1096 @ 8.006
c NEW SOLUTION FOUND: 1095 @ 8.023
c NEW SOLUTION FOUND: 1094 @ 8.074
c NEW SOLUTION FOUND: 1093 @ 8.091
c NEW SOLUTION FOUND: 1092 @ 8.108
c NEW SOLUTION FOUND: 1091 @ 8.143
c NEW SOLUTION FOUND: 1090 @ 8.16
c NEW SOLUTION FOUND: 1089 @ 8.178
c NEW SOLUTION FOUND: 1088 @ 8.196
c NEW SOLUTION FOUND: 1087 @ 8.213
c NEW SOLUTION FOUND: 1086 @ 8.231
c NEW SOLUTION FOUND: 1085 @ 8.266
c NEW SOLUTION FOUND: 1084 @ 8.283
c NEW SOLUTION FOUND: 1083 @ 8.301
c NEW SOLUTION FOUND: 1082 @ 8.319
c NEW SOLUTION FOUND: 1081 @ 8.336
c NEW SOLUTION FOUND: 1080 @ 8.354
c NEW SOLUTION FOUND: 1079 @ 8.372
c NEW SOLUTION FOUND: 1078 @ 8.39
c NEW SOLUTION FOUND: 1077 @ 8.407
c NEW SOLUTION FOUND: 1076 @ 8.443
c NEW SOLUTION FOUND: 1075 @ 8.46
c NEW SOLUTION FOUND: 1074 @ 8.478
c NEW SOLUTION FOUND: 1073 @ 8.496
c NEW SOLUTION FOUND: 1072 @ 8.514
c NEW SOLUTION FOUND: 1071 @ 8.532
c NEW SOLUTION FOUND: 1070 @ 8.549
c NEW SOLUTION FOUND: 1069 @ 8.567
c NEW SOLUTION FOUND: 1068 @ 8.585
c NEW SOLUTION FOUND: 1067 @ 8.621
c NEW SOLUTION FOUND: 1066 @ 8.639
c NEW SOLUTION FOUND: 1065 @ 8.657
c NEW SOLUTION FOUND: 1064 @ 8.675
c NEW SOLUTION FOUND: 1063 @ 8.693
c NEW SOLUTION FOUND: 1062 @ 8.711
c NEW SOLUTION FOUND: 1061 @ 8.729
c NEW SOLUTION FOUND: 1060 @ 8.765
c NEW SOLUTION FOUND: 1059 @ 8.801
c NEW SOLUTION FOUND: 1058 @ 8.819
c NEW SOLUTION FOUND: 1057 @ 8.838
c NEW SOLUTION FOUND: 1056 @ 8.856
c NEW SOLUTION FOUND: 1055 @ 8.874
c NEW SOLUTION FOUND: 1054 @ 8.893
c NEW SOLUTION FOUND: 1053 @ 8.911
c NEW SOLUTION FOUND: 1052 @ 8.93
c NEW SOLUTION FOUND: 1051 @ 8.948
c NEW SOLUTION FOUND: 1050 @ 8.966
c NEW SOLUTION FOUND: 1049 @ 8.985
c NEW SOLUTION FOUND: 1048 @ 9.003
c NEW SOLUTION FOUND: 1047 @ 9.022
c NEW SOLUTION FOUND: 1046 @ 9.04
c NEW SOLUTION FOUND: 1045 @ 9.059
c NEW SOLUTION FOUND: 1044 @ 9.095
c NEW SOLUTION FOUND: 1043 @ 9.113
c NEW SOLUTION FOUND: 1042 @ 9.132
c NEW SOLUTION FOUND: 1041 @ 9.151
c NEW SOLUTION FOUND: 1040 @ 9.169
c NEW SOLUTION FOUND: 1039 @ 9.188
c NEW SOLUTION FOUND: 1038 @ 9.207
c NEW SOLUTION FOUND: 1037 @ 9.225
c NEW SOLUTION FOUND: 1036 @ 9.244
c NEW SOLUTION FOUND: 1035 @ 9.262
c NEW SOLUTION FOUND: 1034 @ 9.3
c NEW SOLUTION FOUND: 1033 @ 9.318
c NEW SOLUTION FOUND: 1032 @ 9.355
c NEW SOLUTION FOUND: 1031 @ 9.373
c NEW SOLUTION FOUND: 1030 @ 9.392
c NEW SOLUTION FOUND: 1029 @ 9.411
c NEW SOLUTION FOUND: 1028 @ 9.429
c NEW SOLUTION FOUND: 1027 @ 9.467
c NEW SOLUTION FOUND: 1026 @ 9.487
c NEW SOLUTION FOUND: 1025 @ 9.505
c NEW SOLUTION FOUND: 1024 @ 9.524
c NEW SOLUTION FOUND: 1023 @ 9.543
c NEW SOLUTION FOUND: 1022 @ 9.562
c NEW SOLUTION FOUND: 1021 @ 9.601
c NEW SOLUTION FOUND: 1020 @ 9.619
c NEW SOLUTION FOUND: 1019 @ 9.638
c NEW SOLUTION FOUND: 1018 @ 9.658
c NEW SOLUTION FOUND: 1017 @ 9.678
c NEW SOLUTION FOUND: 1016 @ 9.697
c NEW SOLUTION FOUND: 1015 @ 9.716
c NEW SOLUTION FOUND: 1014 @ 9.736
c NEW SOLUTION FOUND: 1013 @ 9.756
c NEW SOLUTION FOUND: 1012 @ 9.775
c NEW SOLUTION FOUND: 1011 @ 9.795
c NEW SOLUTION FOUND: 1010 @ 9.814
c NEW SOLUTION FOUND: 1009 @ 9.834
c NEW SOLUTION FOUND: 1008 @ 9.854
c NEW SOLUTION FOUND: 1007 @ 9.873
c NEW SOLUTION FOUND: 1006 @ 9.893
c NEW SOLUTION FOUND: 1005 @ 9.913
c NEW SOLUTION FOUND: 1004 @ 9.952
c NEW SOLUTION FOUND: 1003 @ 9.971
c NEW SOLUTION FOUND: 1002 @ 9.992
c NEW SOLUTION FOUND: 1001 @ 10.012
c NEW SOLUTION FOUND: 1000 @ 10.032
c NEW SOLUTION FOUND: 999 @ 10.052
c NEW SOLUTION FOUND: 998 @ 10.072
c NEW SOLUTION FOUND: 997 @ 10.092
c NEW SOLUTION FOUND: 996 @ 10.112
c NEW SOLUTION FOUND: 995 @ 10.132
c NEW SOLUTION FOUND: 994 @ 10.152
c NEW SOLUTION FOUND: 993 @ 10.172
c NEW SOLUTION FOUND: 992 @ 10.192
c NEW SOLUTION FOUND: 991 @ 10.213
c NEW SOLUTION FOUND: 990 @ 10.234
c NEW SOLUTION FOUND: 989 @ 10.253
c NEW SOLUTION FOUND: 988 @ 10.274
c NEW SOLUTION FOUND: 987 @ 10.294
c NEW SOLUTION FOUND: 986 @ 10.356
c NEW SOLUTION FOUND: 985 @ 10.377
c NEW SOLUTION FOUND: 984 @ 10.398
c NEW SOLUTION FOUND: 983 @ 10.419
c NEW SOLUTION FOUND: 982 @ 10.441
c NEW SOLUTION FOUND: 981 @ 10.462
c NEW SOLUTION FOUND: 980 @ 10.483
c NEW SOLUTION FOUND: 979 @ 10.505
c NEW SOLUTION FOUND: 978 @ 10.526
c NEW SOLUTION FOUND: 977 @ 10.547
c NEW SOLUTION FOUND: 976 @ 10.568
c NEW SOLUTION FOUND: 975 @ 10.59
c NEW SOLUTION FOUND: 974 @ 10.611
c NEW SOLUTION FOUND: 973 @ 10.653
c NEW SOLUTION FOUND: 972 @ 10.674
c NEW SOLUTION FOUND: 971 @ 10.696
c NEW SOLUTION FOUND: 970 @ 10.717
c NEW SOLUTION FOUND: 969 @ 10.739
c NEW SOLUTION FOUND: 968 @ 10.76
c NEW SOLUTION FOUND: 967 @ 10.781
c NEW SOLUTION FOUND: 966 @ 10.803
c NEW SOLUTION FOUND: 965 @ 10.824
c NEW SOLUTION FOUND: 964 @ 10.846
c NEW SOLUTION FOUND: 963 @ 10.867
c NEW SOLUTION FOUND: 962 @ 10.889
c NEW SOLUTION FOUND: 961 @ 10.91
c NEW SOLUTION FOUND: 960 @ 10.932
c NEW SOLUTION FOUND: 959 @ 10.953
c NEW SOLUTION FOUND: 958 @ 10.975
c NEW SOLUTION FOUND: 957 @ 10.996
c NEW SOLUTION FOUND: 956 @ 11.017
c NEW SOLUTION FOUND: 955 @ 11.039
c NEW SOLUTION FOUND: 954 @ 11.06
c NEW SOLUTION FOUND: 953 @ 11.082
c NEW SOLUTION FOUND: 952 @ 11.103
c NEW SOLUTION FOUND: 951 @ 11.124
c NEW SOLUTION FOUND: 950 @ 11.146
c NEW SOLUTION FOUND: 949 @ 11.167
c NEW SOLUTION FOUND: 948 @ 11.188
c NEW SOLUTION FOUND: 947 @ 11.21
c NEW SOLUTION FOUND: 946 @ 11.231
c NEW SOLUTION FOUND: 945 @ 11.253
c NEW SOLUTION FOUND: 944 @ 11.274
c NEW SOLUTION FOUND: 943 @ 11.295
c NEW SOLUTION FOUND: 942 @ 11.317
c NEW SOLUTION FOUND: 941 @ 11.338
c NEW SOLUTION FOUND: 940 @ 11.36
c NEW SOLUTION FOUND: 939 @ 11.381
c NEW SOLUTION FOUND: 938 @ 11.402
c NEW SOLUTION FOUND: 937 @ 11.423
c NEW SOLUTION FOUND: 936 @ 11.444
c NEW SOLUTION FOUND: 935 @ 11.465
c NEW SOLUTION FOUND: 934 @ 11.486
c NEW SOLUTION FOUND: 933 @ 11.507
c NEW SOLUTION FOUND: 932 @ 11.528
c NEW SOLUTION FOUND: 931 @ 11.549
c NEW SOLUTION FOUND: 930 @ 11.571
c NEW SOLUTION FOUND: 929 @ 11.592
c NEW SOLUTION FOUND: 928 @ 11.613
c NEW SOLUTION FOUND: 927 @ 11.634
c NEW SOLUTION FOUND: 926 @ 11.655
c NEW SOLUTION FOUND: 925 @ 11.676
c NEW SOLUTION FOUND: 924 @ 11.697
c NEW SOLUTION FOUND: 923 @ 11.718
c NEW SOLUTION FOUND: 922 @ 11.739
c NEW SOLUTION FOUND: 921 @ 11.761
c NEW SOLUTION FOUND: 920 @ 11.782
c NEW SOLUTION FOUND: 919 @ 11.806
c NEW SOLUTION FOUND: 918 @ 11.827
c NEW SOLUTION FOUND: 917 @ 11.848
c NEW SOLUTION FOUND: 916 @ 11.869
c NEW SOLUTION FOUND: 915 @ 11.89
c NEW SOLUTION FOUND: 914 @ 11.911
c NEW SOLUTION FOUND: 913 @ 11.932
c NEW SOLUTION FOUND: 912 @ 11.954
c NEW SOLUTION FOUND: 911 @ 11.975
c NEW SOLUTION FOUND: 910 @ 11.996
c NEW SOLUTION FOUND: 909 @ 12.017
c NEW SOLUTION FOUND: 908 @ 12.038
c NEW SOLUTION FOUND: 907 @ 12.059
c NEW SOLUTION FOUND: 906 @ 12.122
c NEW SOLUTION FOUND: 905 @ 12.142
c NEW SOLUTION FOUND: 904 @ 12.164
c NEW SOLUTION FOUND: 903 @ 12.185
c NEW SOLUTION FOUND: 902 @ 12.206
c NEW SOLUTION FOUND: 901 @ 12.248
c NEW SOLUTION FOUND: 900 @ 12.269
c NEW SOLUTION FOUND: 899 @ 12.29
c NEW SOLUTION FOUND: 898 @ 12.312
c NEW SOLUTION FOUND: 897 @ 12.333
c NEW SOLUTION FOUND: 896 @ 12.355
c NEW SOLUTION FOUND: 895 @ 12.376
c NEW SOLUTION FOUND: 894 @ 12.397
c NEW SOLUTION FOUND: 893 @ 12.419
c NEW SOLUTION FOUND: 892 @ 12.44
c NEW SOLUTION FOUND: 891 @ 12.461
c NEW SOLUTION FOUND: 890 @ 12.482
c NEW SOLUTION FOUND: 889 @ 12.504
c NEW SOLUTION FOUND: 888 @ 12.525
c NEW SOLUTION FOUND: 887 @ 12.546
c NEW SOLUTION FOUND: 886 @ 12.568
c NEW SOLUTION FOUND: 885 @ 12.589
c NEW SOLUTION FOUND: 884 @ 12.61
c NEW SOLUTION FOUND: 883 @ 12.631
c NEW SOLUTION FOUND: 882 @ 12.653
c NEW SOLUTION FOUND: 881 @ 12.674
c NEW SOLUTION FOUND: 880 @ 12.696
c NEW SOLUTION FOUND: 879 @ 12.738
c NEW SOLUTION FOUND: 878 @ 12.759
c NEW SOLUTION FOUND: 877 @ 12.78
c NEW SOLUTION FOUND: 876 @ 12.802
c NEW SOLUTION FOUND: 875 @ 12.823
c NEW SOLUTION FOUND: 874 @ 12.845
c NEW SOLUTION FOUND: 873 @ 12.866
c NEW SOLUTION FOUND: 872 @ 12.887
c NEW SOLUTION FOUND: 871 @ 12.909
c NEW SOLUTION FOUND: 870 @ 12.93
c NEW SOLUTION FOUND: 869 @ 12.951
c NEW SOLUTION FOUND: 868 @ 12.973
c NEW SOLUTION FOUND: 867 @ 12.994
c NEW SOLUTION FOUND: 866 @ 13.016
c NEW SOLUTION FOUND: 865 @ 13.037
c NEW SOLUTION FOUND: 864 @ 13.059
c NEW SOLUTION FOUND: 863 @ 13.08
c NEW SOLUTION FOUND: 862 @ 13.101
c NEW SOLUTION FOUND: 861 @ 13.123
c NEW SOLUTION FOUND: 860 @ 13.144
c NEW SOLUTION FOUND: 859 @ 13.165
c NEW SOLUTION FOUND: 858 @ 13.229
c NEW SOLUTION FOUND: 857 @ 13.25
c NEW SOLUTION FOUND: 856 @ 13.272
c NEW SOLUTION FOUND: 855 @ 13.293
c NEW SOLUTION FOUND: 854 @ 13.315
c NEW SOLUTION FOUND: 853 @ 13.335
c NEW SOLUTION FOUND: 852 @ 13.357
c NEW SOLUTION FOUND: 851 @ 13.379
c NEW SOLUTION FOUND: 850 @ 13.401
c NEW SOLUTION FOUND: 849 @ 13.444
c NEW SOLUTION FOUND: 848 @ 13.465
c NEW SOLUTION FOUND: 847 @ 13.487
c NEW SOLUTION FOUND: 846 @ 13.509
c NEW SOLUTION FOUND: 845 @ 13.531
c NEW SOLUTION FOUND: 844 @ 13.553
c NEW SOLUTION FOUND: 843 @ 13.597
c NEW SOLUTION FOUND: 842 @ 13.64
c NEW SOLUTION FOUND: 841 @ 13.662
c NEW SOLUTION FOUND: 840 @ 13.685
c NEW SOLUTION FOUND: 839 @ 13.707
c NEW SOLUTION FOUND: 838 @ 13.729
c NEW SOLUTION FOUND: 837 @ 13.752
c NEW SOLUTION FOUND: 836 @ 13.775
c NEW SOLUTION FOUND: 835 @ 13.797
c NEW SOLUTION FOUND: 834 @ 13.819
c NEW SOLUTION FOUND: 833 @ 13.842
c NEW SOLUTION FOUND: 832 @ 13.864
c NEW SOLUTION FOUND: 831 @ 13.908
c NEW SOLUTION FOUND: 830 @ 13.93
c NEW SOLUTION FOUND: 829 @ 13.953
c NEW SOLUTION FOUND: 828 @ 13.998
c NEW SOLUTION FOUND: 827 @ 14.021
c NEW SOLUTION FOUND: 826 @ 14.043
c NEW SOLUTION FOUND: 825 @ 14.089
c NEW SOLUTION FOUND: 824 @ 14.112
c NEW SOLUTION FOUND: 823 @ 14.135
c NEW SOLUTION FOUND: 822 @ 14.158
c NEW SOLUTION FOUND: 821 @ 14.181
c NEW SOLUTION FOUND: 820 @ 14.204
c NEW SOLUTION FOUND: 819 @ 14.228
c NEW SOLUTION FOUND: 818 @ 14.251
c NEW SOLUTION FOUND: 817 @ 14.274
c NEW SOLUTION FOUND: 816 @ 14.297
c NEW SOLUTION FOUND: 815 @ 14.32
c NEW SOLUTION FOUND: 814 @ 14.343
c NEW SOLUTION FOUND: 813 @ 14.366
c NEW SOLUTION FOUND: 812 @ 14.435
c NEW SOLUTION FOUND: 811 @ 14.48
c NEW SOLUTION FOUND: 810 @ 14.503
c NEW SOLUTION FOUND: 809 @ 14.527
c NEW SOLUTION FOUND: 808 @ 14.55
c NEW SOLUTION FOUND: 807 @ 14.574
c NEW SOLUTION FOUND: 806 @ 14.621
c NEW SOLUTION FOUND: 805 @ 14.645
c NEW SOLUTION FOUND: 804 @ 14.669
c NEW SOLUTION FOUND: 803 @ 14.693
c NEW SOLUTION FOUND: 802 @ 14.717
c NEW SOLUTION FOUND: 801 @ 14.765
c NEW SOLUTION FOUND: 800 @ 14.79
c NEW SOLUTION FOUND: 799 @ 14.816
c NEW SOLUTION FOUND: 798 @ 14.866
c NEW SOLUTION FOUND: 797 @ 14.892
c NEW SOLUTION FOUND: 796 @ 14.943
c NEW SOLUTION FOUND: 795 @ 14.969
c NEW SOLUTION FOUND: 794 @ 14.994
c NEW SOLUTION FOUND: 793 @ 15.046
c NEW SOLUTION FOUND: 792 @ 15.072
c NEW SOLUTION FOUND: 791 @ 15.098
c NEW SOLUTION FOUND: 790 @ 15.124
c NEW SOLUTION FOUND: 789 @ 15.151
c NEW SOLUTION FOUND: 788 @ 15.177
c NEW SOLUTION FOUND: 787 @ 15.204
c NEW SOLUTION FOUND: 786 @ 15.23
c NEW SOLUTION FOUND: 785 @ 15.257
c NEW SOLUTION FOUND: 784 @ 15.284
c NEW SOLUTION FOUND: 783 @ 15.311
c NEW SOLUTION FOUND: 782 @ 15.337
c NEW SOLUTION FOUND: 781 @ 15.364
c NEW SOLUTION FOUND: 780 @ 15.391
c NEW SOLUTION FOUND: 779 @ 15.418
c NEW SOLUTION FOUND: 778 @ 15.445
c NEW SOLUTION FOUND: 777 @ 15.472
c NEW SOLUTION FOUND: 776 @ 15.498
c NEW SOLUTION FOUND: 775 @ 15.525
c NEW SOLUTION FOUND: 774 @ 15.552
c NEW SOLUTION FOUND: 773 @ 15.58
c NEW SOLUTION FOUND: 772 @ 15.607
c NEW SOLUTION FOUND: 771 @ 15.634
c NEW SOLUTION FOUND: 770 @ 15.661
c NEW SOLUTION FOUND: 769 @ 15.689
c NEW SOLUTION FOUND: 768 @ 15.716
c NEW SOLUTION FOUND: 767 @ 15.77
c NEW SOLUTION FOUND: 766 @ 15.796
c NEW SOLUTION FOUND: 765 @ 15.824
c NEW SOLUTION FOUND: 764 @ 15.85
c NEW SOLUTION FOUND: 763 @ 15.878
c NEW SOLUTION FOUND: 762 @ 15.906
c NEW SOLUTION FOUND: 761 @ 15.933
c NEW SOLUTION FOUND: 760 @ 15.96
c NEW SOLUTION FOUND: 759 @ 15.988
c NEW SOLUTION FOUND: 758 @ 16.017
c NEW SOLUTION FOUND: 757 @ 16.045
c NEW SOLUTION FOUND: 756 @ 16.073
c NEW SOLUTION FOUND: 755 @ 16.101
c NEW SOLUTION FOUND: 754 @ 16.129
c NEW SOLUTION FOUND: 753 @ 16.157
c NEW SOLUTION FOUND: 752 @ 16.184
c NEW SOLUTION FOUND: 751 @ 16.212
c NEW SOLUTION FOUND: 750 @ 16.24
c NEW SOLUTION FOUND: 749 @ 16.268
c NEW SOLUTION FOUND: 748 @ 16.296
c NEW SOLUTION FOUND: 747 @ 16.323
c NEW SOLUTION FOUND: 746 @ 16.352
c NEW SOLUTION FOUND: 745 @ 16.379
c NEW SOLUTION FOUND: 744 @ 16.407
c NEW SOLUTION FOUND: 743 @ 16.435
c NEW SOLUTION FOUND: 742 @ 16.463
c NEW SOLUTION FOUND: 741 @ 16.49
c NEW SOLUTION FOUND: 740 @ 16.519
c NEW SOLUTION FOUND: 739 @ 16.546
c NEW SOLUTION FOUND: 738 @ 16.575
c NEW SOLUTION FOUND: 737 @ 16.602
c NEW SOLUTION FOUND: 736 @ 16.63
c NEW SOLUTION FOUND: 735 @ 16.658
c NEW SOLUTION FOUND: 734 @ 16.687
c NEW SOLUTION FOUND: 733 @ 16.716
c NEW SOLUTION FOUND: 732 @ 16.744
c NEW SOLUTION FOUND: 731 @ 16.773
c NEW SOLUTION FOUND: 730 @ 16.801
c NEW SOLUTION FOUND: 729 @ 16.83
c NEW SOLUTION FOUND: 728 @ 16.859
c NEW SOLUTION FOUND: 727 @ 16.887
c NEW SOLUTION FOUND: 726 @ 16.915
c NEW SOLUTION FOUND: 725 @ 16.944
c NEW SOLUTION FOUND: 724 @ 16.972
c NEW SOLUTION FOUND: 723 @ 17
c NEW SOLUTION FOUND: 722 @ 17.029
c NEW SOLUTION FOUND: 721 @ 17.057
c NEW SOLUTION FOUND: 720 @ 17.086
c NEW SOLUTION FOUND: 719 @ 17.114
c NEW SOLUTION FOUND: 718 @ 17.143
c NEW SOLUTION FOUND: 717 @ 17.172
c NEW SOLUTION FOUND: 716 @ 17.2
c NEW SOLUTION FOUND: 715 @ 17.229
c NEW SOLUTION FOUND: 714 @ 17.257
c NEW SOLUTION FOUND: 713 @ 17.286
c NEW SOLUTION FOUND: 712 @ 17.314
c NEW SOLUTION FOUND: 711 @ 17.343
c NEW SOLUTION FOUND: 710 @ 17.373
c NEW SOLUTION FOUND: 709 @ 17.402
c NEW SOLUTION FOUND: 708 @ 17.46
c NEW SOLUTION FOUND: 707 @ 17.488
c NEW SOLUTION FOUND: 706 @ 17.518
c NEW SOLUTION FOUND: 705 @ 17.547
c NEW SOLUTION FOUND: 704 @ 17.576
c NEW SOLUTION FOUND: 703 @ 17.634
c NEW SOLUTION FOUND: 702 @ 17.693
c NEW SOLUTION FOUND: 701 @ 17.722
c NEW SOLUTION FOUND: 700 @ 17.752
c NEW SOLUTION FOUND: 699 @ 17.782
c NEW SOLUTION FOUND: 698 @ 17.811
c NEW SOLUTION FOUND: 697 @ 17.873
c NEW SOLUTION FOUND: 696 @ 17.902
c NEW SOLUTION FOUND: 695 @ 17.964
c NEW SOLUTION FOUND: 694 @ 17.995
c NEW SOLUTION FOUND: 693 @ 18.029
c NEW SOLUTION FOUND: 692 @ 18.061
c NEW SOLUTION FOUND: 691 @ 18.094
c NEW SOLUTION FOUND: 690 @ 18.127
c NEW SOLUTION FOUND: 689 @ 18.16
c NEW SOLUTION FOUND: 688 @ 18.192
c NEW SOLUTION FOUND: 687 @ 18.225
c NEW SOLUTION FOUND: 686 @ 18.29
c NEW SOLUTION FOUND: 685 @ 18.323
c NEW SOLUTION FOUND: 684 @ 18.355
c NEW SOLUTION FOUND: 683 @ 18.388
c NEW SOLUTION FOUND: 682 @ 18.421
c NEW SOLUTION FOUND: 681 @ 18.454
c NEW SOLUTION FOUND: 680 @ 18.487
c NEW SOLUTION FOUND: 679 @ 18.519
c NEW SOLUTION FOUND: 678 @ 18.552
c NEW SOLUTION FOUND: 677 @ 18.585
c NEW SOLUTION FOUND: 676 @ 18.617
c NEW SOLUTION FOUND: 675 @ 18.65
c NEW SOLUTION FOUND: 674 @ 18.683
c NEW SOLUTION FOUND: 673 @ 18.715
c NEW SOLUTION FOUND: 672 @ 18.748
c NEW SOLUTION FOUND: 671 @ 18.782
c NEW SOLUTION FOUND: 670 @ 18.814
c NEW SOLUTION FOUND: 669 @ 18.847
c NEW SOLUTION FOUND: 668 @ 18.88
c NEW SOLUTION FOUND: 667 @ 18.914
c NEW SOLUTION FOUND: 666 @ 18.946
c NEW SOLUTION FOUND: 665 @ 18.98
c NEW SOLUTION FOUND: 664 @ 19.014
c NEW SOLUTION FOUND: 663 @ 19.049
c NEW SOLUTION FOUND: 662 @ 19.082
c NEW SOLUTION FOUND: 661 @ 19.116
c NEW SOLUTION FOUND: 660 @ 19.149
c NEW SOLUTION FOUND: 659 @ 19.183
c NEW SOLUTION FOUND: 658 @ 19.217
c NEW SOLUTION FOUND: 657 @ 19.318
c NEW SOLUTION FOUND: 656 @ 19.352
c NEW SOLUTION FOUND: 655 @ 19.386
c NEW SOLUTION FOUND: 654 @ 19.42
c NEW SOLUTION FOUND: 653 @ 19.455
c NEW SOLUTION FOUND: 652 @ 19.489
c NEW SOLUTION FOUND: 651 @ 19.523
c NEW SOLUTION FOUND: 650 @ 19.658
c NEW SOLUTION FOUND: 649 @ 19.692
c NEW SOLUTION FOUND: 648 @ 19.727
c NEW SOLUTION FOUND: 647 @ 19.761
c NEW SOLUTION FOUND: 646 @ 19.796
c NEW SOLUTION FOUND: 645 @ 19.832
c NEW SOLUTION FOUND: 644 @ 19.866
c NEW SOLUTION FOUND: 643 @ 19.902
c NEW SOLUTION FOUND: 642 @ 19.936
c NEW SOLUTION FOUND: 641 @ 19.973
c NEW SOLUTION FOUND: 640 @ 20.041
c NEW SOLUTION FOUND: 639 @ 20.076
c NEW SOLUTION FOUND: 638 @ 20.149
c NEW SOLUTION FOUND: 637 @ 20.184
c NEW SOLUTION FOUND: 636 @ 20.22
c NEW SOLUTION FOUND: 635 @ 20.256
c NEW SOLUTION FOUND: 634 @ 20.328
c NEW SOLUTION FOUND: 633 @ 20.401
c NEW SOLUTION FOUND: 632 @ 20.436
c NEW SOLUTION FOUND: 631 @ 20.474
c NEW SOLUTION FOUND: 630 @ 20.545
c NEW SOLUTION FOUND: 629 @ 20.582
c NEW SOLUTION FOUND: 628 @ 20.619
c NEW SOLUTION FOUND: 627 @ 20.691
c NEW SOLUTION FOUND: 626 @ 20.728
c NEW SOLUTION FOUND: 625 @ 20.764
c NEW SOLUTION FOUND: 624 @ 20.801
c NEW SOLUTION FOUND: 623 @ 20.838
c NEW SOLUTION FOUND: 622 @ 20.876
c NEW SOLUTION FOUND: 621 @ 20.913
c NEW SOLUTION FOUND: 620 @ 20.95
c NEW SOLUTION FOUND: 619 @ 21.025
c NEW SOLUTION FOUND: 618 @ 21.063
c NEW SOLUTION FOUND: 617 @ 21.1
c NEW SOLUTION FOUND: 616 @ 21.137
c NEW SOLUTION FOUND: 615 @ 21.175
c NEW SOLUTION FOUND: 614 @ 21.212
c NEW SOLUTION FOUND: 613 @ 21.25
c NEW SOLUTION FOUND: 612 @ 21.288
c NEW SOLUTION FOUND: 611 @ 21.363
c NEW SOLUTION FOUND: 610 @ 21.436
c NEW SOLUTION FOUND: 609 @ 21.475
c NEW SOLUTION FOUND: 608 @ 21.515
c NEW SOLUTION FOUND: 607 @ 21.555
c NEW SOLUTION FOUND: 606 @ 21.674
c NEW SOLUTION FOUND: 605 @ 21.716
c NEW SOLUTION FOUND: 604 @ 21.757
c NEW SOLUTION FOUND: 603 @ 21.799
c NEW SOLUTION FOUND: 602 @ 21.84
c NEW SOLUTION FOUND: 601 @ 21.88
c NEW SOLUTION FOUND: 600 @ 21.922
c NEW SOLUTION FOUND: 599 @ 21.965
c NEW SOLUTION FOUND: 598 @ 22.007
c NEW SOLUTION FOUND: 597 @ 22.047
c NEW SOLUTION FOUND: 596 @ 22.09
c NEW SOLUTION FOUND: 595 @ 22.131
c NEW SOLUTION FOUND: 594 @ 22.172
c NEW SOLUTION FOUND: 593 @ 22.214
c NEW SOLUTION FOUND: 592 @ 22.255
c NEW SOLUTION FOUND: 591 @ 22.296
c NEW SOLUTION FOUND: 590 @ 22.337
c NEW SOLUTION FOUND: 589 @ 22.379
c NEW SOLUTION FOUND: 588 @ 22.42
c NEW SOLUTION FOUND: 587 @ 22.461
c NEW SOLUTION FOUND: 586 @ 22.502
c NEW SOLUTION FOUND: 585 @ 22.544
c NEW SOLUTION FOUND: 584 @ 22.585
c NEW SOLUTION FOUND: 583 @ 22.627
c NEW SOLUTION FOUND: 582 @ 22.669
c NEW SOLUTION FOUND: 581 @ 22.71
c NEW SOLUTION FOUND: 580 @ 22.752
c NEW SOLUTION FOUND: 579 @ 22.794
c NEW SOLUTION FOUND: 578 @ 22.837
c NEW SOLUTION FOUND: 577 @ 22.879
c NEW SOLUTION FOUND: 576 @ 22.922
c NEW SOLUTION FOUND: 575 @ 22.964
c NEW SOLUTION FOUND: 574 @ 23.007
c NEW SOLUTION FOUND: 573 @ 23.049
c NEW SOLUTION FOUND: 572 @ 23.091
c NEW SOLUTION FOUND: 571 @ 23.133
c NEW SOLUTION FOUND: 570 @ 23.175
c NEW SOLUTION FOUND: 569 @ 23.218
c NEW SOLUTION FOUND: 568 @ 23.26
c NEW SOLUTION FOUND: 567 @ 23.302
c NEW SOLUTION FOUND: 566 @ 23.344
c NEW SOLUTION FOUND: 565 @ 23.386
c NEW SOLUTION FOUND: 564 @ 23.428
c NEW SOLUTION FOUND: 563 @ 23.472
c NEW SOLUTION FOUND: 562 @ 23.515
c NEW SOLUTION FOUND: 561 @ 23.6
c NEW SOLUTION FOUND: 560 @ 23.643
c NEW SOLUTION FOUND: 559 @ 23.686
c NEW SOLUTION FOUND: 558 @ 23.728
c NEW SOLUTION FOUND: 557 @ 23.771
c NEW SOLUTION FOUND: 556 @ 23.814
c NEW SOLUTION FOUND: 555 @ 23.86
c NEW SOLUTION FOUND: 554 @ 23.904
c NEW SOLUTION FOUND: 553 @ 23.99
c NEW SOLUTION FOUND: 552 @ 24.034
c NEW SOLUTION FOUND: 551 @ 24.076
c NEW SOLUTION FOUND: 550 @ 24.12
c NEW SOLUTION FOUND: 549 @ 24.164
c NEW SOLUTION FOUND: 548 @ 24.207
c NEW SOLUTION FOUND: 547 @ 24.251
c NEW SOLUTION FOUND: 546 @ 24.295
c NEW SOLUTION FOUND: 545 @ 24.381
c NEW SOLUTION FOUND: 544 @ 24.466
c NEW SOLUTION FOUND: 543 @ 24.509
c NEW SOLUTION FOUND: 542 @ 24.554
c NEW SOLUTION FOUND: 541 @ 24.641
c NEW SOLUTION FOUND: 540 @ 24.686
c NEW SOLUTION FOUND: 539 @ 24.73
c NEW SOLUTION FOUND: 538 @ 24.775
c NEW SOLUTION FOUND: 537 @ 24.819
c NEW SOLUTION FOUND: 536 @ 24.865
c NEW SOLUTION FOUND: 535 @ 24.909
c NEW SOLUTION FOUND: 534 @ 24.955
c NEW SOLUTION FOUND: 533 @ 25
c NEW SOLUTION FOUND: 532 @ 25.045
c NEW SOLUTION FOUND: 531 @ 25.177
c NEW SOLUTION FOUND: 530 @ 25.222
c NEW SOLUTION FOUND: 529 @ 25.268
c NEW SOLUTION FOUND: 528 @ 25.315
c NEW SOLUTION FOUND: 527 @ 25.362
c NEW SOLUTION FOUND: 526 @ 25.407
c NEW SOLUTION FOUND: 525 @ 25.455
c NEW SOLUTION FOUND: 524 @ 25.503
c NEW SOLUTION FOUND: 523 @ 25.55
c NEW SOLUTION FOUND: 522 @ 25.596
c NEW SOLUTION FOUND: 521 @ 25.642
c NEW SOLUTION FOUND: 520 @ 25.689
c NEW SOLUTION FOUND: 519 @ 25.735
c NEW SOLUTION FOUND: 518 @ 25.879
c NEW SOLUTION FOUND: 517 @ 25.93
c NEW SOLUTION FOUND: 516 @ 25.981
c NEW SOLUTION FOUND: 515 @ 26.032
c NEW SOLUTION FOUND: 514 @ 26.085
c NEW SOLUTION FOUND: 513 @ 26.136
c NEW SOLUTION FOUND: 512 @ 26.187
c NEW SOLUTION FOUND: 511 @ 26.238
c NEW SOLUTION FOUND: 510 @ 26.289
c NEW SOLUTION FOUND: 509 @ 26.342
c NEW SOLUTION FOUND: 508 @ 26.393
c NEW SOLUTION FOUND: 507 @ 26.444
c NEW SOLUTION FOUND: 506 @ 26.607
c NEW SOLUTION FOUND: 505 @ 26.778
c NEW SOLUTION FOUND: 504 @ 26.839
c NEW SOLUTION FOUND: 503 @ 26.9
c NEW SOLUTION FOUND: 502 @ 26.96
c NEW SOLUTION FOUND: 501 @ 27.082
c NEW SOLUTION FOUND: 500 @ 27.143
c NEW SOLUTION FOUND: 499 @ 27.202
c NEW SOLUTION FOUND: 498 @ 27.33
c NEW SOLUTION FOUND: 497 @ 27.394
c NEW SOLUTION FOUND: 496 @ 27.457
c NEW SOLUTION FOUND: 495 @ 27.583
c NEW SOLUTION FOUND: 494 @ 27.717
c NEW SOLUTION FOUND: 493 @ 27.784
c NEW SOLUTION FOUND: 492 @ 27.851
c NEW SOLUTION FOUND: 491 @ 27.919
c NEW SOLUTION FOUND: 490 @ 27.984
c NEW SOLUTION FOUND: 489 @ 28.248
c NEW SOLUTION FOUND: 488 @ 28.317
c NEW SOLUTION FOUND: 487 @ 28.386
c NEW SOLUTION FOUND: 486 @ 28.456
c NEW SOLUTION FOUND: 485 @ 28.524
c NEW SOLUTION FOUND: 484 @ 28.594
c NEW SOLUTION FOUND: 483 @ 28.66
c NEW SOLUTION FOUND: 482 @ 28.726
c NEW SOLUTION FOUND: 481 @ 28.791
c NEW SOLUTION FOUND: 480 @ 28.859
c NEW SOLUTION FOUND: 479 @ 28.928
c NEW SOLUTION FOUND: 478 @ 28.993
c NEW SOLUTION FOUND: 477 @ 29.06
c NEW SOLUTION FOUND: 476 @ 29.128
c NEW SOLUTION FOUND: 475 @ 29.198
c NEW SOLUTION FOUND: 474 @ 29.265
c NEW SOLUTION FOUND: 473 @ 29.467
c NEW SOLUTION FOUND: 472 @ 29.534
c NEW SOLUTION FOUND: 471 @ 29.808
c NEW SOLUTION FOUND: 470 @ 29.955
c NEW SOLUTION FOUND: 469 @ 30.026
c NEW SOLUTION FOUND: 468 @ 30.1
c NEW SOLUTION FOUND: 467 @ 30.173
c NEW SOLUTION FOUND: 466 @ 30.322
c NEW SOLUTION FOUND: 465 @ 30.399
c NEW SOLUTION FOUND: 464 @ 30.477
c NEW SOLUTION FOUND: 463 @ 30.643
c NEW SOLUTION FOUND: 462 @ 30.723
c NEW SOLUTION FOUND: 461 @ 30.804
c NEW SOLUTION FOUND: 460 @ 30.966
c NEW SOLUTION FOUND: 459 @ 31.05
c NEW SOLUTION FOUND: 458 @ 31.224
c NEW SOLUTION FOUND: 457 @ 31.313
c NEW SOLUTION FOUND: 456 @ 31.401
c NEW SOLUTION FOUND: 455 @ 31.487
c NEW SOLUTION FOUND: 454 @ 31.661
c NEW SOLUTION FOUND: 453 @ 31.748
c NEW SOLUTION FOUND: 452 @ 31.923
c NEW SOLUTION FOUND: 451 @ 32.011
c NEW SOLUTION FOUND: 450 @ 32.1
c NEW SOLUTION FOUND: 449 @ 32.28
c NEW SOLUTION FOUND: 448 @ 32.456
c NEW SOLUTION FOUND: 447 @ 32.543
c NEW SOLUTION FOUND: 446 @ 32.819
c NEW SOLUTION FOUND: 445 @ 33.01
c NEW SOLUTION FOUND: 444 @ 33.104
c NEW SOLUTION FOUND: 443 @ 33.412
c NEW SOLUTION FOUND: 442 @ 33.515
c NEW SOLUTION FOUND: 441 @ 33.618
c NEW SOLUTION FOUND: 440 @ 33.726
c NEW SOLUTION FOUND: 439 @ 33.941
c NEW SOLUTION FOUND: 438 @ 34.055
c NEW SOLUTION FOUND: 437 @ 34.279
c NEW SOLUTION FOUND: 436 @ 34.624
c NEW SOLUTION FOUND: 435 @ 34.75
c NEW SOLUTION FOUND: 434 @ 34.868
c NEW SOLUTION FOUND: 433 @ 34.987
c NEW SOLUTION FOUND: 432 @ 35.1
c NEW SOLUTION FOUND: 431 @ 35.223
c NEW SOLUTION FOUND: 430 @ 35.339
c NEW SOLUTION FOUND: 429 @ 35.47
c NEW SOLUTION FOUND: 428 @ 35.592
c NEW SOLUTION FOUND: 427 @ 35.716
c NEW SOLUTION FOUND: 426 @ 35.963
c NEW SOLUTION FOUND: 425 @ 36.085
c NEW SOLUTION FOUND: 424 @ 36.215
c NEW SOLUTION FOUND: 423 @ 36.481
c NEW SOLUTION FOUND: 422 @ 36.606
c NEW SOLUTION FOUND: 421 @ 36.758
c NEW SOLUTION FOUND: 420 @ 36.89
c NEW SOLUTION FOUND: 419 @ 37.034
c NEW SOLUTION FOUND: 418 @ 37.159
c NEW SOLUTION FOUND: 417 @ 37.302
c NEW SOLUTION FOUND: 416 @ 37.439
c NEW SOLUTION FOUND: 415 @ 37.712
c NEW SOLUTION FOUND: 414 @ 37.841
c NEW SOLUTION FOUND: 413 @ 37.98
c NEW SOLUTION FOUND: 412 @ 38.124
c NEW SOLUTION FOUND: 411 @ 38.417
c NEW SOLUTION FOUND: 410 @ 38.706
c NEW SOLUTION FOUND: 409 @ 38.84
c NEW SOLUTION FOUND: 408 @ 38.981
c NEW SOLUTION FOUND: 407 @ 39.113
c NEW SOLUTION FOUND: 406 @ 39.251
c NEW SOLUTION FOUND: 405 @ 39.555
c NEW SOLUTION FOUND: 404 @ 39.7
c NEW SOLUTION FOUND: 403 @ 39.983
c NEW SOLUTION FOUND: 402 @ 40.128
c NEW SOLUTION FOUND: 401 @ 40.437
c NEW SOLUTION FOUND: 400 @ 40.589
c NEW SOLUTION FOUND: 399 @ 40.741
c NEW SOLUTION FOUND: 398 @ 40.887
c NEW SOLUTION FOUND: 397 @ 41.051
c NEW SOLUTION FOUND: 396 @ 41.355
c NEW SOLUTION FOUND: 395 @ 41.509
c NEW SOLUTION FOUND: 394 @ 41.802
c NEW SOLUTION FOUND: 393 @ 42.106
c NEW SOLUTION FOUND: 392 @ 42.566
c NEW SOLUTION FOUND: 391 @ 43.279
c NEW SOLUTION FOUND: 390 @ 43.807
c NEW SOLUTION FOUND: 389 @ 43.982
c NEW SOLUTION FOUND: 388 @ 44.156
c NEW SOLUTION FOUND: 387 @ 44.735
c NEW SOLUTION FOUND: 386 @ 44.944
c NEW SOLUTION FOUND: 385 @ 45.37
c NEW SOLUTION FOUND: 384 @ 45.804
c NEW SOLUTION FOUND: 383 @ 46.035
c NEW SOLUTION FOUND: 382 @ 46.245
c NEW SOLUTION FOUND: 381 @ 46.469
c NEW SOLUTION FOUND: 380 @ 46.685
c NEW SOLUTION FOUND: 379 @ 46.891
c NEW SOLUTION FOUND: 378 @ 47.339
c NEW SOLUTION FOUND: 377 @ 47.568
c NEW SOLUTION FOUND: 376 @ 47.99
c NEW SOLUTION FOUND: 375 @ 48.211
c NEW SOLUTION FOUND: 374 @ 48.447
c NEW SOLUTION FOUND: 373 @ 48.68
c NEW SOLUTION FOUND: 372 @ 48.927
c NEW SOLUTION FOUND: 371 @ 49.166
c NEW SOLUTION FOUND: 370 @ 49.382
c NEW SOLUTION FOUND: 369 @ 49.618
c NEW SOLUTION FOUND: 368 @ 49.874
c NEW SOLUTION FOUND: 367 @ 50.101
c NEW SOLUTION FOUND: 366 @ 50.333
c NEW SOLUTION FOUND: 365 @ 50.558
c NEW SOLUTION FOUND: 364 @ 50.785
c NEW SOLUTION FOUND: 363 @ 51.013
c NEW SOLUTION FOUND: 362 @ 51.265
c NEW SOLUTION FOUND: 361 @ 51.753
c NEW SOLUTION FOUND: 360 @ 51.997
c NEW SOLUTION FOUND: 359 @ 52.477
c NEW SOLUTION FOUND: 358 @ 52.731
c NEW SOLUTION FOUND: 357 @ 53.266
c NEW SOLUTION FOUND: 356 @ 53.76
c NEW SOLUTION FOUND: 355 @ 54.238
c NEW SOLUTION FOUND: 354 @ 54.486
c NEW SOLUTION FOUND: 353 @ 54.75
c NEW SOLUTION FOUND: 352 @ 55.037
c NEW SOLUTION FOUND: 351 @ 55.278
c NEW SOLUTION FOUND: 350 @ 55.535
c NEW SOLUTION FOUND: 349 @ 55.784
c NEW SOLUTION FOUND: 348 @ 56.049
c NEW SOLUTION FOUND: 347 @ 56.293
c NEW SOLUTION FOUND: 346 @ 56.565
c NEW SOLUTION FOUND: 345 @ 57.076
c NEW SOLUTION FOUND: 344 @ 57.59
c NEW SOLUTION FOUND: 343 @ 57.876
c NEW SOLUTION FOUND: 342 @ 58.389
c NEW SOLUTION FOUND: 341 @ 59.198
c NEW SOLUTION FOUND: 340 @ 59.983
c NEW SOLUTION FOUND: 339 @ 60.795
c NEW SOLUTION FOUND: 338 @ 61.696
c NEW SOLUTION FOUND: 337 @ 62
c NEW SOLUTION FOUND: 336 @ 62.312
c NEW SOLUTION FOUND: 335 @ 62.584
c NEW SOLUTION FOUND: 334 @ 62.892
c NEW SOLUTION FOUND: 333 @ 63.197
c NEW SOLUTION FOUND: 332 @ 64.16
c NEW SOLUTION FOUND: 331 @ 65.172
c NEW SOLUTION FOUND: 330 @ 65.55
c NEW SOLUTION FOUND: 329 @ 67.215
c NEW SOLUTION FOUND: 328 @ 67.946
c NEW SOLUTION FOUND: 327 @ 68.27
c NEW SOLUTION FOUND: 326 @ 68.603
c NEW SOLUTION FOUND: 325 @ 70.128
c NEW SOLUTION FOUND: 324 @ 70.495
c NEW SOLUTION FOUND: 323 @ 70.873
c NEW SOLUTION FOUND: 322 @ 71.268
c NEW SOLUTION FOUND: 321 @ 71.705
c NEW SOLUTION FOUND: 320 @ 72.105
c NEW SOLUTION FOUND: 319 @ 72.922
c NEW SOLUTION FOUND: 318 @ 73.787
c NEW SOLUTION FOUND: 317 @ 74.622
c NEW SOLUTION FOUND: 316 @ 75.894
c NEW SOLUTION FOUND: 315 @ 76.341
c NEW SOLUTION FOUND: 314 @ 77.665
c NEW SOLUTION FOUND: 313 @ 79.068
c NEW SOLUTION FOUND: 312 @ 79.948
c NEW SOLUTION FOUND: 311 @ 80.783
c NEW SOLUTION FOUND: 310 @ 81.67
c NEW SOLUTION FOUND: 309 @ 83.014
c NEW SOLUTION FOUND: 308 @ 83.427
c NEW SOLUTION FOUND: 307 @ 84.978
c NEW SOLUTION FOUND: 306 @ 86.412
c NEW SOLUTION FOUND: 305 @ 86.911
c NEW SOLUTION FOUND: 304 @ 88.799
c NEW SOLUTION FOUND: 303 @ 89.3
c NEW SOLUTION FOUND: 302 @ 90.687
c NEW SOLUTION FOUND: 301 @ 92.388
c NEW SOLUTION FOUND: 300 @ 93.498
c NEW SOLUTION FOUND: 299 @ 96.072
c NEW SOLUTION FOUND: 298 @ 96.706
c NEW SOLUTION FOUND: 297 @ 101.082
c NEW SOLUTION FOUND: 296 @ 101.853
c NEW SOLUTION FOUND: 295 @ 102.519
c NEW SOLUTION FOUND: 294 @ 103.174
c NEW SOLUTION FOUND: 293 @ 104.096
c NEW SOLUTION FOUND: 292 @ 106.751
c NEW SOLUTION FOUND: 291 @ 107.437
c NEW SOLUTION FOUND: 290 @ 108.147
c NEW SOLUTION FOUND: 289 @ 108.966
c NEW SOLUTION FOUND: 288 @ 109.829
c NEW SOLUTION FOUND: 287 @ 110.436
c NEW SOLUTION FOUND: 286 @ 113.433
c NEW SOLUTION FOUND: 285 @ 114.098
c NEW SOLUTION FOUND: 284 @ 117.845
c NEW SOLUTION FOUND: 283 @ 118.685
c NEW SOLUTION FOUND: 282 @ 121.601
c NEW SOLUTION FOUND: 281 @ 123.216
c NEW SOLUTION FOUND: 280 @ 124.876
c NEW SOLUTION FOUND: 279 @ 125.787
c NEW SOLUTION FOUND: 278 @ 127.412
c NEW SOLUTION FOUND: 277 @ 128.991
c NEW SOLUTION FOUND: 276 @ 132.113
c NEW SOLUTION FOUND: 275 @ 149.472
c NEW SOLUTION FOUND: 274 @ 164.14
c NEW SOLUTION FOUND: 273 @ 187.872
c NEW SOLUTION FOUND: 272 @ 224.106
c NEW SOLUTION FOUND: 271 @ 242.362
c NEW SOLUTION FOUND: 270 @ 246.002
c NEW SOLUTION FOUND: 269 @ 281.444
c NEW SOLUTION FOUND: 268 @ 302.921
c NEW SOLUTION FOUND: 267 @ 310.375
c NEW SOLUTION FOUND: 266 @ 323.424
c NEW SOLUTION FOUND: 265 @ 336.468
c NEW SOLUTION FOUND: 264 @ 516.827
c NEW SOLUTION FOUND: 263 @ 610.434
c NEW SOLUTION FOUND: 262 @ 682.028
c NEW SOLUTION FOUND: 261 @ 746.521
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: 1178.36 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.94 0.97 0.91 2/54 27549
Raw data (stat): 27549 (runsolver) R 27548 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903265184 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 2742 0 0 0 985 12 0 0 25 0 1 0 903265184 7819264 1218 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1909 1218 1111 63 0 1846 0
vsize: 7636
[startup+20.0009 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 7502 0 0 0 1967 30 0 0 25 0 1 0 903265184 8249344 1239 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2014 1239 1111 63 0 1951 0
vsize: 8056
[startup+30.0016 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 15646 0 0 0 2939 57 0 0 25 0 1 0 903265184 7917568 1249 4294967295 134512640 134716908 3221224576 3221223096 1077377294 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1933 1249 1111 63 0 1870 0
vsize: 7732
[startup+40.0017 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 21148 0 0 0 3923 73 0 0 25 0 1 0 903265184 8728576 1348 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2131 1348 1111 63 0 2068 0
vsize: 8524
[startup+50.0022 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 25356 0 0 0 4913 83 0 0 25 0 1 0 903265184 8237056 1338 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 1338 1111 63 0 1948 0
vsize: 8044
[startup+60.0021 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 29319 0 0 0 5904 92 0 0 25 0 1 0 903265184 8986624 1450 4294967295 134512640 134716908 3221224576 3221220544 1075965253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2194 1450 1111 63 0 2131 0
vsize: 8776
[startup+70.0033 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 34294 0 0 0 6892 104 0 0 25 0 1 0 903265184 9125888 1484 4294967295 134512640 134716908 3221224576 3221220536 1075964742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2228 1484 1111 63 0 2165 0
vsize: 8912
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 38075 0 0 0 7883 114 0 0 25 0 1 0 903265184 8585216 1423 4294967295 134512640 134716908 3221224576 3221222536 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2096 1423 1111 63 0 2033 0
vsize: 8384
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 40708 0 0 0 8876 121 0 0 25 0 1 0 903265184 8679424 1446 4294967295 134512640 134716908 3221224576 3221223136 134652546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2119 1446 1111 63 0 2056 0
vsize: 8476
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 42994 0 0 0 9870 127 0 0 25 0 1 0 903265184 9568256 1540 4294967295 134512640 134716908 3221224576 3221221168 1074884339 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2336 1540 1111 63 0 2273 0
vsize: 9344
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 45166 0 0 0 10865 132 0 0 25 0 1 0 903265184 8675328 1445 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2118 1445 1111 63 0 2055 0
vsize: 8472
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 47440 0 0 0 11858 139 0 0 25 0 1 0 903265184 9744384 1586 4294967295 134512640 134716908 3221224576 3221220780 1075564165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2379 1586 1111 63 0 2316 0
vsize: 9516
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 49118 0 0 0 12853 144 0 0 25 0 1 0 903265184 9011200 1527 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2200 1527 1111 63 0 2137 0
vsize: 8800
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 50716 0 0 0 13849 149 0 0 25 0 1 0 903265184 9428992 1579 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2302 1579 1111 63 0 2239 0
vsize: 9208
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 53459 0 0 0 14841 157 0 0 25 0 1 0 903265184 10137600 1687 4294967295 134512640 134716908 3221224576 3221220752 1074882530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2475 1687 1111 63 0 2412 0
vsize: 9900
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 55957 0 0 0 15835 163 0 0 25 0 1 0 903265184 10358784 1726 4294967295 134512640 134716908 3221224576 3221220912 1075113502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2529 1726 1111 63 0 2466 0
vsize: 10116
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 58683 0 0 0 16828 170 0 0 25 0 1 0 903265184 9302016 1598 4294967295 134512640 134716908 3221224576 3221222928 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2271 1598 1111 63 0 2208 0
vsize: 9084
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 61797 0 0 0 17819 179 0 0 25 0 1 0 903265184 10043392 1725 4294967295 134512640 134716908 3221224576 3221222544 1075961074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2452 1725 1111 63 0 2389 0
vsize: 9808
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 64878 0 0 0 18812 187 0 0 25 0 1 0 903265184 11018240 1935 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2690 1935 1111 63 0 2627 0
vsize: 10760
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 67349 0 0 0 19806 193 0 0 25 0 1 0 903265184 9977856 1739 4294967295 134512640 134716908 3221224576 3221222852 1077374461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1739 1111 63 0 2373 0
vsize: 9744
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 70480 0 0 0 20799 199 0 0 25 0 1 0 903265184 11284480 2014 4294967295 134512640 134716908 3221224576 3221221408 1075115437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2755 2014 1111 63 0 2692 0
vsize: 11020
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 72831 0 0 0 21793 206 0 0 25 0 1 0 903265184 10559488 1872 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2578 1872 1111 63 0 2515 0
vsize: 10312
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 75114 0 0 0 22788 211 0 0 25 0 1 0 903265184 11091968 1942 4294967295 134512640 134716908 3221224576 3221220780 1075564295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2708 1942 1111 63 0 2645 0
vsize: 10832
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27549
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 77273 0 0 0 23784 215 0 0 25 0 1 0 903265184 10887168 1938 4294967295 134512640 134716908 3221224576 3221220588 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2658 1938 1111 63 0 2595 0
vsize: 10632
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 79979 0 0 0 24779 220 0 0 25 0 1 0 903265184 10510336 1840 4294967295 134512640 134716908 3221224576 3221223032 134606842 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2566 1840 1111 63 0 2503 0
vsize: 10264
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 82123 0 0 0 25772 228 0 0 25 0 1 0 903265184 10612736 1849 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2591 1849 1111 63 0 2528 0
vsize: 10364
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 84352 0 0 0 26767 233 0 0 25 0 1 0 903265184 11296768 1970 4294967295 134512640 134716908 3221224576 3221220544 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2758 1970 1111 63 0 2695 0
vsize: 11032
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 86948 0 0 0 27760 240 0 0 25 0 1 0 903265184 11104256 1968 4294967295 134512640 134716908 3221224576 3221221028 1074944276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2711 1968 1111 63 0 2648 0
vsize: 10844
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 89234 0 0 0 28755 245 0 0 25 0 1 0 903265184 10637312 1909 4294967295 134512640 134716908 3221224576 3221223068 134606816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1909 1111 63 0 2534 0
vsize: 10388
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 91259 0 0 0 29749 251 0 0 25 0 1 0 903265184 10674176 1885 4294967295 134512640 134716908 3221224576 3221222880 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2606 1885 1111 63 0 2543 0
vsize: 10424
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 93413 0 0 0 30745 256 0 0 25 0 1 0 903265184 11218944 1998 4294967295 134512640 134716908 3221224576 3221220640 1074881396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2739 1998 1111 63 0 2676 0
vsize: 10956
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 95726 0 0 0 31738 262 0 0 25 0 1 0 903265184 10764288 1908 4294967295 134512640 134716908 3221224576 3221221920 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2628 1908 1111 63 0 2565 0
vsize: 10512
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 97823 0 0 0 32734 267 0 0 25 0 1 0 903265184 11317248 2022 4294967295 134512640 134716908 3221224576 3221220540 1074788162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2763 2022 1111 63 0 2700 0
vsize: 11052
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 100087 0 0 0 33728 273 0 0 25 0 1 0 903265184 11399168 2045 4294967295 134512640 134716908 3221224576 3221220484 1074786484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2783 2045 1111 63 0 2720 0
vsize: 11132
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 101997 0 0 0 34723 278 0 0 25 0 1 0 903265184 11448320 2055 4294967295 134512640 134716908 3221224576 3221220736 1075093377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2795 2055 1111 63 0 2732 0
vsize: 11180
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 103983 0 0 0 35718 283 0 0 25 0 1 0 903265184 10891264 1950 4294967295 134512640 134716908 3221224576 3221222928 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2659 1950 1111 63 0 2596 0
vsize: 10636
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 105852 0 0 0 36713 288 0 0 25 0 1 0 903265184 11567104 2083 4294967295 134512640 134716908 3221224576 3221220544 1075965248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2824 2083 1111 63 0 2761 0
vsize: 11296
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 107875 0 0 0 37708 294 0 0 25 0 1 0 903265184 11796480 2070 4294967295 134512640 134716908 3221224576 3221220648 1074950201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2880 2070 1111 63 0 2817 0
vsize: 11520
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 109968 0 0 0 38703 299 0 0 25 0 1 0 903265184 11771904 2153 4294967295 134512640 134716908 3221224576 3221220780 1075564401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2874 2154 1111 63 0 2811 0
vsize: 11496
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 112201 0 0 0 39697 305 0 0 25 0 1 0 903265184 11042816 1996 4294967295 134512640 134716908 3221224576 3221223088 134646691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2696 1996 1111 63 0 2633 0
vsize: 10784
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 114165 0 0 0 40691 310 0 0 25 0 1 0 903265184 11079680 2007 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2705 2007 1111 63 0 2642 0
vsize: 10820
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 116274 0 0 0 41686 316 0 0 25 0 1 0 903265184 11640832 2123 4294967295 134512640 134716908 3221224576 3221220816 1075115762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2842 2123 1111 63 0 2779 0
vsize: 11368
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 118391 0 0 0 42681 322 0 0 25 0 1 0 903265184 11137024 2008 4294967295 134512640 134716908 3221224576 3221223056 1074031958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2719 2008 1111 63 0 2656 0
vsize: 10876
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 120385 0 0 0 43675 327 0 0 25 0 1 0 903265184 11177984 2021 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2729 2021 1111 63 0 2666 0
vsize: 10916
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 122496 0 0 0 44670 333 0 0 25 0 1 0 903265184 11759616 2153 4294967295 134512640 134716908 3221224576 3221220484 1074786588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2871 2153 1111 63 0 2808 0
vsize: 11484
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 124703 0 0 0 45664 339 0 0 25 0 1 0 903265184 11988992 2165 4294967295 134512640 134716908 3221224576 3221221408 1075115388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2927 2165 1111 63 0 2864 0
vsize: 11708
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 126933 0 0 0 46659 344 0 0 25 0 1 0 903265184 12021760 2165 4294967295 134512640 134716908 3221224576 3221220780 1075564159 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2935 2165 1111 63 0 2872 0
vsize: 11740
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 129074 0 0 0 47653 351 0 0 25 0 1 0 903265184 10981376 1981 4294967295 134512640 134716908 3221224576 3221222960 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2681 1981 1111 63 0 2618 0
vsize: 10724
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 131217 0 0 0 48646 357 0 0 25 0 1 0 903265184 12083200 2190 4294967295 134512640 134716908 3221224576 3221220544 1074873130 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2950 2190 1111 63 0 2887 0
vsize: 11800
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 133834 0 0 0 49641 363 0 0 25 0 1 0 903265184 12226560 2196 4294967295 134512640 134716908 3221224576 3221221696 1074834233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2985 2196 1111 63 0 2922 0
vsize: 11940
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 136022 0 0 0 50635 368 0 0 25 0 1 0 903265184 11526144 2071 4294967295 134512640 134716908 3221224576 3221222728 1074950077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2814 2071 1111 63 0 2751 0
vsize: 11256
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 138465 0 0 0 51630 374 0 0 25 0 1 0 903265184 12005376 2212 4294967295 134512640 134716908 3221224576 3221220544 1075965258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2931 2212 1111 63 0 2868 0
vsize: 11724
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 140814 0 0 0 52625 379 0 0 25 0 1 0 903265184 11698176 2130 4294967295 134512640 134716908 3221224576 3221222880 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2856 2130 1111 63 0 2793 0
vsize: 11424
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 143045 0 0 0 53618 386 0 0 25 0 1 0 903265184 11169792 2050 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2727 2050 1111 63 0 2664 0
vsize: 10908
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 145218 0 0 0 54612 391 0 0 25 0 1 0 903265184 12218368 2269 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2983 2269 1111 63 0 2920 0
vsize: 11932
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 147571 0 0 0 55606 398 0 0 25 0 1 0 903265184 12193792 2260 4294967295 134512640 134716908 3221224576 3221220508 1074788069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2977 2260 1111 63 0 2914 0
vsize: 11908
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 149851 0 0 0 56600 403 0 0 25 0 1 0 903265184 12218368 2269 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2983 2269 1111 63 0 2920 0
vsize: 11932
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 152064 0 0 0 57595 409 0 0 25 0 1 0 903265184 12300288 2290 4294967295 134512640 134716908 3221224576 3221221328 1075899027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2870 2199 1111 63 0 2807 0
vsize: 12012
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 154522 0 0 0 58589 415 0 0 25 0 1 0 903265184 12414976 2317 4294967295 134512640 134716908 3221224576 3221220512 1075965301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3031 2317 1111 63 0 2968 0
vsize: 12124
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 156813 0 0 0 59583 421 0 0 25 0 1 0 903265184 12894208 2413 4294967295 134512640 134716908 3221224576 3221220804 1075114969 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3148 2413 1111 63 0 3085 0
vsize: 12592
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 158953 0 0 0 60578 426 0 0 25 0 1 0 903265184 12533760 2346 4294967295 134512640 134716908 3221224576 3221220848 1074960865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3060 2346 1111 63 0 2997 0
vsize: 12240
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 161436 0 0 0 61573 432 0 0 25 0 1 0 903265184 12550144 2350 4294967295 134512640 134716908 3221224576 3221220512 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3064 2350 1111 63 0 3001 0
vsize: 12256
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 163464 0 0 0 62567 438 0 0 25 0 1 0 903265184 12804096 2361 4294967295 134512640 134716908 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3126 2361 1111 63 0 3063 0
vsize: 12504
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 165608 0 0 0 63562 443 0 0 25 0 1 0 903265184 12820480 2368 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3130 2368 1111 63 0 3067 0
vsize: 12520
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 167362 0 0 0 64558 447 0 0 25 0 1 0 903265184 12161024 2225 4294967295 134512640 134716908 3221224576 3221223016 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2969 2225 1111 63 0 2906 0
vsize: 11876
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 168843 0 0 0 65554 452 0 0 25 0 1 0 903265184 12177408 2226 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2973 2226 1111 63 0 2910 0
vsize: 11892
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 171370 0 0 0 66547 459 0 0 25 0 1 0 903265184 12902400 2380 4294967295 134512640 134716908 3221224576 3221220544 1075965260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3150 2380 1111 63 0 3087 0
vsize: 12600
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 173415 0 0 0 67541 465 0 0 25 0 1 0 903265184 12935168 2379 4294967295 134512640 134716908 3221224576 3221220648 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3158 2379 1111 63 0 3095 0
vsize: 12632
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 175840 0 0 0 68536 471 0 0 25 0 1 0 903265184 12939264 2389 4294967295 134512640 134716908 3221224576 3221220720 1074969082 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3159 2389 1111 63 0 3096 0
vsize: 12636
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 177820 0 0 0 69531 475 0 0 25 0 1 0 903265184 12681216 2379 4294967295 134512640 134716908 3221224576 3221220736 1075094890 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3096 2379 1111 63 0 3033 0
vsize: 12384
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 179831 0 0 0 70526 480 0 0 25 0 1 0 903265184 12730368 2394 4294967295 134512640 134716908 3221224576 3221220736 1075095094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3108 2394 1111 63 0 3045 0
vsize: 12432
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 181993 0 0 0 71520 487 0 0 25 0 1 0 903265184 12292096 2255 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3001 2255 1111 63 0 2938 0
vsize: 12004
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 183674 0 0 0 72514 493 0 0 25 0 1 0 903265184 12107776 2253 4294967295 134512640 134716908 3221224576 3221222576 1074916737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2956 2253 1111 63 0 2893 0
vsize: 11824
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 185711 0 0 0 73509 499 0 0 25 0 1 0 903265184 12341248 2266 4294967295 134512640 134716908 3221224576 3221222728 1074950108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3013 2266 1111 63 0 2950 0
vsize: 12052
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 187942 0 0 0 74504 504 0 0 25 0 1 0 903265184 12816384 2410 4294967295 134512640 134716908 3221224576 3221220848 1074960909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3129 2410 1111 63 0 3066 0
vsize: 12516
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 190195 0 0 0 75498 510 0 0 25 0 1 0 903265184 12816384 2411 4294967295 134512640 134716908 3221224576 3221220848 1074960876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3129 2411 1111 63 0 3066 0
vsize: 12516
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 192505 0 0 0 76492 516 0 0 25 0 1 0 903265184 12816384 2414 4294967295 134512640 134716908 3221224576 3221220460 1074788924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3129 2414 1111 63 0 3066 0
vsize: 12516
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 194929 0 0 0 77486 522 0 0 25 0 1 0 903265184 13123584 2424 4294967295 134512640 134716908 3221224576 3221220736 1074794571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3204 2424 1111 63 0 3141 0
vsize: 12816
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 197183 0 0 0 78480 529 0 0 25 0 1 0 903265184 12976128 2451 4294967295 134512640 134716908 3221224576 3221220912 1075114305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3168 2451 1111 63 0 3105 0
vsize: 12672
[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 199008 0 0 0 79475 533 0 0 25 0 1 0 903265184 11759616 2200 4294967295 134512640 134716908 3221224576 3221222912 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2871 2200 1111 63 0 2808 0
vsize: 11484
[startup+810.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 201237 0 0 0 80470 538 0 0 25 0 1 0 903265184 13242368 2464 4294967295 134512640 134716908 3221224576 3221220512 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3233 2465 1111 63 0 3170 0
vsize: 12932
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 202800 0 0 0 81466 543 0 0 25 0 1 0 903265184 13017088 2461 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3178 2461 1111 63 0 3115 0
vsize: 12712
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 204670 0 0 0 82460 549 0 0 25 0 1 0 903265184 12550144 2319 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3064 2319 1111 63 0 3001 0
vsize: 12256
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 206462 0 0 0 83456 554 0 0 25 0 1 0 903265184 13193216 2472 4294967295 134512640 134716908 3221224576 3221221104 1075397162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3221 2472 1111 63 0 3158 0
vsize: 12884
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 208807 0 0 0 84451 559 0 0 25 0 1 0 903265184 13299712 2468 4294967295 134512640 134716908 3221224576 3221221120 1075088566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3247 2468 1111 63 0 3184 0
vsize: 12988
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 211230 0 0 0 85445 565 0 0 25 0 1 0 903265184 12652544 2343 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3089 2343 1111 63 0 3026 0
vsize: 12356
[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 213625 0 0 0 86438 571 0 0 25 0 1 0 903265184 13426688 2510 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 2510 1111 63 0 3215 0
vsize: 13112
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 215314 0 0 0 87434 576 0 0 25 0 1 0 903265184 13197312 2508 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3222 2508 1111 63 0 3159 0
vsize: 12888
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 217527 0 0 0 88429 581 0 0 25 0 1 0 903265184 13205504 2509 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3224 2509 1111 63 0 3161 0
vsize: 12896
[startup+900.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 219362 0 0 0 89424 587 0 0 25 0 1 0 903265184 13369344 2520 4294967295 134512640 134716908 3221224576 3221221232 1075967941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3264 2520 1111 63 0 3201 0
vsize: 13056
[startup+910.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 221410 0 0 0 90418 592 0 0 25 0 1 0 903265184 12775424 2372 4294967295 134512640 134716908 3221224576 3221222832 1073990361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3119 2372 1111 63 0 3056 0
vsize: 12476
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 223877 0 0 0 91413 597 0 0 25 0 1 0 903265184 13529088 2535 4294967295 134512640 134716908 3221224576 3221221616 1075971413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 2535 1111 63 0 3240 0
vsize: 13212
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 226170 0 0 0 92408 603 0 0 25 0 1 0 903265184 13660160 2536 4294967295 134512640 134716908 3221224576 3221220472 1074789570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 2536 1111 63 0 3272 0
vsize: 13340
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 227939 0 0 0 93403 608 0 0 25 0 1 0 903265184 13443072 2537 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3282 2537 1111 63 0 3219 0
vsize: 13128
[startup+950.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 230235 0 0 0 94397 614 0 0 25 0 1 0 903265184 13398016 2556 4294967295 134512640 134716908 3221224576 3221220432 1074870880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3271 2556 1111 63 0 3208 0
vsize: 13084
[startup+960.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 232236 0 0 0 95392 619 0 0 25 0 1 0 903265184 13479936 2565 4294967295 134512640 134716908 3221224576 3221220736 1074794682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3291 2565 1111 63 0 3228 0
vsize: 13164
[startup+970.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 234182 0 0 0 96387 624 0 0 25 0 1 0 903265184 12967936 2425 4294967295 134512640 134716908 3221224576 3221222928 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3166 2425 1111 63 0 3103 0
vsize: 12664
[startup+980.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 235952 0 0 0 97382 630 0 0 25 0 1 0 903265184 12996608 2433 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3173 2433 1111 63 0 3110 0
vsize: 12692
[startup+990.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 237844 0 0 0 98377 635 0 0 25 0 1 0 903265184 12992512 2426 4294967295 134512640 134716908 3221224576 3221223088 134646569 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3172 2426 1111 63 0 3109 0
vsize: 12688
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 239836 0 0 0 99372 640 0 0 25 0 1 0 903265184 13529088 2584 4294967295 134512640 134716908 3221224576 3221221520 1074620107 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 2584 1111 63 0 3240 0
vsize: 13212
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 242133 0 0 0 100367 646 0 0 25 0 1 0 903265184 12492800 2353 4294967295 134512640 134716908 3221224576 3221222912 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3050 2353 1111 63 0 2987 0
vsize: 12200
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 244507 0 0 0 101362 650 0 0 25 0 1 0 903265184 13062144 2437 4294967295 134512640 134716908 3221224576 3221223072 134646826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3189 2437 1111 63 0 3126 0
vsize: 12756
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 246299 0 0 0 102358 654 0 0 25 0 1 0 903265184 13783040 2552 4294967295 134512640 134716908 3221224576 3221220816 1075115712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3365 2552 1111 63 0 3302 0
vsize: 13460
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 248390 0 0 0 103354 659 0 0 25 0 1 0 903265184 13860864 2615 4294967295 134512640 134716908 3221224576 3221220736 1074794655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3384 2615 1111 63 0 3321 0
vsize: 13536
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 250476 0 0 0 104350 663 0 0 25 0 1 0 903265184 13598720 2601 4294967295 134512640 134716908 3221224576 3221221520 1074620096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3320 2601 1111 63 0 3257 0
vsize: 13280
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 252091 0 0 0 105345 668 0 0 25 0 1 0 903265184 13901824 2615 4294967295 134512640 134716908 3221224576 3221220804 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3394 2615 1111 63 0 3331 0
vsize: 13576
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 254388 0 0 0 106339 674 0 0 25 0 1 0 903265184 13144064 2464 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3209 2464 1111 63 0 3146 0
vsize: 12836
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 256093 0 0 0 107336 678 0 0 25 0 1 0 903265184 13185024 2474 4294967295 134512640 134716908 3221224576 3221223032 1073988574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3219 2474 1111 63 0 3156 0
vsize: 12876
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 257847 0 0 0 108331 682 0 0 25 0 1 0 903265184 13201408 2476 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3223 2476 1111 63 0 3160 0
vsize: 12892
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 259351 0 0 0 109327 687 0 0 25 0 1 0 903265184 13742080 2642 4294967295 134512640 134716908 3221224576 3221220484 1074786562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3355 2642 1111 63 0 3292 0
vsize: 13420
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 261471 0 0 0 110322 692 0 0 25 0 1 0 903265184 14008320 2651 4294967295 134512640 134716908 3221224576 3221220804 1075115090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3420 2651 1111 63 0 3357 0
vsize: 13680
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 263762 0 0 0 111316 698 0 0 25 0 1 0 903265184 12554240 2394 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3065 2394 1111 63 0 3002 0
vsize: 12260
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 265975 0 0 0 112312 703 0 0 25 0 1 0 903265184 13266944 2494 4294967295 134512640 134716908 3221224576 3221223072 134646711 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3239 2494 1111 63 0 3176 0
vsize: 12956
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 268097 0 0 0 113307 707 0 0 25 0 1 0 903265184 13283328 2497 4294967295 134512640 134716908 3221224576 3221223056 1074031958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3243 2497 1111 63 0 3180 0
vsize: 12972
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 270394 0 0 0 114301 713 0 0 25 0 1 0 903265184 13836288 2651 4294967295 134512640 134716908 3221224576 3221220804 1075115062 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3378 2651 1111 63 0 3315 0
vsize: 13512
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 272405 0 0 0 115296 719 0 0 25 0 1 0 903265184 13832192 2661 4294967295 134512640 134716908 3221224576 3221220460 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3377 2661 1111 63 0 3314 0
vsize: 13508
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 274406 0 0 0 116292 723 0 0 25 0 1 0 903265184 13856768 2669 4294967295 134512640 134716908 3221224576 3221220452 1074786531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3383 2669 1111 63 0 3320 0
vsize: 13532
[startup+1178.25 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 27551
Raw data (stat): 27549 (bsolo_lpr_cuts-) R 27548 20224 20223 0 -1 0 274406 0 0 0 116292 723 0 0 25 0 1 0 903265184 13856768 2669 4294967295 134512640 134716908 3221224576 3221220452 1074786531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3383 2669 1111 63 0 3320 0
vsize: 0

Child status: 10
Real time (s): 1178.25
CPU time (s): 1178.38
CPU user time (s): 1171.1
CPU system time (s): 7.27789
CPU usage (%): 100.011
Max. virtual memory (Kb): 13680
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	261
#### END VERIFIER DATA ####