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-bf0432-007.opb
MD5SUM	cefbaafd6dea9e95d9c8e4cb4c8900f1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2080
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	2080
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2080
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.245962
Number of variables	2080
Total number of constraints	4708
Number of constraints which are clauses	4708
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	1
Maximum length of a constraint	6
Trace number 39502

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 10:45:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27565 boxname=wulflinc6 idbench=123 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  cefbaafd6dea9e95d9c8e4cb4c8900f1  /oldhome/oroussel/tmp/wulflinc6/normalized-bf0432-007.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-bf0432-007.opb
IDLAUNCH: 27565
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        252720 kB
Buffers:         34136 kB
Cached:         725228 kB
SwapCached:        536 kB
Active:          59668 kB
Inactive:       701772 kB
HighTotal:      131008 kB
HighFree:        12012 kB
LowTotal:       903652 kB
LowFree:        240708 kB
SwapTotal:     2097136 kB
SwapFree:      2095656 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5208 kB
Slab:            14992 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 11:05:12 (client local time) WITH STATUS 0 IN 1175.29 SECONDS
stats: 27565 7 1175.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2080 variables and 4708 constraints.
c After prepocess the problem consists of 584 variables and 1838 constraints.
c preprocess terminated 143.689 s
c Initial Lower Bound: 940
c Lower Bound Elapsed time: 0.595
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.26 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.47 0.81 0.86 1/54 13895
Raw data (stat): 13895 (runsolver) D 13894 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 892376337 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.55 0.82 0.86 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 4743 0 0 0 984 12 0 0 25 0 1 0 892376337 20545536 4153 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5016 4153 1111 63 0 4953 0
vsize: 20064
[startup+20.001 s]
Raw data (loadavg): 0.62 0.82 0.86 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 19371 0 0 0 1950 47 0 0 25 0 1 0 892376337 23080960 4794 4294967295 134512640 134716908 3221224576 3221223284 134618255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4794 1111 63 0 5572 0
vsize: 22540
[startup+30.0021 s]
Raw data (loadavg): 0.68 0.83 0.86 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 26268 0 0 0 2934 63 0 0 25 0 1 0 892376337 26202112 5543 4294967295 134512640 134716908 3221224576 3221223140 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 5543 1111 63 0 6334 0
vsize: 25588
[startup+40.0019 s]
Raw data (loadavg): 0.75 0.83 0.86 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 28848 0 0 0 3929 69 0 0 25 0 1 0 892376337 32169984 6995 4294967295 134512640 134716908 3221224576 3221222968 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7854 6995 1111 63 0 7791 0
vsize: 31416
[startup+50.0024 s]
Raw data (loadavg): 0.79 0.84 0.86 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 28848 0 0 0 4929 69 0 0 25 0 1 0 892376337 32169984 6995 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7854 6995 1111 63 0 7791 0
vsize: 31416
[startup+60.0027 s]
Raw data (loadavg): 0.82 0.84 0.86 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 31630 0 0 0 5922 76 0 0 25 0 1 0 892376337 32624640 7124 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7965 7124 1111 63 0 7902 0
vsize: 31860
[startup+70.0034 s]
Raw data (loadavg): 0.85 0.85 0.86 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 37518 0 0 0 6908 90 0 0 25 0 1 0 892376337 34250752 7521 4294967295 134512640 134716908 3221224576 3221223116 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8362 7521 1111 63 0 8299 0
vsize: 33448
[startup+80.0039 s]
Raw data (loadavg): 0.87 0.85 0.87 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 38068 0 0 0 7907 92 0 0 25 0 1 0 892376337 34639872 7616 4294967295 134512640 134716908 3221224576 3221223116 134543760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8457 7616 1111 63 0 8394 0
vsize: 33828
[startup+90.004 s]
Raw data (loadavg): 0.89 0.86 0.87 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 38493 0 0 0 8907 92 0 0 25 0 1 0 892376337 34689024 7628 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8469 7628 1111 63 0 8406 0
vsize: 33876
[startup+100.004 s]
Raw data (loadavg): 0.91 0.86 0.87 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 38493 0 0 0 9907 92 0 0 25 0 1 0 892376337 34689024 7628 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8469 7628 1111 63 0 8406 0
vsize: 33876
[startup+110.004 s]
Raw data (loadavg): 0.92 0.87 0.87 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 38493 0 0 0 10908 92 0 0 25 0 1 0 892376337 34689024 7628 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8469 7628 1111 63 0 8406 0
vsize: 33876
[startup+120.006 s]
Raw data (loadavg): 0.93 0.87 0.87 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 38493 0 0 0 11908 92 0 0 25 0 1 0 892376337 34689024 7628 4294967295 134512640 134716908 3221224576 3221223232 134627219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8469 7628 1111 63 0 8406 0
vsize: 33876
[startup+130.005 s]
Raw data (loadavg): 0.94 0.87 0.87 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 38493 0 0 0 12908 92 0 0 25 0 1 0 892376337 34689024 7628 4294967295 134512640 134716908 3221224576 3221223240 134627152 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8469 7628 1111 63 0 8406 0
vsize: 33876
[startup+140.006 s]
Raw data (loadavg): 0.95 0.88 0.87 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 38493 0 0 0 13909 92 0 0 25 0 1 0 892376337 34689024 7628 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8469 7628 1111 63 0 8406 0
vsize: 33876
[startup+150.007 s]
Raw data (loadavg): 0.96 0.88 0.87 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 46630 0 0 0 14892 109 0 0 25 0 1 0 892376337 63627264 14513 4294967295 134512640 134716908 3221224576 3221221520 1074620117 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15534 14513 1111 63 0 15471 0
vsize: 62136
[startup+160.007 s]
Raw data (loadavg): 0.96 0.88 0.87 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 48243 0 0 0 15888 113 0 0 25 0 1 0 892376337 62640128 14448 4294967295 134512640 134716908 3221224576 3221222664 1077374914 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15293 14448 1111 63 0 15230 0
vsize: 61172
[startup+170.007 s]
Raw data (loadavg): 0.97 0.89 0.87 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 50181 0 0 0 16883 119 0 0 25 0 1 0 892376337 62640128 14450 4294967295 134512640 134716908 3221224576 3221222712 1074206257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15293 14450 1111 63 0 15230 0
vsize: 61172
[startup+180.008 s]
Raw data (loadavg): 0.97 0.89 0.87 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 53427 0 0 0 17875 127 0 0 25 0 1 0 892376337 63713280 14714 4294967295 134512640 134716908 3221224576 3221222960 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15555 14714 1111 63 0 15492 0
vsize: 62220
[startup+190.008 s]
Raw data (loadavg): 0.98 0.89 0.88 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 56891 0 0 0 18866 137 0 0 25 0 1 0 892376337 63897600 14734 4294967295 134512640 134716908 3221224576 3221221456 1075960336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15600 14734 1111 63 0 15537 0
vsize: 62400
[startup+200.009 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 60298 0 0 0 19857 145 0 0 25 0 1 0 892376337 64954368 14781 4294967295 134512640 134716908 3221224576 3221221048 1074968485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15858 14781 1111 63 0 15795 0
vsize: 63432
[startup+210.009 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 63231 0 0 0 20850 153 0 0 25 0 1 0 892376337 64110592 14811 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15652 14811 1111 63 0 15589 0
vsize: 62608
[startup+220.01 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 65292 0 0 0 21846 158 0 0 25 0 1 0 892376337 64110592 14811 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15652 14811 1111 63 0 15589 0
vsize: 62608
[startup+230.01 s]
Raw data (loadavg): 0.99 0.90 0.88 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 67939 0 0 0 22839 165 0 0 25 0 1 0 892376337 64110592 14811 4294967295 134512640 134716908 3221224576 3221222928 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15652 14811 1111 63 0 15589 0
vsize: 62608
[startup+240.011 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 70266 0 0 0 23833 171 0 0 25 0 1 0 892376337 65220608 14883 4294967295 134512640 134716908 3221224576 3221220480 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15923 14883 1111 63 0 15860 0
vsize: 63692
[startup+250.01 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 72888 0 0 0 24828 177 0 0 25 0 1 0 892376337 65191936 14876 4294967295 134512640 134716908 3221224576 3221220912 1075113481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15916 14876 1111 63 0 15853 0
vsize: 63664
[startup+260.011 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 75306 0 0 0 25821 184 0 0 25 0 1 0 892376337 64512000 14915 4294967295 134512640 134716908 3221224576 3221222976 1074119066 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15750 14915 1111 63 0 15687 0
vsize: 63000
[startup+270.011 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 77350 0 0 0 26818 188 0 0 25 0 1 0 892376337 65069056 14997 4294967295 134512640 134716908 3221224576 3221220688 1075093374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15886 14997 1111 63 0 15823 0
vsize: 63544
[startup+280.011 s]
Raw data (loadavg): 0.99 0.92 0.88 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 79587 0 0 0 27811 195 0 0 25 0 1 0 892376337 64679936 14957 4294967295 134512640 134716908 3221224576 3221223284 134625163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15791 14957 1111 63 0 15728 0
vsize: 63164
[startup+290.011 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 82031 0 0 0 28804 202 0 0 25 0 1 0 892376337 65662976 15027 4294967295 134512640 134716908 3221224576 3221221776 1075979490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16031 15027 1111 63 0 15968 0
vsize: 64124
[startup+300.011 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 84059 0 0 0 29799 207 0 0 25 0 1 0 892376337 65630208 15001 4294967295 134512640 134716908 3221224576 3221220804 1075115084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16023 15001 1111 63 0 15960 0
vsize: 64092
[startup+310.011 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 86295 0 0 0 30793 213 0 0 25 0 1 0 892376337 64872448 14958 4294967295 134512640 134716908 3221224576 3221222496 1075799538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15838 14958 1111 63 0 15775 0
vsize: 63352
[startup+320.011 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 88555 0 0 0 31789 218 0 0 25 0 1 0 892376337 65748992 15009 4294967295 134512640 134716908 3221224576 3221220536 1074789545 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16052 15009 1111 63 0 15989 0
vsize: 64208
[startup+330.013 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 90448 0 0 0 32784 224 0 0 25 0 1 0 892376337 65748992 15029 4294967295 134512640 134716908 3221224576 3221220912 1075113502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16052 15029 1111 63 0 15989 0
vsize: 64208
[startup+340.012 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 92534 0 0 0 33780 228 0 0 25 0 1 0 892376337 64798720 14986 4294967295 134512640 134716908 3221224576 3221222784 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15820 14986 1111 63 0 15757 0
vsize: 63280
[startup+350.013 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 94659 0 0 0 34774 234 0 0 25 0 1 0 892376337 65609728 15082 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16018 15082 1111 63 0 15955 0
vsize: 64072
[startup+360.014 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 96705 0 0 0 35769 240 0 0 25 0 1 0 892376337 65966080 15171 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16105 15171 1111 63 0 16042 0
vsize: 64420
[startup+370.015 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 98707 0 0 0 36765 245 0 0 25 0 1 0 892376337 64798720 14986 4294967295 134512640 134716908 3221224576 3221222576 1074052283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15820 14986 1111 63 0 15757 0
vsize: 63280
[startup+380.015 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 100863 0 0 0 37760 250 0 0 25 0 1 0 892376337 65957888 15116 4294967295 134512640 134716908 3221224576 3221221232 1075967680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16103 15116 1111 63 0 16040 0
vsize: 64412
[startup+390.015 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 103211 0 0 0 38753 257 0 0 25 0 1 0 892376337 64835584 14995 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15829 14995 1111 63 0 15766 0
vsize: 63316
[startup+400.016 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 105483 0 0 0 39748 262 0 0 25 0 1 0 892376337 65880064 15083 4294967295 134512640 134716908 3221224576 3221220848 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16084 15083 1111 63 0 16021 0
vsize: 64336
[startup+410.017 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 107451 0 0 0 40743 268 0 0 25 0 1 0 892376337 64901120 15011 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15845 15011 1111 63 0 15782 0
vsize: 63380
[startup+420.017 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 109633 0 0 0 41738 273 0 0 25 0 1 0 892376337 64901120 15011 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15845 15011 1111 63 0 15782 0
vsize: 63380
[startup+430.018 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 111901 0 0 0 42733 279 0 0 25 0 1 0 892376337 65880064 15071 4294967295 134512640 134716908 3221224576 3221220912 1075113502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16084 15071 1111 63 0 16021 0
vsize: 64336
[startup+440.018 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 114045 0 0 0 43728 284 0 0 25 0 1 0 892376337 65851392 15060 4294967295 134512640 134716908 3221224576 3221220848 1074960944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16077 15060 1111 63 0 16014 0
vsize: 64308
[startup+450.018 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 116297 0 0 0 44723 290 0 0 25 0 1 0 892376337 65851392 15040 4294967295 134512640 134716908 3221224576 3221220720 1074969743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16077 15040 1111 63 0 16014 0
vsize: 64308
[startup+460.018 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 118411 0 0 0 45717 295 0 0 25 0 1 0 892376337 66166784 15136 4294967295 134512640 134716908 3221224576 3221221104 1075119993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16154 15136 1111 63 0 16091 0
vsize: 64616
[startup+470.019 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 120568 0 0 0 46712 301 0 0 25 0 1 0 892376337 64901120 15011 4294967295 134512640 134716908 3221224576 3221222976 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15845 15011 1111 63 0 15782 0
vsize: 63380
[startup+480.019 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 122947 0 0 0 47705 308 0 0 25 0 1 0 892376337 66437120 15232 4294967295 134512640 134716908 3221224576 3221220736 1074883509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16220 15232 1111 63 0 16157 0
vsize: 64880
[startup+490.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 125116 0 0 0 48700 313 0 0 25 0 1 0 892376337 66158592 15109 4294967295 134512640 134716908 3221224576 3221220472 1074789548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16152 15109 1111 63 0 16089 0
vsize: 64608
[startup+500.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 127479 0 0 0 49694 320 0 0 25 0 1 0 892376337 66256896 15244 4294967295 134512640 134716908 3221224576 3221220908 1076111465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16176 15244 1111 63 0 16113 0
vsize: 64704
[startup+510.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 129743 0 0 0 50689 326 0 0 25 0 1 0 892376337 66539520 15244 4294967295 134512640 134716908 3221224576 3221220524 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16245 15244 1111 63 0 16182 0
vsize: 64980
[startup+520.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 132076 0 0 0 51684 331 0 0 25 0 1 0 892376337 65179648 15079 4294967295 134512640 134716908 3221224576 3221223216 134651341 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15913 15079 1111 63 0 15850 0
vsize: 63652
[startup+530.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 133922 0 0 0 52679 336 0 0 25 0 1 0 892376337 65179648 15079 4294967295 134512640 134716908 3221224576 3221222976 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15913 15079 1111 63 0 15850 0
vsize: 63652
[startup+540.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 135712 0 0 0 53675 340 0 0 25 0 1 0 892376337 66560000 15334 4294967295 134512640 134716908 3221224576 3221220912 1075114315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16250 15334 1111 63 0 16187 0
vsize: 65000
[startup+550.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 137897 0 0 0 54670 346 0 0 25 0 1 0 892376337 65179648 15079 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15913 15079 1111 63 0 15850 0
vsize: 63652
[startup+560.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 139691 0 0 0 55666 351 0 0 25 0 1 0 892376337 66314240 15183 4294967295 134512640 134716908 3221224576 3221220848 1074960865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16190 15183 1111 63 0 16127 0
vsize: 64760
[startup+570.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 141657 0 0 0 56662 355 0 0 25 0 1 0 892376337 66162688 15132 4294967295 134512640 134716908 3221224576 3221220736 1074794981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16153 15132 1111 63 0 16090 0
vsize: 64612
[startup+580.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 143869 0 0 0 57657 361 0 0 25 0 1 0 892376337 66924544 15333 4294967295 134512640 134716908 3221224576 3221221232 1075969188 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16339 15333 1111 63 0 16276 0
vsize: 65356
[startup+590.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 145809 0 0 0 58652 365 0 0 25 0 1 0 892376337 66523136 15221 4294967295 134512640 134716908 3221224576 3221220660 1075964396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16241 15221 1111 63 0 16178 0
vsize: 64964
[startup+600.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 148216 0 0 0 59647 371 0 0 25 0 1 0 892376337 65544192 15168 4294967295 134512640 134716908 3221224576 3221222824 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16002 15168 1111 63 0 15939 0
vsize: 64008
[startup+610.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 150268 0 0 0 60642 376 0 0 25 0 1 0 892376337 66666496 15328 4294967295 134512640 134716908 3221224576 3221220736 1075095359 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16276 15328 1111 63 0 16213 0
vsize: 65104
[startup+620.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 152745 0 0 0 61636 383 0 0 25 0 1 0 892376337 66207744 15242 4294967295 134512640 134716908 3221224576 3221220460 1074788968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16164 15242 1111 63 0 16101 0
vsize: 64656
[startup+630.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 155005 0 0 0 62630 389 0 0 25 0 1 0 892376337 66531328 15250 4294967295 134512640 134716908 3221224576 3221221640 1075007302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16243 15250 1111 63 0 16180 0
vsize: 64972
[startup+640.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 157338 0 0 0 63625 394 0 0 25 0 1 0 892376337 66523136 15223 4294967295 134512640 134716908 3221224576 3221220632 1074789584 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16241 15223 1111 63 0 16178 0
vsize: 64964
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 159820 0 0 0 64620 400 0 0 25 0 1 0 892376337 65544192 15168 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16002 15168 1111 63 0 15939 0
vsize: 64008
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 162268 0 0 0 65615 405 0 0 25 0 1 0 892376337 66826240 15283 4294967295 134512640 134716908 3221224576 3221220816 1075115704 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16315 15283 1111 63 0 16252 0
vsize: 65260
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 164433 0 0 0 66610 411 0 0 25 0 1 0 892376337 66891776 15305 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16331 15305 1111 63 0 16268 0
vsize: 65324
[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 166719 0 0 0 67605 416 0 0 25 0 1 0 892376337 66916352 15398 4294967295 134512640 134716908 3221224576 3221220512 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16337 15398 1111 63 0 16274 0
vsize: 65348
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 169246 0 0 0 68599 423 0 0 25 0 1 0 892376337 65699840 15206 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16040 15206 1111 63 0 15977 0
vsize: 64160
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 170966 0 0 0 69595 427 0 0 25 0 1 0 892376337 66678784 15250 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16279 15250 1111 63 0 16216 0
vsize: 65116
[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 173122 0 0 0 70590 432 0 0 25 0 1 0 892376337 66117632 15262 4294967295 134512640 134716908 3221224576 3221222224 1075818178 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16142 15262 1111 63 0 16079 0
vsize: 64568
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 175259 0 0 0 71586 437 0 0 25 0 1 0 892376337 67260416 15417 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16421 15417 1111 63 0 16358 0
vsize: 65684
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 177383 0 0 0 72582 442 0 0 25 0 1 0 892376337 66940928 15323 4294967295 134512640 134716908 3221224576 3221220896 1075171668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16343 15323 1111 63 0 16280 0
vsize: 65372
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 179464 0 0 0 73575 448 0 0 25 0 1 0 892376337 66940928 15324 4294967295 134512640 134716908 3221224576 3221220848 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16343 15324 1111 63 0 16280 0
vsize: 65372
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 181853 0 0 0 74570 454 0 0 25 0 1 0 892376337 65961984 15270 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16104 15270 1111 63 0 16041 0
vsize: 64416
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 184123 0 0 0 75565 460 0 0 25 0 1 0 892376337 66027520 15286 4294967295 134512640 134716908 3221224576 3221223216 134652405 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16120 15286 1111 63 0 16057 0
vsize: 64480
[startup+770.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 186501 0 0 0 76561 466 0 0 25 0 1 0 892376337 67006464 15314 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16359 15314 1111 63 0 16296 0
vsize: 65436
[startup+780.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 189021 0 0 0 77554 472 0 0 25 0 1 0 892376337 67649536 15518 4294967295 134512640 134716908 3221224576 3221220632 1074789534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15518 1111 63 0 16453 0
vsize: 66064
[startup+790.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 191115 0 0 0 78549 479 0 0 25 0 1 0 892376337 67166208 15399 4294967295 134512640 134716908 3221224576 3221220724 1075964384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16398 15399 1111 63 0 16335 0
vsize: 65592
[startup+800.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 193466 0 0 0 79542 486 0 0 25 0 1 0 892376337 67166208 15405 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16398 15405 1111 63 0 16335 0
vsize: 65592
[startup+810.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 195225 0 0 0 80538 490 0 0 25 0 1 0 892376337 67543040 15472 4294967295 134512640 134716908 3221224576 3221220848 1074961301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16490 15472 1111 63 0 16427 0
vsize: 65960
[startup+820.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 197034 0 0 0 81533 495 0 0 25 0 1 0 892376337 67653632 15481 4294967295 134512640 134716908 3221224576 3221220784 1076111660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16517 15481 1111 63 0 16454 0
vsize: 66068
[startup+830.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 198780 0 0 0 82528 500 0 0 25 0 1 0 892376337 67555328 15487 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16493 15487 1111 63 0 16430 0
vsize: 65972
[startup+840.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 200741 0 0 0 83524 505 0 0 25 0 1 0 892376337 67866624 15529 4294967295 134512640 134716908 3221224576 3221220544 1074872793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16569 15529 1111 63 0 16506 0
vsize: 66276
[startup+850.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 202393 0 0 0 84520 510 0 0 25 0 1 0 892376337 67829760 15510 4294967295 134512640 134716908 3221224576 3221220632 1074789553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16560 15510 1111 63 0 16497 0
vsize: 66240
[startup+860.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13895
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 205247 0 0 0 85512 518 0 0 25 0 1 0 892376337 67637248 15446 4294967295 134512640 134716908 3221224576 3221220912 1075113423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16513 15446 1111 63 0 16450 0
vsize: 66052
[startup+870.06 s]
Raw data (loadavg): 1.07 0.99 0.91 2/58 13938
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 207926 0 0 0 86504 526 0 0 25 0 1 0 892376337 67563520 15416 4294967295 134512640 134716908 3221224576 3221220804 1075114942 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16495 15416 1111 63 0 16432 0
vsize: 65980
[startup+880.075 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 13948
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 210005 0 0 0 87501 531 0 0 25 0 1 0 892376337 67891200 15492 4294967295 134512640 134716908 3221224576 3221220724 1075964386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16575 15492 1111 63 0 16512 0
vsize: 66300
[startup+890.076 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 13948
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 212243 0 0 0 88496 537 0 0 25 0 1 0 892376337 67657728 15456 4294967295 134512640 134716908 3221224576 3221220720 1074969474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16518 15456 1111 63 0 16455 0
vsize: 66072
[startup+900.076 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 13948
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 215495 0 0 0 89487 546 0 0 25 0 1 0 892376337 68608000 15823 4294967295 134512640 134716908 3221224576 3221220848 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16750 15823 1111 63 0 16687 0
vsize: 67000
[startup+910.077 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 13948
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 217799 0 0 0 90481 552 0 0 25 0 1 0 892376337 68235264 15640 4294967295 134512640 134716908 3221224576 3221221568 1075110436 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16659 15640 1111 63 0 16596 0
vsize: 66636
[startup+920.077 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13948
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 220419 0 0 0 91475 558 0 0 25 0 1 0 892376337 67977216 15524 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16596 15524 1111 63 0 16533 0
vsize: 66384
[startup+930.077 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13948
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 223687 0 0 0 92466 568 0 0 25 0 1 0 892376337 66510848 15405 4294967295 134512640 134716908 3221224576 3221222960 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16238 15405 1111 63 0 16175 0
vsize: 64952
[startup+940.077 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 226426 0 0 0 93460 574 0 0 25 0 1 0 892376337 67657728 15557 4294967295 134512640 134716908 3221224576 3221220848 1074961380 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16518 15557 1111 63 0 16455 0
vsize: 66072
[startup+950.079 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 228875 0 0 0 94455 580 0 0 25 0 1 0 892376337 67428352 15577 4294967295 134512640 134716908 3221224576 3221220540 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16462 15577 1111 63 0 16399 0
vsize: 65848
[startup+960.08 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 231058 0 0 0 95451 584 0 0 25 0 1 0 892376337 68096000 15556 4294967295 134512640 134716908 3221224576 3221220848 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16625 15556 1111 63 0 16562 0
vsize: 66500
[startup+970.08 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 233266 0 0 0 96445 591 0 0 25 0 1 0 892376337 66793472 15474 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16307 15474 1111 63 0 16244 0
vsize: 65228
[startup+980.081 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 235343 0 0 0 97440 596 0 0 25 0 1 0 892376337 68382720 15751 4294967295 134512640 134716908 3221224576 3221220688 1075895652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16695 15751 1111 63 0 16632 0
vsize: 66780
[startup+990.081 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 237038 0 0 0 98435 601 0 0 25 0 1 0 892376337 66793472 15474 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16307 15474 1111 63 0 16244 0
vsize: 65228
[startup+1000.08 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 239171 0 0 0 99431 606 0 0 25 0 1 0 892376337 68206592 15585 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16652 15585 1111 63 0 16589 0
vsize: 66608
[startup+1010.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 241626 0 0 0 100425 612 0 0 25 0 1 0 892376337 66793472 15474 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16307 15474 1111 63 0 16244 0
vsize: 65228
[startup+1020.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 243796 0 0 0 101420 618 0 0 25 0 1 0 892376337 67973120 15526 4294967295 134512640 134716908 3221224576 3221220804 1075115073 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16595 15526 1111 63 0 16532 0
vsize: 66380
[startup+1030.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 246341 0 0 0 102415 623 0 0 25 0 1 0 892376337 68009984 15659 4294967295 134512640 134716908 3221224576 3221220848 1074960898 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16604 15659 1111 63 0 16541 0
vsize: 66416
[startup+1040.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 248863 0 0 0 103407 631 0 0 25 0 1 0 892376337 66793472 15474 4294967295 134512640 134716908 3221224576 3221222912 1074143105 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16307 15474 1111 63 0 16244 0
vsize: 65228
[startup+1050.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 251305 0 0 0 104401 638 0 0 25 0 1 0 892376337 66949120 15512 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16345 15512 1111 63 0 16282 0
vsize: 65380
[startup+1060.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 253853 0 0 0 105395 644 0 0 25 0 1 0 892376337 67043328 15535 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16368 15535 1111 63 0 16305 0
vsize: 65472
[startup+1070.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 256411 0 0 0 106390 649 0 0 25 0 1 0 892376337 68526080 15783 4294967295 134512640 134716908 3221224576 3221220676 1075964218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16730 15783 1111 63 0 16667 0
vsize: 66920
[startup+1080.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 259002 0 0 0 107386 654 0 0 25 0 1 0 892376337 67342336 15584 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16441 15584 1111 63 0 16378 0
vsize: 65764
[startup+1090.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 262069 0 0 0 108378 662 0 0 25 0 1 0 892376337 67371008 15615 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16448 15615 1111 63 0 16385 0
vsize: 65792
[startup+1100.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 264856 0 0 0 109371 670 0 0 25 0 1 0 892376337 67371008 15615 4294967295 134512640 134716908 3221224576 3221222960 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16448 15615 1111 63 0 16385 0
vsize: 65792
[startup+1110.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 267748 0 0 0 110365 676 0 0 25 0 1 0 892376337 68517888 15638 4294967295 134512640 134716908 3221224576 3221221504 1075960351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16728 15642 1111 63 0 16665 0
vsize: 66912
[startup+1120.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 270439 0 0 0 111358 683 0 0 25 0 1 0 892376337 69500928 15944 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16968 15944 1111 63 0 16905 0
vsize: 67872
[startup+1130.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 272636 0 0 0 112352 689 0 0 25 0 1 0 892376337 69021696 15812 4294967295 134512640 134716908 3221224576 3221220816 1075115712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16851 15812 1111 63 0 16788 0
vsize: 67404
[startup+1140.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 274684 0 0 0 113348 694 0 0 25 0 1 0 892376337 67874816 15738 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16571 15738 1111 63 0 16508 0
vsize: 66284
[startup+1150.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 276513 0 0 0 114344 699 0 0 25 0 1 0 892376337 69021696 15807 4294967295 134512640 134716908 3221224576 3221220848 1074960923 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16851 15807 1111 63 0 16788 0
vsize: 67404
[startup+1160.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 278656 0 0 0 115340 703 0 0 25 0 1 0 892376337 68939776 15794 4294967295 134512640 134716908 3221224576 3221221120 1075088566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16831 15794 1111 63 0 16768 0
vsize: 67324
[startup+1170.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 280644 0 0 0 116336 708 0 0 25 0 1 0 892376337 68907008 15878 4294967295 134512640 134716908 3221224576 3221220912 1075114277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16823 15878 1111 63 0 16760 0
vsize: 67292
[startup+1174.96 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 13950
Raw data (stat): 13895 (bsolo_lpr-v2) R 13894 25568 25567 0 -1 0 280644 0 0 0 116336 708 0 0 25 0 1 0 892376337 68907008 15878 4294967295 134512640 134716908 3221224576 3221220912 1075114277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16823 15878 1111 63 0 16760 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.29
CPU user time (s): 1168.15
CPU system time (s): 7.13991
CPU usage (%): 100.029
Max. virtual memory (Kb): 67872
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####