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-ii32c2.opb
MD5SUM	b78d16df5ec546c41fce5f9f07c0fd92
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	207
Optimality of the best value was proved	NO
Number of terms in the objective function	498
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	498
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	498
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.03184
Number of variables	498
Total number of constraints	2431
Number of constraints which are clauses	2431
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 23897

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-06 03:04:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1360 boxname=wulflinc31 idbench=152 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  b78d16df5ec546c41fce5f9f07c0fd92  /oldhome/oroussel/tmp/wulflinc31/normalized-ii32c2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ii32c2.opb
IDLAUNCH: 1360
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        155440 kB
Buffers:         35676 kB
Cached:         809328 kB
SwapCached:        644 kB
Active:         483148 kB
Inactive:       364212 kB
HighTotal:      131008 kB
HighFree:        12180 kB
LowTotal:       903652 kB
LowFree:        143260 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:             220 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26348 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-06 03:25:29 (client local time) WITH STATUS 10 IN 1175.04 SECONDS
stats: 1360 0 1175.04 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 498 variables and 2431 constraints.
c After prepocess the problem consists of 498 variables and 2431 constraints.
c preprocess terminated 3.075 s
c Initial Lower Bound: 158
c Lower Bound Elapsed time: 1.30662
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 249 @ 14.184
c NEW SOLUTION FOUND: 248 @ 14.191
c NEW SOLUTION FOUND: 247 @ 14.197
c NEW SOLUTION FOUND: 246 @ 14.204
c NEW SOLUTION FOUND: 245 @ 14.211
c NEW SOLUTION FOUND: 244 @ 14.218
c NEW SOLUTION FOUND: 243 @ 28.228
c NEW SOLUTION FOUND: 241 @ 44.882
c NEW SOLUTION FOUND: 228 @ 81.013
c NEW SOLUTION FOUND: 219 @ 140.069
c NEW SOLUTION FOUND: 218 @ 140.421
c NEW SOLUTION FOUND: 217 @ 748.608
c NEW SOLUTION FOUND: 216 @ 912.663
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 
c Exit Code: 10
c Total time: 1175.02 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.92 2/54 20775
Raw data (stat): 20775 (runsolver) R 20774 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 671295367 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.98 0.92 2/54 20775
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 5204 0 0 0 978 17 0 0 25 0 1 0 671295367 9568256 1648 4294967295 134512640 134714508 3221221792 3221220032 1075006839 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2336 1648 1111 63 0 2273 0
vsize: 9344
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 20775
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 8311 0 0 0 1971 24 0 0 25 0 1 0 671295367 9289728 1592 4294967295 134512640 134714508 3221221792 3221220000 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2268 1592 1111 63 0 2205 0
vsize: 9072
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 20775
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 11150 0 0 0 2964 32 0 0 25 0 1 0 671295367 10223616 1608 4294967295 134512640 134714508 3221221792 3221218448 1075967753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2496 1608 1111 63 0 2433 0
vsize: 9984
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 20775
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 16131 0 0 0 3950 45 0 0 25 0 1 0 671295367 9289728 1592 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2268 1592 1111 63 0 2205 0
vsize: 9072
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 20775
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 20373 0 0 0 4938 58 0 0 25 0 1 0 671295367 10412032 1633 4294967295 134512640 134714508 3221221792 3221218560 1076084143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2542 1633 1111 63 0 2479 0
vsize: 10168
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 20775
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 23798 0 0 0 5929 67 0 0 25 0 1 0 671295367 10412032 1643 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2542 1643 1111 63 0 2479 0
vsize: 10168
[startup+70.0017 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 20775
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 28764 0 0 0 6915 81 0 0 25 0 1 0 671295367 10412032 1638 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2542 1638 1111 63 0 2479 0
vsize: 10168
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 20775
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 32418 0 0 0 7905 91 0 0 25 0 1 0 671295367 9289728 1599 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2268 1599 1111 63 0 2205 0
vsize: 9072
[startup+90.0026 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 39261 0 0 0 8890 107 0 0 25 0 1 0 671295367 10412032 1633 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2542 1633 1111 63 0 2479 0
vsize: 10168
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 42715 0 0 0 9879 117 0 0 25 0 1 0 671295367 10412032 1631 4294967295 134512640 134714508 3221221792 3221218032 1075115768 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2542 1631 1111 63 0 2479 0
vsize: 10168
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 45886 0 0 0 10871 126 0 0 25 0 1 0 671295367 9289728 1599 4294967295 134512640 134714508 3221221792 3221219772 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2268 1599 1111 63 0 2205 0
vsize: 9072
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 49258 0 0 0 11861 136 0 0 25 0 1 0 671295367 10551296 1665 4294967295 134512640 134714508 3221221792 3221218864 1074867305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2576 1665 1111 63 0 2513 0
vsize: 10304
[startup+130.003 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 53280 0 0 0 12850 147 0 0 25 0 1 0 671295367 10727424 1738 4294967295 134512640 134714508 3221221792 3221218912 1074834317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2619 1738 1111 63 0 2556 0
vsize: 10476
[startup+140.003 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 57334 0 0 0 13839 158 0 0 25 0 1 0 671295367 10076160 1663 4294967295 134512640 134714508 3221221792 3221217760 1075965248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2460 1663 1111 63 0 2397 0
vsize: 9840
[startup+150.005 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 63894 0 0 0 14822 175 0 0 25 0 1 0 671295367 10076160 1673 4294967295 134512640 134714508 3221221792 3221218128 1075114277 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2460 1673 1111 63 0 2397 0
vsize: 9840
[startup+160.004 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 67924 0 0 0 15810 187 0 0 25 0 1 0 671295367 9326592 1608 4294967295 134512640 134714508 3221221792 3221219136 1074839104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2277 1608 1111 63 0 2214 0
vsize: 9108
[startup+170.004 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 72539 0 0 0 16796 201 0 0 25 0 1 0 671295367 10727424 1675 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2619 1675 1111 63 0 2556 0
vsize: 10476
[startup+180.005 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 76861 0 0 0 17785 212 0 0 25 0 1 0 671295367 10747904 1680 4294967295 134512640 134714508 3221221792 3221217952 1075091081 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2624 1680 1111 63 0 2561 0
vsize: 10496
[startup+190.006 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 81354 0 0 0 18774 224 0 0 25 0 1 0 671295367 10731520 1682 4294967295 134512640 134714508 3221221792 3221218712 1075964745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2620 1682 1111 63 0 2557 0
vsize: 10480
[startup+200.006 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 85798 0 0 0 19762 236 0 0 25 0 1 0 671295367 9601024 1650 4294967295 134512640 134714508 3221221792 3221219520 1075828615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2344 1650 1111 63 0 2281 0
vsize: 9376
[startup+210.006 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 90092 0 0 0 20750 248 0 0 25 0 1 0 671295367 10817536 1700 4294967295 134512640 134714508 3221221792 3221218348 1073956184 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2641 1700 1111 63 0 2578 0
vsize: 10564
[startup+220.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 93993 0 0 0 21740 259 0 0 25 0 1 0 671295367 9662464 1690 4294967295 134512640 134714508 3221221792 3221220448 134536724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2359 1690 1111 63 0 2296 0
vsize: 9436
[startup+230.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 98254 0 0 0 22729 270 0 0 25 0 1 0 671295367 10821632 1729 4294967295 134512640 134714508 3221221792 3221218020 1075115095 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2642 1729 1111 63 0 2579 0
vsize: 10568
[startup+240.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 101768 0 0 0 23719 280 0 0 25 0 1 0 671295367 10969088 1741 4294967295 134512640 134714508 3221221792 3221217936 1074969734 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2678 1741 1111 63 0 2615 0
vsize: 10712
[startup+250.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 105160 0 0 0 24711 288 0 0 25 0 1 0 671295367 9699328 1699 4294967295 134512640 134714508 3221221792 3221219712 1075799685 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2368 1699 1111 63 0 2305 0
vsize: 9472
[startup+260.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 108502 0 0 0 25701 298 0 0 25 0 1 0 671295367 10821632 1732 4294967295 134512640 134714508 3221221792 3221218836 1074846224 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2642 1732 1111 63 0 2579 0
vsize: 10568
[startup+270.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 112196 0 0 0 26690 309 0 0 25 0 1 0 671295367 11083776 1795 4294967295 134512640 134714508 3221221792 3221218960 1074820851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2706 1795 1111 63 0 2643 0
vsize: 10824
[startup+280.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 115618 0 0 0 27680 320 0 0 25 0 1 0 671295367 9699328 1699 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2368 1699 1111 63 0 2305 0
vsize: 9472
[startup+290.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 119821 0 0 0 28669 331 0 0 25 0 1 0 671295367 9715712 1703 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2372 1703 1111 63 0 2309 0
vsize: 9488
[startup+300.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 124253 0 0 0 29657 343 0 0 25 0 1 0 671295367 9699328 1699 4294967295 134512640 134714508 3221221792 3221220384 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2368 1699 1111 63 0 2305 0
vsize: 9472
[startup+310.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 129070 0 0 0 30643 357 0 0 25 0 1 0 671295367 9826304 1730 4294967295 134512640 134714508 3221221792 3221219952 1074050934 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2387 1718 1111 63 0 2324 0
vsize: 9596
[startup+320.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 133206 0 0 0 31632 368 0 0 25 0 1 0 671295367 10969088 1779 4294967295 134512640 134714508 3221221792 3221218332 1075006388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2678 1779 1111 63 0 2615 0
vsize: 10712
[startup+330.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 137518 0 0 0 32621 380 0 0 25 0 1 0 671295367 9863168 1739 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2408 1739 1111 63 0 2345 0
vsize: 9632
[startup+340.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 141372 0 0 0 33609 392 0 0 25 0 1 0 671295367 11239424 1838 4294967295 134512640 134714508 3221221792 3221217848 1074789584 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2744 1838 1111 63 0 2681 0
vsize: 10976
[startup+350.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 145591 0 0 0 34597 403 0 0 25 0 1 0 671295367 11231232 1831 4294967295 134512640 134714508 3221221792 3221217856 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2742 1831 1111 63 0 2679 0
vsize: 10968
[startup+360.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 149650 0 0 0 35587 414 0 0 25 0 1 0 671295367 9936896 1757 4294967295 134512640 134714508 3221221792 3221219932 1074138112 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1757 1111 63 0 2363 0
vsize: 9704
[startup+370.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 153367 0 0 0 36575 426 0 0 25 0 1 0 671295367 11141120 1823 4294967295 134512640 134714508 3221221792 3221218912 1074834737 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2720 1823 1111 63 0 2657 0
vsize: 10880
[startup+380.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 157332 0 0 0 37565 437 0 0 25 0 1 0 671295367 10002432 1773 4294967295 134512640 134714508 3221221792 3221220192 1074153812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2442 1773 1111 63 0 2379 0
vsize: 9768
[startup+390.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 160987 0 0 0 38554 447 0 0 25 0 1 0 671295367 11337728 1874 4294967295 134512640 134714508 3221221792 3221218560 1076084134 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1874 1111 63 0 2705 0
vsize: 11072
[startup+400.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 165817 0 0 0 39542 460 0 0 25 0 1 0 671295367 10043392 1783 4294967295 134512640 134714508 3221221792 3221220192 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2452 1783 1111 63 0 2389 0
vsize: 9808
[startup+410.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 169688 0 0 0 40533 469 0 0 25 0 1 0 671295367 11776000 1979 4294967295 134512640 134714508 3221221792 3221218304 1075084528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2875 1979 1111 63 0 2812 0
vsize: 11500
[startup+420.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 173152 0 0 0 41525 477 0 0 25 0 1 0 671295367 10084352 1793 4294967295 134512640 134714508 3221221792 3221219760 1075961120 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2462 1793 1111 63 0 2399 0
vsize: 9848
[startup+430.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 176519 0 0 0 42514 488 0 0 25 0 1 0 671295367 11366400 1851 4294967295 134512640 134714508 3221221792 3221217940 1075964386 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2775 1851 1111 63 0 2712 0
vsize: 11100
[startup+440.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 180004 0 0 0 43504 498 0 0 25 0 1 0 671295367 10067968 1789 4294967295 134512640 134714508 3221221792 3221220192 1074153753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2458 1789 1111 63 0 2395 0
vsize: 9832
[startup+450.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 184103 0 0 0 44494 509 0 0 25 0 1 0 671295367 10268672 1801 4294967295 134512640 134714508 3221221792 3221219520 1075831100 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2507 1801 1111 63 0 2444 0
vsize: 10028
[startup+460.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 188689 0 0 0 45482 521 0 0 25 0 1 0 671295367 10178560 1816 4294967295 134512640 134714508 3221221792 3221219760 1073987049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2485 1816 1111 63 0 2422 0
vsize: 9940
[startup+470.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 192633 0 0 0 46471 532 0 0 25 0 1 0 671295367 10264576 1837 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2506 1837 1111 63 0 2443 0
vsize: 10024
[startup+480.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 196946 0 0 0 47457 546 0 0 25 0 1 0 671295367 10264576 1837 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2506 1837 1111 63 0 2443 0
vsize: 10024
[startup+490.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 200723 0 0 0 48448 556 0 0 25 0 1 0 671295367 11436032 1868 4294967295 134512640 134714508 3221221792 3221217740 1074788980 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2792 1868 1111 63 0 2729 0
vsize: 11168
[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 204823 0 0 0 49437 567 0 0 25 0 1 0 671295367 10338304 1855 4294967295 134512640 134714508 3221221792 3221220000 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2524 1855 1111 63 0 2461 0
vsize: 10096
[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 209055 0 0 0 50423 580 0 0 25 0 1 0 671295367 11812864 1985 4294967295 134512640 134714508 3221221792 3221218772 1075964035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2884 1985 1111 63 0 2821 0
vsize: 11536
[startup+520.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 213279 0 0 0 51412 592 0 0 25 0 1 0 671295367 10801152 1927 4294967295 134512640 134714508 3221221792 3221220120 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2545 1876 1111 63 0 2482 0
vsize: 10548
[startup+530.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 217692 0 0 0 52399 605 0 0 25 0 1 0 671295367 10424320 1876 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2545 1876 1111 63 0 2482 0
vsize: 10180
[startup+540.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 221816 0 0 0 53387 617 0 0 25 0 1 0 671295367 10489856 1892 4294967295 134512640 134714508 3221221792 3221220076 1073987056 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2561 1892 1111 63 0 2498 0
vsize: 10244
[startup+550.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 225612 0 0 0 54379 626 0 0 25 0 1 0 671295367 10473472 1888 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2557 1888 1111 63 0 2494 0
vsize: 10228
[startup+560.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 229525 0 0 0 55368 637 0 0 25 0 1 0 671295367 10825728 1940 4294967295 134512640 134714508 3221221792 3221219520 1075828373 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2643 1940 1111 63 0 2580 0
vsize: 10572
[startup+570.017 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 233866 0 0 0 56358 647 0 0 25 0 1 0 671295367 11907072 1985 4294967295 134512640 134714508 3221221792 3221217920 1075561204 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2907 1985 1111 63 0 2844 0
vsize: 11628
[startup+580.017 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 239094 0 0 0 57346 659 0 0 25 0 1 0 671295367 10633216 1927 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2596 1927 1111 63 0 2533 0
vsize: 10384
[startup+590.017 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 246249 0 0 0 58328 677 0 0 25 0 1 0 671295367 11755520 1961 4294967295 134512640 134714508 3221221792 3221217848 1074789559 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2870 1961 1111 63 0 2807 0
vsize: 11480
[startup+600.018 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 251781 0 0 0 59314 691 0 0 25 0 1 0 671295367 10633216 1927 4294967295 134512640 134714508 3221221792 3221220192 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2596 1927 1111 63 0 2533 0
vsize: 10384
[startup+610.019 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 259864 0 0 0 60293 712 0 0 25 0 1 0 671295367 10633216 1927 4294967295 134512640 134714508 3221221792 3221220192 1074153794 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2596 1927 1111 63 0 2533 0
vsize: 10384
[startup+872.298 s]
Raw data (loadavg): 4.18 2.77 1.67 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 353983 0 0 0 75333 957 0 0 25 0 1 0 671295367 10993664 2016 4294967295 134512640 134714508 3221221792 3221219704 1074138271 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2684 2016 1111 63 0 2621 0
vsize: 10736
[startup+882.309 s]
Raw data (loadavg): 3.69 2.71 1.67 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 363734 0 0 0 76310 981 0 0 25 0 1 0 671295367 11743232 2070 4294967295 134512640 134714508 3221221792 3221217728 1075965256 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2867 2070 1111 63 0 2804 0
vsize: 11468
[startup+892.309 s]
Raw data (loadavg): 3.27 2.65 1.66 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 374345 0 0 0 77285 1006 0 0 25 0 1 0 671295367 11042816 2018 4294967295 134512640 134714508 3221221792 3221220420 1077374114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2696 2018 1111 63 0 2633 0
vsize: 10784
[startup+902.309 s]
Raw data (loadavg): 2.92 2.60 1.65 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 389604 0 0 0 78249 1042 0 0 25 0 1 0 671295367 11792384 2067 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2879 2067 1111 63 0 2816 0
vsize: 11516
[startup+912.309 s]
Raw data (loadavg): 2.63 2.54 1.64 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 407072 0 0 0 79207 1084 0 0 25 0 1 0 671295367 11792384 2024 4294967295 134512640 134714508 3221221792 3221218780 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2879 2024 1111 63 0 2816 0
vsize: 11516
[startup+922.309 s]
Raw data (loadavg): 2.38 2.49 1.63 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 426631 0 0 0 80163 1128 0 0 25 0 1 0 671295367 11792384 2071 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2879 2071 1111 63 0 2816 0
vsize: 11516
[startup+932.309 s]
Raw data (loadavg): 2.16 2.44 1.63 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 440766 0 0 0 81124 1167 0 0 25 0 1 0 671295367 11042816 2018 4294967295 134512640 134714508 3221221792 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2696 2018 1111 63 0 2633 0
vsize: 10784
[startup+942.309 s]
Raw data (loadavg): 1.99 2.39 1.62 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 458816 0 0 0 82081 1211 0 0 25 0 1 0 671295367 11042816 2018 4294967295 134512640 134714508 3221221792 3221220064 1074056018 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2696 2018 1111 63 0 2633 0
vsize: 10784
[startup+952.31 s]
Raw data (loadavg): 1.83 2.35 1.61 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 471894 0 0 0 83050 1242 0 0 25 0 1 0 671295367 11792384 2027 4294967295 134512640 134714508 3221221792 3221218912 1074834473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2696 2018 1111 63 0 2633 0
vsize: 11516
[startup+962.31 s]
Raw data (loadavg): 1.70 2.30 1.61 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 482916 0 0 0 84024 1268 0 0 25 0 1 0 671295367 11042816 2028 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2696 2028 1111 63 0 2633 0
vsize: 10784
[startup+972.31 s]
Raw data (loadavg): 1.60 2.26 1.60 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 491108 0 0 0 85003 1290 0 0 25 0 1 0 671295367 12165120 2047 4294967295 134512640 134714508 3221221792 3221218020 1075115141 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2970 2047 1111 63 0 2907 0
vsize: 11880
[startup+982.31 s]
Raw data (loadavg): 1.50 2.22 1.59 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 502742 0 0 0 85971 1321 0 0 25 0 1 0 671295367 11042816 2028 4294967295 134512640 134714508 3221221792 3221220176 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2696 2028 1111 63 0 2633 0
vsize: 10784
[startup+992.31 s]
Raw data (loadavg): 1.43 2.18 1.59 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 512936 0 0 0 86946 1347 0 0 25 0 1 0 671295367 11792384 2084 4294967295 134512640 134714508 3221221792 3221217728 1075965294 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2879 2084 1111 63 0 2816 0
vsize: 11516
[startup+1002.31 s]
Raw data (loadavg): 1.36 2.14 1.58 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 526578 0 0 0 87911 1382 0 0 25 0 1 0 671295367 11792384 2078 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2879 2078 1111 63 0 2816 0
vsize: 11516
[startup+1012.31 s]
Raw data (loadavg): 1.30 2.10 1.57 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 538479 0 0 0 88881 1412 0 0 25 0 1 0 671295367 11042816 2028 4294967295 134512640 134714508 3221221792 3221220104 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2696 2028 1111 63 0 2633 0
vsize: 10784
[startup+1022.31 s]
Raw data (loadavg): 1.26 2.06 1.57 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 553361 0 0 0 89846 1448 0 0 25 0 1 0 671295367 11792384 2088 4294967295 134512640 134714508 3221221792 3221218864 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2879 2088 1111 63 0 2816 0
vsize: 11516
[startup+1032.31 s]
Raw data (loadavg): 1.22 2.03 1.56 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 560370 0 0 0 90829 1463 0 0 25 0 1 0 671295367 12595200 2148 4294967295 134512640 134714508 3221221792 3221218064 1074961267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3075 2148 1111 63 0 3012 0
vsize: 12300
[startup+1042.31 s]
Raw data (loadavg): 1.18 1.99 1.55 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 564691 0 0 0 91817 1475 0 0 25 0 1 0 671295367 11042816 2028 4294967295 134512640 134714508 3221221792 3221219072 1074140013 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2696 2028 1111 63 0 2633 0
vsize: 10784
[startup+1052.31 s]
Raw data (loadavg): 1.15 1.96 1.55 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 568453 0 0 0 92806 1485 0 0 25 0 1 0 671295367 11042816 2028 4294967295 134512640 134714508 3221221792 3221220048 1074153673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2696 2028 1111 63 0 2633 0
vsize: 10784
[startup+1062.31 s]
Raw data (loadavg): 1.13 1.93 1.54 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 572902 0 0 0 93794 1498 0 0 25 0 1 0 671295367 12460032 2117 4294967295 134512640 134714508 3221221792 3221218128 1075113628 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3042 2117 1111 63 0 2979 0
vsize: 12168
[startup+1072.31 s]
Raw data (loadavg): 1.11 1.90 1.53 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 579151 0 0 0 94778 1514 0 0 25 0 1 0 671295367 11042816 2028 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2696 2028 1111 63 0 2633 0
vsize: 10784
[startup+1082.31 s]
Raw data (loadavg): 1.09 1.87 1.53 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 586590 0 0 0 95758 1534 0 0 25 0 1 0 671295367 11202560 2058 4294967295 134512640 134714508 3221221792 3221219792 1074917044 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2735 2058 1111 63 0 2672 0
vsize: 10940
[startup+1092.31 s]
Raw data (loadavg): 1.08 1.84 1.52 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 591598 0 0 0 96744 1549 0 0 25 0 1 0 671295367 12238848 2068 4294967295 134512640 134714508 3221221792 3221218856 1074845845 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2988 2068 1111 63 0 2925 0
vsize: 11952
[startup+1102.31 s]
Raw data (loadavg): 1.07 1.81 1.52 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 597448 0 0 0 97729 1564 0 0 25 0 1 0 671295367 12288000 2184 4294967295 134512640 134714508 3221221792 3221217952 1075091442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3000 2184 1111 63 0 2937 0
vsize: 12000
[startup+1112.31 s]
Raw data (loadavg): 1.06 1.78 1.51 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 602550 0 0 0 98717 1576 0 0 25 0 1 0 671295367 12316672 2081 4294967295 134512640 134714508 3221221792 3221218160 1075894538 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3007 2081 1111 63 0 2944 0
vsize: 12028
[startup+1122.32 s]
Raw data (loadavg): 1.05 1.76 1.50 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 607827 0 0 0 99703 1590 0 0 25 0 1 0 671295367 11288576 2062 4294967295 134512640 134714508 3221221792 3221219440 1075820877 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2756 2062 1111 63 0 2693 0
vsize: 11024
[startup+1132.31 s]
Raw data (loadavg): 1.04 1.73 1.50 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 612096 0 0 0 100692 1602 0 0 25 0 1 0 671295367 11137024 2051 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2719 2051 1111 63 0 2656 0
vsize: 10876
[startup+1142.31 s]
Raw data (loadavg): 1.03 1.71 1.49 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 619324 0 0 0 101672 1621 0 0 25 0 1 0 671295367 11161600 2057 4294967295 134512640 134714508 3221221792 3221220348 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2725 2057 1111 63 0 2662 0
vsize: 10900
[startup+1152.32 s]
Raw data (loadavg): 1.03 1.68 1.49 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 631650 0 0 0 102643 1650 0 0 25 0 1 0 671295367 11214848 2068 4294967295 134512640 134714508 3221221792 3221220084 1074248336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2738 2068 1111 63 0 2675 0
vsize: 10952
[startup+1162.32 s]
Raw data (loadavg): 1.02 1.66 1.48 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 638562 0 0 0 103626 1668 0 0 25 0 1 0 671295367 11206656 2068 4294967295 134512640 134714508 3221221792 3221220432 134649075 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2736 2068 1111 63 0 2673 0
vsize: 10944
[startup+1172.32 s]
Raw data (loadavg): 1.02 1.64 1.47 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 648087 0 0 0 104603 1691 0 0 25 0 1 0 671295367 11194368 2065 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2733 2065 1111 63 0 2670 0
vsize: 10932
[startup+1182.32 s]
Raw data (loadavg): 1.02 1.62 1.47 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 657915 0 0 0 105577 1718 0 0 25 0 1 0 671295367 12738560 2225 4294967295 134512640 134714508 3221221792 3221218912 1074834340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3110 2225 1111 63 0 3047 0
vsize: 12440
[startup+1192.32 s]
Raw data (loadavg): 1.01 1.59 1.46 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 661641 0 0 0 106566 1729 0 0 25 0 1 0 671295367 11309056 2093 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2761 2093 1111 63 0 2698 0
vsize: 11044
[startup+1202.32 s]
Raw data (loadavg): 1.01 1.57 1.46 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 665794 0 0 0 107556 1739 0 0 25 0 1 0 671295367 11243520 2077 4294967295 134512640 134714508 3221221792 3221219520 1075829534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2745 2077 1111 63 0 2682 0
vsize: 10980
[startup+1212.32 s]
Raw data (loadavg): 1.01 1.56 1.45 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 671234 0 0 0 108542 1753 0 0 25 0 1 0 671295367 11243520 2077 4294967295 134512640 134714508 3221221792 3221220000 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2745 2077 1111 63 0 2682 0
vsize: 10980
[startup+1222.32 s]
Raw data (loadavg): 1.01 1.54 1.45 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 675474 0 0 0 109532 1763 0 0 25 0 1 0 671295367 13012992 2272 4294967295 134512640 134714508 3221221792 3221217660 1074787739 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3177 2272 1111 63 0 3114 0
vsize: 12708
[startup+1232.32 s]
Raw data (loadavg): 1.00 1.52 1.44 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 680147 0 0 0 110520 1775 0 0 25 0 1 0 671295367 12967936 2271 4294967295 134512640 134714508 3221221792 3221218864 1074867270 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3166 2271 1111 63 0 3103 0
vsize: 12664
[startup+1242.32 s]
Raw data (loadavg): 1.00 1.50 1.44 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 684554 0 0 0 111511 1785 0 0 25 0 1 0 671295367 12685312 2167 4294967295 134512640 134714508 3221221792 3221217952 1074883539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3097 2167 1111 63 0 3034 0
vsize: 12388
[startup+1252.32 s]
Raw data (loadavg): 1.00 1.48 1.43 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 689075 0 0 0 112500 1796 0 0 25 0 1 0 671295367 11431936 2123 4294967295 134512640 134714508 3221221792 3221220192 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2791 2123 1111 63 0 2728 0
vsize: 11164
[startup+1262.32 s]
Raw data (loadavg): 1.00 1.47 1.43 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 693485 0 0 0 113489 1807 0 0 25 0 1 0 671295367 11517952 2144 4294967295 134512640 134714508 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2812 2144 1111 63 0 2749 0
vsize: 11248
[startup+1272.32 s]
Raw data (loadavg): 1.00 1.45 1.42 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 697539 0 0 0 114479 1817 0 0 25 0 1 0 671295367 11657216 2153 4294967295 134512640 134714508 3221221792 3221219440 1075817957 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2846 2153 1111 63 0 2783 0
vsize: 11384
[startup+1282.32 s]
Raw data (loadavg): 1.00 1.44 1.42 2/54 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 702134 0 0 0 115468 1829 0 0 25 0 1 0 671295367 11517952 2144 4294967295 134512640 134714508 3221221792 3221219832 1077377866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2812 2144 1111 63 0 2749 0
vsize: 11248
[startup+1284.39 s]
Raw data (loadavg): 1.00 1.44 1.42 1/53 20777
Raw data (stat): 20775 (bsolo_lpr) R 20774 7876 7672 0 -1 0 702134 0 0 0 115468 1829 0 0 25 0 1 0 671295367 11517952 2144 4294967295 134512640 134714508 3221221792 3221219832 1077377866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2812 2144 1111 63 0 2749 0
vsize: 0

Child status: 10
Real time (s): 1284.39
CPU time (s): 1175.04
CPU user time (s): 1156.73
CPU system time (s): 18.3172
CPU usage (%): 91.4864
Max. virtual memory (Kb): 12708
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	216
#### END VERIFIER DATA ####