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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air04.opb
MD5SUM	eb0734273e24196dd14c6f237b52fa81
Bench Category	optimization, medium integers (OPTMEDINT)
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	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.12098
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 39888

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        771228 kB
Buffers:         33976 kB
Cached:         205120 kB
SwapCached:        604 kB
Active:          47008 kB
Inactive:       194192 kB
HighTotal:      131008 kB
HighFree:        10892 kB
LowTotal:       903652 kB
LowFree:        760336 kB
SwapTotal:     2097136 kB
SwapFree:      2095596 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            16668 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 22:09:52 (client local time) WITH STATUS 0 IN 1175.3 SECONDS
stats: 27941 7 1175.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 8904 variables and 1646 constraints.
c After prepocess the problem consists of 7524 variables and 1269 constraints.
c preprocess terminated 382.52 s
c Initial Lower Bound: 55536
c Lower Bound Elapsed time: 18.6947
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.12 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.84 0.94 0.90 1/54 8887
Raw data (stat): 8887 (runsolver) R 8886 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896365698 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.0013 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 37756 0 0 0 924 73 0 0 25 0 1 0 896365698 167657472 37676 4294967295 134512640 134716908 3221224576 3221223240 1077374433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40932 37676 1111 63 0 40869 0
vsize: 163728
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 55092 0 0 0 1892 104 0 0 25 0 1 0 896365698 238710784 55012 4294967295 134512640 134716908 3221224576 3221221052 1077197725 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58279 55012 1111 63 0 58216 0
vsize: 233116
[startup+30.0019 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 55994 0 0 0 2889 107 0 0 25 0 1 0 896365698 242360320 55914 4294967295 134512640 134716908 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59170 55914 1111 63 0 59107 0
vsize: 236680
[startup+40.002 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 56879 0 0 0 3886 110 0 0 25 0 1 0 896365698 246009856 56799 4294967295 134512640 134716908 3221224576 3221223048 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60061 56799 1111 63 0 59998 0
vsize: 240244
[startup+50.0025 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 59303 0 0 0 4881 115 0 0 25 0 1 0 896365698 246108160 59180 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60085 59180 1111 63 0 60022 0
vsize: 240340
[startup+60.0022 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 62048 0 0 0 5873 122 0 0 25 0 1 0 896365698 257343488 61925 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62828 61925 1111 63 0 62765 0
vsize: 251312
[startup+70.0028 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 64612 0 0 0 6868 127 0 0 25 0 1 0 896365698 267911168 64489 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65408 64489 1111 63 0 65345 0
vsize: 261632
[startup+80.0036 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 66924 0 0 0 7864 131 0 0 25 0 1 0 896365698 277393408 66801 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67723 66801 1111 63 0 67660 0
vsize: 270892
[startup+90.0033 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 69195 0 0 0 8859 136 0 0 25 0 1 0 896365698 286605312 69072 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69972 69072 1111 63 0 69909 0
vsize: 279888
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 71366 0 0 0 9854 141 0 0 25 0 1 0 896365698 295542784 71243 4294967295 134512640 134716908 3221224576 3221222996 134542821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72154 71243 1111 63 0 72091 0
vsize: 288616
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 73501 0 0 0 10851 145 0 0 25 0 1 0 896365698 304218112 73378 4294967295 134512640 134716908 3221224576 3221223072 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74272 73378 1111 63 0 74209 0
vsize: 297088
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 75434 0 0 0 11847 148 0 0 25 0 1 0 896365698 312201216 75311 4294967295 134512640 134716908 3221224576 3221223084 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76221 75311 1111 63 0 76158 0
vsize: 304884
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 77249 0 0 0 12843 153 0 0 25 0 1 0 896365698 319651840 77126 4294967295 134512640 134716908 3221224576 3221222968 134542370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78040 77126 1111 63 0 77977 0
vsize: 312160
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 78971 0 0 0 13840 156 0 0 25 0 1 0 896365698 326696960 78848 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79760 78848 1111 63 0 79697 0
vsize: 319040
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 80684 0 0 0 14837 159 0 0 25 0 1 0 896365698 333746176 80561 4294967295 134512640 134716908 3221224576 3221223448 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81481 80561 1111 63 0 81418 0
vsize: 325924
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 82416 0 0 0 15832 164 0 0 25 0 1 0 896365698 340791296 82293 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83201 82293 1111 63 0 83138 0
vsize: 332804
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 83897 0 0 0 16830 167 0 0 25 0 1 0 896365698 346886144 83774 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84689 83774 1111 63 0 84626 0
vsize: 338756
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 85218 0 0 0 17826 170 0 0 25 0 1 0 896365698 352305152 85095 4294967295 134512640 134716908 3221224576 3221223216 134584901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86012 85095 1111 63 0 85949 0
vsize: 344048
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 86482 0 0 0 18824 173 0 0 25 0 1 0 896365698 357441536 86359 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87266 86359 1111 63 0 87203 0
vsize: 349064
[startup+200.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 87632 0 0 0 19822 175 0 0 25 0 1 0 896365698 362192896 87509 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88426 87509 1111 63 0 88363 0
vsize: 353704
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 88696 0 0 0 20820 177 0 0 25 0 1 0 896365698 366530560 88573 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89485 88573 1111 63 0 89422 0
vsize: 357940
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 89532 0 0 0 21819 178 0 0 25 0 1 0 896365698 369926144 89409 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90314 89409 1111 63 0 90251 0
vsize: 361256
[startup+230.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 90377 0 0 0 22817 180 0 0 25 0 1 0 896365698 373448704 90254 4294967295 134512640 134716908 3221224576 3221222908 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91174 90254 1111 63 0 91111 0
vsize: 364696
[startup+240.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 91097 0 0 0 23816 182 0 0 25 0 1 0 896365698 376299520 90974 4294967295 134512640 134716908 3221224576 3221222940 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91870 90974 1111 63 0 91807 0
vsize: 367480
[startup+250.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 91678 0 0 0 24814 184 0 0 25 0 1 0 896365698 378736640 91555 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92465 91555 1111 63 0 92402 0
vsize: 369860
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 92112 0 0 0 25813 185 0 0 25 0 1 0 896365698 380502016 91989 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92896 91989 1111 63 0 92833 0
vsize: 371584
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 92581 0 0 0 26812 186 0 0 25 0 1 0 896365698 382402560 92458 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93360 92458 1111 63 0 93297 0
vsize: 373440
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 92953 0 0 0 27811 187 0 0 25 0 1 0 896365698 383893504 92830 4294967295 134512640 134716908 3221224576 3221223376 134626368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93724 92830 1111 63 0 93661 0
vsize: 374896
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 92981 0 0 0 28812 187 0 0 25 0 1 0 896365698 384028672 92858 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93757 92858 1111 63 0 93694 0
vsize: 375028
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 92990 0 0 0 29812 187 0 0 25 0 1 0 896365698 384163840 92867 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92867 1111 63 0 93727 0
vsize: 375160
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 92997 0 0 0 30812 187 0 0 25 0 1 0 896365698 384163840 92874 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92874 1111 63 0 93727 0
vsize: 375160
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 93004 0 0 0 31812 187 0 0 25 0 1 0 896365698 384163840 92881 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92881 1111 63 0 93727 0
vsize: 375160
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 93008 0 0 0 32812 187 0 0 25 0 1 0 896365698 384163840 92885 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92885 1111 63 0 93727 0
vsize: 375160
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 93009 0 0 0 33812 187 0 0 25 0 1 0 896365698 384163840 92886 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92886 1111 63 0 93727 0
vsize: 375160
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 93012 0 0 0 34813 187 0 0 25 0 1 0 896365698 384163840 92889 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92889 1111 63 0 93727 0
vsize: 375160
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 93017 0 0 0 35813 187 0 0 25 0 1 0 896365698 384163840 92894 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92894 1111 63 0 93727 0
vsize: 375160
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 93022 0 0 0 36813 187 0 0 25 0 1 0 896365698 384299008 92899 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93823 92899 1111 63 0 93760 0
vsize: 375292
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 93022 0 0 0 37813 187 0 0 25 0 1 0 896365698 384299008 92899 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93823 92899 1111 63 0 93760 0
vsize: 375292
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 95947 0 0 0 38806 194 0 0 25 0 1 0 896365698 391634944 94754 4294967295 134512640 134716908 3221224576 3221220524 1074873565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95614 94754 1111 63 0 95551 0
vsize: 382456
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 96104 0 0 0 39806 194 0 0 25 0 1 0 896365698 391770112 94821 4294967295 134512640 134716908 3221224576 3221220388 1074786556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95647 94821 1111 63 0 95584 0
vsize: 382588
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 96111 0 0 0 40806 194 0 0 25 0 1 0 896365698 391790592 94828 4294967295 134512640 134716908 3221224576 3221220708 1075115095 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94828 1111 63 0 95589 0
vsize: 382608
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 96111 0 0 0 41806 194 0 0 25 0 1 0 896365698 391790592 94828 4294967295 134512640 134716908 3221224576 3221220464 1074875093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94828 1111 63 0 95589 0
vsize: 382608
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 96141 0 0 0 42807 194 0 0 25 0 1 0 896365698 391790592 94844 4294967295 134512640 134716908 3221224576 3221220364 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94844 1111 63 0 95589 0
vsize: 382608
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 96141 0 0 0 43807 194 0 0 25 0 1 0 896365698 391790592 94844 4294967295 134512640 134716908 3221224576 3221220336 1074868306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94844 1111 63 0 95589 0
vsize: 382608
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 96141 0 0 0 44807 194 0 0 25 0 1 0 896365698 391790592 94844 4294967295 134512640 134716908 3221224576 3221220416 1075965250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94844 1111 63 0 95589 0
vsize: 382608
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106321 0 0 0 45784 218 0 0 25 0 1 0 896365698 388141056 93995 4294967295 134512640 134716908 3221224576 3221223352 134613517 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94761 93995 1111 63 0 94698 0
vsize: 379044
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106321 0 0 0 46783 219 0 0 25 0 1 0 896365698 388141056 93995 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94761 93995 1111 63 0 94698 0
vsize: 379044
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106342 0 0 0 47783 219 0 0 25 0 1 0 896365698 388276224 94016 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94794 94016 1111 63 0 94731 0
vsize: 379176
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106382 0 0 0 48782 220 0 0 25 0 1 0 896365698 388456448 94056 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94838 94056 1111 63 0 94775 0
vsize: 379352
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106430 0 0 0 49782 221 0 0 25 0 1 0 896365698 388706304 94104 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94899 94104 1111 63 0 94836 0
vsize: 379596
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106447 0 0 0 50780 222 0 0 25 0 1 0 896365698 388706304 94121 4294967295 134512640 134716908 3221224576 3221223376 134597733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94899 94121 1111 63 0 94836 0
vsize: 379596
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106482 0 0 0 51780 223 0 0 25 0 1 0 896365698 388829184 94156 4294967295 134512640 134716908 3221224576 3221223304 1076647541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94929 94156 1111 63 0 94866 0
vsize: 379716
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106597 0 0 0 52779 224 0 0 25 0 1 0 896365698 389287936 94271 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95041 94271 1111 63 0 94978 0
vsize: 380164
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106632 0 0 0 53779 224 0 0 25 0 1 0 896365698 389394432 94301 4294967295 134512640 134716908 3221224576 3221223084 134535882 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95067 94301 1111 63 0 95004 0
vsize: 380268
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106694 0 0 0 54778 225 0 0 25 0 1 0 896365698 389779456 94363 4294967295 134512640 134716908 3221224576 3221223320 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95161 94363 1111 63 0 95098 0
vsize: 380644
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106694 0 0 0 55778 226 0 0 25 0 1 0 896365698 389541888 94337 4294967295 134512640 134716908 3221224576 3221223324 134675288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95103 94337 1111 63 0 95040 0
vsize: 380412
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106732 0 0 0 56777 227 0 0 25 0 1 0 896365698 389791744 94375 4294967295 134512640 134716908 3221224576 3221223168 134542808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95164 94375 1111 63 0 95101 0
vsize: 380656
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8887
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106751 0 0 0 57777 227 0 0 25 0 1 0 896365698 389791744 94394 4294967295 134512640 134716908 3221224576 3221223152 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95164 94394 1111 63 0 95101 0
vsize: 380656
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 8930
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106751 0 0 0 58776 228 0 0 25 0 1 0 896365698 389791744 94394 4294967295 134512640 134716908 3221224576 3221223164 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95164 94394 1111 63 0 95101 0
vsize: 380656
[startup+600.016 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 8940
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106768 0 0 0 59776 228 0 0 25 0 1 0 896365698 389763072 94391 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95157 94391 1111 63 0 95094 0
vsize: 380628
[startup+610.018 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 8940
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106803 0 0 0 60775 229 0 0 25 0 1 0 896365698 389943296 94426 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95201 94426 1111 63 0 95138 0
vsize: 380804
[startup+620.017 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 8940
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106803 0 0 0 61775 229 0 0 25 0 1 0 896365698 389943296 94426 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95201 94426 1111 63 0 95138 0
vsize: 380804
[startup+630.017 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 8940
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106803 0 0 0 62774 230 0 0 25 0 1 0 896365698 389943296 94426 4294967295 134512640 134716908 3221224576 3221223216 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95201 94426 1111 63 0 95138 0
vsize: 380804
[startup+640.018 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 8940
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106806 0 0 0 63774 231 0 0 25 0 1 0 896365698 389943296 94429 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95201 94429 1111 63 0 95138 0
vsize: 380804
[startup+650.018 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 8940
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106806 0 0 0 64773 232 0 0 25 0 1 0 896365698 389943296 94429 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95201 94429 1111 63 0 95138 0
vsize: 380804
[startup+660.018 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106806 0 0 0 65773 232 0 0 25 0 1 0 896365698 389943296 94429 4294967295 134512640 134716908 3221224576 3221223332 134655231 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95201 94429 1111 63 0 95138 0
vsize: 380804
[startup+670.018 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106845 0 0 0 66772 233 0 0 25 0 1 0 896365698 390078464 94468 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95234 94468 1111 63 0 95171 0
vsize: 380936
[startup+680.019 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106883 0 0 0 67771 234 0 0 25 0 1 0 896365698 390348800 94506 4294967295 134512640 134716908 3221224576 3221223168 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95300 94506 1111 63 0 95237 0
vsize: 381200
[startup+690.019 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106883 0 0 0 68770 235 0 0 25 0 1 0 896365698 390348800 94506 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95300 94506 1111 63 0 95237 0
vsize: 381200
[startup+700.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106883 0 0 0 69770 236 0 0 25 0 1 0 896365698 390348800 94506 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95300 94506 1111 63 0 95237 0
vsize: 381200
[startup+710.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106883 0 0 0 70770 236 0 0 25 0 1 0 896365698 390348800 94506 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95300 94506 1111 63 0 95237 0
vsize: 381200
[startup+720.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106883 0 0 0 71769 237 0 0 25 0 1 0 896365698 390348800 94506 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95300 94506 1111 63 0 95237 0
vsize: 381200
[startup+730.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106883 0 0 0 72769 238 0 0 25 0 1 0 896365698 390348800 94506 4294967295 134512640 134716908 3221224576 3221223368 134597668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95300 94506 1111 63 0 95237 0
vsize: 381200
[startup+740.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106908 0 0 0 73768 239 0 0 25 0 1 0 896365698 390348800 94531 4294967295 134512640 134716908 3221224576 3221223232 134526979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95300 94531 1111 63 0 95237 0
vsize: 381200
[startup+750.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106927 0 0 0 74767 240 0 0 25 0 1 0 896365698 390479872 94550 4294967295 134512640 134716908 3221224576 3221223344 134592140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95332 94550 1111 63 0 95269 0
vsize: 381328
[startup+760.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106957 0 0 0 75767 241 0 0 25 0 1 0 896365698 390574080 94580 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95355 94580 1111 63 0 95292 0
vsize: 381420
[startup+770.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106964 0 0 0 76766 241 0 0 25 0 1 0 896365698 390623232 94587 4294967295 134512640 134716908 3221224576 3221223216 134698756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95367 94587 1111 63 0 95304 0
vsize: 381468
[startup+780.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106972 0 0 0 77765 242 0 0 25 0 1 0 896365698 390623232 94595 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95367 94595 1111 63 0 95304 0
vsize: 381468
[startup+790.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 106972 0 0 0 78764 243 0 0 25 0 1 0 896365698 390623232 94595 4294967295 134512640 134716908 3221224576 3221223184 134549324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95367 94595 1111 63 0 95304 0
vsize: 381468
[startup+800.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107016 0 0 0 79764 244 0 0 25 0 1 0 896365698 390762496 94634 4294967295 134512640 134716908 3221224576 3221223160 134543617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95401 94634 1111 63 0 95338 0
vsize: 381604
[startup+810.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107017 0 0 0 80763 245 0 0 25 0 1 0 896365698 390672384 94613 4294967295 134512640 134716908 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95379 94613 1111 63 0 95316 0
vsize: 381516
[startup+820.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107069 0 0 0 81762 246 0 0 25 0 1 0 896365698 390742016 94627 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95396 94627 1111 63 0 95333 0
vsize: 381584
[startup+830.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107069 0 0 0 82761 247 0 0 25 0 1 0 896365698 390725632 94626 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95392 94626 1111 63 0 95329 0
vsize: 381568
[startup+840.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107122 0 0 0 83760 248 0 0 25 0 1 0 896365698 391065600 94679 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95475 94679 1111 63 0 95412 0
vsize: 381900
[startup+850.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107164 0 0 0 84760 249 0 0 25 0 1 0 896365698 391188480 94721 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95505 94721 1111 63 0 95442 0
vsize: 382020
[startup+860.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107164 0 0 0 85760 249 0 0 25 0 1 0 896365698 391188480 94721 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95505 94721 1111 63 0 95442 0
vsize: 382020
[startup+870.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107164 0 0 0 86759 250 0 0 25 0 1 0 896365698 391188480 94721 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95505 94721 1111 63 0 95442 0
vsize: 382020
[startup+880.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107164 0 0 0 87758 251 0 0 25 0 1 0 896365698 391188480 94721 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95505 94721 1111 63 0 95442 0
vsize: 382020
[startup+890.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107194 0 0 0 88758 251 0 0 25 0 1 0 896365698 391323648 94751 4294967295 134512640 134716908 3221224576 3221223376 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95538 94751 1111 63 0 95475 0
vsize: 382152
[startup+900.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107197 0 0 0 89757 253 0 0 25 0 1 0 896365698 391282688 94754 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95528 94754 1111 63 0 95465 0
vsize: 382112
[startup+910.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107234 0 0 0 90756 253 0 0 25 0 1 0 896365698 391397376 94790 4294967295 134512640 134716908 3221224576 3221223320 134551620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95556 94790 1111 63 0 95493 0
vsize: 382224
[startup+920.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107234 0 0 0 91755 254 0 0 25 0 1 0 896365698 391397376 94790 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95556 94790 1111 63 0 95493 0
vsize: 382224
[startup+930.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107234 0 0 0 92755 255 0 0 25 0 1 0 896365698 391397376 94790 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95556 94790 1111 63 0 95493 0
vsize: 382224
[startup+940.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8942
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107234 0 0 0 93755 255 0 0 25 0 1 0 896365698 391397376 94790 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95556 94790 1111 63 0 95493 0
vsize: 382224
[startup+950.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107234 0 0 0 94754 256 0 0 25 0 1 0 896365698 391397376 94790 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95556 94790 1111 63 0 95493 0
vsize: 382224
[startup+960.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107234 0 0 0 95754 257 0 0 25 0 1 0 896365698 391397376 94790 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95556 94790 1111 63 0 95493 0
vsize: 382224
[startup+970.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107251 0 0 0 96753 257 0 0 25 0 1 0 896365698 391475200 94793 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95575 94793 1111 63 0 95512 0
vsize: 382300
[startup+980.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107263 0 0 0 97753 258 0 0 25 0 1 0 896365698 391475200 94805 4294967295 134512640 134716908 3221224576 3221223144 1077377239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95575 94805 1111 63 0 95512 0
vsize: 382300
[startup+990.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107263 0 0 0 98753 258 0 0 25 0 1 0 896365698 391450624 94802 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95569 94802 1111 63 0 95506 0
vsize: 382276
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107263 0 0 0 99752 259 0 0 25 0 1 0 896365698 391450624 94802 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95569 94802 1111 63 0 95506 0
vsize: 382276
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107263 0 0 0 100752 259 0 0 25 0 1 0 896365698 391450624 94802 4294967295 134512640 134716908 3221224576 3221223196 134536748 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95569 94802 1111 63 0 95506 0
vsize: 382276
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107263 0 0 0 101751 260 0 0 25 0 1 0 896365698 391450624 94802 4294967295 134512640 134716908 3221224576 3221223224 134542295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95569 94802 1111 63 0 95506 0
vsize: 382276
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107263 0 0 0 102751 261 0 0 25 0 1 0 896365698 391450624 94802 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95569 94802 1111 63 0 95506 0
vsize: 382276
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107275 0 0 0 103750 262 0 0 25 0 1 0 896365698 391585792 94814 4294967295 134512640 134716908 3221224576 3221223168 134539429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95602 94814 1111 63 0 95539 0
vsize: 382408
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107300 0 0 0 104750 262 0 0 25 0 1 0 896365698 391630848 94839 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95613 94839 1111 63 0 95550 0
vsize: 382452
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107300 0 0 0 105750 262 0 0 25 0 1 0 896365698 391630848 94839 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95613 94839 1111 63 0 95550 0
vsize: 382452
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107300 0 0 0 106750 263 0 0 25 0 1 0 896365698 391593984 94838 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95604 94838 1111 63 0 95541 0
vsize: 382416
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107300 0 0 0 107749 264 0 0 25 0 1 0 896365698 391593984 94838 4294967295 134512640 134716908 3221224576 3221223372 134588029 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95604 94838 1111 63 0 95541 0
vsize: 382416
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107300 0 0 0 108748 265 0 0 25 0 1 0 896365698 391593984 94838 4294967295 134512640 134716908 3221224576 3221223308 1076647540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95604 94838 1111 63 0 95541 0
vsize: 382416
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107300 0 0 0 109747 265 0 0 25 0 1 0 896365698 391593984 94838 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95604 94838 1111 63 0 95541 0
vsize: 382416
[startup+1110.02 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107300 0 0 0 110747 266 0 0 25 0 1 0 896365698 391593984 94838 4294967295 134512640 134716908 3221224576 3221223168 134542344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95604 94838 1111 63 0 95541 0
vsize: 382416
[startup+1120.02 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107312 0 0 0 111747 267 0 0 25 0 1 0 896365698 391729152 94850 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95637 94850 1111 63 0 95574 0
vsize: 382548
[startup+1130.02 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107316 0 0 0 112746 267 0 0 25 0 1 0 896365698 391729152 94854 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95637 94854 1111 63 0 95574 0
vsize: 382548
[startup+1140.02 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107322 0 0 0 113746 268 0 0 25 0 1 0 896365698 391729152 94860 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95637 94860 1111 63 0 95574 0
vsize: 382548
[startup+1150.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107322 0 0 0 114746 268 0 0 25 0 1 0 896365698 391593984 94838 4294967295 134512640 134716908 3221224576 3221222808 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95604 94838 1111 63 0 95541 0
vsize: 382416
[startup+1160.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107322 0 0 0 115745 269 0 0 25 0 1 0 896365698 391593984 94838 4294967295 134512640 134716908 3221224576 3221223252 134594374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95604 94838 1111 63 0 95541 0
vsize: 382416
[startup+1170.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107322 0 0 0 116744 270 0 0 25 0 1 0 896365698 391593984 94838 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95604 94838 1111 63 0 95541 0
vsize: 382416
[startup+1175.17 s]
Raw data (loadavg): 1.02 1.00 0.92 1/53 8944
Raw data (stat): 8887 (bsolo_lpr-v2) R 8886 7266 7265 0 -1 0 107322 0 0 0 116744 270 0 0 25 0 1 0 896365698 391593984 94838 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95604 94838 1111 63 0 95541 0
vsize: 0

Child status: 0
Real time (s): 1175.17
CPU time (s): 1175.3
CPU user time (s): 1172.41
CPU system time (s): 2.88156
CPU usage (%): 100.011
Max. virtual memory (Kb): 382608
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####