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/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d3.opb
MD5SUM	527fb49aa1a9296592f9e28b71f1006f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	802
Optimality of the best value was proved	NO
Number of terms in the objective function	1648
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	1648
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1648
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	269.791
Number of variables	1648
Total number of constraints	20302
Number of constraints which are clauses	20302
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 39533

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        837908 kB
Buffers:         33680 kB
Cached:         140944 kB
SwapCached:       1020 kB
Active:          32684 kB
Inactive:       144120 kB
HighTotal:      131008 kB
HighFree:        96488 kB
LowTotal:       903652 kB
LowFree:        741420 kB
SwapTotal:     2097136 kB
SwapFree:      2095192 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            14364 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 12:42:04 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 27599 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1648 variables and 20302 constraints.
c After prepocess the problem consists of 1648 variables and 20302 constraints.
c preprocess terminated 106.688 s
c Initial Lower Bound: 416
c Lower Bound Elapsed time: 21.3195
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 1.03 0.96 2/54 14473
Raw data (stat): 14473 (runsolver) R 14472 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892957606 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.99974 s]
Raw data (loadavg): 1.00 1.03 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 4332 0 0 0 985 12 0 0 25 0 1 0 892957606 20910080 4247 4294967295 134512640 134716908 3221224592 3221223072 134539460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4247 1111 63 0 5042 0
vsize: 20420
[startup+20.0002 s]
Raw data (loadavg): 1.00 1.03 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 4897 0 0 0 1984 13 0 0 25 0 1 0 892957606 23207936 4812 4294967295 134512640 134716908 3221224592 3221223320 134675281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5666 4812 1111 63 0 5603 0
vsize: 22664
[startup+30 s]
Raw data (loadavg): 1.00 1.03 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 4899 0 0 0 2984 13 0 0 25 0 1 0 892957606 23207936 4814 4294967295 134512640 134716908 3221224592 3221223008 134543735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5666 4814 1111 63 0 5603 0
vsize: 22664
[startup+39.9991 s]
Raw data (loadavg): 1.00 1.03 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 4902 0 0 0 3984 13 0 0 25 0 1 0 892957606 23207936 4817 4294967295 134512640 134716908 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5666 4817 1111 63 0 5603 0
vsize: 22664
[startup+49.9996 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 4905 0 0 0 4985 13 0 0 25 0 1 0 892957606 23207936 4820 4294967295 134512640 134716908 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5666 4820 1111 63 0 5603 0
vsize: 22664
[startup+59.9994 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 4909 0 0 0 5985 13 0 0 25 0 1 0 892957606 23207936 4824 4294967295 134512640 134716908 3221224592 3221223244 134558618 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5666 4824 1111 63 0 5603 0
vsize: 22664
[startup+69.9996 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 4909 0 0 0 6985 13 0 0 25 0 1 0 892957606 23207936 4824 4294967295 134512640 134716908 3221224592 3221223256 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5666 4824 1111 63 0 5603 0
vsize: 22664
[startup+80.0001 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 4909 0 0 0 7986 14 0 0 25 0 1 0 892957606 23207936 4824 4294967295 134512640 134716908 3221224592 3221223264 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5666 4824 1111 63 0 5603 0
vsize: 22664
[startup+90.0003 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 4909 0 0 0 8986 14 0 0 25 0 1 0 892957606 23207936 4824 4294967295 134512640 134716908 3221224592 3221223252 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5666 4824 1111 63 0 5603 0
vsize: 22664
[startup+100 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 4909 0 0 0 9986 14 0 0 25 0 1 0 892957606 23207936 4824 4294967295 134512640 134716908 3221224592 3221223264 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5666 4824 1111 63 0 5603 0
vsize: 22664
[startup+110.001 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 5441 0 0 0 10985 15 0 0 25 0 1 0 892957606 25538560 5356 4294967295 134512640 134716908 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6235 5356 1111 63 0 6172 0
vsize: 24940
[startup+120 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 5712 0 0 0 11982 17 0 0 25 0 1 0 892957606 26329088 5589 4294967295 134512640 134716908 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6428 5589 1111 63 0 6365 0
vsize: 25712
[startup+130 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 8516 0 0 0 12975 25 0 0 25 0 1 0 892957606 41119744 7507 4294967295 134512640 134716908 3221224592 3221220716 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10039 7507 1111 63 0 9976 0
vsize: 40156
[startup+140 s]
Raw data (loadavg): 1.00 1.02 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 9016 0 0 0 13973 27 0 0 25 0 1 0 892957606 41320448 7973 4294967295 134512640 134716908 3221224592 3221221328 1075115388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10088 7973 1111 63 0 10025 0
vsize: 40352
[startup+150 s]
Raw data (loadavg): 1.00 1.01 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 9115 0 0 0 14974 27 0 0 25 0 1 0 892957606 41484288 8048 4294967295 134512640 134716908 3221224592 3221221152 1075967916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10128 8048 1111 63 0 10065 0
vsize: 40512
[startup+160 s]
Raw data (loadavg): 1.00 1.01 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 9201 0 0 0 15974 27 0 0 25 0 1 0 892957606 42827776 8110 4294967295 134512640 134716908 3221224592 3221220716 1075116560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10456 8110 1111 63 0 10393 0
vsize: 41824
[startup+170 s]
Raw data (loadavg): 1.00 1.01 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 9277 0 0 0 16974 27 0 0 25 0 1 0 892957606 43393024 8164 4294967295 134512640 134716908 3221224592 3221220716 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10594 8164 1111 63 0 10531 0
vsize: 42376
[startup+180 s]
Raw data (loadavg): 1.00 1.01 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 9301 0 0 0 17974 28 0 0 25 0 1 0 892957606 43556864 8166 4294967295 134512640 134716908 3221224592 3221221536 1075971386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10634 8166 1111 63 0 10571 0
vsize: 42536
[startup+189.999 s]
Raw data (loadavg): 1.00 1.01 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 18723 0 0 0 18952 50 0 0 25 0 1 0 892957606 42688512 7092 4294967295 134512640 134716908 3221224592 3221221568 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10422 7092 1111 63 0 10359 0
vsize: 41688
[startup+200 s]
Raw data (loadavg): 1.00 1.01 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 26786 0 0 0 19934 67 0 0 25 0 1 0 892957606 27439104 5947 4294967295 134512640 134716908 3221224592 3221223372 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6699 5947 1111 63 0 6636 0
vsize: 26796
[startup+210 s]
Raw data (loadavg): 1.00 1.01 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 26819 0 0 0 20934 68 0 0 25 0 1 0 892957606 27574272 5980 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6732 5980 1111 63 0 6669 0
vsize: 26928
[startup+220 s]
Raw data (loadavg): 1.00 1.01 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 26886 0 0 0 21934 68 0 0 25 0 1 0 892957606 27979776 6047 4294967295 134512640 134716908 3221224592 3221222996 134699711 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6831 6047 1111 63 0 6768 0
vsize: 27324
[startup+229.999 s]
Raw data (loadavg): 1.00 1.01 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 26981 0 0 0 22933 69 0 0 25 0 1 0 892957606 28250112 6142 4294967295 134512640 134716908 3221224592 3221223152 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6897 6142 1111 63 0 6834 0
vsize: 27588
[startup+240 s]
Raw data (loadavg): 1.00 1.01 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 27029 0 0 0 23934 69 0 0 25 0 1 0 892957606 28520448 6190 4294967295 134512640 134716908 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6963 6190 1111 63 0 6900 0
vsize: 27852
[startup+249.999 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 27088 0 0 0 24934 69 0 0 25 0 1 0 892957606 28790784 6249 4294967295 134512640 134716908 3221224592 3221223248 134523856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7029 6249 1111 63 0 6966 0
vsize: 28116
[startup+259.999 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 27185 0 0 0 25933 70 0 0 25 0 1 0 892957606 29196288 6346 4294967295 134512640 134716908 3221224592 3221223272 134523849 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7128 6346 1111 63 0 7065 0
vsize: 28512
[startup+269.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 27292 0 0 0 26933 70 0 0 25 0 1 0 892957606 29601792 6453 4294967295 134512640 134716908 3221224592 3221223152 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7227 6453 1111 63 0 7164 0
vsize: 28908
[startup+279.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 27351 0 0 0 27932 71 0 0 25 0 1 0 892957606 29872128 6512 4294967295 134512640 134716908 3221224592 3221223264 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7293 6512 1111 63 0 7230 0
vsize: 29172
[startup+289.997 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 27419 0 0 0 28933 71 0 0 25 0 1 0 892957606 30142464 6580 4294967295 134512640 134716908 3221224592 3221223160 134542295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6580 1111 63 0 7296 0
vsize: 29436
[startup+299.997 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 27474 0 0 0 29933 72 0 0 25 0 1 0 892957606 30277632 6635 4294967295 134512640 134716908 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7392 6635 1111 63 0 7329 0
vsize: 29568
[startup+309.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 27559 0 0 0 30933 72 0 0 25 0 1 0 892957606 30683136 6720 4294967295 134512640 134716908 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7491 6720 1111 63 0 7428 0
vsize: 29964
[startup+319.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 27627 0 0 0 31933 72 0 0 25 0 1 0 892957606 30953472 6788 4294967295 134512640 134716908 3221224592 3221223308 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7557 6788 1111 63 0 7494 0
vsize: 30228
[startup+329.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 27682 0 0 0 32933 73 0 0 25 0 1 0 892957606 31223808 6843 4294967295 134512640 134716908 3221224592 3221223180 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7623 6843 1111 63 0 7560 0
vsize: 30492
[startup+339.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 27751 0 0 0 33933 73 0 0 25 0 1 0 892957606 31494144 6912 4294967295 134512640 134716908 3221224592 3221223376 134528780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7689 6912 1111 63 0 7626 0
vsize: 30756
[startup+349.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 27801 0 0 0 34932 74 0 0 25 0 1 0 892957606 31629312 6962 4294967295 134512640 134716908 3221224592 3221223260 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7722 6962 1111 63 0 7659 0
vsize: 30888
[startup+359.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 27859 0 0 0 35932 74 0 0 25 0 1 0 892957606 31899648 7020 4294967295 134512640 134716908 3221224592 3221223328 134523932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7788 7020 1111 63 0 7725 0
vsize: 31152
[startup+369.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 27899 0 0 0 36932 74 0 0 25 0 1 0 892957606 32034816 7060 4294967295 134512640 134716908 3221224592 3221223296 134584838 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7821 7060 1111 63 0 7758 0
vsize: 31284
[startup+379.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 27952 0 0 0 37932 75 0 0 25 0 1 0 892957606 32305152 7113 4294967295 134512640 134716908 3221224592 3221223232 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7887 7113 1111 63 0 7824 0
vsize: 31548
[startup+389.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 28026 0 0 0 38932 76 0 0 25 0 1 0 892957606 32575488 7187 4294967295 134512640 134716908 3221224592 3221223196 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7953 7187 1111 63 0 7890 0
vsize: 31812
[startup+399.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 28099 0 0 0 39931 77 0 0 25 0 1 0 892957606 32845824 7260 4294967295 134512640 134716908 3221224592 3221223248 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8019 7260 1111 63 0 7956 0
vsize: 32076
[startup+409.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 28157 0 0 0 40931 77 0 0 25 0 1 0 892957606 33116160 7318 4294967295 134512640 134716908 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8085 7318 1111 63 0 8022 0
vsize: 32340
[startup+419.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 28179 0 0 0 41931 77 0 0 25 0 1 0 892957606 33251328 7340 4294967295 134512640 134716908 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8118 7340 1111 63 0 8055 0
vsize: 32472
[startup+429.997 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 28207 0 0 0 42931 77 0 0 25 0 1 0 892957606 33386496 7368 4294967295 134512640 134716908 3221224592 3221223392 134597728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8151 7368 1111 63 0 8088 0
vsize: 32604
[startup+439.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 28264 0 0 0 43931 78 0 0 25 0 1 0 892957606 33521664 7425 4294967295 134512640 134716908 3221224592 3221223368 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8184 7425 1111 63 0 8121 0
vsize: 32736
[startup+449.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 28331 0 0 0 44931 78 0 0 25 0 1 0 892957606 33792000 7492 4294967295 134512640 134716908 3221224592 3221223224 134543090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8250 7492 1111 63 0 8187 0
vsize: 33000
[startup+459.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 28395 0 0 0 45931 78 0 0 25 0 1 0 892957606 34062336 7556 4294967295 134512640 134716908 3221224592 3221223224 134543090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8316 7556 1111 63 0 8253 0
vsize: 33264
[startup+469.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 28445 0 0 0 46931 79 0 0 25 0 1 0 892957606 34332672 7606 4294967295 134512640 134716908 3221224592 3221223196 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8382 7606 1111 63 0 8319 0
vsize: 33528
[startup+479.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 28481 0 0 0 47931 79 0 0 25 0 1 0 892957606 34467840 7642 4294967295 134512640 134716908 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8415 7642 1111 63 0 8352 0
vsize: 33660
[startup+489.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 28545 0 0 0 48931 79 0 0 25 0 1 0 892957606 34738176 7706 4294967295 134512640 134716908 3221224592 3221223360 134529113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8481 7706 1111 63 0 8418 0
vsize: 33924
[startup+499.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 28590 0 0 0 49932 79 0 0 25 0 1 0 892957606 34873344 7751 4294967295 134512640 134716908 3221224592 3221223120 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8514 7751 1111 63 0 8451 0
vsize: 34056
[startup+509.999 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 28631 0 0 0 50932 80 0 0 25 0 1 0 892957606 35008512 7792 4294967295 134512640 134716908 3221224592 3221223232 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8547 7792 1111 63 0 8484 0
vsize: 34188
[startup+519.999 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 28655 0 0 0 51932 80 0 0 25 0 1 0 892957606 35143680 7816 4294967295 134512640 134716908 3221224592 3221223316 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8580 7816 1111 63 0 8517 0
vsize: 34320
[startup+529.999 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 28734 0 0 0 52932 80 0 0 25 0 1 0 892957606 35549184 7895 4294967295 134512640 134716908 3221224592 3221223228 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8679 7895 1111 63 0 8616 0
vsize: 34716
[startup+539.999 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 28788 0 0 0 53932 81 0 0 25 0 1 0 892957606 35684352 7949 4294967295 134512640 134716908 3221224592 3221223152 134542325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8712 7949 1111 63 0 8649 0
vsize: 34848
[startup+549.999 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 28834 0 0 0 54932 81 0 0 25 0 1 0 892957606 35954688 7995 4294967295 134512640 134716908 3221224592 3221223260 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8778 7995 1111 63 0 8715 0
vsize: 35112
[startup+559.999 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 28887 0 0 0 55932 81 0 0 25 0 1 0 892957606 36089856 8048 4294967295 134512640 134716908 3221224592 3221223228 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8811 8048 1111 63 0 8748 0
vsize: 35244
[startup+570 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 28936 0 0 0 56931 82 0 0 25 0 1 0 892957606 36360192 8097 4294967295 134512640 134716908 3221224592 3221223280 134534112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8877 8097 1111 63 0 8814 0
vsize: 35508
[startup+580 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 28986 0 0 0 57932 82 0 0 25 0 1 0 892957606 36491264 8147 4294967295 134512640 134716908 3221224592 3221223316 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8909 8147 1111 63 0 8846 0
vsize: 35636
[startup+590 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29043 0 0 0 58931 83 0 0 25 0 1 0 892957606 36761600 8204 4294967295 134512640 134716908 3221224592 3221223224 134543090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8975 8204 1111 63 0 8912 0
vsize: 35900
[startup+600 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29109 0 0 0 59931 83 0 0 25 0 1 0 892957606 37031936 8270 4294967295 134512640 134716908 3221224592 3221223180 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9041 8270 1111 63 0 8978 0
vsize: 36164
[startup+610 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29160 0 0 0 60931 83 0 0 25 0 1 0 892957606 37167104 8321 4294967295 134512640 134716908 3221224592 3221223228 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9074 8321 1111 63 0 9011 0
vsize: 36296
[startup+620 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29203 0 0 0 61931 84 0 0 25 0 1 0 892957606 37437440 8364 4294967295 134512640 134716908 3221224592 3221223184 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9140 8364 1111 63 0 9077 0
vsize: 36560
[startup+630 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29244 0 0 0 62932 84 0 0 25 0 1 0 892957606 37556224 8405 4294967295 134512640 134716908 3221224592 3221223176 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9169 8405 1111 63 0 9106 0
vsize: 36676
[startup+640.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29274 0 0 0 63932 84 0 0 25 0 1 0 892957606 37691392 8435 4294967295 134512640 134716908 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9202 8435 1111 63 0 9139 0
vsize: 36808
[startup+650.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29307 0 0 0 64932 85 0 0 25 0 1 0 892957606 37826560 8468 4294967295 134512640 134716908 3221224592 3221223240 134543609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9235 8468 1111 63 0 9172 0
vsize: 36940
[startup+660.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29354 0 0 0 65932 85 0 0 25 0 1 0 892957606 37961728 8515 4294967295 134512640 134716908 3221224592 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9268 8515 1111 63 0 9205 0
vsize: 37072
[startup+670.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29438 0 0 0 66932 85 0 0 25 0 1 0 892957606 38367232 8599 4294967295 134512640 134716908 3221224592 3221223152 134542325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9367 8599 1111 63 0 9304 0
vsize: 37468
[startup+680.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29528 0 0 0 67932 86 0 0 25 0 1 0 892957606 38772736 8689 4294967295 134512640 134716908 3221224592 3221223196 134536784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9466 8689 1111 63 0 9403 0
vsize: 37864
[startup+690.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29598 0 0 0 68932 86 0 0 25 0 1 0 892957606 39043072 8759 4294967295 134512640 134716908 3221224592 3221223328 134535844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9532 8759 1111 63 0 9469 0
vsize: 38128
[startup+700.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29618 0 0 0 69932 86 0 0 25 0 1 0 892957606 39043072 8779 4294967295 134512640 134716908 3221224592 3221223232 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9532 8779 1111 63 0 9469 0
vsize: 38128
[startup+710.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29643 0 0 0 70932 86 0 0 25 0 1 0 892957606 39178240 8804 4294967295 134512640 134716908 3221224592 3221223236 134613648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9565 8804 1111 63 0 9502 0
vsize: 38260
[startup+720.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29655 0 0 0 71933 86 0 0 25 0 1 0 892957606 39313408 8816 4294967295 134512640 134716908 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9598 8816 1111 63 0 9535 0
vsize: 38392
[startup+730.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29684 0 0 0 72933 86 0 0 25 0 1 0 892957606 39313408 8845 4294967295 134512640 134716908 3221224592 3221223360 134592137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9598 8845 1111 63 0 9535 0
vsize: 38392
[startup+740.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29725 0 0 0 73933 86 0 0 25 0 1 0 892957606 39583744 8886 4294967295 134512640 134716908 3221224592 3221223180 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9664 8886 1111 63 0 9601 0
vsize: 38656
[startup+750.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29768 0 0 0 74933 87 0 0 25 0 1 0 892957606 39718912 8929 4294967295 134512640 134716908 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9697 8929 1111 63 0 9634 0
vsize: 38788
[startup+760.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29798 0 0 0 75933 87 0 0 25 0 1 0 892957606 39854080 8959 4294967295 134512640 134716908 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9730 8959 1111 63 0 9667 0
vsize: 38920
[startup+770.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29817 0 0 0 76934 87 0 0 25 0 1 0 892957606 39854080 8978 4294967295 134512640 134716908 3221224592 3221223248 134543712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9730 8978 1111 63 0 9667 0
vsize: 38920
[startup+780.002 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29859 0 0 0 77933 87 0 0 25 0 1 0 892957606 40124416 9020 4294967295 134512640 134716908 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9796 9020 1111 63 0 9733 0
vsize: 39184
[startup+790.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29892 0 0 0 78934 88 0 0 25 0 1 0 892957606 40259584 9053 4294967295 134512640 134716908 3221224592 3221223184 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9829 9053 1111 63 0 9766 0
vsize: 39316
[startup+800.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29927 0 0 0 79934 88 0 0 25 0 1 0 892957606 40394752 9088 4294967295 134512640 134716908 3221224592 3221223176 134542289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9862 9088 1111 63 0 9799 0
vsize: 39448
[startup+810.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 29973 0 0 0 80934 88 0 0 25 0 1 0 892957606 40529920 9134 4294967295 134512640 134716908 3221224592 3221223220 134543092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9895 9134 1111 63 0 9832 0
vsize: 39580
[startup+820.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30022 0 0 0 81934 88 0 0 25 0 1 0 892957606 40800256 9183 4294967295 134512640 134716908 3221224592 3221223148 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9961 9183 1111 63 0 9898 0
vsize: 39844
[startup+830.004 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30076 0 0 0 82933 89 0 0 25 0 1 0 892957606 40935424 9237 4294967295 134512640 134716908 3221224592 3221223176 134543647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9994 9237 1111 63 0 9931 0
vsize: 39976
[startup+840.003 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30109 0 0 0 83934 89 0 0 25 0 1 0 892957606 41070592 9270 4294967295 134512640 134716908 3221224592 3221223376 134529237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10027 9270 1111 63 0 9964 0
vsize: 40108
[startup+850.004 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30117 0 0 0 84934 89 0 0 25 0 1 0 892957606 41205760 9278 4294967295 134512640 134716908 3221224592 3221223196 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10060 9278 1111 63 0 9997 0
vsize: 40240
[startup+860.004 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30204 0 0 0 85934 90 0 0 25 0 1 0 892957606 41476096 9365 4294967295 134512640 134716908 3221224592 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10126 9365 1111 63 0 10063 0
vsize: 40504
[startup+870.004 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30276 0 0 0 86933 90 0 0 25 0 1 0 892957606 41746432 9437 4294967295 134512640 134716908 3221224592 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10192 9437 1111 63 0 10129 0
vsize: 40768
[startup+880.004 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30302 0 0 0 87934 91 0 0 25 0 1 0 892957606 41881600 9463 4294967295 134512640 134716908 3221224592 3221223328 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10225 9463 1111 63 0 10162 0
vsize: 40900
[startup+890.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30321 0 0 0 88934 91 0 0 25 0 1 0 892957606 42016768 9482 4294967295 134512640 134716908 3221224592 3221223232 134536655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10258 9482 1111 63 0 10195 0
vsize: 41032
[startup+900.004 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30337 0 0 0 89934 91 0 0 25 0 1 0 892957606 42016768 9498 4294967295 134512640 134716908 3221224592 3221223124 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10258 9498 1111 63 0 10195 0
vsize: 41032
[startup+910.004 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30368 0 0 0 90934 91 0 0 25 0 1 0 892957606 42151936 9529 4294967295 134512640 134716908 3221224592 3221223304 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10291 9529 1111 63 0 10228 0
vsize: 41164
[startup+920.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30395 0 0 0 91934 92 0 0 25 0 1 0 892957606 42287104 9556 4294967295 134512640 134716908 3221224592 3221223232 134698448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10324 9556 1111 63 0 10261 0
vsize: 41296
[startup+930.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30426 0 0 0 92934 92 0 0 25 0 1 0 892957606 42422272 9587 4294967295 134512640 134716908 3221224592 3221223232 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10357 9587 1111 63 0 10294 0
vsize: 41428
[startup+940.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30450 0 0 0 93934 92 0 0 25 0 1 0 892957606 42557440 9611 4294967295 134512640 134716908 3221224592 3221223232 134539362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10390 9611 1111 63 0 10327 0
vsize: 41560
[startup+950.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30492 0 0 0 94934 92 0 0 25 0 1 0 892957606 42692608 9653 4294967295 134512640 134716908 3221224592 3221223268 134542856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10423 9653 1111 63 0 10360 0
vsize: 41692
[startup+960.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30514 0 0 0 95935 93 0 0 25 0 1 0 892957606 42827776 9675 4294967295 134512640 134716908 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10456 9675 1111 63 0 10393 0
vsize: 41824
[startup+970.005 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30535 0 0 0 96934 93 0 0 25 0 1 0 892957606 42827776 9696 4294967295 134512640 134716908 3221224592 3221223132 134539243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10456 9696 1111 63 0 10393 0
vsize: 41824
[startup+980.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30560 0 0 0 97934 93 0 0 25 0 1 0 892957606 42962944 9721 4294967295 134512640 134716908 3221224592 3221223232 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10489 9721 1111 63 0 10426 0
vsize: 41956
[startup+990.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30585 0 0 0 98934 94 0 0 25 0 1 0 892957606 43098112 9746 4294967295 134512640 134716908 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10522 9746 1111 63 0 10459 0
vsize: 42088
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30620 0 0 0 99934 94 0 0 25 0 1 0 892957606 43233280 9781 4294967295 134512640 134716908 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10555 9781 1111 63 0 10492 0
vsize: 42220
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30662 0 0 0 100934 95 0 0 25 0 1 0 892957606 43368448 9823 4294967295 134512640 134716908 3221224592 3221223316 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10588 9823 1111 63 0 10525 0
vsize: 42352
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30695 0 0 0 101934 95 0 0 25 0 1 0 892957606 43503616 9856 4294967295 134512640 134716908 3221224592 3221223232 134543108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10621 9856 1111 63 0 10558 0
vsize: 42484
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30753 0 0 0 102934 95 0 0 25 0 1 0 892957606 43773952 9914 4294967295 134512640 134716908 3221224592 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10687 9914 1111 63 0 10624 0
vsize: 42748
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30836 0 0 0 103934 96 0 0 25 0 1 0 892957606 44044288 9997 4294967295 134512640 134716908 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10753 9997 1111 63 0 10690 0
vsize: 43012
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30902 0 0 0 104934 96 0 0 25 0 1 0 892957606 44314624 10063 4294967295 134512640 134716908 3221224592 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10819 10063 1111 63 0 10756 0
vsize: 43276
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30928 0 0 0 105934 96 0 0 25 0 1 0 892957606 44449792 10089 4294967295 134512640 134716908 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10852 10089 1111 63 0 10789 0
vsize: 43408
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30944 0 0 0 106935 96 0 0 25 0 1 0 892957606 44580864 10105 4294967295 134512640 134716908 3221224592 3221223232 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10884 10105 1111 63 0 10821 0
vsize: 43536
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30980 0 0 0 107935 97 0 0 25 0 1 0 892957606 44716032 10141 4294967295 134512640 134716908 3221224592 3221223232 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10917 10141 1111 63 0 10854 0
vsize: 43668
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 30997 0 0 0 108935 97 0 0 25 0 1 0 892957606 44716032 10158 4294967295 134512640 134716908 3221224592 3221223120 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10917 10158 1111 63 0 10854 0
vsize: 43668
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 31059 0 0 0 109935 97 0 0 25 0 1 0 892957606 44986368 10220 4294967295 134512640 134716908 3221224592 3221223240 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10983 10220 1111 63 0 10920 0
vsize: 43932
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 31133 0 0 0 110935 97 0 0 25 0 1 0 892957606 45256704 10294 4294967295 134512640 134716908 3221224592 3221223284 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11049 10294 1111 63 0 10986 0
vsize: 44196
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 31166 0 0 0 111935 98 0 0 25 0 1 0 892957606 45391872 10327 4294967295 134512640 134716908 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11082 10327 1111 63 0 11019 0
vsize: 44328
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 31186 0 0 0 112935 98 0 0 25 0 1 0 892957606 45527040 10347 4294967295 134512640 134716908 3221224592 3221223232 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11115 10347 1111 63 0 11052 0
vsize: 44460
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 31223 0 0 0 113935 98 0 0 25 0 1 0 892957606 45662208 10384 4294967295 134512640 134716908 3221224592 3221223392 134588065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11148 10384 1111 63 0 11085 0
vsize: 44592
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 31264 0 0 0 114935 99 0 0 25 0 1 0 892957606 45797376 10425 4294967295 134512640 134716908 3221224592 3221223376 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11181 10425 1111 63 0 11118 0
vsize: 44724
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 31308 0 0 0 115935 99 0 0 25 0 1 0 892957606 46067712 10469 4294967295 134512640 134716908 3221224592 3221223100 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11247 10469 1111 63 0 11184 0
vsize: 44988
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 31330 0 0 0 116936 99 0 0 25 0 1 0 892957606 46067712 10491 4294967295 134512640 134716908 3221224592 3221223152 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11247 10491 1111 63 0 11184 0
vsize: 44988
[startup+1174.69 s]
Raw data (loadavg): 1.00 1.00 0.96 1/53 14473
Raw data (stat): 14473 (bsolo_lpr-v2) R 14472 25568 25567 0 -1 0 31330 0 0 0 116936 99 0 0 25 0 1 0 892957606 46067712 10491 4294967295 134512640 134716908 3221224592 3221223152 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11247 10491 1111 63 0 11184 0
vsize: 0

Child status: 0
Real time (s): 1174.69
CPU time (s): 1175.04
CPU user time (s): 1174.02
CPU system time (s): 1.01784
CPU usage (%): 100.029
Max. virtual memory (Kb): 44988
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####