PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air04.opb
MD5SUM	26490113618ae9605b5ebe6370b5910b
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.120981
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 40380

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 08:37:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28442 boxname=wulflinc6 idbench=1398 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  26490113618ae9605b5ebe6370b5910b  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-air04.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-air04.opb
IDLAUNCH: 28442
/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:        918568 kB
Buffers:         14180 kB
Cached:          80256 kB
SwapCached:        968 kB
Active:          24328 kB
Inactive:        72160 kB
HighTotal:      131008 kB
HighFree:        50652 kB
LowTotal:       903652 kB
LowFree:        867916 kB
SwapTotal:     2097136 kB
SwapFree:      2095184 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13736 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 08:56:43 (client local time) WITH STATUS 0 IN 1175.21 SECONDS
stats: 28442 7 1175.21 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 386.159 s
c Initial Lower Bound: 55536
c Lower Bound Elapsed time: 18.8843
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.99 0.98 0.91 1/54 27974
Raw data (stat): 27974 (runsolver) R 27973 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900246473 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+9.9997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 37536 0 0 0 923 75 0 0 25 0 1 0 900246473 166756352 37456 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40712 37456 1111 63 0 40649 0
vsize: 162848
[startup+19.9998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 55087 0 0 0 1891 106 0 0 25 0 1 0 900246473 238710784 55007 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58279 55007 1111 63 0 58216 0
vsize: 233116
[startup+29.9999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 55983 0 0 0 2889 109 0 0 25 0 1 0 900246473 242360320 55903 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59170 55903 1111 63 0 59107 0
vsize: 236680
[startup+39.9996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 56861 0 0 0 3886 112 0 0 25 0 1 0 900246473 246009856 56781 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60061 56781 1111 63 0 59998 0
vsize: 240244
[startup+49.9992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 59251 0 0 0 4878 119 0 0 25 0 1 0 900246473 245972992 59128 4294967295 134512640 134716908 3221224576 3221223036 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60052 59131 1111 63 0 59989 0
vsize: 240208
[startup+59.9984 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 61998 0 0 0 5872 125 0 0 25 0 1 0 900246473 257208320 61875 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62795 61875 1111 63 0 62732 0
vsize: 251180
[startup+69.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 64597 0 0 0 6868 130 0 0 25 0 1 0 900246473 267776000 64474 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65375 64474 1111 63 0 65312 0
vsize: 261500
[startup+79.9987 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 66884 0 0 0 7863 135 0 0 25 0 1 0 900246473 277123072 66761 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67657 66761 1111 63 0 67594 0
vsize: 270628
[startup+89.9979 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 69126 0 0 0 8858 140 0 0 25 0 1 0 900246473 286334976 69003 4294967295 134512640 134716908 3221224576 3221222984 134543628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69906 69003 1111 63 0 69843 0
vsize: 279624
[startup+99.9977 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 71294 0 0 0 9855 143 0 0 25 0 1 0 900246473 295272448 71171 4294967295 134512640 134716908 3221224576 3221223056 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72088 71171 1111 63 0 72025 0
vsize: 288352
[startup+109.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 73386 0 0 0 10850 149 0 0 25 0 1 0 900246473 303812608 73263 4294967295 134512640 134716908 3221224576 3221223120 134584814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74173 73263 1111 63 0 74110 0
vsize: 296692
[startup+119.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 75284 0 0 0 11846 153 0 0 25 0 1 0 900246473 311525376 75161 4294967295 134512640 134716908 3221224576 3221223136 134535790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76056 75161 1111 63 0 75993 0
vsize: 304224
[startup+129.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 77131 0 0 0 12842 157 0 0 25 0 1 0 900246473 319111168 77008 4294967295 134512640 134716908 3221224576 3221223104 134528524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77908 77008 1111 63 0 77845 0
vsize: 311632
[startup+139.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 78807 0 0 0 13838 161 0 0 25 0 1 0 900246473 326021120 78684 4294967295 134512640 134716908 3221224576 3221223072 134543738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79595 78684 1111 63 0 79532 0
vsize: 318380
[startup+149.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 80504 0 0 0 14836 164 0 0 25 0 1 0 900246473 332935168 80381 4294967295 134512640 134716908 3221224576 3221222940 134539262 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81283 80381 1111 63 0 81220 0
vsize: 325132
[startup+159.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 82279 0 0 0 15832 168 0 0 25 0 1 0 900246473 340246528 82156 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83068 82156 1111 63 0 83005 0
vsize: 332272
[startup+169.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 83681 0 0 0 16831 170 0 0 25 0 1 0 900246473 345935872 83558 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84457 83558 1111 63 0 84394 0
vsize: 337828
[startup+179.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 85045 0 0 0 17829 172 0 0 25 0 1 0 900246473 351494144 84922 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85814 84922 1111 63 0 85751 0
vsize: 343256
[startup+189.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 86274 0 0 0 18827 175 0 0 25 0 1 0 900246473 356630528 86151 4294967295 134512640 134716908 3221224576 3221223040 134536700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87068 86151 1111 63 0 87005 0
vsize: 348272
[startup+199.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 87478 0 0 0 19825 177 0 0 25 0 1 0 900246473 361512960 87355 4294967295 134512640 134716908 3221224576 3221223056 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88260 87355 1111 63 0 88197 0
vsize: 353040
[startup+209.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 88519 0 0 0 20824 178 0 0 25 0 1 0 900246473 365850624 88396 4294967295 134512640 134716908 3221224576 3221222992 134543681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89319 88396 1111 63 0 89256 0
vsize: 357276
[startup+219.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 89421 0 0 0 21822 180 0 0 25 0 1 0 900246473 369520640 89298 4294967295 134512640 134716908 3221224576 3221222992 134542668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90215 89298 1111 63 0 90152 0
vsize: 360860
[startup+229.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 90255 0 0 0 22820 182 0 0 25 0 1 0 900246473 372908032 90132 4294967295 134512640 134716908 3221224576 3221222960 134542340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91042 90132 1111 63 0 90979 0
vsize: 364168
[startup+239.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 90991 0 0 0 23819 184 0 0 25 0 1 0 900246473 375889920 90868 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91770 90868 1111 63 0 91707 0
vsize: 367080
[startup+249.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 91580 0 0 0 24818 185 0 0 25 0 1 0 900246473 378331136 91457 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92366 91457 1111 63 0 92303 0
vsize: 369464
[startup+259.994 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 92027 0 0 0 25818 186 0 0 25 0 1 0 900246473 380096512 91904 4294967295 134512640 134716908 3221224576 3221222984 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92797 91904 1111 63 0 92734 0
vsize: 371188
[startup+269.994 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 92457 0 0 0 26817 187 0 0 25 0 1 0 900246473 381861888 92334 4294967295 134512640 134716908 3221224576 3221223056 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93228 92334 1111 63 0 93165 0
vsize: 372912
[startup+279.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 92849 0 0 0 27816 188 0 0 25 0 1 0 900246473 383488000 92726 4294967295 134512640 134716908 3221224576 3221222988 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93625 92726 1111 63 0 93562 0
vsize: 374500
[startup+289.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 92977 0 0 0 28816 188 0 0 25 0 1 0 900246473 384028672 92854 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93757 92854 1111 63 0 93694 0
vsize: 375028
[startup+299.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 92989 0 0 0 29817 188 0 0 25 0 1 0 900246473 384163840 92866 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92866 1111 63 0 93727 0
vsize: 375160
[startup+309.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 92995 0 0 0 30817 188 0 0 25 0 1 0 900246473 384163840 92872 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92872 1111 63 0 93727 0
vsize: 375160
[startup+319.991 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 93004 0 0 0 31817 188 0 0 25 0 1 0 900246473 384163840 92881 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92881 1111 63 0 93727 0
vsize: 375160
[startup+329.991 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 93007 0 0 0 32817 188 0 0 25 0 1 0 900246473 384163840 92884 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92884 1111 63 0 93727 0
vsize: 375160
[startup+339.991 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 93008 0 0 0 33818 188 0 0 25 0 1 0 900246473 384163840 92885 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92885 1111 63 0 93727 0
vsize: 375160
[startup+349.991 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 93012 0 0 0 34818 188 0 0 25 0 1 0 900246473 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+359.991 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 93017 0 0 0 35818 188 0 0 25 0 1 0 900246473 384163840 92894 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92894 1111 63 0 93727 0
vsize: 375160
[startup+369.99 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 93020 0 0 0 36819 188 0 0 25 0 1 0 900246473 384163840 92897 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92897 1111 63 0 93727 0
vsize: 375160
[startup+379.99 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 93022 0 0 0 37819 188 0 0 25 0 1 0 900246473 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+389.99 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 93943 0 0 0 38816 191 0 0 25 0 1 0 900246473 387657728 93753 4294967295 134512640 134716908 3221224576 3221222544 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94643 93753 1111 63 0 94580 0
vsize: 378572
[startup+399.99 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 96054 0 0 0 39810 197 0 0 25 0 1 0 900246473 391663616 94792 4294967295 134512640 134716908 3221224576 3221220524 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95621 94792 1111 63 0 95558 0
vsize: 382484
[startup+409.99 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 96111 0 0 0 40811 197 0 0 25 0 1 0 900246473 391790592 94828 4294967295 134512640 134716908 3221224576 3221220524 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94828 1111 63 0 95589 0
vsize: 382608
[startup+419.989 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 96111 0 0 0 41811 197 0 0 25 0 1 0 900246473 391790592 94828 4294967295 134512640 134716908 3221224576 3221220640 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94828 1111 63 0 95589 0
vsize: 382608
[startup+429.989 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 96127 0 0 0 42811 197 0 0 25 0 1 0 900246473 391790592 94830 4294967295 134512640 134716908 3221224576 3221220336 1074868495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94830 1111 63 0 95589 0
vsize: 382608
[startup+439.989 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 96141 0 0 0 43812 197 0 0 25 0 1 0 900246473 391790592 94844 4294967295 134512640 134716908 3221224576 3221221400 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94844 1111 63 0 95589 0
vsize: 382608
[startup+449.988 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 96141 0 0 0 44812 197 0 0 25 0 1 0 900246473 391790592 94844 4294967295 134512640 134716908 3221224576 3221220336 1074868863 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94844 1111 63 0 95589 0
vsize: 382608
[startup+459.989 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 101188 0 0 0 45802 207 0 0 25 0 1 0 900246473 390492160 94465 4294967295 134512640 134716908 3221224576 3221222760 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95335 94475 1111 63 0 95272 0
vsize: 381340
[startup+469.989 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106321 0 0 0 46789 220 0 0 25 0 1 0 900246473 388141056 93995 4294967295 134512640 134716908 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94761 93995 1111 63 0 94698 0
vsize: 379044
[startup+479.989 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106321 0 0 0 47789 220 0 0 25 0 1 0 900246473 388141056 93995 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94761 93995 1111 63 0 94698 0
vsize: 379044
[startup+489.989 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106342 0 0 0 48788 221 0 0 25 0 1 0 900246473 388276224 94016 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94794 94016 1111 63 0 94731 0
vsize: 379176
[startup+499.989 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106388 0 0 0 49788 222 0 0 25 0 1 0 900246473 388456448 94062 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94838 94062 1111 63 0 94775 0
vsize: 379352
[startup+509.988 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106435 0 0 0 50787 223 0 0 25 0 1 0 900246473 388706304 94109 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94899 94109 1111 63 0 94836 0
vsize: 379596
[startup+519.989 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106472 0 0 0 51786 224 0 0 25 0 1 0 900246473 388829184 94146 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94929 94146 1111 63 0 94866 0
vsize: 379716
[startup+529.988 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106531 0 0 0 52785 225 0 0 25 0 1 0 900246473 389099520 94205 4294967295 134512640 134716908 3221224576 3221223168 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94995 94205 1111 63 0 94932 0
vsize: 379980
[startup+539.988 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106623 0 0 0 53785 226 0 0 25 0 1 0 900246473 389480448 94297 4294967295 134512640 134716908 3221224576 3221223180 134536781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95088 94297 1111 63 0 95025 0
vsize: 380352
[startup+549.988 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106633 0 0 0 54785 226 0 0 25 0 1 0 900246473 389406720 94302 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95070 94302 1111 63 0 95007 0
vsize: 380280
[startup+559.988 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106694 0 0 0 55785 227 0 0 25 0 1 0 900246473 389779456 94363 4294967295 134512640 134716908 3221224576 3221223216 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95161 94363 1111 63 0 95098 0
vsize: 380644
[startup+569.988 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106694 0 0 0 56785 227 0 0 25 0 1 0 900246473 389541888 94337 4294967295 134512640 134716908 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95103 94337 1111 63 0 95040 0
vsize: 380412
[startup+579.989 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106732 0 0 0 57784 228 0 0 25 0 1 0 900246473 389791744 94375 4294967295 134512640 134716908 3221224576 3221223200 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95164 94375 1111 63 0 95101 0
vsize: 380656
[startup+589.988 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106751 0 0 0 58784 229 0 0 25 0 1 0 900246473 389791744 94394 4294967295 134512640 134716908 3221224576 3221223160 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95164 94394 1111 63 0 95101 0
vsize: 380656
[startup+599.989 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106751 0 0 0 59784 229 0 0 25 0 1 0 900246473 389693440 94374 4294967295 134512640 134716908 3221224576 3221223280 134524477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95140 94374 1111 63 0 95077 0
vsize: 380560
[startup+609.988 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106803 0 0 0 60783 230 0 0 25 0 1 0 900246473 390033408 94426 4294967295 134512640 134716908 3221224576 3221223340 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95223 94426 1111 63 0 95160 0
vsize: 380892
[startup+619.988 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106803 0 0 0 61783 230 0 0 25 0 1 0 900246473 389943296 94426 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95201 94426 1111 63 0 95138 0
vsize: 380804
[startup+629.987 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106803 0 0 0 62783 230 0 0 25 0 1 0 900246473 389943296 94426 4294967295 134512640 134716908 3221224576 3221223152 134698599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95201 94426 1111 63 0 95138 0
vsize: 380804
[startup+639.987 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106806 0 0 0 63783 231 0 0 25 0 1 0 900246473 389943296 94429 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95201 94429 1111 63 0 95138 0
vsize: 380804
[startup+649.987 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106806 0 0 0 64783 231 0 0 25 0 1 0 900246473 389943296 94429 4294967295 134512640 134716908 3221224576 3221223376 134597560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95201 94429 1111 63 0 95138 0
vsize: 380804
[startup+659.987 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106806 0 0 0 65783 232 0 0 25 0 1 0 900246473 389943296 94429 4294967295 134512640 134716908 3221224576 3221223132 134539329 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95201 94429 1111 63 0 95138 0
vsize: 380804
[startup+669.988 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106806 0 0 0 66783 232 0 0 25 0 1 0 900246473 389943296 94429 4294967295 134512640 134716908 3221224576 3221223328 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95201 94429 1111 63 0 95138 0
vsize: 380804
[startup+679.988 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106847 0 0 0 67783 233 0 0 25 0 1 0 900246473 390213632 94470 4294967295 134512640 134716908 3221224576 3221223132 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95267 94470 1111 63 0 95204 0
vsize: 381068
[startup+689.99 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106883 0 0 0 68782 234 0 0 25 0 1 0 900246473 390348800 94506 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95300 94506 1111 63 0 95237 0
vsize: 381200
[startup+699.99 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106883 0 0 0 69782 234 0 0 25 0 1 0 900246473 390348800 94506 4294967295 134512640 134716908 3221224576 3221223272 134543665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95300 94506 1111 63 0 95237 0
vsize: 381200
[startup+709.99 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106883 0 0 0 70783 234 0 0 25 0 1 0 900246473 390348800 94506 4294967295 134512640 134716908 3221224576 3221223164 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95300 94506 1111 63 0 95237 0
vsize: 381200
[startup+719.99 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106883 0 0 0 71782 235 0 0 25 0 1 0 900246473 390348800 94506 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95300 94506 1111 63 0 95237 0
vsize: 381200
[startup+729.99 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106883 0 0 0 72782 235 0 0 25 0 1 0 900246473 390348800 94506 4294967295 134512640 134716908 3221224576 3221223328 134592373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95300 94506 1111 63 0 95237 0
vsize: 381200
[startup+739.991 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106883 0 0 0 73782 236 0 0 25 0 1 0 900246473 390348800 94506 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95300 94506 1111 63 0 95237 0
vsize: 381200
[startup+749.991 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106908 0 0 0 74781 237 0 0 25 0 1 0 900246473 390348800 94531 4294967295 134512640 134716908 3221224576 3221223216 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95300 94531 1111 63 0 95237 0
vsize: 381200
[startup+759.991 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106942 0 0 0 75781 237 0 0 25 0 1 0 900246473 390479872 94565 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95332 94565 1111 63 0 95269 0
vsize: 381328
[startup+769.991 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106957 0 0 0 76781 238 0 0 25 0 1 0 900246473 390545408 94580 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95348 94580 1111 63 0 95285 0
vsize: 381392
[startup+779.991 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106964 0 0 0 77781 239 0 0 25 0 1 0 900246473 390623232 94587 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95367 94587 1111 63 0 95304 0
vsize: 381468
[startup+789.991 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106972 0 0 0 78781 239 0 0 25 0 1 0 900246473 390623232 94595 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95367 94595 1111 63 0 95304 0
vsize: 381468
[startup+799.991 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 106984 0 0 0 79780 240 0 0 25 0 1 0 900246473 390762496 94607 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95401 94607 1111 63 0 95338 0
vsize: 381604
[startup+809.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107016 0 0 0 80780 240 0 0 25 0 1 0 900246473 390701056 94619 4294967295 134512640 134716908 3221224576 3221223144 1077377891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95386 94619 1111 63 0 95323 0
vsize: 381544
[startup+819.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107037 0 0 0 81781 240 0 0 25 0 1 0 900246473 390807552 94633 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95412 94633 1111 63 0 95349 0
vsize: 381648
[startup+829.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107069 0 0 0 82780 241 0 0 25 0 1 0 900246473 390742016 94627 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95396 94627 1111 63 0 95333 0
vsize: 381584
[startup+839.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107069 0 0 0 83780 241 0 0 25 0 1 0 900246473 390725632 94626 4294967295 134512640 134716908 3221224576 3221223320 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95392 94626 1111 63 0 95329 0
vsize: 381568
[startup+849.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107152 0 0 0 84780 242 0 0 25 0 1 0 900246473 391065600 94709 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95475 94709 1111 63 0 95412 0
vsize: 381900
[startup+859.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107164 0 0 0 85780 242 0 0 25 0 1 0 900246473 391188480 94721 4294967295 134512640 134716908 3221224576 3221223168 134543681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95505 94721 1111 63 0 95442 0
vsize: 382020
[startup+869.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107164 0 0 0 86780 243 0 0 25 0 1 0 900246473 391188480 94721 4294967295 134512640 134716908 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95505 94721 1111 63 0 95442 0
vsize: 382020
[startup+879.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107164 0 0 0 87780 243 0 0 25 0 1 0 900246473 391188480 94721 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95505 94721 1111 63 0 95442 0
vsize: 382020
[startup+889.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107164 0 0 0 88780 243 0 0 25 0 1 0 900246473 391188480 94721 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95505 94721 1111 63 0 95442 0
vsize: 382020
[startup+899.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107194 0 0 0 89780 244 0 0 25 0 1 0 900246473 391323648 94751 4294967295 134512640 134716908 3221224576 3221223304 134532457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95538 94751 1111 63 0 95475 0
vsize: 382152
[startup+909.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107194 0 0 0 90780 244 0 0 25 0 1 0 900246473 391282688 94751 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95528 94751 1111 63 0 95465 0
vsize: 382112
[startup+919.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107234 0 0 0 91780 245 0 0 25 0 1 0 900246473 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+929.994 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107234 0 0 0 92780 245 0 0 25 0 1 0 900246473 391397376 94790 4294967295 134512640 134716908 3221224576 3221223164 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95556 94790 1111 63 0 95493 0
vsize: 382224
[startup+939.994 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107234 0 0 0 93780 245 0 0 25 0 1 0 900246473 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+949.994 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107234 0 0 0 94779 246 0 0 25 0 1 0 900246473 391397376 94790 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95556 94790 1111 63 0 95493 0
vsize: 382224
[startup+959.994 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107234 0 0 0 95780 246 0 0 25 0 1 0 900246473 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+969.994 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107234 0 0 0 96779 246 0 0 25 0 1 0 900246473 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+979.994 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107234 0 0 0 97779 247 0 0 25 0 1 0 900246473 391340032 94776 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95542 94776 1111 63 0 95479 0
vsize: 382168
[startup+989.994 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107263 0 0 0 98779 247 0 0 25 0 1 0 900246473 391475200 94805 4294967295 134512640 134716908 3221224576 3221223152 134698602 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95575 94805 1111 63 0 95512 0
vsize: 382300
[startup+999.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107263 0 0 0 99779 248 0 0 25 0 1 0 900246473 391450624 94802 4294967295 134512640 134716908 3221224576 3221223320 134558492 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 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107263 0 0 0 100779 248 0 0 25 0 1 0 900246473 391450624 94802 4294967295 134512640 134716908 3221224576 3221223084 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95569 94802 1111 63 0 95506 0
vsize: 382276
[startup+1019.99 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107263 0 0 0 101779 249 0 0 25 0 1 0 900246473 391450624 94802 4294967295 134512640 134716908 3221224576 3221223216 134539362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95569 94802 1111 63 0 95506 0
vsize: 382276
[startup+1029.99 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107263 0 0 0 102779 249 0 0 25 0 1 0 900246473 391450624 94802 4294967295 134512640 134716908 3221224576 3221223136 134542352 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 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107263 0 0 0 103779 249 0 0 25 0 1 0 900246473 391450624 94802 4294967295 134512640 134716908 3221224576 3221223216 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95569 94802 1111 63 0 95506 0
vsize: 382276
[startup+1050 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107275 0 0 0 104779 250 0 0 25 0 1 0 900246473 391585792 94814 4294967295 134512640 134716908 3221224576 3221223332 134655248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95602 94814 1111 63 0 95539 0
vsize: 382408
[startup+1060 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107300 0 0 0 105779 250 0 0 25 0 1 0 900246473 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 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107300 0 0 0 106779 250 0 0 25 0 1 0 900246473 391630848 94839 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95613 94839 1111 63 0 95550 0
vsize: 382452
[startup+1080 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107300 0 0 0 107780 250 0 0 25 0 1 0 900246473 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+1090 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107300 0 0 0 108779 251 0 0 25 0 1 0 900246473 391593984 94838 4294967295 134512640 134716908 3221224576 3221223316 134552122 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 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107300 0 0 0 109779 251 0 0 25 0 1 0 900246473 391593984 94838 4294967295 134512640 134716908 3221224576 3221223116 134539237 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 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107300 0 0 0 110779 252 0 0 25 0 1 0 900246473 391593984 94838 4294967295 134512640 134716908 3221224576 3221223368 134558582 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 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107300 0 0 0 111779 252 0 0 25 0 1 0 900246473 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+1130 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107312 0 0 0 112779 253 0 0 25 0 1 0 900246473 391729152 94850 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95637 94850 1111 63 0 95574 0
vsize: 382548
[startup+1140 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107316 0 0 0 113779 253 0 0 25 0 1 0 900246473 391729152 94854 4294967295 134512640 134716908 3221224576 3221223212 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95637 94854 1111 63 0 95574 0
vsize: 382548
[startup+1150 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107322 0 0 0 114779 253 0 0 25 0 1 0 900246473 391729152 94860 4294967295 134512640 134716908 3221224576 3221223572 134574828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95637 94860 1111 63 0 95574 0
vsize: 382548
[startup+1160 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107322 0 0 0 115779 253 0 0 25 0 1 0 900246473 391593984 94838 4294967295 134512640 134716908 3221224576 3221223184 134549480 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 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107322 0 0 0 116779 254 0 0 25 0 1 0 900246473 391593984 94838 4294967295 134512640 134716908 3221224576 3221223304 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95604 94838 1111 63 0 95541 0
vsize: 382416
[startup+1174.86 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 27974
Raw data (stat): 27974 (bsolo_lpr-v2) R 27973 25568 25567 0 -1 0 107322 0 0 0 116779 254 0 0 25 0 1 0 900246473 391593984 94838 4294967295 134512640 134716908 3221224576 3221223304 134543804 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): 1174.86
CPU time (s): 1175.21
CPU user time (s): 1172.49
CPU system time (s): 2.71859
CPU usage (%): 100.029
Max. virtual memory (Kb): 382608
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####