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-mkc.opb
MD5SUM	b9e9aa470fdb3341d7e10860fcc70cec
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	2946
Biggest coefficient in the objective function	20000
Number of bits for the biggest coefficient in the objective function	15
Sum of the numbers in the objective function	31442101
Number of bits of the sum of numbers in the objective function	25
Biggest number in a constraint	65536000
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	629010691
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.11
Number of variables	5363
Total number of constraints	8734
Number of constraints which are clauses	2977
Number of constraints which are cardinality constraints (but not clauses)	5731
Number of constraints which are nor clauses,nor cardinality constraints	26
Minimum length of a constraint	1
Maximum length of a constraint	2942
Trace number 40414

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        900876 kB
Buffers:         12240 kB
Cached:          99604 kB
SwapCached:        696 kB
Active:          22868 kB
Inactive:        91076 kB
HighTotal:      131008 kB
HighFree:        41328 kB
LowTotal:       903652 kB
LowFree:        859548 kB
SwapTotal:     2097136 kB
SwapFree:      2095476 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            14280 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 09:49:30 (client local time) WITH STATUS 0 IN 1177.47 SECONDS
stats: 28476 7 1177.47 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5363 variables and 3281 constraints.
c After prepocess the problem consists of 5290 variables and 2935 constraints.
c preprocess terminated 70.547 s
c Initial Lower Bound: -535285
c Lower Bound Elapsed time: 3.6275
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1177.4 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.92 0.95 0.91 1/54 17946
Raw data (stat): 17946 (runsolver) R 17945 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900563859 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.0009 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 36413 0 0 0 918 78 0 0 25 0 1 0 900563859 151506944 36119 4294967295 134512640 134716908 3221224576 3221222956 134539243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36989 36119 1111 63 0 36926 0
vsize: 147956
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 36848 0 0 0 1917 79 0 0 25 0 1 0 900563859 153260032 36531 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37417 36531 1111 63 0 37354 0
vsize: 149668
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 36848 0 0 0 2917 79 0 0 25 0 1 0 900563859 153260032 36531 4294967295 134512640 134716908 3221224576 3221223248 134627257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37417 36531 1111 63 0 37354 0
vsize: 149668
[startup+40.002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 36848 0 0 0 3918 79 0 0 25 0 1 0 900563859 153260032 36531 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37417 36531 1111 63 0 37354 0
vsize: 149668
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 36848 0 0 0 4918 79 0 0 25 0 1 0 900563859 153260032 36531 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37417 36531 1111 63 0 37354 0
vsize: 149668
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 36857 0 0 0 5918 79 0 0 25 0 1 0 900563859 153260032 36540 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37417 36540 1111 63 0 37354 0
vsize: 149668
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 36857 0 0 0 6918 79 0 0 25 0 1 0 900563859 153260032 36540 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37417 36540 1111 63 0 37354 0
vsize: 149668
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 38081 0 0 0 7915 82 0 0 25 0 1 0 900563859 157671424 37603 4294967295 134512640 134716908 3221224576 3221220684 1075563785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38494 37603 1111 63 0 38431 0
vsize: 153976
[startup+90.0033 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40479 0 0 0 8911 87 0 0 25 0 1 0 900563859 155492352 37235 4294967295 134512640 134716908 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37962 37235 1111 63 0 37899 0
vsize: 151848
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40479 0 0 0 9911 87 0 0 25 0 1 0 900563859 155492352 37235 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37962 37235 1111 63 0 37899 0
vsize: 151848
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40479 0 0 0 10911 87 0 0 25 0 1 0 900563859 155492352 37235 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37962 37235 1111 63 0 37899 0
vsize: 151848
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40528 0 0 0 11911 87 0 0 25 0 1 0 900563859 155762688 37284 4294967295 134512640 134716908 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38028 37284 1111 63 0 37965 0
vsize: 152112
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40532 0 0 0 12911 87 0 0 25 0 1 0 900563859 155762688 37288 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38028 37288 1111 63 0 37965 0
vsize: 152112
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40572 0 0 0 13911 87 0 0 25 0 1 0 900563859 155897856 37328 4294967295 134512640 134716908 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38061 37328 1111 63 0 37998 0
vsize: 152244
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40580 0 0 0 14911 87 0 0 25 0 1 0 900563859 156037120 37336 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38095 37336 1111 63 0 38032 0
vsize: 152380
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40585 0 0 0 15911 87 0 0 25 0 1 0 900563859 156037120 37341 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38095 37341 1111 63 0 38032 0
vsize: 152380
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40585 0 0 0 16912 87 0 0 25 0 1 0 900563859 156037120 37341 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38095 37341 1111 63 0 38032 0
vsize: 152380
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40585 0 0 0 17912 87 0 0 25 0 1 0 900563859 156037120 37341 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38095 37341 1111 63 0 38032 0
vsize: 152380
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40622 0 0 0 18912 87 0 0 25 0 1 0 900563859 156172288 37378 4294967295 134512640 134716908 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38128 37378 1111 63 0 38065 0
vsize: 152512
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40654 0 0 0 19912 87 0 0 25 0 1 0 900563859 156307456 37410 4294967295 134512640 134716908 3221224576 3221223184 134549460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38161 37410 1111 63 0 38098 0
vsize: 152644
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40657 0 0 0 20912 87 0 0 25 0 1 0 900563859 156213248 37410 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38138 37410 1111 63 0 38075 0
vsize: 152552
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40674 0 0 0 21912 88 0 0 25 0 1 0 900563859 156348416 37427 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38171 37427 1111 63 0 38108 0
vsize: 152684
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40674 0 0 0 22912 88 0 0 25 0 1 0 900563859 156348416 37427 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38171 37427 1111 63 0 38108 0
vsize: 152684
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40674 0 0 0 23912 88 0 0 25 0 1 0 900563859 156348416 37427 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38171 37427 1111 63 0 38108 0
vsize: 152684
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40685 0 0 0 24913 88 0 0 25 0 1 0 900563859 156348416 37438 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38171 37438 1111 63 0 38108 0
vsize: 152684
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40691 0 0 0 25913 88 0 0 25 0 1 0 900563859 156418048 37444 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38188 37444 1111 63 0 38125 0
vsize: 152752
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40696 0 0 0 26913 88 0 0 25 0 1 0 900563859 156418048 37449 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38188 37449 1111 63 0 38125 0
vsize: 152752
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40696 0 0 0 27913 88 0 0 25 0 1 0 900563859 156418048 37449 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38188 37449 1111 63 0 38125 0
vsize: 152752
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40696 0 0 0 28913 88 0 0 25 0 1 0 900563859 156418048 37449 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38188 37449 1111 63 0 38125 0
vsize: 152752
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40724 0 0 0 29913 88 0 0 25 0 1 0 900563859 156553216 37477 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38221 37477 1111 63 0 38158 0
vsize: 152884
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40775 0 0 0 30913 88 0 0 25 0 1 0 900563859 156823552 37528 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38287 37528 1111 63 0 38224 0
vsize: 153148
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40791 0 0 0 31913 88 0 0 25 0 1 0 900563859 156823552 37544 4294967295 134512640 134716908 3221224576 3221223184 134549460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38287 37544 1111 63 0 38224 0
vsize: 153148
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40792 0 0 0 32914 88 0 0 25 0 1 0 900563859 156823552 37545 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38287 37545 1111 63 0 38224 0
vsize: 153148
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40797 0 0 0 33914 88 0 0 25 0 1 0 900563859 156823552 37550 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38287 37550 1111 63 0 38224 0
vsize: 153148
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40821 0 0 0 34914 88 0 0 25 0 1 0 900563859 156958720 37574 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38320 37574 1111 63 0 38257 0
vsize: 153280
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40821 0 0 0 35914 88 0 0 25 0 1 0 900563859 156958720 37574 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38320 37574 1111 63 0 38257 0
vsize: 153280
[startup+370.007 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40821 0 0 0 36914 88 0 0 25 0 1 0 900563859 156958720 37574 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38320 37574 1111 63 0 38257 0
vsize: 153280
[startup+380.008 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40821 0 0 0 37914 88 0 0 25 0 1 0 900563859 156958720 37574 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38320 37574 1111 63 0 38257 0
vsize: 153280
[startup+390.008 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40821 0 0 0 38914 88 0 0 25 0 1 0 900563859 156958720 37574 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38320 37574 1111 63 0 38257 0
vsize: 153280
[startup+400.009 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40821 0 0 0 39915 88 0 0 25 0 1 0 900563859 156958720 37574 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38320 37574 1111 63 0 38257 0
vsize: 153280
[startup+410.009 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40841 0 0 0 40915 88 0 0 25 0 1 0 900563859 157106176 37594 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38356 37594 1111 63 0 38293 0
vsize: 153424
[startup+420.009 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40844 0 0 0 41915 88 0 0 25 0 1 0 900563859 157106176 37597 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38356 37597 1111 63 0 38293 0
vsize: 153424
[startup+430.009 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40856 0 0 0 42915 88 0 0 25 0 1 0 900563859 157106176 37609 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38356 37609 1111 63 0 38293 0
vsize: 153424
[startup+440.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40860 0 0 0 43915 88 0 0 25 0 1 0 900563859 157106176 37613 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38356 37613 1111 63 0 38293 0
vsize: 153424
[startup+450.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40926 0 0 0 44916 88 0 0 25 0 1 0 900563859 157388800 37679 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38425 37679 1111 63 0 38362 0
vsize: 153700
[startup+460.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40926 0 0 0 45916 88 0 0 25 0 1 0 900563859 157388800 37679 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38425 37679 1111 63 0 38362 0
vsize: 153700
[startup+470.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40926 0 0 0 46916 88 0 0 25 0 1 0 900563859 157388800 37679 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38425 37679 1111 63 0 38362 0
vsize: 153700
[startup+480.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40926 0 0 0 47916 89 0 0 25 0 1 0 900563859 157388800 37679 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38425 37679 1111 63 0 38362 0
vsize: 153700
[startup+490.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40931 0 0 0 48916 89 0 0 25 0 1 0 900563859 157388800 37684 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38425 37684 1111 63 0 38362 0
vsize: 153700
[startup+500.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40932 0 0 0 49916 89 0 0 25 0 1 0 900563859 157388800 37685 4294967295 134512640 134716908 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38425 37685 1111 63 0 38362 0
vsize: 153700
[startup+510.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40977 0 0 0 50917 89 0 0 25 0 1 0 900563859 157659136 37730 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38491 37730 1111 63 0 38428 0
vsize: 153964
[startup+520.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 40998 0 0 0 51917 89 0 0 25 0 1 0 900563859 157667328 37743 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38493 37743 1111 63 0 38430 0
vsize: 153972
[startup+530.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41052 0 0 0 52917 89 0 0 25 0 1 0 900563859 157937664 37797 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38559 37797 1111 63 0 38496 0
vsize: 154236
[startup+540.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41053 0 0 0 53917 89 0 0 25 0 1 0 900563859 157937664 37798 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38559 37798 1111 63 0 38496 0
vsize: 154236
[startup+550.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41056 0 0 0 54917 89 0 0 25 0 1 0 900563859 157732864 37779 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38509 37779 1111 63 0 38446 0
vsize: 154036
[startup+560.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41081 0 0 0 55917 89 0 0 25 0 1 0 900563859 157868032 37804 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38542 37804 1111 63 0 38479 0
vsize: 154168
[startup+570.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41081 0 0 0 56917 89 0 0 25 0 1 0 900563859 157868032 37804 4294967295 134512640 134716908 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38542 37804 1111 63 0 38479 0
vsize: 154168
[startup+580.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41088 0 0 0 57917 89 0 0 25 0 1 0 900563859 157868032 37811 4294967295 134512640 134716908 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38542 37811 1111 63 0 38479 0
vsize: 154168
[startup+590.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41116 0 0 0 58918 89 0 0 25 0 1 0 900563859 158019584 37839 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38579 37839 1111 63 0 38516 0
vsize: 154316
[startup+600.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41122 0 0 0 59918 89 0 0 25 0 1 0 900563859 158019584 37845 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38579 37845 1111 63 0 38516 0
vsize: 154316
[startup+610.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41122 0 0 0 60918 89 0 0 25 0 1 0 900563859 158019584 37845 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38579 37845 1111 63 0 38516 0
vsize: 154316
[startup+620.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41122 0 0 0 61918 89 0 0 25 0 1 0 900563859 158019584 37845 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38579 37845 1111 63 0 38516 0
vsize: 154316
[startup+630.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41122 0 0 0 62918 89 0 0 25 0 1 0 900563859 158019584 37845 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38579 37845 1111 63 0 38516 0
vsize: 154316
[startup+640.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41122 0 0 0 63918 89 0 0 25 0 1 0 900563859 158019584 37845 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38579 37845 1111 63 0 38516 0
vsize: 154316
[startup+650.015 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41142 0 0 0 64919 89 0 0 25 0 1 0 900563859 158154752 37865 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38612 37865 1111 63 0 38549 0
vsize: 154448
[startup+660.015 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41142 0 0 0 65919 89 0 0 25 0 1 0 900563859 158154752 37865 4294967295 134512640 134716908 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38612 37865 1111 63 0 38549 0
vsize: 154448
[startup+670.015 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41142 0 0 0 66919 89 0 0 25 0 1 0 900563859 158154752 37865 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38612 37865 1111 63 0 38549 0
vsize: 154448
[startup+680.016 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41146 0 0 0 67919 89 0 0 25 0 1 0 900563859 158154752 37869 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38612 37869 1111 63 0 38549 0
vsize: 154448
[startup+690.016 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41176 0 0 0 68920 89 0 0 25 0 1 0 900563859 158289920 37899 4294967295 134512640 134716908 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38645 37899 1111 63 0 38582 0
vsize: 154580
[startup+700.017 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41188 0 0 0 69920 89 0 0 25 0 1 0 900563859 158289920 37911 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38645 37911 1111 63 0 38582 0
vsize: 154580
[startup+710.017 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41228 0 0 0 70920 89 0 0 25 0 1 0 900563859 158547968 37951 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38708 37951 1111 63 0 38645 0
vsize: 154832
[startup+720.017 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41230 0 0 0 71920 89 0 0 25 0 1 0 900563859 158547968 37953 4294967295 134512640 134716908 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38708 37953 1111 63 0 38645 0
vsize: 154832
[startup+730.017 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41246 0 0 0 72920 89 0 0 25 0 1 0 900563859 158547968 37969 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38708 37969 1111 63 0 38645 0
vsize: 154832
[startup+740.017 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41246 0 0 0 73920 89 0 0 25 0 1 0 900563859 158547968 37969 4294967295 134512640 134716908 3221224576 3221223184 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38708 37969 1111 63 0 38645 0
vsize: 154832
[startup+750.017 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41260 0 0 0 74921 89 0 0 25 0 1 0 900563859 158588928 37983 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38718 37983 1111 63 0 38655 0
vsize: 154872
[startup+760.018 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41260 0 0 0 75921 90 0 0 25 0 1 0 900563859 158588928 37983 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38718 37983 1111 63 0 38655 0
vsize: 154872
[startup+770.018 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41273 0 0 0 76921 90 0 0 25 0 1 0 900563859 158658560 37996 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38735 37996 1111 63 0 38672 0
vsize: 154940
[startup+780.018 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41354 0 0 0 77921 90 0 0 25 0 1 0 900563859 159068160 38077 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38835 38077 1111 63 0 38772 0
vsize: 155340
[startup+790.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41384 0 0 0 78921 90 0 0 25 0 1 0 900563859 159207424 38107 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38869 38107 1111 63 0 38806 0
vsize: 155476
[startup+800.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41384 0 0 0 79921 90 0 0 25 0 1 0 900563859 159207424 38107 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38869 38107 1111 63 0 38806 0
vsize: 155476
[startup+810.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41386 0 0 0 80921 90 0 0 25 0 1 0 900563859 159207424 38109 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38869 38109 1111 63 0 38806 0
vsize: 155476
[startup+820.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41386 0 0 0 81921 90 0 0 25 0 1 0 900563859 159207424 38109 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38869 38109 1111 63 0 38806 0
vsize: 155476
[startup+830.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41386 0 0 0 82921 90 0 0 25 0 1 0 900563859 159207424 38109 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38869 38109 1111 63 0 38806 0
vsize: 155476
[startup+840.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41387 0 0 0 83922 90 0 0 25 0 1 0 900563859 159174656 38110 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38861 38110 1111 63 0 38798 0
vsize: 155444
[startup+850.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41387 0 0 0 84922 90 0 0 25 0 1 0 900563859 159174656 38110 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38861 38110 1111 63 0 38798 0
vsize: 155444
[startup+860.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41388 0 0 0 85922 90 0 0 25 0 1 0 900563859 159174656 38111 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38861 38111 1111 63 0 38798 0
vsize: 155444
[startup+870.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41388 0 0 0 86922 90 0 0 25 0 1 0 900563859 159174656 38111 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38861 38111 1111 63 0 38798 0
vsize: 155444
[startup+880.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41426 0 0 0 87922 90 0 0 25 0 1 0 900563859 159309824 38149 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38894 38149 1111 63 0 38831 0
vsize: 155576
[startup+890.02 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41427 0 0 0 88922 90 0 0 25 0 1 0 900563859 159309824 38150 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38894 38150 1111 63 0 38831 0
vsize: 155576
[startup+900.021 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41445 0 0 0 89922 90 0 0 25 0 1 0 900563859 159453184 38168 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38929 38168 1111 63 0 38866 0
vsize: 155716
[startup+910.021 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41487 0 0 0 90922 91 0 0 25 0 1 0 900563859 159596544 38210 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38964 38210 1111 63 0 38901 0
vsize: 155856
[startup+920.02 s]
Raw data (loadavg): 1.13 1.03 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41515 0 0 0 91923 91 0 0 25 0 1 0 900563859 159731712 38238 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38997 38238 1111 63 0 38934 0
vsize: 155988
[startup+930.021 s]
Raw data (loadavg): 1.11 1.03 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41519 0 0 0 92923 91 0 0 25 0 1 0 900563859 159731712 38242 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38997 38242 1111 63 0 38934 0
vsize: 155988
[startup+940.021 s]
Raw data (loadavg): 1.09 1.03 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41521 0 0 0 93923 91 0 0 25 0 1 0 900563859 159731712 38244 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38997 38244 1111 63 0 38934 0
vsize: 155988
[startup+950.021 s]
Raw data (loadavg): 1.08 1.03 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41554 0 0 0 94923 91 0 0 25 0 1 0 900563859 159866880 38277 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39030 38277 1111 63 0 38967 0
vsize: 156120
[startup+960.021 s]
Raw data (loadavg): 1.06 1.03 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41586 0 0 0 95923 91 0 0 25 0 1 0 900563859 160002048 38309 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39063 38309 1111 63 0 39000 0
vsize: 156252
[startup+970.021 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41595 0 0 0 96923 91 0 0 25 0 1 0 900563859 160002048 38318 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39063 38318 1111 63 0 39000 0
vsize: 156252
[startup+980.022 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41624 0 0 0 97923 91 0 0 25 0 1 0 900563859 160100352 38347 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39087 38347 1111 63 0 39024 0
vsize: 156348
[startup+990.021 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41657 0 0 0 98923 92 0 0 25 0 1 0 900563859 160243712 38380 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39122 38380 1111 63 0 39059 0
vsize: 156488
[startup+1000.02 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41660 0 0 0 99923 92 0 0 25 0 1 0 900563859 160243712 38383 4294967295 134512640 134716908 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39122 38383 1111 63 0 39059 0
vsize: 156488
[startup+1010.02 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41660 0 0 0 100923 92 0 0 25 0 1 0 900563859 160243712 38383 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39122 38383 1111 63 0 39059 0
vsize: 156488
[startup+1020.02 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41661 0 0 0 101923 92 0 0 25 0 1 0 900563859 160243712 38384 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39122 38384 1111 63 0 39059 0
vsize: 156488
[startup+1030.02 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41681 0 0 0 102923 92 0 0 25 0 1 0 900563859 160378880 38404 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39155 38404 1111 63 0 39092 0
vsize: 156620
[startup+1040.02 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41681 0 0 0 103924 92 0 0 25 0 1 0 900563859 160378880 38404 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39155 38404 1111 63 0 39092 0
vsize: 156620
[startup+1050.02 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41681 0 0 0 104924 92 0 0 25 0 1 0 900563859 160378880 38404 4294967295 134512640 134716908 3221224576 3221223184 134549460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39155 38404 1111 63 0 39092 0
vsize: 156620
[startup+1060.02 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41706 0 0 0 105924 92 0 0 25 0 1 0 900563859 160514048 38429 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39188 38429 1111 63 0 39125 0
vsize: 156752
[startup+1070.02 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41706 0 0 0 106924 92 0 0 25 0 1 0 900563859 160514048 38429 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39188 38429 1111 63 0 39125 0
vsize: 156752
[startup+1080.02 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41724 0 0 0 107924 92 0 0 25 0 1 0 900563859 160514048 38447 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39188 38447 1111 63 0 39125 0
vsize: 156752
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41758 0 0 0 108924 92 0 0 25 0 1 0 900563859 160649216 38481 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39221 38481 1111 63 0 39158 0
vsize: 156884
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41758 0 0 0 109925 92 0 0 25 0 1 0 900563859 160649216 38481 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39221 38481 1111 63 0 39158 0
vsize: 156884
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41758 0 0 0 110925 92 0 0 25 0 1 0 900563859 160649216 38481 4294967295 134512640 134716908 3221224576 3221223312 134558542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39221 38481 1111 63 0 39158 0
vsize: 156884
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41758 0 0 0 111925 92 0 0 25 0 1 0 900563859 160649216 38481 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39221 38481 1111 63 0 39158 0
vsize: 156884
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41758 0 0 0 112925 92 0 0 25 0 1 0 900563859 160649216 38481 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39221 38481 1111 63 0 39158 0
vsize: 156884
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41758 0 0 0 113925 92 0 0 25 0 1 0 900563859 160649216 38481 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39221 38481 1111 63 0 39158 0
vsize: 156884
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41759 0 0 0 114926 92 0 0 25 0 1 0 900563859 160649216 38482 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39221 38482 1111 63 0 39158 0
vsize: 156884
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41778 0 0 0 115926 92 0 0 25 0 1 0 900563859 160800768 38501 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39258 38501 1111 63 0 39195 0
vsize: 157032
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41778 0 0 0 116926 93 0 0 25 0 1 0 900563859 160759808 38501 4294967295 134512640 134716908 3221224576 3221223280 134524402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39248 38501 1111 63 0 39185 0
vsize: 156992
[startup+1177.31 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 17946
Raw data (stat): 17946 (bsolo_lpr-v2) R 17945 7266 7265 0 -1 0 41778 0 0 0 116926 93 0 0 25 0 1 0 900563859 160759808 38501 4294967295 134512640 134716908 3221224576 3221223280 134524402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39248 38501 1111 63 0 39185 0
vsize: 0

Child status: 0
Real time (s): 1177.31
CPU time (s): 1177.47
CPU user time (s): 1176.47
CPU system time (s): 1.00085
CPU usage (%): 100.014
Max. virtual memory (Kb): 157032
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####