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/miplib3/normalized-mps-v2-20-10-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.116981
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 40000

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 00:16:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28058 boxname=wulflinc4 idbench=1014 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  26490113618ae9605b5ebe6370b5910b  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-air04.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-air04.opb
IDLAUNCH: 28058
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        893104 kB
Buffers:          1848 kB
Cached:         117836 kB
SwapCached:        948 kB
Active:          24112 kB
Inactive:        97688 kB
HighTotal:      131008 kB
HighFree:        16100 kB
LowTotal:       903652 kB
LowFree:        877004 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4884 kB
Slab:            14232 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 00:35:36 (client local time) WITH STATUS 0 IN 1175.19 SECONDS
stats: 28058 7 1175.19 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.052 s
c Initial Lower Bound: 55536
c Lower Bound Elapsed time: 19.042
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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): 1.00 0.97 0.91 1/54 23413
Raw data (stat): 23413 (runsolver) R 23412 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897230818 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.0007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 37938 0 0 0 923 73 0 0 25 0 1 0 897230818 168402944 37858 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41114 37858 1111 63 0 41051 0
vsize: 164456
[startup+20.0011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 55096 0 0 0 1892 104 0 0 25 0 1 0 897230818 238710784 55016 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58279 55016 1111 63 0 58216 0
vsize: 233116
[startup+30.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 55989 0 0 0 2889 106 0 0 25 0 1 0 897230818 242360320 55909 4294967295 134512640 134716908 3221224576 3221222860 1077399560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59170 55909 1111 63 0 59107 0
vsize: 236680
[startup+40.0024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 56868 0 0 0 3886 109 0 0 25 0 1 0 897230818 246009856 56788 4294967295 134512640 134716908 3221224576 3221222880 134566768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60061 56788 1111 63 0 59998 0
vsize: 240244
[startup+50.0028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 59287 0 0 0 4880 115 0 0 25 0 1 0 897230818 246108160 59164 4294967295 134512640 134716908 3221224576 3221223200 134529003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60085 59164 1111 63 0 60022 0
vsize: 240340
[startup+60.0025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 62036 0 0 0 5875 120 0 0 25 0 1 0 897230818 257343488 61913 4294967295 134512640 134716908 3221224576 3221222976 134542812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62828 61913 1111 63 0 62765 0
vsize: 251312
[startup+70.0038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 64612 0 0 0 6871 124 0 0 25 0 1 0 897230818 267911168 64489 4294967295 134512640 134716908 3221224576 3221223072 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65408 64489 1111 63 0 65345 0
vsize: 261632
[startup+80.0042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 66912 0 0 0 7868 128 0 0 25 0 1 0 897230818 277258240 66789 4294967295 134512640 134716908 3221224576 3221222988 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67690 66789 1111 63 0 67627 0
vsize: 270760
[startup+90.0054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 69159 0 0 0 8864 132 0 0 25 0 1 0 897230818 286470144 69036 4294967295 134512640 134716908 3221224576 3221223100 134528413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69939 69036 1111 63 0 69876 0
vsize: 279756
[startup+100.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 71315 0 0 0 9859 137 0 0 25 0 1 0 897230818 295272448 71192 4294967295 134512640 134716908 3221224576 3221223304 134675279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72088 71192 1111 63 0 72025 0
vsize: 288352
[startup+110.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 73416 0 0 0 10855 141 0 0 25 0 1 0 897230818 303947776 73293 4294967295 134512640 134716908 3221224576 3221223084 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74206 73293 1111 63 0 74143 0
vsize: 296824
[startup+120.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 75311 0 0 0 11852 144 0 0 25 0 1 0 897230818 311660544 75188 4294967295 134512640 134716908 3221224576 3221223232 134594880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76089 75188 1111 63 0 76026 0
vsize: 304356
[startup+130.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 77157 0 0 0 12848 148 0 0 25 0 1 0 897230818 319246336 77034 4294967295 134512640 134716908 3221224576 3221222992 134543710 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77941 77034 1111 63 0 77878 0
vsize: 311764
[startup+140.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 78824 0 0 0 13844 152 0 0 25 0 1 0 897230818 326021120 78701 4294967295 134512640 134716908 3221224576 3221222992 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79595 78701 1111 63 0 79532 0
vsize: 318380
[startup+150.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 80522 0 0 0 14841 156 0 0 25 0 1 0 897230818 333070336 80399 4294967295 134512640 134716908 3221224576 3221222956 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81316 80399 1111 63 0 81253 0
vsize: 325264
[startup+160.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 82298 0 0 0 15837 160 0 0 25 0 1 0 897230818 340246528 82175 4294967295 134512640 134716908 3221224576 3221222992 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83068 82175 1111 63 0 83005 0
vsize: 332272
[startup+170.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 83699 0 0 0 16834 163 0 0 25 0 1 0 897230818 346075136 83576 4294967295 134512640 134716908 3221224576 3221223376 134617640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84491 83576 1111 63 0 84428 0
vsize: 337964
[startup+180.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 85056 0 0 0 17832 166 0 0 25 0 1 0 897230818 351629312 84933 4294967295 134512640 134716908 3221224576 3221223040 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85847 84933 1111 63 0 85784 0
vsize: 343388
[startup+190.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 86289 0 0 0 18829 168 0 0 25 0 1 0 897230818 356630528 86166 4294967295 134512640 134716908 3221224576 3221223192 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87068 86166 1111 63 0 87005 0
vsize: 348272
[startup+200.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 87488 0 0 0 19827 171 0 0 25 0 1 0 897230818 361512960 87365 4294967295 134512640 134716908 3221224576 3221222956 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88260 87365 1111 63 0 88197 0
vsize: 353040
[startup+210.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 88529 0 0 0 20824 174 0 0 25 0 1 0 897230818 365850624 88406 4294967295 134512640 134716908 3221224576 3221223368 134617134 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89319 88406 1111 63 0 89256 0
vsize: 357276
[startup+220.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 89425 0 0 0 21822 176 0 0 25 0 1 0 897230818 369520640 89302 4294967295 134512640 134716908 3221224576 3221223056 134539356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90215 89302 1111 63 0 90152 0
vsize: 360860
[startup+230.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 90262 0 0 0 22821 177 0 0 25 0 1 0 897230818 372908032 90139 4294967295 134512640 134716908 3221224576 3221222952 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91042 90139 1111 63 0 90979 0
vsize: 364168
[startup+240.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 90994 0 0 0 23819 179 0 0 25 0 1 0 897230818 375889920 90871 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91770 90871 1111 63 0 91707 0
vsize: 367080
[startup+250.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 91584 0 0 0 24819 180 0 0 25 0 1 0 897230818 378331136 91461 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92366 91461 1111 63 0 92303 0
vsize: 369464
[startup+260.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 92030 0 0 0 25818 181 0 0 25 0 1 0 897230818 380231680 91907 4294967295 134512640 134716908 3221224576 3221222956 134539324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92830 91907 1111 63 0 92767 0
vsize: 371320
[startup+270.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 92459 0 0 0 26817 182 0 0 25 0 1 0 897230818 381861888 92336 4294967295 134512640 134716908 3221224576 3221223064 134539351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93228 92336 1111 63 0 93165 0
vsize: 372912
[startup+280.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 92854 0 0 0 27816 183 0 0 25 0 1 0 897230818 383488000 92731 4294967295 134512640 134716908 3221224576 3221222908 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93625 92731 1111 63 0 93562 0
vsize: 374500
[startup+290.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 92977 0 0 0 28816 183 0 0 25 0 1 0 897230818 384028672 92854 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93757 92854 1111 63 0 93694 0
vsize: 375028
[startup+300.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 92989 0 0 0 29816 183 0 0 25 0 1 0 897230818 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+310.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 92995 0 0 0 30817 183 0 0 25 0 1 0 897230818 384163840 92872 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92872 1111 63 0 93727 0
vsize: 375160
[startup+320.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 93004 0 0 0 31817 183 0 0 25 0 1 0 897230818 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+330.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 93007 0 0 0 32817 183 0 0 25 0 1 0 897230818 384163840 92884 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92884 1111 63 0 93727 0
vsize: 375160
[startup+340.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 93008 0 0 0 33817 183 0 0 25 0 1 0 897230818 384163840 92885 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92885 1111 63 0 93727 0
vsize: 375160
[startup+350.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 93012 0 0 0 34818 183 0 0 25 0 1 0 897230818 384163840 92889 4294967295 134512640 134716908 3221224576 3221223240 134627211 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.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 93017 0 0 0 35818 183 0 0 25 0 1 0 897230818 384163840 92894 4294967295 134512640 134716908 3221224576 3221223248 134627266 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.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 93020 0 0 0 36818 183 0 0 25 0 1 0 897230818 384163840 92897 4294967295 134512640 134716908 3221224576 3221223248 134627200 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93790 92897 1111 63 0 93727 0
vsize: 375160
[startup+380.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 93022 0 0 0 37818 183 0 0 25 0 1 0 897230818 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.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 93943 0 0 0 38815 186 0 0 25 0 1 0 897230818 387657728 93753 4294967295 134512640 134716908 3221224576 3221222456 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94643 93753 1111 63 0 94580 0
vsize: 378572
[startup+400.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 96054 0 0 0 39811 191 0 0 25 0 1 0 897230818 391663616 94792 4294967295 134512640 134716908 3221224576 3221220524 1074873424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95621 94792 1111 63 0 95558 0
vsize: 382484
[startup+410.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 96111 0 0 0 40811 191 0 0 25 0 1 0 897230818 391790592 94828 4294967295 134512640 134716908 3221224576 3221220524 1074873547 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.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 96111 0 0 0 41811 191 0 0 25 0 1 0 897230818 391790592 94828 4294967295 134512640 134716908 3221224576 3221220484 1074875766 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.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 96111 0 0 0 42811 191 0 0 25 0 1 0 897230818 391790592 94828 4294967295 134512640 134716908 3221224576 3221220464 1074875065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94828 1111 63 0 95589 0
vsize: 382608
[startup+440.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 96141 0 0 0 43811 191 0 0 25 0 1 0 897230818 391790592 94844 4294967295 134512640 134716908 3221224576 3221220336 1074868532 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.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 96141 0 0 0 44811 191 0 0 25 0 1 0 897230818 391790592 94844 4294967295 134512640 134716908 3221224576 3221220640 1074794528 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.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 99390 0 0 0 45805 198 0 0 25 0 1 0 897230818 389316608 94054 4294967295 134512640 134716908 3221224576 3221222392 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95048 94064 1111 63 0 94985 0
vsize: 380192
[startup+470.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106321 0 0 0 46788 214 0 0 25 0 1 0 897230818 388141056 93995 4294967295 134512640 134716908 3221224576 3221223216 134613447 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.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106321 0 0 0 47788 215 0 0 25 0 1 0 897230818 388141056 93995 4294967295 134512640 134716908 3221224576 3221223148 134613972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94761 93995 1111 63 0 94698 0
vsize: 379044
[startup+490.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106342 0 0 0 48787 216 0 0 25 0 1 0 897230818 388276224 94016 4294967295 134512640 134716908 3221224576 3221223216 134698448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94794 94016 1111 63 0 94731 0
vsize: 379176
[startup+500.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106388 0 0 0 49786 217 0 0 25 0 1 0 897230818 388456448 94062 4294967295 134512640 134716908 3221224576 3221223168 134543684 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94838 94062 1111 63 0 94775 0
vsize: 379352
[startup+510.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106435 0 0 0 50785 218 0 0 25 0 1 0 897230818 388706304 94109 4294967295 134512640 134716908 3221224576 3221223312 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94899 94109 1111 63 0 94836 0
vsize: 379596
[startup+520.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106454 0 0 0 51784 219 0 0 25 0 1 0 897230818 388706304 94128 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94899 94128 1111 63 0 94836 0
vsize: 379596
[startup+530.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106531 0 0 0 52783 221 0 0 25 0 1 0 897230818 389099520 94205 4294967295 134512640 134716908 3221224576 3221223136 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94995 94205 1111 63 0 94932 0
vsize: 379980
[startup+540.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106616 0 0 0 53783 222 0 0 25 0 1 0 897230818 389369856 94290 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95061 94290 1111 63 0 94998 0
vsize: 380244
[startup+550.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106633 0 0 0 54782 222 0 0 25 0 1 0 897230818 389406720 94302 4294967295 134512640 134716908 3221224576 3221223360 134594903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95070 94302 1111 63 0 95007 0
vsize: 380280
[startup+560.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106694 0 0 0 55782 223 0 0 25 0 1 0 897230818 389779456 94363 4294967295 134512640 134716908 3221224576 3221223184 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95161 94363 1111 63 0 95098 0
vsize: 380644
[startup+570.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106694 0 0 0 56782 223 0 0 25 0 1 0 897230818 389541888 94337 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95103 94337 1111 63 0 95040 0
vsize: 380412
[startup+580.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106732 0 0 0 57781 224 0 0 25 0 1 0 897230818 389791744 94375 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95164 94375 1111 63 0 95101 0
vsize: 380656
[startup+590.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106751 0 0 0 58781 224 0 0 25 0 1 0 897230818 389791744 94394 4294967295 134512640 134716908 3221224576 3221223280 134535812 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.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106751 0 0 0 59780 225 0 0 25 0 1 0 897230818 389693440 94374 4294967295 134512640 134716908 3221224576 3221223188 134549501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95140 94374 1111 63 0 95077 0
vsize: 380560
[startup+610.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106803 0 0 0 60780 226 0 0 25 0 1 0 897230818 390033408 94426 4294967295 134512640 134716908 3221224576 3221223160 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95223 94426 1111 63 0 95160 0
vsize: 380892
[startup+620.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106803 0 0 0 61779 226 0 0 25 0 1 0 897230818 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+630.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106803 0 0 0 62779 227 0 0 25 0 1 0 897230818 389943296 94426 4294967295 134512640 134716908 3221224576 3221223184 134549463 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.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106806 0 0 0 63779 227 0 0 25 0 1 0 897230818 389943296 94429 4294967295 134512640 134716908 3221224576 3221223500 1077781665 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.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106806 0 0 0 64779 227 0 0 25 0 1 0 897230818 389943296 94429 4294967295 134512640 134716908 3221224576 3221223184 134549296 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.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106806 0 0 0 65779 228 0 0 25 0 1 0 897230818 389943296 94429 4294967295 134512640 134716908 3221224576 3221223500 1077781665 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.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106806 0 0 0 66778 228 0 0 25 0 1 0 897230818 389943296 94429 4294967295 134512640 134716908 3221224576 3221223204 134536674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95201 94429 1111 63 0 95138 0
vsize: 380804
[startup+680.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106847 0 0 0 67778 229 0 0 25 0 1 0 897230818 390213632 94470 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95267 94470 1111 63 0 95204 0
vsize: 381068
[startup+690.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106883 0 0 0 68778 229 0 0 25 0 1 0 897230818 390348800 94506 4294967295 134512640 134716908 3221224576 3221223352 134613558 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.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106883 0 0 0 69778 230 0 0 25 0 1 0 897230818 390348800 94506 4294967295 134512640 134716908 3221224576 3221223104 134543030 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.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106883 0 0 0 70777 230 0 0 25 0 1 0 897230818 390348800 94506 4294967295 134512640 134716908 3221224576 3221223136 134542352 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.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106883 0 0 0 71777 231 0 0 25 0 1 0 897230818 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+730.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106883 0 0 0 72777 231 0 0 25 0 1 0 897230818 390348800 94506 4294967295 134512640 134716908 3221224576 3221223132 134539265 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.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106883 0 0 0 73776 232 0 0 25 0 1 0 897230818 390348800 94506 4294967295 134512640 134716908 3221224576 3221223168 134542344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95300 94506 1111 63 0 95237 0
vsize: 381200
[startup+750.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106908 0 0 0 74776 233 0 0 25 0 1 0 897230818 390348800 94531 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95300 94531 1111 63 0 95237 0
vsize: 381200
[startup+760.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106942 0 0 0 75775 233 0 0 25 0 1 0 897230818 390479872 94565 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95332 94565 1111 63 0 95269 0
vsize: 381328
[startup+770.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106957 0 0 0 76775 233 0 0 25 0 1 0 897230818 390545408 94580 4294967295 134512640 134716908 3221224576 3221223052 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95348 94580 1111 63 0 95285 0
vsize: 381392
[startup+780.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106964 0 0 0 77774 234 0 0 25 0 1 0 897230818 390623232 94587 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95367 94587 1111 63 0 95304 0
vsize: 381468
[startup+790.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106972 0 0 0 78773 236 0 0 25 0 1 0 897230818 390623232 94595 4294967295 134512640 134716908 3221224576 3221223328 134594970 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.03 s]
Raw data (loadavg): 1.00 0.97 0.91 3/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 106985 0 0 0 79773 236 0 0 25 0 1 0 897230818 390762496 94608 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95401 94608 1111 63 0 95338 0
vsize: 381604
[startup+810.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107016 0 0 0 80773 236 0 0 25 0 1 0 897230818 390701056 94619 4294967295 134512640 134716908 3221224576 3221223160 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95386 94619 1111 63 0 95323 0
vsize: 381544
[startup+820.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107037 0 0 0 81773 237 0 0 25 0 1 0 897230818 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+830.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107069 0 0 0 82772 238 0 0 25 0 1 0 897230818 390742016 94627 4294967295 134512640 134716908 3221224576 3221223372 134554961 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95396 94627 1111 63 0 95333 0
vsize: 381584
[startup+840.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107069 0 0 0 83772 238 0 0 25 0 1 0 897230818 390725632 94626 4294967295 134512640 134716908 3221224576 3221223328 134584866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95392 94626 1111 63 0 95329 0
vsize: 381568
[startup+850.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107152 0 0 0 84772 238 0 0 25 0 1 0 897230818 391065600 94709 4294967295 134512640 134716908 3221224576 3221223200 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95475 94709 1111 63 0 95412 0
vsize: 381900
[startup+860.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107164 0 0 0 85771 239 0 0 25 0 1 0 897230818 391188480 94721 4294967295 134512640 134716908 3221224576 3221223184 134549470 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.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107164 0 0 0 86771 239 0 0 25 0 1 0 897230818 391188480 94721 4294967295 134512640 134716908 3221224576 3221223184 134549296 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.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107164 0 0 0 87771 240 0 0 25 0 1 0 897230818 391188480 94721 4294967295 134512640 134716908 3221224576 3221223204 1077374082 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.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107164 0 0 0 88770 241 0 0 25 0 1 0 897230818 391188480 94721 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95505 94721 1111 63 0 95442 0
vsize: 382020
[startup+900.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107194 0 0 0 89770 241 0 0 25 0 1 0 897230818 391323648 94751 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95538 94751 1111 63 0 95475 0
vsize: 382152
[startup+910.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107197 0 0 0 90770 241 0 0 25 0 1 0 897230818 391282688 94754 4294967295 134512640 134716908 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95528 94754 1111 63 0 95465 0
vsize: 382112
[startup+920.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107234 0 0 0 91770 242 0 0 25 0 1 0 897230818 391397376 94790 4294967295 134512640 134716908 3221224576 3221223220 134536649 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.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107234 0 0 0 92769 242 0 0 25 0 1 0 897230818 391397376 94790 4294967295 134512640 134716908 3221224576 3221223216 134542352 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.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107234 0 0 0 93769 243 0 0 25 0 1 0 897230818 391397376 94790 4294967295 134512640 134716908 3221224576 3221223344 134592116 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.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107234 0 0 0 94769 243 0 0 25 0 1 0 897230818 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.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107234 0 0 0 95769 243 0 0 25 0 1 0 897230818 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+970.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107234 0 0 0 96768 244 0 0 25 0 1 0 897230818 391397376 94790 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95556 94790 1111 63 0 95493 0
vsize: 382224
[startup+980.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107239 0 0 0 97768 244 0 0 25 0 1 0 897230818 391475200 94781 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95575 94781 1111 63 0 95512 0
vsize: 382300
[startup+990.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107263 0 0 0 98768 244 0 0 25 0 1 0 897230818 391475200 94805 4294967295 134512640 134716908 3221224576 3221223120 134699102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95575 94805 1111 63 0 95512 0
vsize: 382300
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107263 0 0 0 99768 244 0 0 25 0 1 0 897230818 391450624 94802 4294967295 134512640 134716908 3221224576 3221223352 134613555 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.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107263 0 0 0 100768 245 0 0 25 0 1 0 897230818 391450624 94802 4294967295 134512640 134716908 3221224576 3221223364 134597574 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.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107263 0 0 0 101767 246 0 0 25 0 1 0 897230818 391450624 94802 4294967295 134512640 134716908 3221224576 3221222988 1077379843 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.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107263 0 0 0 102767 246 0 0 25 0 1 0 897230818 391450624 94802 4294967295 134512640 134716908 3221224576 3221223184 134549313 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.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107263 0 0 0 103767 246 0 0 25 0 1 0 897230818 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+1050.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107275 0 0 0 104767 247 0 0 25 0 1 0 897230818 391585792 94814 4294967295 134512640 134716908 3221224576 3221223232 134536638 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107300 0 0 0 105767 247 0 0 25 0 1 0 897230818 391630848 94839 4294967295 134512640 134716908 3221224576 3221223408 134551454 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107300 0 0 0 106767 248 0 0 25 0 1 0 897230818 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107300 0 0 0 107766 248 0 0 25 0 1 0 897230818 391593984 94838 4294967295 134512640 134716908 3221224576 3221223184 134549302 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107300 0 0 0 108766 248 0 0 25 0 1 0 897230818 391593984 94838 4294967295 134512640 134716908 3221224576 3221223344 134592104 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107300 0 0 0 109767 248 0 0 25 0 1 0 897230818 391593984 94838 4294967295 134512640 134716908 3221224576 3221223232 134536638 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107300 0 0 0 110766 248 0 0 25 0 1 0 897230818 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+1120.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107300 0 0 0 111766 249 0 0 25 0 1 0 897230818 391593984 94838 4294967295 134512640 134716908 3221224576 3221223312 134535745 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107312 0 0 0 112766 250 0 0 25 0 1 0 897230818 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+1140.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107316 0 0 0 113765 250 0 0 25 0 1 0 897230818 391729152 94854 4294967295 134512640 134716908 3221224576 3221223184 134549316 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107322 0 0 0 114765 250 0 0 25 0 1 0 897230818 391729152 94860 4294967295 134512640 134716908 3221224576 3221222980 134699564 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107322 0 0 0 115765 251 0 0 25 0 1 0 897230818 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+1170.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107322 0 0 0 116765 251 0 0 25 0 1 0 897230818 391593984 94838 4294967295 134512640 134716908 3221224576 3221223184 134549327 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.06 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 23413
Raw data (stat): 23413 (bsolo_lpr-v2) R 23412 21152 21151 0 -1 0 107322 0 0 0 116765 251 0 0 25 0 1 0 897230818 391593984 94838 4294967295 134512640 134716908 3221224576 3221223184 134549327 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.06
CPU time (s): 1175.19
CPU user time (s): 1172.49
CPU system time (s): 2.69559
CPU usage (%): 100.011
Max. virtual memory (Kb): 382608
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####