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/een/normalized-seymour.opb
MD5SUM	23a177449585151350479e80b33e6416
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	353
Optimality of the best value was proved	NO
Number of terms in the objective function	1372
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1372
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1372
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04984
Number of variables	1255
Total number of constraints	4827
Number of constraints which are clauses	4827
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	2
Maximum length of a constraint	19
Trace number 39762

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 19:57:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27827 boxname=wulflinc4 idbench=385 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  23a177449585151350479e80b33e6416  /oldhome/oroussel/tmp/wulflinc4/normalized-seymour.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-seymour.opb
IDLAUNCH: 27827
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        909944 kB
Buffers:         34016 kB
Cached:          67680 kB
SwapCached:        984 kB
Active:          41188 kB
Inactive:        62720 kB
HighTotal:      131008 kB
HighFree:        92120 kB
LowTotal:       903652 kB
LowFree:        817824 kB
SwapTotal:     2097136 kB
SwapFree:      2095204 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4920 kB
Slab:            15092 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 20:16:37 (client local time) WITH STATUS 10 IN 1175.43 SECONDS
stats: 27827 0 1175.43 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1372 variables and 4827 constraints.
c After prepocess the problem consists of 1372 variables and 4798 constraints.
c preprocess terminated 2.454 s
c Initial Lower Bound: 289
c Lower Bound Elapsed time: 6.02375
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1198 @ 27.006
c NEW SOLUTION FOUND: 1197 @ 27.041
c NEW SOLUTION FOUND: 1196 @ 27.057
c NEW SOLUTION FOUND: 1195 @ 27.074
c NEW SOLUTION FOUND: 1194 @ 27.091
c NEW SOLUTION FOUND: 1193 @ 27.107
c NEW SOLUTION FOUND: 1192 @ 27.141
c NEW SOLUTION FOUND: 1191 @ 27.157
c NEW SOLUTION FOUND: 1190 @ 27.174
c NEW SOLUTION FOUND: 1189 @ 27.191
c NEW SOLUTION FOUND: 1188 @ 27.208
c NEW SOLUTION FOUND: 1187 @ 27.225
c NEW SOLUTION FOUND: 1186 @ 27.242
c NEW SOLUTION FOUND: 1185 @ 27.259
c NEW SOLUTION FOUND: 1184 @ 27.276
c NEW SOLUTION FOUND: 1183 @ 27.293
c NEW SOLUTION FOUND: 1182 @ 27.31
c NEW SOLUTION FOUND: 1181 @ 27.327
c NEW SOLUTION FOUND: 1180 @ 27.344
c NEW SOLUTION FOUND: 1179 @ 27.361
c NEW SOLUTION FOUND: 1178 @ 27.378
c NEW SOLUTION FOUND: 1177 @ 27.395
c NEW SOLUTION FOUND: 1176 @ 27.412
c NEW SOLUTION FOUND: 1175 @ 27.448
c NEW SOLUTION FOUND: 1174 @ 27.484
c NEW SOLUTION FOUND: 1173 @ 27.502
c NEW SOLUTION FOUND: 1172 @ 27.539
c NEW SOLUTION FOUND: 1171 @ 27.576
c NEW SOLUTION FOUND: 1170 @ 27.613
c NEW SOLUTION FOUND: 1169 @ 27.632
c NEW SOLUTION FOUND: 1168 @ 27.651
c NEW SOLUTION FOUND: 1167 @ 27.689
c NEW SOLUTION FOUND: 1166 @ 27.708
c NEW SOLUTION FOUND: 1165 @ 27.727
c NEW SOLUTION FOUND: 1164 @ 27.746
c NEW SOLUTION FOUND: 1163 @ 27.765
c NEW SOLUTION FOUND: 1162 @ 27.785
c NEW SOLUTION FOUND: 1161 @ 27.804
c NEW SOLUTION FOUND: 1160 @ 27.843
c NEW SOLUTION FOUND: 1159 @ 27.861
c NEW SOLUTION FOUND: 1158 @ 27.881
c NEW SOLUTION FOUND: 1157 @ 27.92
c NEW SOLUTION FOUND: 1156 @ 27.958
c NEW SOLUTION FOUND: 1155 @ 27.997
c NEW SOLUTION FOUND: 1154 @ 28.037
c NEW SOLUTION FOUND: 1153 @ 28.056
c NEW SOLUTION FOUND: 1152 @ 28.076
c NEW SOLUTION FOUND: 1151 @ 28.096
c NEW SOLUTION FOUND: 1150 @ 28.117
c NEW SOLUTION FOUND: 1149 @ 28.137
c NEW SOLUTION FOUND: 1148 @ 28.177
c NEW SOLUTION FOUND: 1147 @ 28.217
c NEW SOLUTION FOUND: 1146 @ 28.237
c NEW SOLUTION FOUND: 1145 @ 28.257
c NEW SOLUTION FOUND: 1144 @ 28.298
c NEW SOLUTION FOUND: 1143 @ 28.318
c NEW SOLUTION FOUND: 1142 @ 28.339
c NEW SOLUTION FOUND: 1141 @ 28.36
c NEW SOLUTION FOUND: 1140 @ 28.38
c NEW SOLUTION FOUND: 1139 @ 28.401
c NEW SOLUTION FOUND: 1138 @ 28.422
c NEW SOLUTION FOUND: 1137 @ 28.463
c NEW SOLUTION FOUND: 1136 @ 28.504
c NEW SOLUTION FOUND: 1135 @ 28.524
c NEW SOLUTION FOUND: 1134 @ 28.566
c NEW SOLUTION FOUND: 1133 @ 28.586
c NEW SOLUTION FOUND: 1132 @ 28.607
c NEW SOLUTION FOUND: 1131 @ 28.649
c NEW SOLUTION FOUND: 1130 @ 28.67
c NEW SOLUTION FOUND: 1129 @ 28.712
c NEW SOLUTION FOUND: 1128 @ 28.754
c NEW SOLUTION FOUND: 1127 @ 28.774
c NEW SOLUTION FOUND: 1126 @ 28.816
c NEW SOLUTION FOUND: 1125 @ 28.837
c NEW SOLUTION FOUND: 1124 @ 28.858
c NEW SOLUTION FOUND: 1123 @ 28.9
c NEW SOLUTION FOUND: 1122 @ 28.921
c NEW SOLUTION FOUND: 1121 @ 28.964
c NEW SOLUTION FOUND: 1120 @ 28.985
c NEW SOLUTION FOUND: 1119 @ 29.007
c NEW SOLUTION FOUND: 1118 @ 29.028
c NEW SOLUTION FOUND: 1117 @ 29.05
c NEW SOLUTION FOUND: 1116 @ 29.071
c NEW SOLUTION FOUND: 1115 @ 29.093
c NEW SOLUTION FOUND: 1114 @ 29.115
c NEW SOLUTION FOUND: 1113 @ 29.159
c NEW SOLUTION FOUND: 1112 @ 29.182
c NEW SOLUTION FOUND: 1111 @ 29.203
c NEW SOLUTION FOUND: 1110 @ 29.225
c NEW SOLUTION FOUND: 1109 @ 29.27
c NEW SOLUTION FOUND: 1108 @ 29.291
c NEW SOLUTION FOUND: 1107 @ 29.314
c NEW SOLUTION FOUND: 1106 @ 29.336
c NEW SOLUTION FOUND: 1105 @ 29.359
c NEW SOLUTION FOUND: 1104 @ 29.381
c NEW SOLUTION FOUND: 1103 @ 29.426
c NEW SOLUTION FOUND: 1102 @ 29.447
c NEW SOLUTION FOUND: 1101 @ 29.47
c NEW SOLUTION FOUND: 1100 @ 29.493
c NEW SOLUTION FOUND: 1099 @ 29.538
c NEW SOLUTION FOUND: 1098 @ 29.56
c NEW SOLUTION FOUND: 1097 @ 29.606
c NEW SOLUTION FOUND: 1096 @ 29.629
c NEW SOLUTION FOUND: 1095 @ 29.651
c NEW SOLUTION FOUND: 1094 @ 29.674
c NEW SOLUTION FOUND: 1093 @ 29.697
c NEW SOLUTION FOUND: 1092 @ 29.721
c NEW SOLUTION FOUND: 1091 @ 29.767
c NEW SOLUTION FOUND: 1090 @ 29.858
c NEW SOLUTION FOUND: 1089 @ 29.881
c NEW SOLUTION FOUND: 1088 @ 29.905
c NEW SOLUTION FOUND: 1087 @ 29.953
c NEW SOLUTION FOUND: 1086 @ 29.977
c NEW SOLUTION FOUND: 1085 @ 30.074
c NEW SOLUTION FOUND: 1084 @ 30.099
c NEW SOLUTION FOUND: 1083 @ 30.256
c NEW SOLUTION FOUND: 1082 @ 30.312
c NEW SOLUTION FOUND: 1081 @ 30.448
c NEW SOLUTION FOUND: 1080 @ 30.619
c NEW SOLUTION FOUND: 1079 @ 30.827
c NEW SOLUTION FOUND: 1078 @ 30.97
c NEW SOLUTION FOUND: 1077 @ 31.11
c NEW SOLUTION FOUND: 1076 @ 31.328
c NEW SOLUTION FOUND: 1075 @ 31.482
c NEW SOLUTION FOUND: 1074 @ 31.634
c NEW SOLUTION FOUND: 1073 @ 31.788
c NEW SOLUTION FOUND: 1072 @ 31.945
c NEW SOLUTION FOUND: 1071 @ 32.074
c NEW SOLUTION FOUND: 1070 @ 32.266
c NEW SOLUTION FOUND: 1069 @ 32.421
c NEW SOLUTION FOUND: 1068 @ 32.552
c NEW SOLUTION FOUND: 1067 @ 32.676
c NEW SOLUTION FOUND: 1066 @ 32.832
c NEW SOLUTION FOUND: 1065 @ 32.959
c NEW SOLUTION FOUND: 1064 @ 33.083
c NEW SOLUTION FOUND: 1063 @ 33.211
c NEW SOLUTION FOUND: 1062 @ 33.247
c NEW SOLUTION FOUND: 1061 @ 33.341
c NEW SOLUTION FOUND: 1060 @ 33.437
c NEW SOLUTION FOUND: 1059 @ 33.475
c NEW SOLUTION FOUND: 1058 @ 33.54
c NEW SOLUTION FOUND: 1057 @ 33.675
c NEW SOLUTION FOUND: 1056 @ 33.748
c NEW SOLUTION FOUND: 1055 @ 33.782
c NEW SOLUTION FOUND: 1054 @ 33.859
c NEW SOLUTION FOUND: 1053 @ 33.898
c NEW SOLUTION FOUND: 1052 @ 33.937
c NEW SOLUTION FOUND: 1051 @ 33.976
c NEW SOLUTION FOUND: 1050 @ 34.015
c NEW SOLUTION FOUND: 1049 @ 34.094
c NEW SOLUTION FOUND: 1048 @ 34.135
c NEW SOLUTION FOUND: 1047 @ 34.175
c NEW SOLUTION FOUND: 1046 @ 34.26
c NEW SOLUTION FOUND: 1045 @ 34.383
c NEW SOLUTION FOUND: 1044 @ 34.424
c NEW SOLUTION FOUND: 1043 @ 34.554
c NEW SOLUTION FOUND: 1042 @ 34.6
c NEW SOLUTION FOUND: 1041 @ 34.643
c NEW SOLUTION FOUND: 1040 @ 34.687
c NEW SOLUTION FOUND: 1039 @ 34.73
c NEW SOLUTION FOUND: 1038 @ 34.819
c NEW SOLUTION FOUND: 1037 @ 34.913
c NEW SOLUTION FOUND: 1036 @ 34.961
c NEW SOLUTION FOUND: 1035 @ 35.01
c NEW SOLUTION FOUND: 1034 @ 35.108
c NEW SOLUTION FOUND: 1033 @ 35.156
c NEW SOLUTION FOUND: 1032 @ 35.356
c NEW SOLUTION FOUND: 1031 @ 35.469
c NEW SOLUTION FOUND: 1030 @ 35.523
c NEW SOLUTION FOUND: 1029 @ 35.577
c NEW SOLUTION FOUND: 1028 @ 35.631
c NEW SOLUTION FOUND: 1027 @ 35.687
c NEW SOLUTION FOUND: 1026 @ 35.74
c NEW SOLUTION FOUND: 1025 @ 35.793
c NEW SOLUTION FOUND: 1024 @ 35.907
c NEW SOLUTION FOUND: 1023 @ 35.962
c NEW SOLUTION FOUND: 1022 @ 36.019
c NEW SOLUTION FOUND: 1021 @ 36.19
c NEW SOLUTION FOUND: 1020 @ 36.248
c NEW SOLUTION FOUND: 1019 @ 36.306
c NEW SOLUTION FOUND: 1018 @ 36.365
c NEW SOLUTION FOUND: 1017 @ 36.542
c NEW SOLUTION FOUND: 1016 @ 36.605
c NEW SOLUTION FOUND: 1015 @ 36.666
c NEW SOLUTION FOUND: 1014 @ 36.728
c NEW SOLUTION FOUND: 1013 @ 36.789
c NEW SOLUTION FOUND: 1012 @ 36.854
c NEW SOLUTION FOUND: 1011 @ 36.916
c NEW SOLUTION FOUND: 1010 @ 36.979
c NEW SOLUTION FOUND: 1009 @ 37.043
c NEW SOLUTION FOUND: 1008 @ 37.105
c NEW SOLUTION FOUND: 1007 @ 37.167
c NEW SOLUTION FOUND: 1006 @ 37.231
c NEW SOLUTION FOUND: 1005 @ 37.295
c NEW SOLUTION FOUND: 1004 @ 37.357
c NEW SOLUTION FOUND: 1003 @ 37.419
c NEW SOLUTION FOUND: 1002 @ 37.484
c NEW SOLUTION FOUND: 1001 @ 37.549
c NEW SOLUTION FOUND: 1000 @ 37.611
c NEW SOLUTION FOUND: 999 @ 37.673
c NEW SOLUTION FOUND: 998 @ 37.791
c NEW SOLUTION FOUND: 997 @ 37.912
c NEW SOLUTION FOUND: 996 @ 37.975
c NEW SOLUTION FOUND: 995 @ 38.037
c NEW SOLUTION FOUND: 994 @ 38.103
c NEW SOLUTION FOUND: 993 @ 38.41
c NEW SOLUTION FOUND: 992 @ 38.951
c NEW SOLUTION FOUND: 991 @ 39.733
c NEW SOLUTION FOUND: 990 @ 40.587
c NEW SOLUTION FOUND: 989 @ 41.131
c NEW SOLUTION FOUND: 988 @ 41.734
c NEW SOLUTION FOUND: 987 @ 42.463
c NEW SOLUTION FOUND: 986 @ 43.006
c NEW SOLUTION FOUND: 985 @ 43.477
c NEW SOLUTION FOUND: 984 @ 44.134
c NEW SOLUTION FOUND: 983 @ 44.786
c NEW SOLUTION FOUND: 982 @ 45.437
c NEW SOLUTION FOUND: 981 @ 46.083
c NEW SOLUTION FOUND: 980 @ 46.626
c NEW SOLUTION FOUND: 979 @ 47.267
c NEW SOLUTION FOUND: 978 @ 47.921
c NEW SOLUTION FOUND: 977 @ 48.398
c NEW SOLUTION FOUND: 976 @ 48.994
c NEW SOLUTION FOUND: 975 @ 49.64
c NEW SOLUTION FOUND: 974 @ 50.349
c NEW SOLUTION FOUND: 973 @ 51.068
c NEW SOLUTION FOUND: 972 @ 51.744
c NEW SOLUTION FOUND: 971 @ 52.465
c NEW SOLUTION FOUND: 970 @ 53.254
c NEW SOLUTION FOUND: 969 @ 54.031
c NEW SOLUTION FOUND: 968 @ 54.811
c NEW SOLUTION FOUND: 967 @ 55.63
c NEW SOLUTION FOUND: 966 @ 56.352
c NEW SOLUTION FOUND: 965 @ 56.833
c NEW SOLUTION FOUND: 964 @ 57.264
c NEW SOLUTION FOUND: 963 @ 57.861
c NEW SOLUTION FOUND: 962 @ 58.473
c NEW SOLUTION FOUND: 961 @ 58.894
c NEW SOLUTION FOUND: 960 @ 59.326
c NEW SOLUTION FOUND: 959 @ 59.816
c NEW SOLUTION FOUND: 958 @ 60.367
c NEW SOLUTION FOUND: 957 @ 60.976
c NEW SOLUTION FOUND: 956 @ 61.463
c NEW SOLUTION FOUND: 955 @ 61.827
c NEW SOLUTION FOUND: 954 @ 62.306
c NEW SOLUTION FOUND: 953 @ 62.673
c NEW SOLUTION FOUND: 952 @ 63.03
c NEW SOLUTION FOUND: 951 @ 63.382
c NEW SOLUTION FOUND: 950 @ 63.865
c NEW SOLUTION FOUND: 949 @ 64.29
c NEW SOLUTION FOUND: 948 @ 64.473
c NEW SOLUTION FOUND: 947 @ 64.657
c NEW SOLUTION FOUND: 946 @ 64.84
c NEW SOLUTION FOUND: 945 @ 65.028
c NEW SOLUTION FOUND: 944 @ 65.264
c NEW SOLUTION FOUND: 943 @ 65.688
c NEW SOLUTION FOUND: 942 @ 66.101
c NEW SOLUTION FOUND: 941 @ 66.351
c NEW SOLUTION FOUND: 940 @ 66.585
c NEW SOLUTION FOUND: 939 @ 66.887
c NEW SOLUTION FOUND: 938 @ 67.185
c NEW SOLUTION FOUND: 937 @ 67.659
c NEW SOLUTION FOUND: 936 @ 68.073
c NEW SOLUTION FOUND: 935 @ 68.311
c NEW SOLUTION FOUND: 934 @ 68.701
c NEW SOLUTION FOUND: 933 @ 69.109
c NEW SOLUTION FOUND: 932 @ 69.521
c NEW SOLUTION FOUND: 931 @ 69.944
c NEW SOLUTION FOUND: 930 @ 70.176
c NEW SOLUTION FOUND: 929 @ 70.65
c NEW SOLUTION FOUND: 928 @ 71.069
c NEW SOLUTION FOUND: 927 @ 71.304
c NEW SOLUTION FOUND: 926 @ 71.542
c NEW SOLUTION FOUND: 925 @ 71.773
c NEW SOLUTION FOUND: 924 @ 72.013
c NEW SOLUTION FOUND: 923 @ 72.193
c NEW SOLUTION FOUND: 922 @ 72.376
c NEW SOLUTION FOUND: 921 @ 72.56
c NEW SOLUTION FOUND: 920 @ 72.976
c NEW SOLUTION FOUND: 919 @ 73.39
c NEW SOLUTION FOUND: 918 @ 73.621
c NEW SOLUTION FOUND: 917 @ 73.862
c NEW SOLUTION FOUND: 916 @ 74.038
c NEW SOLUTION FOUND: 915 @ 74.222
c NEW SOLUTION FOUND: 914 @ 74.407
c NEW SOLUTION FOUND: 913 @ 74.645
c NEW SOLUTION FOUND: 912 @ 74.987
c NEW SOLUTION FOUND: 911 @ 75.399
c NEW SOLUTION FOUND: 910 @ 75.869
c NEW SOLUTION FOUND: 909 @ 76.223
c NEW SOLUTION FOUND: 908 @ 76.467
c NEW SOLUTION FOUND: 907 @ 76.872
c NEW SOLUTION FOUND: 906 @ 77.279
c NEW SOLUTION FOUND: 905 @ 77.519
c NEW SOLUTION FOUND: 904 @ 77.758
c NEW SOLUTION FOUND: 903 @ 77.999
c NEW SOLUTION FOUND: 902 @ 78.236
c NEW SOLUTION FOUND: 901 @ 78.527
c NEW SOLUTION FOUND: 900 @ 78.767
c NEW SOLUTION FOUND: 899 @ 79.003
c NEW SOLUTION FOUND: 898 @ 79.464
c NEW SOLUTION FOUND: 897 @ 79.997
c NEW SOLUTION FOUND: 896 @ 80.292
c NEW SOLUTION FOUND: 895 @ 80.533
c NEW SOLUTION FOUND: 894 @ 80.713
c NEW SOLUTION FOUND: 893 @ 80.951
c NEW SOLUTION FOUND: 892 @ 81.193
c NEW SOLUTION FOUND: 891 @ 81.374
c NEW SOLUTION FOUND: 890 @ 81.555
c NEW SOLUTION FOUND: 889 @ 81.919
c NEW SOLUTION FOUND: 888 @ 82.329
c NEW SOLUTION FOUND: 887 @ 82.68
c NEW SOLUTION FOUND: 886 @ 82.919
c NEW SOLUTION FOUND: 885 @ 83.102
c NEW SOLUTION FOUND: 884 @ 83.341
c NEW SOLUTION FOUND: 883 @ 83.64
c NEW SOLUTION FOUND: 882 @ 83.994
c NEW SOLUTION FOUND: 881 @ 84.289
c NEW SOLUTION FOUND: 880 @ 84.638
c NEW SOLUTION FOUND: 879 @ 85.046
c NEW SOLUTION FOUND: 878 @ 85.391
c NEW SOLUTION FOUND: 877 @ 85.797
c NEW SOLUTION FOUND: 876 @ 86.26
c NEW SOLUTION FOUND: 875 @ 86.723
c NEW SOLUTION FOUND: 874 @ 86.958
c NEW SOLUTION FOUND: 873 @ 87.138
c NEW SOLUTION FOUND: 872 @ 87.385
c NEW SOLUTION FOUND: 871 @ 87.567
c NEW SOLUTION FOUND: 870 @ 87.811
c NEW SOLUTION FOUND: 869 @ 88.051
c NEW SOLUTION FOUND: 868 @ 88.232
c NEW SOLUTION FOUND: 867 @ 88.415
c NEW SOLUTION FOUND: 866 @ 88.593
c NEW SOLUTION FOUND: 865 @ 88.944
c NEW SOLUTION FOUND: 864 @ 89.352
c NEW SOLUTION FOUND: 863 @ 89.592
c NEW SOLUTION FOUND: 862 @ 89.778
c NEW SOLUTION FOUND: 861 @ 89.964
c NEW SOLUTION FOUND: 860 @ 90.198
c NEW SOLUTION FOUND: 859 @ 90.495
c NEW SOLUTION FOUND: 858 @ 90.85
c NEW SOLUTION FOUND: 857 @ 91.263
c NEW SOLUTION FOUND: 856 @ 91.694
c NEW SOLUTION FOUND: 855 @ 91.99
c NEW SOLUTION FOUND: 854 @ 92.289
c NEW SOLUTION FOUND: 853 @ 92.699
c NEW SOLUTION FOUND: 852 @ 93.119
c NEW SOLUTION FOUND: 851 @ 93.364
c NEW SOLUTION FOUND: 850 @ 93.55
c NEW SOLUTION FOUND: 849 @ 93.731
c NEW SOLUTION FOUND: 848 @ 94.034
c NEW SOLUTION FOUND: 847 @ 94.342
c NEW SOLUTION FOUND: 846 @ 94.586
c NEW SOLUTION FOUND: 845 @ 94.951
c NEW SOLUTION FOUND: 844 @ 95.257
c NEW SOLUTION FOUND: 843 @ 95.445
c NEW SOLUTION FOUND: 842 @ 95.628
c NEW SOLUTION FOUND: 841 @ 95.866
c NEW SOLUTION FOUND: 840 @ 96.114
c NEW SOLUTION FOUND: 839 @ 96.419
c NEW SOLUTION FOUND: 838 @ 96.72
c NEW SOLUTION FOUND: 837 @ 96.963
c NEW SOLUTION FOUND: 836 @ 97.206
c NEW SOLUTION FOUND: 835 @ 97.392
c NEW SOLUTION FOUND: 834 @ 97.691
c NEW SOLUTION FOUND: 833 @ 97.994
c NEW SOLUTION FOUND: 832 @ 98.18
c NEW SOLUTION FOUND: 831 @ 98.418
c NEW SOLUTION FOUND: 830 @ 98.661
c NEW SOLUTION FOUND: 829 @ 98.9
c NEW SOLUTION FOUND: 828 @ 99.19
c NEW SOLUTION FOUND: 827 @ 99.602
c NEW SOLUTION FOUND: 826 @ 100.081
c NEW SOLUTION FOUND: 825 @ 100.318
c NEW SOLUTION FOUND: 824 @ 100.5
c NEW SOLUTION FOUND: 823 @ 100.849
c NEW SOLUTION FOUND: 822 @ 101.382
c NEW SOLUTION FOUND: 821 @ 101.795
c NEW SOLUTION FOUND: 820 @ 102.16
c NEW SOLUTION FOUND: 819 @ 102.346
c NEW SOLUTION FOUND: 818 @ 102.58
c NEW SOLUTION FOUND: 817 @ 103
c NEW SOLUTION FOUND: 816 @ 103.411
c NEW SOLUTION FOUND: 815 @ 103.656
c NEW SOLUTION FOUND: 814 @ 103.84
c NEW SOLUTION FOUND: 813 @ 104.079
c NEW SOLUTION FOUND: 812 @ 104.382
c NEW SOLUTION FOUND: 811 @ 104.688
c NEW SOLUTION FOUND: 810 @ 105.091
c NEW SOLUTION FOUND: 809 @ 105.452
c NEW SOLUTION FOUND: 808 @ 105.638
c NEW SOLUTION FOUND: 807 @ 105.885
c NEW SOLUTION FOUND: 806 @ 106.124
c NEW SOLUTION FOUND: 805 @ 106.426
c NEW SOLUTION FOUND: 804 @ 106.735
c NEW SOLUTION FOUND: 803 @ 107.083
c NEW SOLUTION FOUND: 802 @ 107.497
c NEW SOLUTION FOUND: 801 @ 107.74
c NEW SOLUTION FOUND: 800 @ 108.047
c NEW SOLUTION FOUND: 799 @ 108.412
c NEW SOLUTION FOUND: 798 @ 108.77
c NEW SOLUTION FOUND: 797 @ 109.188
c NEW SOLUTION FOUND: 796 @ 109.66
c NEW SOLUTION FOUND: 795 @ 110.141
c NEW SOLUTION FOUND: 794 @ 110.558
c NEW SOLUTION FOUND: 793 @ 110.799
c NEW SOLUTION FOUND: 792 @ 111.095
c NEW SOLUTION FOUND: 791 @ 111.401
c NEW SOLUTION FOUND: 790 @ 111.832
c NEW SOLUTION FOUND: 789 @ 112.305
c NEW SOLUTION FOUND: 788 @ 112.605
c NEW SOLUTION FOUND: 787 @ 112.902
c NEW SOLUTION FOUND: 786 @ 113.144
c NEW SOLUTION FOUND: 785 @ 113.383
c NEW SOLUTION FOUND: 784 @ 113.812
c NEW SOLUTION FOUND: 783 @ 114.172
c NEW SOLUTION FOUND: 782 @ 114.354
c NEW SOLUTION FOUND: 781 @ 114.536
c NEW SOLUTION FOUND: 780 @ 114.833
c NEW SOLUTION FOUND: 779 @ 115.078
c NEW SOLUTION FOUND: 778 @ 115.26
c NEW SOLUTION FOUND: 777 @ 115.563
c NEW SOLUTION FOUND: 776 @ 115.869
c NEW SOLUTION FOUND: 775 @ 116.05
c NEW SOLUTION FOUND: 774 @ 116.236
c NEW SOLUTION FOUND: 773 @ 116.474
c NEW SOLUTION FOUND: 772 @ 116.828
c NEW SOLUTION FOUND: 771 @ 117.187
c NEW SOLUTION FOUND: 770 @ 117.486
c NEW SOLUTION FOUND: 769 @ 117.736
c NEW SOLUTION FOUND: 768 @ 117.915
c NEW SOLUTION FOUND: 767 @ 118.211
c NEW SOLUTION FOUND: 766 @ 118.569
c NEW SOLUTION FOUND: 765 @ 118.871
c NEW SOLUTION FOUND: 764 @ 119.055
c NEW SOLUTION FOUND: 763 @ 119.294
c NEW SOLUTION FOUND: 762 @ 119.594
c NEW SOLUTION FOUND: 761 @ 119.899
c NEW SOLUTION FOUND: 760 @ 120.203
c NEW SOLUTION FOUND: 759 @ 120.572
c NEW SOLUTION FOUND: 758 @ 120.757
c NEW SOLUTION FOUND: 757 @ 121.004
c NEW SOLUTION FOUND: 756 @ 121.361
c NEW SOLUTION FOUND: 755 @ 121.724
c NEW SOLUTION FOUND: 754 @ 121.912
c NEW SOLUTION FOUND: 753 @ 122.216
c NEW SOLUTION FOUND: 752 @ 122.571
c NEW SOLUTION FOUND: 751 @ 122.875
c NEW SOLUTION FOUND: 750 @ 123.183
c NEW SOLUTION FOUND: 749 @ 123.483
c NEW SOLUTION FOUND: 748 @ 123.667
c NEW SOLUTION FOUND: 747 @ 123.852
c NEW SOLUTION FOUND: 746 @ 124.095
c NEW SOLUTION FOUND: 745 @ 124.336
c NEW SOLUTION FOUND: 744 @ 124.635
c NEW SOLUTION FOUND: 743 @ 125.063
c NEW SOLUTION FOUND: 742 @ 125.425
c NEW SOLUTION FOUND: 741 @ 125.609
c NEW SOLUTION FOUND: 740 @ 125.856
c NEW SOLUTION FOUND: 739 @ 126.154
c NEW SOLUTION FOUND: 738 @ 126.518
c NEW SOLUTION FOUND: 737 @ 126.824
c NEW SOLUTION FOUND: 736 @ 127.069
c NEW SOLUTION FOUND: 735 @ 127.309
c NEW SOLUTION FOUND: 734 @ 127.72
c NEW SOLUTION FOUND: 733 @ 128.088
c NEW SOLUTION FOUND: 732 @ 128.274
c NEW SOLUTION FOUND: 731 @ 128.459
c NEW SOLUTION FOUND: 730 @ 128.645
c NEW SOLUTION FOUND: 729 @ 128.957
c NEW SOLUTION FOUND: 728 @ 129.315
c NEW SOLUTION FOUND: 727 @ 129.558
c NEW SOLUTION FOUND: 726 @ 129.91
c NEW SOLUTION FOUND: 725 @ 130.503
c NEW SOLUTION FOUND: 724 @ 130.992
c NEW SOLUTION FOUND: 723 @ 131.182
c NEW SOLUTION FOUND: 722 @ 131.365
c NEW SOLUTION FOUND: 721 @ 131.551
c NEW SOLUTION FOUND: 720 @ 131.792
c NEW SOLUTION FOUND: 719 @ 132.036
c NEW SOLUTION FOUND: 718 @ 132.28
c NEW SOLUTION FOUND: 717 @ 132.527
c NEW SOLUTION FOUND: 716 @ 132.714
c NEW SOLUTION FOUND: 715 @ 132.898
c NEW SOLUTION FOUND: 714 @ 133.142
c NEW SOLUTION FOUND: 713 @ 133.44
c NEW SOLUTION FOUND: 712 @ 133.809
c NEW SOLUTION FOUND: 711 @ 134.113
c NEW SOLUTION FOUND: 710 @ 134.295
c NEW SOLUTION FOUND: 709 @ 134.536
c NEW SOLUTION FOUND: 708 @ 134.841
c NEW SOLUTION FOUND: 707 @ 135.153
c NEW SOLUTION FOUND: 706 @ 135.557
c NEW SOLUTION FOUND: 705 @ 135.919
c NEW SOLUTION FOUND: 704 @ 136.163
c NEW SOLUTION FOUND: 703 @ 136.412
c NEW SOLUTION FOUND: 702 @ 136.72
c NEW SOLUTION FOUND: 701 @ 137.09
c NEW SOLUTION FOUND: 700 @ 137.404
c NEW SOLUTION FOUND: 699 @ 137.758
c NEW SOLUTION FOUND: 698 @ 138.059
c NEW SOLUTION FOUND: 697 @ 138.243
c NEW SOLUTION FOUND: 696 @ 138.545
c NEW SOLUTION FOUND: 695 @ 138.9
c NEW SOLUTION FOUND: 694 @ 139.144
c NEW SOLUTION FOUND: 693 @ 139.392
c NEW SOLUTION FOUND: 692 @ 139.697
c NEW SOLUTION FOUND: 691 @ 140.059
c NEW SOLUTION FOUND: 690 @ 140.484
c NEW SOLUTION FOUND: 689 @ 140.788
c NEW SOLUTION FOUND: 688 @ 141.15
c NEW SOLUTION FOUND: 687 @ 141.515
c NEW SOLUTION FOUND: 686 @ 141.824
c NEW SOLUTION FOUND: 685 @ 142.063
c NEW SOLUTION FOUND: 684 @ 142.362
c NEW SOLUTION FOUND: 683 @ 142.667
c NEW SOLUTION FOUND: 682 @ 142.911
c NEW SOLUTION FOUND: 681 @ 143.215
c NEW SOLUTION FOUND: 680 @ 143.575
c NEW SOLUTION FOUND: 679 @ 143.881
c NEW SOLUTION FOUND: 678 @ 144.248
c NEW SOLUTION FOUND: 677 @ 144.665
c NEW SOLUTION FOUND: 676 @ 144.96
c NEW SOLUTION FOUND: 675 @ 145.206
c NEW SOLUTION FOUND: 674 @ 145.499
c NEW SOLUTION FOUND: 673 @ 145.86
c NEW SOLUTION FOUND: 672 @ 146.232
c NEW SOLUTION FOUND: 671 @ 146.586
c NEW SOLUTION FOUND: 670 @ 146.831
c NEW SOLUTION FOUND: 669 @ 147.188
c NEW SOLUTION FOUND: 668 @ 147.546
c NEW SOLUTION FOUND: 667 @ 147.73
c NEW SOLUTION FOUND: 666 @ 147.972
c NEW SOLUTION FOUND: 665 @ 148.333
c NEW SOLUTION FOUND: 664 @ 148.636
c NEW SOLUTION FOUND: 663 @ 148.935
c NEW SOLUTION FOUND: 662 @ 149.292
c NEW SOLUTION FOUND: 661 @ 149.594
c NEW SOLUTION FOUND: 660 @ 149.893
c NEW SOLUTION FOUND: 659 @ 150.379
c NEW SOLUTION FOUND: 658 @ 150.849
c NEW SOLUTION FOUND: 657 @ 151.198
c NEW SOLUTION FOUND: 656 @ 151.501
c NEW SOLUTION FOUND: 655 @ 151.743
c NEW SOLUTION FOUND: 654 @ 152.109
c NEW SOLUTION FOUND: 653 @ 152.417
c NEW SOLUTION FOUND: 652 @ 152.661
c NEW SOLUTION FOUND: 651 @ 152.963
c NEW SOLUTION FOUND: 650 @ 153.213
c NEW SOLUTION FOUND: 649 @ 153.516
c NEW SOLUTION FOUND: 648 @ 153.763
c NEW SOLUTION FOUND: 647 @ 154.126
c NEW SOLUTION FOUND: 646 @ 154.54
c NEW SOLUTION FOUND: 645 @ 154.779
c NEW SOLUTION FOUND: 644 @ 154.96
c NEW SOLUTION FOUND: 643 @ 155.214
c NEW SOLUTION FOUND: 642 @ 155.412
c NEW SOLUTION FOUND: 641 @ 155.605
c NEW SOLUTION FOUND: 640 @ 155.858
c NEW SOLUTION FOUND: 639 @ 156.175
c NEW SOLUTION FOUND: 638 @ 156.496
c NEW SOLUTION FOUND: 637 @ 156.683
c NEW SOLUTION FOUND: 636 @ 156.872
c NEW SOLUTION FOUND: 635 @ 157.062
c NEW SOLUTION FOUND: 634 @ 157.324
c NEW SOLUTION FOUND: 633 @ 157.58
c NEW SOLUTION FOUND: 632 @ 157.893
c NEW SOLUTION FOUND: 631 @ 158.268
c NEW SOLUTION FOUND: 630 @ 158.579
c NEW SOLUTION FOUND: 629 @ 158.834
c NEW SOLUTION FOUND: 628 @ 159.094
c NEW SOLUTION FOUND: 627 @ 159.346
c NEW SOLUTION FOUND: 626 @ 159.599
c NEW SOLUTION FOUND: 625 @ 159.855
c NEW SOLUTION FOUND: 624 @ 160.175
c NEW SOLUTION FOUND: 623 @ 160.542
c NEW SOLUTION FOUND: 622 @ 160.917
c NEW SOLUTION FOUND: 621 @ 161.235
c NEW SOLUTION FOUND: 620 @ 161.488
c NEW SOLUTION FOUND: 619 @ 161.791
c NEW SOLUTION FOUND: 618 @ 162.166
c NEW SOLUTION FOUND: 617 @ 162.489
c NEW SOLUTION FOUND: 616 @ 162.919
c NEW SOLUTION FOUND: 615 @ 163.418
c NEW SOLUTION FOUND: 614 @ 163.667
c NEW SOLUTION FOUND: 613 @ 163.919
c NEW SOLUTION FOUND: 612 @ 164.298
c NEW SOLUTION FOUND: 611 @ 164.738
c NEW SOLUTION FOUND: 610 @ 165.18
c NEW SOLUTION FOUND: 609 @ 165.557
c NEW SOLUTION FOUND: 608 @ 165.751
c NEW SOLUTION FOUND: 607 @ 165.943
c NEW SOLUTION FOUND: 606 @ 166.136
c NEW SOLUTION FOUND: 605 @ 166.327
c NEW SOLUTION FOUND: 604 @ 166.522
c NEW SOLUTION FOUND: 603 @ 166.777
c NEW SOLUTION FOUND: 602 @ 167.095
c NEW SOLUTION FOUND: 601 @ 167.35
c NEW SOLUTION FOUND: 600 @ 167.67
c NEW SOLUTION FOUND: 599 @ 168.048
c NEW SOLUTION FOUND: 598 @ 168.299
c NEW SOLUTION FOUND: 597 @ 168.621
c NEW SOLUTION FOUND: 596 @ 169.053
c NEW SOLUTION FOUND: 595 @ 169.511
c NEW SOLUTION FOUND: 594 @ 169.973
c NEW SOLUTION FOUND: 593 @ 170.419
c NEW SOLUTION FOUND: 592 @ 170.81
c NEW SOLUTION FOUND: 591 @ 171.198
c NEW SOLUTION FOUND: 590 @ 171.522
c NEW SOLUTION FOUND: 589 @ 171.718
c NEW SOLUTION FOUND: 588 @ 172.112
c NEW SOLUTION FOUND: 587 @ 172.563
c NEW SOLUTION FOUND: 586 @ 172.887
c NEW SOLUTION FOUND: 585 @ 173.22
c NEW SOLUTION FOUND: 584 @ 173.541
c NEW SOLUTION FOUND: 583 @ 173.865
c NEW SOLUTION FOUND: 582 @ 174.189
c NEW SOLUTION FOUND: 581 @ 174.449
c NEW SOLUTION FOUND: 580 @ 174.706
c NEW SOLUTION FOUND: 579 @ 174.968
c NEW SOLUTION FOUND: 578 @ 175.367
c NEW SOLUTION FOUND: 577 @ 175.836
c NEW SOLUTION FOUND: 576 @ 176.166
c NEW SOLUTION FOUND: 575 @ 176.495
c NEW SOLUTION FOUND: 574 @ 176.825
c NEW SOLUTION FOUND: 573 @ 177.03
c NEW SOLUTION FOUND: 572 @ 177.294
c NEW SOLUTION FOUND: 571 @ 177.675
c NEW SOLUTION FOUND: 570 @ 178.137
c NEW SOLUTION FOUND: 569 @ 178.464
c NEW SOLUTION FOUND: 568 @ 178.866
c NEW SOLUTION FOUND: 567 @ 179.314
c NEW SOLUTION FOUND: 566 @ 179.584
c NEW SOLUTION FOUND: 565 @ 179.85
c NEW SOLUTION FOUND: 564 @ 180.115
c NEW SOLUTION FOUND: 563 @ 180.578
c NEW SOLUTION FOUND: 562 @ 181.05
c NEW SOLUTION FOUND: 561 @ 181.317
c NEW SOLUTION FOUND: 560 @ 181.583
c NEW SOLUTION FOUND: 559 @ 181.915
c NEW SOLUTION FOUND: 558 @ 182.311
c NEW SOLUTION FOUND: 557 @ 182.701
c NEW SOLUTION FOUND: 556 @ 183.098
c NEW SOLUTION FOUND: 555 @ 183.428
c NEW SOLUTION FOUND: 554 @ 183.7
c NEW SOLUTION FOUND: 553 @ 184.026
c NEW SOLUTION FOUND: 552 @ 184.358
c NEW SOLUTION FOUND: 551 @ 184.634
c NEW SOLUTION FOUND: 550 @ 184.972
c NEW SOLUTION FOUND: 549 @ 185.373
c NEW SOLUTION FOUND: 548 @ 185.777
c NEW SOLUTION FOUND: 547 @ 186.4
c NEW SOLUTION FOUND: 546 @ 186.887
c NEW SOLUTION FOUND: 545 @ 187.39
c NEW SOLUTION FOUND: 544 @ 188.055
c NEW SOLUTION FOUND: 543 @ 188.569
c NEW SOLUTION FOUND: 542 @ 188.944
c NEW SOLUTION FOUND: 541 @ 189.481
c NEW SOLUTION FOUND: 540 @ 189.93
c NEW SOLUTION FOUND: 539 @ 190.227
c NEW SOLUTION FOUND: 538 @ 190.604
c NEW SOLUTION FOUND: 537 @ 190.986
c NEW SOLUTION FOUND: 536 @ 191.22
c NEW SOLUTION FOUND: 535 @ 191.522
c NEW SOLUTION FOUND: 534 @ 191.955
c NEW SOLUTION FOUND: 533 @ 192.481
c NEW SOLUTION FOUND: 532 @ 193.017
c NEW SOLUTION FOUND: 531 @ 193.408
c NEW SOLUTION FOUND: 530 @ 193.798
c NEW SOLUTION FOUND: 529 @ 194.19
c NEW SOLUTION FOUND: 528 @ 194.594
c NEW SOLUTION FOUND: 527 @ 195.051
c NEW SOLUTION FOUND: 526 @ 195.439
c NEW SOLUTION FOUND: 525 @ 195.914
c NEW SOLUTION FOUND: 524 @ 196.448
c NEW SOLUTION FOUND: 523 @ 196.903
c NEW SOLUTION FOUND: 522 @ 197.224
c NEW SOLUTION FOUND: 521 @ 197.614
c NEW SOLUTION FOUND: 520 @ 198.083
c NEW SOLUTION FOUND: 519 @ 198.64
c NEW SOLUTION FOUND: 518 @ 199.244
c NEW SOLUTION FOUND: 517 @ 199.629
c NEW SOLUTION FOUND: 516 @ 200.027
c NEW SOLUTION FOUND: 515 @ 200.413
c NEW SOLUTION FOUND: 514 @ 200.722
c NEW SOLUTION FOUND: 513 @ 201.113
c NEW SOLUTION FOUND: 512 @ 201.502
c NEW SOLUTION FOUND: 511 @ 201.966
c NEW SOLUTION FOUND: 510 @ 202.353
c NEW SOLUTION FOUND: 509 @ 202.674
c NEW SOLUTION FOUND: 508 @ 202.994
c NEW SOLUTION FOUND: 507 @ 203.232
c NEW SOLUTION FOUND: 506 @ 203.553
c NEW SOLUTION FOUND: 505 @ 204.033
c NEW SOLUTION FOUND: 504 @ 204.499
c NEW SOLUTION FOUND: 503 @ 205.21
c NEW SOLUTION FOUND: 502 @ 205.901
c NEW SOLUTION FOUND: 501 @ 206.373
c NEW SOLUTION FOUND: 500 @ 206.781
c NEW SOLUTION FOUND: 499 @ 207.276
c NEW SOLUTION FOUND: 498 @ 207.77
c NEW SOLUTION FOUND: 497 @ 208.105
c NEW SOLUTION FOUND: 496 @ 208.748
c NEW SOLUTION FOUND: 495 @ 209.322
c NEW SOLUTION FOUND: 494 @ 209.75
c NEW SOLUTION FOUND: 493 @ 210.251
c NEW SOLUTION FOUND: 492 @ 210.754
c NEW SOLUTION FOUND: 491 @ 211.267
c NEW SOLUTION FOUND: 490 @ 211.696
c NEW SOLUTION FOUND: 489 @ 211.973
c NEW SOLUTION FOUND: 488 @ 212.409
c NEW SOLUTION FOUND: 487 @ 212.935
c NEW SOLUTION FOUND: 486 @ 213.547
c NEW SOLUTION FOUND: 485 @ 213.989
c NEW SOLUTION FOUND: 484 @ 214.349
c NEW SOLUTION FOUND: 483 @ 214.887
c NEW SOLUTION FOUND: 482 @ 215.435
c NEW SOLUTION FOUND: 481 @ 215.81
c NEW SOLUTION FOUND: 480 @ 216.448
c NEW SOLUTION FOUND: 479 @ 217.273
c NEW SOLUTION FOUND: 478 @ 217.737
c NEW SOLUTION FOUND: 477 @ 218.114
c NEW SOLUTION FOUND: 476 @ 218.677
c NEW SOLUTION FOUND: 475 @ 219.054
c NEW SOLUTION FOUND: 474 @ 219.529
c NEW SOLUTION FOUND: 473 @ 220.175
c NEW SOLUTION FOUND: 472 @ 220.834
c NEW SOLUTION FOUND: 471 @ 221.126
c NEW SOLUTION FOUND: 470 @ 221.516
c NEW SOLUTION FOUND: 469 @ 222.001
c NEW SOLUTION FOUND: 468 @ 222.486
c NEW SOLUTION FOUND: 467 @ 222.974
c NEW SOLUTION FOUND: 466 @ 223.472
c NEW SOLUTION FOUND: 465 @ 224.042
c NEW SOLUTION FOUND: 464 @ 224.905
c NEW SOLUTION FOUND: 463 @ 226.085
c NEW SOLUTION FOUND: 462 @ 227.058
c NEW SOLUTION FOUND: 461 @ 227.46
c NEW SOLUTION FOUND: 460 @ 227.953
c NEW SOLUTION FOUND: 459 @ 228.441
c NEW SOLUTION FOUND: 458 @ 228.944
c NEW SOLUTION FOUND: 457 @ 229.447
c NEW SOLUTION FOUND: 456 @ 229.959
c NEW SOLUTION FOUND: 455 @ 230.574
c NEW SOLUTION FOUND: 454 @ 231.19
c NEW SOLUTION FOUND: 453 @ 231.719
c NEW SOLUTION FOUND: 452 @ 232.135
c NEW SOLUTION FOUND: 451 @ 232.662
c NEW SOLUTION FOUND: 450 @ 233.396
c NEW SOLUTION FOUND: 449 @ 234.245
c NEW SOLUTION FOUND: 448 @ 235.345
c NEW SOLUTION FOUND: 447 @ 235.905
c NEW SOLUTION FOUND: 446 @ 236.79
c NEW SOLUTION FOUND: 445 @ 238.188
c NEW SOLUTION FOUND: 444 @ 239.825
c NEW SOLUTION FOUND: 443 @ 240.91
c NEW SOLUTION FOUND: 442 @ 241.929
c NEW SOLUTION FOUND: 441 @ 242.711
c NEW SOLUTION FOUND: 440 @ 243.38
c NEW SOLUTION FOUND: 439 @ 244.342
c NEW SOLUTION FOUND: 438 @ 245.645
c NEW SOLUTION FOUND: 437 @ 246.893
c NEW SOLUTION FOUND: 436 @ 248.384
c NEW SOLUTION FOUND: 435 @ 250.364
c NEW SOLUTION FOUND: 434 @ 251.648
c NEW SOLUTION FOUND: 433 @ 252.621
c NEW SOLUTION FOUND: 432 @ 253.596
c NEW SOLUTION FOUND: 431 @ 254.592
c NEW SOLUTION FOUND: 430 @ 255.445
c NEW SOLUTION FOUND: 429 @ 256.412
c NEW SOLUTION FOUND: 428 @ 257.898
c NEW SOLUTION FOUND: 427 @ 260.242
c NEW SOLUTION FOUND: 426 @ 262.761
c NEW SOLUTION FOUND: 425 @ 264.892
c NEW SOLUTION FOUND: 424 @ 266.975
c NEW SOLUTION FOUND: 423 @ 268.674
c NEW SOLUTION FOUND: 422 @ 270.028
c NEW SOLUTION FOUND: 421 @ 271.654
c NEW SOLUTION FOUND: 420 @ 273.668
c NEW SOLUTION FOUND: 419 @ 275.089
c NEW SOLUTION FOUND: 418 @ 277.367
c NEW SOLUTION FOUND: 417 @ 279.648
c NEW SOLUTION FOUND: 416 @ 282.202
c NEW SOLUTION FOUND: 415 @ 285.422
c NEW SOLUTION FOUND: 414 @ 288.205
c NEW SOLUTION FOUND: 413 @ 290.67
c NEW SOLUTION FOUND: 412 @ 293.498
c NEW SOLUTION FOUND: 411 @ 296.344
c NEW SOLUTION FOUND: 410 @ 298.975
c NEW SOLUTION FOUND: 409 @ 301.867
c NEW SOLUTION FOUND: 408 @ 304.52
c NEW SOLUTION FOUND: 407 @ 306.135
c NEW SOLUTION FOUND: 406 @ 308.063
c NEW SOLUTION FOUND: 405 @ 310.087
c NEW SOLUTION FOUND: 404 @ 314.683
c NEW SOLUTION FOUND: 403 @ 319.241
c NEW SOLUTION FOUND: 402 @ 332.253
c NEW SOLUTION FOUND: 401 @ 343.858
c NEW SOLUTION FOUND: 400 @ 347.833
c NEW SOLUTION FOUND: 399 @ 349.904
c NEW SOLUTION FOUND: 398 @ 373
c NEW SOLUTION FOUND: 397 @ 376.781
c NEW SOLUTION FOUND: 396 @ 381.454
c NEW SOLUTION FOUND: 395 @ 385.679
c NEW SOLUTION FOUND: 394 @ 392.755
c NEW SOLUTION FOUND: 393 @ 398.893
c NEW SOLUTION FOUND: 392 @ 403.934
c NEW SOLUTION FOUND: 391 @ 411.811
c NEW SOLUTION FOUND: 390 @ 421.895
c NEW SOLUTION FOUND: 389 @ 456.62
c NEW SOLUTION FOUND: 388 @ 470.512
c NEW SOLUTION FOUND: 387 @ 512.22
c NEW SOLUTION FOUND: 386 @ 523.378
c NEW SOLUTION FOUND: 385 @ 534.954
c NEW SOLUTION FOUND: 384 @ 549.188
c NEW SOLUTION FOUND: 383 @ 681.184
c NEW SOLUTION FOUND: 382 @ 690.938
c NEW SOLUTION FOUND: 381 @ 703.449
c NEW SOLUTION FOUND: 380 @ 714.945
c NEW SOLUTION FOUND: 379 @ 817.703
c NEW SOLUTION FOUND: 378 @ 960.138
c NEW SOLUTION FOUND: 377 @ 1156.18
s SATISFIABLE
v x0 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 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 x1285 -x1286 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 
c Exit Code: 10
c Total time: 1175.42 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.92 0.97 0.91 1/54 19409
Raw data (stat): 19409 (runsolver) D 19408 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 895676715 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 19409
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 3873 0 0 0 985 11 0 0 25 0 1 0 895676715 17817600 3444 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4350 3444 1111 63 0 4287 0
vsize: 17400
[startup+20 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 19409
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 4011 0 0 0 1985 11 0 0 25 0 1 0 895676715 17600512 3426 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4297 3426 1111 63 0 4234 0
vsize: 17188
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 19409
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 10361 0 0 0 2970 26 0 0 25 0 1 0 895676715 14254080 2787 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3480 2787 1111 63 0 3417 0
vsize: 13920
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19409
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 29803 0 0 0 3921 75 0 0 25 0 1 0 895676715 15712256 2882 4294967295 134512640 134716908 3221224576 3221220576 1075965256 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3836 2882 1111 63 0 3773 0
vsize: 15344
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19409
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 50609 0 0 0 4869 126 0 0 25 0 1 0 895676715 14254080 2787 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2787 1111 63 0 3417 0
vsize: 13920
[startup+60.0049 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19409
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 71238 0 0 0 5818 177 0 0 25 0 1 0 895676715 14254080 2787 4294967295 134512640 134716908 3221224576 3221222976 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3480 2787 1111 63 0 3417 0
vsize: 13920
[startup+70.006 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19409
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 91972 0 0 0 6763 232 0 0 25 0 1 0 895676715 14254080 2787 4294967295 134512640 134716908 3221224576 3221222912 1073986742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2787 1111 63 0 3417 0
vsize: 13920
[startup+80.0061 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19409
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 112949 0 0 0 7711 284 0 0 25 0 1 0 895676715 14254080 2787 4294967295 134512640 134716908 3221224576 3221222960 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2787 1111 63 0 3417 0
vsize: 13920
[startup+90.0064 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19409
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 133948 0 0 0 8656 340 0 0 25 0 1 0 895676715 15712256 2905 4294967295 134512640 134716908 3221224576 3221220512 1075965307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3836 2905 1111 63 0 3773 0
vsize: 15344
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19409
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 154491 0 0 0 9602 393 0 0 25 0 1 0 895676715 15712256 2864 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3836 2866 1111 63 0 3773 0
vsize: 15344
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19409
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 175178 0 0 0 10550 445 0 0 25 0 1 0 895676715 15712256 2900 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3836 2900 1111 63 0 3773 0
vsize: 15344
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 195677 0 0 0 11501 494 0 0 25 0 1 0 895676715 15712256 2903 4294967295 134512640 134716908 3221224576 3221221648 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2787 1111 63 0 3417 0
vsize: 15344
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 216064 0 0 0 12449 546 0 0 25 0 1 0 895676715 14254080 2787 4294967295 134512640 134716908 3221224576 3221222924 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2787 1111 63 0 3417 0
vsize: 13920
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 236367 0 0 0 13398 597 0 0 25 0 1 0 895676715 14254080 2787 4294967295 134512640 134716908 3221224576 3221222580 1077378571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2787 1111 63 0 3417 0
vsize: 13920
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 256893 0 0 0 14349 647 0 0 25 0 1 0 895676715 14254080 2787 4294967295 134512640 134716908 3221224576 3221222936 1077410281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2787 1111 63 0 3417 0
vsize: 13920
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 276889 0 0 0 15296 700 0 0 25 0 1 0 895676715 14254080 2787 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3836 2791 1111 63 0 3773 0
vsize: 13920
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 296698 0 0 0 16247 749 0 0 25 0 1 0 895676715 15712256 2906 4294967295 134512640 134716908 3221224576 3221220720 1074971525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3836 2906 1111 63 0 3773 0
vsize: 15344
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 315812 0 0 0 17200 796 0 0 25 0 1 0 895676715 15712256 2884 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3836 2886 1111 63 0 3773 0
vsize: 15344
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 334025 0 0 0 18157 839 0 0 25 0 1 0 895676715 14254080 2787 4294967295 134512640 134716908 3221224576 3221222496 1075802507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2787 1111 63 0 3417 0
vsize: 13920
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 350713 0 0 0 19113 883 0 0 25 0 1 0 895676715 14254080 2787 4294967295 134512640 134716908 3221224576 3221222928 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2787 1111 63 0 3417 0
vsize: 13920
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 366877 0 0 0 20072 925 0 0 25 0 1 0 895676715 15712256 2868 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3836 2868 1111 63 0 3773 0
vsize: 15344
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 381217 0 0 0 21035 962 0 0 25 0 1 0 895676715 15712256 2872 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3836 2874 1111 63 0 3773 0
vsize: 15344
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 394466 0 0 0 22000 997 0 0 25 0 1 0 895676715 14254080 2787 4294967295 134512640 134716908 3221224576 3221222876 1073959784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2787 1111 63 0 3417 0
vsize: 13920
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19462
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 406599 0 0 0 22969 1028 0 0 25 0 1 0 895676715 14254080 2787 4294967295 134512640 134716908 3221224576 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2787 1111 63 0 3417 0
vsize: 13920
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 417666 0 0 0 23940 1057 0 0 25 0 1 0 895676715 14254080 2787 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2787 1111 63 0 3417 0
vsize: 13920
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 426598 0 0 0 24918 1080 0 0 25 0 1 0 895676715 14254080 2787 4294967295 134512640 134716908 3221224576 3221222960 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2787 1111 63 0 3417 0
vsize: 13920
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 434059 0 0 0 25900 1098 0 0 25 0 1 0 895676715 15712256 2913 4294967295 134512640 134716908 3221224576 3221220688 1075895887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3836 2913 1111 63 0 3773 0
vsize: 15344
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 441713 0 0 0 26879 1119 0 0 25 0 1 0 895676715 15712256 2913 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3836 2913 1111 63 0 3773 0
vsize: 15344
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 458284 0 0 0 27834 1164 0 0 25 0 1 0 895676715 14254080 2787 4294967295 134512640 134716908 3221224576 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2787 1111 63 0 3417 0
vsize: 13920
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 474491 0 0 0 28793 1206 0 0 25 0 1 0 895676715 15712256 2915 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3836 2915 1111 63 0 3773 0
vsize: 15344
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 490386 0 0 0 29751 1248 0 0 25 0 1 0 895676715 16683008 3125 4294967295 134512640 134716908 3221224576 3221220720 1074969499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 3125 1111 63 0 4010 0
vsize: 16292
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 503149 0 0 0 30719 1280 0 0 25 0 1 0 895676715 16683008 3144 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 3144 1111 63 0 4010 0
vsize: 16292
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 512642 0 0 0 31695 1304 0 0 25 0 1 0 895676715 14254080 2795 4294967295 134512640 134716908 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2795 1111 63 0 3417 0
vsize: 13920
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 520622 0 0 0 32675 1324 0 0 25 0 1 0 895676715 15712256 2923 4294967295 134512640 134716908 3221224576 3221220828 1077410128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3836 2923 1111 63 0 3773 0
vsize: 15344
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 527136 0 0 0 33659 1341 0 0 25 0 1 0 895676715 14254080 2795 4294967295 134512640 134716908 3221224576 3221222824 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2795 1111 63 0 3417 0
vsize: 13920
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 531521 0 0 0 34647 1353 0 0 25 0 1 0 895676715 14254080 2795 4294967295 134512640 134716908 3221224576 3221222576 1074917936 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2795 1111 63 0 3417 0
vsize: 13920
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 540929 0 0 0 35622 1378 0 0 25 0 1 0 895676715 14254080 2795 4294967295 134512640 134716908 3221224576 3221222496 1075799685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2795 1111 63 0 3417 0
vsize: 13920
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 544287 0 0 0 36613 1387 0 0 25 0 1 0 895676715 16683008 2819 4294967295 134512640 134716908 3221224576 3221220720 1074970267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 2819 1111 63 0 4010 0
vsize: 16292
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 545739 0 0 0 37608 1392 0 0 25 0 1 0 895676715 14254080 2795 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2795 1111 63 0 3417 0
vsize: 13920
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 547153 0 0 0 38605 1395 0 0 25 0 1 0 895676715 16683008 2822 4294967295 134512640 134716908 3221224576 3221221344 1076083615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 2822 1111 63 0 4010 0
vsize: 16292
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 548568 0 0 0 39602 1399 0 0 25 0 1 0 895676715 14254080 2795 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2795 1111 63 0 3417 0
vsize: 13920
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 551214 0 0 0 40594 1407 0 0 25 0 1 0 895676715 14254080 2795 4294967295 134512640 134716908 3221224576 3221222928 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2795 1111 63 0 3417 0
vsize: 13920
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 552560 0 0 0 41589 1411 0 0 25 0 1 0 895676715 15712256 2812 4294967295 134512640 134716908 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2795 1111 63 0 3417 0
vsize: 15344
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 553936 0 0 0 42586 1414 0 0 25 0 1 0 895676715 14254080 2795 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2795 1111 63 0 3417 0
vsize: 13920
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 555321 0 0 0 43582 1419 0 0 25 0 1 0 895676715 16683008 2822 4294967295 134512640 134716908 3221224576 3221220472 1074789611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 2822 1111 63 0 4010 0
vsize: 16292
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 556590 0 0 0 44578 1423 0 0 25 0 1 0 895676715 16683008 2827 4294967295 134512640 134716908 3221224576 3221220780 1075564309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 2827 1111 63 0 4010 0
vsize: 16292
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 557865 0 0 0 45575 1427 0 0 25 0 1 0 895676715 16683008 2821 4294967295 134512640 134716908 3221224576 3221220472 1074789800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 2821 1111 63 0 4010 0
vsize: 16292
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 559085 0 0 0 46572 1430 0 0 25 0 1 0 895676715 14254080 2795 4294967295 134512640 134716908 3221224576 3221222960 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2795 1111 63 0 3417 0
vsize: 13920
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 560355 0 0 0 47568 1434 0 0 25 0 1 0 895676715 16683008 2816 4294967295 134512640 134716908 3221224576 3221220620 1074873554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 2816 1111 63 0 4010 0
vsize: 16292
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 561530 0 0 0 48565 1437 0 0 25 0 1 0 895676715 14254080 2795 4294967295 134512640 134716908 3221224576 3221222224 1075818219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2795 1111 63 0 3417 0
vsize: 13920
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 562811 0 0 0 49561 1441 0 0 25 0 1 0 895676715 14254080 2795 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2795 1111 63 0 3417 0
vsize: 13920
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19464
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 564058 0 0 0 50556 1446 0 0 25 0 1 0 895676715 14254080 2795 4294967295 134512640 134716908 3221224576 3221222880 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2795 1111 63 0 3417 0
vsize: 13920
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 565319 0 0 0 51553 1449 0 0 25 0 1 0 895676715 16683008 2831 4294967295 134512640 134716908 3221224576 3221220736 1074794632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 2831 1111 63 0 4010 0
vsize: 16292
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 566448 0 0 0 52550 1453 0 0 25 0 1 0 895676715 16683008 2834 4294967295 134512640 134716908 3221224576 3221220780 1075564309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 2834 1111 63 0 4010 0
vsize: 16292
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 567579 0 0 0 53546 1457 0 0 25 0 1 0 895676715 14254080 2795 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2795 1111 63 0 3417 0
vsize: 13920
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 569015 0 0 0 54542 1461 0 0 25 0 1 0 895676715 16683008 2831 4294967295 134512640 134716908 3221224576 3221220476 1074787806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 2831 1111 63 0 4010 0
vsize: 16292
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 570116 0 0 0 55539 1464 0 0 25 0 1 0 895676715 14254080 2796 4294967295 134512640 134716908 3221224576 3221221692 1074864595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2796 1111 63 0 3417 0
vsize: 13920
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 571324 0 0 0 56536 1467 0 0 25 0 1 0 895676715 16683008 2814 4294967295 134512640 134716908 3221224576 3221220912 1075113634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 2814 1111 63 0 4010 0
vsize: 16292
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 572496 0 0 0 57533 1471 0 0 25 0 1 0 895676715 16683008 2823 4294967295 134512640 134716908 3221224576 3221220912 1075113557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 2823 1111 63 0 4010 0
vsize: 16292
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 573692 0 0 0 58530 1473 0 0 25 0 1 0 895676715 16683008 2829 4294967295 134512640 134716908 3221224576 3221221108 1075863647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 2829 1111 63 0 4010 0
vsize: 16292
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 574886 0 0 0 59526 1478 0 0 25 0 1 0 895676715 16683008 2832 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 2832 1111 63 0 4010 0
vsize: 16292
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 576109 0 0 0 60522 1482 0 0 25 0 1 0 895676715 16683008 2827 4294967295 134512640 134716908 3221224576 3221221232 1075967892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 2827 1111 63 0 4010 0
vsize: 16292
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 577291 0 0 0 61520 1484 0 0 25 0 1 0 895676715 16683008 2829 4294967295 134512640 134716908 3221224576 3221220460 1074788943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 2829 1111 63 0 4010 0
vsize: 16292
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 578518 0 0 0 62516 1488 0 0 25 0 1 0 895676715 14254080 2796 4294967295 134512640 134716908 3221224576 3221222928 1074153211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2796 1111 63 0 3417 0
vsize: 13920
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 579700 0 0 0 63513 1491 0 0 25 0 1 0 895676715 14254080 2796 4294967295 134512640 134716908 3221224576 3221222928 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2796 1111 63 0 3417 0
vsize: 13920
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 580907 0 0 0 64510 1495 0 0 25 0 1 0 895676715 14254080 2796 4294967295 134512640 134716908 3221224576 3221222928 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2796 1111 63 0 3417 0
vsize: 13920
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 582116 0 0 0 65507 1498 0 0 25 0 1 0 895676715 14254080 2796 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2796 1111 63 0 3417 0
vsize: 13920
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 583298 0 0 0 66503 1502 0 0 25 0 1 0 895676715 16683008 2828 4294967295 134512640 134716908 3221224576 3221220912 1075113521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 2828 1111 63 0 4010 0
vsize: 16292
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 584431 0 0 0 67500 1505 0 0 25 0 1 0 895676715 16683008 2833 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 2833 1111 63 0 4010 0
vsize: 16292
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 586137 0 0 0 68495 1510 0 0 25 0 1 0 895676715 16683008 2840 4294967295 134512640 134716908 3221224576 3221220752 1074882524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 2840 1111 63 0 4010 0
vsize: 16292
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 587530 0 0 0 69492 1513 0 0 25 0 1 0 895676715 16683008 2843 4294967295 134512640 134716908 3221224576 3221220752 1074882616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 2843 1111 63 0 4010 0
vsize: 16292
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 589223 0 0 0 70487 1519 0 0 25 0 1 0 895676715 16683008 2845 4294967295 134512640 134716908 3221224576 3221220736 1074794472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 2845 1111 63 0 4010 0
vsize: 16292
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 592519 0 0 0 71478 1528 0 0 25 0 1 0 895676715 16199680 2948 4294967295 134512640 134716908 3221224576 3221220804 1075114937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3955 2948 1111 63 0 3892 0
vsize: 15820
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 596153 0 0 0 72469 1537 0 0 25 0 1 0 895676715 17170432 2850 4294967295 134512640 134716908 3221224576 3221221168 1074885384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4192 2850 1111 63 0 4129 0
vsize: 16768
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 600121 0 0 0 73457 1549 0 0 25 0 1 0 895676715 14254080 2799 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2799 1111 63 0 3417 0
vsize: 13920
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 604683 0 0 0 74445 1562 0 0 25 0 1 0 895676715 16199680 2946 4294967295 134512640 134716908 3221224576 3221220780 1075564304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3955 2946 1111 63 0 3892 0
vsize: 15820
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 608329 0 0 0 75435 1572 0 0 25 0 1 0 895676715 16199680 2948 4294967295 134512640 134716908 3221224576 3221220780 1075564295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3955 2948 1111 63 0 3892 0
vsize: 15820
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 611935 0 0 0 76425 1582 0 0 25 0 1 0 895676715 14254080 2799 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2799 1111 63 0 3417 0
vsize: 13920
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 615551 0 0 0 77416 1592 0 0 25 0 1 0 895676715 14254080 2799 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2799 1111 63 0 3417 0
vsize: 13920
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 619768 0 0 0 78404 1603 0 0 25 0 1 0 895676715 14254080 2799 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2799 1111 63 0 3417 0
vsize: 13920
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 623410 0 0 0 79395 1613 0 0 25 0 1 0 895676715 17170432 2845 4294967295 134512640 134716908 3221224576 3221220660 1075964431 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4192 2845 1111 63 0 4129 0
vsize: 16768
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 627604 0 0 0 80383 1625 0 0 25 0 1 0 895676715 17170432 2837 4294967295 134512640 134716908 3221224576 3221220828 1077410128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4192 2837 1111 63 0 4129 0
vsize: 16768
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 632167 0 0 0 81371 1637 0 0 25 0 1 0 895676715 16199680 2949 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3955 2949 1111 63 0 3892 0
vsize: 15820
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 636077 0 0 0 82360 1649 0 0 25 0 1 0 895676715 16199680 2949 4294967295 134512640 134716908 3221224576 3221220848 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3955 2949 1111 63 0 3892 0
vsize: 15820
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 639607 0 0 0 83350 1658 0 0 25 0 1 0 895676715 14254080 2799 4294967295 134512640 134716908 3221224576 3221222912 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2799 1111 63 0 3417 0
vsize: 13920
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 643469 0 0 0 84340 1669 0 0 25 0 1 0 895676715 17170432 2854 4294967295 134512640 134716908 3221224576 3221220472 1074789534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4192 2854 1111 63 0 4129 0
vsize: 16768
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 647646 0 0 0 85329 1680 0 0 25 0 1 0 895676715 14254080 2799 4294967295 134512640 134716908 3221224576 3221222928 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2799 1111 63 0 3417 0
vsize: 13920
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 651854 0 0 0 86318 1691 0 0 25 0 1 0 895676715 16199680 2949 4294967295 134512640 134716908 3221224576 3221220736 1075093355 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3955 2949 1111 63 0 3892 0
vsize: 15820
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 655695 0 0 0 87307 1702 0 0 25 0 1 0 895676715 14254080 2799 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2799 1111 63 0 3417 0
vsize: 13920
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 659721 0 0 0 88296 1713 0 0 25 0 1 0 895676715 17170432 3017 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4192 3026 1111 63 0 4129 0
vsize: 16768
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 663807 0 0 0 89285 1724 0 0 25 0 1 0 895676715 16199680 2946 4294967295 134512640 134716908 3221224576 3221220588 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3955 2946 1111 63 0 3892 0
vsize: 15820
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 666854 0 0 0 90278 1731 0 0 25 0 1 0 895676715 14254080 2799 4294967295 134512640 134716908 3221224576 3221222912 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2799 1111 63 0 3417 0
vsize: 13920
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 670488 0 0 0 91269 1741 0 0 25 0 1 0 895676715 14254080 2799 4294967295 134512640 134716908 3221224576 3221222880 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2799 1111 63 0 3417 0
vsize: 13920
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 674119 0 0 0 92259 1751 0 0 25 0 1 0 895676715 14254080 2799 4294967295 134512640 134716908 3221224576 3221222928 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2799 1111 63 0 3417 0
vsize: 13920
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 678152 0 0 0 93248 1762 0 0 25 0 1 0 895676715 14254080 2799 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2799 1111 63 0 3417 0
vsize: 13920
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 680486 0 0 0 94241 1770 0 0 25 0 1 0 895676715 17170432 2853 4294967295 134512640 134716908 3221224576 3221221696 1074834321 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4192 2853 1111 63 0 4129 0
vsize: 16768
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 684122 0 0 0 95230 1780 0 0 25 0 1 0 895676715 17170432 2840 4294967295 134512640 134716908 3221224576 3221220736 1075090188 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4192 2840 1111 63 0 4129 0
vsize: 16768
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 687966 0 0 0 96219 1791 0 0 25 0 1 0 895676715 14254080 2799 4294967295 134512640 134716908 3221224576 3221223128 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3480 2799 1111 63 0 3417 0
vsize: 13920
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 691809 0 0 0 97210 1800 0 0 25 0 1 0 895676715 17170432 2827 4294967295 134512640 134716908 3221224576 3221220816 1075115734 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4192 2827 1111 63 0 4129 0
vsize: 16768
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 695982 0 0 0 98197 1813 0 0 25 0 1 0 895676715 16199680 2950 4294967295 134512640 134716908 3221224576 3221220752 1074882601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3955 2950 1111 63 0 3892 0
vsize: 15820
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 699247 0 0 0 99188 1822 0 0 25 0 1 0 895676715 17170432 2853 4294967295 134512640 134716908 3221224576 3221221648 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4192 2853 1111 63 0 4129 0
vsize: 16768
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 702821 0 0 0 100178 1832 0 0 25 0 1 0 895676715 17170432 2837 4294967295 134512640 134716908 3221224576 3221220912 1075113511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4192 2837 1111 63 0 4129 0
vsize: 16768
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 706989 0 0 0 101166 1844 0 0 25 0 1 0 895676715 16199680 2951 4294967295 134512640 134716908 3221224576 3221220912 1075114272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3955 2951 1111 63 0 3892 0
vsize: 15820
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 710845 0 0 0 102155 1855 0 0 25 0 1 0 895676715 14254080 2799 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3480 2799 1111 63 0 3417 0
vsize: 13920
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 714427 0 0 0 103144 1866 0 0 25 0 1 0 895676715 14254080 2799 4294967295 134512640 134716908 3221224576 3221222912 1074153722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3480 2799 1111 63 0 3417 0
vsize: 13920
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 718309 0 0 0 104133 1877 0 0 25 0 1 0 895676715 16199680 2949 4294967295 134512640 134716908 3221224576 3221220688 1075895897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3955 2949 1111 63 0 3892 0
vsize: 15820
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 721881 0 0 0 105124 1886 0 0 25 0 1 0 895676715 17170432 2862 4294967295 134512640 134716908 3221224576 3221220780 1075564313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4192 2862 1111 63 0 4129 0
vsize: 16768
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 725729 0 0 0 106113 1897 0 0 25 0 1 0 895676715 14254080 2799 4294967295 134512640 134716908 3221224576 3221222536 1074138306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3480 2799 1111 63 0 3417 0
vsize: 13920
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 729681 0 0 0 107102 1909 0 0 25 0 1 0 895676715 17170432 2852 4294967295 134512640 134716908 3221224576 3221220380 1074787634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4192 2852 1111 63 0 4129 0
vsize: 16768
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 733868 0 0 0 108091 1920 0 0 25 0 1 0 895676715 14254080 2799 4294967295 134512640 134716908 3221224576 3221222880 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3480 2799 1111 63 0 3417 0
vsize: 13920
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 737710 0 0 0 109079 1931 0 0 25 0 1 0 895676715 17170432 2849 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4192 2849 1111 63 0 4129 0
vsize: 16768
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 741839 0 0 0 110068 1943 0 0 25 0 1 0 895676715 16199680 2951 4294967295 134512640 134716908 3221224576 3221221152 1076048143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3955 2951 1111 63 0 3892 0
vsize: 15820
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 745430 0 0 0 111059 1952 0 0 25 0 1 0 895676715 16199680 2949 4294967295 134512640 134716908 3221224576 3221220460 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3955 2949 1111 63 0 3892 0
vsize: 15820
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 748702 0 0 0 112050 1961 0 0 25 0 1 0 895676715 14254080 2799 4294967295 134512640 134716908 3221224576 3221221696 1074866635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3480 2799 1111 63 0 3417 0
vsize: 13920
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 752607 0 0 0 113039 1972 0 0 25 0 1 0 895676715 17170432 2840 4294967295 134512640 134716908 3221224576 3221220684 1074797340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4192 2840 1111 63 0 4129 0
vsize: 16768
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 756745 0 0 0 114027 1984 0 0 25 0 1 0 895676715 16199680 2950 4294967295 134512640 134716908 3221224576 3221220512 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3955 2950 1111 63 0 3892 0
vsize: 15820
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 760571 0 0 0 115017 1994 0 0 25 0 1 0 895676715 16199680 2951 4294967295 134512640 134716908 3221224576 3221220460 1074788977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3955 2951 1111 63 0 3892 0
vsize: 15820
[startup+1175.36 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 19466
Raw data (stat): 19409 (bsolo_lpr-v2) R 19408 21152 21151 0 -1 0 760571 0 0 0 115017 1994 0 0 25 0 1 0 895676715 16199680 2951 4294967295 134512640 134716908 3221224576 3221220460 1074788977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3955 2951 1111 63 0 3892 0
vsize: 0

Child status: 10
Real time (s): 1175.36
CPU time (s): 1175.43
CPU user time (s): 1155.43
CPU system time (s): 20.003
CPU usage (%): 100.006
Max. virtual memory (Kb): 17400
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	377
#### END VERIFIER DATA ####