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/miplib/normalized-mps-v2-13-7-vpm1.opb
MD5SUM	96fe6be9d2b9e3e89a4b05733b0daf45
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	168
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	615983
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.07084
Number of variables	2124
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	64
Trace number 40314

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 06:37:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28380 boxname=wulflinc2 idbench=1336 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  96fe6be9d2b9e3e89a4b05733b0daf45  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-vpm1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-vpm1.opb
IDLAUNCH: 28380
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        772112 kB
Buffers:         16692 kB
Cached:         223368 kB
SwapCached:       1340 kB
Active:          25316 kB
Inactive:       216748 kB
HighTotal:      131008 kB
HighFree:        52556 kB
LowTotal:       903652 kB
LowFree:        719556 kB
SwapTotal:     2097136 kB
SwapFree:      2094732 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4976 kB
Slab:            14908 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 06:57:19 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 28380 7 1175.14 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2124 variables and 486 constraints.
c After prepocess the problem consists of 1459 variables and 357 constraints.
c preprocess terminated 50.089 s
c Initial Lower Bound: 16
c Lower Bound Elapsed time: 0.089
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.11 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.74 0.91 0.89 1/54 6344
Raw data (stat): 6344 (runsolver) R 6343 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 899534523 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99988 s]
Raw data (loadavg): 0.78 0.91 0.90 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 5920 0 0 0 981 16 0 0 25 0 1 0 899534523 27402240 5838 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6690 5838 1111 63 0 6627 0
vsize: 26760
[startup+19.9995 s]
Raw data (loadavg): 0.81 0.92 0.90 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 5960 0 0 0 1981 16 0 0 25 0 1 0 899534523 27529216 5878 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6721 5878 1111 63 0 6658 0
vsize: 26884
[startup+30.0005 s]
Raw data (loadavg): 0.84 0.92 0.90 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 6060 0 0 0 2982 16 0 0 25 0 1 0 899534523 27779072 5922 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 5922 1111 63 0 6719 0
vsize: 27128
[startup+40.0002 s]
Raw data (loadavg): 0.86 0.92 0.90 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 6073 0 0 0 3982 16 0 0 25 0 1 0 899534523 27779072 5935 4294967295 134512640 134716908 3221224576 3221223000 1077377854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 5935 1111 63 0 6719 0
vsize: 27128
[startup+50.0005 s]
Raw data (loadavg): 0.88 0.92 0.90 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 6090 0 0 0 4982 16 0 0 25 0 1 0 899534523 27918336 5952 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6816 5952 1111 63 0 6753 0
vsize: 27264
[startup+60.0011 s]
Raw data (loadavg): 0.90 0.92 0.90 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 6294 0 0 0 5980 18 0 0 25 0 1 0 899534523 28110848 6103 4294967295 134512640 134716908 3221224576 3221220804 1075114937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6863 6103 1111 63 0 6800 0
vsize: 27452
[startup+70.0009 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 6402 0 0 0 6978 19 0 0 25 0 1 0 899534523 27926528 6101 4294967295 134512640 134716908 3221224576 3221222336 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6101 1111 63 0 6755 0
vsize: 27272
[startup+80.0016 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 6402 0 0 0 7978 19 0 0 25 0 1 0 899534523 27926528 6101 4294967295 134512640 134716908 3221224576 3221222840 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6101 1111 63 0 6755 0
vsize: 27272
[startup+90.0016 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 6402 0 0 0 8978 20 0 0 25 0 1 0 899534523 27926528 6101 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6101 1111 63 0 6755 0
vsize: 27272
[startup+100.002 s]
Raw data (loadavg): 0.95 0.93 0.90 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 6405 0 0 0 9978 20 0 0 25 0 1 0 899534523 27926528 6101 4294967295 134512640 134716908 3221224576 3221222576 1074916558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6101 1111 63 0 6755 0
vsize: 27272
[startup+110.003 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 6406 0 0 0 10978 20 0 0 25 0 1 0 899534523 27926528 6102 4294967295 134512640 134716908 3221224576 3221222640 1075961616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6102 1111 63 0 6755 0
vsize: 27272
[startup+120.003 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 6406 0 0 0 11978 20 0 0 25 0 1 0 899534523 27926528 6102 4294967295 134512640 134716908 3221224576 3221222776 1077378310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6102 1111 63 0 6755 0
vsize: 27272
[startup+130.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 6407 0 0 0 12977 21 0 0 25 0 1 0 899534523 27926528 6103 4294967295 134512640 134716908 3221224576 3221223040 1074121063 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6103 1111 63 0 6755 0
vsize: 27272
[startup+140.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 6407 0 0 0 13977 21 0 0 25 0 1 0 899534523 27926528 6103 4294967295 134512640 134716908 3221224576 3221222712 1077377221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6103 1111 63 0 6755 0
vsize: 27272
[startup+150.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 6407 0 0 0 14977 22 0 0 25 0 1 0 899534523 27926528 6103 4294967295 134512640 134716908 3221224576 3221222792 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6103 1111 63 0 6755 0
vsize: 27272
[startup+160.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 6407 0 0 0 15977 22 0 0 25 0 1 0 899534523 27926528 6103 4294967295 134512640 134716908 3221224576 3221222960 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6103 1111 63 0 6755 0
vsize: 27272
[startup+170.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 6407 0 0 0 16977 22 0 0 25 0 1 0 899534523 27926528 6103 4294967295 134512640 134716908 3221224576 3221222832 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6103 1111 63 0 6755 0
vsize: 27272
[startup+180.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 6407 0 0 0 17976 23 0 0 25 0 1 0 899534523 27926528 6103 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6103 1111 63 0 6755 0
vsize: 27272
[startup+190.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 6407 0 0 0 18976 24 0 0 25 0 1 0 899534523 27926528 6103 4294967295 134512640 134716908 3221224576 3221222304 1075829485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6103 1111 63 0 6755 0
vsize: 27272
[startup+200.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 6407 0 0 0 19975 25 0 0 25 0 1 0 899534523 27926528 6103 4294967295 134512640 134716908 3221224576 3221220648 1074950201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6103 1111 63 0 6755 0
vsize: 27272
[startup+210.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 6407 0 0 0 20975 25 0 0 25 0 1 0 899534523 27926528 6103 4294967295 134512640 134716908 3221224576 3221222400 1075823482 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6103 1111 63 0 6755 0
vsize: 27272
[startup+220.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 6557 0 0 0 21973 26 0 0 25 0 1 0 899534523 27926528 6114 4294967295 134512640 134716908 3221224576 3221222960 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6114 1111 63 0 6755 0
vsize: 27272
[startup+230.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 8796 0 0 0 22966 34 0 0 25 0 1 0 899534523 27926528 6115 4294967295 134512640 134716908 3221224576 3221223340 134556736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6115 1111 63 0 6755 0
vsize: 27272
[startup+240.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 14313 0 0 0 23948 52 0 0 25 0 1 0 899534523 27926528 6115 4294967295 134512640 134716908 3221224576 3221222736 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6115 1111 63 0 6755 0
vsize: 27272
[startup+250.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 23374 0 0 0 24924 76 0 0 25 0 1 0 899534523 28004352 6134 4294967295 134512640 134716908 3221224576 3221222744 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6837 6134 1111 63 0 6774 0
vsize: 27348
[startup+260.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 33490 0 0 0 25898 103 0 0 25 0 1 0 899534523 28160000 6172 4294967295 134512640 134716908 3221224576 3221222760 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6875 6172 1111 63 0 6812 0
vsize: 27500
[startup+270.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 43441 0 0 0 26870 131 0 0 25 0 1 0 899534523 28282880 6202 4294967295 134512640 134716908 3221224576 3221222856 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6905 6202 1111 63 0 6842 0
vsize: 27620
[startup+280.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 53646 0 0 0 27844 157 0 0 25 0 1 0 899534523 28729344 6253 4294967295 134512640 134716908 3221224576 3221222496 1075802488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7014 6253 1111 63 0 6951 0
vsize: 28056
[startup+290.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 64255 0 0 0 28818 183 0 0 25 0 1 0 899534523 28635136 6288 4294967295 134512640 134716908 3221224576 3221222928 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6991 6288 1111 63 0 6928 0
vsize: 27964
[startup+300.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 70263 0 0 0 29799 202 0 0 25 0 1 0 899534523 28925952 6362 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7062 6362 1111 63 0 6999 0
vsize: 28248
[startup+310.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 78357 0 0 0 30777 225 0 0 25 0 1 0 899534523 29224960 6379 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7117 6379 1111 63 0 7054 0
vsize: 28540
[startup+320.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 87384 0 0 0 31752 249 0 0 25 0 1 0 899534523 29163520 6420 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7120 6420 1111 63 0 7057 0
vsize: 28480
[startup+330.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 95275 0 0 0 32728 274 0 0 25 0 1 0 899534523 29466624 6494 4294967295 134512640 134716908 3221224576 3221222756 1077378716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7194 6494 1111 63 0 7131 0
vsize: 28776
[startup+340.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 104807 0 0 0 33703 299 0 0 25 0 1 0 899534523 29507584 6504 4294967295 134512640 134716908 3221224576 3221222736 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7204 6504 1111 63 0 7141 0
vsize: 28816
[startup+350.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 114900 0 0 0 34677 325 0 0 25 0 1 0 899534523 30257152 6599 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7387 6600 1111 63 0 7324 0
vsize: 29548
[startup+360.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 125207 0 0 0 35653 350 0 0 25 0 1 0 899534523 29728768 6558 4294967295 134512640 134716908 3221224576 3221222912 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7258 6558 1111 63 0 7195 0
vsize: 29032
[startup+370.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 135262 0 0 0 36629 374 0 0 25 0 1 0 899534523 30461952 6654 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7437 6654 1111 63 0 7374 0
vsize: 29748
[startup+380.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 144923 0 0 0 37604 399 0 0 25 0 1 0 899534523 30355456 6654 4294967295 134512640 134716908 3221224576 3221222400 1075823577 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7411 6654 1111 63 0 7348 0
vsize: 29644
[startup+390.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 155155 0 0 0 38579 424 0 0 25 0 1 0 899534523 30261248 6688 4294967295 134512640 134716908 3221224576 3221223204 134651106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7388 6688 1111 63 0 7325 0
vsize: 29552
[startup+400.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 165806 0 0 0 39552 451 0 0 25 0 1 0 899534523 30339072 6707 4294967295 134512640 134716908 3221224576 3221222580 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6701 1111 63 0 7338 0
vsize: 29628
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 174967 0 0 0 40530 474 0 0 25 0 1 0 899534523 30908416 6760 4294967295 134512640 134716908 3221224576 3221221608 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7546 6760 1111 63 0 7483 0
vsize: 30184
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 182554 0 0 0 41506 497 0 0 25 0 1 0 899534523 30527488 6753 4294967295 134512640 134716908 3221224576 3221222508 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7453 6753 1111 63 0 7390 0
vsize: 29812
[startup+430.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 192253 0 0 0 42481 522 0 0 25 0 1 0 899534523 30814208 6803 4294967295 134512640 134716908 3221224576 3221222856 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7523 6803 1111 63 0 7460 0
vsize: 30092
[startup+440.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 200533 0 0 0 43461 543 0 0 25 0 1 0 899534523 30920704 6849 4294967295 134512640 134716908 3221224576 3221222824 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7549 6849 1111 63 0 7486 0
vsize: 30196
[startup+450.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 208906 0 0 0 44438 566 0 0 25 0 1 0 899534523 30941184 6854 4294967295 134512640 134716908 3221224576 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7554 6854 1111 63 0 7491 0
vsize: 30216
[startup+460.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 218816 0 0 0 45413 591 0 0 25 0 1 0 899534523 31109120 6895 4294967295 134512640 134716908 3221224576 3221222864 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7595 6895 1111 63 0 7532 0
vsize: 30380
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 228507 0 0 0 46384 621 0 0 25 0 1 0 899534523 31473664 6926 4294967295 134512640 134716908 3221224576 3221222304 1075828538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7684 6926 1111 63 0 7621 0
vsize: 30736
[startup+480.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 238448 0 0 0 47356 648 0 0 25 0 1 0 899534523 31264768 6933 4294967295 134512640 134716908 3221224576 3221222648 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7633 6933 1111 63 0 7570 0
vsize: 30532
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 248085 0 0 0 48330 674 0 0 25 0 1 0 899534523 31449088 6978 4294967295 134512640 134716908 3221224576 3221222516 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7673 6973 1111 63 0 7610 0
vsize: 30712
[startup+500.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 256975 0 0 0 49309 696 0 0 25 0 1 0 899534523 31563776 7006 4294967295 134512640 134716908 3221224576 3221222592 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7706 7006 1111 63 0 7643 0
vsize: 30824
[startup+510.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 266435 0 0 0 50285 720 0 0 25 0 1 0 899534523 31932416 7056 4294967295 134512640 134716908 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7796 7061 1111 63 0 7733 0
vsize: 31184
[startup+520.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 275844 0 0 0 51262 743 0 0 25 0 1 0 899534523 31768576 7056 4294967295 134512640 134716908 3221224576 3221222672 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7756 7056 1111 63 0 7693 0
vsize: 31024
[startup+530.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 285306 0 0 0 52238 768 0 0 25 0 1 0 899534523 32210944 7108 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7864 7108 1111 63 0 7801 0
vsize: 31456
[startup+540.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 295501 0 0 0 53212 794 0 0 25 0 1 0 899534523 32751616 7213 4294967295 134512640 134716908 3221224576 3221220604 1074788004 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7996 7213 1111 63 0 7933 0
vsize: 31984
[startup+550.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 306122 0 0 0 54185 821 0 0 25 0 1 0 899534523 32202752 7162 4294967295 134512640 134716908 3221224576 3221222912 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7862 7162 1111 63 0 7799 0
vsize: 31448
[startup+560.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 316475 0 0 0 55156 850 0 0 25 0 1 0 899534523 33193984 7320 4294967295 134512640 134716908 3221224576 3221220944 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8104 7321 1111 63 0 8041 0
vsize: 32416
[startup+570.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 326303 0 0 0 56131 875 0 0 25 0 1 0 899534523 32911360 7333 4294967295 134512640 134716908 3221224576 3221222808 1077410273 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8035 7333 1111 63 0 7972 0
vsize: 32140
[startup+580.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 336288 0 0 0 57105 902 0 0 25 0 1 0 899534523 32948224 7342 4294967295 134512640 134716908 3221224576 3221222928 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8044 7342 1111 63 0 7981 0
vsize: 32176
[startup+590.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 347021 0 0 0 58079 928 0 0 25 0 1 0 899534523 33275904 7409 4294967295 134512640 134716908 3221224576 3221222928 1074115331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8124 7413 1111 63 0 8061 0
vsize: 32496
[startup+600.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 357838 0 0 0 59051 956 0 0 25 0 1 0 899534523 33771520 7450 4294967295 134512640 134716908 3221224576 3221221344 1076083558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 7450 1111 63 0 8182 0
vsize: 32980
[startup+610.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 366624 0 0 0 60024 983 0 0 25 0 1 0 899534523 33476608 7471 4294967295 134512640 134716908 3221224576 3221222880 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8173 7471 1111 63 0 8110 0
vsize: 32692
[startup+620.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 376338 0 0 0 60997 1010 0 0 25 0 1 0 899534523 33632256 7509 4294967295 134512640 134716908 3221224576 3221222976 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8211 7509 1111 63 0 8148 0
vsize: 32844
[startup+630.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 386055 0 0 0 61972 1036 0 0 25 0 1 0 899534523 34082816 7561 4294967295 134512640 134716908 3221224576 3221222400 1075823540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8321 7561 1111 63 0 8258 0
vsize: 33284
[startup+640.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 396042 0 0 0 62946 1061 0 0 25 0 1 0 899534523 33906688 7576 4294967295 134512640 134716908 3221224576 3221222552 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8278 7576 1111 63 0 8215 0
vsize: 33112
[startup+650.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 405079 0 0 0 63919 1089 0 0 25 0 1 0 899534523 34099200 7623 4294967295 134512640 134716908 3221224576 3221222780 1077404744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8325 7623 1111 63 0 8262 0
vsize: 33300
[startup+660.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 415075 0 0 0 64894 1114 0 0 25 0 1 0 899534523 34299904 7672 4294967295 134512640 134716908 3221224576 3221222928 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8374 7672 1111 63 0 8311 0
vsize: 33496
[startup+670.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 424181 0 0 0 65869 1139 0 0 25 0 1 0 899534523 34615296 7747 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8451 7747 1111 63 0 8388 0
vsize: 33804
[startup+680.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 433590 0 0 0 66847 1162 0 0 25 0 1 0 899534523 34611200 7748 4294967295 134512640 134716908 3221224576 3221222624 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8450 7748 1111 63 0 8387 0
vsize: 33800
[startup+690.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 443018 0 0 0 67821 1187 0 0 25 0 1 0 899534523 34828288 7801 4294967295 134512640 134716908 3221224576 3221223216 134651142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8503 7801 1111 63 0 8440 0
vsize: 34012
[startup+700.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 452377 0 0 0 68797 1212 0 0 25 0 1 0 899534523 35274752 7849 4294967295 134512640 134716908 3221224576 3221221996 1076066881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8597 7848 1111 63 0 8534 0
vsize: 34448
[startup+710.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 461338 0 0 0 69772 1237 0 0 25 0 1 0 899534523 35004416 7844 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8546 7844 1111 63 0 8483 0
vsize: 34184
[startup+720.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 468796 0 0 0 70751 1258 0 0 25 0 1 0 899534523 35299328 7915 4294967295 134512640 134716908 3221224576 3221223312 134556630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8618 7915 1111 63 0 8555 0
vsize: 34472
[startup+730.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 478462 0 0 0 71727 1282 0 0 25 0 1 0 899534523 35205120 7893 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8595 7893 1111 63 0 8532 0
vsize: 34380
[startup+740.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 488924 0 0 0 72700 1309 0 0 25 0 1 0 899534523 35340288 7926 4294967295 134512640 134716908 3221224576 3221222744 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8628 7926 1111 63 0 8565 0
vsize: 34512
[startup+750.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 499422 0 0 0 73671 1338 0 0 25 0 1 0 899534523 35504128 7966 4294967295 134512640 134716908 3221224576 3221222720 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8668 7966 1111 63 0 8605 0
vsize: 34672
[startup+760.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 507990 0 0 0 74648 1361 0 0 25 0 1 0 899534523 35840000 8043 4294967295 134512640 134716908 3221224576 3221222576 1074916922 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8750 8043 1111 63 0 8687 0
vsize: 35000
[startup+770.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 513769 0 0 0 75633 1377 0 0 25 0 1 0 899534523 35921920 8068 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8770 8068 1111 63 0 8707 0
vsize: 35080
[startup+780.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 521478 0 0 0 76613 1397 0 0 25 0 1 0 899534523 36347904 8132 4294967295 134512640 134716908 3221224576 3221221520 1074620182 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8874 8132 1111 63 0 8811 0
vsize: 35496
[startup+790.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 525404 0 0 0 77600 1411 0 0 25 0 1 0 899534523 36339712 8170 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8872 8170 1111 63 0 8809 0
vsize: 35488
[startup+800.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 528911 0 0 0 78589 1422 0 0 25 0 1 0 899534523 36409344 8182 4294967295 134512640 134716908 3221224576 3221222576 1074919327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 8182 1111 63 0 8826 0
vsize: 35556
[startup+810.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 533382 0 0 0 79573 1438 0 0 25 0 1 0 899534523 36528128 8217 4294967295 134512640 134716908 3221224576 3221222712 1077377797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8918 8217 1111 63 0 8855 0
vsize: 35672
[startup+820.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 537483 0 0 0 80560 1451 0 0 25 0 1 0 899534523 37011456 8263 4294967295 134512640 134716908 3221224576 3221220576 1075965232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9036 8263 1111 63 0 8973 0
vsize: 36144
[startup+830.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 541409 0 0 0 81548 1463 0 0 25 0 1 0 899534523 36904960 8273 4294967295 134512640 134716908 3221224576 3221221520 1074620382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9010 8273 1111 63 0 8947 0
vsize: 36040
[startup+840.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 545159 0 0 0 82536 1475 0 0 25 0 1 0 899534523 36790272 8281 4294967295 134512640 134716908 3221224576 3221222912 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8982 8281 1111 63 0 8919 0
vsize: 35928
[startup+850.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 548452 0 0 0 83524 1488 0 0 25 0 1 0 899534523 36884480 8304 4294967295 134512640 134716908 3221224576 3221222224 1075818361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9005 8304 1111 63 0 8942 0
vsize: 36020
[startup+860.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 551366 0 0 0 84513 1499 0 0 25 0 1 0 899534523 36929536 8315 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9016 8315 1111 63 0 8953 0
vsize: 36064
[startup+870.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 555056 0 0 0 85501 1511 0 0 25 0 1 0 899534523 36978688 8327 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9028 8327 1111 63 0 8965 0
vsize: 36112
[startup+880.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 560044 0 0 0 86486 1526 0 0 25 0 1 0 899534523 37076992 8351 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9052 8351 1111 63 0 8989 0
vsize: 36208
[startup+890.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 564532 0 0 0 87473 1539 0 0 25 0 1 0 899534523 37756928 8446 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9218 8446 1111 63 0 9155 0
vsize: 36872
[startup+900.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 567344 0 0 0 88464 1548 0 0 25 0 1 0 899534523 37433344 8438 4294967295 134512640 134716908 3221224576 3221222304 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9139 8438 1111 63 0 9076 0
vsize: 36556
[startup+910.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 569517 0 0 0 89458 1555 0 0 25 0 1 0 899534523 37552128 8467 4294967295 134512640 134716908 3221224576 3221222792 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9168 8467 1111 63 0 9105 0
vsize: 36672
[startup+920.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 572718 0 0 0 90450 1563 0 0 25 0 1 0 899534523 37670912 8482 4294967295 134512640 134716908 3221224576 3221222576 1074916918 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9197 8482 1111 63 0 9134 0
vsize: 36788
[startup+930.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 576180 0 0 0 91437 1576 0 0 25 0 1 0 899534523 37666816 8494 4294967295 134512640 134716908 3221224576 3221223192 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9196 8494 1111 63 0 9133 0
vsize: 36784
[startup+940.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 579852 0 0 0 92427 1586 0 0 25 0 1 0 899534523 37691392 8502 4294967295 134512640 134716908 3221224576 3221222912 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9202 8502 1111 63 0 9139 0
vsize: 36808
[startup+950.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 583255 0 0 0 93415 1599 0 0 25 0 1 0 899534523 37785600 8525 4294967295 134512640 134716908 3221224576 3221222976 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9225 8525 1111 63 0 9162 0
vsize: 36900
[startup+960.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 586425 0 0 0 94405 1609 0 0 25 0 1 0 899534523 37969920 8538 4294967295 134512640 134716908 3221224576 3221222688 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9243 8538 1111 63 0 9180 0
vsize: 37080
[startup+970.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 590686 0 0 0 95390 1623 0 0 25 0 1 0 899534523 38043648 8538 4294967295 134512640 134716908 3221224576 3221222304 1075828615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9288 8538 1111 63 0 9225 0
vsize: 37152
[startup+980.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 596195 0 0 0 96374 1640 0 0 25 0 1 0 899534523 38092800 8584 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9300 8584 1111 63 0 9237 0
vsize: 37200
[startup+990.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 600385 0 0 0 97361 1653 0 0 25 0 1 0 899534523 38146048 8613 4294967295 134512640 134716908 3221224576 3221222496 1075799535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9313 8613 1111 63 0 9250 0
vsize: 37252
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 603546 0 0 0 98351 1664 0 0 25 0 1 0 899534523 38297600 8651 4294967295 134512640 134716908 3221224576 3221222152 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9350 8651 1111 63 0 9287 0
vsize: 37400
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 607196 0 0 0 99340 1674 0 0 25 0 1 0 899534523 38367232 8668 4294967295 134512640 134716908 3221224576 3221222536 1074138330 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9401 8669 1111 63 0 9338 0
vsize: 37468
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 610417 0 0 0 100330 1685 0 0 25 0 1 0 899534523 38809600 8698 4294967295 134512640 134716908 3221224576 3221221176 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9475 8698 1111 63 0 9412 0
vsize: 37900
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 613696 0 0 0 101319 1696 0 0 25 0 1 0 899534523 38465536 8692 4294967295 134512640 134716908 3221224576 3221222840 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9391 8692 1111 63 0 9328 0
vsize: 37564
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 617359 0 0 0 102310 1705 0 0 25 0 1 0 899534523 39014400 8752 4294967295 134512640 134716908 3221224576 3221220736 1074794903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9525 8752 1111 63 0 9462 0
vsize: 38100
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 621220 0 0 0 103299 1716 0 0 25 0 1 0 899534523 38813696 8771 4294967295 134512640 134716908 3221224576 3221223212 134651431 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9476 8771 1111 63 0 9413 0
vsize: 37904
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 623722 0 0 0 104292 1724 0 0 25 0 1 0 899534523 38838272 8780 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9482 8780 1111 63 0 9419 0
vsize: 37928
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 626959 0 0 0 105281 1735 0 0 25 0 1 0 899534523 38932480 8806 4294967295 134512640 134716908 3221224576 3221222204 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9505 8806 1111 63 0 9442 0
vsize: 38020
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 629773 0 0 0 106272 1744 0 0 25 0 1 0 899534523 39460864 8867 4294967295 134512640 134716908 3221224576 3221220912 1075114265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9634 8867 1111 63 0 9571 0
vsize: 38536
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 632174 0 0 0 107265 1751 0 0 25 0 1 0 899534523 39211008 8874 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9573 8874 1111 63 0 9510 0
vsize: 38292
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 634605 0 0 0 108258 1759 0 0 25 0 1 0 899534523 39403520 8916 4294967295 134512640 134716908 3221224576 3221222856 1074138279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9620 8916 1111 63 0 9557 0
vsize: 38480
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 637266 0 0 0 109249 1767 0 0 25 0 1 0 899534523 39378944 8915 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9614 8915 1111 63 0 9551 0
vsize: 38456
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 639855 0 0 0 110241 1776 0 0 25 0 1 0 899534523 39694336 8968 4294967295 134512640 134716908 3221224576 3221222900 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9672 8967 1111 63 0 9609 0
vsize: 38764
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 642294 0 0 0 111232 1785 0 0 25 0 1 0 899534523 39763968 9009 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9708 9009 1111 63 0 9645 0
vsize: 38832
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 644697 0 0 0 112224 1793 0 0 25 0 1 0 899534523 40185856 9041 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9811 9041 1111 63 0 9748 0
vsize: 39244
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 647355 0 0 0 113216 1801 0 0 25 0 1 0 899534523 40284160 9033 4294967295 134512640 134716908 3221224576 3221221512 1075066468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9835 9033 1111 63 0 9772 0
vsize: 39340
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 650121 0 0 0 114209 1808 0 0 25 0 1 0 899534523 39911424 9045 4294967295 134512640 134716908 3221224576 3221222880 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9744 9045 1111 63 0 9681 0
vsize: 38976
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 652700 0 0 0 115199 1819 0 0 25 0 1 0 899534523 39911424 9045 4294967295 134512640 134716908 3221224576 3221222592 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9744 9045 1111 63 0 9681 0
vsize: 38976
[startup+1174.96 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 6344
Raw data (stat): 6344 (bsolo_lpr-v2) R 6343 31399 31398 0 -1 0 652700 0 0 0 115199 1819 0 0 25 0 1 0 899534523 39911424 9045 4294967295 134512640 134716908 3221224576 3221222592 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9744 9045 1111 63 0 9681 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.14
CPU user time (s): 1156.87
CPU system time (s): 18.2662
CPU usage (%): 100.015
Max. virtual memory (Kb): 39340
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####