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 25063

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 09:29:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4994 boxname=wulflinc31 idbench=385 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  23a177449585151350479e80b33e6416  /oldhome/oroussel/tmp/wulflinc31/normalized-seymour.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-seymour.opb
IDLAUNCH: 4994
/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:        797108 kB
Buffers:         48936 kB
Cached:         165488 kB
SwapCached:       1952 kB
Active:         174260 kB
Inactive:        43988 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        796856 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           7084 kB
Slab:            13540 kB
Committed_AS:    67736 kB
PageTables:        372 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 09:48:55 (client local time) WITH STATUS 10 IN 1176.7 SECONDS
stats: 4994 0 1176.7 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.443 s
c Initial Lower Bound: 291
c Lower Bound Elapsed time: 9.8355
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1189 @ 61.92
c NEW SOLUTION FOUND: 1188 @ 61.954
c NEW SOLUTION FOUND: 1187 @ 61.971
c NEW SOLUTION FOUND: 1186 @ 61.988
c NEW SOLUTION FOUND: 1185 @ 62.005
c NEW SOLUTION FOUND: 1184 @ 62.022
c NEW SOLUTION FOUND: 1183 @ 62.055
c NEW SOLUTION FOUND: 1182 @ 62.072
c NEW SOLUTION FOUND: 1181 @ 62.09
c NEW SOLUTION FOUND: 1180 @ 62.107
c NEW SOLUTION FOUND: 1179 @ 62.124
c NEW SOLUTION FOUND: 1178 @ 62.141
c NEW SOLUTION FOUND: 1177 @ 62.158
c NEW SOLUTION FOUND: 1176 @ 62.175
c NEW SOLUTION FOUND: 1175 @ 62.193
c NEW SOLUTION FOUND: 1174 @ 62.21
c NEW SOLUTION FOUND: 1173 @ 62.227
c NEW SOLUTION FOUND: 1172 @ 62.244
c NEW SOLUTION FOUND: 1171 @ 62.262
c NEW SOLUTION FOUND: 1170 @ 62.279
c NEW SOLUTION FOUND: 1169 @ 62.296
c NEW SOLUTION FOUND: 1168 @ 62.313
c NEW SOLUTION FOUND: 1167 @ 62.33
c NEW SOLUTION FOUND: 1166 @ 62.366
c NEW SOLUTION FOUND: 1165 @ 62.403
c NEW SOLUTION FOUND: 1164 @ 62.421
c NEW SOLUTION FOUND: 1163 @ 62.459
c NEW SOLUTION FOUND: 1162 @ 62.496
c NEW SOLUTION FOUND: 1161 @ 62.534
c NEW SOLUTION FOUND: 1160 @ 62.553
c NEW SOLUTION FOUND: 1159 @ 62.572
c NEW SOLUTION FOUND: 1158 @ 62.61
c NEW SOLUTION FOUND: 1157 @ 62.629
c NEW SOLUTION FOUND: 1156 @ 62.649
c NEW SOLUTION FOUND: 1155 @ 62.668
c NEW SOLUTION FOUND: 1154 @ 62.688
c NEW SOLUTION FOUND: 1153 @ 62.707
c NEW SOLUTION FOUND: 1152 @ 62.729
c NEW SOLUTION FOUND: 1151 @ 62.768
c NEW SOLUTION FOUND: 1150 @ 62.787
c NEW SOLUTION FOUND: 1149 @ 62.807
c NEW SOLUTION FOUND: 1148 @ 62.845
c NEW SOLUTION FOUND: 1147 @ 62.885
c NEW SOLUTION FOUND: 1146 @ 62.925
c NEW SOLUTION FOUND: 1145 @ 62.964
c NEW SOLUTION FOUND: 1144 @ 62.984
c NEW SOLUTION FOUND: 1143 @ 63.004
c NEW SOLUTION FOUND: 1142 @ 63.025
c NEW SOLUTION FOUND: 1141 @ 63.045
c NEW SOLUTION FOUND: 1140 @ 63.065
c NEW SOLUTION FOUND: 1139 @ 63.106
c NEW SOLUTION FOUND: 1138 @ 63.146
c NEW SOLUTION FOUND: 1137 @ 63.166
c NEW SOLUTION FOUND: 1136 @ 63.187
c NEW SOLUTION FOUND: 1135 @ 63.228
c NEW SOLUTION FOUND: 1134 @ 63.248
c NEW SOLUTION FOUND: 1133 @ 63.269
c NEW SOLUTION FOUND: 1132 @ 63.29
c NEW SOLUTION FOUND: 1131 @ 63.311
c NEW SOLUTION FOUND: 1130 @ 63.332
c NEW SOLUTION FOUND: 1129 @ 63.374
c NEW SOLUTION FOUND: 1128 @ 63.415
c NEW SOLUTION FOUND: 1127 @ 63.436
c NEW SOLUTION FOUND: 1126 @ 63.478
c NEW SOLUTION FOUND: 1125 @ 63.499
c NEW SOLUTION FOUND: 1124 @ 63.52
c NEW SOLUTION FOUND: 1123 @ 63.564
c NEW SOLUTION FOUND: 1122 @ 63.584
c NEW SOLUTION FOUND: 1121 @ 63.627
c NEW SOLUTION FOUND: 1120 @ 63.67
c NEW SOLUTION FOUND: 1119 @ 63.691
c NEW SOLUTION FOUND: 1118 @ 63.732
c NEW SOLUTION FOUND: 1117 @ 63.754
c NEW SOLUTION FOUND: 1116 @ 63.775
c NEW SOLUTION FOUND: 1115 @ 63.818
c NEW SOLUTION FOUND: 1114 @ 63.839
c NEW SOLUTION FOUND: 1113 @ 63.883
c NEW SOLUTION FOUND: 1112 @ 63.904
c NEW SOLUTION FOUND: 1111 @ 63.926
c NEW SOLUTION FOUND: 1110 @ 63.948
c NEW SOLUTION FOUND: 1109 @ 63.97
c NEW SOLUTION FOUND: 1108 @ 63.992
c NEW SOLUTION FOUND: 1107 @ 64.035
c NEW SOLUTION FOUND: 1106 @ 64.058
c NEW SOLUTION FOUND: 1105 @ 64.08
c NEW SOLUTION FOUND: 1104 @ 64.102
c NEW SOLUTION FOUND: 1103 @ 64.147
c NEW SOLUTION FOUND: 1102 @ 64.169
c NEW SOLUTION FOUND: 1101 @ 64.191
c NEW SOLUTION FOUND: 1100 @ 64.214
c NEW SOLUTION FOUND: 1099 @ 64.236
c NEW SOLUTION FOUND: 1098 @ 64.281
c NEW SOLUTION FOUND: 1097 @ 64.303
c NEW SOLUTION FOUND: 1096 @ 64.325
c NEW SOLUTION FOUND: 1095 @ 64.348
c NEW SOLUTION FOUND: 1094 @ 64.37
c NEW SOLUTION FOUND: 1093 @ 64.393
c NEW SOLUTION FOUND: 1092 @ 64.438
c NEW SOLUTION FOUND: 1091 @ 64.46
c NEW SOLUTION FOUND: 1090 @ 64.483
c NEW SOLUTION FOUND: 1089 @ 64.506
c NEW SOLUTION FOUND: 1088 @ 64.551
c NEW SOLUTION FOUND: 1087 @ 64.619
c NEW SOLUTION FOUND: 1086 @ 64.641
c NEW SOLUTION FOUND: 1085 @ 64.734
c NEW SOLUTION FOUND: 1084 @ 64.758
c NEW SOLUTION FOUND: 1083 @ 64.858
c NEW SOLUTION FOUND: 1082 @ 64.909
c NEW SOLUTION FOUND: 1081 @ 64.96
c NEW SOLUTION FOUND: 1080 @ 64.987
c NEW SOLUTION FOUND: 1079 @ 65.014
c NEW SOLUTION FOUND: 1078 @ 65.096
c NEW SOLUTION FOUND: 1077 @ 65.154
c NEW SOLUTION FOUND: 1076 @ 65.183
c NEW SOLUTION FOUND: 1075 @ 65.212
c NEW SOLUTION FOUND: 1074 @ 65.27
c NEW SOLUTION FOUND: 1073 @ 65.328
c NEW SOLUTION FOUND: 1072 @ 65.357
c NEW SOLUTION FOUND: 1071 @ 65.386
c NEW SOLUTION FOUND: 1070 @ 65.416
c NEW SOLUTION FOUND: 1069 @ 65.505
c NEW SOLUTION FOUND: 1068 @ 65.534
c NEW SOLUTION FOUND: 1067 @ 65.565
c NEW SOLUTION FOUND: 1066 @ 65.595
c NEW SOLUTION FOUND: 1065 @ 65.625
c NEW SOLUTION FOUND: 1064 @ 65.656
c NEW SOLUTION FOUND: 1063 @ 65.686
c NEW SOLUTION FOUND: 1062 @ 65.717
c NEW SOLUTION FOUND: 1061 @ 65.749
c NEW SOLUTION FOUND: 1060 @ 65.779
c NEW SOLUTION FOUND: 1059 @ 65.81
c NEW SOLUTION FOUND: 1058 @ 65.84
c NEW SOLUTION FOUND: 1057 @ 65.933
c NEW SOLUTION FOUND: 1056 @ 65.964
c NEW SOLUTION FOUND: 1055 @ 65.995
c NEW SOLUTION FOUND: 1054 @ 66.059
c NEW SOLUTION FOUND: 1053 @ 66.092
c NEW SOLUTION FOUND: 1052 @ 66.123
c NEW SOLUTION FOUND: 1051 @ 66.155
c NEW SOLUTION FOUND: 1050 @ 66.187
c NEW SOLUTION FOUND: 1049 @ 66.284
c NEW SOLUTION FOUND: 1048 @ 66.35
c NEW SOLUTION FOUND: 1047 @ 66.383
c NEW SOLUTION FOUND: 1046 @ 66.452
c NEW SOLUTION FOUND: 1045 @ 66.486
c NEW SOLUTION FOUND: 1044 @ 66.522
c NEW SOLUTION FOUND: 1043 @ 66.557
c NEW SOLUTION FOUND: 1042 @ 66.594
c NEW SOLUTION FOUND: 1041 @ 66.63
c NEW SOLUTION FOUND: 1040 @ 66.703
c NEW SOLUTION FOUND: 1039 @ 66.74
c NEW SOLUTION FOUND: 1038 @ 66.778
c NEW SOLUTION FOUND: 1037 @ 66.816
c NEW SOLUTION FOUND: 1036 @ 66.854
c NEW SOLUTION FOUND: 1035 @ 66.893
c NEW SOLUTION FOUND: 1034 @ 66.93
c NEW SOLUTION FOUND: 1033 @ 67.022
c NEW SOLUTION FOUND: 1032 @ 67.081
c NEW SOLUTION FOUND: 1031 @ 67.16
c NEW SOLUTION FOUND: 1030 @ 67.223
c NEW SOLUTION FOUND: 1029 @ 67.266
c NEW SOLUTION FOUND: 1028 @ 67.307
c NEW SOLUTION FOUND: 1027 @ 67.35
c NEW SOLUTION FOUND: 1026 @ 67.392
c NEW SOLUTION FOUND: 1025 @ 67.453
c NEW SOLUTION FOUND: 1024 @ 67.496
c NEW SOLUTION FOUND: 1023 @ 67.538
c NEW SOLUTION FOUND: 1022 @ 67.622
c NEW SOLUTION FOUND: 1021 @ 67.667
c NEW SOLUTION FOUND: 1020 @ 67.708
c NEW SOLUTION FOUND: 1019 @ 67.752
c NEW SOLUTION FOUND: 1018 @ 67.796
c NEW SOLUTION FOUND: 1017 @ 67.84
c NEW SOLUTION FOUND: 1016 @ 67.883
c NEW SOLUTION FOUND: 1015 @ 67.926
c NEW SOLUTION FOUND: 1014 @ 67.969
c NEW SOLUTION FOUND: 1013 @ 68.011
c NEW SOLUTION FOUND: 1012 @ 68.055
c NEW SOLUTION FOUND: 1011 @ 68.097
c NEW SOLUTION FOUND: 1010 @ 68.139
c NEW SOLUTION FOUND: 1009 @ 68.183
c NEW SOLUTION FOUND: 1008 @ 68.228
c NEW SOLUTION FOUND: 1007 @ 68.272
c NEW SOLUTION FOUND: 1006 @ 68.314
c NEW SOLUTION FOUND: 1005 @ 68.357
c NEW SOLUTION FOUND: 1004 @ 68.402
c NEW SOLUTION FOUND: 1003 @ 68.447
c NEW SOLUTION FOUND: 1002 @ 68.49
c NEW SOLUTION FOUND: 1001 @ 68.535
c NEW SOLUTION FOUND: 1000 @ 68.578
c NEW SOLUTION FOUND: 999 @ 68.622
c NEW SOLUTION FOUND: 998 @ 68.67
c NEW SOLUTION FOUND: 997 @ 68.715
c NEW SOLUTION FOUND: 996 @ 68.759
c NEW SOLUTION FOUND: 995 @ 68.802
c NEW SOLUTION FOUND: 994 @ 68.845
c NEW SOLUTION FOUND: 993 @ 68.887
c NEW SOLUTION FOUND: 992 @ 68.931
c NEW SOLUTION FOUND: 991 @ 68.975
c NEW SOLUTION FOUND: 990 @ 69.018
c NEW SOLUTION FOUND: 989 @ 69.061
c NEW SOLUTION FOUND: 988 @ 69.106
c NEW SOLUTION FOUND: 987 @ 69.149
c NEW SOLUTION FOUND: 986 @ 69.193
c NEW SOLUTION FOUND: 985 @ 69.238
c NEW SOLUTION FOUND: 984 @ 69.327
c NEW SOLUTION FOUND: 983 @ 69.369
c NEW SOLUTION FOUND: 982 @ 69.414
c NEW SOLUTION FOUND: 981 @ 69.457
c NEW SOLUTION FOUND: 980 @ 69.502
c NEW SOLUTION FOUND: 979 @ 69.545
c NEW SOLUTION FOUND: 978 @ 69.59
c NEW SOLUTION FOUND: 977 @ 69.633
c NEW SOLUTION FOUND: 976 @ 69.678
c NEW SOLUTION FOUND: 975 @ 69.72
c NEW SOLUTION FOUND: 974 @ 69.763
c NEW SOLUTION FOUND: 973 @ 69.807
c NEW SOLUTION FOUND: 972 @ 69.853
c NEW SOLUTION FOUND: 971 @ 69.895
c NEW SOLUTION FOUND: 970 @ 69.942
c NEW SOLUTION FOUND: 969 @ 69.985
c NEW SOLUTION FOUND: 968 @ 70.029
c NEW SOLUTION FOUND: 967 @ 70.073
c NEW SOLUTION FOUND: 966 @ 70.116
c NEW SOLUTION FOUND: 965 @ 70.159
c NEW SOLUTION FOUND: 964 @ 70.204
c NEW SOLUTION FOUND: 963 @ 70.247
c NEW SOLUTION FOUND: 962 @ 70.29
c NEW SOLUTION FOUND: 961 @ 70.334
c NEW SOLUTION FOUND: 960 @ 70.378
c NEW SOLUTION FOUND: 959 @ 70.421
c NEW SOLUTION FOUND: 958 @ 70.466
c NEW SOLUTION FOUND: 957 @ 70.51
c NEW SOLUTION FOUND: 956 @ 70.555
c NEW SOLUTION FOUND: 955 @ 70.597
c NEW SOLUTION FOUND: 954 @ 70.643
c NEW SOLUTION FOUND: 953 @ 70.686
c NEW SOLUTION FOUND: 952 @ 70.731
c NEW SOLUTION FOUND: 951 @ 70.776
c NEW SOLUTION FOUND: 950 @ 70.819
c NEW SOLUTION FOUND: 949 @ 70.862
c NEW SOLUTION FOUND: 948 @ 70.907
c NEW SOLUTION FOUND: 947 @ 70.951
c NEW SOLUTION FOUND: 946 @ 70.993
c NEW SOLUTION FOUND: 945 @ 71.036
c NEW SOLUTION FOUND: 944 @ 71.081
c NEW SOLUTION FOUND: 943 @ 71.124
c NEW SOLUTION FOUND: 942 @ 71.168
c NEW SOLUTION FOUND: 941 @ 71.211
c NEW SOLUTION FOUND: 940 @ 71.256
c NEW SOLUTION FOUND: 939 @ 71.299
c NEW SOLUTION FOUND: 938 @ 71.345
c NEW SOLUTION FOUND: 937 @ 71.388
c NEW SOLUTION FOUND: 936 @ 71.432
c NEW SOLUTION FOUND: 935 @ 71.477
c NEW SOLUTION FOUND: 934 @ 71.52
c NEW SOLUTION FOUND: 933 @ 71.565
c NEW SOLUTION FOUND: 932 @ 71.61
c NEW SOLUTION FOUND: 931 @ 71.653
c NEW SOLUTION FOUND: 930 @ 71.696
c NEW SOLUTION FOUND: 929 @ 71.741
c NEW SOLUTION FOUND: 928 @ 71.784
c NEW SOLUTION FOUND: 927 @ 71.827
c NEW SOLUTION FOUND: 926 @ 71.87
c NEW SOLUTION FOUND: 925 @ 71.914
c NEW SOLUTION FOUND: 924 @ 71.956
c NEW SOLUTION FOUND: 923 @ 72.002
c NEW SOLUTION FOUND: 922 @ 72.044
c NEW SOLUTION FOUND: 921 @ 72.089
c NEW SOLUTION FOUND: 920 @ 72.133
c NEW SOLUTION FOUND: 919 @ 72.176
c NEW SOLUTION FOUND: 918 @ 72.219
c NEW SOLUTION FOUND: 917 @ 72.261
c NEW SOLUTION FOUND: 916 @ 72.303
c NEW SOLUTION FOUND: 915 @ 72.347
c NEW SOLUTION FOUND: 914 @ 72.41
c NEW SOLUTION FOUND: 913 @ 72.456
c NEW SOLUTION FOUND: 912 @ 72.499
c NEW SOLUTION FOUND: 911 @ 72.542
c NEW SOLUTION FOUND: 910 @ 72.586
c NEW SOLUTION FOUND: 909 @ 72.632
c NEW SOLUTION FOUND: 908 @ 72.676
c NEW SOLUTION FOUND: 907 @ 72.718
c NEW SOLUTION FOUND: 906 @ 72.761
c NEW SOLUTION FOUND: 905 @ 72.806
c NEW SOLUTION FOUND: 904 @ 72.851
c NEW SOLUTION FOUND: 903 @ 72.897
c NEW SOLUTION FOUND: 902 @ 72.94
c NEW SOLUTION FOUND: 901 @ 72.985
c NEW SOLUTION FOUND: 900 @ 73.028
c NEW SOLUTION FOUND: 899 @ 73.071
c NEW SOLUTION FOUND: 898 @ 73.116
c NEW SOLUTION FOUND: 897 @ 73.162
c NEW SOLUTION FOUND: 896 @ 73.205
c NEW SOLUTION FOUND: 895 @ 73.249
c NEW SOLUTION FOUND: 894 @ 73.294
c NEW SOLUTION FOUND: 893 @ 73.337
c NEW SOLUTION FOUND: 892 @ 73.38
c NEW SOLUTION FOUND: 891 @ 73.425
c NEW SOLUTION FOUND: 890 @ 73.468
c NEW SOLUTION FOUND: 889 @ 73.513
c NEW SOLUTION FOUND: 888 @ 73.556
c NEW SOLUTION FOUND: 887 @ 73.601
c NEW SOLUTION FOUND: 886 @ 73.644
c NEW SOLUTION FOUND: 885 @ 73.69
c NEW SOLUTION FOUND: 884 @ 73.733
c NEW SOLUTION FOUND: 883 @ 73.777
c NEW SOLUTION FOUND: 882 @ 73.822
c NEW SOLUTION FOUND: 881 @ 73.867
c NEW SOLUTION FOUND: 880 @ 73.911
c NEW SOLUTION FOUND: 879 @ 73.959
c NEW SOLUTION FOUND: 878 @ 74.004
c NEW SOLUTION FOUND: 877 @ 74.048
c NEW SOLUTION FOUND: 876 @ 74.092
c NEW SOLUTION FOUND: 875 @ 74.135
c NEW SOLUTION FOUND: 874 @ 74.178
c NEW SOLUTION FOUND: 873 @ 74.222
c NEW SOLUTION FOUND: 872 @ 74.268
c NEW SOLUTION FOUND: 871 @ 74.311
c NEW SOLUTION FOUND: 870 @ 74.356
c NEW SOLUTION FOUND: 869 @ 74.399
c NEW SOLUTION FOUND: 868 @ 74.443
c NEW SOLUTION FOUND: 867 @ 74.486
c NEW SOLUTION FOUND: 866 @ 74.53
c NEW SOLUTION FOUND: 865 @ 74.573
c NEW SOLUTION FOUND: 864 @ 74.619
c NEW SOLUTION FOUND: 863 @ 74.663
c NEW SOLUTION FOUND: 862 @ 74.707
c NEW SOLUTION FOUND: 861 @ 74.753
c NEW SOLUTION FOUND: 860 @ 74.799
c NEW SOLUTION FOUND: 859 @ 74.843
c NEW SOLUTION FOUND: 858 @ 74.89
c NEW SOLUTION FOUND: 857 @ 74.934
c NEW SOLUTION FOUND: 856 @ 74.979
c NEW SOLUTION FOUND: 855 @ 75.024
c NEW SOLUTION FOUND: 854 @ 75.068
c NEW SOLUTION FOUND: 853 @ 75.112
c NEW SOLUTION FOUND: 852 @ 75.157
c NEW SOLUTION FOUND: 851 @ 75.201
c NEW SOLUTION FOUND: 850 @ 75.247
c NEW SOLUTION FOUND: 849 @ 75.293
c NEW SOLUTION FOUND: 848 @ 75.336
c NEW SOLUTION FOUND: 847 @ 75.383
c NEW SOLUTION FOUND: 846 @ 75.428
c NEW SOLUTION FOUND: 845 @ 75.472
c NEW SOLUTION FOUND: 844 @ 75.516
c NEW SOLUTION FOUND: 843 @ 75.603
c NEW SOLUTION FOUND: 842 @ 75.649
c NEW SOLUTION FOUND: 841 @ 75.694
c NEW SOLUTION FOUND: 840 @ 75.739
c NEW SOLUTION FOUND: 839 @ 75.782
c NEW SOLUTION FOUND: 838 @ 75.828
c NEW SOLUTION FOUND: 837 @ 75.871
c NEW SOLUTION FOUND: 836 @ 75.918
c NEW SOLUTION FOUND: 835 @ 75.963
c NEW SOLUTION FOUND: 834 @ 76.008
c NEW SOLUTION FOUND: 833 @ 76.052
c NEW SOLUTION FOUND: 832 @ 76.097
c NEW SOLUTION FOUND: 831 @ 76.14
c NEW SOLUTION FOUND: 830 @ 76.185
c NEW SOLUTION FOUND: 829 @ 76.231
c NEW SOLUTION FOUND: 828 @ 76.275
c NEW SOLUTION FOUND: 827 @ 76.321
c NEW SOLUTION FOUND: 826 @ 76.366
c NEW SOLUTION FOUND: 825 @ 76.41
c NEW SOLUTION FOUND: 824 @ 76.457
c NEW SOLUTION FOUND: 823 @ 76.501
c NEW SOLUTION FOUND: 822 @ 76.546
c NEW SOLUTION FOUND: 821 @ 76.59
c NEW SOLUTION FOUND: 820 @ 76.634
c NEW SOLUTION FOUND: 819 @ 76.68
c NEW SOLUTION FOUND: 818 @ 76.724
c NEW SOLUTION FOUND: 817 @ 76.768
c NEW SOLUTION FOUND: 816 @ 76.813
c NEW SOLUTION FOUND: 815 @ 76.859
c NEW SOLUTION FOUND: 814 @ 76.904
c NEW SOLUTION FOUND: 813 @ 76.948
c NEW SOLUTION FOUND: 812 @ 76.992
c NEW SOLUTION FOUND: 811 @ 77.036
c NEW SOLUTION FOUND: 810 @ 77.081
c NEW SOLUTION FOUND: 809 @ 77.125
c NEW SOLUTION FOUND: 808 @ 77.171
c NEW SOLUTION FOUND: 807 @ 77.216
c NEW SOLUTION FOUND: 806 @ 77.26
c NEW SOLUTION FOUND: 805 @ 77.304
c NEW SOLUTION FOUND: 804 @ 77.348
c NEW SOLUTION FOUND: 803 @ 77.394
c NEW SOLUTION FOUND: 802 @ 77.438
c NEW SOLUTION FOUND: 801 @ 77.482
c NEW SOLUTION FOUND: 800 @ 77.525
c NEW SOLUTION FOUND: 799 @ 77.572
c NEW SOLUTION FOUND: 798 @ 77.616
c NEW SOLUTION FOUND: 797 @ 77.661
c NEW SOLUTION FOUND: 796 @ 77.705
c NEW SOLUTION FOUND: 795 @ 77.751
c NEW SOLUTION FOUND: 794 @ 77.798
c NEW SOLUTION FOUND: 793 @ 77.841
c NEW SOLUTION FOUND: 792 @ 77.884
c NEW SOLUTION FOUND: 791 @ 77.93
c NEW SOLUTION FOUND: 790 @ 77.976
c NEW SOLUTION FOUND: 789 @ 78.02
c NEW SOLUTION FOUND: 788 @ 78.064
c NEW SOLUTION FOUND: 787 @ 78.11
c NEW SOLUTION FOUND: 786 @ 78.154
c NEW SOLUTION FOUND: 785 @ 78.2
c NEW SOLUTION FOUND: 784 @ 78.243
c NEW SOLUTION FOUND: 783 @ 78.334
c NEW SOLUTION FOUND: 782 @ 78.377
c NEW SOLUTION FOUND: 781 @ 78.422
c NEW SOLUTION FOUND: 780 @ 78.468
c NEW SOLUTION FOUND: 779 @ 78.516
c NEW SOLUTION FOUND: 778 @ 78.56
c NEW SOLUTION FOUND: 777 @ 78.604
c NEW SOLUTION FOUND: 776 @ 78.652
c NEW SOLUTION FOUND: 775 @ 78.695
c NEW SOLUTION FOUND: 774 @ 78.741
c NEW SOLUTION FOUND: 773 @ 78.784
c NEW SOLUTION FOUND: 772 @ 78.83
c NEW SOLUTION FOUND: 771 @ 78.877
c NEW SOLUTION FOUND: 770 @ 78.923
c NEW SOLUTION FOUND: 769 @ 78.967
c NEW SOLUTION FOUND: 768 @ 79.013
c NEW SOLUTION FOUND: 767 @ 79.057
c NEW SOLUTION FOUND: 766 @ 79.101
c NEW SOLUTION FOUND: 765 @ 79.145
c NEW SOLUTION FOUND: 764 @ 79.189
c NEW SOLUTION FOUND: 763 @ 79.234
c NEW SOLUTION FOUND: 762 @ 79.278
c NEW SOLUTION FOUND: 761 @ 79.324
c NEW SOLUTION FOUND: 760 @ 79.369
c NEW SOLUTION FOUND: 759 @ 79.412
c NEW SOLUTION FOUND: 758 @ 79.458
c NEW SOLUTION FOUND: 757 @ 79.501
c NEW SOLUTION FOUND: 756 @ 79.547
c NEW SOLUTION FOUND: 755 @ 79.591
c NEW SOLUTION FOUND: 754 @ 79.637
c NEW SOLUTION FOUND: 753 @ 79.681
c NEW SOLUTION FOUND: 752 @ 79.726
c NEW SOLUTION FOUND: 751 @ 79.772
c NEW SOLUTION FOUND: 750 @ 79.817
c NEW SOLUTION FOUND: 749 @ 79.86
c NEW SOLUTION FOUND: 748 @ 79.904
c NEW SOLUTION FOUND: 747 @ 79.948
c NEW SOLUTION FOUND: 746 @ 79.992
c NEW SOLUTION FOUND: 745 @ 80.036
c NEW SOLUTION FOUND: 744 @ 80.081
c NEW SOLUTION FOUND: 743 @ 80.125
c NEW SOLUTION FOUND: 742 @ 80.169
c NEW SOLUTION FOUND: 741 @ 80.213
c NEW SOLUTION FOUND: 740 @ 80.258
c NEW SOLUTION FOUND: 739 @ 80.304
c NEW SOLUTION FOUND: 738 @ 80.348
c NEW SOLUTION FOUND: 737 @ 80.392
c NEW SOLUTION FOUND: 736 @ 80.436
c NEW SOLUTION FOUND: 735 @ 80.48
c NEW SOLUTION FOUND: 734 @ 80.526
c NEW SOLUTION FOUND: 733 @ 80.57
c NEW SOLUTION FOUND: 732 @ 80.612
c NEW SOLUTION FOUND: 731 @ 80.66
c NEW SOLUTION FOUND: 730 @ 80.706
c NEW SOLUTION FOUND: 729 @ 80.751
c NEW SOLUTION FOUND: 728 @ 80.797
c NEW SOLUTION FOUND: 727 @ 80.841
c NEW SOLUTION FOUND: 726 @ 80.885
c NEW SOLUTION FOUND: 725 @ 80.93
c NEW SOLUTION FOUND: 724 @ 80.975
c NEW SOLUTION FOUND: 723 @ 81.019
c NEW SOLUTION FOUND: 722 @ 81.066
c NEW SOLUTION FOUND: 721 @ 81.11
c NEW SOLUTION FOUND: 720 @ 81.155
c NEW SOLUTION FOUND: 719 @ 81.201
c NEW SOLUTION FOUND: 718 @ 81.247
c NEW SOLUTION FOUND: 717 @ 81.293
c NEW SOLUTION FOUND: 716 @ 81.34
c NEW SOLUTION FOUND: 715 @ 81.385
c NEW SOLUTION FOUND: 714 @ 81.43
c NEW SOLUTION FOUND: 713 @ 81.473
c NEW SOLUTION FOUND: 712 @ 81.517
c NEW SOLUTION FOUND: 711 @ 81.561
c NEW SOLUTION FOUND: 710 @ 81.604
c NEW SOLUTION FOUND: 709 @ 81.65
c NEW SOLUTION FOUND: 708 @ 81.693
c NEW SOLUTION FOUND: 707 @ 81.737
c NEW SOLUTION FOUND: 706 @ 81.781
c NEW SOLUTION FOUND: 705 @ 81.825
c NEW SOLUTION FOUND: 704 @ 81.868
c NEW SOLUTION FOUND: 703 @ 81.912
c NEW SOLUTION FOUND: 702 @ 81.957
c NEW SOLUTION FOUND: 701 @ 81.999
c NEW SOLUTION FOUND: 700 @ 82.043
c NEW SOLUTION FOUND: 699 @ 82.086
c NEW SOLUTION FOUND: 698 @ 82.133
c NEW SOLUTION FOUND: 697 @ 82.177
c NEW SOLUTION FOUND: 696 @ 82.22
c NEW SOLUTION FOUND: 695 @ 82.265
c NEW SOLUTION FOUND: 694 @ 82.309
c NEW SOLUTION FOUND: 693 @ 82.351
c NEW SOLUTION FOUND: 692 @ 82.395
c NEW SOLUTION FOUND: 691 @ 82.438
c NEW SOLUTION FOUND: 690 @ 82.484
c NEW SOLUTION FOUND: 689 @ 82.528
c NEW SOLUTION FOUND: 688 @ 82.574
c NEW SOLUTION FOUND: 687 @ 82.619
c NEW SOLUTION FOUND: 686 @ 82.662
c NEW SOLUTION FOUND: 685 @ 82.706
c NEW SOLUTION FOUND: 684 @ 82.752
c NEW SOLUTION FOUND: 683 @ 82.797
c NEW SOLUTION FOUND: 682 @ 82.841
c NEW SOLUTION FOUND: 681 @ 82.886
c NEW SOLUTION FOUND: 680 @ 82.931
c NEW SOLUTION FOUND: 679 @ 82.976
c NEW SOLUTION FOUND: 678 @ 83.022
c NEW SOLUTION FOUND: 677 @ 83.065
c NEW SOLUTION FOUND: 676 @ 83.11
c NEW SOLUTION FOUND: 675 @ 83.154
c NEW SOLUTION FOUND: 674 @ 83.198
c NEW SOLUTION FOUND: 673 @ 83.287
c NEW SOLUTION FOUND: 672 @ 83.603
c NEW SOLUTION FOUND: 671 @ 83.708
c NEW SOLUTION FOUND: 670 @ 83.992
c NEW SOLUTION FOUND: 669 @ 84.1
c NEW SOLUTION FOUND: 668 @ 84.154
c NEW SOLUTION FOUND: 667 @ 84.428
c NEW SOLUTION FOUND: 666 @ 84.586
c NEW SOLUTION FOUND: 665 @ 84.665
c NEW SOLUTION FOUND: 664 @ 84.893
c NEW SOLUTION FOUND: 663 @ 85.104
c NEW SOLUTION FOUND: 662 @ 85.271
c NEW SOLUTION FOUND: 661 @ 85.395
c NEW SOLUTION FOUND: 660 @ 85.549
c NEW SOLUTION FOUND: 659 @ 85.772
c NEW SOLUTION FOUND: 658 @ 85.902
c NEW SOLUTION FOUND: 657 @ 86.052
c NEW SOLUTION FOUND: 656 @ 86.307
c NEW SOLUTION FOUND: 655 @ 86.44
c NEW SOLUTION FOUND: 654 @ 86.507
c NEW SOLUTION FOUND: 653 @ 86.573
c NEW SOLUTION FOUND: 652 @ 86.771
c NEW SOLUTION FOUND: 651 @ 86.908
c NEW SOLUTION FOUND: 650 @ 87.048
c NEW SOLUTION FOUND: 649 @ 87.117
c NEW SOLUTION FOUND: 648 @ 87.285
c NEW SOLUTION FOUND: 647 @ 87.418
c NEW SOLUTION FOUND: 646 @ 87.593
c NEW SOLUTION FOUND: 645 @ 87.727
c NEW SOLUTION FOUND: 644 @ 87.795
c NEW SOLUTION FOUND: 643 @ 87.867
c NEW SOLUTION FOUND: 642 @ 87.936
c NEW SOLUTION FOUND: 641 @ 88.1
c NEW SOLUTION FOUND: 640 @ 88.355
c NEW SOLUTION FOUND: 639 @ 88.494
c NEW SOLUTION FOUND: 638 @ 88.566
c NEW SOLUTION FOUND: 637 @ 88.813
c NEW SOLUTION FOUND: 636 @ 89.02
c NEW SOLUTION FOUND: 635 @ 89.169
c NEW SOLUTION FOUND: 634 @ 89.247
c NEW SOLUTION FOUND: 633 @ 89.499
c NEW SOLUTION FOUND: 632 @ 89.64
c NEW SOLUTION FOUND: 631 @ 89.803
c NEW SOLUTION FOUND: 630 @ 89.976
c NEW SOLUTION FOUND: 629 @ 90.437
c NEW SOLUTION FOUND: 628 @ 90.673
c NEW SOLUTION FOUND: 627 @ 90.752
c NEW SOLUTION FOUND: 626 @ 90.838
c NEW SOLUTION FOUND: 625 @ 90.924
c NEW SOLUTION FOUND: 624 @ 91.009
c NEW SOLUTION FOUND: 623 @ 91.227
c NEW SOLUTION FOUND: 622 @ 91.703
c NEW SOLUTION FOUND: 621 @ 91.87
c NEW SOLUTION FOUND: 620 @ 91.949
c NEW SOLUTION FOUND: 619 @ 92.168
c NEW SOLUTION FOUND: 618 @ 92.397
c NEW SOLUTION FOUND: 617 @ 92.482
c NEW SOLUTION FOUND: 616 @ 92.576
c NEW SOLUTION FOUND: 615 @ 92.808
c NEW SOLUTION FOUND: 614 @ 93.179
c NEW SOLUTION FOUND: 613 @ 93.369
c NEW SOLUTION FOUND: 612 @ 93.457
c NEW SOLUTION FOUND: 611 @ 93.545
c NEW SOLUTION FOUND: 610 @ 93.761
c NEW SOLUTION FOUND: 609 @ 93.986
c NEW SOLUTION FOUND: 608 @ 94.09
c NEW SOLUTION FOUND: 607 @ 94.185
c NEW SOLUTION FOUND: 606 @ 94.451
c NEW SOLUTION FOUND: 605 @ 94.636
c NEW SOLUTION FOUND: 604 @ 94.733
c NEW SOLUTION FOUND: 603 @ 94.826
c NEW SOLUTION FOUND: 602 @ 94.928
c NEW SOLUTION FOUND: 601 @ 95.031
c NEW SOLUTION FOUND: 600 @ 95.125
c NEW SOLUTION FOUND: 599 @ 95.32
c NEW SOLUTION FOUND: 598 @ 95.505
c NEW SOLUTION FOUND: 597 @ 95.6
c NEW SOLUTION FOUND: 596 @ 95.707
c NEW SOLUTION FOUND: 595 @ 95.8
c NEW SOLUTION FOUND: 594 @ 95.89
c NEW SOLUTION FOUND: 593 @ 95.987
c NEW SOLUTION FOUND: 592 @ 96.076
c NEW SOLUTION FOUND: 591 @ 96.171
c NEW SOLUTION FOUND: 590 @ 96.498
c NEW SOLUTION FOUND: 589 @ 96.815
c NEW SOLUTION FOUND: 588 @ 96.999
c NEW SOLUTION FOUND: 587 @ 97.092
c NEW SOLUTION FOUND: 586 @ 97.477
c NEW SOLUTION FOUND: 585 @ 97.858
c NEW SOLUTION FOUND: 584 @ 97.961
c NEW SOLUTION FOUND: 583 @ 98.067
c NEW SOLUTION FOUND: 582 @ 98.185
c NEW SOLUTION FOUND: 581 @ 98.286
c NEW SOLUTION FOUND: 580 @ 98.428
c NEW SOLUTION FOUND: 579 @ 98.529
c NEW SOLUTION FOUND: 578 @ 98.638
c NEW SOLUTION FOUND: 577 @ 98.746
c NEW SOLUTION FOUND: 576 @ 99.004
c NEW SOLUTION FOUND: 575 @ 99.322
c NEW SOLUTION FOUND: 574 @ 99.545
c NEW SOLUTION FOUND: 573 @ 99.649
c NEW SOLUTION FOUND: 572 @ 99.756
c NEW SOLUTION FOUND: 571 @ 99.871
c NEW SOLUTION FOUND: 570 @ 99.976
c NEW SOLUTION FOUND: 569 @ 100.08
c NEW SOLUTION FOUND: 568 @ 100.189
c NEW SOLUTION FOUND: 567 @ 100.294
c NEW SOLUTION FOUND: 566 @ 100.397
c NEW SOLUTION FOUND: 565 @ 100.646
c NEW SOLUTION FOUND: 564 @ 100.855
c NEW SOLUTION FOUND: 563 @ 100.962
c NEW SOLUTION FOUND: 562 @ 101.07
c NEW SOLUTION FOUND: 561 @ 101.179
c NEW SOLUTION FOUND: 560 @ 101.293
c NEW SOLUTION FOUND: 559 @ 101.559
c NEW SOLUTION FOUND: 558 @ 101.793
c NEW SOLUTION FOUND: 557 @ 102.074
c NEW SOLUTION FOUND: 556 @ 102.29
c NEW SOLUTION FOUND: 555 @ 102.403
c NEW SOLUTION FOUND: 554 @ 102.516
c NEW SOLUTION FOUND: 553 @ 102.971
c NEW SOLUTION FOUND: 552 @ 103.09
c NEW SOLUTION FOUND: 551 @ 103.208
c NEW SOLUTION FOUND: 550 @ 103.329
c NEW SOLUTION FOUND: 549 @ 103.623
c NEW SOLUTION FOUND: 548 @ 104.001
c NEW SOLUTION FOUND: 547 @ 104.244
c NEW SOLUTION FOUND: 546 @ 104.367
c NEW SOLUTION FOUND: 545 @ 104.598
c NEW SOLUTION FOUND: 544 @ 104.885
c NEW SOLUTION FOUND: 543 @ 105.124
c NEW SOLUTION FOUND: 542 @ 105.386
c NEW SOLUTION FOUND: 541 @ 105.642
c NEW SOLUTION FOUND: 540 @ 105.765
c NEW SOLUTION FOUND: 539 @ 105.9
c NEW SOLUTION FOUND: 538 @ 106.019
c NEW SOLUTION FOUND: 537 @ 106.139
c NEW SOLUTION FOUND: 536 @ 106.256
c NEW SOLUTION FOUND: 535 @ 106.385
c NEW SOLUTION FOUND: 534 @ 106.573
c NEW SOLUTION FOUND: 533 @ 106.695
c NEW SOLUTION FOUND: 532 @ 106.817
c NEW SOLUTION FOUND: 531 @ 106.941
c NEW SOLUTION FOUND: 530 @ 107.07
c NEW SOLUTION FOUND: 529 @ 107.205
c NEW SOLUTION FOUND: 528 @ 107.338
c NEW SOLUTION FOUND: 527 @ 107.481
c NEW SOLUTION FOUND: 526 @ 107.607
c NEW SOLUTION FOUND: 525 @ 107.862
c NEW SOLUTION FOUND: 524 @ 108
c NEW SOLUTION FOUND: 523 @ 108.129
c NEW SOLUTION FOUND: 522 @ 108.266
c NEW SOLUTION FOUND: 521 @ 108.406
c NEW SOLUTION FOUND: 520 @ 108.541
c NEW SOLUTION FOUND: 519 @ 108.803
c NEW SOLUTION FOUND: 518 @ 109.125
c NEW SOLUTION FOUND: 517 @ 109.385
c NEW SOLUTION FOUND: 516 @ 109.527
c NEW SOLUTION FOUND: 515 @ 109.671
c NEW SOLUTION FOUND: 514 @ 109.812
c NEW SOLUTION FOUND: 513 @ 109.947
c NEW SOLUTION FOUND: 512 @ 110.082
c NEW SOLUTION FOUND: 511 @ 110.215
c NEW SOLUTION FOUND: 510 @ 110.348
c NEW SOLUTION FOUND: 509 @ 110.484
c NEW SOLUTION FOUND: 508 @ 110.618
c NEW SOLUTION FOUND: 507 @ 110.752
c NEW SOLUTION FOUND: 506 @ 110.886
c NEW SOLUTION FOUND: 505 @ 111.017
c NEW SOLUTION FOUND: 504 @ 111.159
c NEW SOLUTION FOUND: 503 @ 111.287
c NEW SOLUTION FOUND: 502 @ 111.425
c NEW SOLUTION FOUND: 501 @ 111.563
c NEW SOLUTION FOUND: 500 @ 111.957
c NEW SOLUTION FOUND: 499 @ 112.364
c NEW SOLUTION FOUND: 498 @ 112.494
c NEW SOLUTION FOUND: 497 @ 112.898
c NEW SOLUTION FOUND: 496 @ 113.041
c NEW SOLUTION FOUND: 495 @ 113.189
c NEW SOLUTION FOUND: 494 @ 113.327
c NEW SOLUTION FOUND: 493 @ 113.603
c NEW SOLUTION FOUND: 492 @ 113.894
c NEW SOLUTION FOUND: 491 @ 114.034
c NEW SOLUTION FOUND: 490 @ 114.336
c NEW SOLUTION FOUND: 489 @ 114.493
c NEW SOLUTION FOUND: 488 @ 114.632
c NEW SOLUTION FOUND: 487 @ 114.778
c NEW SOLUTION FOUND: 486 @ 114.922
c NEW SOLUTION FOUND: 485 @ 115.218
c NEW SOLUTION FOUND: 484 @ 115.561
c NEW SOLUTION FOUND: 483 @ 115.857
c NEW SOLUTION FOUND: 482 @ 116.3
c NEW SOLUTION FOUND: 481 @ 116.446
c NEW SOLUTION FOUND: 480 @ 116.603
c NEW SOLUTION FOUND: 479 @ 116.969
c NEW SOLUTION FOUND: 478 @ 117.262
c NEW SOLUTION FOUND: 477 @ 117.413
c NEW SOLUTION FOUND: 476 @ 117.572
c NEW SOLUTION FOUND: 475 @ 117.727
c NEW SOLUTION FOUND: 474 @ 117.87
c NEW SOLUTION FOUND: 473 @ 118.035
c NEW SOLUTION FOUND: 472 @ 118.205
c NEW SOLUTION FOUND: 471 @ 118.358
c NEW SOLUTION FOUND: 470 @ 118.519
c NEW SOLUTION FOUND: 469 @ 118.671
c NEW SOLUTION FOUND: 468 @ 118.828
c NEW SOLUTION FOUND: 467 @ 119.136
c NEW SOLUTION FOUND: 466 @ 119.44
c NEW SOLUTION FOUND: 465 @ 119.761
c NEW SOLUTION FOUND: 464 @ 119.912
c NEW SOLUTION FOUND: 463 @ 120.311
c NEW SOLUTION FOUND: 462 @ 120.802
c NEW SOLUTION FOUND: 461 @ 120.979
c NEW SOLUTION FOUND: 460 @ 121.169
c NEW SOLUTION FOUND: 459 @ 121.508
c NEW SOLUTION FOUND: 458 @ 121.686
c NEW SOLUTION FOUND: 457 @ 122.006
c NEW SOLUTION FOUND: 456 @ 122.172
c NEW SOLUTION FOUND: 455 @ 122.861
c NEW SOLUTION FOUND: 454 @ 123.388
c NEW SOLUTION FOUND: 453 @ 123.56
c NEW SOLUTION FOUND: 452 @ 123.763
c NEW SOLUTION FOUND: 451 @ 124.14
c NEW SOLUTION FOUND: 450 @ 124.531
c NEW SOLUTION FOUND: 449 @ 124.72
c NEW SOLUTION FOUND: 448 @ 124.959
c NEW SOLUTION FOUND: 447 @ 125.137
c NEW SOLUTION FOUND: 446 @ 125.498
c NEW SOLUTION FOUND: 445 @ 125.879
c NEW SOLUTION FOUND: 444 @ 126.243
c NEW SOLUTION FOUND: 443 @ 126.44
c NEW SOLUTION FOUND: 442 @ 126.832
c NEW SOLUTION FOUND: 441 @ 127.429
c NEW SOLUTION FOUND: 440 @ 127.639
c NEW SOLUTION FOUND: 439 @ 127.845
c NEW SOLUTION FOUND: 438 @ 128.056
c NEW SOLUTION FOUND: 437 @ 128.278
c NEW SOLUTION FOUND: 436 @ 128.484
c NEW SOLUTION FOUND: 435 @ 128.912
c NEW SOLUTION FOUND: 434 @ 129.912
c NEW SOLUTION FOUND: 433 @ 130.566
c NEW SOLUTION FOUND: 432 @ 131.453
c NEW SOLUTION FOUND: 431 @ 131.882
c NEW SOLUTION FOUND: 430 @ 132.136
c NEW SOLUTION FOUND: 429 @ 132.59
c NEW SOLUTION FOUND: 428 @ 133.709
c NEW SOLUTION FOUND: 427 @ 135.031
c NEW SOLUTION FOUND: 426 @ 135.515
c NEW SOLUTION FOUND: 425 @ 135.792
c NEW SOLUTION FOUND: 424 @ 136.138
c NEW SOLUTION FOUND: 423 @ 136.394
c NEW SOLUTION FOUND: 422 @ 137.067
c NEW SOLUTION FOUND: 421 @ 137.601
c NEW SOLUTION FOUND: 420 @ 138.215
c NEW SOLUTION FOUND: 419 @ 138.532
c NEW SOLUTION FOUND: 418 @ 139.145
c NEW SOLUTION FOUND: 417 @ 140.781
c NEW SOLUTION FOUND: 416 @ 141.443
c NEW SOLUTION FOUND: 415 @ 141.848
c NEW SOLUTION FOUND: 414 @ 142.24
c NEW SOLUTION FOUND: 413 @ 142.927
c NEW SOLUTION FOUND: 412 @ 143.289
c NEW SOLUTION FOUND: 411 @ 143.632
c NEW SOLUTION FOUND: 410 @ 144.391
c NEW SOLUTION FOUND: 409 @ 144.803
c NEW SOLUTION FOUND: 408 @ 145.182
c NEW SOLUTION FOUND: 407 @ 145.548
c NEW SOLUTION FOUND: 406 @ 145.959
c NEW SOLUTION FOUND: 405 @ 146.351
c NEW SOLUTION FOUND: 404 @ 147.856
c NEW SOLUTION FOUND: 403 @ 149.301
c NEW SOLUTION FOUND: 402 @ 150.603
c NEW SOLUTION FOUND: 401 @ 152.469
c NEW SOLUTION FOUND: 400 @ 154.117
c NEW SOLUTION FOUND: 399 @ 155.414
c NEW SOLUTION FOUND: 398 @ 159.177
c NEW SOLUTION FOUND: 397 @ 162.691
c NEW SOLUTION FOUND: 396 @ 166.134
c NEW SOLUTION FOUND: 395 @ 168.417
c NEW SOLUTION FOUND: 394 @ 169.078
c NEW SOLUTION FOUND: 393 @ 169.682
c NEW SOLUTION FOUND: 392 @ 170.274
c NEW SOLUTION FOUND: 391 @ 174.241
c NEW SOLUTION FOUND: 390 @ 176.348
c NEW SOLUTION FOUND: 389 @ 181.919
c NEW SOLUTION FOUND: 388 @ 187.357
c NEW SOLUTION FOUND: 387 @ 191.325
c NEW SOLUTION FOUND: 386 @ 196.251
c NEW SOLUTION FOUND: 385 @ 202.18
c NEW SOLUTION FOUND: 384 @ 206.197
c NEW SOLUTION FOUND: 383 @ 209.604
c NEW SOLUTION FOUND: 382 @ 222.001
c NEW SOLUTION FOUND: 381 @ 229.681
c NEW SOLUTION FOUND: 380 @ 236.626
c NEW SOLUTION FOUND: 379 @ 261.89
c NEW SOLUTION FOUND: 378 @ 276.362
c NEW SOLUTION FOUND: 377 @ 288.361
c NEW SOLUTION FOUND: 376 @ 327.732
c NEW SOLUTION FOUND: 375 @ 350.992
c NEW SOLUTION FOUND: 374 @ 473.979
c NEW SOLUTION FOUND: 373 @ 669.411
c NEW SOLUTION FOUND: 372 @ 863.922
c NEW SOLUTION FOUND: 371 @ 951.236
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: 1176.67 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.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (runsolver) R 12036 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 760016930 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 3898 0 0 0 984 11 0 0 25 0 1 0 760016930 17244160 3316 4294967295 134512640 134714508 3221221776 3221218136 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4210 3316 1111 63 0 4147 0
vsize: 16840
[startup+20.0018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 4035 0 0 0 1984 11 0 0 25 0 1 0 760016930 17707008 3453 4294967295 134512640 134714508 3221221776 3221217924 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4323 3453 1111 63 0 4260 0
vsize: 17292
[startup+30.0023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 6009 0 0 0 2979 16 0 0 25 0 1 0 760016930 18972672 3385 4294967295 134512640 134714508 3221221776 3221217916 1075116767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4632 3385 1111 63 0 4569 0
vsize: 18528
[startup+40.0033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 9620 0 0 0 3970 25 0 0 25 0 1 0 760016930 15904768 3088 4294967295 134512640 134714508 3221221776 3221219800 1075964740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3883 3088 1111 63 0 3820 0
vsize: 15532
[startup+50.0035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 12004 0 0 0 4965 31 0 0 25 0 1 0 760016930 15892480 3124 4294967295 134512640 134714508 3221221776 3221220176 1074031945 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3880 3124 1111 63 0 3817 0
vsize: 15520
[startup+60.0031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 15335 0 0 0 5957 39 0 0 25 0 1 0 760016930 19308544 3505 4294967295 134512640 134714508 3221221776 3221217968 1074961264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4714 3505 1111 63 0 4651 0
vsize: 18856
[startup+70.0042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 28686 0 0 0 6920 76 0 0 25 0 1 0 760016930 14274560 2798 4294967295 134512640 134714508 3221221776 3221220480 134652495 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3485 2798 1111 63 0 3422 0
vsize: 13940
[startup+80.0054 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 51820 0 0 0 7865 130 0 0 25 0 1 0 760016930 14274560 2798 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3485 2798 1111 63 0 3422 0
vsize: 13940
[startup+90.0059 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 73307 0 0 0 8810 184 0 0 25 0 1 0 760016930 14274560 2798 4294967295 134512640 134714508 3221221776 3221219056 1074140048 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3485 2798 1111 63 0 3422 0
vsize: 13940
[startup+100.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 89341 0 0 0 9770 225 0 0 25 0 1 0 760016930 16220160 2829 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3960 2838 1111 63 0 3897 0
vsize: 15840
[startup+110.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 102314 0 0 0 10739 257 0 0 25 0 1 0 760016930 16220160 2816 4294967295 134512640 134714508 3221221776 3221218544 1076083429 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3960 2816 1111 63 0 3897 0
vsize: 15840
[startup+120.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 113075 0 0 0 11713 283 0 0 25 0 1 0 760016930 14274560 2798 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3485 2798 1111 63 0 3422 0
vsize: 13940
[startup+130.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 121701 0 0 0 12692 303 0 0 25 0 1 0 760016930 14274560 2803 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3485 2803 1111 63 0 3422 0
vsize: 13940
[startup+140.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 131475 0 0 0 13668 327 0 0 25 0 1 0 760016930 17444864 3211 4294967295 134512640 134714508 3221221776 3221218432 1075968411 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4259 3211 1111 63 0 4196 0
vsize: 17036
[startup+150.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 139521 0 0 0 14647 348 0 0 25 0 1 0 760016930 17698816 2944 4294967295 134512640 134714508 3221221776 3221218308 1075863609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4321 2944 1111 63 0 4258 0
vsize: 17284
[startup+160.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 146510 0 0 0 15630 365 0 0 25 0 1 0 760016930 17780736 2999 4294967295 134512640 134714508 3221221776 3221217904 1075561201 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 2999 1111 63 0 4278 0
vsize: 17364
[startup+170.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 152815 0 0 0 16616 380 0 0 25 0 1 0 760016930 14745600 2913 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3600 2913 1111 63 0 3537 0
vsize: 14400
[startup+180.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 158784 0 0 0 17601 395 0 0 25 0 1 0 760016930 18513920 3180 4294967295 134512640 134714508 3221221776 3221218004 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4520 3180 1111 63 0 4457 0
vsize: 18080
[startup+190.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 164271 0 0 0 18587 409 0 0 25 0 1 0 760016930 18751488 3249 4294967295 134512640 134714508 3221221776 3221218432 1075967892 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3249 1111 63 0 4515 0
vsize: 18312
[startup+200.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 169828 0 0 0 19573 423 0 0 25 0 1 0 760016930 15675392 3121 4294967295 134512640 134714508 3221221776 3221219056 1074140374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3827 3121 1111 63 0 3764 0
vsize: 15308
[startup+210.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 175543 0 0 0 20560 437 0 0 25 0 1 0 760016930 15536128 3119 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3793 3119 1111 63 0 3730 0
vsize: 15172
[startup+220.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 182426 0 0 0 21545 452 0 0 25 0 1 0 760016930 19267584 3410 4294967295 134512640 134714508 3221221776 3221217904 1075560774 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4704 3410 1111 63 0 4641 0
vsize: 18816
[startup+230.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 189366 0 0 0 22529 468 0 0 25 0 1 0 760016930 15626240 3141 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3815 3141 1111 63 0 3752 0
vsize: 15260
[startup+240.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 196613 0 0 0 23512 485 0 0 25 0 1 0 760016930 15773696 3177 4294967295 134512640 134714508 3221221776 3221219488 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3851 3177 1111 63 0 3788 0
vsize: 15404
[startup+250.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 203443 0 0 0 24496 501 0 0 25 0 1 0 760016930 19836928 3555 4294967295 134512640 134714508 3221221776 3221218928 1075969830 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4843 3555 1111 63 0 4780 0
vsize: 19372
[startup+260.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 210716 0 0 0 25479 519 0 0 25 0 1 0 760016930 19890176 3604 4294967295 134512640 134714508 3221221776 3221218864 1075661525 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4856 3604 1111 63 0 4793 0
vsize: 19424
[startup+270.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 216405 0 0 0 26467 531 0 0 25 0 1 0 760016930 16924672 3386 4294967295 134512640 134714508 3221221776 3221219056 1074140041 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4132 3390 1111 63 0 4069 0
vsize: 16528
[startup+280.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 223485 0 0 0 27451 547 0 0 25 0 1 0 760016930 19968000 3661 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4875 3661 1111 63 0 4812 0
vsize: 19500
[startup+290.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 230883 0 0 0 28435 563 0 0 25 0 1 0 760016930 16158720 3271 4294967295 134512640 134714508 3221221776 3221220128 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3945 3271 1111 63 0 3882 0
vsize: 15780
[startup+300.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 238351 0 0 0 29417 582 0 0 25 0 1 0 760016930 16797696 3419 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3419 1111 63 0 4038 0
vsize: 16404
[startup+310.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 245788 0 0 0 30399 599 0 0 25 0 1 0 760016930 16601088 3379 4294967295 134512640 134714508 3221221776 3221220112 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4053 3379 1111 63 0 3990 0
vsize: 16212
[startup+320.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 251591 0 0 0 31386 612 0 0 25 0 1 0 760016930 16715776 3394 4294967295 134512640 134714508 3221221776 3221220160 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4081 3394 1111 63 0 4018 0
vsize: 16324
[startup+330.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 257660 0 0 0 32371 628 0 0 25 0 1 0 760016930 16756736 3417 4294967295 134512640 134714508 3221221776 3221219760 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4091 3417 1111 63 0 4028 0
vsize: 16364
[startup+340.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 263894 0 0 0 33357 642 0 0 25 0 1 0 760016930 20672512 3882 4294967295 134512640 134714508 3221221776 3221218096 1075858408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5047 3882 1111 63 0 4984 0
vsize: 20188
[startup+350.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 271435 0 0 0 34338 661 0 0 25 0 1 0 760016930 19898368 3930 4294967295 134512640 134714508 3221221776 3221217788 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4858 3930 1111 63 0 4795 0
vsize: 19432
[startup+360.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 276872 0 0 0 35324 675 0 0 25 0 1 0 760016930 16814080 3419 4294967295 134512640 134714508 3221221776 3221220080 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4105 3419 1111 63 0 4042 0
vsize: 16420
[startup+370.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 282481 0 0 0 36310 690 0 0 25 0 1 0 760016930 21176320 3835 4294967295 134512640 134714508 3221221776 3221217920 1074970285 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5170 3835 1111 63 0 5107 0
vsize: 20680
[startup+380.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 290612 0 0 0 37292 707 0 0 25 0 1 0 760016930 16945152 3456 4294967295 134512640 134714508 3221221776 3221220176 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4137 3456 1111 63 0 4074 0
vsize: 16548
[startup+390.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 297734 0 0 0 38276 724 0 0 25 0 1 0 760016930 18026496 3713 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4401 3713 1111 63 0 4338 0
vsize: 17604
[startup+400.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 304155 0 0 0 39261 739 0 0 25 0 1 0 760016930 17625088 3613 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4303 3613 1111 63 0 4240 0
vsize: 17212
[startup+410.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 312987 0 0 0 40242 758 0 0 25 0 1 0 760016930 18202624 3752 4294967295 134512640 134714508 3221221776 3221219776 1074916681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4444 3752 1111 63 0 4381 0
vsize: 17776
[startup+420.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 322641 0 0 0 41218 783 0 0 25 0 1 0 760016930 17707008 3619 4294967295 134512640 134714508 3221221776 3221220128 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4323 3619 1111 63 0 4260 0
vsize: 17292
[startup+430.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 329513 0 0 0 42202 799 0 0 25 0 1 0 760016930 17661952 3619 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4312 3619 1111 63 0 4249 0
vsize: 17248
[startup+440.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 336081 0 0 0 43184 817 0 0 25 0 1 0 760016930 17469440 3591 4294967295 134512640 134714508 3221221776 3221219244 1077404742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4265 3591 1111 63 0 4202 0
vsize: 17060
[startup+450.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 345184 0 0 0 44164 837 0 0 25 0 1 0 760016930 17412096 3574 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4251 3574 1111 63 0 4188 0
vsize: 17004
[startup+460.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 351871 0 0 0 45148 853 0 0 25 0 1 0 760016930 17592320 3602 4294967295 134512640 134714508 3221221776 3221220112 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4295 3602 1111 63 0 4232 0
vsize: 17180
[startup+470.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 359118 0 0 0 46132 869 0 0 25 0 1 0 760016930 17829888 3679 4294967295 134512640 134714508 3221221776 3221219808 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4353 3679 1111 63 0 4290 0
vsize: 17412
[startup+480.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 365564 0 0 0 47117 884 0 0 25 0 1 0 760016930 21176320 4208 4294967295 134512640 134714508 3221221776 3221218720 1074620107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5170 4209 1111 63 0 5107 0
vsize: 20680
[startup+490.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 371680 0 0 0 48102 899 0 0 25 0 1 0 760016930 18866176 3920 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4606 3920 1111 63 0 4543 0
vsize: 18424
[startup+500.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 378031 0 0 0 49086 915 0 0 25 0 1 0 760016930 22196224 4217 4294967295 134512640 134714508 3221221776 3221218112 1075113634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5419 4217 1111 63 0 5356 0
vsize: 21676
[startup+510.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 386513 0 0 0 50066 936 0 0 25 0 1 0 760016930 18219008 3760 4294967295 134512640 134714508 3221221776 3221220128 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4448 3760 1111 63 0 4385 0
vsize: 17792
[startup+520.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 394301 0 0 0 51047 954 0 0 25 0 1 0 760016930 18161664 3733 4294967295 134512640 134714508 3221221776 3221220160 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4434 3733 1111 63 0 4371 0
vsize: 17736
[startup+530.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 400707 0 0 0 52032 970 0 0 25 0 1 0 760016930 19333120 4032 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4720 4032 1111 63 0 4657 0
vsize: 18880
[startup+540.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 407942 0 0 0 53014 988 0 0 25 0 1 0 760016930 18251776 3782 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4456 3782 1111 63 0 4393 0
vsize: 17824
[startup+550.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 414887 0 0 0 53998 1004 0 0 25 0 1 0 760016930 22638592 4174 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5527 4180 1111 63 0 5464 0
vsize: 22108
[startup+560.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 418440 0 0 0 54990 1012 0 0 25 0 1 0 760016930 19456000 4058 4294967295 134512640 134714508 3221221776 3221219776 1074915844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4750 4058 1111 63 0 4687 0
vsize: 19000
[startup+570.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 425500 0 0 0 55974 1028 0 0 25 0 1 0 760016930 18694144 3870 4294967295 134512640 134714508 3221221776 3221219504 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4564 3870 1111 63 0 4501 0
vsize: 18256
[startup+580.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 433676 0 0 0 56957 1045 0 0 25 0 1 0 760016930 18440192 3828 4294967295 134512640 134714508 3221221776 3221220160 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4502 3828 1111 63 0 4439 0
vsize: 18008
[startup+590.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 440981 0 0 0 57939 1063 0 0 25 0 1 0 760016930 18587648 3837 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3837 1111 63 0 4475 0
vsize: 18152
[startup+600.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 448070 0 0 0 58923 1079 0 0 25 0 1 0 760016930 22814720 4628 4294967295 134512640 134714508 3221221776 3221217788 1074788977 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5570 4628 1111 63 0 5507 0
vsize: 22280
[startup+610.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 455763 0 0 0 59908 1095 0 0 25 0 1 0 760016930 22921216 4447 4294967295 134512640 134714508 3221221776 3221218608 1075115368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5596 4447 1111 63 0 5533 0
vsize: 22384
[startup+620.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 463902 0 0 0 60888 1115 0 0 25 0 1 0 760016930 20004864 4170 4294967295 134512640 134714508 3221221776 3221219504 1075828444 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4884 4170 1111 63 0 4821 0
vsize: 19536
[startup+630.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 472359 0 0 0 61868 1135 0 0 25 0 1 0 760016930 18759680 3906 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4580 3906 1111 63 0 4517 0
vsize: 18320
[startup+640.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 479988 0 0 0 62851 1153 0 0 25 0 1 0 760016930 18829312 3923 4294967295 134512640 134714508 3221221776 3221220080 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4597 3923 1111 63 0 4534 0
vsize: 18388
[startup+650.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 486073 0 0 0 63836 1167 0 0 25 0 1 0 760016930 19410944 4065 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4739 4065 1111 63 0 4676 0
vsize: 18956
[startup+660.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 494345 0 0 0 64817 1187 0 0 25 0 1 0 760016930 23244800 4503 4294967295 134512640 134714508 3221221776 3221217920 1074969469 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5675 4503 1111 63 0 5612 0
vsize: 22700
[startup+670.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 502350 0 0 0 65798 1205 0 0 25 0 1 0 760016930 19222528 3998 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4693 3998 1111 63 0 4630 0
vsize: 18772
[startup+680.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 508666 0 0 0 66784 1220 0 0 25 0 1 0 760016930 18812928 3919 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4593 3919 1111 63 0 4530 0
vsize: 18372
[startup+690.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 513838 0 0 0 67772 1232 0 0 25 0 1 0 760016930 20242432 4237 4294967295 134512640 134714508 3221221776 3221219776 1074918652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4942 4237 1111 63 0 4879 0
vsize: 19768
[startup+700.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 519889 0 0 0 68759 1246 0 0 25 0 1 0 760016930 19234816 4022 4294967295 134512640 134714508 3221221776 3221220368 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4696 4022 1111 63 0 4633 0
vsize: 18784
[startup+710.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 525452 0 0 0 69746 1258 0 0 25 0 1 0 760016930 23453696 4642 4294967295 134512640 134714508 3221221776 3221217592 1074788452 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5726 4642 1111 63 0 5663 0
vsize: 22904
[startup+720.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 533458 0 0 0 70729 1276 0 0 25 0 1 0 760016930 19189760 4011 4294967295 134512640 134714508 3221221776 3221219440 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4685 4011 1111 63 0 4622 0
vsize: 18740
[startup+730.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 540406 0 0 0 71713 1292 0 0 25 0 1 0 760016930 19804160 4129 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4835 4129 1111 63 0 4772 0
vsize: 19340
[startup+740.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 548345 0 0 0 72694 1311 0 0 25 0 1 0 760016930 19034112 3973 4294967295 134512640 134714508 3221221776 3221219680 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4647 3973 1111 63 0 4584 0
vsize: 18588
[startup+750.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 554551 0 0 0 73678 1327 0 0 25 0 1 0 760016930 19456000 4061 4294967295 134512640 134714508 3221221776 3221219520 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4750 4061 1111 63 0 4687 0
vsize: 19000
[startup+760.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 560589 0 0 0 74665 1340 0 0 25 0 1 0 760016930 22634496 4621 4294967295 134512640 134714508 3221221776 3221218588 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5526 4621 1111 63 0 5463 0
vsize: 22104
[startup+770.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 566978 0 0 0 75649 1356 0 0 25 0 1 0 760016930 23707648 4574 4294967295 134512640 134714508 3221221776 3221217740 1074860617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5788 4576 1111 63 0 5725 0
vsize: 23152
[startup+780.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 573707 0 0 0 76635 1370 0 0 25 0 1 0 760016930 23629824 4897 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5769 4897 1111 63 0 5706 0
vsize: 23076
[startup+790.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 579131 0 0 0 77622 1383 0 0 25 0 1 0 760016930 19021824 3970 4294967295 134512640 134714508 3221221776 3221219632 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4644 3970 1111 63 0 4581 0
vsize: 18576
[startup+800.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 586370 0 0 0 78607 1399 0 0 25 0 1 0 760016930 20561920 4314 4294967295 134512640 134714508 3221221776 3221219888 1074867323 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5020 4314 1111 63 0 4957 0
vsize: 20080
[startup+810.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 591720 0 0 0 79595 1411 0 0 25 0 1 0 760016930 22728704 4640 4294967295 134512640 134714508 3221221776 3221218432 1075967941 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5549 4640 1111 63 0 5486 0
vsize: 22196
[startup+820.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 599753 0 0 0 80577 1429 0 0 25 0 1 0 760016930 20070400 4198 4294967295 134512640 134714508 3221221776 3221220240 1074039232 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4900 4198 1111 63 0 4837 0
vsize: 19600
[startup+830.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 607699 0 0 0 81557 1449 0 0 25 0 1 0 760016930 19226624 3991 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4694 3991 1111 63 0 4631 0
vsize: 18776
[startup+840.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 614996 0 0 0 82541 1465 0 0 25 0 1 0 760016930 22974464 4377 4294967295 134512640 134714508 3221221776 3221218720 1074620373 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5609 4377 1111 63 0 5546 0
vsize: 22436
[startup+850.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 621339 0 0 0 83526 1481 0 0 25 0 1 0 760016930 19587072 4108 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4782 4108 1111 63 0 4719 0
vsize: 19128
[startup+860.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 629852 0 0 0 84506 1501 0 0 25 0 1 0 760016930 19279872 4033 4294967295 134512640 134714508 3221221776 3221215240 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4707 4033 1111 63 0 4644 0
vsize: 18828
[startup+870.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 634585 0 0 0 85494 1513 0 0 25 0 1 0 760016930 20987904 4398 4294967295 134512640 134714508 3221221776 3221219504 1075828621 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5124 4398 1111 63 0 5061 0
vsize: 20496
[startup+880.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 640287 0 0 0 86482 1525 0 0 25 0 1 0 760016930 19808256 4144 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4836 4144 1111 63 0 4773 0
vsize: 19344
[startup+890.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 644920 0 0 0 87471 1536 0 0 25 0 1 0 760016930 19636224 4120 4294967295 134512640 134714508 3221221776 3221220128 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4794 4120 1111 63 0 4731 0
vsize: 19176
[startup+900.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 648912 0 0 0 88462 1546 0 0 25 0 1 0 760016930 24248320 5037 4294967295 134512640 134714508 3221221776 3221218048 1074960795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5920 5037 1111 63 0 5857 0
vsize: 23680
[startup+910.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 656380 0 0 0 89444 1564 0 0 25 0 1 0 760016930 24412160 4853 4294967295 134512640 134714508 3221221776 3221218016 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5960 4853 1111 63 0 5897 0
vsize: 23840
[startup+920.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 662790 0 0 0 90427 1581 0 0 25 0 1 0 760016930 24145920 4824 4294967295 134512640 134714508 3221221776 3221217952 1074882552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5895 4824 1111 63 0 5832 0
vsize: 23580
[startup+930.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 670615 0 0 0 91409 1599 0 0 25 0 1 0 760016930 19628032 4118 4294967295 134512640 134714508 3221221776 3221215456 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4792 4118 1111 63 0 4729 0
vsize: 19168
[startup+940.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 676416 0 0 0 92397 1612 0 0 25 0 1 0 760016930 24346624 4867 4294967295 134512640 134714508 3221221776 3221218096 1075115906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5944 4867 1111 63 0 5881 0
vsize: 23776
[startup+950.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 683199 0 0 0 93382 1627 0 0 25 0 1 0 760016930 24309760 4905 4294967295 134512640 134714508 3221221776 3221217952 1074882610 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5935 4905 1111 63 0 5872 0
vsize: 23740
[startup+960.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 687652 0 0 0 94371 1638 0 0 25 0 1 0 760016930 24424448 4895 4294967295 134512640 134714508 3221221776 3221217708 1074788217 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5963 4895 1111 63 0 5900 0
vsize: 23852
[startup+970.035 s]
Raw data (loadavg): 1.07 1.02 1.00 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 692669 0 0 0 95358 1651 0 0 25 0 1 0 760016930 20029440 4203 4294967295 134512640 134714508 3221221776 3221220064 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4890 4203 1111 63 0 4827 0
vsize: 19560
[startup+980.035 s]
Raw data (loadavg): 1.06 1.02 1.00 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 696702 0 0 0 96349 1660 0 0 25 0 1 0 760016930 24596480 5035 4294967295 134512640 134714508 3221221776 3221217744 1075965307 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6005 5035 1111 63 0 5942 0
vsize: 24020
[startup+990.036 s]
Raw data (loadavg): 1.05 1.01 1.00 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 700429 0 0 0 97340 1670 0 0 25 0 1 0 760016930 20070400 4226 4294967295 134512640 134714508 3221221776 3221220112 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4900 4226 1111 63 0 4837 0
vsize: 19600
[startup+1000.04 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 705851 0 0 0 98326 1683 0 0 25 0 1 0 760016930 20303872 4283 4294967295 134512640 134714508 3221221776 3221219824 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4957 4283 1111 63 0 4894 0
vsize: 19828
[startup+1010.04 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 712559 0 0 0 99311 1699 0 0 25 0 1 0 760016930 25055232 5162 4294967295 134512640 134714508 3221221776 3221218304 1075397167 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6117 5162 1111 63 0 6054 0
vsize: 24468
[startup+1020.04 s]
Raw data (loadavg): 1.03 1.01 1.00 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 717628 0 0 0 100299 1711 0 0 25 0 1 0 760016930 24416256 4908 4294967295 134512640 134714508 3221221776 3221218004 1075114984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5961 4908 1111 63 0 5898 0
vsize: 23844
[startup+1030.04 s]
Raw data (loadavg): 1.03 1.01 1.00 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 721660 0 0 0 101288 1722 0 0 25 0 1 0 760016930 20295680 4281 4294967295 134512640 134714508 3221221776 3221220112 1074153794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4955 4281 1111 63 0 4892 0
vsize: 19820
[startup+1040.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 725940 0 0 0 102278 1732 0 0 25 0 1 0 760016930 23982080 5029 4294967295 134512640 134714508 3221221776 3221218004 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5855 5029 1111 63 0 5792 0
vsize: 23420
[startup+1050.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 732764 0 0 0 103263 1748 0 0 25 0 1 0 760016930 24162304 4744 4294967295 134512640 134714508 3221221776 3221218696 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5899 4744 1111 63 0 5836 0
vsize: 23596
[startup+1060.04 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 736828 0 0 0 104252 1759 0 0 25 0 1 0 760016930 25026560 5157 4294967295 134512640 134714508 3221221776 3221218004 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6110 5157 1111 63 0 6047 0
vsize: 24440
[startup+1070.04 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 742782 0 0 0 105238 1773 0 0 25 0 1 0 760016930 25137152 5309 4294967295 134512640 134714508 3221221776 3221218004 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6137 5309 1111 63 0 6074 0
vsize: 24548
[startup+1080.04 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 748549 0 0 0 106223 1788 0 0 25 0 1 0 760016930 24244224 5089 4294967295 134512640 134714508 3221221776 3221217936 1075095094 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5919 5089 1111 63 0 5856 0
vsize: 23676
[startup+1090.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 755903 0 0 0 107206 1805 0 0 25 0 1 0 760016930 21110784 4467 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5154 4467 1111 63 0 5091 0
vsize: 20616
[startup+1100.04 s]
Raw data (loadavg): 1.01 1.00 1.00 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 761695 0 0 0 108193 1818 0 0 25 0 1 0 760016930 20410368 4289 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4983 4289 1111 63 0 4920 0
vsize: 19932
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 765856 0 0 0 109183 1829 0 0 25 0 1 0 760016930 25161728 5213 4294967295 134512640 134714508 3221221776 3221218744 1075112561 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6143 5213 1111 63 0 6080 0
vsize: 24572
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 772677 0 0 0 110168 1844 0 0 25 0 1 0 760016930 19902464 4184 4294967295 134512640 134714508 3221221776 3221215312 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4859 4184 1111 63 0 4796 0
vsize: 19436
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 778527 0 0 0 111154 1858 0 0 25 0 1 0 760016930 20054016 4218 4294967295 134512640 134714508 3221221776 3221220160 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4896 4218 1111 63 0 4833 0
vsize: 19584
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 781572 0 0 0 112145 1866 0 0 25 0 1 0 760016930 20557824 4345 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5019 4345 1111 63 0 4956 0
vsize: 20076
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 787240 0 0 0 113132 1880 0 0 25 0 1 0 760016930 20725760 4386 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5060 4386 1111 63 0 4997 0
vsize: 20240
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 794473 0 0 0 114115 1897 0 0 25 0 1 0 760016930 20725760 4360 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5060 4360 1111 63 0 4997 0
vsize: 20240
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 798816 0 0 0 115104 1908 0 0 25 0 1 0 760016930 20643840 4366 4294967295 134512640 134714508 3221221776 3221220176 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5040 4366 1111 63 0 4977 0
vsize: 20160
[startup+1176.61 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 12037
Raw data (stat): 12037 (bsolo_lpr_cuts) R 12036 7876 7672 0 -1 0 798816 0 0 0 115104 1908 0 0 25 0 1 0 760016930 20643840 4366 4294967295 134512640 134714508 3221221776 3221220176 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5040 4366 1111 63 0 4977 0
vsize: 0

Child status: 10
Real time (s): 1176.61
CPU time (s): 1176.7
CPU user time (s): 1157.47
CPU system time (s): 19.2201
CPU usage (%): 100.008
Max. virtual memory (Kb): 24572
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	371
#### END VERIFIER DATA ####