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/primes-dimacs-cnf/normalized-ii32b2.opb
MD5SUM	4c322f6b4009d273fbdff10efcd1c54f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	244
Optimality of the best value was proved	NO
Number of terms in the objective function	522
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	522
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	522
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03184
Number of variables	522
Total number of constraints	2819
Number of constraints which are clauses	2819
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 40696

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 18:58:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28762 boxname=wulflinc5 idbench=148 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  4c322f6b4009d273fbdff10efcd1c54f  /oldhome/oroussel/tmp/wulflinc5/normalized-ii32b2.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-ii32b2.opb
IDLAUNCH: 28762
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        843440 kB
Buffers:         25096 kB
Cached:         144532 kB
SwapCached:        644 kB
Active:          32748 kB
Inactive:       138912 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        843188 kB
SwapTotal:     2097136 kB
SwapFree:      2095528 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            13848 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 19:17:39 (client local time) WITH STATUS 10 IN 1175.23 SECONDS
stats: 28762 0 1175.23 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 522 variables and 2819 constraints.
c After prepocess the problem consists of 522 variables and 2819 constraints.
c preprocess terminated 3.748 s
c Initial Lower Bound: 173
c Lower Bound Elapsed time: 1.3768
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 261 @ 22.004
c NEW SOLUTION FOUND: 260 @ 22.005
c NEW SOLUTION FOUND: 259 @ 22.012
c NEW SOLUTION FOUND: 258 @ 42.631
c NEW SOLUTION FOUND: 257 @ 1132.19
s SATISFIABLE
v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 -x73 x74 x75 -x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 -x91 x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 -x101 x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 -x133 x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 -x147 x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x200 x201 -x202 x203 -x204 x205 -x206 -x207 x208 x209 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 -x250 x251 -x252 -x253 x254 x255 -x256 -x257 -x258 x259 -x260 x261 -x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 x275 -x276 -x277 x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 -x287 x288 x289 -x290 x291 -x292 x293 -x294 -x295 x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 -x311 x312 x313 -x314 x315 -x316 x317 -x318 -x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 -x333 x334 x335 -x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 -x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 -x380 x381 -x382 x383 -x384 -x385 x386 x387 -x388 -x389 x390 x391 -x392 -x393 x394 -x395 x396 x397 -x398 -x399 x400 -x401 x402 x403 -x404 -x405 x406 -x407 x408 x409 -x410 -x411 x412 -x413 x414 -x415 x416 -x417 x418 x419 -x420 x421 -x422 -x423 x424 -x425 x426 x427 -x428 -x429 x430 -x431 x432 x433 -x434 -x435 x436 -x437 x438 -x439 x440 x441 -x442 -x443 x444 -x445 x446 x447 -x448 -x449 x450 x451 -x452 -x453 x454 -x455 x456 -x457 -x458 x459 -x460 -x461 x462 x463 -x464 -x465 x466 -x467 x468 x469 -x470 -x471 x472 -x473 x474 x475 -x476 -x477 x478 -x479 x480 x481 -x482 -x483 x484 -x485 x486 x487 -x488 -x489 x490 -x491 x492 -x493 x494 x495 -x496 -x497 x498 -x499 x500 x501 -x502 -x503 x504 x505 -x506 -x507 x508 -x509 x510 -x511 x512 x513 -x514 -x515 x516 -x517 x518 -x519 x520 x521 -x522 
c Exit Code: 10
c Total time: 1175.22 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.91 0.95 0.90 2/54 21618
Raw data (stat): 21618 (runsolver) R 21617 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903973495 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0008 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 21618
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 5231 0 0 0 983 14 0 0 25 0 1 0 903973495 11317248 1860 4294967295 134512640 134716908 3221224576 3221220752 1074807191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2763 1860 1111 63 0 2700 0
vsize: 11052
[startup+20.0027 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 21618
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 8225 0 0 0 1973 24 0 0 25 0 1 0 903973495 9781248 1703 4294967295 134512640 134716908 3221224576 3221223136 134542342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2388 1703 1111 63 0 2325 0
vsize: 9552
[startup+30.0029 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 21618
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 12077 0 0 0 2960 37 0 0 25 0 1 0 903973495 10346496 1814 4294967295 134512640 134716908 3221224576 3221222688 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2526 1814 1111 63 0 2463 0
vsize: 10104
[startup+40.0029 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 21618
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 16937 0 0 0 3946 51 0 0 25 0 1 0 903973495 12222464 2170 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2984 2170 1111 63 0 2921 0
vsize: 11936
[startup+50.0037 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 21618
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 22371 0 0 0 4930 67 0 0 25 0 1 0 903973495 12382208 2060 4294967295 134512640 134716908 3221224576 3221221728 1075969830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3023 2060 1111 63 0 2960 0
vsize: 12092
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 21618
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 27211 0 0 0 5917 80 0 0 25 0 1 0 903973495 10883072 1988 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2657 1988 1111 63 0 2594 0
vsize: 10628
[startup+70.0042 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 21618
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 30931 0 0 0 6907 90 0 0 25 0 1 0 903973495 11116544 2045 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2714 2045 1111 63 0 2651 0
vsize: 10856
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21618
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 35970 0 0 0 7896 102 0 0 25 0 1 0 903973495 11362304 2073 4294967295 134512640 134716908 3221224576 3221223064 134543174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2774 2073 1111 63 0 2711 0
vsize: 11096
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21618
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 40868 0 0 0 8884 114 0 0 25 0 1 0 903973495 11403264 2115 4294967295 134512640 134716908 3221224576 3221222976 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2784 2115 1111 63 0 2721 0
vsize: 11136
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21618
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 46150 0 0 0 9869 129 0 0 25 0 1 0 903973495 13852672 2518 4294967295 134512640 134716908 3221224576 3221221232 1075967440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 2518 1111 63 0 3319 0
vsize: 13528
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21618
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 49768 0 0 0 10859 139 0 0 25 0 1 0 903973495 11796480 2211 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2880 2211 1111 63 0 2817 0
vsize: 11520
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 21654
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 52717 0 0 0 11852 147 0 0 25 0 1 0 903973495 11796480 2211 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2880 2211 1111 63 0 2817 0
vsize: 11520
[startup+130.007 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 21671
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 56837 0 0 0 12843 156 0 0 25 0 1 0 903973495 11796480 2211 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2880 2211 1111 63 0 2817 0
vsize: 11520
[startup+140.006 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 21671
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 60657 0 0 0 13833 166 0 0 25 0 1 0 903973495 13516800 2489 4294967295 134512640 134716908 3221224576 3221220908 1076111476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3300 2489 1111 63 0 3237 0
vsize: 13200
[startup+150.007 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 21671
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 64423 0 0 0 14824 175 0 0 25 0 1 0 903973495 13590528 2366 4294967295 134512640 134716908 3221224576 3221220392 1074788427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3318 2366 1111 63 0 3255 0
vsize: 13272
[startup+160.007 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 21671
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 69622 0 0 0 15810 189 0 0 25 0 1 0 903973495 12193792 2276 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2977 2276 1111 63 0 2914 0
vsize: 11908
[startup+170.008 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 21671
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 75926 0 0 0 16794 206 0 0 25 0 1 0 903973495 12304384 2331 4294967295 134512640 134716908 3221224576 3221221680 1074139048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3004 2331 1111 63 0 2941 0
vsize: 12016
[startup+180.007 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 21671
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 83850 0 0 0 17773 227 0 0 25 0 1 0 903973495 13832192 2426 4294967295 134512640 134716908 3221224576 3221220548 1074786571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3377 2426 1111 63 0 3314 0
vsize: 13508
[startup+190.007 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 21671
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 88939 0 0 0 18759 241 0 0 25 0 1 0 903973495 15171584 2897 4294967295 134512640 134716908 3221224576 3221221152 1076050067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3704 2897 1111 63 0 3641 0
vsize: 14816
[startup+200.008 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 93356 0 0 0 19748 252 0 0 25 0 1 0 903973495 12935168 2489 4294967295 134512640 134716908 3221224576 3221223168 134543735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3158 2489 1111 63 0 3095 0
vsize: 12632
[startup+210.007 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 96203 0 0 0 20742 258 0 0 25 0 1 0 903973495 14626816 2623 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3571 2623 1111 63 0 3508 0
vsize: 14284
[startup+220.008 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 100929 0 0 0 21729 272 0 0 25 0 1 0 903973495 14798848 2819 4294967295 134512640 134716908 3221224576 3221220508 1074788162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2819 1111 63 0 3550 0
vsize: 14452
[startup+230.008 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 104970 0 0 0 22718 283 0 0 25 0 1 0 903973495 14548992 2748 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3552 2748 1111 63 0 3489 0
vsize: 14208
[startup+240.008 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 108192 0 0 0 23711 290 0 0 25 0 1 0 903973495 14970880 2780 4294967295 134512640 134716908 3221224576 3221221388 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3655 2780 1111 63 0 3592 0
vsize: 14620
[startup+250.008 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 111025 0 0 0 24704 297 0 0 25 0 1 0 903973495 14741504 2607 4294967295 134512640 134716908 3221224576 3221221232 1075969311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3599 2607 1111 63 0 3536 0
vsize: 14396
[startup+260.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 114804 0 0 0 25694 308 0 0 25 0 1 0 903973495 15572992 2993 4294967295 134512640 134716908 3221224576 3221220544 1075965232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3802 2993 1111 63 0 3739 0
vsize: 15208
[startup+270.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 118309 0 0 0 26685 316 0 0 25 0 1 0 903973495 15200256 2914 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3711 2914 1111 63 0 3648 0
vsize: 14844
[startup+280.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 121522 0 0 0 27678 324 0 0 25 0 1 0 903973495 15331328 2929 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3743 2930 1111 63 0 3680 0
vsize: 14972
[startup+290.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 124979 0 0 0 28670 332 0 0 25 0 1 0 903973495 13795328 2641 4294967295 134512640 134716908 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3368 2641 1111 63 0 3305 0
vsize: 13472
[startup+300.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 128815 0 0 0 29660 342 0 0 25 0 1 0 903973495 13467648 2619 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3288 2619 1111 63 0 3225 0
vsize: 13152
[startup+310.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 133188 0 0 0 30650 352 0 0 25 0 1 0 903973495 13484032 2623 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3292 2623 1111 63 0 3229 0
vsize: 13168
[startup+320.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 138078 0 0 0 31638 365 0 0 25 0 1 0 903973495 15179776 2762 4294967295 134512640 134716908 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3706 2762 1111 63 0 3643 0
vsize: 14824
[startup+330.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 142003 0 0 0 32627 376 0 0 25 0 1 0 903973495 15192064 2925 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3709 2925 1111 63 0 3646 0
vsize: 14836
[startup+340.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 145341 0 0 0 33619 384 0 0 25 0 1 0 903973495 15568896 3010 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3801 3010 1111 63 0 3738 0
vsize: 15204
[startup+350.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 148571 0 0 0 34613 390 0 0 25 0 1 0 903973495 15462400 3026 4294967295 134512640 134716908 3221224576 3221221168 1074885997 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3775 3026 1111 63 0 3712 0
vsize: 15100
[startup+360.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 152008 0 0 0 35605 399 0 0 25 0 1 0 903973495 13832192 2708 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3377 2708 1111 63 0 3314 0
vsize: 13508
[startup+370.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 155294 0 0 0 36597 406 0 0 25 0 1 0 903973495 13803520 2701 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3370 2701 1111 63 0 3307 0
vsize: 13480
[startup+380.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 158340 0 0 0 37591 413 0 0 25 0 1 0 903973495 14217216 2796 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2796 1111 63 0 3408 0
vsize: 13884
[startup+390.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 162356 0 0 0 38582 422 0 0 25 0 1 0 903973495 16121856 3105 4294967295 134512640 134716908 3221224576 3221220736 1075095374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3936 3105 1111 63 0 3873 0
vsize: 15744
[startup+400.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 165845 0 0 0 39574 430 0 0 25 0 1 0 903973495 13656064 2665 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3334 2665 1111 63 0 3271 0
vsize: 13336
[startup+410.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 170306 0 0 0 40560 444 0 0 25 0 1 0 903973495 13705216 2655 4294967295 134512640 134716908 3221224576 3221222564 1077378674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3346 2655 1111 63 0 3283 0
vsize: 13384
[startup+420.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 174405 0 0 0 41549 456 0 0 25 0 1 0 903973495 15253504 2906 4294967295 134512640 134716908 3221224576 3221221616 1075971404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2906 1111 63 0 3661 0
vsize: 14896
[startup+430.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 177813 0 0 0 42540 464 0 0 25 0 1 0 903973495 13889536 2722 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3391 2722 1111 63 0 3328 0
vsize: 13564
[startup+440.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 181762 0 0 0 43530 475 0 0 25 0 1 0 903973495 14057472 2731 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3432 2731 1111 63 0 3369 0
vsize: 13728
[startup+450.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 185433 0 0 0 44519 487 0 0 25 0 1 0 903973495 15900672 3072 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3882 3072 1111 63 0 3819 0
vsize: 15528
[startup+460.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 190449 0 0 0 45505 500 0 0 25 0 1 0 903973495 15294464 2906 4294967295 134512640 134716908 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3734 2906 1111 63 0 3671 0
vsize: 14936
[startup+470.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21673
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 194416 0 0 0 46495 510 0 0 25 0 1 0 903973495 16101376 3118 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3931 3118 1111 63 0 3868 0
vsize: 15724
[startup+480.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 198816 0 0 0 47484 521 0 0 25 0 1 0 903973495 14147584 2785 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3454 2785 1111 63 0 3391 0
vsize: 13816
[startup+490.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 202700 0 0 0 48474 531 0 0 25 0 1 0 903973495 14184448 2792 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3463 2792 1111 63 0 3400 0
vsize: 13852
[startup+500.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 206827 0 0 0 49461 545 0 0 25 0 1 0 903973495 14155776 2787 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3456 2787 1111 63 0 3393 0
vsize: 13824
[startup+510.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 210352 0 0 0 50453 553 0 0 25 0 1 0 903973495 16142336 2964 4294967295 134512640 134716908 3221224576 3221221232 1075967705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3941 2964 1111 63 0 3878 0
vsize: 15764
[startup+520.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 213583 0 0 0 51444 562 0 0 25 0 1 0 903973495 15835136 3035 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3866 3035 1111 63 0 3803 0
vsize: 15464
[startup+530.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 217363 0 0 0 52434 573 0 0 25 0 1 0 903973495 16130048 2916 4294967295 134512640 134716908 3221224576 3221220608 1075965311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3938 2916 1111 63 0 3875 0
vsize: 15752
[startup+540.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 221439 0 0 0 53425 582 0 0 25 0 1 0 903973495 15990784 3073 4294967295 134512640 134716908 3221224576 3221220804 1075114969 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3904 3073 1111 63 0 3841 0
vsize: 15616
[startup+550.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 225657 0 0 0 54414 593 0 0 25 0 1 0 903973495 15896576 3041 4294967295 134512640 134716908 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3881 3041 1111 63 0 3818 0
vsize: 15524
[startup+560.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 230041 0 0 0 55404 603 0 0 25 0 1 0 903973495 14495744 2870 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2870 1111 63 0 3476 0
vsize: 14156
[startup+570.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 234951 0 0 0 56390 617 0 0 25 0 1 0 903973495 14716928 2924 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3593 2924 1111 63 0 3530 0
vsize: 14372
[startup+580.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 239650 0 0 0 57378 630 0 0 25 0 1 0 903973495 16367616 3007 4294967295 134512640 134716908 3221224576 3221221520 1074620248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3996 3007 1111 63 0 3933 0
vsize: 15984
[startup+590.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 243900 0 0 0 58367 641 0 0 25 0 1 0 903973495 14807040 2946 4294967295 134512640 134716908 3221224576 3221222916 1074206924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3615 2946 1111 63 0 3552 0
vsize: 14460
[startup+600.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 248761 0 0 0 59354 654 0 0 25 0 1 0 903973495 16744448 3109 4294967295 134512640 134716908 3221224576 3221221620 1074846128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4088 3109 1111 63 0 4025 0
vsize: 16352
[startup+610.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 253068 0 0 0 60344 665 0 0 25 0 1 0 903973495 14921728 2969 4294967295 134512640 134716908 3221224576 3221222720 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3643 2969 1111 63 0 3580 0
vsize: 14572
[startup+620.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 257223 0 0 0 61334 674 0 0 25 0 1 0 903973495 16523264 3072 4294967295 134512640 134716908 3221224576 3221221648 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4034 3072 1111 63 0 3971 0
vsize: 16136
[startup+630.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 260922 0 0 0 62325 683 0 0 25 0 1 0 903973495 15118336 3022 4294967295 134512640 134716908 3221224576 3221222928 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3691 3022 1111 63 0 3628 0
vsize: 14764
[startup+640.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 264671 0 0 0 63316 692 0 0 25 0 1 0 903973495 17371136 3306 4294967295 134512640 134716908 3221224576 3221220936 1075115857 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4241 3306 1111 63 0 4178 0
vsize: 16964
[startup+650.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 267445 0 0 0 64308 699 0 0 25 0 1 0 903973495 17281024 3236 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4219 3236 1111 63 0 4156 0
vsize: 16876
[startup+660.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 270270 0 0 0 65301 706 0 0 25 0 1 0 903973495 16949248 3345 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4138 3345 1111 63 0 4075 0
vsize: 16552
[startup+670.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 273397 0 0 0 66293 715 0 0 25 0 1 0 903973495 16711680 3124 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4080 3124 1111 63 0 4017 0
vsize: 16320
[startup+680.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 277278 0 0 0 67281 727 0 0 25 0 1 0 903973495 15323136 3072 4294967295 134512640 134716908 3221224576 3221222572 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3741 3072 1111 63 0 3678 0
vsize: 14964
[startup+690.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 281287 0 0 0 68270 738 0 0 25 0 1 0 903973495 16519168 3187 4294967295 134512640 134716908 3221224576 3221220676 1075964248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4033 3187 1111 63 0 3970 0
vsize: 16132
[startup+700.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 286259 0 0 0 69255 753 0 0 25 0 1 0 903973495 15630336 3128 4294967295 134512640 134716908 3221224576 3221222880 1074039235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3816 3128 1111 63 0 3753 0
vsize: 15264
[startup+710.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 290041 0 0 0 70247 762 0 0 25 0 1 0 903973495 17203200 3238 4294967295 134512640 134716908 3221224576 3221220380 1074787819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 3238 1111 63 0 4137 0
vsize: 16800
[startup+720.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 293788 0 0 0 71237 772 0 0 25 0 1 0 903973495 17649664 3353 4294967295 134512640 134716908 3221224576 3221220848 1074961191 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4309 3353 1111 63 0 4246 0
vsize: 17236
[startup+730.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 297397 0 0 0 72227 781 0 0 25 0 1 0 903973495 15654912 3153 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3822 3153 1111 63 0 3759 0
vsize: 15288
[startup+740.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 301306 0 0 0 73217 792 0 0 25 0 1 0 903973495 17285120 3230 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4220 3230 1111 63 0 4157 0
vsize: 16880
[startup+750.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 304877 0 0 0 74208 801 0 0 25 0 1 0 903973495 17518592 3452 4294967295 134512640 134716908 3221224576 3221221104 1075397173 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4277 3452 1111 63 0 4214 0
vsize: 17108
[startup+760.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 308278 0 0 0 75199 810 0 0 25 0 1 0 903973495 15675392 3158 4294967295 134512640 134716908 3221224576 3221222692 1075963254 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3827 3158 1111 63 0 3764 0
vsize: 15308
[startup+770.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 312559 0 0 0 76188 821 0 0 25 0 1 0 903973495 17641472 3292 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4307 3292 1111 63 0 4244 0
vsize: 17228
[startup+780.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 317271 0 0 0 77175 834 0 0 25 0 1 0 903973495 17440768 3389 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4258 3389 1111 63 0 4195 0
vsize: 17032
[startup+790.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 321860 0 0 0 78161 848 0 0 25 0 1 0 903973495 15757312 3178 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3847 3178 1111 63 0 3784 0
vsize: 15388
[startup+800.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 326431 0 0 0 79148 861 0 0 25 0 1 0 903973495 16023552 3243 4294967295 134512640 134716908 3221224576 3221222952 1073987081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3912 3243 1111 63 0 3849 0
vsize: 15648
[startup+810.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 330023 0 0 0 80137 872 0 0 25 0 1 0 903973495 16330752 3318 4294967295 134512640 134716908 3221224576 3221223248 134528617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3987 3318 1111 63 0 3924 0
vsize: 15948
[startup+820.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 333105 0 0 0 81129 880 0 0 25 0 1 0 903973495 18075648 3581 4294967295 134512640 134716908 3221224576 3221220540 1074788201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4413 3581 1111 63 0 4350 0
vsize: 17652
[startup+830.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 338399 0 0 0 82114 896 0 0 25 0 1 0 903973495 17178624 3301 4294967295 134512640 134716908 3221224576 3221222136 1075338741 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4194 3301 1111 63 0 4131 0
vsize: 16776
[startup+840.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 342271 0 0 0 83103 907 0 0 25 0 1 0 903973495 16240640 3296 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3965 3296 1111 63 0 3902 0
vsize: 15860
[startup+850.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 345410 0 0 0 84094 916 0 0 25 0 1 0 903973495 16400384 3335 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4004 3335 1111 63 0 3941 0
vsize: 16016
[startup+860.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 348743 0 0 0 85086 924 0 0 25 0 1 0 903973495 18059264 3461 4294967295 134512640 134716908 3221224576 3221221212 1075041189 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4409 3461 1111 63 0 4346 0
vsize: 17636
[startup+870.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 353655 0 0 0 86073 937 0 0 25 0 1 0 903973495 18038784 3377 4294967295 134512640 134716908 3221224576 3221220444 1074787819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4404 3377 1111 63 0 4341 0
vsize: 17616
[startup+880.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 357950 0 0 0 87063 947 0 0 25 0 1 0 903973495 16654336 3382 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4066 3382 1111 63 0 4003 0
vsize: 16264
[startup+890.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 363026 0 0 0 88049 962 0 0 25 0 1 0 903973495 16953344 3445 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4139 3445 1111 63 0 4076 0
vsize: 16556
[startup+900.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 366896 0 0 0 89039 971 0 0 25 0 1 0 903973495 19001344 3690 4294967295 134512640 134716908 3221224576 3221220720 1074970171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4639 3690 1111 63 0 4576 0
vsize: 18556
[startup+910.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 370199 0 0 0 90031 979 0 0 25 0 1 0 903973495 19333120 3747 4294967295 134512640 134716908 3221224576 3221221648 1074867311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4720 3747 1111 63 0 4657 0
vsize: 18880
[startup+920.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 374384 0 0 0 91019 991 0 0 25 0 1 0 903973495 17059840 3496 4294967295 134512640 134716908 3221224576 3221222752 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4165 3496 1111 63 0 4102 0
vsize: 16660
[startup+930.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 377590 0 0 0 92011 1000 0 0 25 0 1 0 903973495 18960384 3818 4294967295 134512640 134716908 3221224576 3221220676 1075964258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4629 3818 1111 63 0 4566 0
vsize: 18516
[startup+940.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 380211 0 0 0 93005 1006 0 0 25 0 1 0 903973495 19132416 3661 4294967295 134512640 134716908 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4671 3661 1111 63 0 4608 0
vsize: 18684
[startup+950.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 384021 0 0 0 93993 1018 0 0 25 0 1 0 903973495 18759680 3599 4294967295 134512640 134716908 3221224576 3221221232 1075967695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4580 3599 1111 63 0 4517 0
vsize: 18320
[startup+960.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 388704 0 0 0 94980 1031 0 0 25 0 1 0 903973495 17498112 3603 4294967295 134512640 134716908 3221224576 3221222168 1077377885 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4272 3603 1111 63 0 4209 0
vsize: 17088
[startup+970.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 392907 0 0 0 95969 1042 0 0 25 0 1 0 903973495 17653760 3626 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4310 3626 1111 63 0 4247 0
vsize: 17240
[startup+980.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 397988 0 0 0 96957 1054 0 0 25 0 1 0 903973495 17899520 3675 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4370 3675 1111 63 0 4307 0
vsize: 17480
[startup+990.038 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 400966 0 0 0 97949 1062 0 0 25 0 1 0 903973495 20201472 4108 4294967295 134512640 134716908 3221224576 3221220736 1075095387 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4932 4108 1111 63 0 4869 0
vsize: 19728
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 403795 0 0 0 98942 1069 0 0 25 0 1 0 903973495 19693568 3998 4294967295 134512640 134716908 3221224576 3221220848 1074960868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4808 3998 1111 63 0 4745 0
vsize: 19232
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 406642 0 0 0 99936 1076 0 0 25 0 1 0 903973495 20262912 4128 4294967295 134512640 134716908 3221224576 3221220676 1075964227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4947 4128 1111 63 0 4884 0
vsize: 19788
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 409090 0 0 0 100930 1082 0 0 25 0 1 0 903973495 17735680 3661 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4330 3661 1111 63 0 4267 0
vsize: 17320
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 411849 0 0 0 101923 1089 0 0 25 0 1 0 903973495 19566592 4004 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4777 4004 1111 63 0 4714 0
vsize: 19108
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 415013 0 0 0 102914 1097 0 0 25 0 1 0 903973495 17735680 3661 4294967295 134512640 134716908 3221224576 3221222488 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4330 3661 1111 63 0 4267 0
vsize: 17320
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 420003 0 0 0 103900 1111 0 0 25 0 1 0 903973495 19329024 3895 4294967295 134512640 134716908 3221224576 3221221496 1074950119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4719 3895 1111 63 0 4656 0
vsize: 18876
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 423261 0 0 0 104892 1120 0 0 25 0 1 0 903973495 18219008 3748 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4448 3748 1111 63 0 4385 0
vsize: 17792
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 425864 0 0 0 105885 1126 0 0 25 0 1 0 903973495 19943424 4060 4294967295 134512640 134716908 3221224576 3221220784 1074815170 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4869 4060 1111 63 0 4806 0
vsize: 19476
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 429333 0 0 0 106877 1135 0 0 25 0 1 0 903973495 19955712 3932 4294967295 134512640 134716908 3221224576 3221220848 1074960868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4872 3932 1111 63 0 4809 0
vsize: 19488
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 433562 0 0 0 107867 1145 0 0 25 0 1 0 903973495 17952768 3714 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4383 3714 1111 63 0 4320 0
vsize: 17532
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 436444 0 0 0 108859 1152 0 0 25 0 1 0 903973495 19939328 4076 4294967295 134512640 134716908 3221224576 3221220544 1075965240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4868 4076 1111 63 0 4805 0
vsize: 19472
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 440138 0 0 0 109851 1161 0 0 25 0 1 0 903973495 20631552 4205 4294967295 134512640 134716908 3221224576 3221220544 1074872805 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5037 4205 1111 63 0 4974 0
vsize: 20148
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 443128 0 0 0 110843 1169 0 0 25 0 1 0 903973495 20021248 3894 4294967295 134512640 134716908 3221224576 3221221576 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4888 3894 1111 63 0 4825 0
vsize: 19552
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 446557 0 0 0 111835 1177 0 0 25 0 1 0 903973495 20127744 3977 4294967295 134512640 134716908 3221224576 3221220380 1074787511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3977 1111 63 0 4851 0
vsize: 19656
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 450582 0 0 0 112825 1187 0 0 25 0 1 0 903973495 18014208 3729 4294967295 134512640 134716908 3221224576 3221223224 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3729 1111 63 0 4335 0
vsize: 17592
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 455420 0 0 0 113814 1199 0 0 25 0 1 0 903973495 18354176 3795 4294967295 134512640 134716908 3221224576 3221222964 1077374149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4481 3795 1111 63 0 4418 0
vsize: 17924
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 461309 0 0 0 114798 1214 0 0 25 0 1 0 903973495 19935232 3843 4294967295 134512640 134716908 3221224576 3221221344 1076083429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4867 3843 1111 63 0 4804 0
vsize: 19468
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 467183 0 0 0 115781 1231 0 0 25 0 1 0 903973495 18526208 3822 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4523 3822 1111 63 0 4460 0
vsize: 18092
[startup+1175.15 s]
Raw data (loadavg): 1.00 0.98 0.91 1/53 21675
Raw data (stat): 21618 (bsolo_lpr_cuts-) R 21617 7266 7265 0 -1 0 467183 0 0 0 115781 1231 0 0 25 0 1 0 903973495 18526208 3822 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4523 3822 1111 63 0 4460 0
vsize: 0

Child status: 10
Real time (s): 1175.15
CPU time (s): 1175.23
CPU user time (s): 1162.85
CPU system time (s): 12.3811
CPU usage (%): 100.007
Max. virtual memory (Kb): 20148
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	257
#### END VERIFIER DATA ####