PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/logic-synthesis/normalized-5xp1.b.opb
MD5SUM	24a8f38e94b07e6ca192a34c96c24c6e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	12
Optimality of the best value was proved	NO
Number of terms in the objective function	465
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	465
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	465
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03084
Number of variables	464
Total number of constraints	859
Number of constraints which are clauses	845
Number of constraints which are cardinality constraints (but not clauses)	14
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	149
Trace number 40606

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 17:02:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28673 boxname=wulflinc2 idbench=59 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  24a8f38e94b07e6ca192a34c96c24c6e  /oldhome/oroussel/tmp/wulflinc2/normalized-5xp1.b.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-5xp1.b.opb
IDLAUNCH: 28673
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        771968 kB
Buffers:         29608 kB
Cached:         210992 kB
SwapCached:       1344 kB
Active:          40512 kB
Inactive:       202092 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        771716 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14400 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 17:19:48 (client local time) WITH STATUS 30 IN 1026.02 SECONDS
stats: 28673 0 1026.02 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 465 variables and 845 constraints.
c After prepocess the problem consists of 464 variables and 754 constraints.
c preprocess terminated 2.749 s
c Initial Lower Bound: 11
c Lower Bound Elapsed time: 1.286
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 354 @ 4.1
c NEW SOLUTION FOUND: 353 @ 4.113
c NEW SOLUTION FOUND: 352 @ 4.119
c NEW SOLUTION FOUND: 351 @ 4.125
c NEW SOLUTION FOUND: 350 @ 4.132
c NEW SOLUTION FOUND: 349 @ 4.138
c NEW SOLUTION FOUND: 348 @ 4.144
c NEW SOLUTION FOUND: 347 @ 4.15
c NEW SOLUTION FOUND: 346 @ 4.156
c NEW SOLUTION FOUND: 345 @ 4.162
c NEW SOLUTION FOUND: 344 @ 4.169
c NEW SOLUTION FOUND: 343 @ 4.175
c NEW SOLUTION FOUND: 342 @ 4.181
c NEW SOLUTION FOUND: 341 @ 4.187
c NEW SOLUTION FOUND: 340 @ 4.193
c NEW SOLUTION FOUND: 339 @ 4.199
c NEW SOLUTION FOUND: 338 @ 4.206
c NEW SOLUTION FOUND: 337 @ 4.212
c NEW SOLUTION FOUND: 336 @ 4.218
c NEW SOLUTION FOUND: 335 @ 4.224
c NEW SOLUTION FOUND: 334 @ 4.23
c NEW SOLUTION FOUND: 333 @ 4.236
c NEW SOLUTION FOUND: 332 @ 4.243
c NEW SOLUTION FOUND: 331 @ 4.249
c NEW SOLUTION FOUND: 330 @ 4.255
c NEW SOLUTION FOUND: 329 @ 4.261
c NEW SOLUTION FOUND: 328 @ 4.267
c NEW SOLUTION FOUND: 327 @ 4.273
c NEW SOLUTION FOUND: 326 @ 4.279
c NEW SOLUTION FOUND: 325 @ 4.286
c NEW SOLUTION FOUND: 324 @ 4.292
c NEW SOLUTION FOUND: 323 @ 4.298
c NEW SOLUTION FOUND: 322 @ 4.304
c NEW SOLUTION FOUND: 321 @ 4.31
c NEW SOLUTION FOUND: 320 @ 4.316
c NEW SOLUTION FOUND: 319 @ 4.323
c NEW SOLUTION FOUND: 318 @ 4.329
c NEW SOLUTION FOUND: 317 @ 4.335
c NEW SOLUTION FOUND: 316 @ 4.341
c NEW SOLUTION FOUND: 315 @ 4.347
c NEW SOLUTION FOUND: 314 @ 4.353
c NEW SOLUTION FOUND: 313 @ 4.359
c NEW SOLUTION FOUND: 312 @ 4.365
c NEW SOLUTION FOUND: 311 @ 4.371
c NEW SOLUTION FOUND: 310 @ 4.377
c NEW SOLUTION FOUND: 309 @ 4.383
c NEW SOLUTION FOUND: 308 @ 4.389
c NEW SOLUTION FOUND: 307 @ 4.395
c NEW SOLUTION FOUND: 306 @ 4.401
c NEW SOLUTION FOUND: 305 @ 4.407
c NEW SOLUTION FOUND: 304 @ 4.413
c NEW SOLUTION FOUND: 303 @ 4.419
c NEW SOLUTION FOUND: 302 @ 4.425
c NEW SOLUTION FOUND: 301 @ 4.431
c NEW SOLUTION FOUND: 300 @ 4.437
c NEW SOLUTION FOUND: 299 @ 4.443
c NEW SOLUTION FOUND: 298 @ 4.449
c NEW SOLUTION FOUND: 297 @ 4.455
c NEW SOLUTION FOUND: 296 @ 4.461
c NEW SOLUTION FOUND: 295 @ 4.467
c NEW SOLUTION FOUND: 294 @ 4.473
c NEW SOLUTION FOUND: 293 @ 4.479
c NEW SOLUTION FOUND: 292 @ 4.485
c NEW SOLUTION FOUND: 291 @ 4.491
c NEW SOLUTION FOUND: 290 @ 4.497
c NEW SOLUTION FOUND: 289 @ 4.503
c NEW SOLUTION FOUND: 288 @ 4.509
c NEW SOLUTION FOUND: 287 @ 4.515
c NEW SOLUTION FOUND: 286 @ 4.521
c NEW SOLUTION FOUND: 285 @ 4.527
c NEW SOLUTION FOUND: 284 @ 4.533
c NEW SOLUTION FOUND: 283 @ 4.539
c NEW SOLUTION FOUND: 282 @ 4.545
c NEW SOLUTION FOUND: 281 @ 4.55
c NEW SOLUTION FOUND: 280 @ 4.556
c NEW SOLUTION FOUND: 279 @ 4.562
c NEW SOLUTION FOUND: 278 @ 4.568
c NEW SOLUTION FOUND: 277 @ 4.574
c NEW SOLUTION FOUND: 276 @ 4.58
c NEW SOLUTION FOUND: 275 @ 4.586
c NEW SOLUTION FOUND: 274 @ 4.592
c NEW SOLUTION FOUND: 273 @ 4.598
c NEW SOLUTION FOUND: 272 @ 4.603
c NEW SOLUTION FOUND: 271 @ 4.609
c NEW SOLUTION FOUND: 270 @ 4.615
c NEW SOLUTION FOUND: 269 @ 4.621
c NEW SOLUTION FOUND: 268 @ 4.627
c NEW SOLUTION FOUND: 267 @ 4.633
c NEW SOLUTION FOUND: 266 @ 4.639
c NEW SOLUTION FOUND: 265 @ 4.645
c NEW SOLUTION FOUND: 264 @ 4.651
c NEW SOLUTION FOUND: 263 @ 4.657
c NEW SOLUTION FOUND: 262 @ 4.662
c NEW SOLUTION FOUND: 261 @ 4.668
c NEW SOLUTION FOUND: 260 @ 4.674
c NEW SOLUTION FOUND: 259 @ 4.68
c NEW SOLUTION FOUND: 258 @ 4.686
c NEW SOLUTION FOUND: 257 @ 4.692
c NEW SOLUTION FOUND: 256 @ 4.697
c NEW SOLUTION FOUND: 255 @ 4.703
c NEW SOLUTION FOUND: 254 @ 4.709
c NEW SOLUTION FOUND: 253 @ 4.715
c NEW SOLUTION FOUND: 252 @ 4.721
c NEW SOLUTION FOUND: 251 @ 4.727
c NEW SOLUTION FOUND: 250 @ 4.732
c NEW SOLUTION FOUND: 249 @ 4.738
c NEW SOLUTION FOUND: 248 @ 4.744
c NEW SOLUTION FOUND: 247 @ 4.75
c NEW SOLUTION FOUND: 246 @ 4.756
c NEW SOLUTION FOUND: 245 @ 4.761
c NEW SOLUTION FOUND: 244 @ 4.767
c NEW SOLUTION FOUND: 243 @ 4.773
c NEW SOLUTION FOUND: 242 @ 4.779
c NEW SOLUTION FOUND: 241 @ 4.785
c NEW SOLUTION FOUND: 240 @ 4.79
c NEW SOLUTION FOUND: 239 @ 4.796
c NEW SOLUTION FOUND: 238 @ 4.802
c NEW SOLUTION FOUND: 237 @ 4.808
c NEW SOLUTION FOUND: 236 @ 4.813
c NEW SOLUTION FOUND: 235 @ 4.819
c NEW SOLUTION FOUND: 234 @ 4.825
c NEW SOLUTION FOUND: 233 @ 4.831
c NEW SOLUTION FOUND: 232 @ 4.836
c NEW SOLUTION FOUND: 231 @ 4.842
c NEW SOLUTION FOUND: 230 @ 4.848
c NEW SOLUTION FOUND: 229 @ 4.853
c NEW SOLUTION FOUND: 228 @ 4.859
c NEW SOLUTION FOUND: 227 @ 4.865
c NEW SOLUTION FOUND: 226 @ 4.871
c NEW SOLUTION FOUND: 225 @ 4.876
c NEW SOLUTION FOUND: 224 @ 4.882
c NEW SOLUTION FOUND: 223 @ 4.888
c NEW SOLUTION FOUND: 222 @ 4.893
c NEW SOLUTION FOUND: 221 @ 4.899
c NEW SOLUTION FOUND: 220 @ 4.905
c NEW SOLUTION FOUND: 219 @ 4.91
c NEW SOLUTION FOUND: 218 @ 4.916
c NEW SOLUTION FOUND: 217 @ 4.922
c NEW SOLUTION FOUND: 216 @ 4.927
c NEW SOLUTION FOUND: 215 @ 4.933
c NEW SOLUTION FOUND: 214 @ 4.939
c NEW SOLUTION FOUND: 213 @ 4.944
c NEW SOLUTION FOUND: 212 @ 4.95
c NEW SOLUTION FOUND: 211 @ 4.956
c NEW SOLUTION FOUND: 210 @ 4.961
c NEW SOLUTION FOUND: 209 @ 4.967
c NEW SOLUTION FOUND: 208 @ 4.973
c NEW SOLUTION FOUND: 207 @ 4.978
c NEW SOLUTION FOUND: 206 @ 4.984
c NEW SOLUTION FOUND: 205 @ 4.989
c NEW SOLUTION FOUND: 204 @ 4.995
c NEW SOLUTION FOUND: 203 @ 5.001
c NEW SOLUTION FOUND: 202 @ 5.006
c NEW SOLUTION FOUND: 201 @ 5.012
c NEW SOLUTION FOUND: 200 @ 5.017
c NEW SOLUTION FOUND: 199 @ 5.023
c NEW SOLUTION FOUND: 198 @ 5.028
c NEW SOLUTION FOUND: 197 @ 5.035
c NEW SOLUTION FOUND: 196 @ 5.041
c NEW SOLUTION FOUND: 195 @ 5.047
c NEW SOLUTION FOUND: 194 @ 5.053
c NEW SOLUTION FOUND: 193 @ 5.059
c NEW SOLUTION FOUND: 192 @ 5.065
c NEW SOLUTION FOUND: 191 @ 5.071
c NEW SOLUTION FOUND: 190 @ 5.077
c NEW SOLUTION FOUND: 189 @ 5.083
c NEW SOLUTION FOUND: 188 @ 5.089
c NEW SOLUTION FOUND: 187 @ 5.095
c NEW SOLUTION FOUND: 186 @ 5.101
c NEW SOLUTION FOUND: 185 @ 5.107
c NEW SOLUTION FOUND: 184 @ 5.113
c NEW SOLUTION FOUND: 183 @ 5.119
c NEW SOLUTION FOUND: 182 @ 5.125
c NEW SOLUTION FOUND: 181 @ 5.131
c NEW SOLUTION FOUND: 180 @ 5.137
c NEW SOLUTION FOUND: 179 @ 5.144
c NEW SOLUTION FOUND: 178 @ 5.15
c NEW SOLUTION FOUND: 177 @ 5.156
c NEW SOLUTION FOUND: 176 @ 5.163
c NEW SOLUTION FOUND: 175 @ 5.169
c NEW SOLUTION FOUND: 174 @ 5.175
c NEW SOLUTION FOUND: 173 @ 5.182
c NEW SOLUTION FOUND: 172 @ 5.188
c NEW SOLUTION FOUND: 171 @ 5.194
c NEW SOLUTION FOUND: 170 @ 5.2
c NEW SOLUTION FOUND: 169 @ 5.207
c NEW SOLUTION FOUND: 168 @ 5.213
c NEW SOLUTION FOUND: 167 @ 5.219
c NEW SOLUTION FOUND: 166 @ 5.225
c NEW SOLUTION FOUND: 165 @ 5.232
c NEW SOLUTION FOUND: 164 @ 5.238
c NEW SOLUTION FOUND: 163 @ 5.244
c NEW SOLUTION FOUND: 162 @ 5.25
c NEW SOLUTION FOUND: 161 @ 5.257
c NEW SOLUTION FOUND: 160 @ 5.263
c NEW SOLUTION FOUND: 159 @ 5.269
c NEW SOLUTION FOUND: 158 @ 5.275
c NEW SOLUTION FOUND: 157 @ 5.282
c NEW SOLUTION FOUND: 156 @ 5.288
c NEW SOLUTION FOUND: 155 @ 5.294
c NEW SOLUTION FOUND: 154 @ 5.3
c NEW SOLUTION FOUND: 153 @ 5.306
c NEW SOLUTION FOUND: 152 @ 5.313
c NEW SOLUTION FOUND: 151 @ 5.319
c NEW SOLUTION FOUND: 150 @ 5.325
c NEW SOLUTION FOUND: 149 @ 5.331
c NEW SOLUTION FOUND: 148 @ 5.337
c NEW SOLUTION FOUND: 147 @ 5.344
c NEW SOLUTION FOUND: 146 @ 5.35
c NEW SOLUTION FOUND: 145 @ 5.356
c NEW SOLUTION FOUND: 144 @ 5.362
c NEW SOLUTION FOUND: 143 @ 5.368
c NEW SOLUTION FOUND: 142 @ 5.374
c NEW SOLUTION FOUND: 141 @ 5.381
c NEW SOLUTION FOUND: 140 @ 5.387
c NEW SOLUTION FOUND: 139 @ 5.393
c NEW SOLUTION FOUND: 138 @ 5.399
c NEW SOLUTION FOUND: 137 @ 5.405
c NEW SOLUTION FOUND: 136 @ 5.411
c NEW SOLUTION FOUND: 135 @ 5.418
c NEW SOLUTION FOUND: 134 @ 5.424
c NEW SOLUTION FOUND: 133 @ 5.43
c NEW SOLUTION FOUND: 132 @ 5.436
c NEW SOLUTION FOUND: 131 @ 5.442
c NEW SOLUTION FOUND: 130 @ 5.448
c NEW SOLUTION FOUND: 129 @ 5.455
c NEW SOLUTION FOUND: 128 @ 5.461
c NEW SOLUTION FOUND: 127 @ 5.467
c NEW SOLUTION FOUND: 126 @ 5.473
c NEW SOLUTION FOUND: 125 @ 5.479
c NEW SOLUTION FOUND: 124 @ 5.485
c NEW SOLUTION FOUND: 123 @ 5.491
c NEW SOLUTION FOUND: 122 @ 5.498
c NEW SOLUTION FOUND: 121 @ 5.504
c NEW SOLUTION FOUND: 120 @ 5.51
c NEW SOLUTION FOUND: 119 @ 5.516
c NEW SOLUTION FOUND: 118 @ 5.522
c NEW SOLUTION FOUND: 117 @ 5.528
c NEW SOLUTION FOUND: 116 @ 5.534
c NEW SOLUTION FOUND: 115 @ 5.541
c NEW SOLUTION FOUND: 114 @ 5.547
c NEW SOLUTION FOUND: 113 @ 5.553
c NEW SOLUTION FOUND: 112 @ 5.559
c NEW SOLUTION FOUND: 111 @ 5.565
c NEW SOLUTION FOUND: 110 @ 5.571
c NEW SOLUTION FOUND: 109 @ 5.577
c NEW SOLUTION FOUND: 108 @ 5.583
c NEW SOLUTION FOUND: 107 @ 5.589
c NEW SOLUTION FOUND: 106 @ 5.595
c NEW SOLUTION FOUND: 105 @ 5.601
c NEW SOLUTION FOUND: 104 @ 5.607
c NEW SOLUTION FOUND: 103 @ 5.613
c NEW SOLUTION FOUND: 102 @ 5.62
c NEW SOLUTION FOUND: 101 @ 5.626
c NEW SOLUTION FOUND: 100 @ 5.632
c NEW SOLUTION FOUND: 99 @ 5.638
c NEW SOLUTION FOUND: 98 @ 5.644
c NEW SOLUTION FOUND: 97 @ 5.65
c NEW SOLUTION FOUND: 96 @ 5.656
c NEW SOLUTION FOUND: 95 @ 5.662
c NEW SOLUTION FOUND: 94 @ 5.667
c NEW SOLUTION FOUND: 93 @ 5.673
c NEW SOLUTION FOUND: 92 @ 5.68
c NEW SOLUTION FOUND: 91 @ 5.686
c NEW SOLUTION FOUND: 90 @ 5.692
c NEW SOLUTION FOUND: 89 @ 5.698
c NEW SOLUTION FOUND: 88 @ 5.704
c NEW SOLUTION FOUND: 87 @ 5.71
c NEW SOLUTION FOUND: 86 @ 5.716
c NEW SOLUTION FOUND: 85 @ 5.722
c NEW SOLUTION FOUND: 84 @ 5.728
c NEW SOLUTION FOUND: 83 @ 5.734
c NEW SOLUTION FOUND: 82 @ 5.74
c NEW SOLUTION FOUND: 81 @ 5.746
c NEW SOLUTION FOUND: 80 @ 5.751
c NEW SOLUTION FOUND: 79 @ 5.757
c NEW SOLUTION FOUND: 78 @ 5.763
c NEW SOLUTION FOUND: 77 @ 5.769
c NEW SOLUTION FOUND: 76 @ 5.775
c NEW SOLUTION FOUND: 75 @ 5.781
c NEW SOLUTION FOUND: 74 @ 5.787
c NEW SOLUTION FOUND: 73 @ 5.793
c NEW SOLUTION FOUND: 72 @ 5.799
c NEW SOLUTION FOUND: 71 @ 5.805
c NEW SOLUTION FOUND: 70 @ 5.811
c NEW SOLUTION FOUND: 69 @ 5.817
c NEW SOLUTION FOUND: 68 @ 5.823
c NEW SOLUTION FOUND: 67 @ 5.828
c NEW SOLUTION FOUND: 66 @ 5.918
c NEW SOLUTION FOUND: 65 @ 5.953
c NEW SOLUTION FOUND: 64 @ 5.989
c NEW SOLUTION FOUND: 63 @ 6.025
c NEW SOLUTION FOUND: 62 @ 6.062
c NEW SOLUTION FOUND: 61 @ 6.098
c NEW SOLUTION FOUND: 60 @ 6.134
c NEW SOLUTION FOUND: 59 @ 6.171
c NEW SOLUTION FOUND: 58 @ 6.207
c NEW SOLUTION FOUND: 57 @ 6.244
c NEW SOLUTION FOUND: 56 @ 6.281
c NEW SOLUTION FOUND: 55 @ 6.318
c NEW SOLUTION FOUND: 54 @ 6.355
c NEW SOLUTION FOUND: 53 @ 6.392
c NEW SOLUTION FOUND: 52 @ 6.431
c NEW SOLUTION FOUND: 50 @ 6.543
c NEW SOLUTION FOUND: 49 @ 6.666
c NEW SOLUTION FOUND: 48 @ 6.776
c NEW SOLUTION FOUND: 47 @ 7.251
c NEW SOLUTION FOUND: 46 @ 7.417
c NEW SOLUTION FOUND: 44 @ 7.544
c NEW SOLUTION FOUND: 43 @ 7.676
c NEW SOLUTION FOUND: 42 @ 7.809
c NEW SOLUTION FOUND: 41 @ 7.941
c NEW SOLUTION FOUND: 40 @ 8.072
c NEW SOLUTION FOUND: 39 @ 8.204
c NEW SOLUTION FOUND: 38 @ 8.337
c NEW SOLUTION FOUND: 37 @ 8.468
c NEW SOLUTION FOUND: 36 @ 10.517
c NEW SOLUTION FOUND: 35 @ 11.724
c NEW SOLUTION FOUND: 34 @ 12.528
c NEW SOLUTION FOUND: 33 @ 14.44
c NEW SOLUTION FOUND: 31 @ 15.257
c NEW SOLUTION FOUND: 30 @ 15.654
c NEW SOLUTION FOUND: 29 @ 16.041
c NEW SOLUTION FOUND: 28 @ 18.038
c NEW SOLUTION FOUND: 27 @ 20.339
c NEW SOLUTION FOUND: 26 @ 21.469
c NEW SOLUTION FOUND: 25 @ 22.121
c NEW SOLUTION FOUND: 24 @ 22.767
c NEW SOLUTION FOUND: 23 @ 26.444
c NEW SOLUTION FOUND: 22 @ 31.144
c NEW SOLUTION FOUND: 21 @ 39.298
c NEW SOLUTION FOUND: 20 @ 68.997
c NEW SOLUTION FOUND: 19 @ 77.364
c NEW SOLUTION FOUND: 18 @ 82.922
c NEW SOLUTION FOUND: 17 @ 86.473
c NEW SOLUTION FOUND: 16 @ 89.975
c NEW SOLUTION FOUND: 15 @ 148.804
c NEW SOLUTION FOUND: 14 @ 154.742
c NEW SOLUTION FOUND: 13 @ 249.649
c NEW SOLUTION FOUND: 12 @ 671.061
s OPTIMUM FOUND
v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 
c Exit Code: 30
c Total time: 1026.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.93 0.99 0.93 2/54 11715
Raw data (stat): 11715 (runsolver) R 11714 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903284834 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.94 0.99 0.93 2/54 11715
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 6898 0 2 0 974 20 0 0 25 0 1 0 903284834 9383936 1571 4294967295 134512640 134716908 3221224576 3221222576 1074918533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2291 1571 1111 63 0 2228 0
vsize: 9164
[startup+20.0016 s]
Raw data (loadavg): 0.95 0.99 0.93 2/54 11715
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 17535 0 2 0 1948 47 0 0 25 0 1 0 903284834 9494528 1630 4294967295 134512640 134716908 3221224576 3221222168 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2318 1630 1111 63 0 2255 0
vsize: 9272
[startup+30.0019 s]
Raw data (loadavg): 0.96 0.99 0.93 2/54 11715
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 28488 0 2 0 2924 70 0 0 25 0 1 0 903284834 10309632 1800 4294967295 134512640 134716908 3221224576 3221221856 1074140013 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2517 1800 1111 63 0 2454 0
vsize: 10068
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.99 0.93 2/54 11715
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 39516 0 2 0 3899 96 0 0 25 0 1 0 903284834 9940992 1739 4294967295 134512640 134716908 3221224576 3221222192 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2427 1739 1111 63 0 2364 0
vsize: 9708
[startup+50.003 s]
Raw data (loadavg): 0.97 0.99 0.93 2/54 11715
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 50530 0 2 0 4874 121 0 0 25 0 1 0 903284834 10440704 1861 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2549 1861 1111 63 0 2486 0
vsize: 10196
[startup+60.003 s]
Raw data (loadavg): 0.97 0.99 0.93 2/54 11715
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 60751 0 2 0 5851 144 0 0 25 0 1 0 903284834 10440704 1861 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2549 1861 1111 63 0 2486 0
vsize: 10196
[startup+70.0037 s]
Raw data (loadavg): 0.98 0.99 0.93 2/54 11715
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 70803 0 2 0 6830 166 0 0 25 0 1 0 903284834 10514432 1879 4294967295 134512640 134716908 3221224576 3221222400 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2567 1879 1111 63 0 2504 0
vsize: 10268
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.99 0.93 2/54 11715
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 79714 0 2 0 7810 185 0 0 25 0 1 0 903284834 11272192 2061 4294967295 134512640 134716908 3221224576 3221222688 1074867352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2752 2061 1111 63 0 2689 0
vsize: 11008
[startup+90.004 s]
Raw data (loadavg): 0.98 0.99 0.93 2/54 11715
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 88733 0 2 0 8790 206 0 0 25 0 1 0 903284834 11444224 2029 4294967295 134512640 134716908 3221224576 3221221616 1075971386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2794 2029 1111 63 0 2731 0
vsize: 11176
[startup+100.004 s]
Raw data (loadavg): 0.98 0.99 0.93 2/54 11715
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 97789 0 2 0 9768 228 0 0 25 0 1 0 903284834 10600448 1900 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2588 1900 1111 63 0 2525 0
vsize: 10352
[startup+110.004 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11715
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 108862 0 2 0 10744 252 0 0 25 0 1 0 903284834 10739712 1932 4294967295 134512640 134716908 3221224576 3221222392 1077380786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2622 1932 1111 63 0 2559 0
vsize: 10488
[startup+120.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11715
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 120208 0 2 0 11719 277 0 0 25 0 1 0 903284834 11481088 2115 4294967295 134512640 134716908 3221224576 3221222304 1075828444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2803 2115 1111 63 0 2740 0
vsize: 11212
[startup+130.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11715
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 132194 0 2 0 12692 304 0 0 25 0 1 0 903284834 11137024 2031 4294967295 134512640 134716908 3221224576 3221222488 1074138271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2719 2031 1111 63 0 2656 0
vsize: 10876
[startup+140.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11715
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 142949 0 2 0 13665 332 0 0 25 0 1 0 903284834 10854400 1941 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2650 1941 1111 63 0 2587 0
vsize: 10600
[startup+150.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11715
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 152966 0 2 0 14641 356 0 0 25 0 1 0 903284834 11833344 2096 4294967295 134512640 134716908 3221224576 3221221496 1074950105 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2889 2096 1111 63 0 2826 0
vsize: 11556
[startup+160.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11715
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 163992 0 2 0 15615 381 0 0 25 0 1 0 903284834 11866112 2210 4294967295 134512640 134716908 3221224576 3221222688 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2897 2210 1111 63 0 2834 0
vsize: 11588
[startup+170.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11715
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 173510 0 2 0 16593 403 0 0 25 0 1 0 903284834 11423744 2080 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2789 2080 1111 63 0 2726 0
vsize: 11156
[startup+180.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11715
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 182755 0 2 0 17571 426 0 0 25 0 1 0 903284834 11010048 1980 4294967295 134512640 134716908 3221224576 3221222192 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2688 1980 1111 63 0 2625 0
vsize: 10752
[startup+190.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11715
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 193174 0 2 0 18546 451 0 0 25 0 1 0 903284834 12181504 2267 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2974 2267 1111 63 0 2911 0
vsize: 11896
[startup+200.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11715
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 204811 0 2 0 19519 478 0 0 25 0 1 0 903284834 11153408 2036 4294967295 134512640 134716908 3221224576 3221222496 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2723 2036 1111 63 0 2660 0
vsize: 10892
[startup+210.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11715
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 216863 0 2 0 20491 507 0 0 25 0 1 0 903284834 11489280 2087 4294967295 134512640 134716908 3221224576 3221222240 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2805 2087 1111 63 0 2742 0
vsize: 11220
[startup+220.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11715
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 226891 0 2 0 21468 530 0 0 25 0 1 0 903284834 12169216 2284 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2971 2284 1111 63 0 2908 0
vsize: 11884
[startup+230.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 237249 0 2 0 22440 558 0 0 25 0 1 0 903284834 11202560 2048 4294967295 134512640 134716908 3221224576 3221222240 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2735 2048 1111 63 0 2672 0
vsize: 10940
[startup+240.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 247517 0 2 0 23416 581 0 0 25 0 1 0 903284834 11317248 2068 4294967295 134512640 134716908 3221224576 3221222240 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2763 2068 1111 63 0 2700 0
vsize: 11052
[startup+250.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 258753 0 2 0 24391 606 0 0 25 0 1 0 903284834 11530240 2128 4294967295 134512640 134716908 3221224576 3221222208 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2815 2128 1111 63 0 2752 0
vsize: 11260
[startup+260.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 268356 0 2 0 25368 629 0 0 25 0 1 0 903284834 12673024 2407 4294967295 134512640 134716908 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3094 2407 1111 63 0 3031 0
vsize: 12376
[startup+270.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 276849 0 2 0 26348 650 0 0 25 0 1 0 903284834 13406208 2532 4294967295 134512640 134716908 3221224576 3221220668 1075663457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3273 2532 1111 63 0 3210 0
vsize: 13092
[startup+280.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 287340 0 2 0 27323 675 0 0 25 0 1 0 903284834 11644928 2156 4294967295 134512640 134716908 3221224576 3221222400 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2843 2156 1111 63 0 2780 0
vsize: 11372
[startup+290.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 295190 0 2 0 28305 693 0 0 25 0 1 0 903284834 12009472 2245 4294967295 134512640 134716908 3221224576 3221222488 1074138271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2932 2245 1111 63 0 2869 0
vsize: 11728
[startup+300.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 303415 0 2 0 29285 712 0 0 25 0 1 0 903284834 12632064 2393 4294967295 134512640 134716908 3221224576 3221221680 1074138853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3084 2393 1111 63 0 3021 0
vsize: 12336
[startup+310.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 312805 0 2 0 30263 735 0 0 25 0 1 0 903284834 12468224 2354 4294967295 134512640 134716908 3221224576 3221222576 1074916822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3044 2354 1111 63 0 2981 0
vsize: 12176
[startup+320.011 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 322573 0 2 0 31241 757 0 0 25 0 1 0 903284834 13053952 2444 4294967295 134512640 134716908 3221224576 3221221496 1074950119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3187 2444 1111 63 0 3124 0
vsize: 12748
[startup+330.011 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 332227 0 2 0 32217 781 0 0 25 0 1 0 903284834 11452416 2109 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2796 2109 1111 63 0 2733 0
vsize: 11184
[startup+340.011 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 342109 0 2 0 33193 805 0 0 25 0 1 0 903284834 12046336 2254 4294967295 134512640 134716908 3221224576 3221222192 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2941 2254 1111 63 0 2878 0
vsize: 11764
[startup+350.011 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 353042 0 2 0 34168 830 0 0 25 0 1 0 903284834 12148736 2281 4294967295 134512640 134716908 3221224576 3221222192 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 2281 1111 63 0 2903 0
vsize: 11864
[startup+360.011 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 362231 0 2 0 35148 850 0 0 25 0 1 0 903284834 13258752 2539 4294967295 134512640 134716908 3221224576 3221222576 1074918257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3237 2539 1111 63 0 3174 0
vsize: 12948
[startup+370.012 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 370962 0 2 0 36127 871 0 0 25 0 1 0 903284834 12779520 2343 4294967295 134512640 134716908 3221224576 3221222216 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3120 2343 1111 63 0 3057 0
vsize: 12480
[startup+380.012 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 379861 0 2 0 37106 892 0 0 25 0 1 0 903284834 13484032 2607 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3292 2607 1111 63 0 3229 0
vsize: 13168
[startup+390.012 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 391201 0 2 0 38079 919 0 0 25 0 1 0 903284834 12177408 2288 4294967295 134512640 134716908 3221224576 3221222456 1077377862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2973 2288 1111 63 0 2910 0
vsize: 11892
[startup+400.013 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 398685 0 2 0 39062 936 0 0 25 0 1 0 903284834 12746752 2373 4294967295 134512640 134716908 3221224576 3221222240 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3112 2373 1111 63 0 3049 0
vsize: 12448
[startup+410.013 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 407773 0 2 0 40041 957 0 0 25 0 1 0 903284834 12865536 2448 4294967295 134512640 134716908 3221224576 3221222576 1074915833 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3141 2448 1111 63 0 3078 0
vsize: 12564
[startup+420.014 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 417419 0 2 0 41019 978 0 0 25 0 1 0 903284834 13512704 2483 4294967295 134512640 134716908 3221224576 3221221496 1075964745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3299 2483 1111 63 0 3236 0
vsize: 13196
[startup+430.014 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 427776 0 2 0 41994 1004 0 0 25 0 1 0 903284834 12701696 2418 4294967295 134512640 134716908 3221224576 3221222400 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3101 2418 1111 63 0 3038 0
vsize: 12404
[startup+440.014 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 438304 0 2 0 42970 1028 0 0 25 0 1 0 903284834 12619776 2373 4294967295 134512640 134716908 3221224576 3221222192 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3081 2373 1111 63 0 3018 0
vsize: 12324
[startup+450.015 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 446961 0 2 0 43950 1048 0 0 25 0 1 0 903284834 12451840 2357 4294967295 134512640 134716908 3221224576 3221222208 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3040 2357 1111 63 0 2977 0
vsize: 12160
[startup+460.015 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 454296 0 2 0 44931 1067 0 0 25 0 1 0 903284834 13582336 2604 4294967295 134512640 134716908 3221224576 3221222544 1074247404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3316 2604 1111 63 0 3253 0
vsize: 13264
[startup+470.017 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 463457 0 2 0 45910 1088 0 0 25 0 1 0 903284834 13139968 2522 4294967295 134512640 134716908 3221224576 3221222240 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3208 2522 1111 63 0 3145 0
vsize: 12832
[startup+480.017 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 472894 0 2 0 46887 1111 0 0 25 0 1 0 903284834 13012992 2452 4294967295 134512640 134716908 3221224576 3221222168 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3177 2452 1111 63 0 3114 0
vsize: 12708
[startup+490.016 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 481442 0 2 0 47869 1129 0 0 25 0 1 0 903284834 13869056 2703 4294967295 134512640 134716908 3221224576 3221222320 1075640393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3386 2703 1111 63 0 3323 0
vsize: 13544
[startup+500.017 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 489982 0 2 0 48849 1149 0 0 25 0 1 0 903284834 13996032 2727 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3417 2727 1111 63 0 3354 0
vsize: 13668
[startup+510.017 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 500452 0 2 0 49824 1174 0 0 25 0 1 0 903284834 13090816 2514 4294967295 134512640 134716908 3221224576 3221222400 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3196 2514 1111 63 0 3133 0
vsize: 12784
[startup+520.017 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 510658 0 2 0 50799 1199 0 0 25 0 1 0 903284834 13213696 2544 4294967295 134512640 134716908 3221224576 3221220912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3226 2544 1111 63 0 3163 0
vsize: 12904
[startup+530.019 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 519034 0 2 0 51781 1217 0 0 25 0 1 0 903284834 12943360 2478 4294967295 134512640 134716908 3221224576 3221222208 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3160 2478 1111 63 0 3097 0
vsize: 12640
[startup+540.019 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 528028 0 2 0 52762 1236 0 0 25 0 1 0 903284834 14901248 2889 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3638 2889 1111 63 0 3575 0
vsize: 14552
[startup+550.019 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 538451 0 2 0 53736 1262 0 0 25 0 1 0 903284834 13762560 2678 4294967295 134512640 134716908 3221224576 3221222400 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 2678 1111 63 0 3297 0
vsize: 13440
[startup+560.019 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 544933 0 2 0 54720 1278 0 0 25 0 1 0 903284834 15101952 3005 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3687 3005 1111 63 0 3624 0
vsize: 14748
[startup+570.021 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 554227 0 2 0 55697 1301 0 0 25 0 1 0 903284834 13824000 2667 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2667 1111 63 0 3312 0
vsize: 13500
[startup+580.021 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 563856 0 2 0 56675 1323 0 0 25 0 1 0 903284834 14594048 2783 4294967295 134512640 134716908 3221224576 3221221232 1075967392 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3563 2783 1111 63 0 3500 0
vsize: 14252
[startup+590.022 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 573117 0 2 0 57654 1344 0 0 25 0 1 0 903284834 13729792 2670 4294967295 134512640 134716908 3221224576 3221223216 134651140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3352 2670 1111 63 0 3289 0
vsize: 13408
[startup+600.023 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 582435 0 2 0 58632 1367 0 0 25 0 1 0 903284834 13520896 2619 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3301 2619 1111 63 0 3238 0
vsize: 13204
[startup+610.023 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 591037 0 2 0 59611 1388 0 0 25 0 1 0 903284834 13742080 2673 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3355 2673 1111 63 0 3292 0
vsize: 13420
[startup+620.024 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 599665 0 2 0 60591 1408 0 0 25 0 1 0 903284834 14483456 2822 4294967295 134512640 134716908 3221224576 3221222304 1075828514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3536 2822 1111 63 0 3473 0
vsize: 14144
[startup+630.024 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 609493 0 2 0 61569 1429 0 0 25 0 1 0 903284834 14675968 2869 4294967295 134512640 134716908 3221224576 3221222688 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3583 2869 1111 63 0 3520 0
vsize: 14332
[startup+640.024 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 620021 0 2 0 62544 1454 0 0 25 0 1 0 903284834 14233600 2751 4294967295 134512640 134716908 3221224576 3221221640 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3475 2751 1111 63 0 3412 0
vsize: 13900
[startup+650.024 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 629710 0 2 0 63520 1479 0 0 25 0 1 0 903284834 14065664 2752 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3434 2752 1111 63 0 3371 0
vsize: 13736
[startup+660.024 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 639703 0 2 0 64498 1500 0 0 25 0 1 0 903284834 14422016 2839 4294967295 134512640 134716908 3221224576 3221222536 1074138312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3521 2839 1111 63 0 3458 0
vsize: 14084
[startup+670.026 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 650051 0 2 0 65475 1524 0 0 25 0 1 0 903284834 14254080 2798 4294967295 134512640 134716908 3221224576 3221222400 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2798 1111 63 0 3417 0
vsize: 13920
[startup+680.026 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 658338 0 2 0 66455 1544 0 0 25 0 1 0 903284834 14340096 2819 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3501 2819 1111 63 0 3438 0
vsize: 14004
[startup+690.026 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 666925 0 2 0 67435 1564 0 0 25 0 1 0 903284834 14704640 2908 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3590 2908 1111 63 0 3527 0
vsize: 14360
[startup+700.026 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 675873 0 2 0 68413 1586 0 0 25 0 1 0 903284834 15847424 3187 4294967295 134512640 134716908 3221224576 3221222536 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3869 3187 1111 63 0 3806 0
vsize: 15476
[startup+710.026 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 682348 0 2 0 69398 1601 0 0 25 0 1 0 903284834 14729216 2914 4294967295 134512640 134716908 3221224576 3221222400 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3596 2914 1111 63 0 3533 0
vsize: 14384
[startup+720.027 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 692357 0 2 0 70375 1625 0 0 25 0 1 0 903284834 14938112 2935 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3647 2935 1111 63 0 3584 0
vsize: 14588
[startup+730.028 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 700701 0 2 0 71357 1643 0 0 25 0 1 0 903284834 14483456 2854 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3536 2854 1111 63 0 3473 0
vsize: 14144
[startup+740.028 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 708750 0 2 0 72336 1664 0 0 25 0 1 0 903284834 14585856 2879 4294967295 134512640 134716908 3221224576 3221222400 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3561 2879 1111 63 0 3498 0
vsize: 14244
[startup+750.028 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 716190 0 2 0 73319 1681 0 0 25 0 1 0 903284834 15212544 2987 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3714 2987 1111 63 0 3651 0
vsize: 14856
[startup+760.029 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 722483 0 2 0 74305 1695 0 0 25 0 1 0 903284834 16543744 3270 4294967295 134512640 134716908 3221224576 3221221108 1075863647 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4039 3270 1111 63 0 3976 0
vsize: 16156
[startup+770.029 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 729976 0 2 0 75288 1713 0 0 25 0 1 0 903284834 14512128 2861 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3543 2861 1111 63 0 3480 0
vsize: 14172
[startup+780.03 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 737830 0 2 0 76270 1730 0 0 25 0 1 0 903284834 14663680 2898 4294967295 134512640 134716908 3221224576 3221222784 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3580 2898 1111 63 0 3517 0
vsize: 14320
[startup+790.029 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 745885 0 2 0 77252 1749 0 0 25 0 1 0 903284834 15052800 2961 4294967295 134512640 134716908 3221224576 3221222400 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3675 2961 1111 63 0 3612 0
vsize: 14700
[startup+800.03 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 754014 0 2 0 78233 1768 0 0 25 0 1 0 903284834 16252928 3286 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3968 3286 1111 63 0 3905 0
vsize: 15872
[startup+810.03 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 761052 0 2 0 79216 1785 0 0 25 0 1 0 903284834 14843904 2942 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3624 2942 1111 63 0 3561 0
vsize: 14496
[startup+820.03 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 767049 0 2 0 80203 1799 0 0 25 0 1 0 903284834 16764928 3333 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4093 3333 1111 63 0 4030 0
vsize: 16372
[startup+830.032 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 774618 0 2 0 81185 1816 0 0 25 0 1 0 903284834 15884288 3196 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3878 3196 1111 63 0 3815 0
vsize: 15512
[startup+840.031 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 780889 0 2 0 82171 1831 0 0 25 0 1 0 903284834 15069184 2997 4294967295 134512640 134716908 3221224576 3221221932 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3679 2997 1111 63 0 3616 0
vsize: 14716
[startup+850.031 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 787676 0 2 0 83156 1846 0 0 25 0 1 0 903284834 15167488 3021 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3703 3021 1111 63 0 3640 0
vsize: 14812
[startup+860.031 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 794966 0 2 0 84137 1865 0 0 25 0 1 0 903284834 15028224 2987 4294967295 134512640 134716908 3221224576 3221222416 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2987 1111 63 0 3606 0
vsize: 14676
[startup+870.032 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 801753 0 2 0 85121 1881 0 0 25 0 1 0 903284834 15523840 3108 4294967295 134512640 134716908 3221224576 3221222680 1074138322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3790 3108 1111 63 0 3727 0
vsize: 15160
[startup+880.031 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 807721 0 2 0 86106 1896 0 0 25 0 1 0 903284834 15192064 3027 4294967295 134512640 134716908 3221224576 3221222144 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3709 3027 1111 63 0 3646 0
vsize: 14836
[startup+890.032 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 814175 0 2 0 87090 1912 0 0 25 0 1 0 903284834 15048704 2992 4294967295 134512640 134716908 3221224576 3221221840 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2992 1111 63 0 3611 0
vsize: 14696
[startup+900.032 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 819713 0 2 0 88078 1925 0 0 25 0 1 0 903284834 15618048 3131 4294967295 134512640 134716908 3221224576 3221222400 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3813 3131 1111 63 0 3750 0
vsize: 15252
[startup+910.031 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 825909 0 2 0 89064 1939 0 0 25 0 1 0 903284834 15507456 3104 4294967295 134512640 134716908 3221224576 3221222240 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3786 3104 1111 63 0 3723 0
vsize: 15144
[startup+920.032 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 830291 0 2 0 90053 1950 0 0 25 0 1 0 903284834 15650816 3139 4294967295 134512640 134716908 3221224576 3221222400 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3821 3139 1111 63 0 3758 0
vsize: 15284
[startup+930.033 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 837897 0 2 0 91035 1969 0 0 25 0 1 0 903284834 16203776 3274 4294967295 134512640 134716908 3221224576 3221222320 1075645384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3956 3274 1111 63 0 3893 0
vsize: 15824
[startup+940.032 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 844237 0 2 0 92019 1984 0 0 25 0 1 0 903284834 15343616 3064 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3746 3064 1111 63 0 3683 0
vsize: 14984
[startup+950.033 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 849921 0 2 0 93005 1998 0 0 25 0 1 0 903284834 15720448 3137 4294967295 134512640 134716908 3221224576 3221222416 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3838 3137 1111 63 0 3775 0
vsize: 15352
[startup+960.033 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 856652 0 2 0 93992 2012 0 0 25 0 1 0 903284834 15495168 3078 4294967295 134512640 134716908 3221224576 3221222728 1074950102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 3078 1111 63 0 3720 0
vsize: 15132
[startup+970.034 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 862339 0 2 0 94979 2026 0 0 25 0 1 0 903284834 15503360 3103 4294967295 134512640 134716908 3221224576 3221222768 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3785 3103 1111 63 0 3722 0
vsize: 15140
[startup+980.034 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 868453 0 2 0 95964 2040 0 0 25 0 1 0 903284834 16646144 3382 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4064 3382 1111 63 0 4001 0
vsize: 16256
[startup+990.033 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 878237 0 2 0 96942 2063 0 0 25 0 1 0 903284834 15491072 3100 4294967295 134512640 134716908 3221224576 3221222880 1074039235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3782 3100 1111 63 0 3719 0
vsize: 15128
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 885519 0 2 0 97924 2081 0 0 25 0 1 0 903284834 15446016 3075 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 3075 1111 63 0 3708 0
vsize: 15084
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 893033 0 2 0 98905 2100 0 0 25 0 1 0 903284834 16506880 3346 4294967295 134512640 134716908 3221224576 3221222856 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4030 3346 1111 63 0 3967 0
vsize: 16120
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 900080 0 2 0 99889 2117 0 0 25 0 1 0 903284834 15413248 3055 4294967295 134512640 134716908 3221224576 3221222208 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3763 3055 1111 63 0 3700 0
vsize: 15052
[startup+1026 s]
Raw data (loadavg): 0.99 0.99 0.93 1/53 11717
Raw data (stat): 11715 (bsolo_lpr_cuts-) R 11714 31399 31398 0 -1 0 900080 0 2 0 99889 2117 0 0 25 0 1 0 903284834 15413248 3055 4294967295 134512640 134716908 3221224576 3221222208 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3763 3055 1111 63 0 3700 0
vsize: 0

Child status: 30
Real time (s): 1026
CPU time (s): 1026.02
CPU user time (s): 1004.74
CPU system time (s): 21.2798
CPU usage (%): 100.002
Max. virtual memory (Kb): 16372
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	12
#### END VERIFIER DATA ####