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/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pk1.opb
MD5SUM	b6007187ad037f56a5e2b97a0b86cea8
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5120
Optimality of the best value was proved	NO
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	2421502
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.03
Number of variables	675
Total number of constraints	100
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	55
Number of constraints which are nor clauses,nor cardinality constraints	45
Minimum length of a constraint	1
Maximum length of a constraint	95
Trace number 40431

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 09:56:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28487 boxname=wulflinc2 idbench=1443 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  b6007187ad037f56a5e2b97a0b86cea8  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-pk1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-pk1.opb
IDLAUNCH: 28487
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        906700 kB
Buffers:          8416 kB
Cached:          97424 kB
SwapCached:       1328 kB
Active:          22788 kB
Inactive:        85084 kB
HighTotal:      131008 kB
HighFree:        58408 kB
LowTotal:       903652 kB
LowFree:        848292 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4976 kB
Slab:            14180 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 10:16:13 (client local time) WITH STATUS 0 IN 1175.32 SECONDS
stats: 28487 7 1175.32 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 675 variables and 60 constraints.
c After prepocess the problem consists of 675 variables and 60 constraints.
c preprocess terminated 0.251 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.03025
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.3 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.94 1/54 8290
Raw data (stat): 8290 (runsolver) R 8289 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900728130 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.96 0.94 2/54 8290
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 4647 0 0 0 981 16 0 0 25 0 1 0 900728130 9146368 1538 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2233 1538 1111 63 0 2170 0
vsize: 8932
[startup+20.001 s]
Raw data (loadavg): 0.94 0.96 0.94 2/54 8290
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 8270 0 0 0 1961 35 0 0 25 0 1 0 900728130 9641984 1651 4294967295 134512640 134716908 3221224576 3221222688 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2354 1651 1111 63 0 2291 0
vsize: 9416
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 8290
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 13061 0 0 0 2945 52 0 0 25 0 1 0 900728130 10682368 1909 4294967295 134512640 134716908 3221224576 3221223080 134543023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2608 1909 1111 63 0 2545 0
vsize: 10432
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 8290
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 18118 0 0 0 3928 69 0 0 25 0 1 0 900728130 11780096 2150 4294967295 134512640 134716908 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2876 2150 1111 63 0 2813 0
vsize: 11504
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 8290
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 22612 0 0 0 4910 87 0 0 25 0 1 0 900728130 11993088 2234 4294967295 134512640 134716908 3221224576 3221222712 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2928 2234 1111 63 0 2865 0
vsize: 11712
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 8290
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 27729 0 0 0 5894 103 0 0 25 0 1 0 900728130 12615680 2383 4294967295 134512640 134716908 3221224576 3221222860 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3080 2383 1111 63 0 3017 0
vsize: 12320
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 8290
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 33115 0 0 0 6879 118 0 0 25 0 1 0 900728130 13611008 2569 4294967295 134512640 134716908 3221224576 3221220804 1075115051 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3323 2569 1111 63 0 3260 0
vsize: 13292
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 8290
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 41771 0 0 0 7855 143 0 0 25 0 1 0 900728130 13623296 2618 4294967295 134512640 134716908 3221224576 3221222160 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3326 2618 1111 63 0 3263 0
vsize: 13304
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 8290
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 47830 0 0 0 8840 158 0 0 25 0 1 0 900728130 13549568 2616 4294967295 134512640 134716908 3221224576 3221222516 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3308 2616 1111 63 0 3245 0
vsize: 13232
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 8290
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 53900 0 0 0 9825 173 0 0 25 0 1 0 900728130 14168064 2707 4294967295 134512640 134716908 3221224576 3221221548 1077410225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2707 1111 63 0 3396 0
vsize: 13836
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 8290
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 59768 0 0 0 10812 187 0 0 25 0 1 0 900728130 13819904 2683 4294967295 134512640 134716908 3221224576 3221222400 1075824332 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2683 1111 63 0 3311 0
vsize: 13496
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8290
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 64816 0 0 0 11799 200 0 0 25 0 1 0 900728130 14229504 2783 4294967295 134512640 134716908 3221224576 3221223292 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3474 2783 1111 63 0 3411 0
vsize: 13896
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8290
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 69294 0 0 0 12789 209 0 0 25 0 1 0 900728130 14950400 2886 4294967295 134512640 134716908 3221224576 3221220720 1074969463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3650 2886 1111 63 0 3587 0
vsize: 14600
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8290
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 74166 0 0 0 13777 222 0 0 25 0 1 0 900728130 14516224 2825 4294967295 134512640 134716908 3221224576 3221222640 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3544 2825 1111 63 0 3481 0
vsize: 14176
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8290
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 80390 0 0 0 14759 240 0 0 25 0 1 0 900728130 14618624 2878 4294967295 134512640 134716908 3221224576 3221222544 1074247419 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2878 1111 63 0 3506 0
vsize: 14276
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8290
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 87151 0 0 0 15741 258 0 0 25 0 1 0 900728130 14888960 2944 4294967295 134512640 134716908 3221224576 3221222344 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3635 2944 1111 63 0 3572 0
vsize: 14540
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8290
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 95005 0 0 0 16720 279 0 0 25 0 1 0 900728130 15708160 3068 4294967295 134512640 134716908 3221224576 3221221496 1074950108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3835 3068 1111 63 0 3772 0
vsize: 15340
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8290
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 104446 0 0 0 17694 306 0 0 25 0 1 0 900728130 15470592 3083 4294967295 134512640 134716908 3221224576 3221223216 134651140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3777 3083 1111 63 0 3714 0
vsize: 15108
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8290
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 114679 0 0 0 18668 332 0 0 25 0 1 0 900728130 15724544 3148 4294967295 134512640 134716908 3221224576 3221222576 1074916918 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3839 3148 1111 63 0 3776 0
vsize: 15356
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8290
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 125172 0 0 0 19638 362 0 0 25 0 1 0 900728130 16199680 3264 4294967295 134512640 134716908 3221224576 3221222592 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3955 3264 1111 63 0 3892 0
vsize: 15820
[startup+210.019 s]
Raw data (loadavg): 1.07 0.99 0.94 2/56 8331
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 134821 0 0 0 20611 390 0 0 25 0 1 0 900728130 16318464 3288 4294967295 134512640 134716908 3221224576 3221222536 1074138271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3984 3288 1111 63 0 3921 0
vsize: 15936
[startup+220.089 s]
Raw data (loadavg): 1.06 0.99 0.94 2/54 8343
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 143863 0 0 0 21591 417 0 0 25 0 1 0 900728130 16539648 3347 4294967295 134512640 134716908 3221224576 3221222744 1077377501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4038 3347 1111 63 0 3975 0
vsize: 16152
[startup+230.089 s]
Raw data (loadavg): 1.05 0.99 0.94 2/54 8343
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 155641 0 0 0 22557 452 0 0 25 0 1 0 900728130 17211392 3372 4294967295 134512640 134716908 3221224576 3221221696 1074832772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4118 3370 1111 63 0 4055 0
vsize: 16808
[startup+240.106 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 8343
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 164667 0 0 0 23535 475 0 0 25 0 1 0 900728130 17350656 3477 4294967295 134512640 134716908 3221224576 3221220848 1074961129 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4236 3477 1111 63 0 4173 0
vsize: 16944
[startup+250.105 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 8343
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 174327 0 0 0 24509 501 0 0 25 0 1 0 900728130 17104896 3485 4294967295 134512640 134716908 3221224576 3221222400 1073986737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4176 3485 1111 63 0 4113 0
vsize: 16704
[startup+260.106 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 8343
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 184099 0 0 0 25483 527 0 0 25 0 1 0 900728130 17338368 3542 4294967295 134512640 134716908 3221224576 3221222576 1074918482 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4233 3542 1111 63 0 4170 0
vsize: 16932
[startup+270.106 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 8343
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 193121 0 0 0 26462 549 0 0 25 0 1 0 900728130 17723392 3636 4294967295 134512640 134716908 3221224576 3221223024 1074039267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4327 3636 1111 63 0 4264 0
vsize: 17308
[startup+280.106 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 202295 0 0 0 27436 574 0 0 25 0 1 0 900728130 17842176 3665 4294967295 134512640 134716908 3221224576 3221222624 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4356 3665 1111 63 0 4293 0
vsize: 17424
[startup+290.106 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 209855 0 0 0 28417 593 0 0 25 0 1 0 900728130 18919424 3837 4294967295 134512640 134716908 3221224576 3221221168 1074888172 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4619 3837 1111 63 0 4556 0
vsize: 18476
[startup+300.106 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 218024 0 0 0 29396 614 0 0 25 0 1 0 900728130 18276352 3765 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4462 3765 1111 63 0 4399 0
vsize: 17848
[startup+310.106 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 225902 0 0 0 30375 636 0 0 25 0 1 0 900728130 18321408 3782 4294967295 134512640 134716908 3221224576 3221222408 1077378127 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4473 3782 1111 63 0 4410 0
vsize: 17892
[startup+320.106 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 234162 0 0 0 31353 658 0 0 25 0 1 0 900728130 18632704 3822 4294967295 134512640 134716908 3221224576 3221222400 1075823389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4549 3822 1111 63 0 4486 0
vsize: 18196
[startup+330.106 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 241590 0 0 0 32333 677 0 0 25 0 1 0 900728130 18972672 3872 4294967295 134512640 134716908 3221224576 3221220736 1074794582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4632 3872 1111 63 0 4569 0
vsize: 18528
[startup+340.106 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 249069 0 0 0 33314 697 0 0 25 0 1 0 900728130 18735104 3881 4294967295 134512640 134716908 3221224576 3221223368 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4574 3881 1111 63 0 4511 0
vsize: 18296
[startup+350.106 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 255609 0 0 0 34296 715 0 0 25 0 1 0 900728130 18845696 3908 4294967295 134512640 134716908 3221224576 3221223416 134558582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4599 3908 1111 63 0 4536 0
vsize: 18404
[startup+360.107 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 262253 0 0 0 35278 733 0 0 25 0 1 0 900728130 18907136 3925 4294967295 134512640 134716908 3221224576 3221222544 1074153687 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4616 3925 1111 63 0 4553 0
vsize: 18464
[startup+370.107 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 268819 0 0 0 36260 752 0 0 25 0 1 0 900728130 19087360 3966 4294967295 134512640 134716908 3221224576 3221222624 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4660 3966 1111 63 0 4597 0
vsize: 18640
[startup+380.107 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 276374 0 0 0 37239 773 0 0 25 0 1 0 900728130 19197952 3996 4294967295 134512640 134716908 3221224576 3221222224 1075818295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4687 3996 1111 63 0 4624 0
vsize: 18748
[startup+390.107 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 283552 0 0 0 38219 793 0 0 25 0 1 0 900728130 19292160 4019 4294967295 134512640 134716908 3221224576 3221222040 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4710 4019 1111 63 0 4647 0
vsize: 18840
[startup+400.108 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 290977 0 0 0 39200 812 0 0 25 0 1 0 900728130 19398656 4045 4294967295 134512640 134716908 3221224576 3221222216 1077378730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4736 4045 1111 63 0 4673 0
vsize: 18944
[startup+410.108 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 298424 0 0 0 40179 833 0 0 25 0 1 0 900728130 20062208 4124 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4898 4124 1111 63 0 4835 0
vsize: 19592
[startup+420.108 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 306005 0 0 0 41159 853 0 0 25 0 1 0 900728130 20406272 4193 4294967295 134512640 134716908 3221224576 3221220840 1074950108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4982 4193 1111 63 0 4919 0
vsize: 19928
[startup+430.108 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 310530 0 0 0 42148 865 0 0 25 0 1 0 900728130 20385792 4216 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4977 4216 1111 63 0 4914 0
vsize: 19908
[startup+440.109 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 316469 0 0 0 43135 878 0 0 25 0 1 0 900728130 20561920 4228 4294967295 134512640 134716908 3221224576 3221221520 1074620241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5020 4228 1111 63 0 4957 0
vsize: 20080
[startup+450.108 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 322475 0 0 0 44119 893 0 0 25 0 1 0 900728130 20213760 4206 4294967295 134512640 134716908 3221224576 3221222496 1075799732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4935 4206 1111 63 0 4872 0
vsize: 19740
[startup+460.109 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 329490 0 0 0 45101 912 0 0 25 0 1 0 900728130 20697088 4286 4294967295 134512640 134716908 3221224576 3221220544 1074872793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5053 4286 1111 63 0 4990 0
vsize: 20212
[startup+470.11 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 337932 0 0 0 46078 936 0 0 25 0 1 0 900728130 20434944 4296 4294967295 134512640 134716908 3221224576 3221222440 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4989 4296 1111 63 0 4926 0
vsize: 19956
[startup+480.11 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 346621 0 0 0 47056 957 0 0 25 0 1 0 900728130 21413888 4431 4294967295 134512640 134716908 3221224576 3221220736 1075091291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5228 4431 1111 63 0 5165 0
vsize: 20912
[startup+490.11 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 356511 0 0 0 48029 984 0 0 25 0 1 0 900728130 21368832 4450 4294967295 134512640 134716908 3221224576 3221220912 1075114268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5217 4450 1111 63 0 5154 0
vsize: 20868
[startup+500.111 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 366711 0 0 0 49003 1011 0 0 25 0 1 0 900728130 21118976 4465 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5156 4465 1111 63 0 5093 0
vsize: 20624
[startup+510.112 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 376932 0 0 0 49977 1038 0 0 25 0 1 0 900728130 21995520 4599 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5370 4599 1111 63 0 5307 0
vsize: 21480
[startup+520.111 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 384911 0 0 0 50957 1057 0 0 25 0 1 0 900728130 21835776 4642 4294967295 134512640 134716908 3221224576 3221222256 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5331 4642 1111 63 0 5268 0
vsize: 21324
[startup+530.111 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 393670 0 0 0 51934 1080 0 0 25 0 1 0 900728130 22261760 4746 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5435 4746 1111 63 0 5372 0
vsize: 21740
[startup+540.112 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 401179 0 0 0 52916 1099 0 0 25 0 1 0 900728130 22831104 4847 4294967295 134512640 134716908 3221224576 3221222508 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4847 1111 63 0 5511 0
vsize: 22296
[startup+550.111 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 406608 0 0 0 53901 1114 0 0 25 0 1 0 900728130 23785472 5114 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5807 5114 1111 63 0 5744 0
vsize: 23228
[startup+560.112 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 412827 0 0 0 54884 1131 0 0 25 0 1 0 900728130 22908928 4904 4294967295 134512640 134716908 3221224576 3221223464 134589133 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5593 4904 1111 63 0 5530 0
vsize: 22372
[startup+570.113 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 419415 0 0 0 55867 1148 0 0 25 0 1 0 900728130 23384064 5020 4294967295 134512640 134716908 3221224576 3221222336 1074053214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5709 5020 1111 63 0 5646 0
vsize: 22836
[startup+580.113 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8345
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 425164 0 0 0 56853 1162 0 0 25 0 1 0 900728130 24367104 5255 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5949 5255 1111 63 0 5886 0
vsize: 23796
[startup+590.113 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 431618 0 0 0 57837 1179 0 0 25 0 1 0 900728130 23560192 5063 4294967295 134512640 134716908 3221224576 3221222840 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5752 5063 1111 63 0 5689 0
vsize: 23008
[startup+600.113 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 438861 0 0 0 58818 1198 0 0 25 0 1 0 900728130 24940544 5343 4294967295 134512640 134716908 3221224576 3221220792 1074950119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6089 5343 1111 63 0 6026 0
vsize: 24356
[startup+610.113 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 445608 0 0 0 59801 1215 0 0 25 0 1 0 900728130 24412160 5239 4294967295 134512640 134716908 3221224576 3221222576 1074918944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5960 5239 1111 63 0 5897 0
vsize: 23840
[startup+620.113 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 451387 0 0 0 60787 1229 0 0 25 0 1 0 900728130 23871488 5139 4294967295 134512640 134716908 3221224576 3221222632 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5828 5139 1111 63 0 5765 0
vsize: 23312
[startup+630.113 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 456890 0 0 0 61773 1243 0 0 25 0 1 0 900728130 23965696 5162 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5851 5162 1111 63 0 5788 0
vsize: 23404
[startup+640.114 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 464014 0 0 0 62756 1261 0 0 25 0 1 0 900728130 24719360 5251 4294967295 134512640 134716908 3221224576 3221220720 1074969122 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6035 5251 1111 63 0 5972 0
vsize: 24140
[startup+650.113 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 469087 0 0 0 63745 1271 0 0 25 0 1 0 900728130 24248320 5231 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5920 5231 1111 63 0 5857 0
vsize: 23680
[startup+660.114 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 476076 0 0 0 64730 1286 0 0 25 0 1 0 900728130 24293376 5242 4294967295 134512640 134716908 3221224576 3221222496 1074146256 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5931 5242 1111 63 0 5868 0
vsize: 23724
[startup+670.115 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 483511 0 0 0 65712 1305 0 0 25 0 1 0 900728130 24526848 5299 4294967295 134512640 134716908 3221224576 3221222768 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5988 5299 1111 63 0 5925 0
vsize: 23952
[startup+680.116 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 489415 0 0 0 66698 1319 0 0 25 0 1 0 900728130 24621056 5322 4294967295 134512640 134716908 3221224576 3221222400 1074050818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6011 5322 1111 63 0 5948 0
vsize: 24044
[startup+690.116 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 495729 0 0 0 67682 1335 0 0 25 0 1 0 900728130 26030080 5565 4294967295 134512640 134716908 3221224576 3221220704 1075112383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6355 5565 1111 63 0 6292 0
vsize: 25420
[startup+700.116 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 502310 0 0 0 68666 1352 0 0 25 0 1 0 900728130 25587712 5460 4294967295 134512640 134716908 3221224576 3221221752 1074207825 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6247 5460 1111 63 0 6184 0
vsize: 24988
[startup+710.116 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 507912 0 0 0 69652 1366 0 0 25 0 1 0 900728130 25133056 5447 4294967295 134512640 134716908 3221224576 3221222832 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6136 5447 1111 63 0 6073 0
vsize: 24544
[startup+720.116 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 513518 0 0 0 70639 1379 0 0 25 0 1 0 900728130 25149440 5451 4294967295 134512640 134716908 3221224576 3221222928 1074142751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6140 5451 1111 63 0 6077 0
vsize: 24560
[startup+730.116 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 519087 0 0 0 71625 1393 0 0 25 0 1 0 900728130 25862144 5532 4294967295 134512640 134716908 3221224576 3221220784 1074815281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6314 5532 1111 63 0 6251 0
vsize: 25256
[startup+740.117 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 525070 0 0 0 72612 1406 0 0 25 0 1 0 900728130 25640960 5568 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6260 5568 1111 63 0 6197 0
vsize: 25040
[startup+750.118 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 531056 0 0 0 73598 1420 0 0 25 0 1 0 900728130 26034176 5578 4294967295 134512640 134716908 3221224576 3221221104 1074884804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6356 5578 1111 63 0 6293 0
vsize: 25424
[startup+760.118 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 536316 0 0 0 74586 1432 0 0 25 0 1 0 900728130 25632768 5569 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6258 5569 1111 63 0 6195 0
vsize: 25032
[startup+770.118 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 540937 0 0 0 75575 1444 0 0 25 0 1 0 900728130 26296320 5637 4294967295 134512640 134716908 3221224576 3221220944 1075894549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6420 5637 1111 63 0 6357 0
vsize: 25680
[startup+780.118 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 547130 0 0 0 76559 1460 0 0 25 0 1 0 900728130 26517504 5662 4294967295 134512640 134716908 3221224576 3221220736 1075093818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6474 5662 1111 63 0 6411 0
vsize: 25896
[startup+790.118 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 552367 0 0 0 77548 1471 0 0 25 0 1 0 900728130 26853376 5784 4294967295 134512640 134716908 3221224576 3221220848 1074961183 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6556 5784 1111 63 0 6493 0
vsize: 26224
[startup+800.118 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 556950 0 0 0 78535 1484 0 0 25 0 1 0 900728130 26173440 5665 4294967295 134512640 134716908 3221224576 3221222304 1075828508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6390 5665 1111 63 0 6327 0
vsize: 25560
[startup+810.119 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 561921 0 0 0 79525 1495 0 0 25 0 1 0 900728130 26955776 5810 4294967295 134512640 134716908 3221224576 3221220544 1074872816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5810 1111 63 0 6518 0
vsize: 26324
[startup+820.119 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 566915 0 0 0 80513 1507 0 0 25 0 1 0 900728130 26173440 5676 4294967295 134512640 134716908 3221224576 3221222384 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6390 5676 1111 63 0 6327 0
vsize: 25560
[startup+830.119 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 572182 0 0 0 81500 1520 0 0 25 0 1 0 900728130 26603520 5710 4294967295 134512640 134716908 3221224576 3221220648 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6495 5710 1111 63 0 6432 0
vsize: 25980
[startup+840.119 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 578259 0 0 0 82485 1535 0 0 25 0 1 0 900728130 26259456 5722 4294967295 134512640 134716908 3221224576 3221222496 1075799503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6411 5722 1111 63 0 6348 0
vsize: 25644
[startup+850.12 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 583762 0 0 0 83471 1549 0 0 25 0 1 0 900728130 27213824 5876 4294967295 134512640 134716908 3221224576 3221220720 1074969598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6644 5876 1111 63 0 6581 0
vsize: 26576
[startup+860.12 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 589035 0 0 0 84459 1562 0 0 25 0 1 0 900728130 27893760 6035 4294967295 134512640 134716908 3221224576 3221220588 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6810 6035 1111 63 0 6747 0
vsize: 27240
[startup+870.121 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 594856 0 0 0 85443 1578 0 0 25 0 1 0 900728130 26431488 5764 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6453 5764 1111 63 0 6390 0
vsize: 25812
[startup+880.121 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 601621 0 0 0 86425 1597 0 0 25 0 1 0 900728130 26537984 5790 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6479 5790 1111 63 0 6416 0
vsize: 25916
[startup+890.121 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 607915 0 0 0 87409 1612 0 0 25 0 1 0 900728130 27095040 5908 4294967295 134512640 134716908 3221224576 3221222640 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6615 5908 1111 63 0 6552 0
vsize: 26460
[startup+900.121 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 613667 0 0 0 88395 1627 0 0 25 0 1 0 900728130 27885568 5986 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6808 5986 1111 63 0 6745 0
vsize: 27232
[startup+910.122 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 618991 0 0 0 89381 1641 0 0 25 0 1 0 900728130 28295168 6115 4294967295 134512640 134716908 3221224576 3221220460 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6908 6115 1111 63 0 6845 0
vsize: 27632
[startup+920.122 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 623925 0 0 0 90369 1653 0 0 25 0 1 0 900728130 27734016 5974 4294967295 134512640 134716908 3221224576 3221220576 1074787314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6771 5974 1111 63 0 6708 0
vsize: 27084
[startup+930.122 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 629554 0 0 0 91355 1668 0 0 25 0 1 0 900728130 27201536 5934 4294967295 134512640 134716908 3221224576 3221222576 1074918319 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6641 5934 1111 63 0 6578 0
vsize: 26564
[startup+940.123 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 636145 0 0 0 92338 1685 0 0 25 0 1 0 900728130 27860992 5999 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6802 5999 1111 63 0 6739 0
vsize: 27208
[startup+950.122 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 643041 0 0 0 93319 1704 0 0 25 0 1 0 900728130 27414528 5986 4294967295 134512640 134716908 3221224576 3221222544 1075809065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6693 5986 1111 63 0 6630 0
vsize: 26772
[startup+960.123 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 647622 0 0 0 94308 1715 0 0 25 0 1 0 900728130 28323840 6105 4294967295 134512640 134716908 3221224576 3221221648 1074867331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6915 6105 1111 63 0 6852 0
vsize: 27660
[startup+970.124 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 653202 0 0 0 95295 1728 0 0 25 0 1 0 900728130 27721728 6061 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6768 6061 1111 63 0 6705 0
vsize: 27072
[startup+980.124 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 657800 0 0 0 96284 1740 0 0 25 0 1 0 900728130 29233152 6363 4294967295 134512640 134716908 3221224576 3221220848 1074961207 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7137 6363 1111 63 0 7074 0
vsize: 28548
[startup+990.124 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 662349 0 0 0 97273 1751 0 0 25 0 1 0 900728130 27729920 6038 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6770 6038 1111 63 0 6707 0
vsize: 27080
[startup+1000.12 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 667702 0 0 0 98261 1763 0 0 25 0 1 0 900728130 27729920 6063 4294967295 134512640 134716908 3221224576 3221223292 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6770 6063 1111 63 0 6707 0
vsize: 27080
[startup+1010.12 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 672329 0 0 0 99249 1775 0 0 25 0 1 0 900728130 28442624 6123 4294967295 134512640 134716908 3221224576 3221221168 1074886329 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6944 6123 1111 63 0 6881 0
vsize: 27776
[startup+1020.12 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 677112 0 0 0 100237 1787 0 0 25 0 1 0 900728130 28209152 6091 4294967295 134512640 134716908 3221224576 3221221568 1075110388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6887 6091 1111 63 0 6824 0
vsize: 27548
[startup+1030.13 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 681721 0 0 0 101226 1798 0 0 25 0 1 0 900728130 28545024 6156 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6969 6156 1111 63 0 6906 0
vsize: 27876
[startup+1040.13 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 687018 0 0 0 102214 1811 0 0 25 0 1 0 900728130 27725824 6062 4294967295 134512640 134716908 3221224576 3221222384 1074052131 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6769 6062 1111 63 0 6706 0
vsize: 27076
[startup+1050.13 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 692136 0 0 0 103202 1823 0 0 25 0 1 0 900728130 27881472 6072 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6807 6072 1111 63 0 6744 0
vsize: 27228
[startup+1060.13 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 697938 0 0 0 104188 1837 0 0 25 0 1 0 900728130 27799552 6080 4294967295 134512640 134716908 3221224576 3221222488 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6787 6080 1111 63 0 6724 0
vsize: 27148
[startup+1070.13 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 704043 0 0 0 105173 1852 0 0 25 0 1 0 900728130 28696576 6190 4294967295 134512640 134716908 3221224576 3221221600 1074619528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7006 6190 1111 63 0 6943 0
vsize: 28024
[startup+1080.13 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 709517 0 0 0 106159 1866 0 0 25 0 1 0 900728130 28696576 6184 4294967295 134512640 134716908 3221224576 3221220572 1074788201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7006 6184 1111 63 0 6943 0
vsize: 28024
[startup+1090.13 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 715420 0 0 0 107144 1882 0 0 25 0 1 0 900728130 27926528 6111 4294967295 134512640 134716908 3221224576 3221223200 134652452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6111 1111 63 0 6755 0
vsize: 27272
[startup+1100.13 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 721446 0 0 0 108127 1899 0 0 25 0 1 0 900728130 28250112 6190 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6897 6190 1111 63 0 6834 0
vsize: 27588
[startup+1110.13 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 726786 0 0 0 109114 1912 0 0 25 0 1 0 900728130 28004352 6122 4294967295 134512640 134716908 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6871 6122 1111 63 0 6808 0
vsize: 27348
[startup+1120.13 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 731969 0 0 0 110099 1927 0 0 25 0 1 0 900728130 28012544 6132 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6839 6132 1111 63 0 6776 0
vsize: 27356
[startup+1130.13 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 736883 0 0 0 111087 1940 0 0 25 0 1 0 900728130 29061120 6315 4294967295 134512640 134716908 3221224576 3221220680 1074788597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7095 6315 1111 63 0 7032 0
vsize: 28380
[startup+1140.13 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 741152 0 0 0 112075 1951 0 0 25 0 1 0 900728130 28090368 6151 4294967295 134512640 134716908 3221224576 3221222592 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6858 6151 1111 63 0 6795 0
vsize: 27432
[startup+1150.13 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 746679 0 0 0 113062 1964 0 0 25 0 1 0 900728130 29192192 6236 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7127 6236 1111 63 0 7064 0
vsize: 28508
[startup+1160.13 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 751526 0 0 0 114050 1977 0 0 25 0 1 0 900728130 28385280 6211 4294967295 134512640 134716908 3221224576 3221222576 1074918288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6930 6211 1111 63 0 6867 0
vsize: 27720
[startup+1170.13 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 755659 0 0 0 115040 1987 0 0 25 0 1 0 900728130 28123136 6159 4294967295 134512640 134716908 3221224576 3221222864 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6866 6159 1111 63 0 6803 0
vsize: 27464
[startup+1175.17 s]
Raw data (loadavg): 1.00 0.99 0.94 1/53 8347
Raw data (stat): 8290 (bsolo_lpr-v2) R 8289 31399 31398 0 -1 0 755659 0 0 0 115040 1987 0 0 25 0 1 0 900728130 28123136 6159 4294967295 134512640 134716908 3221224576 3221222864 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6866 6159 1111 63 0 6803 0
vsize: 0

Child status: 0
Real time (s): 1175.17
CPU time (s): 1175.32
CPU user time (s): 1155.37
CPU system time (s): 19.951
CPU usage (%): 100.013
Max. virtual memory (Kb): 28548
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####