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/miplib2003/normalized-mps-v2-13-7-pk1.opb
MD5SUM	9c5126d785c8d5465220e290c5fc25a6
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.04
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 40359

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 08:00:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28421 boxname=wulflinc2 idbench=1377 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  9c5126d785c8d5465220e290c5fc25a6  /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: 28421
/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:        745268 kB
Buffers:         22360 kB
Cached:         244764 kB
SwapCached:       1340 kB
Active:          25252 kB
Inactive:       243916 kB
HighTotal:      131008 kB
HighFree:        31192 kB
LowTotal:       903652 kB
LowFree:        714076 kB
SwapTotal:     2097136 kB
SwapFree:      2094732 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4976 kB
Slab:            14596 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 08:20:10 (client local time) WITH STATUS 0 IN 1175.5 SECONDS
stats: 28421 7 1175.5 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.259 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.02875
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.49 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.98 1.00 0.92 2/54 7476
Raw data (stat): 7476 (runsolver) R 7475 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900031691 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.0011 s]
Raw data (loadavg): 0.98 1.00 0.92 2/54 7476
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 4677 0 0 0 985 12 0 0 25 0 1 0 900031691 9310208 1541 4294967295 134512640 134716908 3221224576 3221221560 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2273 1541 1111 63 0 2210 0
vsize: 9092
[startup+20.0016 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7476
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 8320 0 0 0 1964 33 0 0 25 0 1 0 900031691 9691136 1656 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2366 1656 1111 63 0 2303 0
vsize: 9464
[startup+30.0019 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7476
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 13115 0 0 0 2950 46 0 0 25 0 1 0 900031691 10661888 1907 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2603 1907 1111 63 0 2540 0
vsize: 10412
[startup+40.0017 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 18299 0 0 0 3934 62 0 0 25 0 1 0 900031691 11972608 2172 4294967295 134512640 134716908 3221224576 3221220784 1074815276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2923 2172 1111 63 0 2860 0
vsize: 11692
[startup+50.0027 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 22855 0 0 0 4920 77 0 0 25 0 1 0 900031691 12226560 2263 4294967295 134512640 134716908 3221224576 3221220960 1074973172 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2985 2263 1111 63 0 2922 0
vsize: 11940
[startup+60.0034 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 28001 0 0 0 5903 94 0 0 25 0 1 0 900031691 12648448 2386 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3088 2386 1111 63 0 3025 0
vsize: 12352
[startup+70.0041 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 33459 0 0 0 6890 108 0 0 25 0 1 0 900031691 12857344 2447 4294967295 134512640 134716908 3221224576 3221222552 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3139 2447 1111 63 0 3076 0
vsize: 12556
[startup+80.0038 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 42119 0 0 0 7866 132 0 0 25 0 1 0 900031691 14430208 2715 4294967295 134512640 134716908 3221224576 3221221520 1074620235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3523 2715 1111 63 0 3460 0
vsize: 14092
[startup+90.0041 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 48319 0 0 0 8851 147 0 0 25 0 1 0 900031691 14028800 2654 4294967295 134512640 134716908 3221224576 3221220720 1074969754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3425 2654 1111 63 0 3362 0
vsize: 13700
[startup+100.005 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 54195 0 0 0 9836 162 0 0 25 0 1 0 900031691 14061568 2740 4294967295 134512640 134716908 3221224576 3221222576 1074918192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3433 2740 1111 63 0 3370 0
vsize: 13732
[startup+110.006 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 60406 0 0 0 10820 178 0 0 25 0 1 0 900031691 14356480 2738 4294967295 134512640 134716908 3221224576 3221220588 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3505 2738 1111 63 0 3442 0
vsize: 14020
[startup+120.007 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 65211 0 0 0 11808 190 0 0 25 0 1 0 900031691 14344192 2781 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3474 2781 1111 63 0 3411 0
vsize: 14008
[startup+130.006 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 69611 0 0 0 12798 201 0 0 25 0 1 0 900031691 14942208 2901 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3648 2901 1111 63 0 3585 0
vsize: 14592
[startup+140.007 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 74496 0 0 0 13784 215 0 0 25 0 1 0 900031691 14618624 2852 4294967295 134512640 134716908 3221224576 3221222400 1075823404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2852 1111 63 0 3506 0
vsize: 14276
[startup+150.007 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 80864 0 0 0 14769 231 0 0 25 0 1 0 900031691 14655488 2887 4294967295 134512640 134716908 3221224576 3221222576 1074056237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3578 2887 1111 63 0 3515 0
vsize: 14312
[startup+160.009 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 87621 0 0 0 15752 248 0 0 25 0 1 0 900031691 15335424 2977 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2977 1111 63 0 3681 0
vsize: 14976
[startup+170.009 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 95475 0 0 0 16733 267 0 0 25 0 1 0 900031691 15716352 3067 4294967295 134512640 134716908 3221224576 3221220848 1074961295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3837 3067 1111 63 0 3774 0
vsize: 15348
[startup+180.009 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 105245 0 0 0 17709 291 0 0 25 0 1 0 900031691 15495168 3086 4294967295 134512640 134716908 3221224576 3221222972 1074109715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 3086 1111 63 0 3720 0
vsize: 15132
[startup+190.009 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 115611 0 0 0 18684 317 0 0 25 0 1 0 900031691 15769600 3159 4294967295 134512640 134716908 3221224576 3221222688 1074867275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3850 3159 1111 63 0 3787 0
vsize: 15400
[startup+200.009 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 125865 0 0 0 19658 343 0 0 25 0 1 0 900031691 16199680 3264 4294967295 134512640 134716908 3221224576 3221222832 134652422 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.01 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 135625 0 0 0 20635 366 0 0 25 0 1 0 900031691 16330752 3291 4294967295 134512640 134716908 3221224576 3221222768 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3987 3291 1111 63 0 3924 0
vsize: 15948
[startup+220.011 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 144691 0 0 0 21611 390 0 0 25 0 1 0 900031691 16539648 3347 4294967295 134512640 134716908 3221224576 3221222688 1074153749 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.01 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 156474 0 0 0 22578 423 0 0 25 0 1 0 900031691 16670720 3379 4294967295 134512640 134716908 3221224576 3221222420 1077374123 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4070 3379 1111 63 0 4007 0
vsize: 16280
[startup+240.011 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 165436 0 0 0 23552 450 0 0 25 0 1 0 900031691 16936960 3444 4294967295 134512640 134716908 3221224576 3221222592 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4135 3444 1111 63 0 4072 0
vsize: 16540
[startup+250.011 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 175356 0 0 0 24528 473 0 0 25 0 1 0 900031691 17113088 3487 4294967295 134512640 134716908 3221224576 3221221856 1074140045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4178 3487 1111 63 0 4115 0
vsize: 16712
[startup+260.011 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 185110 0 0 0 25503 499 0 0 25 0 1 0 900031691 17338368 3542 4294967295 134512640 134716908 3221224576 3221222576 1074153822 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.011 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 194096 0 0 0 26481 521 0 0 25 0 1 0 900031691 17739776 3640 4294967295 134512640 134716908 3221224576 3221222536 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3640 1111 63 0 4268 0
vsize: 17324
[startup+280.01 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 203341 0 0 0 27456 546 0 0 25 0 1 0 900031691 18411520 3725 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4495 3725 1111 63 0 4432 0
vsize: 17980
[startup+290.011 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 210230 0 0 0 28436 566 0 0 25 0 1 0 900031691 18661376 3786 4294967295 134512640 134716908 3221224576 3221220704 1075112428 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4556 3786 1111 63 0 4493 0
vsize: 18224
[startup+300.011 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 218901 0 0 0 29414 589 0 0 25 0 1 0 900031691 18767872 3809 4294967295 134512640 134716908 3221224576 3221220720 1074970921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4582 3809 1111 63 0 4519 0
vsize: 18328
[startup+310.012 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 226745 0 0 0 30392 611 0 0 25 0 1 0 900031691 18321408 3782 4294967295 134512640 134716908 3221224576 3221222576 1074913901 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.013 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 234932 0 0 0 31369 634 0 0 25 0 1 0 900031691 18931712 3854 4294967295 134512640 134716908 3221224576 3221220780 1075564401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4622 3854 1111 63 0 4559 0
vsize: 18488
[startup+330.012 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 242300 0 0 0 32350 653 0 0 25 0 1 0 900031691 19042304 3877 4294967295 134512640 134716908 3221224576 3221220576 1074787314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4649 3877 1111 63 0 4586 0
vsize: 18596
[startup+340.012 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 249792 0 0 0 33332 671 0 0 25 0 1 0 900031691 19247104 3926 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4699 3926 1111 63 0 4636 0
vsize: 18796
[startup+350.012 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7478
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 256454 0 0 0 34313 691 0 0 25 0 1 0 900031691 19353600 3953 4294967295 134512640 134716908 3221224576 3221220620 1074873369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4725 3953 1111 63 0 4662 0
vsize: 18900
[startup+360.012 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 262929 0 0 0 35295 708 0 0 25 0 1 0 900031691 19427328 3975 4294967295 134512640 134716908 3221224576 3221220544 1074872820 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4743 3975 1111 63 0 4680 0
vsize: 18972
[startup+370.013 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 269626 0 0 0 36278 725 0 0 25 0 1 0 900031691 19525632 4009 4294967295 134512640 134716908 3221224576 3221220648 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4767 4009 1111 63 0 4704 0
vsize: 19068
[startup+380.013 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 277721 0 0 0 37259 745 0 0 25 0 1 0 900031691 19230720 4004 4294967295 134512640 134716908 3221224576 3221222544 1074146275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4695 4004 1111 63 0 4632 0
vsize: 18780
[startup+390.013 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 284537 0 0 0 38241 763 0 0 25 0 1 0 900031691 19677184 4052 4294967295 134512640 134716908 3221224576 3221220804 1075115003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4804 4052 1111 63 0 4741 0
vsize: 19216
[startup+400.013 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 292093 0 0 0 39222 782 0 0 25 0 1 0 900031691 19398656 4045 4294967295 134512640 134716908 3221224576 3221222528 1074153622 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.014 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 299427 0 0 0 40203 802 0 0 25 0 1 0 900031691 19636224 4089 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4794 4089 1111 63 0 4731 0
vsize: 19176
[startup+420.015 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 306551 0 0 0 41186 819 0 0 25 0 1 0 900031691 20217856 4146 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4936 4146 1111 63 0 4873 0
vsize: 19744
[startup+430.015 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 311080 0 0 0 42175 830 0 0 25 0 1 0 900031691 19947520 4164 4294967295 134512640 134716908 3221224576 3221222992 1074117068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4870 4164 1111 63 0 4807 0
vsize: 19480
[startup+440.015 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 317126 0 0 0 43160 846 0 0 25 0 1 0 900031691 20013056 4193 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4884 4193 1111 63 0 4821 0
vsize: 19544
[startup+450.014 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 323432 0 0 0 44143 863 0 0 25 0 1 0 900031691 20500480 4243 4294967295 134512640 134716908 3221224576 3221221052 1075006703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5005 4243 1111 63 0 4942 0
vsize: 20020
[startup+460.015 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 330394 0 0 0 45126 880 0 0 25 0 1 0 900031691 20197376 4240 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4931 4240 1111 63 0 4868 0
vsize: 19724
[startup+470.016 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 338873 0 0 0 46103 903 0 0 25 0 1 0 900031691 20905984 4341 4294967295 134512640 134716908 3221224576 3221220648 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5104 4341 1111 63 0 5041 0
vsize: 20416
[startup+480.016 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 347881 0 0 0 47080 926 0 0 25 0 1 0 900031691 20746240 4370 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5065 4370 1111 63 0 5002 0
vsize: 20260
[startup+490.016 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 357885 0 0 0 48054 952 0 0 25 0 1 0 900031691 21385216 4449 4294967295 134512640 134716908 3221224576 3221220540 1074860649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5221 4449 1111 63 0 5158 0
vsize: 20884
[startup+500.016 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 368014 0 0 0 49030 977 0 0 25 0 1 0 900031691 21180416 4480 4294967295 134512640 134716908 3221224576 3221222624 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5171 4480 1111 63 0 5108 0
vsize: 20684
[startup+510.016 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 377931 0 0 0 50004 1002 0 0 25 0 1 0 900031691 21495808 4557 4294967295 134512640 134716908 3221224576 3221221680 1074138961 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5355 4559 1111 63 0 5292 0
vsize: 20992
[startup+520.015 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 386048 0 0 0 50983 1024 0 0 25 0 1 0 900031691 21958656 4658 4294967295 134512640 134716908 3221224576 3221222000 1076059451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5361 4658 1111 63 0 5298 0
vsize: 21444
[startup+530.015 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 394759 0 0 0 51962 1045 0 0 25 0 1 0 900031691 22343680 4766 4294967295 134512640 134716908 3221224576 3221223292 134558620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5455 4766 1111 63 0 5392 0
vsize: 21820
[startup+540.016 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 401964 0 0 0 52943 1064 0 0 25 0 1 0 900031691 22671360 4846 4294967295 134512640 134716908 3221224576 3221222768 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5535 4846 1111 63 0 5472 0
vsize: 22140
[startup+550.015 s]
Raw data (loadavg): 1.11 1.03 0.93 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 407357 0 0 0 53930 1078 0 0 25 0 1 0 900031691 23769088 5104 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5803 5104 1111 63 0 5740 0
vsize: 23212
[startup+560.015 s]
Raw data (loadavg): 1.16 1.04 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 413905 0 0 0 54914 1093 0 0 25 0 1 0 900031691 22908928 4901 4294967295 134512640 134716908 3221224576 3221222320 1075636592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5593 4901 1111 63 0 5530 0
vsize: 22372
[startup+570.016 s]
Raw data (loadavg): 1.14 1.04 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 420285 0 0 0 55898 1110 0 0 25 0 1 0 900031691 23838720 5057 4294967295 134512640 134716908 3221224576 3221220944 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5820 5057 1111 63 0 5757 0
vsize: 23280
[startup+580.015 s]
Raw data (loadavg): 1.12 1.04 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 426315 0 0 0 56884 1124 0 0 25 0 1 0 900031691 23777280 5093 4294967295 134512640 134716908 3221224576 3221222672 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5805 5093 1111 63 0 5742 0
vsize: 23220
[startup+590.015 s]
Raw data (loadavg): 1.10 1.03 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 432750 0 0 0 57868 1140 0 0 25 0 1 0 900031691 25341952 5404 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6187 5405 1111 63 0 6124 0
vsize: 24748
[startup+600.015 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 440192 0 0 0 58848 1161 0 0 25 0 1 0 900031691 24371200 5164 4294967295 134512640 134716908 3221224576 3221220960 1074972874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5950 5166 1111 63 0 5887 0
vsize: 23800
[startup+610.015 s]
Raw data (loadavg): 1.07 1.03 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 446951 0 0 0 59831 1177 0 0 25 0 1 0 900031691 23920640 5151 4294967295 134512640 134716908 3221224576 3221222396 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5840 5151 1111 63 0 5777 0
vsize: 23360
[startup+620.015 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 452394 0 0 0 60817 1191 0 0 25 0 1 0 900031691 24932352 5326 4294967295 134512640 134716908 3221224576 3221220824 1075560705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6087 5326 1111 63 0 6024 0
vsize: 24348
[startup+630.014 s]
Raw data (loadavg): 1.05 1.03 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 458234 0 0 0 61802 1207 0 0 25 0 1 0 900031691 24117248 5163 4294967295 134512640 134716908 3221224576 3221222496 1075799816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5888 5163 1111 63 0 5825 0
vsize: 23552
[startup+640.015 s]
Raw data (loadavg): 1.04 1.03 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 465205 0 0 0 62786 1223 0 0 25 0 1 0 900031691 25329664 5403 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6184 5403 1111 63 0 6121 0
vsize: 24736
[startup+650.015 s]
Raw data (loadavg): 1.03 1.03 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 470361 0 0 0 63774 1236 0 0 25 0 1 0 900031691 24793088 5268 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6053 5268 1111 63 0 5990 0
vsize: 24212
[startup+660.014 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 478308 0 0 0 64755 1255 0 0 25 0 1 0 900031691 24891392 5259 4294967295 134512640 134716908 3221224576 3221221560 1074831409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6077 5264 1111 63 0 6014 0
vsize: 24308
[startup+670.015 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 485171 0 0 0 65739 1270 0 0 25 0 1 0 900031691 24526848 5299 4294967295 134512640 134716908 3221224576 3221223216 134651142 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.015 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 491132 0 0 0 66722 1288 0 0 25 0 1 0 900031691 24801280 5366 4294967295 134512640 134716908 3221224576 3221222768 1074153690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6055 5366 1111 63 0 5992 0
vsize: 24220
[startup+690.015 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 497217 0 0 0 67707 1302 0 0 25 0 1 0 900031691 25800704 5506 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6299 5506 1111 63 0 6236 0
vsize: 25196
[startup+700.015 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 504080 0 0 0 68692 1318 0 0 25 0 1 0 900031691 25497600 5510 4294967295 134512640 134716908 3221224576 3221222304 1075828615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6225 5510 1111 63 0 6162 0
vsize: 24900
[startup+710.015 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 509351 0 0 0 69679 1331 0 0 25 0 1 0 900031691 25915392 5513 4294967295 134512640 134716908 3221224576 3221220804 1075115073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6327 5513 1111 63 0 6264 0
vsize: 25308
[startup+720.015 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 514763 0 0 0 70665 1345 0 0 25 0 1 0 900031691 25632768 5537 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6258 5537 1111 63 0 6195 0
vsize: 25032
[startup+730.014 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 520269 0 0 0 71654 1357 0 0 25 0 1 0 900031691 25862144 5534 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6314 5534 1111 63 0 6251 0
vsize: 25256
[startup+740.014 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 526160 0 0 0 72638 1372 0 0 25 0 1 0 900031691 25415680 5516 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6205 5516 1111 63 0 6142 0
vsize: 24820
[startup+750.014 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 532091 0 0 0 73624 1387 0 0 25 0 1 0 900031691 25481216 5532 4294967295 134512640 134716908 3221224576 3221222448 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6221 5532 1111 63 0 6158 0
vsize: 24884
[startup+760.014 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 537370 0 0 0 74609 1402 0 0 25 0 1 0 900031691 26759168 5792 4294967295 134512640 134716908 3221224576 3221220544 1074873134 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6533 5792 1111 63 0 6470 0
vsize: 26132
[startup+770.014 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 542377 0 0 0 75596 1415 0 0 25 0 1 0 900031691 26296320 5635 4294967295 134512640 134716908 3221224576 3221220540 1074860819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6420 5635 1111 63 0 6357 0
vsize: 25680
[startup+780.015 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 548419 0 0 0 76579 1432 0 0 25 0 1 0 900031691 27197440 5860 4294967295 134512640 134716908 3221224576 3221221628 1075276512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6640 5860 1111 63 0 6577 0
vsize: 26560
[startup+790.015 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 553305 0 0 0 77567 1444 0 0 25 0 1 0 900031691 26775552 5745 4294967295 134512640 134716908 3221224576 3221220704 1075561216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5745 1111 63 0 6474 0
vsize: 26148
[startup+800.015 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 558086 0 0 0 78554 1457 0 0 25 0 1 0 900031691 26021888 5664 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6353 5664 1111 63 0 6290 0
vsize: 25412
[startup+810.015 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 563154 0 0 0 79542 1470 0 0 25 0 1 0 900031691 26923008 5805 4294967295 134512640 134716908 3221224576 3221221152 1076043642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6573 5805 1111 63 0 6510 0
vsize: 26292
[startup+820.015 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 568593 0 0 0 80529 1484 0 0 25 0 1 0 900031691 27058176 5843 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6606 5843 1111 63 0 6543 0
vsize: 26424
[startup+830.016 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 573980 0 0 0 81516 1496 0 0 25 0 1 0 900031691 26107904 5685 4294967295 134512640 134716908 3221224576 3221222536 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6374 5685 1111 63 0 6311 0
vsize: 25496
[startup+840.016 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 579970 0 0 0 82502 1511 0 0 25 0 1 0 900031691 26259456 5722 4294967295 134512640 134716908 3221224576 3221223020 1077781665 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.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 585063 0 0 0 83488 1526 0 0 25 0 1 0 900031691 26890240 5783 4294967295 134512640 134716908 3221224576 3221220608 1075965301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6565 5783 1111 63 0 6502 0
vsize: 26260
[startup+860.024 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 590196 0 0 0 84475 1538 0 0 25 0 1 0 900031691 27385856 5897 4294967295 134512640 134716908 3221224576 3221220848 1074961301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6686 5897 1111 63 0 6623 0
vsize: 26744
[startup+870.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 596880 0 0 0 85459 1555 0 0 25 0 1 0 900031691 27115520 5837 4294967295 134512640 134716908 3221224576 3221220484 1074786501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6620 5837 1111 63 0 6557 0
vsize: 26480
[startup+880.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 603701 0 0 0 86442 1572 0 0 25 0 1 0 900031691 26832896 5837 4294967295 134512640 134716908 3221224576 3221222400 1075823644 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6551 5837 1111 63 0 6488 0
vsize: 26204
[startup+890.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 610167 0 0 0 87427 1588 0 0 25 0 1 0 900031691 27566080 5991 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6730 5991 1111 63 0 6667 0
vsize: 26920
[startup+900.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 615386 0 0 0 88413 1602 0 0 25 0 1 0 900031691 28471296 6086 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6951 6087 1111 63 0 6888 0
vsize: 27804
[startup+910.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 620705 0 0 0 89399 1616 0 0 25 0 1 0 900031691 28434432 6163 4294967295 134512640 134716908 3221224576 3221220848 1074961355 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6942 6163 1111 63 0 6879 0
vsize: 27768
[startup+920.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 625407 0 0 0 90387 1629 0 0 25 0 1 0 900031691 27181056 5929 4294967295 134512640 134716908 3221224576 3221222784 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6636 5929 1111 63 0 6573 0
vsize: 26544
[startup+930.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 632360 0 0 0 91370 1645 0 0 25 0 1 0 900031691 27860992 6000 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6802 6000 1111 63 0 6739 0
vsize: 27208
[startup+940.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 638455 0 0 0 92355 1661 0 0 25 0 1 0 900031691 27459584 5961 4294967295 134512640 134716908 3221224576 3221222304 1075828500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6704 5961 1111 63 0 6641 0
vsize: 26816
[startup+950.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 644397 0 0 0 93341 1675 0 0 25 0 1 0 900031691 27414528 5986 4294967295 134512640 134716908 3221224576 3221222784 1074153822 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.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 649588 0 0 0 94330 1688 0 0 25 0 1 0 900031691 27545600 6018 4294967295 134512640 134716908 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6725 6018 1111 63 0 6662 0
vsize: 26900
[startup+970.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 654913 0 0 0 95316 1701 0 0 25 0 1 0 900031691 27893760 6060 4294967295 134512640 134716908 3221224576 3221222640 1075961744 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6810 6060 1111 63 0 6747 0
vsize: 27240
[startup+980.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 659593 0 0 0 96305 1713 0 0 25 0 1 0 900031691 29229056 6331 4294967295 134512640 134716908 3221224576 3221220620 1074873512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7136 6331 1111 63 0 7073 0
vsize: 28544
[startup+990.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 664184 0 0 0 97294 1724 0 0 25 0 1 0 900031691 28119040 6126 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6865 6126 1111 63 0 6802 0
vsize: 27460
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 669270 0 0 0 98280 1738 0 0 25 0 1 0 900031691 28491776 6167 4294967295 134512640 134716908 3221224576 3221220784 1074815328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6956 6167 1111 63 0 6893 0
vsize: 27824
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 674220 0 0 0 99268 1751 0 0 25 0 1 0 900031691 28172288 6082 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6878 6082 1111 63 0 6815 0
vsize: 27512
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 678456 0 0 0 100257 1762 0 0 25 0 1 0 900031691 27660288 6046 4294967295 134512640 134716908 3221224576 3221222304 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6753 6046 1111 63 0 6690 0
vsize: 27012
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 683220 0 0 0 101246 1773 0 0 25 0 1 0 900031691 28254208 6103 4294967295 134512640 134716908 3221224576 3221220920 1075895169 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6898 6103 1111 63 0 6835 0
vsize: 27592
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 688809 0 0 0 102232 1788 0 0 25 0 1 0 900031691 28590080 6178 4294967295 134512640 134716908 3221224576 3221220540 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6980 6178 1111 63 0 6917 0
vsize: 27920
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 694215 0 0 0 103218 1802 0 0 25 0 1 0 900031691 28057600 6129 4294967295 134512640 134716908 3221224576 3221221768 1074138285 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7052 6135 1111 63 0 6989 0
vsize: 27400
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 699925 0 0 0 104202 1818 0 0 25 0 1 0 900031691 27910144 6094 4294967295 134512640 134716908 3221224576 3221222536 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6814 6094 1111 63 0 6751 0
vsize: 27256
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 705695 0 0 0 105189 1831 0 0 25 0 1 0 900031691 28020736 6120 4294967295 134512640 134716908 3221224576 3221222304 1075828466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6841 6120 1111 63 0 6778 0
vsize: 27364
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 711306 0 0 0 106174 1846 0 0 25 0 1 0 900031691 27926528 6111 4294967295 134512640 134716908 3221224576 3221222736 1074050818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6111 1111 63 0 6755 0
vsize: 27272
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 717299 0 0 0 107161 1860 0 0 25 0 1 0 900031691 28549120 6159 4294967295 134512640 134716908 3221224576 3221220960 1074971974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6970 6159 1111 63 0 6907 0
vsize: 27880
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 723131 0 0 0 108146 1874 0 0 25 0 1 0 900031691 28200960 6178 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6885 6178 1111 63 0 6822 0
vsize: 27540
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 728407 0 0 0 109135 1886 0 0 25 0 1 0 900031691 28876800 6262 4294967295 134512640 134716908 3221224576 3221220608 1074790208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7050 6262 1111 63 0 6987 0
vsize: 28200
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 733656 0 0 0 110121 1899 0 0 25 0 1 0 900031691 27971584 6122 4294967295 134512640 134716908 3221224576 3221222728 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6829 6122 1111 63 0 6766 0
vsize: 27316
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 738300 0 0 0 111108 1913 0 0 25 0 1 0 900031691 28643328 6163 4294967295 134512640 134716908 3221224576 3221221560 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6993 6163 1111 63 0 6930 0
vsize: 27972
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 742396 0 0 0 112098 1923 0 0 25 0 1 0 900031691 28274688 6168 4294967295 134512640 134716908 3221224576 3221222576 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6903 6168 1111 63 0 6840 0
vsize: 27612
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 748020 0 0 0 113085 1936 0 0 25 0 1 0 900031691 28106752 6155 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6862 6155 1111 63 0 6799 0
vsize: 27448
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 752844 0 0 0 114074 1948 0 0 25 0 1 0 900031691 28655616 6162 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6996 6162 1111 63 0 6933 0
vsize: 27984
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 757209 0 0 0 115063 1959 0 0 25 0 1 0 900031691 28676096 6204 4294967295 134512640 134716908 3221224576 3221220684 1074797328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7001 6204 1111 63 0 6938 0
vsize: 28004
[startup+1175.33 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 7480
Raw data (stat): 7476 (bsolo_lpr-v2) R 7475 31399 31398 0 -1 0 757209 0 0 0 115063 1959 0 0 25 0 1 0 900031691 28676096 6204 4294967295 134512640 134716908 3221224576 3221220684 1074797328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7001 6204 1111 63 0 6938 0
vsize: 0

Child status: 0
Real time (s): 1175.33
CPU time (s): 1175.5
CPU user time (s): 1155.82
CPU system time (s): 19.681
CPU usage (%): 100.015
Max. virtual memory (Kb): 28544
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####