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/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
MD5SUM	feaa96df552ef9989407735877840272
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	13
Optimality of the best value was proved	NO
Number of terms in the objective function	776
Biggest coefficient in the objective function	474
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	2127
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	474
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	2127
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04084
Number of variables	776
Total number of constraints	1642
Number of constraints which are clauses	701
Number of constraints which are cardinality constraints (but not clauses)	941
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	20
Trace number 40917

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 02:19:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28983 boxname=wulflinc1 idbench=369 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  feaa96df552ef9989407735877840272  /oldhome/oroussel/tmp/wulflinc1/normalized-10:20:4.5:0.5:100.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-10:20:4.5:0.5:100.opb
IDLAUNCH: 28983
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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:        895100 kB
Buffers:         15108 kB
Cached:         100724 kB
SwapCached:       1128 kB
Active:          24092 kB
Inactive:        93860 kB
HighTotal:      131008 kB
HighFree:        27272 kB
LowTotal:       903652 kB
LowFree:        867828 kB
SwapTotal:     2097136 kB
SwapFree:      2094812 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            15908 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 02:38:47 (client local time) WITH STATUS 10 IN 1175.04 SECONDS
stats: 28983 0 1175.04 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 776 variables and 867 constraints.
c After prepocess the problem consists of 775 variables and 915 constraints.
c preprocess terminated 0.648 s
c Initial Lower Bound: -1
c Lower Bound Elapsed time: 1.273
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1177 @ 2.016
c NEW SOLUTION FOUND: 1174 @ 2.019
c NEW SOLUTION FOUND: 1173 @ 2.029
c NEW SOLUTION FOUND: 1171 @ 2.038
c NEW SOLUTION FOUND: 1168 @ 2.048
c NEW SOLUTION FOUND: 1166 @ 2.058
c NEW SOLUTION FOUND: 1164 @ 2.069
c NEW SOLUTION FOUND: 1161 @ 2.08
c NEW SOLUTION FOUND: 1160 @ 2.09
c NEW SOLUTION FOUND: 1150 @ 2.101
c NEW SOLUTION FOUND: 1146 @ 2.112
c NEW SOLUTION FOUND: 1142 @ 2.123
c NEW SOLUTION FOUND: 1137 @ 2.134
c NEW SOLUTION FOUND: 1130 @ 2.145
c NEW SOLUTION FOUND: 1126 @ 2.156
c NEW SOLUTION FOUND: 1123 @ 2.168
c NEW SOLUTION FOUND: 1119 @ 2.179
c NEW SOLUTION FOUND: 1115 @ 2.19
c NEW SOLUTION FOUND: 1109 @ 2.202
c NEW SOLUTION FOUND: 1099 @ 2.214
c NEW SOLUTION FOUND: 1094 @ 2.226
c NEW SOLUTION FOUND: 1092 @ 2.238
c NEW SOLUTION FOUND: 1090 @ 2.25
c NEW SOLUTION FOUND: 1086 @ 2.264
c NEW SOLUTION FOUND: 1082 @ 2.277
c NEW SOLUTION FOUND: 1081 @ 2.291
c NEW SOLUTION FOUND: 1080 @ 2.304
c NEW SOLUTION FOUND: 1079 @ 2.317
c NEW SOLUTION FOUND: 1078 @ 2.331
c NEW SOLUTION FOUND: 1077 @ 2.344
c NEW SOLUTION FOUND: 1076 @ 2.357
c NEW SOLUTION FOUND: 1075 @ 2.37
c NEW SOLUTION FOUND: 1074 @ 2.383
c NEW SOLUTION FOUND: 1073 @ 2.397
c NEW SOLUTION FOUND: 1072 @ 2.41
c NEW SOLUTION FOUND: 1071 @ 2.423
c NEW SOLUTION FOUND: 1070 @ 2.436
c NEW SOLUTION FOUND: 1069 @ 2.449
c NEW SOLUTION FOUND: 1068 @ 2.463
c NEW SOLUTION FOUND: 1067 @ 2.477
c NEW SOLUTION FOUND: 1066 @ 2.49
c NEW SOLUTION FOUND: 1065 @ 2.504
c NEW SOLUTION FOUND: 1064 @ 2.517
c NEW SOLUTION FOUND: 1063 @ 2.53
c NEW SOLUTION FOUND: 1062 @ 2.543
c NEW SOLUTION FOUND: 1061 @ 2.556
c NEW SOLUTION FOUND: 1060 @ 2.569
c NEW SOLUTION FOUND: 1059 @ 2.583
c NEW SOLUTION FOUND: 1058 @ 2.596
c NEW SOLUTION FOUND: 1057 @ 2.609
c NEW SOLUTION FOUND: 1054 @ 2.622
c NEW SOLUTION FOUND: 1051 @ 2.636
c NEW SOLUTION FOUND: 1047 @ 2.649
c NEW SOLUTION FOUND: 1046 @ 2.662
c NEW SOLUTION FOUND: 1045 @ 2.676
c NEW SOLUTION FOUND: 1044 @ 2.69
c NEW SOLUTION FOUND: 1043 @ 2.704
c NEW SOLUTION FOUND: 1041 @ 2.732
c NEW SOLUTION FOUND: 1039 @ 2.746
c NEW SOLUTION FOUND: 1037 @ 2.76
c NEW SOLUTION FOUND: 1035 @ 2.774
c NEW SOLUTION FOUND: 1033 @ 2.788
c NEW SOLUTION FOUND: 1031 @ 2.802
c NEW SOLUTION FOUND: 1029 @ 2.816
c NEW SOLUTION FOUND: 1025 @ 2.83
c NEW SOLUTION FOUND: 1023 @ 2.843
c NEW SOLUTION FOUND: 1021 @ 2.858
c NEW SOLUTION FOUND: 1017 @ 2.872
c NEW SOLUTION FOUND: 1015 @ 2.886
c NEW SOLUTION FOUND: 1011 @ 2.902
c NEW SOLUTION FOUND: 1009 @ 2.915
c NEW SOLUTION FOUND: 1007 @ 2.93
c NEW SOLUTION FOUND: 1005 @ 2.944
c NEW SOLUTION FOUND: 1001 @ 2.958
c NEW SOLUTION FOUND: 997 @ 2.973
c NEW SOLUTION FOUND: 995 @ 3.018
c NEW SOLUTION FOUND: 993 @ 3.033
c NEW SOLUTION FOUND: 991 @ 3.048
c NEW SOLUTION FOUND: 989 @ 3.064
c NEW SOLUTION FOUND: 985 @ 3.081
c NEW SOLUTION FOUND: 983 @ 3.097
c NEW SOLUTION FOUND: 979 @ 3.114
c NEW SOLUTION FOUND: 977 @ 3.13
c NEW SOLUTION FOUND: 975 @ 3.147
c NEW SOLUTION FOUND: 971 @ 3.164
c NEW SOLUTION FOUND: 969 @ 3.181
c NEW SOLUTION FOUND: 965 @ 3.199
c NEW SOLUTION FOUND: 961 @ 3.217
c NEW SOLUTION FOUND: 959 @ 3.234
c NEW SOLUTION FOUND: 956 @ 3.253
c NEW SOLUTION FOUND: 955 @ 3.27
c NEW SOLUTION FOUND: 953 @ 3.306
c NEW SOLUTION FOUND: 950 @ 3.325
c NEW SOLUTION FOUND: 947 @ 3.343
c NEW SOLUTION FOUND: 944 @ 3.362
c NEW SOLUTION FOUND: 942 @ 3.381
c NEW SOLUTION FOUND: 939 @ 3.4
c NEW SOLUTION FOUND: 934 @ 3.42
c NEW SOLUTION FOUND: 931 @ 3.439
c NEW SOLUTION FOUND: 928 @ 3.458
c NEW SOLUTION FOUND: 920 @ 3.477
c NEW SOLUTION FOUND: 917 @ 3.496
c NEW SOLUTION FOUND: 914 @ 3.515
c NEW SOLUTION FOUND: 906 @ 3.535
c NEW SOLUTION FOUND: 903 @ 3.555
c NEW SOLUTION FOUND: 900 @ 3.574
c NEW SOLUTION FOUND: 896 @ 3.594
c NEW SOLUTION FOUND: 890 @ 3.614
c NEW SOLUTION FOUND: 886 @ 3.653
c NEW SOLUTION FOUND: 881 @ 3.673
c NEW SOLUTION FOUND: 878 @ 3.693
c NEW SOLUTION FOUND: 875 @ 3.714
c NEW SOLUTION FOUND: 870 @ 3.735
c NEW SOLUTION FOUND: 865 @ 3.756
c NEW SOLUTION FOUND: 861 @ 3.777
c NEW SOLUTION FOUND: 857 @ 3.82
c NEW SOLUTION FOUND: 853 @ 3.843
c NEW SOLUTION FOUND: 849 @ 3.866
c NEW SOLUTION FOUND: 845 @ 3.889
c NEW SOLUTION FOUND: 841 @ 3.912
c NEW SOLUTION FOUND: 837 @ 3.935
c NEW SOLUTION FOUND: 833 @ 3.958
c NEW SOLUTION FOUND: 829 @ 3.981
c NEW SOLUTION FOUND: 825 @ 4.004
c NEW SOLUTION FOUND: 821 @ 4.026
c NEW SOLUTION FOUND: 817 @ 4.049
c NEW SOLUTION FOUND: 813 @ 4.073
c NEW SOLUTION FOUND: 809 @ 4.095
c NEW SOLUTION FOUND: 805 @ 4.118
c NEW SOLUTION FOUND: 801 @ 4.142
c NEW SOLUTION FOUND: 797 @ 4.165
c NEW SOLUTION FOUND: 793 @ 4.188
c NEW SOLUTION FOUND: 789 @ 4.211
c NEW SOLUTION FOUND: 785 @ 4.234
c NEW SOLUTION FOUND: 781 @ 4.257
c NEW SOLUTION FOUND: 777 @ 4.28
c NEW SOLUTION FOUND: 773 @ 4.303
c NEW SOLUTION FOUND: 769 @ 4.326
c NEW SOLUTION FOUND: 765 @ 4.349
c NEW SOLUTION FOUND: 761 @ 4.372
c NEW SOLUTION FOUND: 757 @ 4.396
c NEW SOLUTION FOUND: 753 @ 4.419
c NEW SOLUTION FOUND: 749 @ 4.442
c NEW SOLUTION FOUND: 745 @ 4.465
c NEW SOLUTION FOUND: 741 @ 4.489
c NEW SOLUTION FOUND: 737 @ 4.512
c NEW SOLUTION FOUND: 733 @ 4.535
c NEW SOLUTION FOUND: 729 @ 4.559
c NEW SOLUTION FOUND: 725 @ 4.582
c NEW SOLUTION FOUND: 721 @ 4.606
c NEW SOLUTION FOUND: 717 @ 4.629
c NEW SOLUTION FOUND: 713 @ 4.653
c NEW SOLUTION FOUND: 709 @ 4.676
c NEW SOLUTION FOUND: 705 @ 4.699
c NEW SOLUTION FOUND: 701 @ 4.723
c NEW SOLUTION FOUND: 697 @ 4.746
c NEW SOLUTION FOUND: 693 @ 4.77
c NEW SOLUTION FOUND: 689 @ 4.793
c NEW SOLUTION FOUND: 685 @ 4.816
c NEW SOLUTION FOUND: 681 @ 4.84
c NEW SOLUTION FOUND: 677 @ 4.863
c NEW SOLUTION FOUND: 673 @ 4.887
c NEW SOLUTION FOUND: 669 @ 4.911
c NEW SOLUTION FOUND: 665 @ 4.934
c NEW SOLUTION FOUND: 661 @ 4.958
c NEW SOLUTION FOUND: 657 @ 4.982
c NEW SOLUTION FOUND: 653 @ 5.005
c NEW SOLUTION FOUND: 649 @ 5.029
c NEW SOLUTION FOUND: 640 @ 5.053
c NEW SOLUTION FOUND: 636 @ 5.075
c NEW SOLUTION FOUND: 632 @ 5.099
c NEW SOLUTION FOUND: 623 @ 5.124
c NEW SOLUTION FOUND: 619 @ 5.147
c NEW SOLUTION FOUND: 610 @ 5.172
c NEW SOLUTION FOUND: 607 @ 5.196
c NEW SOLUTION FOUND: 603 @ 5.22
c NEW SOLUTION FOUND: 599 @ 5.244
c NEW SOLUTION FOUND: 596 @ 5.268
c NEW SOLUTION FOUND: 593 @ 5.292
c NEW SOLUTION FOUND: 588 @ 5.317
c NEW SOLUTION FOUND: 582 @ 5.342
c NEW SOLUTION FOUND: 577 @ 5.367
c NEW SOLUTION FOUND: 574 @ 5.392
c NEW SOLUTION FOUND: 569 @ 5.418
c NEW SOLUTION FOUND: 564 @ 5.444
c NEW SOLUTION FOUND: 559 @ 5.47
c NEW SOLUTION FOUND: 554 @ 5.496
c NEW SOLUTION FOUND: 549 @ 5.522
c NEW SOLUTION FOUND: 546 @ 5.549
c NEW SOLUTION FOUND: 541 @ 5.576
c NEW SOLUTION FOUND: 536 @ 5.603
c NEW SOLUTION FOUND: 531 @ 5.63
c NEW SOLUTION FOUND: 526 @ 5.658
c NEW SOLUTION FOUND: 521 @ 5.686
c NEW SOLUTION FOUND: 516 @ 5.714
c NEW SOLUTION FOUND: 510 @ 5.742
c NEW SOLUTION FOUND: 505 @ 5.771
c NEW SOLUTION FOUND: 500 @ 5.8
c NEW SOLUTION FOUND: 495 @ 5.829
c NEW SOLUTION FOUND: 490 @ 5.859
c NEW SOLUTION FOUND: 485 @ 5.888
c NEW SOLUTION FOUND: 480 @ 5.918
c NEW SOLUTION FOUND: 477 @ 5.947
c NEW SOLUTION FOUND: 474 @ 5.979
c NEW SOLUTION FOUND: 469 @ 6.01
c NEW SOLUTION FOUND: 466 @ 6.041
c NEW SOLUTION FOUND: 461 @ 6.072
c NEW SOLUTION FOUND: 456 @ 6.104
c NEW SOLUTION FOUND: 451 @ 6.136
c NEW SOLUTION FOUND: 446 @ 6.168
c NEW SOLUTION FOUND: 441 @ 6.2
c NEW SOLUTION FOUND: 435 @ 6.232
c NEW SOLUTION FOUND: 430 @ 6.264
c NEW SOLUTION FOUND: 424 @ 6.297
c NEW SOLUTION FOUND: 419 @ 6.331
c NEW SOLUTION FOUND: 414 @ 6.365
c NEW SOLUTION FOUND: 409 @ 6.4
c NEW SOLUTION FOUND: 404 @ 6.436
c NEW SOLUTION FOUND: 399 @ 6.471
c NEW SOLUTION FOUND: 394 @ 6.505
c NEW SOLUTION FOUND: 388 @ 6.541
c NEW SOLUTION FOUND: 383 @ 6.577
c NEW SOLUTION FOUND: 380 @ 6.612
c NEW SOLUTION FOUND: 374 @ 6.648
c NEW SOLUTION FOUND: 369 @ 6.685
c NEW SOLUTION FOUND: 364 @ 6.721
c NEW SOLUTION FOUND: 359 @ 6.757
c NEW SOLUTION FOUND: 353 @ 6.794
c NEW SOLUTION FOUND: 347 @ 6.832
c NEW SOLUTION FOUND: 344 @ 6.866
c NEW SOLUTION FOUND: 339 @ 6.905
c NEW SOLUTION FOUND: 336 @ 6.943
c NEW SOLUTION FOUND: 333 @ 6.982
c NEW SOLUTION FOUND: 328 @ 7.064
c NEW SOLUTION FOUND: 323 @ 7.106
c NEW SOLUTION FOUND: 318 @ 7.148
c NEW SOLUTION FOUND: 313 @ 7.19
c NEW SOLUTION FOUND: 308 @ 7.233
c NEW SOLUTION FOUND: 307 @ 7.278
c NEW SOLUTION FOUND: 301 @ 7.324
c NEW SOLUTION FOUND: 298 @ 7.37
c NEW SOLUTION FOUND: 293 @ 7.417
c NEW SOLUTION FOUND: 291 @ 7.554
c NEW SOLUTION FOUND: 289 @ 7.694
c NEW SOLUTION FOUND: 287 @ 7.793
c NEW SOLUTION FOUND: 286 @ 7.894
c NEW SOLUTION FOUND: 285 @ 8.044
c NEW SOLUTION FOUND: 284 @ 8.15
c NEW SOLUTION FOUND: 283 @ 8.309
c NEW SOLUTION FOUND: 282 @ 8.364
c NEW SOLUTION FOUND: 279 @ 8.42
c NEW SOLUTION FOUND: 278 @ 8.531
c NEW SOLUTION FOUND: 277 @ 8.587
c NEW SOLUTION FOUND: 276 @ 8.644
c NEW SOLUTION FOUND: 275 @ 8.701
c NEW SOLUTION FOUND: 274 @ 8.759
c NEW SOLUTION FOUND: 273 @ 8.817
c NEW SOLUTION FOUND: 272 @ 8.874
c NEW SOLUTION FOUND: 271 @ 8.932
c NEW SOLUTION FOUND: 270 @ 8.989
c NEW SOLUTION FOUND: 269 @ 9.048
c NEW SOLUTION FOUND: 268 @ 9.106
c NEW SOLUTION FOUND: 267 @ 9.219
c NEW SOLUTION FOUND: 266 @ 9.277
c NEW SOLUTION FOUND: 265 @ 9.334
c NEW SOLUTION FOUND: 264 @ 9.392
c NEW SOLUTION FOUND: 263 @ 9.45
c NEW SOLUTION FOUND: 262 @ 9.509
c NEW SOLUTION FOUND: 261 @ 9.569
c NEW SOLUTION FOUND: 260 @ 9.626
c NEW SOLUTION FOUND: 259 @ 9.685
c NEW SOLUTION FOUND: 258 @ 9.744
c NEW SOLUTION FOUND: 257 @ 9.803
c NEW SOLUTION FOUND: 256 @ 9.863
c NEW SOLUTION FOUND: 255 @ 9.924
c NEW SOLUTION FOUND: 254 @ 9.984
c NEW SOLUTION FOUND: 253 @ 10.044
c NEW SOLUTION FOUND: 252 @ 10.104
c NEW SOLUTION FOUND: 251 @ 10.222
c NEW SOLUTION FOUND: 250 @ 10.343
c NEW SOLUTION FOUND: 249 @ 10.405
c NEW SOLUTION FOUND: 248 @ 10.465
c NEW SOLUTION FOUND: 247 @ 10.527
c NEW SOLUTION FOUND: 246 @ 10.587
c NEW SOLUTION FOUND: 245 @ 10.71
c NEW SOLUTION FOUND: 244 @ 10.771
c NEW SOLUTION FOUND: 243 @ 10.833
c NEW SOLUTION FOUND: 242 @ 10.893
c NEW SOLUTION FOUND: 241 @ 10.957
c NEW SOLUTION FOUND: 240 @ 11.02
c NEW SOLUTION FOUND: 239 @ 11.081
c NEW SOLUTION FOUND: 238 @ 11.144
c NEW SOLUTION FOUND: 237 @ 11.206
c NEW SOLUTION FOUND: 235 @ 11.27
c NEW SOLUTION FOUND: 234 @ 11.334
c NEW SOLUTION FOUND: 233 @ 11.398
c NEW SOLUTION FOUND: 232 @ 11.464
c NEW SOLUTION FOUND: 231 @ 11.53
c NEW SOLUTION FOUND: 230 @ 11.593
c NEW SOLUTION FOUND: 229 @ 11.656
c NEW SOLUTION FOUND: 227 @ 11.722
c NEW SOLUTION FOUND: 226 @ 11.788
c NEW SOLUTION FOUND: 225 @ 11.853
c NEW SOLUTION FOUND: 224 @ 11.913
c NEW SOLUTION FOUND: 223 @ 12.878
c NEW SOLUTION FOUND: 222 @ 14.025
c NEW SOLUTION FOUND: 221 @ 16.861
c NEW SOLUTION FOUND: 220 @ 19.706
c NEW SOLUTION FOUND: 217 @ 20.454
c NEW SOLUTION FOUND: 216 @ 31.7
c NEW SOLUTION FOUND: 215 @ 31.893
c NEW SOLUTION FOUND: 214 @ 38.442
c NEW SOLUTION FOUND: 213 @ 45.907
c NEW SOLUTION FOUND: 212 @ 56.245
c NEW SOLUTION FOUND: 211 @ 71.402
c NEW SOLUTION FOUND: 210 @ 81.446
c NEW SOLUTION FOUND: 209 @ 99.657
c NEW SOLUTION FOUND: 208 @ 112.685
c NEW SOLUTION FOUND: 207 @ 121.705
c NEW SOLUTION FOUND: 206 @ 139.242
c NEW SOLUTION FOUND: 205 @ 156.283
c NEW SOLUTION FOUND: 204 @ 168.175
c NEW SOLUTION FOUND: 203 @ 174.761
c NEW SOLUTION FOUND: 202 @ 184.149
c NEW SOLUTION FOUND: 201 @ 193.57
c NEW SOLUTION FOUND: 200 @ 201.754
c NEW SOLUTION FOUND: 199 @ 211.81
c NEW SOLUTION FOUND: 198 @ 233.239
c NEW SOLUTION FOUND: 197 @ 245.432
c NEW SOLUTION FOUND: 196 @ 256.016
c NEW SOLUTION FOUND: 195 @ 265.483
c NEW SOLUTION FOUND: 194 @ 274.75
c NEW SOLUTION FOUND: 193 @ 298.478
c NEW SOLUTION FOUND: 192 @ 318.403
c NEW SOLUTION FOUND: 191 @ 328.512
c NEW SOLUTION FOUND: 190 @ 341.684
c NEW SOLUTION FOUND: 189 @ 349.406
c NEW SOLUTION FOUND: 188 @ 359.929
c NEW SOLUTION FOUND: 187 @ 397.077
c NEW SOLUTION FOUND: 186 @ 407.255
c NEW SOLUTION FOUND: 185 @ 421.298
c NEW SOLUTION FOUND: 184 @ 438.449
c NEW SOLUTION FOUND: 183 @ 456.64
c NEW SOLUTION FOUND: 182 @ 518.754
c NEW SOLUTION FOUND: 181 @ 566.711
c NEW SOLUTION FOUND: 180 @ 577.798
c NEW SOLUTION FOUND: 179 @ 587.146
c NEW SOLUTION FOUND: 178 @ 598.756
c NEW SOLUTION FOUND: 177 @ 610.745
c NEW SOLUTION FOUND: 176 @ 623.25
c NEW SOLUTION FOUND: 175 @ 634.758
c NEW SOLUTION FOUND: 174 @ 640.354
c NEW SOLUTION FOUND: 173 @ 652.554
c NEW SOLUTION FOUND: 172 @ 663.096
c NEW SOLUTION FOUND: 171 @ 674.053
c NEW SOLUTION FOUND: 170 @ 694.196
c NEW SOLUTION FOUND: 169 @ 708.326
c NEW SOLUTION FOUND: 168 @ 725.722
c NEW SOLUTION FOUND: 167 @ 794.083
c NEW SOLUTION FOUND: 166 @ 880.327
c NEW SOLUTION FOUND: 165 @ 895.289
c NEW SOLUTION FOUND: 164 @ 904.389
c NEW SOLUTION FOUND: 163 @ 914.641
c NEW SOLUTION FOUND: 162 @ 947.274
c NEW SOLUTION FOUND: 161 @ 961.824
c NEW SOLUTION FOUND: 160 @ 970.152
c NEW SOLUTION FOUND: 159 @ 1003.85
c NEW SOLUTION FOUND: 158 @ 1022.75
c NEW SOLUTION FOUND: 156 @ 1025.21
c NEW SOLUTION FOUND: 155 @ 1026.67
c NEW SOLUTION FOUND: 154 @ 1032.11
c NEW SOLUTION FOUND: 153 @ 1042.47
s SATISFIABLE
v -v756 v693 v588 -v262 -v241 v56 -v38 v692 v590 v486 -v263 -v246 -v55 -v37 -v757 v700 v589 v485 v439 -v266 -v245 -v54 -v39 -v758 v694 -v594 v487 v444 -v264 -v52 -v40 v761 -v695 v612 -v593 v488 v443 -v265 -v248 -v53 -v47 v759 -v696 v611 -v591 v489 -v401 -v249 -v41 -v2 v760 v613 -v592 -v496 v446 -v421 -v400 -v252 v198 -v171 -v42 v1 v734 v616 v490 v447 -v420 -v406 -v385 -v250 -v176 -v43 v3 v733 v615 v491 v450 -v422 -v405 -v384 -v273 -v251 v197 -v175 v137 v4 -v620 v492 v448 -v425 -v407 -v386 -v366 -v278 -v201 v155 v136 -v18 v5 v735 -v619 -v559 v510 v449 v424 -v411 -v387 -v365 -v277 v178 v154 v138 -v87 -v17 -v12 -v737 v650 -v617 -v515 -v429 -v410 v388 -v202 v179 v156 -v141 -v86 -v23 -v6 v649 -v618 -v558 -v514 -v466 -v428 -v408 -v395 -v367 -v280 v182 v157 v140 v88 -v66 -v22 -v7 -v738 v562 -v426 -v409 -v389 -v369 -v281 v180 v158 -v145 -v91 -v71 -v24 -v8 -v740 v651 -v517 -v469 -v427 -v390 -v318 -v284 v223 -v181 -v165 -v144 v121 v90 -v70 -v28 -v741 -v653 -v635 v563 -v518 -v470 -v391 -v370 -v317 -v282 v159 -v142 v95 -v27 -v634 -v521 -v372 -v347 -v319 -v283 v222 -v160 -v143 v120 v94 -v73 -v25 -v654 -v519 -v373 -v351 v322 -v226 -v161 v92 -v74 -v26 v656 -v636 -v520 v321 v124 -v93 -v75 v657 v639 -v323 -v227 v125 -v76 v753 -v703 v64 -v755 -v704 v587 -v267 -v240 v60 v754 -v699 -v602 v242 -v59 -v50 v762 v598 v438 -v247 -v51 -v710 -v697 v597 v499 v440 v244 -v46 -v714 v500 v445 -v253 -v495 v442 -v44 -v729 v614 v451 -v402 v170 v728 -v628 -v493 -v403 v199 v172 v15 -v624 -v423 -v404 -v361 -v272 -v203 -v177 v16 v736 -v623 -v437 -v415 v398 -v360 -v274 v174 -v11 -v739 -v645 v509 v433 v399 -v279 v183 v139 -v19 -v743 -v644 v560 v511 -v465 v432 -v394 -v368 -v276 -v205 -v168 v153 -v20 -v9 -v742 v564 -v516 -v371 -v285 -v206 -v169 -v149 v89 -v65 -v21 v652 v513 -v471 -v392 -v375 -v164 -v148 -v116 -v103 -v67 -v32 -v655 -v630 -v522 -v374 v99 -v72 v659 v629 -v566 -v346 v224 -v162 v122 v98 -v69 v658 -v567 -v350 -v320 -v228 -v77 v637 -v474 -v331 v126 v638 -v327 -v701 -v599 v105 v63 -v49 v752 -v601 v271 -v48 v770 v498 v270 -v57 v766 v497 v243 v765 v709 -v698 -v595 v261 -v58 -v713 v441 v257 -v193 -v625 -v596 v459 -v302 v256 -v192 -v45 -v14 -v627 v455 -v13 -v494 v454 -v434 -v418 v397 v200 v730 -v554 -v436 -v419 v396 -v204 v173 v731 -v621 v553 -v461 -v414 -v208 -v191 -v167 v150 v732 -v362 -v275 -v207 -v187 -v166 v152 v747 -v622 v561 -v467 v430 -v412 -v363 -v293 -v186 -v100 -v35 -v10 -v646 v565 v512 -v364 -v289 v218 -v102 -v36 v685 -v647 v569 v530 -v472 v431 -v393 -v379 -v288 v217 -v146 -v31 v648 -v568 v526 v115 -v68 -v663 -v525 -v475 -v348 -v328 v225 -v163 -v147 v117 v96 -v85 -v29 v631 -v473 -v352 -v330 -v229 v123 -v81 v632 -v230 v119 -v97 -v80 v633 -v326 -v231 v127 -v767 -v702 -v600 v333 v104 -v61 v769 v268 -v258 -v260 v763 v711 -v456 v299 v269 -v715 -v626 -v458 v764 -v417 v301 v254 -v435 -v416 -v194 -v717 v452 v255 -v195 -v188 -v718 v196 -v190 v151 v750 v453 -v290 v212 -v34 v751 v555 -v460 -v292 -v101 -v33 v746 -v681 v556 v527 -v462 -v413 -v382 -v184 v557 v529 -v468 -v383 -v343 v744 v684 -v666 -v573 -v464 -v378 v342 -v286 -v185 -v82 -v667 -v476 -v329 v219 -v84 -v662 -v534 -v523 -v376 -v349 -v287 v220 -v30 -v538 -v353 v221 v118 -v660 v642 v604 -v524 -v354 v235 -v135 -v78 v643 -v608 -v355 -v324 v131 -v768 v332 v106 -v62 v706 -v259 v705 -v457 v712 v298 -v108 -v716 v720 v303 -v719 -v189 -v749 v215 v748 -v291 v216 v677 -v381 v306 -v211 v528 -v380 v680 -v665 -v576 -v209 -v664 -v577 -v463 -v83 v745 v686 -v572 -v484 -v480 v344 -v641 -v570 -v533 -v479 -v377 v345 -v238 -v132 v640 -v537 -v239 -v134 -v689 -v661 v603 -v234 -v79 v607 -v325 v130 v502 -v295 -v109 v707 -v107 v708 v546 -v335 v300 v771 v724 v304 -v214 v213 v673 v307 v305 -v772 v676 v773 -v575 -v574 v682 -v481 -v210 -v483 v687 -v237 -v236 -v133 v690 -v571 -v535 -v477 v358 -v688 v539 v359 v605 -v478 -v232 v609 -v128 v110 v501 -v336 -v334 v294 -v727 v545 v296 v723 v308 -v721 v672 v582 -v482 v683 v532 v679 v531 -v357 v691 v356 -v536 v540 v606 -v233 v610 -v129 -v337 v114 -v726 v503 v113 -v725 v547 v297 v669 -v506 v316 v312 -v722 v674 v581 -v549 v311 -v550 v678 -v586 -v542 v341 -v541 v504 v340 v111 v548 v507 v313 v112 v505 v315 v580 -v552 v668 -v551 v670 v583 v309 v675 v310 -v585 v338 -v543 v508 v314 -v544 v339 -v774 v579 v578 v671 v584 v775 one 
c Exit Code: 10
c Total time: 1175.01 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.96 0.91 1/55 28953
Raw data (stat): 28953 (runsolver) R 28952 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849763658 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 7922 0 0 0 972 24 0 0 25 0 1 0 849763658 7475200 1036 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1825 1038 1111 63 0 1762 0
vsize: 7300
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 16390 0 0 0 1950 47 0 0 25 0 1 0 849763658 7385088 1114 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1803 1114 1111 63 0 1740 0
vsize: 7212
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 25940 0 0 0 2925 72 0 0 25 0 1 0 849763658 7860224 1230 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1919 1230 1111 63 0 1856 0
vsize: 7676
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 35749 0 0 0 3898 98 0 0 25 0 1 0 849763658 8220672 1318 4294967295 134512640 134716908 3221224560 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2007 1318 1111 63 0 1944 0
vsize: 8028
[startup+50.002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 44294 0 0 0 4873 124 0 0 25 0 1 0 849763658 8601600 1409 4294967295 134512640 134716908 3221224560 3221221664 1074138614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2100 1409 1111 63 0 2037 0
vsize: 8400
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 53021 0 0 0 5848 148 0 0 25 0 1 0 849763658 9056256 1518 4294967295 134512640 134716908 3221224560 3221222400 1075798484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2211 1518 1111 63 0 2148 0
vsize: 8844
[startup+70.0016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 63752 0 0 0 6821 176 0 0 25 0 1 0 849763658 9560064 1637 4294967295 134512640 134716908 3221224560 3221222960 1074118870 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2334 1637 1111 63 0 2271 0
vsize: 9336
[startup+80.0024 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 73991 0 0 0 7792 205 0 0 25 0 1 0 849763658 10129408 1773 4294967295 134512640 134716908 3221224560 3221222960 1074119046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2473 1773 1111 63 0 2410 0
vsize: 9892
[startup+90.0022 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 80908 0 0 0 8772 225 0 0 25 0 1 0 849763658 10477568 1856 4294967295 134512640 134716908 3221224560 3221223176 1074129911 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2558 1856 1111 63 0 2495 0
vsize: 10232
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 92946 0 0 0 9735 262 0 0 25 0 1 0 849763658 11030528 2002 4294967295 134512640 134716908 3221224560 3221222208 1075818215 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2693 2002 1111 63 0 2630 0
vsize: 10772
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 98514 0 0 0 10719 278 0 0 25 0 1 0 849763658 11063296 2012 4294967295 134512640 134716908 3221224560 3221222560 1074913438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2701 2012 1111 63 0 2638 0
vsize: 10804
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 104893 0 0 0 11700 297 0 0 25 0 1 0 849763658 11386880 2091 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2780 2091 1111 63 0 2717 0
vsize: 11120
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 111354 0 0 0 12680 317 0 0 25 0 1 0 849763658 11640832 2153 4294967295 134512640 134716908 3221224560 3221222960 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2842 2153 1111 63 0 2779 0
vsize: 11368
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 119453 0 0 0 13656 342 0 0 25 0 1 0 849763658 12115968 2269 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2958 2269 1111 63 0 2895 0
vsize: 11832
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 126113 0 0 0 14639 359 0 0 25 0 1 0 849763658 12320768 2305 4294967295 134512640 134716908 3221224560 3221222560 1074913872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3008 2305 1111 63 0 2945 0
vsize: 12032
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 133564 0 0 0 15617 381 0 0 25 0 1 0 849763658 12718080 2416 4294967295 134512640 134716908 3221224560 3221222816 1074146258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3105 2416 1111 63 0 3042 0
vsize: 12420
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 141770 0 0 0 16592 406 0 0 25 0 1 0 849763658 13000704 2483 4294967295 134512640 134716908 3221224560 3221222872 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3174 2483 1111 63 0 3111 0
vsize: 12696
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 149078 0 0 0 17572 426 0 0 25 0 1 0 849763658 13168640 2526 4294967295 134512640 134716908 3221224560 3221222560 1074052193 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3215 2526 1111 63 0 3152 0
vsize: 12860
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 157149 0 0 0 18549 449 0 0 25 0 1 0 849763658 13492224 2591 4294967295 134512640 134716908 3221224560 3221222912 1074115317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3294 2591 1111 63 0 3231 0
vsize: 13176
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 164826 0 0 0 19525 474 0 0 25 0 1 0 849763658 13766656 2671 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3361 2671 1111 63 0 3298 0
vsize: 13444
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 172784 0 0 0 20502 497 0 0 25 0 1 0 849763658 13991936 2727 4294967295 134512640 134716908 3221224560 3221222960 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2727 1111 63 0 3353 0
vsize: 13664
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 180714 0 0 0 21480 519 0 0 25 0 1 0 849763658 14688256 2813 4294967295 134512640 134716908 3221224560 3221221216 1075966549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3586 2813 1111 63 0 3523 0
vsize: 14344
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 188719 0 0 0 22458 542 0 0 25 0 1 0 849763658 14540800 2861 4294967295 134512640 134716908 3221224560 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3550 2861 1111 63 0 3487 0
vsize: 14200
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 198217 0 0 0 23429 570 0 0 25 0 1 0 849763658 15044608 2969 4294967295 134512640 134716908 3221224560 3221223152 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3673 2969 1111 63 0 3610 0
vsize: 14692
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 206539 0 0 0 24403 597 0 0 25 0 1 0 849763658 15237120 3031 4294967295 134512640 134716908 3221224560 3221222744 1077377712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3720 3031 1111 63 0 3657 0
vsize: 14880
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 215195 0 0 0 25377 623 0 0 25 0 1 0 849763658 16048128 3106 4294967295 134512640 134716908 3221224560 3221221600 1075971395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3918 3106 1111 63 0 3855 0
vsize: 15672
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 222506 0 0 0 26356 644 0 0 25 0 1 0 849763658 15802368 3169 4294967295 134512640 134716908 3221224560 3221222960 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3858 3169 1111 63 0 3795 0
vsize: 15432
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 230525 0 0 0 27335 665 0 0 25 0 1 0 849763658 16146432 3253 4294967295 134512640 134716908 3221224560 3221222960 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3942 3253 1111 63 0 3879 0
vsize: 15768
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 238520 0 0 0 28312 688 0 0 25 0 1 0 849763658 16482304 3335 4294967295 134512640 134716908 3221224560 3221222960 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4024 3335 1111 63 0 3961 0
vsize: 16096
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 246455 0 0 0 29289 712 0 0 25 0 1 0 849763658 17412096 3464 4294967295 134512640 134716908 3221224560 3221220720 1074794551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4251 3464 1111 63 0 4188 0
vsize: 17004
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 253333 0 0 0 30270 730 0 0 25 0 1 0 849763658 17076224 3480 4294967295 134512640 134716908 3221224560 3221222960 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4169 3480 1111 63 0 4106 0
vsize: 16676
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 261475 0 0 0 31246 754 0 0 25 0 1 0 849763658 17436672 3557 4294967295 134512640 134716908 3221224560 3221221664 1074138949 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4257 3557 1111 63 0 4194 0
vsize: 17028
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 269515 0 0 0 32222 779 0 0 25 0 1 0 849763658 18006016 3643 4294967295 134512640 134716908 3221224560 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4396 3643 1111 63 0 4333 0
vsize: 17584
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 277426 0 0 0 33199 802 0 0 25 0 1 0 849763658 18419712 3711 4294967295 134512640 134716908 3221224560 3221221680 1074834482 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4497 3711 1111 63 0 4434 0
vsize: 17988
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 285368 0 0 0 34177 825 0 0 25 0 1 0 849763658 18227200 3760 4294967295 134512640 134716908 3221224560 3221223280 134592449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4450 3760 1111 63 0 4387 0
vsize: 17800
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 293106 0 0 0 35155 846 0 0 25 0 1 0 849763658 18567168 3844 4294967295 134512640 134716908 3221224560 3221222876 1074138442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4533 3844 1111 63 0 4470 0
vsize: 18132
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 300496 0 0 0 36134 868 0 0 25 0 1 0 849763658 18829312 3905 4294967295 134512640 134716908 3221224560 3221222288 1075635930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4597 3905 1111 63 0 4534 0
vsize: 18388
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 308591 0 0 0 37113 889 0 0 25 0 1 0 849763658 19058688 3964 4294967295 134512640 134716908 3221224560 3221222960 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4653 3964 1111 63 0 4590 0
vsize: 18612
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 317040 0 0 0 38087 914 0 0 25 0 1 0 849763658 19845120 4081 4294967295 134512640 134716908 3221224560 3221220508 1074788937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4845 4081 1111 63 0 4782 0
vsize: 19380
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 324750 0 0 0 39062 940 0 0 25 0 1 0 849763658 19660800 4105 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4800 4105 1111 63 0 4737 0
vsize: 19200
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 332489 0 0 0 40038 964 0 0 25 0 1 0 849763658 19922944 4175 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4175 1111 63 0 4801 0
vsize: 19456
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 340660 0 0 0 41012 989 0 0 25 0 1 0 849763658 20594688 4254 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5028 4254 1111 63 0 4965 0
vsize: 20112
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 348373 0 0 0 41988 1014 0 0 25 0 1 0 849763658 20451328 4304 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4993 4304 1111 63 0 4930 0
vsize: 19972
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 357080 0 0 0 42966 1037 0 0 25 0 1 0 849763658 20766720 4381 4294967295 134512640 134716908 3221224560 3221222960 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5070 4381 1111 63 0 5007 0
vsize: 20280
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 363794 0 0 0 43946 1056 0 0 25 0 1 0 849763658 20975616 4432 4294967295 134512640 134716908 3221224560 3221222960 1074153823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5121 4432 1111 63 0 5058 0
vsize: 20484
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 371872 0 0 0 44923 1080 0 0 25 0 1 0 849763658 21245952 4498 4294967295 134512640 134716908 3221224560 3221223212 1076533124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5187 4498 1111 63 0 5124 0
vsize: 20748
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 380816 0 0 0 45895 1108 0 0 25 0 1 0 849763658 21561344 4575 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5264 4575 1111 63 0 5201 0
vsize: 21056
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 389857 0 0 0 46869 1134 0 0 25 0 1 0 849763658 21893120 4656 4294967295 134512640 134716908 3221224560 3221222584 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5345 4656 1111 63 0 5282 0
vsize: 21380
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 399144 0 0 0 47839 1164 0 0 25 0 1 0 849763658 22306816 4756 4294967295 134512640 134716908 3221224560 3221222744 1077377416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5446 4756 1111 63 0 5383 0
vsize: 21784
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 407921 0 0 0 48815 1189 0 0 25 0 1 0 849763658 23089152 4872 4294967295 134512640 134716908 3221224560 3221220768 1074815309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5637 4872 1111 63 0 5574 0
vsize: 22548
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 415062 0 0 0 49793 1210 0 0 25 0 1 0 849763658 22999040 4885 4294967295 134512640 134716908 3221224560 3221222288 1075828444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5615 4885 1111 63 0 5552 0
vsize: 22460
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 423037 0 0 0 50770 1233 0 0 25 0 1 0 849763658 23134208 4959 4294967295 134512640 134716908 3221224560 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5648 4959 1111 63 0 5585 0
vsize: 22592
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 431555 0 0 0 51747 1257 0 0 25 0 1 0 849763658 23429120 5031 4294967295 134512640 134716908 3221224560 3221222960 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5720 5031 1111 63 0 5657 0
vsize: 22880
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 440215 0 0 0 52721 1283 0 0 25 0 1 0 849763658 23748608 5109 4294967295 134512640 134716908 3221224560 3221222700 1077404726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5798 5109 1111 63 0 5735 0
vsize: 23192
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 448884 0 0 0 53695 1309 0 0 25 0 1 0 849763658 24092672 5193 4294967295 134512640 134716908 3221224560 3221222960 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5882 5193 1111 63 0 5819 0
vsize: 23528
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 456303 0 0 0 54674 1330 0 0 25 0 1 0 849763658 24358912 5258 4294967295 134512640 134716908 3221224560 3221222584 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5947 5258 1111 63 0 5884 0
vsize: 23788
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 463803 0 0 0 55649 1356 0 0 25 0 1 0 849763658 24616960 5321 4294967295 134512640 134716908 3221224560 3221223200 134645124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6010 5321 1111 63 0 5947 0
vsize: 24040
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 471345 0 0 0 56628 1377 0 0 25 0 1 0 849763658 24842240 5376 4294967295 134512640 134716908 3221224560 3221222944 1074153466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6065 5376 1111 63 0 6002 0
vsize: 24260
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 479104 0 0 0 57605 1399 0 0 25 0 1 0 849763658 25137152 5448 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6137 5448 1111 63 0 6074 0
vsize: 24548
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 486045 0 0 0 58583 1422 0 0 25 0 1 0 849763658 25501696 5537 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6226 5537 1111 63 0 6163 0
vsize: 24904
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 494034 0 0 0 59561 1444 0 0 25 0 1 0 849763658 25772032 5603 4294967295 134512640 134716908 3221224560 3221222584 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6292 5603 1111 63 0 6229 0
vsize: 25168
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 500912 0 0 0 60540 1465 0 0 25 0 1 0 849763658 26013696 5662 4294967295 134512640 134716908 3221224560 3221222944 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6351 5662 1111 63 0 6288 0
vsize: 25404
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 509254 0 0 0 61514 1492 0 0 25 0 1 0 849763658 26415104 5758 4294967295 134512640 134716908 3221224560 3221222288 1075635463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6449 5758 1111 63 0 6386 0
vsize: 25796
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 516780 0 0 0 62493 1513 0 0 25 0 1 0 849763658 26669056 5822 4294967295 134512640 134716908 3221224560 3221222960 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6511 5822 1111 63 0 6448 0
vsize: 26044
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 524267 0 0 0 63471 1534 0 0 25 0 1 0 849763658 27009024 5903 4294967295 134512640 134716908 3221224560 3221222692 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6594 5903 1111 63 0 6531 0
vsize: 26376
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 531574 0 0 0 64449 1557 0 0 25 0 1 0 849763658 27213824 5955 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6644 5955 1111 63 0 6581 0
vsize: 26576
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 538832 0 0 0 65426 1580 0 0 25 0 1 0 849763658 27508736 6027 4294967295 134512640 134716908 3221224560 3221222260 1077378596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6716 6027 1111 63 0 6653 0
vsize: 26864
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 546504 0 0 0 66404 1602 0 0 25 0 1 0 849763658 28336128 6132 4294967295 134512640 134716908 3221224560 3221220880 1075116184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6918 6132 1111 63 0 6855 0
vsize: 27672
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 554777 0 0 0 67379 1627 0 0 25 0 1 0 849763658 28045312 6158 4294967295 134512640 134716908 3221224560 3221222744 1077377221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6847 6158 1111 63 0 6784 0
vsize: 27388
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 562094 0 0 0 68355 1651 0 0 25 0 1 0 849763658 28377088 6228 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6928 6228 1111 63 0 6865 0
vsize: 27712
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 569404 0 0 0 69335 1672 0 0 25 0 1 0 849763658 28610560 6296 4294967295 134512640 134716908 3221224560 3221222700 1077379903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6985 6296 1111 63 0 6922 0
vsize: 27940
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 577232 0 0 0 70310 1697 0 0 25 0 1 0 849763658 28983296 6385 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7076 6385 1111 63 0 7013 0
vsize: 28304
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 586024 0 0 0 71281 1726 0 0 25 0 1 0 849763658 29396992 6456 4294967295 134512640 134716908 3221224560 3221222480 1075799814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7177 6456 1111 63 0 7114 0
vsize: 28708
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 594512 0 0 0 72253 1754 0 0 25 0 1 0 849763658 29679616 6556 4294967295 134512640 134716908 3221224560 3221222560 1074140582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7246 6556 1111 63 0 7183 0
vsize: 28984
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 603042 0 0 0 73231 1777 0 0 25 0 1 0 849763658 29995008 6634 4294967295 134512640 134716908 3221224560 3221222560 1074918237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7323 6634 1111 63 0 7260 0
vsize: 29292
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 611402 0 0 0 74209 1799 0 0 25 0 1 0 849763658 30355456 6722 4294967295 134512640 134716908 3221224560 3221222584 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7411 6722 1111 63 0 7348 0
vsize: 29644
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 619684 0 0 0 75182 1826 0 0 25 0 1 0 849763658 30699520 6806 4294967295 134512640 134716908 3221224560 3221222804 1077374082 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7495 6806 1111 63 0 7432 0
vsize: 29980
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 627987 0 0 0 76158 1850 0 0 25 0 1 0 849763658 31084544 6891 4294967295 134512640 134716908 3221224560 3221221624 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7589 6893 1111 63 0 7526 0
vsize: 30356
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 635224 0 0 0 77138 1870 0 0 25 0 1 0 849763658 31694848 6964 4294967295 134512640 134716908 3221224560 3221221632 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7738 6964 1111 63 0 7675 0
vsize: 30952
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 643549 0 0 0 78115 1893 0 0 25 0 1 0 849763658 32112640 7054 4294967295 134512640 134716908 3221224560 3221220928 1075894480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7840 7054 1111 63 0 7777 0
vsize: 31360
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 651883 0 0 0 79091 1918 0 0 25 0 1 0 849763658 31809536 7077 4294967295 134512640 134716908 3221224560 3221223176 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7766 7077 1111 63 0 7703 0
vsize: 31064
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 660547 0 0 0 80063 1946 0 0 25 0 1 0 849763658 32141312 7155 4294967295 134512640 134716908 3221224560 3221222288 1075635987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7847 7155 1111 63 0 7784 0
vsize: 31388
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 668626 0 0 0 81040 1969 0 0 25 0 1 0 849763658 32788480 7212 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8005 7215 1111 63 0 7942 0
vsize: 32020
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 677060 0 0 0 82018 1991 0 0 25 0 1 0 849763658 32702464 7263 4294967295 134512640 134716908 3221224560 3221222208 1075821198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7984 7263 1111 63 0 7921 0
vsize: 31936
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 685748 0 0 0 82994 2016 0 0 25 0 1 0 849763658 32825344 7325 4294967295 134512640 134716908 3221224560 3221222944 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8014 7325 1111 63 0 7951 0
vsize: 32056
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 693974 0 0 0 83972 2038 0 0 25 0 1 0 849763658 33484800 7402 4294967295 134512640 134716908 3221224560 3221221584 1074810501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8175 7402 1111 63 0 8112 0
vsize: 32700
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 701700 0 0 0 84948 2061 0 0 25 0 1 0 849763658 33914880 7495 4294967295 134512640 134716908 3221224560 3221220524 1074860566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8280 7495 1111 63 0 8217 0
vsize: 33120
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 709175 0 0 0 85926 2084 0 0 25 0 1 0 849763658 33558528 7504 4294967295 134512640 134716908 3221224560 3221222524 1077378310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8193 7504 1111 63 0 8130 0
vsize: 32772
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 715931 0 0 0 86906 2104 0 0 25 0 1 0 849763658 33832960 7568 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8260 7568 1111 63 0 8197 0
vsize: 33040
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 723870 0 0 0 87884 2126 0 0 25 0 1 0 849763658 34095104 7635 4294967295 134512640 134716908 3221224560 3221222524 1077378064 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8324 7635 1111 63 0 8261 0
vsize: 33296
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 730994 0 0 0 88864 2147 0 0 25 0 1 0 849763658 34312192 7688 4294967295 134512640 134716908 3221224560 3221222960 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8377 7688 1111 63 0 8314 0
vsize: 33508
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 739129 0 0 0 89840 2170 0 0 25 0 1 0 849763658 34615296 7762 4294967295 134512640 134716908 3221224560 3221222960 1074153040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8451 7762 1111 63 0 8388 0
vsize: 33804
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 747749 0 0 0 90815 2196 0 0 25 0 1 0 849763658 34967552 7848 4294967295 134512640 134716908 3221224560 3221222584 1077380277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8537 7848 1111 63 0 8474 0
vsize: 34148
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 756273 0 0 0 91790 2220 0 0 25 0 1 0 849763658 35295232 7928 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8617 7928 1111 63 0 8554 0
vsize: 34468
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 763509 0 0 0 92769 2242 0 0 25 0 1 0 849763658 35893248 7981 4294967295 134512640 134716908 3221224560 3221221392 1075115475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8716 7977 1111 63 0 8653 0
vsize: 35052
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 771769 0 0 0 93746 2266 0 0 25 0 1 0 849763658 35848192 8062 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8752 8062 1111 63 0 8689 0
vsize: 35008
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 779631 0 0 0 94723 2289 0 0 25 0 1 0 849763658 36069376 8117 4294967295 134512640 134716908 3221224560 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8806 8117 1111 63 0 8743 0
vsize: 35224
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 786037 0 0 0 95705 2306 0 0 25 0 1 0 849763658 36331520 8181 4294967295 134512640 134716908 3221224560 3221222960 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8870 8181 1111 63 0 8807 0
vsize: 35480
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 792557 0 0 0 96686 2326 0 0 25 0 1 0 849763658 36614144 8249 4294967295 134512640 134716908 3221224560 3221222304 1075640442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8939 8249 1111 63 0 8876 0
vsize: 35756
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 800167 0 0 0 97663 2349 0 0 25 0 1 0 849763658 36818944 8300 4294967295 134512640 134716908 3221224560 3221222960 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 8300 1111 63 0 8926 0
vsize: 35956
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 807403 0 0 0 98643 2370 0 0 25 0 1 0 849763658 37191680 8390 4294967295 134512640 134716908 3221224560 3221222692 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9080 8390 1111 63 0 9017 0
vsize: 36320
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 815392 0 0 0 99618 2394 0 0 25 0 1 0 849763658 37330944 8425 4294967295 134512640 134716908 3221224560 3221223168 134652535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9114 8425 1111 63 0 9051 0
vsize: 36456
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 822842 0 0 0 100598 2414 0 0 25 0 1 0 849763658 37683200 8509 4294967295 134512640 134716908 3221224560 3221222304 1075646829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9198 8508 1111 63 0 9135 0
vsize: 36800
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 830154 0 0 0 101577 2435 0 0 25 0 1 0 849763658 37941248 8565 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9263 8566 1111 63 0 9200 0
vsize: 37052
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 837497 0 0 0 102559 2454 0 0 25 0 1 0 849763658 38612992 8643 4294967295 134512640 134716908 3221224560 3221221520 1074790233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9427 8643 1111 63 0 9364 0
vsize: 37708
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 845805 0 0 0 103534 2479 0 0 25 0 1 0 849763658 38445056 8697 4294967295 134512640 134716908 3221224560 3221222960 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9386 8697 1111 63 0 9323 0
vsize: 37544
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 853751 0 0 0 104513 2501 0 0 25 0 1 0 849763658 38760448 8774 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9463 8774 1111 63 0 9400 0
vsize: 37852
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 861989 0 0 0 105489 2524 0 0 25 0 1 0 849763658 39559168 8893 4294967295 134512640 134716908 3221224560 3221221328 1076084240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9658 8893 1111 63 0 9595 0
vsize: 38632
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 869959 0 0 0 106467 2547 0 0 25 0 1 0 849763658 39391232 8928 4294967295 134512640 134716908 3221224560 3221222136 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9617 8928 1111 63 0 9554 0
vsize: 38468
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 878011 0 0 0 107444 2570 0 0 25 0 1 0 849763658 39735296 9012 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9701 9012 1111 63 0 9638 0
vsize: 38804
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 885915 0 0 0 108421 2593 0 0 25 0 1 0 849763658 40198144 9090 4294967295 134512640 134716908 3221224560 3221222480 1075799408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9814 9090 1111 63 0 9751 0
vsize: 39256
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 893046 0 0 0 109401 2613 0 0 25 0 1 0 849763658 40312832 9153 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9842 9153 1111 63 0 9779 0
vsize: 39368
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 901723 0 0 0 110377 2637 0 0 25 0 1 0 849763658 40624128 9229 4294967295 134512640 134716908 3221224560 3221222960 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9918 9229 1111 63 0 9855 0
vsize: 39672
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 910338 0 0 0 111355 2660 0 0 25 0 1 0 849763658 41062400 9302 4294967295 134512640 134716908 3221224560 3221222288 1075828541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10025 9304 1111 63 0 9962 0
vsize: 40100
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 918057 0 0 0 112332 2683 0 0 25 0 1 0 849763658 41267200 9370 4294967295 134512640 134716908 3221224560 3221222560 1074916417 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10075 9370 1111 63 0 10012 0
vsize: 40300
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 926679 0 0 0 113305 2710 0 0 25 0 1 0 849763658 41467904 9435 4294967295 134512640 134716908 3221224560 3221222960 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10124 9435 1111 63 0 10061 0
vsize: 40496
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 934382 0 0 0 114284 2732 0 0 25 0 1 0 849763658 41783296 9512 4294967295 134512640 134716908 3221224560 3221222960 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10201 9512 1111 63 0 10138 0
vsize: 40804
[startup+1174.91 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts-) R 28952 8378 8377 0 -1 0 934382 0 0 0 114284 2732 0 0 25 0 1 0 849763658 41783296 9512 4294967295 134512640 134716908 3221224560 3221222960 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10201 9512 1111 63 0 10138 0
vsize: 0

Child status: 10
Real time (s): 1174.91
CPU time (s): 1175.04
CPU user time (s): 1147.59
CPU system time (s): 27.4518
CPU usage (%): 100.011
Max. virtual memory (Kb): 40804
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	153
#### END VERIFIER DATA ####