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 23427

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 12:25:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=514 boxname=wulflinc31 idbench=58 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  6604a6c0d979e1f2b09762e6e4f70f84  /oldhome/oroussel/tmp/wulflinc31/normalized-max1024.pi.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-max1024.pi.opb
IDLAUNCH: 514
/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:        921024 kB
Buffers:         39908 kB
Cached:          51560 kB
SwapCached:        944 kB
Active:          76536 kB
Inactive:        17472 kB
HighTotal:      131008 kB
HighFree:        78316 kB
LowTotal:       903652 kB
LowFree:        842708 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             396 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14000 kB
Committed_AS:    63692 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 12:45:01 (client local time) WITH STATUS 10 IN 1175.64 SECONDS
stats: 514 0 1175.64 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.711 s
c Initial Lower Bound: 257
c Lower Bound Elapsed time: 1.67975
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1234 @ 7.792
c NEW SOLUTION FOUND: 1233 @ 7.814
c NEW SOLUTION FOUND: 1232 @ 7.83
c NEW SOLUTION FOUND: 1231 @ 7.846
c NEW SOLUTION FOUND: 1230 @ 7.862
c NEW SOLUTION FOUND: 1229 @ 7.878
c NEW SOLUTION FOUND: 1228 @ 7.894
c NEW SOLUTION FOUND: 1227 @ 7.91
c NEW SOLUTION FOUND: 1226 @ 7.927
c NEW SOLUTION FOUND: 1225 @ 7.943
c NEW SOLUTION FOUND: 1224 @ 7.959
c NEW SOLUTION FOUND: 1223 @ 7.975
c NEW SOLUTION FOUND: 1222 @ 7.991
c NEW SOLUTION FOUND: 1221 @ 8.007
c NEW SOLUTION FOUND: 1220 @ 8.023
c NEW SOLUTION FOUND: 1219 @ 8.039
c NEW SOLUTION FOUND: 1218 @ 8.055
c NEW SOLUTION FOUND: 1217 @ 8.072
c NEW SOLUTION FOUND: 1216 @ 8.088
c NEW SOLUTION FOUND: 1215 @ 8.104
c NEW SOLUTION FOUND: 1214 @ 8.12
c NEW SOLUTION FOUND: 1213 @ 8.136
c NEW SOLUTION FOUND: 1212 @ 8.152
c NEW SOLUTION FOUND: 1211 @ 8.168
c NEW SOLUTION FOUND: 1210 @ 8.184
c NEW SOLUTION FOUND: 1209 @ 8.2
c NEW SOLUTION FOUND: 1208 @ 8.216
c NEW SOLUTION FOUND: 1207 @ 8.233
c NEW SOLUTION FOUND: 1206 @ 8.249
c NEW SOLUTION FOUND: 1205 @ 8.265
c NEW SOLUTION FOUND: 1204 @ 8.281
c NEW SOLUTION FOUND: 1203 @ 8.297
c NEW SOLUTION FOUND: 1202 @ 8.315
c NEW SOLUTION FOUND: 1201 @ 8.331
c NEW SOLUTION FOUND: 1200 @ 8.347
c NEW SOLUTION FOUND: 1199 @ 8.363
c NEW SOLUTION FOUND: 1198 @ 8.379
c NEW SOLUTION FOUND: 1197 @ 8.395
c NEW SOLUTION FOUND: 1196 @ 8.411
c NEW SOLUTION FOUND: 1195 @ 8.427
c NEW SOLUTION FOUND: 1194 @ 8.443
c NEW SOLUTION FOUND: 1193 @ 8.459
c NEW SOLUTION FOUND: 1192 @ 8.475
c NEW SOLUTION FOUND: 1191 @ 8.491
c NEW SOLUTION FOUND: 1190 @ 8.507
c NEW SOLUTION FOUND: 1189 @ 8.523
c NEW SOLUTION FOUND: 1188 @ 8.539
c NEW SOLUTION FOUND: 1187 @ 8.555
c NEW SOLUTION FOUND: 1186 @ 8.571
c NEW SOLUTION FOUND: 1185 @ 8.587
c NEW SOLUTION FOUND: 1184 @ 8.603
c NEW SOLUTION FOUND: 1183 @ 8.619
c NEW SOLUTION FOUND: 1182 @ 8.635
c NEW SOLUTION FOUND: 1181 @ 8.651
c NEW SOLUTION FOUND: 1180 @ 8.667
c NEW SOLUTION FOUND: 1179 @ 8.683
c NEW SOLUTION FOUND: 1178 @ 8.699
c NEW SOLUTION FOUND: 1177 @ 8.715
c NEW SOLUTION FOUND: 1176 @ 8.73
c NEW SOLUTION FOUND: 1175 @ 8.747
c NEW SOLUTION FOUND: 1174 @ 8.762
c NEW SOLUTION FOUND: 1173 @ 8.779
c NEW SOLUTION FOUND: 1172 @ 8.795
c NEW SOLUTION FOUND: 1171 @ 8.811
c NEW SOLUTION FOUND: 1170 @ 8.843
c NEW SOLUTION FOUND: 1169 @ 8.859
c NEW SOLUTION FOUND: 1168 @ 8.875
c NEW SOLUTION FOUND: 1167 @ 8.891
c NEW SOLUTION FOUND: 1166 @ 8.907
c NEW SOLUTION FOUND: 1165 @ 8.923
c NEW SOLUTION FOUND: 1164 @ 8.94
c NEW SOLUTION FOUND: 1163 @ 8.956
c NEW SOLUTION FOUND: 1162 @ 8.972
c NEW SOLUTION FOUND: 1161 @ 8.988
c NEW SOLUTION FOUND: 1160 @ 9.005
c NEW SOLUTION FOUND: 1159 @ 9.021
c NEW SOLUTION FOUND: 1158 @ 9.037
c NEW SOLUTION FOUND: 1157 @ 9.053
c NEW SOLUTION FOUND: 1156 @ 9.069
c NEW SOLUTION FOUND: 1155 @ 9.086
c NEW SOLUTION FOUND: 1154 @ 9.102
c NEW SOLUTION FOUND: 1153 @ 9.118
c NEW SOLUTION FOUND: 1152 @ 9.134
c NEW SOLUTION FOUND: 1151 @ 9.15
c NEW SOLUTION FOUND: 1150 @ 9.167
c NEW SOLUTION FOUND: 1149 @ 9.183
c NEW SOLUTION FOUND: 1148 @ 9.199
c NEW SOLUTION FOUND: 1147 @ 9.215
c NEW SOLUTION FOUND: 1146 @ 9.231
c NEW SOLUTION FOUND: 1145 @ 9.248
c NEW SOLUTION FOUND: 1144 @ 9.264
c NEW SOLUTION FOUND: 1143 @ 9.28
c NEW SOLUTION FOUND: 1142 @ 9.296
c NEW SOLUTION FOUND: 1141 @ 9.312
c NEW SOLUTION FOUND: 1140 @ 9.328
c NEW SOLUTION FOUND: 1139 @ 9.345
c NEW SOLUTION FOUND: 1138 @ 9.361
c NEW SOLUTION FOUND: 1137 @ 9.377
c NEW SOLUTION FOUND: 1136 @ 9.393
c NEW SOLUTION FOUND: 1135 @ 9.409
c NEW SOLUTION FOUND: 1134 @ 9.425
c NEW SOLUTION FOUND: 1133 @ 9.441
c NEW SOLUTION FOUND: 1132 @ 9.458
c NEW SOLUTION FOUND: 1131 @ 9.474
c NEW SOLUTION FOUND: 1130 @ 9.49
c NEW SOLUTION FOUND: 1129 @ 9.506
c NEW SOLUTION FOUND: 1128 @ 9.522
c NEW SOLUTION FOUND: 1127 @ 9.538
c NEW SOLUTION FOUND: 1126 @ 9.555
c NEW SOLUTION FOUND: 1125 @ 9.571
c NEW SOLUTION FOUND: 1124 @ 9.605
c NEW SOLUTION FOUND: 1123 @ 9.622
c NEW SOLUTION FOUND: 1122 @ 9.64
c NEW SOLUTION FOUND: 1121 @ 9.657
c NEW SOLUTION FOUND: 1120 @ 9.675
c NEW SOLUTION FOUND: 1119 @ 9.693
c NEW SOLUTION FOUND: 1118 @ 9.71
c NEW SOLUTION FOUND: 1117 @ 9.728
c NEW SOLUTION FOUND: 1116 @ 9.745
c NEW SOLUTION FOUND: 1115 @ 9.763
c NEW SOLUTION FOUND: 1114 @ 9.78
c NEW SOLUTION FOUND: 1113 @ 9.798
c NEW SOLUTION FOUND: 1112 @ 9.815
c NEW SOLUTION FOUND: 1111 @ 9.833
c NEW SOLUTION FOUND: 1110 @ 9.85
c NEW SOLUTION FOUND: 1109 @ 9.868
c NEW SOLUTION FOUND: 1108 @ 9.885
c NEW SOLUTION FOUND: 1107 @ 9.903
c NEW SOLUTION FOUND: 1106 @ 9.92
c NEW SOLUTION FOUND: 1105 @ 9.938
c NEW SOLUTION FOUND: 1104 @ 9.955
c NEW SOLUTION FOUND: 1103 @ 9.973
c NEW SOLUTION FOUND: 1102 @ 10.025
c NEW SOLUTION FOUND: 1101 @ 10.042
c NEW SOLUTION FOUND: 1100 @ 10.06
c NEW SOLUTION FOUND: 1099 @ 10.095
c NEW SOLUTION FOUND: 1098 @ 10.113
c NEW SOLUTION FOUND: 1097 @ 10.131
c NEW SOLUTION FOUND: 1096 @ 10.148
c NEW SOLUTION FOUND: 1095 @ 10.184
c NEW SOLUTION FOUND: 1094 @ 10.202
c NEW SOLUTION FOUND: 1093 @ 10.22
c NEW SOLUTION FOUND: 1092 @ 10.238
c NEW SOLUTION FOUND: 1091 @ 10.256
c NEW SOLUTION FOUND: 1090 @ 10.275
c NEW SOLUTION FOUND: 1089 @ 10.293
c NEW SOLUTION FOUND: 1088 @ 10.311
c NEW SOLUTION FOUND: 1087 @ 10.329
c NEW SOLUTION FOUND: 1086 @ 10.347
c NEW SOLUTION FOUND: 1085 @ 10.365
c NEW SOLUTION FOUND: 1084 @ 10.383
c NEW SOLUTION FOUND: 1083 @ 10.401
c NEW SOLUTION FOUND: 1082 @ 10.419
c NEW SOLUTION FOUND: 1081 @ 10.437
c NEW SOLUTION FOUND: 1080 @ 10.455
c NEW SOLUTION FOUND: 1079 @ 10.473
c NEW SOLUTION FOUND: 1078 @ 10.491
c NEW SOLUTION FOUND: 1077 @ 10.509
c NEW SOLUTION FOUND: 1076 @ 10.546
c NEW SOLUTION FOUND: 1075 @ 10.563
c NEW SOLUTION FOUND: 1074 @ 10.581
c NEW SOLUTION FOUND: 1073 @ 10.6
c NEW SOLUTION FOUND: 1072 @ 10.618
c NEW SOLUTION FOUND: 1071 @ 10.636
c NEW SOLUTION FOUND: 1070 @ 10.654
c NEW SOLUTION FOUND: 1069 @ 10.672
c NEW SOLUTION FOUND: 1068 @ 10.691
c NEW SOLUTION FOUND: 1067 @ 10.709
c NEW SOLUTION FOUND: 1066 @ 10.727
c NEW SOLUTION FOUND: 1065 @ 10.745
c NEW SOLUTION FOUND: 1064 @ 10.781
c NEW SOLUTION FOUND: 1063 @ 10.8
c NEW SOLUTION FOUND: 1062 @ 10.818
c NEW SOLUTION FOUND: 1061 @ 10.836
c NEW SOLUTION FOUND: 1060 @ 10.855
c NEW SOLUTION FOUND: 1059 @ 10.873
c NEW SOLUTION FOUND: 1058 @ 10.892
c NEW SOLUTION FOUND: 1057 @ 10.91
c NEW SOLUTION FOUND: 1056 @ 10.928
c NEW SOLUTION FOUND: 1055 @ 10.947
c NEW SOLUTION FOUND: 1054 @ 10.966
c NEW SOLUTION FOUND: 1053 @ 10.984
c NEW SOLUTION FOUND: 1052 @ 11.002
c NEW SOLUTION FOUND: 1051 @ 11.021
c NEW SOLUTION FOUND: 1050 @ 11.039
c NEW SOLUTION FOUND: 1049 @ 11.058
c NEW SOLUTION FOUND: 1048 @ 11.076
c NEW SOLUTION FOUND: 1047 @ 11.094
c NEW SOLUTION FOUND: 1046 @ 11.131
c NEW SOLUTION FOUND: 1045 @ 11.149
c NEW SOLUTION FOUND: 1044 @ 11.167
c NEW SOLUTION FOUND: 1043 @ 11.186
c NEW SOLUTION FOUND: 1042 @ 11.204
c NEW SOLUTION FOUND: 1041 @ 11.222
c NEW SOLUTION FOUND: 1040 @ 11.258
c NEW SOLUTION FOUND: 1039 @ 11.277
c NEW SOLUTION FOUND: 1038 @ 11.296
c NEW SOLUTION FOUND: 1037 @ 11.315
c NEW SOLUTION FOUND: 1036 @ 11.333
c NEW SOLUTION FOUND: 1035 @ 11.352
c NEW SOLUTION FOUND: 1034 @ 11.371
c NEW SOLUTION FOUND: 1033 @ 11.39
c NEW SOLUTION FOUND: 1032 @ 11.408
c NEW SOLUTION FOUND: 1031 @ 11.427
c NEW SOLUTION FOUND: 1030 @ 11.446
c NEW SOLUTION FOUND: 1029 @ 11.465
c NEW SOLUTION FOUND: 1028 @ 11.484
c NEW SOLUTION FOUND: 1027 @ 11.503
c NEW SOLUTION FOUND: 1026 @ 11.522
c NEW SOLUTION FOUND: 1025 @ 11.541
c NEW SOLUTION FOUND: 1024 @ 11.56
c NEW SOLUTION FOUND: 1023 @ 11.579
c NEW SOLUTION FOUND: 1022 @ 11.598
c NEW SOLUTION FOUND: 1021 @ 11.617
c NEW SOLUTION FOUND: 1020 @ 11.636
c NEW SOLUTION FOUND: 1019 @ 11.656
c NEW SOLUTION FOUND: 1018 @ 11.675
c NEW SOLUTION FOUND: 1017 @ 11.694
c NEW SOLUTION FOUND: 1016 @ 11.713
c NEW SOLUTION FOUND: 1015 @ 11.732
c NEW SOLUTION FOUND: 1014 @ 11.751
c NEW SOLUTION FOUND: 1013 @ 11.77
c NEW SOLUTION FOUND: 1012 @ 11.79
c NEW SOLUTION FOUND: 1011 @ 11.809
c NEW SOLUTION FOUND: 1010 @ 11.828
c NEW SOLUTION FOUND: 1009 @ 11.847
c NEW SOLUTION FOUND: 1008 @ 11.866
c NEW SOLUTION FOUND: 1007 @ 11.885
c NEW SOLUTION FOUND: 1006 @ 11.923
c NEW SOLUTION FOUND: 1005 @ 11.942
c NEW SOLUTION FOUND: 1004 @ 11.961
c NEW SOLUTION FOUND: 1003 @ 12.001
c NEW SOLUTION FOUND: 1002 @ 12.02
c NEW SOLUTION FOUND: 1001 @ 12.04
c NEW SOLUTION FOUND: 1000 @ 12.06
c NEW SOLUTION FOUND: 999 @ 12.08
c NEW SOLUTION FOUND: 998 @ 12.1
c NEW SOLUTION FOUND: 997 @ 12.12
c NEW SOLUTION FOUND: 996 @ 12.14
c NEW SOLUTION FOUND: 995 @ 12.16
c NEW SOLUTION FOUND: 994 @ 12.179
c NEW SOLUTION FOUND: 993 @ 12.199
c NEW SOLUTION FOUND: 992 @ 12.22
c NEW SOLUTION FOUND: 991 @ 12.24
c NEW SOLUTION FOUND: 990 @ 12.26
c NEW SOLUTION FOUND: 989 @ 12.28
c NEW SOLUTION FOUND: 988 @ 12.299
c NEW SOLUTION FOUND: 987 @ 12.319
c NEW SOLUTION FOUND: 986 @ 12.339
c NEW SOLUTION FOUND: 985 @ 12.359
c NEW SOLUTION FOUND: 984 @ 12.379
c NEW SOLUTION FOUND: 983 @ 12.399
c NEW SOLUTION FOUND: 982 @ 12.439
c NEW SOLUTION FOUND: 981 @ 12.459
c NEW SOLUTION FOUND: 980 @ 12.479
c NEW SOLUTION FOUND: 979 @ 12.499
c NEW SOLUTION FOUND: 978 @ 12.519
c NEW SOLUTION FOUND: 977 @ 12.539
c NEW SOLUTION FOUND: 976 @ 12.559
c NEW SOLUTION FOUND: 975 @ 12.58
c NEW SOLUTION FOUND: 974 @ 12.6
c NEW SOLUTION FOUND: 973 @ 12.62
c NEW SOLUTION FOUND: 972 @ 12.64
c NEW SOLUTION FOUND: 971 @ 12.66
c NEW SOLUTION FOUND: 970 @ 12.68
c NEW SOLUTION FOUND: 969 @ 12.7
c NEW SOLUTION FOUND: 968 @ 12.72
c NEW SOLUTION FOUND: 967 @ 12.74
c NEW SOLUTION FOUND: 966 @ 12.76
c NEW SOLUTION FOUND: 965 @ 12.781
c NEW SOLUTION FOUND: 964 @ 12.8
c NEW SOLUTION FOUND: 963 @ 12.82
c NEW SOLUTION FOUND: 962 @ 12.84
c NEW SOLUTION FOUND: 961 @ 12.861
c NEW SOLUTION FOUND: 960 @ 12.881
c NEW SOLUTION FOUND: 959 @ 12.901
c NEW SOLUTION FOUND: 958 @ 12.921
c NEW SOLUTION FOUND: 957 @ 12.941
c NEW SOLUTION FOUND: 956 @ 12.961
c NEW SOLUTION FOUND: 955 @ 12.981
c NEW SOLUTION FOUND: 954 @ 13.001
c NEW SOLUTION FOUND: 953 @ 13.021
c NEW SOLUTION FOUND: 952 @ 13.041
c NEW SOLUTION FOUND: 951 @ 13.061
c NEW SOLUTION FOUND: 950 @ 13.081
c NEW SOLUTION FOUND: 949 @ 13.101
c NEW SOLUTION FOUND: 948 @ 13.121
c NEW SOLUTION FOUND: 947 @ 13.141
c NEW SOLUTION FOUND: 946 @ 13.161
c NEW SOLUTION FOUND: 945 @ 13.181
c NEW SOLUTION FOUND: 944 @ 13.201
c NEW SOLUTION FOUND: 943 @ 13.24
c NEW SOLUTION FOUND: 942 @ 13.261
c NEW SOLUTION FOUND: 941 @ 13.281
c NEW SOLUTION FOUND: 940 @ 13.301
c NEW SOLUTION FOUND: 939 @ 13.321
c NEW SOLUTION FOUND: 938 @ 13.342
c NEW SOLUTION FOUND: 937 @ 13.362
c NEW SOLUTION FOUND: 936 @ 13.4
c NEW SOLUTION FOUND: 935 @ 13.421
c NEW SOLUTION FOUND: 934 @ 13.441
c NEW SOLUTION FOUND: 933 @ 13.462
c NEW SOLUTION FOUND: 932 @ 13.482
c NEW SOLUTION FOUND: 931 @ 13.524
c NEW SOLUTION FOUND: 930 @ 13.544
c NEW SOLUTION FOUND: 929 @ 13.565
c NEW SOLUTION FOUND: 928 @ 13.586
c NEW SOLUTION FOUND: 927 @ 13.607
c NEW SOLUTION FOUND: 926 @ 13.628
c NEW SOLUTION FOUND: 925 @ 13.649
c NEW SOLUTION FOUND: 924 @ 13.67
c NEW SOLUTION FOUND: 923 @ 13.69
c NEW SOLUTION FOUND: 922 @ 13.711
c NEW SOLUTION FOUND: 921 @ 13.732
c NEW SOLUTION FOUND: 920 @ 13.753
c NEW SOLUTION FOUND: 919 @ 13.774
c NEW SOLUTION FOUND: 918 @ 13.795
c NEW SOLUTION FOUND: 917 @ 13.815
c NEW SOLUTION FOUND: 916 @ 13.836
c NEW SOLUTION FOUND: 915 @ 13.857
c NEW SOLUTION FOUND: 914 @ 13.878
c NEW SOLUTION FOUND: 913 @ 13.899
c NEW SOLUTION FOUND: 912 @ 13.92
c NEW SOLUTION FOUND: 911 @ 13.941
c NEW SOLUTION FOUND: 910 @ 13.983
c NEW SOLUTION FOUND: 909 @ 14.003
c NEW SOLUTION FOUND: 908 @ 14.025
c NEW SOLUTION FOUND: 907 @ 14.046
c NEW SOLUTION FOUND: 906 @ 14.067
c NEW SOLUTION FOUND: 905 @ 14.088
c NEW SOLUTION FOUND: 904 @ 14.13
c NEW SOLUTION FOUND: 903 @ 14.151
c NEW SOLUTION FOUND: 902 @ 14.172
c NEW SOLUTION FOUND: 901 @ 14.194
c NEW SOLUTION FOUND: 900 @ 14.215
c NEW SOLUTION FOUND: 899 @ 14.236
c NEW SOLUTION FOUND: 898 @ 14.258
c NEW SOLUTION FOUND: 897 @ 14.28
c NEW SOLUTION FOUND: 896 @ 14.301
c NEW SOLUTION FOUND: 895 @ 14.322
c NEW SOLUTION FOUND: 894 @ 14.343
c NEW SOLUTION FOUND: 893 @ 14.364
c NEW SOLUTION FOUND: 892 @ 14.386
c NEW SOLUTION FOUND: 891 @ 14.407
c NEW SOLUTION FOUND: 890 @ 14.428
c NEW SOLUTION FOUND: 889 @ 14.449
c NEW SOLUTION FOUND: 888 @ 14.471
c NEW SOLUTION FOUND: 887 @ 14.514
c NEW SOLUTION FOUND: 886 @ 14.556
c NEW SOLUTION FOUND: 885 @ 14.599
c NEW SOLUTION FOUND: 884 @ 14.621
c NEW SOLUTION FOUND: 883 @ 14.642
c NEW SOLUTION FOUND: 882 @ 14.664
c NEW SOLUTION FOUND: 881 @ 14.686
c NEW SOLUTION FOUND: 880 @ 14.708
c NEW SOLUTION FOUND: 879 @ 14.73
c NEW SOLUTION FOUND: 878 @ 14.752
c NEW SOLUTION FOUND: 877 @ 14.773
c NEW SOLUTION FOUND: 876 @ 14.795
c NEW SOLUTION FOUND: 875 @ 14.817
c NEW SOLUTION FOUND: 874 @ 14.839
c NEW SOLUTION FOUND: 873 @ 14.86
c NEW SOLUTION FOUND: 872 @ 14.882
c NEW SOLUTION FOUND: 871 @ 14.904
c NEW SOLUTION FOUND: 870 @ 14.926
c NEW SOLUTION FOUND: 869 @ 14.947
c NEW SOLUTION FOUND: 868 @ 14.991
c NEW SOLUTION FOUND: 867 @ 15.013
c NEW SOLUTION FOUND: 866 @ 15.035
c NEW SOLUTION FOUND: 865 @ 15.056
c NEW SOLUTION FOUND: 864 @ 15.079
c NEW SOLUTION FOUND: 863 @ 15.101
c NEW SOLUTION FOUND: 862 @ 15.123
c NEW SOLUTION FOUND: 861 @ 15.145
c NEW SOLUTION FOUND: 860 @ 15.189
c NEW SOLUTION FOUND: 859 @ 15.211
c NEW SOLUTION FOUND: 858 @ 15.233
c NEW SOLUTION FOUND: 857 @ 15.255
c NEW SOLUTION FOUND: 856 @ 15.278
c NEW SOLUTION FOUND: 855 @ 15.301
c NEW SOLUTION FOUND: 854 @ 15.323
c NEW SOLUTION FOUND: 853 @ 15.346
c NEW SOLUTION FOUND: 852 @ 15.368
c NEW SOLUTION FOUND: 851 @ 15.391
c NEW SOLUTION FOUND: 850 @ 15.414
c NEW SOLUTION FOUND: 849 @ 15.436
c NEW SOLUTION FOUND: 848 @ 15.459
c NEW SOLUTION FOUND: 847 @ 15.504
c NEW SOLUTION FOUND: 846 @ 15.526
c NEW SOLUTION FOUND: 845 @ 15.549
c NEW SOLUTION FOUND: 844 @ 15.572
c NEW SOLUTION FOUND: 843 @ 15.594
c NEW SOLUTION FOUND: 842 @ 15.617
c NEW SOLUTION FOUND: 841 @ 15.64
c NEW SOLUTION FOUND: 840 @ 15.662
c NEW SOLUTION FOUND: 839 @ 15.685
c NEW SOLUTION FOUND: 838 @ 15.708
c NEW SOLUTION FOUND: 837 @ 15.73
c NEW SOLUTION FOUND: 836 @ 15.753
c NEW SOLUTION FOUND: 835 @ 15.776
c NEW SOLUTION FOUND: 834 @ 15.798
c NEW SOLUTION FOUND: 833 @ 15.821
c NEW SOLUTION FOUND: 832 @ 15.844
c NEW SOLUTION FOUND: 831 @ 15.866
c NEW SOLUTION FOUND: 830 @ 15.889
c NEW SOLUTION FOUND: 829 @ 15.911
c NEW SOLUTION FOUND: 828 @ 15.934
c NEW SOLUTION FOUND: 827 @ 15.979
c NEW SOLUTION FOUND: 826 @ 16.024
c NEW SOLUTION FOUND: 825 @ 16.047
c NEW SOLUTION FOUND: 824 @ 16.07
c NEW SOLUTION FOUND: 823 @ 16.093
c NEW SOLUTION FOUND: 822 @ 16.116
c NEW SOLUTION FOUND: 821 @ 16.139
c NEW SOLUTION FOUND: 820 @ 16.162
c NEW SOLUTION FOUND: 819 @ 16.186
c NEW SOLUTION FOUND: 818 @ 16.209
c NEW SOLUTION FOUND: 817 @ 16.233
c NEW SOLUTION FOUND: 816 @ 16.304
c NEW SOLUTION FOUND: 815 @ 16.329
c NEW SOLUTION FOUND: 814 @ 16.353
c NEW SOLUTION FOUND: 813 @ 16.378
c NEW SOLUTION FOUND: 812 @ 16.452
c NEW SOLUTION FOUND: 811 @ 16.477
c NEW SOLUTION FOUND: 810 @ 16.502
c NEW SOLUTION FOUND: 809 @ 16.527
c NEW SOLUTION FOUND: 808 @ 16.552
c NEW SOLUTION FOUND: 807 @ 16.577
c NEW SOLUTION FOUND: 806 @ 16.603
c NEW SOLUTION FOUND: 805 @ 16.628
c NEW SOLUTION FOUND: 804 @ 16.653
c NEW SOLUTION FOUND: 803 @ 16.678
c NEW SOLUTION FOUND: 802 @ 16.703
c NEW SOLUTION FOUND: 801 @ 16.728
c NEW SOLUTION FOUND: 800 @ 16.753
c NEW SOLUTION FOUND: 799 @ 16.778
c NEW SOLUTION FOUND: 798 @ 16.804
c NEW SOLUTION FOUND: 797 @ 16.854
c NEW SOLUTION FOUND: 796 @ 16.879
c NEW SOLUTION FOUND: 795 @ 16.905
c NEW SOLUTION FOUND: 794 @ 16.931
c NEW SOLUTION FOUND: 793 @ 16.957
c NEW SOLUTION FOUND: 792 @ 16.984
c NEW SOLUTION FOUND: 791 @ 17.011
c NEW SOLUTION FOUND: 790 @ 17.038
c NEW SOLUTION FOUND: 789 @ 17.064
c NEW SOLUTION FOUND: 788 @ 17.09
c NEW SOLUTION FOUND: 787 @ 17.118
c NEW SOLUTION FOUND: 786 @ 17.146
c NEW SOLUTION FOUND: 785 @ 17.173
c NEW SOLUTION FOUND: 784 @ 17.227
c NEW SOLUTION FOUND: 783 @ 17.285
c NEW SOLUTION FOUND: 782 @ 17.314
c NEW SOLUTION FOUND: 781 @ 17.343
c NEW SOLUTION FOUND: 780 @ 17.372
c NEW SOLUTION FOUND: 779 @ 17.401
c NEW SOLUTION FOUND: 778 @ 17.43
c NEW SOLUTION FOUND: 777 @ 17.46
c NEW SOLUTION FOUND: 776 @ 17.488
c NEW SOLUTION FOUND: 775 @ 17.518
c NEW SOLUTION FOUND: 774 @ 17.548
c NEW SOLUTION FOUND: 773 @ 17.578
c NEW SOLUTION FOUND: 772 @ 17.608
c NEW SOLUTION FOUND: 771 @ 17.638
c NEW SOLUTION FOUND: 770 @ 17.668
c NEW SOLUTION FOUND: 769 @ 17.698
c NEW SOLUTION FOUND: 768 @ 17.728
c NEW SOLUTION FOUND: 767 @ 17.756
c NEW SOLUTION FOUND: 766 @ 17.787
c NEW SOLUTION FOUND: 765 @ 17.817
c NEW SOLUTION FOUND: 764 @ 17.847
c NEW SOLUTION FOUND: 763 @ 17.877
c NEW SOLUTION FOUND: 762 @ 17.908
c NEW SOLUTION FOUND: 761 @ 17.938
c NEW SOLUTION FOUND: 760 @ 17.968
c NEW SOLUTION FOUND: 759 @ 17.998
c NEW SOLUTION FOUND: 758 @ 18.029
c NEW SOLUTION FOUND: 757 @ 18.059
c NEW SOLUTION FOUND: 756 @ 18.089
c NEW SOLUTION FOUND: 755 @ 18.12
c NEW SOLUTION FOUND: 754 @ 18.15
c NEW SOLUTION FOUND: 753 @ 18.18
c NEW SOLUTION FOUND: 752 @ 18.21
c NEW SOLUTION FOUND: 751 @ 18.24
c NEW SOLUTION FOUND: 750 @ 18.27
c NEW SOLUTION FOUND: 749 @ 18.301
c NEW SOLUTION FOUND: 748 @ 18.331
c NEW SOLUTION FOUND: 747 @ 18.362
c NEW SOLUTION FOUND: 746 @ 18.392
c NEW SOLUTION FOUND: 745 @ 18.422
c NEW SOLUTION FOUND: 744 @ 18.453
c NEW SOLUTION FOUND: 743 @ 18.484
c NEW SOLUTION FOUND: 742 @ 18.514
c NEW SOLUTION FOUND: 741 @ 18.545
c NEW SOLUTION FOUND: 740 @ 18.575
c NEW SOLUTION FOUND: 739 @ 18.606
c NEW SOLUTION FOUND: 738 @ 18.637
c NEW SOLUTION FOUND: 737 @ 18.667
c NEW SOLUTION FOUND: 736 @ 18.697
c NEW SOLUTION FOUND: 735 @ 18.728
c NEW SOLUTION FOUND: 734 @ 18.758
c NEW SOLUTION FOUND: 733 @ 18.789
c NEW SOLUTION FOUND: 732 @ 18.819
c NEW SOLUTION FOUND: 731 @ 18.85
c NEW SOLUTION FOUND: 730 @ 18.88
c NEW SOLUTION FOUND: 729 @ 18.911
c NEW SOLUTION FOUND: 728 @ 18.941
c NEW SOLUTION FOUND: 727 @ 18.972
c NEW SOLUTION FOUND: 726 @ 19.002
c NEW SOLUTION FOUND: 725 @ 19.033
c NEW SOLUTION FOUND: 724 @ 19.063
c NEW SOLUTION FOUND: 723 @ 19.093
c NEW SOLUTION FOUND: 722 @ 19.123
c NEW SOLUTION FOUND: 721 @ 19.154
c NEW SOLUTION FOUND: 720 @ 19.184
c NEW SOLUTION FOUND: 719 @ 19.214
c NEW SOLUTION FOUND: 718 @ 19.245
c NEW SOLUTION FOUND: 717 @ 19.275
c NEW SOLUTION FOUND: 716 @ 19.306
c NEW SOLUTION FOUND: 715 @ 19.337
c NEW SOLUTION FOUND: 714 @ 19.368
c NEW SOLUTION FOUND: 713 @ 19.399
c NEW SOLUTION FOUND: 712 @ 19.429
c NEW SOLUTION FOUND: 711 @ 19.46
c NEW SOLUTION FOUND: 710 @ 19.491
c NEW SOLUTION FOUND: 709 @ 19.522
c NEW SOLUTION FOUND: 708 @ 19.553
c NEW SOLUTION FOUND: 707 @ 19.583
c NEW SOLUTION FOUND: 706 @ 19.614
c NEW SOLUTION FOUND: 705 @ 19.645
c NEW SOLUTION FOUND: 704 @ 19.676
c NEW SOLUTION FOUND: 703 @ 19.707
c NEW SOLUTION FOUND: 702 @ 19.738
c NEW SOLUTION FOUND: 701 @ 19.769
c NEW SOLUTION FOUND: 700 @ 19.799
c NEW SOLUTION FOUND: 699 @ 19.829
c NEW SOLUTION FOUND: 698 @ 19.86
c NEW SOLUTION FOUND: 697 @ 19.891
c NEW SOLUTION FOUND: 696 @ 19.922
c NEW SOLUTION FOUND: 695 @ 19.984
c NEW SOLUTION FOUND: 694 @ 20.045
c NEW SOLUTION FOUND: 693 @ 20.076
c NEW SOLUTION FOUND: 692 @ 20.106
c NEW SOLUTION FOUND: 691 @ 20.138
c NEW SOLUTION FOUND: 690 @ 20.17
c NEW SOLUTION FOUND: 689 @ 20.201
c NEW SOLUTION FOUND: 688 @ 20.234
c NEW SOLUTION FOUND: 687 @ 20.267
c NEW SOLUTION FOUND: 686 @ 20.299
c NEW SOLUTION FOUND: 685 @ 20.333
c NEW SOLUTION FOUND: 684 @ 20.365
c NEW SOLUTION FOUND: 683 @ 20.398
c NEW SOLUTION FOUND: 682 @ 20.431
c NEW SOLUTION FOUND: 681 @ 20.463
c NEW SOLUTION FOUND: 680 @ 20.528
c NEW SOLUTION FOUND: 679 @ 20.561
c NEW SOLUTION FOUND: 678 @ 20.594
c NEW SOLUTION FOUND: 677 @ 20.627
c NEW SOLUTION FOUND: 676 @ 20.66
c NEW SOLUTION FOUND: 675 @ 20.693
c NEW SOLUTION FOUND: 674 @ 20.726
c NEW SOLUTION FOUND: 673 @ 20.759
c NEW SOLUTION FOUND: 672 @ 20.791
c NEW SOLUTION FOUND: 671 @ 20.824
c NEW SOLUTION FOUND: 670 @ 20.889
c NEW SOLUTION FOUND: 669 @ 20.922
c NEW SOLUTION FOUND: 668 @ 20.955
c NEW SOLUTION FOUND: 667 @ 20.988
c NEW SOLUTION FOUND: 666 @ 21.021
c NEW SOLUTION FOUND: 665 @ 21.054
c NEW SOLUTION FOUND: 664 @ 21.088
c NEW SOLUTION FOUND: 663 @ 21.121
c NEW SOLUTION FOUND: 662 @ 21.252
c NEW SOLUTION FOUND: 661 @ 21.286
c NEW SOLUTION FOUND: 660 @ 21.319
c NEW SOLUTION FOUND: 659 @ 21.352
c NEW SOLUTION FOUND: 658 @ 21.385
c NEW SOLUTION FOUND: 657 @ 21.419
c NEW SOLUTION FOUND: 656 @ 21.452
c NEW SOLUTION FOUND: 655 @ 21.486
c NEW SOLUTION FOUND: 654 @ 21.519
c NEW SOLUTION FOUND: 653 @ 21.552
c NEW SOLUTION FOUND: 652 @ 21.618
c NEW SOLUTION FOUND: 651 @ 21.652
c NEW SOLUTION FOUND: 650 @ 21.718
c NEW SOLUTION FOUND: 649 @ 21.752
c NEW SOLUTION FOUND: 648 @ 21.786
c NEW SOLUTION FOUND: 647 @ 21.82
c NEW SOLUTION FOUND: 646 @ 21.887
c NEW SOLUTION FOUND: 645 @ 21.954
c NEW SOLUTION FOUND: 644 @ 21.988
c NEW SOLUTION FOUND: 643 @ 22.022
c NEW SOLUTION FOUND: 642 @ 22.091
c NEW SOLUTION FOUND: 641 @ 22.126
c NEW SOLUTION FOUND: 640 @ 22.16
c NEW SOLUTION FOUND: 639 @ 22.228
c NEW SOLUTION FOUND: 638 @ 22.296
c NEW SOLUTION FOUND: 637 @ 22.331
c NEW SOLUTION FOUND: 636 @ 22.365
c NEW SOLUTION FOUND: 635 @ 22.4
c NEW SOLUTION FOUND: 634 @ 22.434
c NEW SOLUTION FOUND: 633 @ 22.469
c NEW SOLUTION FOUND: 632 @ 22.505
c NEW SOLUTION FOUND: 631 @ 22.539
c NEW SOLUTION FOUND: 630 @ 22.574
c NEW SOLUTION FOUND: 629 @ 22.609
c NEW SOLUTION FOUND: 628 @ 22.644
c NEW SOLUTION FOUND: 627 @ 22.68
c NEW SOLUTION FOUND: 626 @ 22.715
c NEW SOLUTION FOUND: 625 @ 22.785
c NEW SOLUTION FOUND: 624 @ 22.855
c NEW SOLUTION FOUND: 623 @ 22.891
c NEW SOLUTION FOUND: 622 @ 22.926
c NEW SOLUTION FOUND: 621 @ 22.962
c NEW SOLUTION FOUND: 620 @ 23.035
c NEW SOLUTION FOUND: 619 @ 23.071
c NEW SOLUTION FOUND: 618 @ 23.107
c NEW SOLUTION FOUND: 617 @ 23.143
c NEW SOLUTION FOUND: 616 @ 23.179
c NEW SOLUTION FOUND: 615 @ 23.215
c NEW SOLUTION FOUND: 614 @ 23.251
c NEW SOLUTION FOUND: 613 @ 23.288
c NEW SOLUTION FOUND: 612 @ 23.324
c NEW SOLUTION FOUND: 611 @ 23.36
c NEW SOLUTION FOUND: 610 @ 23.397
c NEW SOLUTION FOUND: 609 @ 23.433
c NEW SOLUTION FOUND: 608 @ 23.47
c NEW SOLUTION FOUND: 607 @ 23.506
c NEW SOLUTION FOUND: 606 @ 23.543
c NEW SOLUTION FOUND: 605 @ 23.579
c NEW SOLUTION FOUND: 604 @ 23.616
c NEW SOLUTION FOUND: 603 @ 23.652
c NEW SOLUTION FOUND: 602 @ 23.689
c NEW SOLUTION FOUND: 601 @ 23.725
c NEW SOLUTION FOUND: 600 @ 23.762
c NEW SOLUTION FOUND: 599 @ 23.798
c NEW SOLUTION FOUND: 598 @ 23.834
c NEW SOLUTION FOUND: 597 @ 23.87
c NEW SOLUTION FOUND: 596 @ 23.906
c NEW SOLUTION FOUND: 595 @ 23.943
c NEW SOLUTION FOUND: 594 @ 23.979
c NEW SOLUTION FOUND: 593 @ 24.015
c NEW SOLUTION FOUND: 592 @ 24.051
c NEW SOLUTION FOUND: 591 @ 24.087
c NEW SOLUTION FOUND: 590 @ 24.124
c NEW SOLUTION FOUND: 589 @ 24.16
c NEW SOLUTION FOUND: 588 @ 24.196
c NEW SOLUTION FOUND: 587 @ 24.231
c NEW SOLUTION FOUND: 586 @ 24.267
c NEW SOLUTION FOUND: 585 @ 24.304
c NEW SOLUTION FOUND: 584 @ 24.34
c NEW SOLUTION FOUND: 583 @ 24.376
c NEW SOLUTION FOUND: 582 @ 24.412
c NEW SOLUTION FOUND: 581 @ 24.448
c NEW SOLUTION FOUND: 580 @ 24.484
c NEW SOLUTION FOUND: 579 @ 24.52
c NEW SOLUTION FOUND: 578 @ 24.557
c NEW SOLUTION FOUND: 577 @ 24.593
c NEW SOLUTION FOUND: 576 @ 24.629
c NEW SOLUTION FOUND: 575 @ 24.665
c NEW SOLUTION FOUND: 574 @ 24.701
c NEW SOLUTION FOUND: 573 @ 24.737
c NEW SOLUTION FOUND: 572 @ 24.773
c NEW SOLUTION FOUND: 571 @ 24.883
c NEW SOLUTION FOUND: 570 @ 24.919
c NEW SOLUTION FOUND: 569 @ 24.956
c NEW SOLUTION FOUND: 568 @ 25.03
c NEW SOLUTION FOUND: 567 @ 25.067
c NEW SOLUTION FOUND: 566 @ 25.104
c NEW SOLUTION FOUND: 565 @ 25.177
c NEW SOLUTION FOUND: 564 @ 25.214
c NEW SOLUTION FOUND: 563 @ 25.25
c NEW SOLUTION FOUND: 562 @ 25.288
c NEW SOLUTION FOUND: 561 @ 25.325
c NEW SOLUTION FOUND: 560 @ 25.362
c NEW SOLUTION FOUND: 559 @ 25.4
c NEW SOLUTION FOUND: 558 @ 25.436
c NEW SOLUTION FOUND: 557 @ 25.473
c NEW SOLUTION FOUND: 556 @ 25.511
c NEW SOLUTION FOUND: 555 @ 25.548
c NEW SOLUTION FOUND: 554 @ 25.662
c NEW SOLUTION FOUND: 553 @ 25.701
c NEW SOLUTION FOUND: 552 @ 25.74
c NEW SOLUTION FOUND: 551 @ 25.78
c NEW SOLUTION FOUND: 550 @ 25.86
c NEW SOLUTION FOUND: 549 @ 25.901
c NEW SOLUTION FOUND: 548 @ 25.941
c NEW SOLUTION FOUND: 547 @ 25.982
c NEW SOLUTION FOUND: 546 @ 26.023
c NEW SOLUTION FOUND: 545 @ 26.064
c NEW SOLUTION FOUND: 544 @ 26.105
c NEW SOLUTION FOUND: 543 @ 26.147
c NEW SOLUTION FOUND: 542 @ 26.187
c NEW SOLUTION FOUND: 541 @ 26.228
c NEW SOLUTION FOUND: 540 @ 26.268
c NEW SOLUTION FOUND: 539 @ 26.311
c NEW SOLUTION FOUND: 538 @ 26.351
c NEW SOLUTION FOUND: 537 @ 26.392
c NEW SOLUTION FOUND: 536 @ 26.432
c NEW SOLUTION FOUND: 535 @ 26.473
c NEW SOLUTION FOUND: 534 @ 26.598
c NEW SOLUTION FOUND: 533 @ 26.641
c NEW SOLUTION FOUND: 532 @ 26.685
c NEW SOLUTION FOUND: 531 @ 26.776
c NEW SOLUTION FOUND: 530 @ 26.822
c NEW SOLUTION FOUND: 529 @ 26.867
c NEW SOLUTION FOUND: 528 @ 26.913
c NEW SOLUTION FOUND: 527 @ 27.053
c NEW SOLUTION FOUND: 526 @ 27.101
c NEW SOLUTION FOUND: 525 @ 27.149
c NEW SOLUTION FOUND: 524 @ 27.196
c NEW SOLUTION FOUND: 523 @ 27.244
c NEW SOLUTION FOUND: 522 @ 27.291
c NEW SOLUTION FOUND: 521 @ 27.435
c NEW SOLUTION FOUND: 520 @ 27.484
c NEW SOLUTION FOUND: 519 @ 27.532
c NEW SOLUTION FOUND: 518 @ 27.581
c NEW SOLUTION FOUND: 517 @ 27.629
c NEW SOLUTION FOUND: 516 @ 27.676
c NEW SOLUTION FOUND: 515 @ 27.724
c NEW SOLUTION FOUND: 514 @ 27.772
c NEW SOLUTION FOUND: 513 @ 27.821
c NEW SOLUTION FOUND: 512 @ 27.871
c NEW SOLUTION FOUND: 511 @ 27.969
c NEW SOLUTION FOUND: 510 @ 28.019
c NEW SOLUTION FOUND: 509 @ 28.069
c NEW SOLUTION FOUND: 508 @ 28.118
c NEW SOLUTION FOUND: 507 @ 28.168
c NEW SOLUTION FOUND: 506 @ 28.217
c NEW SOLUTION FOUND: 505 @ 28.268
c NEW SOLUTION FOUND: 504 @ 28.317
c NEW SOLUTION FOUND: 503 @ 28.367
c NEW SOLUTION FOUND: 502 @ 28.416
c NEW SOLUTION FOUND: 501 @ 28.466
c NEW SOLUTION FOUND: 500 @ 28.516
c NEW SOLUTION FOUND: 499 @ 28.565
c NEW SOLUTION FOUND: 498 @ 28.615
c NEW SOLUTION FOUND: 497 @ 28.666
c NEW SOLUTION FOUND: 496 @ 28.715
c NEW SOLUTION FOUND: 495 @ 28.765
c NEW SOLUTION FOUND: 494 @ 28.915
c NEW SOLUTION FOUND: 493 @ 28.967
c NEW SOLUTION FOUND: 492 @ 29.124
c NEW SOLUTION FOUND: 491 @ 29.177
c NEW SOLUTION FOUND: 490 @ 29.284
c NEW SOLUTION FOUND: 489 @ 29.339
c NEW SOLUTION FOUND: 488 @ 29.45
c NEW SOLUTION FOUND: 487 @ 29.506
c NEW SOLUTION FOUND: 486 @ 29.563
c NEW SOLUTION FOUND: 485 @ 29.622
c NEW SOLUTION FOUND: 484 @ 29.734
c NEW SOLUTION FOUND: 483 @ 29.791
c NEW SOLUTION FOUND: 482 @ 29.848
c NEW SOLUTION FOUND: 481 @ 29.905
c NEW SOLUTION FOUND: 480 @ 29.962
c NEW SOLUTION FOUND: 479 @ 30.192
c NEW SOLUTION FOUND: 478 @ 30.253
c NEW SOLUTION FOUND: 477 @ 30.314
c NEW SOLUTION FOUND: 476 @ 30.373
c NEW SOLUTION FOUND: 475 @ 30.431
c NEW SOLUTION FOUND: 474 @ 30.671
c NEW SOLUTION FOUND: 473 @ 30.732
c NEW SOLUTION FOUND: 472 @ 30.793
c NEW SOLUTION FOUND: 471 @ 30.854
c NEW SOLUTION FOUND: 470 @ 30.984
c NEW SOLUTION FOUND: 469 @ 31.051
c NEW SOLUTION FOUND: 468 @ 31.119
c NEW SOLUTION FOUND: 467 @ 31.188
c NEW SOLUTION FOUND: 466 @ 31.324
c NEW SOLUTION FOUND: 465 @ 31.391
c NEW SOLUTION FOUND: 464 @ 31.461
c NEW SOLUTION FOUND: 463 @ 31.528
c NEW SOLUTION FOUND: 462 @ 31.735
c NEW SOLUTION FOUND: 461 @ 31.878
c NEW SOLUTION FOUND: 460 @ 31.951
c NEW SOLUTION FOUND: 459 @ 32.095
c NEW SOLUTION FOUND: 458 @ 32.166
c NEW SOLUTION FOUND: 457 @ 32.309
c NEW SOLUTION FOUND: 456 @ 32.385
c NEW SOLUTION FOUND: 455 @ 32.532
c NEW SOLUTION FOUND: 454 @ 32.606
c NEW SOLUTION FOUND: 453 @ 32.681
c NEW SOLUTION FOUND: 452 @ 32.754
c NEW SOLUTION FOUND: 451 @ 32.828
c NEW SOLUTION FOUND: 450 @ 33.059
c NEW SOLUTION FOUND: 449 @ 33.139
c NEW SOLUTION FOUND: 448 @ 33.373
c NEW SOLUTION FOUND: 447 @ 33.452
c NEW SOLUTION FOUND: 446 @ 33.617
c NEW SOLUTION FOUND: 445 @ 33.702
c NEW SOLUTION FOUND: 444 @ 33.789
c NEW SOLUTION FOUND: 443 @ 33.875
c NEW SOLUTION FOUND: 442 @ 33.961
c NEW SOLUTION FOUND: 441 @ 34.047
c NEW SOLUTION FOUND: 440 @ 34.222
c NEW SOLUTION FOUND: 439 @ 34.311
c NEW SOLUTION FOUND: 438 @ 34.399
c NEW SOLUTION FOUND: 437 @ 34.484
c NEW SOLUTION FOUND: 436 @ 34.573
c NEW SOLUTION FOUND: 435 @ 34.663
c NEW SOLUTION FOUND: 434 @ 34.75
c NEW SOLUTION FOUND: 433 @ 34.844
c NEW SOLUTION FOUND: 432 @ 34.934
c NEW SOLUTION FOUND: 431 @ 35.025
c NEW SOLUTION FOUND: 430 @ 35.112
c NEW SOLUTION FOUND: 429 @ 35.2
c NEW SOLUTION FOUND: 428 @ 35.291
c NEW SOLUTION FOUND: 427 @ 35.384
c NEW SOLUTION FOUND: 426 @ 35.474
c NEW SOLUTION FOUND: 425 @ 35.567
c NEW SOLUTION FOUND: 424 @ 35.654
c NEW SOLUTION FOUND: 423 @ 35.743
c NEW SOLUTION FOUND: 422 @ 35.833
c NEW SOLUTION FOUND: 421 @ 35.925
c NEW SOLUTION FOUND: 420 @ 36.013
c NEW SOLUTION FOUND: 419 @ 36.195
c NEW SOLUTION FOUND: 418 @ 36.288
c NEW SOLUTION FOUND: 417 @ 36.377
c NEW SOLUTION FOUND: 416 @ 36.466
c NEW SOLUTION FOUND: 415 @ 36.556
c NEW SOLUTION FOUND: 414 @ 36.643
c NEW SOLUTION FOUND: 413 @ 36.735
c NEW SOLUTION FOUND: 412 @ 36.826
c NEW SOLUTION FOUND: 411 @ 36.919
c NEW SOLUTION FOUND: 410 @ 37.103
c NEW SOLUTION FOUND: 409 @ 37.194
c NEW SOLUTION FOUND: 408 @ 37.384
c NEW SOLUTION FOUND: 407 @ 37.478
c NEW SOLUTION FOUND: 406 @ 37.571
c NEW SOLUTION FOUND: 405 @ 37.665
c NEW SOLUTION FOUND: 404 @ 37.76
c NEW SOLUTION FOUND: 403 @ 37.948
c NEW SOLUTION FOUND: 402 @ 38.142
c NEW SOLUTION FOUND: 401 @ 38.242
c NEW SOLUTION FOUND: 400 @ 38.341
c NEW SOLUTION FOUND: 399 @ 38.443
c NEW SOLUTION FOUND: 398 @ 38.542
c NEW SOLUTION FOUND: 397 @ 38.639
c NEW SOLUTION FOUND: 396 @ 38.835
c NEW SOLUTION FOUND: 395 @ 39.038
c NEW SOLUTION FOUND: 394 @ 39.141
c NEW SOLUTION FOUND: 393 @ 39.339
c NEW SOLUTION FOUND: 392 @ 39.443
c NEW SOLUTION FOUND: 391 @ 39.545
c NEW SOLUTION FOUND: 390 @ 39.647
c NEW SOLUTION FOUND: 389 @ 39.965
c NEW SOLUTION FOUND: 388 @ 40.07
c NEW SOLUTION FOUND: 387 @ 40.175
c NEW SOLUTION FOUND: 386 @ 40.279
c NEW SOLUTION FOUND: 385 @ 40.386
c NEW SOLUTION FOUND: 384 @ 40.494
c NEW SOLUTION FOUND: 383 @ 40.601
c NEW SOLUTION FOUND: 382 @ 40.811
c NEW SOLUTION FOUND: 381 @ 40.919
c NEW SOLUTION FOUND: 380 @ 41.162
c NEW SOLUTION FOUND: 379 @ 41.505
c NEW SOLUTION FOUND: 378 @ 41.851
c NEW SOLUTION FOUND: 377 @ 42.08
c NEW SOLUTION FOUND: 376 @ 42.203
c NEW SOLUTION FOUND: 375 @ 42.333
c NEW SOLUTION FOUND: 374 @ 42.458
c NEW SOLUTION FOUND: 373 @ 42.701
c NEW SOLUTION FOUND: 372 @ 42.953
c NEW SOLUTION FOUND: 371 @ 43.217
c NEW SOLUTION FOUND: 370 @ 43.347
c NEW SOLUTION FOUND: 369 @ 43.612
c NEW SOLUTION FOUND: 368 @ 43.75
c NEW SOLUTION FOUND: 367 @ 43.888
c NEW SOLUTION FOUND: 366 @ 44.022
c NEW SOLUTION FOUND: 365 @ 44.154
c NEW SOLUTION FOUND: 364 @ 44.294
c NEW SOLUTION FOUND: 363 @ 44.699
c NEW SOLUTION FOUND: 362 @ 44.839
c NEW SOLUTION FOUND: 361 @ 45.101
c NEW SOLUTION FOUND: 360 @ 45.247
c NEW SOLUTION FOUND: 359 @ 45.382
c NEW SOLUTION FOUND: 358 @ 45.643
c NEW SOLUTION FOUND: 357 @ 45.778
c NEW SOLUTION FOUND: 356 @ 45.913
c NEW SOLUTION FOUND: 355 @ 46.053
c NEW SOLUTION FOUND: 354 @ 46.48
c NEW SOLUTION FOUND: 353 @ 46.771
c NEW SOLUTION FOUND: 352 @ 47.074
c NEW SOLUTION FOUND: 351 @ 47.372
c NEW SOLUTION FOUND: 350 @ 47.667
c NEW SOLUTION FOUND: 349 @ 47.82
c NEW SOLUTION FOUND: 348 @ 47.98
c NEW SOLUTION FOUND: 347 @ 48.143
c NEW SOLUTION FOUND: 346 @ 48.449
c NEW SOLUTION FOUND: 345 @ 48.603
c NEW SOLUTION FOUND: 344 @ 49.255
c NEW SOLUTION FOUND: 343 @ 49.617
c NEW SOLUTION FOUND: 342 @ 49.982
c NEW SOLUTION FOUND: 341 @ 50.164
c NEW SOLUTION FOUND: 340 @ 50.941
c NEW SOLUTION FOUND: 339 @ 51.549
c NEW SOLUTION FOUND: 338 @ 52.213
c NEW SOLUTION FOUND: 337 @ 52.831
c NEW SOLUTION FOUND: 336 @ 53.511
c NEW SOLUTION FOUND: 335 @ 53.953
c NEW SOLUTION FOUND: 334 @ 54.832
c NEW SOLUTION FOUND: 333 @ 55.481
c NEW SOLUTION FOUND: 332 @ 55.986
c NEW SOLUTION FOUND: 331 @ 56.239
c NEW SOLUTION FOUND: 330 @ 56.998
c NEW SOLUTION FOUND: 329 @ 57.52
c NEW SOLUTION FOUND: 328 @ 58.036
c NEW SOLUTION FOUND: 327 @ 58.576
c NEW SOLUTION FOUND: 326 @ 58.872
c NEW SOLUTION FOUND: 325 @ 59.135
c NEW SOLUTION FOUND: 324 @ 59.976
c NEW SOLUTION FOUND: 323 @ 60.26
c NEW SOLUTION FOUND: 322 @ 60.559
c NEW SOLUTION FOUND: 321 @ 60.825
c NEW SOLUTION FOUND: 320 @ 61.662
c NEW SOLUTION FOUND: 319 @ 62.255
c NEW SOLUTION FOUND: 318 @ 62.858
c NEW SOLUTION FOUND: 317 @ 63.386
c NEW SOLUTION FOUND: 316 @ 63.692
c NEW SOLUTION FOUND: 315 @ 64.578
c NEW SOLUTION FOUND: 314 @ 65.896
c NEW SOLUTION FOUND: 313 @ 66.586
c NEW SOLUTION FOUND: 312 @ 67.277
c NEW SOLUTION FOUND: 311 @ 67.633
c NEW SOLUTION FOUND: 310 @ 68.353
c NEW SOLUTION FOUND: 309 @ 68.758
c NEW SOLUTION FOUND: 308 @ 69.493
c NEW SOLUTION FOUND: 307 @ 69.856
c NEW SOLUTION FOUND: 306 @ 72.871
c NEW SOLUTION FOUND: 305 @ 74.172
c NEW SOLUTION FOUND: 304 @ 75.864
c NEW SOLUTION FOUND: 303 @ 76.279
c NEW SOLUTION FOUND: 302 @ 77.187
c NEW SOLUTION FOUND: 301 @ 77.656
c NEW SOLUTION FOUND: 300 @ 80.859
c NEW SOLUTION FOUND: 299 @ 82.916
c NEW SOLUTION FOUND: 298 @ 87.188
c NEW SOLUTION FOUND: 297 @ 91.662
c NEW SOLUTION FOUND: 296 @ 93.665
c NEW SOLUTION FOUND: 295 @ 97.415
c NEW SOLUTION FOUND: 294 @ 103.984
c NEW SOLUTION FOUND: 293 @ 111.791
c NEW SOLUTION FOUND: 292 @ 123.677
c NEW SOLUTION FOUND: 291 @ 141.117
c NEW SOLUTION FOUND: 290 @ 194.753
c NEW SOLUTION FOUND: 289 @ 204.303
c NEW SOLUTION FOUND: 288 @ 211.677
c NEW SOLUTION FOUND: 287 @ 222.947
c NEW SOLUTION FOUND: 286 @ 234.184
c NEW SOLUTION FOUND: 285 @ 246.955
c NEW SOLUTION FOUND: 284 @ 258.192
c NEW SOLUTION FOUND: 283 @ 275.112
c NEW SOLUTION FOUND: 282 @ 286.343
c NEW SOLUTION FOUND: 281 @ 296.848
c NEW SOLUTION FOUND: 280 @ 308.259
c NEW SOLUTION FOUND: 279 @ 333.975
c NEW SOLUTION FOUND: 278 @ 383.716
c NEW SOLUTION FOUND: 277 @ 405.15
c NEW SOLUTION FOUND: 276 @ 483.714
c NEW SOLUTION FOUND: 275 @ 730.549
c NEW SOLUTION FOUND: 274 @ 785.158
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: 1175.62 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.96 0.98 2/54 2201
Raw data (stat): 2201 (runsolver) R 2200 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 648740878 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 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.0009 s]
Raw data (loadavg): 0.93 0.96 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 3704 0 2 0 954 14 0 0 25 0 1 0 648740878 7876608 1244 4294967295 134512640 134714508 3221221792 3221219520 1075635584 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1923 1244 1111 63 0 1860 0
vsize: 7692
[startup+20.0022 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 12450 0 2 0 1924 45 0 0 25 0 1 0 648740878 7876608 1245 4294967295 134512640 134714508 3221221792 3221220192 1074118790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1923 1245 1111 63 0 1860 0
vsize: 7692
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 21238 0 2 0 2895 74 0 0 25 0 1 0 648740878 7876608 1245 4294967295 134512640 134714508 3221221792 3221218896 1074138729 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2015 1249 1111 63 0 1952 0
vsize: 7692
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 26259 0 2 0 3880 89 0 0 25 0 1 0 648740878 7892992 1249 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1927 1249 1111 63 0 1864 0
vsize: 7708
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 30052 0 2 0 4866 102 0 0 25 0 1 0 648740878 7942144 1261 4294967295 134512640 134714508 3221221792 3221220176 1074153753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1939 1261 1111 63 0 1876 0
vsize: 7756
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 32451 0 2 0 5860 110 0 0 25 0 1 0 648740878 7962624 1272 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1944 1272 1111 63 0 1881 0
vsize: 7776
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 35474 0 2 0 6850 119 0 0 25 0 1 0 648740878 8437760 1313 4294967295 134512640 134714508 3221221792 3221217952 1075094798 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2060 1313 1111 63 0 1997 0
vsize: 8240
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 38100 0 2 0 7843 126 0 0 25 0 1 0 648740878 8683520 1306 4294967295 134512640 134714508 3221221792 3221218320 1075397167 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2120 1306 1111 63 0 2057 0
vsize: 8480
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 39481 0 2 0 8839 131 0 0 25 0 1 0 648740878 8683520 1309 4294967295 134512640 134714508 3221221792 3221217996 1075564273 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2120 1309 1111 63 0 2057 0
vsize: 8480
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 41022 0 2 0 9835 135 0 0 25 0 1 0 648740878 8867840 1320 4294967295 134512640 134714508 3221221792 3221217996 1075564289 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2165 1320 1111 63 0 2102 0
vsize: 8660
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 42570 0 2 0 10829 141 0 0 25 0 1 0 648740878 7962624 1274 4294967295 134512640 134714508 3221221792 3221219752 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1944 1274 1111 63 0 1881 0
vsize: 7776
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 44043 0 2 0 11824 146 0 0 25 0 1 0 648740878 8896512 1334 4294967295 134512640 134714508 3221221792 3221218128 1075113502 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2172 1334 1111 63 0 2109 0
vsize: 8688
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 45472 0 2 0 12821 150 0 0 25 0 1 0 648740878 8896512 1339 4294967295 134512640 134714508 3221221792 3221217648 1074871262 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2172 1339 1111 63 0 2109 0
vsize: 8688
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 46935 0 2 0 13816 154 0 0 25 0 1 0 648740878 8876032 1331 4294967295 134512640 134714508 3221221792 3221218008 1074882385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2167 1331 1111 63 0 2104 0
vsize: 8668
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 48373 0 2 0 14811 160 0 0 25 0 1 0 648740878 7962624 1274 4294967295 134512640 134714508 3221221792 3221220096 1074153766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1944 1274 1111 63 0 1881 0
vsize: 7776
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 49858 0 2 0 15807 164 0 0 25 0 1 0 648740878 7962624 1274 4294967295 134512640 134714508 3221221792 3221220176 1074153766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1944 1274 1111 63 0 1881 0
vsize: 7776
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 51201 0 2 0 16803 168 0 0 25 0 1 0 648740878 7962624 1274 4294967295 134512640 134714508 3221221792 3221219832 1077377302 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1944 1274 1111 63 0 1881 0
vsize: 7776
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 52587 0 2 0 17799 172 0 0 25 0 1 0 648740878 8876032 1313 4294967295 134512640 134714508 3221221792 3221218776 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2167 1313 1111 63 0 2104 0
vsize: 8668
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 53863 0 2 0 18794 177 0 0 25 0 1 0 648740878 8871936 1330 4294967295 134512640 134714508 3221221792 3221217684 1074790666 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2166 1330 1111 63 0 2103 0
vsize: 8664
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 55302 0 2 0 19790 182 0 0 25 0 1 0 648740878 7962624 1274 4294967295 134512640 134714508 3221221792 3221220128 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1944 1274 1111 63 0 1881 0
vsize: 7776
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 56819 0 2 0 20785 187 0 0 25 0 1 0 648740878 7974912 1277 4294967295 134512640 134714508 3221221792 3221219136 1074839039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1947 1277 1111 63 0 1884 0
vsize: 7788
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 58471 0 2 0 21779 193 0 0 25 0 1 0 648740878 8011776 1286 4294967295 134512640 134714508 3221221792 3221220420 134649040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1956 1286 1111 63 0 1893 0
vsize: 7824
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 60000 0 2 0 22774 199 0 0 25 0 1 0 648740878 8929280 1347 4294967295 134512640 134714508 3221221792 3221217876 1075964437 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2180 1347 1111 63 0 2117 0
vsize: 8720
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 61606 0 2 0 23769 203 0 0 25 0 1 0 648740878 7983104 1279 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1949 1279 1111 63 0 1886 0
vsize: 7796
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 63262 0 2 0 24765 208 0 0 25 0 1 0 648740878 8110080 1302 4294967295 134512640 134714508 3221221792 3221220160 1074140701 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1980 1302 1111 63 0 1917 0
vsize: 7920
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 65054 0 2 0 25759 213 0 0 25 0 1 0 648740878 8146944 1310 4294967295 134512640 134714508 3221221792 3221219792 1074918793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1989 1310 1111 63 0 1926 0
vsize: 7956
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 67026 0 2 0 26753 220 0 0 25 0 1 0 648740878 8019968 1288 4294967295 134512640 134714508 3221221792 3221220036 1077374152 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1958 1288 1111 63 0 1895 0
vsize: 7832
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 69490 0 2 0 27746 228 0 0 25 0 1 0 648740878 9035776 1381 4294967295 134512640 134714508 3221221792 3221217932 1077410224 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2206 1381 1111 63 0 2143 0
vsize: 8824
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 71796 0 2 0 28740 233 0 0 25 0 1 0 648740878 8970240 1374 4294967295 134512640 134714508 3221221792 3221218448 1075968828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2190 1374 1111 63 0 2127 0
vsize: 8760
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 74196 0 2 0 29733 240 0 0 25 0 1 0 648740878 8192000 1330 4294967295 134512640 134714508 3221221792 3221219984 1074057902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2000 1330 1111 63 0 1937 0
vsize: 8000
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 76659 0 2 0 30727 247 0 0 25 0 1 0 648740878 9216000 1442 4294967295 134512640 134714508 3221221792 3221218368 1076049633 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2250 1442 1111 63 0 2187 0
vsize: 9000
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 78493 0 2 0 31722 252 0 0 25 0 1 0 648740878 9469952 1480 4294967295 134512640 134714508 3221221792 3221217700 1074786537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2312 1480 1111 63 0 2249 0
vsize: 9248
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 79702 0 2 0 32719 256 0 0 25 0 1 0 648740878 8626176 1426 4294967295 134512640 134714508 3221221792 3221218912 1074865676 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2106 1426 1111 63 0 2043 0
vsize: 8424
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 80904 0 2 0 33715 259 0 0 25 0 1 0 648740878 8953856 1458 4294967295 134512640 134714508 3221221792 3221219520 1075828451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2186 1458 1111 63 0 2123 0
vsize: 8744
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 82065 0 2 0 34712 263 0 0 25 0 1 0 648740878 9699328 1526 4294967295 134512640 134714508 3221221792 3221218864 1074867275 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2368 1526 1111 63 0 2305 0
vsize: 9472
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 83293 0 2 0 35708 266 0 0 25 0 1 0 648740878 9650176 1554 4294967295 134512640 134714508 3221221792 3221217648 1074871199 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2356 1554 1111 63 0 2293 0
vsize: 9424
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 84327 0 2 0 36705 270 0 0 25 0 1 0 648740878 9543680 1527 4294967295 134512640 134714508 3221221792 3221217952 1074794542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2330 1527 1111 63 0 2267 0
vsize: 9320
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 85223 0 2 0 37702 273 0 0 25 0 1 0 648740878 8925184 1509 4294967295 134512640 134714508 3221221792 3221220176 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2179 1509 1111 63 0 2116 0
vsize: 8716
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 86226 0 2 0 38700 275 0 0 25 0 1 0 648740878 9797632 1586 4294967295 134512640 134714508 3221221792 3221217952 1075091544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2392 1586 1111 63 0 2329 0
vsize: 9568
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 87393 0 2 0 39696 279 0 0 25 0 1 0 648740878 9908224 1591 4294967295 134512640 134714508 3221221792 3221218256 1075602683 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2419 1591 1111 63 0 2356 0
vsize: 9676
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 88636 0 2 0 40692 284 0 0 25 0 1 0 648740878 9773056 1572 4294967295 134512640 134714508 3221221792 3221217952 1075090826 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2386 1572 1111 63 0 2323 0
vsize: 9544
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 89977 0 2 0 41688 287 0 0 25 0 1 0 648740878 9949184 1626 4294967295 134512640 134714508 3221221792 3221217760 1075965307 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2429 1626 1111 63 0 2366 0
vsize: 9716
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 91465 0 2 0 42684 291 0 0 25 0 1 0 648740878 10104832 1630 4294967295 134512640 134714508 3221221792 3221217848 1074789711 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2467 1630 1111 63 0 2404 0
vsize: 9868
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 92818 0 2 0 43681 295 0 0 25 0 1 0 648740878 9142272 1562 4294967295 134512640 134714508 3221221792 3221220128 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2232 1562 1111 63 0 2169 0
vsize: 8928
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 94007 0 2 0 44678 298 0 0 25 0 1 0 648740878 9990144 1637 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2439 1637 1111 63 0 2376 0
vsize: 9756
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 95147 0 2 0 45674 302 0 0 25 0 1 0 648740878 9236480 1585 4294967295 134512640 134714508 3221221792 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2255 1585 1111 63 0 2192 0
vsize: 9020
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 96267 0 2 0 46670 306 0 0 25 0 1 0 648740878 10084352 1660 4294967295 134512640 134714508 3221221792 3221218320 1074884997 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2462 1660 1111 63 0 2399 0
vsize: 9848
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 97417 0 2 0 47667 309 0 0 25 0 1 0 648740878 10121216 1666 4294967295 134512640 134714508 3221221792 3221218316 1075090004 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2471 1666 1111 63 0 2408 0
vsize: 9884
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 98528 0 2 0 48664 313 0 0 25 0 1 0 648740878 9428992 1632 4294967295 134512640 134714508 3221221792 3221220040 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2302 1632 1111 63 0 2239 0
vsize: 9208
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 99990 0 2 0 49659 318 0 0 25 0 1 0 648740878 10309632 1711 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2517 1711 1111 63 0 2454 0
vsize: 10068
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 101379 0 2 0 50656 321 0 0 25 0 1 0 648740878 10407936 1739 4294967295 134512640 134714508 3221221792 3221218064 1074960865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1739 1111 63 0 2478 0
vsize: 10164
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 102861 0 2 0 51651 326 0 0 25 0 1 0 648740878 10448896 1746 4294967295 134512640 134714508 3221221792 3221218448 1075967440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2551 1746 1111 63 0 2488 0
vsize: 10204
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 104334 0 2 0 52646 332 0 0 25 0 1 0 648740878 10469376 1755 4294967295 134512640 134714508 3221221792 3221218064 1074960771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2556 1755 1111 63 0 2493 0
vsize: 10224
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 105882 0 2 0 53641 336 0 0 25 0 1 0 648740878 10485760 1757 4294967295 134512640 134714508 3221221792 3221218020 1075114972 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1757 1111 63 0 2497 0
vsize: 10240
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 107250 0 2 0 54637 341 0 0 25 0 1 0 648740878 10428416 1741 4294967295 134512640 134714508 3221221792 3221217876 1075964384 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2546 1741 1111 63 0 2483 0
vsize: 10184
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 108652 0 2 0 55634 344 0 0 25 0 1 0 648740878 10567680 1780 4294967295 134512640 134714508 3221221792 3221218320 1075397211 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2580 1780 1111 63 0 2517 0
vsize: 10320
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 110158 0 2 0 56629 350 0 0 25 0 1 0 648740878 10698752 1776 4294967295 134512640 134714508 3221221792 3221217848 1074789812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2612 1776 1111 63 0 2549 0
vsize: 10448
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 111403 0 2 0 57624 354 0 0 25 0 1 0 648740878 10735616 1791 4294967295 134512640 134714508 3221221792 3221218020 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2621 1791 1111 63 0 2558 0
vsize: 10484
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 112777 0 2 0 58620 358 0 0 25 0 1 0 648740878 10760192 1799 4294967295 134512640 134714508 3221221792 3221217648 1074870914 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2627 1799 1111 63 0 2564 0
vsize: 10508
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 114199 0 2 0 59616 363 0 0 25 0 1 0 648740878 9957376 1755 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2431 1755 1111 63 0 2368 0
vsize: 9724
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 115715 0 2 0 60611 368 0 0 25 0 1 0 648740878 10797056 1796 4294967295 134512640 134714508 3221221792 3221217696 1075965299 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2636 1796 1111 63 0 2573 0
vsize: 10544
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 116910 0 2 0 61608 371 0 0 25 0 1 0 648740878 10625024 1787 4294967295 134512640 134714508 3221221792 3221217632 1075965256 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2594 1787 1111 63 0 2531 0
vsize: 10376
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 118130 0 2 0 62604 375 0 0 25 0 1 0 648740878 9932800 1755 4294967295 134512640 134714508 3221221792 3221220432 134649099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2425 1755 1111 63 0 2362 0
vsize: 9700
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 119416 0 2 0 63599 380 0 0 25 0 1 0 648740878 10764288 1822 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2628 1822 1111 63 0 2565 0
vsize: 10512
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 120606 0 2 0 64596 384 0 0 25 0 1 0 648740878 10661888 1793 4294967295 134512640 134714508 3221221792 3221218000 1076079442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2603 1793 1111 63 0 2540 0
vsize: 10412
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 121776 0 2 0 65592 388 0 0 25 0 1 0 648740878 10719232 1810 4294967295 134512640 134714508 3221221792 3221217676 1074788930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2617 1810 1111 63 0 2554 0
vsize: 10468
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 122903 0 2 0 66589 391 0 0 25 0 1 0 648740878 10723328 1812 4294967295 134512640 134714508 3221221792 3221217968 1074882604 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2618 1812 1111 63 0 2555 0
vsize: 10472
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 124107 0 2 0 67585 396 0 0 25 0 1 0 648740878 10788864 1832 4294967295 134512640 134714508 3221221792 3221218012 1075116549 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2634 1832 1111 63 0 2571 0
vsize: 10536
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 125483 0 2 0 68582 399 0 0 25 0 1 0 648740878 10915840 1828 4294967295 134512640 134714508 3221221792 3221217996 1075564295 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2665 1828 1111 63 0 2602 0
vsize: 10660
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 126838 0 2 0 69578 403 0 0 25 0 1 0 648740878 10792960 1835 4294967295 134512640 134714508 3221221792 3221218064 1074960859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2635 1835 1111 63 0 2572 0
vsize: 10540
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 128222 0 2 0 70574 407 0 0 25 0 1 0 648740878 10993664 1840 4294967295 134512640 134714508 3221221792 3221218112 1075170849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2684 1840 1111 63 0 2621 0
vsize: 10736
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 129607 0 2 0 71569 412 0 0 25 0 1 0 648740878 11005952 1880 4294967295 134512640 134714508 3221221792 3221217952 1074794466 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2687 1880 1111 63 0 2624 0
vsize: 10748
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 131120 0 2 0 72565 416 0 0 25 0 1 0 648740878 10104832 1797 4294967295 134512640 134714508 3221221792 3221220128 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2467 1797 1111 63 0 2404 0
vsize: 9868
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 132521 0 2 0 73561 420 0 0 25 0 1 0 648740878 10248192 1832 4294967295 134512640 134714508 3221221792 3221219536 1075636611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1832 1111 63 0 2439 0
vsize: 10008
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 133989 0 2 0 74557 424 0 0 25 0 1 0 648740878 11128832 1918 4294967295 134512640 134714508 3221221792 3221218012 1075116816 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2717 1918 1111 63 0 2654 0
vsize: 10868
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 135571 0 2 0 75553 428 0 0 25 0 1 0 648740878 11264000 1910 4294967295 134512640 134714508 3221221792 3221218020 1075115007 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2750 1910 1111 63 0 2687 0
vsize: 11000
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 137034 0 2 0 76549 432 0 0 25 0 1 0 648740878 11239424 1916 4294967295 134512640 134714508 3221221792 3221217760 1075965263 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2744 1916 1111 63 0 2681 0
vsize: 10976
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 138466 0 2 0 77545 436 0 0 25 0 1 0 648740878 10637312 1871 4294967295 134512640 134714508 3221221792 3221219856 1075961750 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2597 1871 1111 63 0 2534 0
vsize: 10388
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 139613 0 2 0 78542 440 0 0 25 0 1 0 648740878 11235328 1916 4294967295 134512640 134714508 3221221792 3221218012 1075116710 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2743 1916 1111 63 0 2680 0
vsize: 10972
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 140946 0 2 0 79539 442 0 0 25 0 1 0 648740878 11362304 1937 4294967295 134512640 134714508 3221221792 3221218352 1076046556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2774 1937 1111 63 0 2711 0
vsize: 11096
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 142365 0 2 0 80535 446 0 0 25 0 1 0 648740878 11284480 1956 4294967295 134512640 134714508 3221221792 3221217648 1074870932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2755 1956 1111 63 0 2692 0
vsize: 11020
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 143747 0 2 0 81531 451 0 0 25 0 1 0 648740878 11202560 1934 4294967295 134512640 134714508 3221221792 3221218012 1075116767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2735 1934 1111 63 0 2672 0
vsize: 10940
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 145067 0 2 0 82528 454 0 0 25 0 1 0 648740878 11128832 1981 4294967295 134512640 134714508 3221221792 3221218320 1075397221 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2717 1981 1111 63 0 2654 0
vsize: 10868
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 146879 0 2 0 83524 458 0 0 25 0 1 0 648740878 11399168 2045 4294967295 134512640 134714508 3221221792 3221217952 1075095371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2783 2046 1111 63 0 2720 0
vsize: 11132
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 148419 0 2 0 84521 462 0 0 25 0 1 0 648740878 10506240 1895 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2565 1895 1111 63 0 2502 0
vsize: 10260
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 150032 0 2 0 85516 467 0 0 25 0 1 0 648740878 11206656 2000 4294967295 134512640 134714508 3221221792 3221218320 1075119993 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2736 2000 1111 63 0 2673 0
vsize: 10944
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 151679 0 2 0 86512 470 0 0 25 0 1 0 648740878 11497472 1981 4294967295 134512640 134714508 3221221792 3221217704 1074788484 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2807 1981 1111 63 0 2744 0
vsize: 11228
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 153356 0 2 0 87509 474 0 0 25 0 1 0 648740878 10563584 1909 4294967295 134512640 134714508 3221221792 3221220096 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2579 1909 1111 63 0 2516 0
vsize: 10316
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 154912 0 2 0 88506 477 0 0 25 0 1 0 648740878 11620352 2006 4294967295 134512640 134714508 3221221792 3221218784 1075110405 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2837 2006 1111 63 0 2774 0
vsize: 11348
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 156474 0 2 0 89501 482 0 0 25 0 1 0 648740878 11751424 2043 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2869 2043 1111 63 0 2806 0
vsize: 11476
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 158184 0 2 0 90496 488 0 0 25 0 1 0 648740878 11419648 2024 4294967295 134512640 134714508 3221221792 3221217676 1074788912 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2788 2024 1111 63 0 2725 0
vsize: 11152
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 159839 0 2 0 91490 493 0 0 25 0 1 0 648740878 11694080 2090 4294967295 134512640 134714508 3221221792 3221218064 1074960874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2855 2090 1111 63 0 2792 0
vsize: 11420
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 161472 0 2 0 92485 498 0 0 25 0 1 0 648740878 10698752 1942 4294967295 134512640 134714508 3221221792 3221219836 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2612 1942 1111 63 0 2549 0
vsize: 10448
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 162939 0 2 0 93481 503 0 0 25 0 1 0 648740878 11751424 2038 4294967295 134512640 134714508 3221221792 3221218448 1075967926 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2869 2038 1111 63 0 2806 0
vsize: 11476
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 164374 0 2 0 94477 507 0 0 25 0 1 0 648740878 11739136 2034 4294967295 134512640 134714508 3221221792 3221217856 1074881425 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2866 2034 1111 63 0 2803 0
vsize: 11464
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 165659 0 2 0 95474 510 0 0 25 0 1 0 648740878 11563008 2023 4294967295 134512640 134714508 3221221792 3221217648 1074870969 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2823 2023 1111 63 0 2760 0
vsize: 11292
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 166876 0 2 0 96470 514 0 0 25 0 1 0 648740878 11747328 2036 4294967295 134512640 134714508 3221221792 3221218448 1075967880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2868 2036 1111 63 0 2805 0
vsize: 11472
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 168171 0 2 0 97466 518 0 0 25 0 1 0 648740878 11661312 2045 4294967295 134512640 134714508 3221221792 3221217876 1075964433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2847 2045 1111 63 0 2784 0
vsize: 11388
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 169360 0 2 0 98463 522 0 0 25 0 1 0 648740878 11821056 2079 4294967295 134512640 134714508 3221221792 3221217952 1074794664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2886 2079 1111 63 0 2823 0
vsize: 11544
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 171078 0 2 0 99457 528 0 0 25 0 1 0 648740878 11816960 2079 4294967295 134512640 134714508 3221221792 3221217632 1075965307 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2885 2079 1111 63 0 2822 0
vsize: 11540
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 172971 0 2 0 100451 534 0 0 25 0 1 0 648740878 11898880 2072 4294967295 134512640 134714508 3221221792 3221217876 1075964386 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2905 2072 1111 63 0 2842 0
vsize: 11620
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 174625 0 2 0 101446 539 0 0 25 0 1 0 648740878 11972608 2093 4294967295 134512640 134714508 3221221792 3221218176 1074972112 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2923 2093 1111 63 0 2860 0
vsize: 11692
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 176206 0 2 0 102442 543 0 0 25 0 1 0 648740878 12005376 2100 4294967295 134512640 134714508 3221221792 3221217728 1075965256 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2931 2100 1111 63 0 2868 0
vsize: 11724
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 177727 0 2 0 103438 548 0 0 25 0 1 0 648740878 11038720 2025 4294967295 134512640 134714508 3221221792 3221220464 134650219 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2695 2025 1111 63 0 2632 0
vsize: 10780
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 179429 0 2 0 104433 553 0 0 25 0 1 0 648740878 12099584 2190 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2954 2190 1111 63 0 2891 0
vsize: 11816
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 180910 0 2 0 105429 557 0 0 25 0 1 0 648740878 12128256 2133 4294967295 134512640 134714508 3221221792 3221218064 1074960916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2961 2133 1111 63 0 2898 0
vsize: 11844
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 182397 0 2 0 106424 562 0 0 25 0 1 0 648740878 11194368 2063 4294967295 134512640 134714508 3221221792 3221220096 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2733 2063 1111 63 0 2670 0
vsize: 10932
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 183580 0 2 0 107420 566 0 0 25 0 1 0 648740878 12046336 2139 4294967295 134512640 134714508 3221221792 3221217632 1075965248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2941 2139 1111 63 0 2878 0
vsize: 11764
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 184959 0 2 0 108416 570 0 0 25 0 1 0 648740878 12025856 2172 4294967295 134512640 134714508 3221221792 3221217648 1074870888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2936 2172 1111 63 0 2873 0
vsize: 11744
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 186462 0 2 0 109411 575 0 0 25 0 1 0 648740878 12292096 2170 4294967295 134512640 134714508 3221221792 3221217996 1075564159 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3001 2170 1111 63 0 2938 0
vsize: 12004
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 188196 0 2 0 110407 580 0 0 25 0 1 0 648740878 11333632 2097 4294967295 134512640 134714508 3221221792 3221220040 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2767 2097 1111 63 0 2704 0
vsize: 11068
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 189932 0 2 0 111402 585 0 0 25 0 1 0 648740878 12165120 2206 4294967295 134512640 134714508 3221221792 3221217952 1074794542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2970 2206 1111 63 0 2907 0
vsize: 11880
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 191450 0 2 0 112397 590 0 0 25 0 1 0 648740878 12410880 2205 4294967295 134512640 134714508 3221221792 3221217876 1075964431 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3030 2205 1111 63 0 2967 0
vsize: 12120
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 193245 0 2 0 113394 594 0 0 25 0 1 0 648740878 12447744 2209 4294967295 134512640 134714508 3221221792 3221218320 1075397189 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3039 2209 1111 63 0 2976 0
vsize: 12156
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 194845 0 2 0 114390 597 0 0 25 0 1 0 648740878 12201984 2216 4294967295 134512640 134714508 3221221792 3221217648 1074871257 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2979 2216 1111 63 0 2916 0
vsize: 11916
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 196414 0 2 0 115386 602 0 0 25 0 1 0 648740878 12431360 2203 4294967295 134512640 134714508 3221221792 3221217952 1075091617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3035 2203 1111 63 0 2972 0
vsize: 12140
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 197966 0 2 0 116382 606 0 0 25 0 1 0 648740878 12406784 2199 4294967295 134512640 134714508 3221221792 3221217608 1074788488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3029 2199 1111 63 0 2966 0
vsize: 12116
[startup+1175.79 s]
Raw data (loadavg): 0.99 0.97 0.98 1/53 2201
Raw data (stat): 2201 (bsolo_lpr) R 2200 7876 7672 0 -1 0 197966 0 2 0 116382 606 0 0 25 0 1 0 648740878 12406784 2199 4294967295 134512640 134714508 3221221792 3221217608 1074788488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3029 2199 1111 63 0 2966 0
vsize: 0

Child status: 10
Real time (s): 1175.79
CPU time (s): 1175.64
CPU user time (s): 1169.55
CPU system time (s): 6.09507
CPU usage (%): 99.9874
Max. virtual memory (Kb): 12156
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	274
#### END VERIFIER DATA ####