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-par32-2-c.opb
MD5SUM	40e47c460002545cc2670ca84fd53082
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2606
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	2606
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2606
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2606
Total number of constraints	6509
Number of constraints which are clauses	6509
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	3
Trace number 39581

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        274904 kB
Buffers:         34452 kB
Cached:         701816 kB
SwapCached:        240 kB
Active:          64500 kB
Inactive:       674224 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        274652 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6220 kB
Slab:            15200 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 14:40:32 (client local time) WITH STATUS 0 IN 1175.08 SECONDS
stats: 27647 7 1175.08 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2606 variables and 6509 constraints.
c After prepocess the problem consists of 2541 variables and 8358 constraints.
c preprocess terminated 56.901 s
c Initial Lower Bound: 799
c Lower Bound Elapsed time: 22.5452
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 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.98 0.91 2/54 11987
Raw data (stat): 11987 (runsolver) R 11986 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893660962 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+10.0004 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 4914 0 0 0 984 12 0 0 25 0 1 0 893660962 17948672 3538 4294967295 134512640 134716908 3221224576 3221223228 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4382 3538 1111 63 0 4319 0
vsize: 17528
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 4914 0 0 0 1985 12 0 0 25 0 1 0 893660962 17948672 3538 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4382 3538 1111 63 0 4319 0
vsize: 17528
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 4949 0 0 0 2985 12 0 0 25 0 1 0 893660962 18219008 3573 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4448 3573 1111 63 0 4385 0
vsize: 17792
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 5104 0 0 0 3985 13 0 0 25 0 1 0 893660962 18759680 3728 4294967295 134512640 134716908 3221224576 3221223248 134627186 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4580 3728 1111 63 0 4517 0
vsize: 18320
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 5225 0 0 0 4985 13 0 0 25 0 1 0 893660962 19300352 3849 4294967295 134512640 134716908 3221224576 3221223228 134558618 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4712 3849 1111 63 0 4649 0
vsize: 18848
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 6405 0 0 0 5982 15 0 0 25 0 1 0 893660962 24186880 5029 4294967295 134512640 134716908 3221224576 3221222504 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5905 5029 1111 63 0 5842 0
vsize: 23620
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 7767 0 0 0 6978 19 0 0 25 0 1 0 893660962 30486528 6150 4294967295 134512640 134716908 3221224576 3221221544 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 6150 1111 63 0 7380 0
vsize: 29772
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 7789 0 0 0 7978 20 0 0 25 0 1 0 893660962 30486528 6172 4294967295 134512640 134716908 3221224576 3221220428 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 6172 1111 63 0 7380 0
vsize: 29772
[startup+90.0038 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 8023 0 0 0 8977 20 0 0 25 0 1 0 893660962 29503488 6144 4294967295 134512640 134716908 3221224576 3221220752 1074961264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7203 6144 1111 63 0 7140 0
vsize: 28812
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 8051 0 0 0 9977 20 0 0 25 0 1 0 893660962 29618176 6166 4294967295 134512640 134716908 3221224576 3221220752 1074961267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7231 6166 1111 63 0 7168 0
vsize: 28924
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 8244 0 0 0 10977 21 0 0 25 0 1 0 893660962 31002624 6359 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7569 6359 1111 63 0 7506 0
vsize: 30276
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 8365 0 0 0 11977 21 0 0 25 0 1 0 893660962 29745152 6176 4294967295 134512640 134716908 3221224576 3221220708 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7262 6176 1111 63 0 7199 0
vsize: 29048
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 8365 0 0 0 12977 21 0 0 25 0 1 0 893660962 29745152 6176 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7262 6176 1111 63 0 7199 0
vsize: 29048
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 8510 0 0 0 13977 22 0 0 25 0 1 0 893660962 31002624 6321 4294967295 134512640 134716908 3221224576 3221220376 1074789806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7569 6321 1111 63 0 7506 0
vsize: 30276
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 14979 0 0 0 14963 35 0 0 25 0 1 0 893660962 24735744 5320 4294967295 134512640 134716908 3221224576 3221223104 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6039 5320 1111 63 0 5976 0
vsize: 24156
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 15206 0 0 0 15962 36 0 0 25 0 1 0 893660962 25681920 5547 4294967295 134512640 134716908 3221224576 3221223148 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6270 5547 1111 63 0 6207 0
vsize: 25080
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 15375 0 0 0 16962 37 0 0 25 0 1 0 893660962 26488832 5716 4294967295 134512640 134716908 3221224576 3221223180 134536820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6467 5716 1111 63 0 6404 0
vsize: 25868
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 15520 0 0 0 17961 37 0 0 25 0 1 0 893660962 27029504 5861 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6599 5861 1111 63 0 6536 0
vsize: 26396
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 15666 0 0 0 18961 38 0 0 25 0 1 0 893660962 27570176 6007 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6731 6007 1111 63 0 6668 0
vsize: 26924
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 15797 0 0 0 19960 39 0 0 25 0 1 0 893660962 28110848 6138 4294967295 134512640 134716908 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6863 6138 1111 63 0 6800 0
vsize: 27452
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 15931 0 0 0 20960 40 0 0 25 0 1 0 893660962 28651520 6272 4294967295 134512640 134716908 3221224576 3221223216 134539429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6995 6272 1111 63 0 6932 0
vsize: 27980
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 16052 0 0 0 21959 41 0 0 25 0 1 0 893660962 29192192 6393 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7127 6393 1111 63 0 7064 0
vsize: 28508
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 16175 0 0 0 22958 42 0 0 25 0 1 0 893660962 29732864 6516 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7259 6516 1111 63 0 7196 0
vsize: 29036
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 16303 0 0 0 23957 43 0 0 25 0 1 0 893660962 30273536 6644 4294967295 134512640 134716908 3221224576 3221223148 134542371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7391 6644 1111 63 0 7328 0
vsize: 29564
[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 16446 0 0 0 24957 43 0 0 25 0 1 0 893660962 30814208 6787 4294967295 134512640 134716908 3221224576 3221223180 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7523 6787 1111 63 0 7460 0
vsize: 30092
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 16596 0 0 0 25956 44 0 0 25 0 1 0 893660962 31490048 6937 4294967295 134512640 134716908 3221224576 3221223216 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7688 6937 1111 63 0 7625 0
vsize: 30752
[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 16733 0 0 0 26956 45 0 0 25 0 1 0 893660962 32030720 7074 4294967295 134512640 134716908 3221224576 3221223164 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7820 7074 1111 63 0 7757 0
vsize: 31280
[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 16848 0 0 0 27955 45 0 0 25 0 1 0 893660962 32436224 7189 4294967295 134512640 134716908 3221224576 3221223248 134543700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7919 7189 1111 63 0 7856 0
vsize: 31676
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 16971 0 0 0 28955 46 0 0 25 0 1 0 893660962 32976896 7312 4294967295 134512640 134716908 3221224576 3221223152 134542817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8051 7312 1111 63 0 7988 0
vsize: 32204
[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 17096 0 0 0 29955 46 0 0 25 0 1 0 893660962 33517568 7437 4294967295 134512640 134716908 3221224576 3221223216 134539362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8183 7437 1111 63 0 8120 0
vsize: 32732
[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 17222 0 0 0 30954 47 0 0 25 0 1 0 893660962 33923072 7563 4294967295 134512640 134716908 3221224576 3221223124 134699096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8282 7563 1111 63 0 8219 0
vsize: 33128
[startup+320.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 17347 0 0 0 31954 48 0 0 25 0 1 0 893660962 34463744 7688 4294967295 134512640 134716908 3221224576 3221223216 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8414 7688 1111 63 0 8351 0
vsize: 33656
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 17486 0 0 0 32954 48 0 0 25 0 1 0 893660962 35004416 7827 4294967295 134512640 134716908 3221224576 3221223264 134542958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8546 7827 1111 63 0 8483 0
vsize: 34184
[startup+340.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 17610 0 0 0 33953 49 0 0 25 0 1 0 893660962 35545088 7951 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8678 7951 1111 63 0 8615 0
vsize: 34712
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 17728 0 0 0 34953 49 0 0 25 0 1 0 893660962 36085760 8069 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8810 8069 1111 63 0 8747 0
vsize: 35240
[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 17849 0 0 0 35952 50 0 0 25 0 1 0 893660962 36491264 8190 4294967295 134512640 134716908 3221224576 3221223336 134675441 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8909 8190 1111 63 0 8846 0
vsize: 35636
[startup+370.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 17976 0 0 0 36952 51 0 0 25 0 1 0 893660962 37031936 8317 4294967295 134512640 134716908 3221224576 3221223336 134592427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9041 8317 1111 63 0 8978 0
vsize: 36164
[startup+380.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 18096 0 0 0 37951 52 0 0 25 0 1 0 893660962 37572608 8437 4294967295 134512640 134716908 3221224576 3221223216 134543070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9173 8437 1111 63 0 9110 0
vsize: 36692
[startup+390.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 18210 0 0 0 38951 52 0 0 25 0 1 0 893660962 37978112 8551 4294967295 134512640 134716908 3221224576 3221223360 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9272 8551 1111 63 0 9209 0
vsize: 37088
[startup+400.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 18335 0 0 0 39950 53 0 0 25 0 1 0 893660962 38518784 8676 4294967295 134512640 134716908 3221224576 3221223072 134699765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9404 8676 1111 63 0 9341 0
vsize: 37616
[startup+410.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 18460 0 0 0 40950 53 0 0 25 0 1 0 893660962 39059456 8801 4294967295 134512640 134716908 3221224576 3221223116 134539262 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9536 8801 1111 63 0 9473 0
vsize: 38144
[startup+420.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 18569 0 0 0 41950 54 0 0 25 0 1 0 893660962 39460864 8910 4294967295 134512640 134716908 3221224576 3221223312 134523959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9634 8910 1111 63 0 9571 0
vsize: 38536
[startup+430.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 18681 0 0 0 42950 54 0 0 25 0 1 0 893660962 40001536 9022 4294967295 134512640 134716908 3221224576 3221223136 134698920 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9766 9022 1111 63 0 9703 0
vsize: 39064
[startup+440.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 18794 0 0 0 43949 55 0 0 25 0 1 0 893660962 40407040 9135 4294967295 134512640 134716908 3221224576 3221223136 134698909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9865 9135 1111 63 0 9802 0
vsize: 39460
[startup+450.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 18915 0 0 0 44949 55 0 0 25 0 1 0 893660962 40947712 9256 4294967295 134512640 134716908 3221224576 3221223324 134535873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9997 9256 1111 63 0 9934 0
vsize: 39988
[startup+460.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 19020 0 0 0 45949 56 0 0 25 0 1 0 893660962 41353216 9361 4294967295 134512640 134716908 3221224576 3221223168 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10096 9361 1111 63 0 10033 0
vsize: 40384
[startup+470.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 19129 0 0 0 46948 57 0 0 25 0 1 0 893660962 41758720 9470 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10195 9470 1111 63 0 10132 0
vsize: 40780
[startup+480.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 19246 0 0 0 47948 57 0 0 25 0 1 0 893660962 42299392 9587 4294967295 134512640 134716908 3221224576 3221223060 134699564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10327 9587 1111 63 0 10264 0
vsize: 41308
[startup+490.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 19361 0 0 0 48948 58 0 0 25 0 1 0 893660962 42704896 9702 4294967295 134512640 134716908 3221224576 3221223360 134529237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10426 9702 1111 63 0 10363 0
vsize: 41704
[startup+500.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 19490 0 0 0 49947 58 0 0 25 0 1 0 893660962 43245568 9831 4294967295 134512640 134716908 3221224576 3221223232 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10558 9831 1111 63 0 10495 0
vsize: 42232
[startup+510.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 19602 0 0 0 50947 59 0 0 25 0 1 0 893660962 43786240 9943 4294967295 134512640 134716908 3221224576 3221223136 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10690 9943 1111 63 0 10627 0
vsize: 42760
[startup+520.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 19724 0 0 0 51947 59 0 0 25 0 1 0 893660962 44191744 10065 4294967295 134512640 134716908 3221224576 3221223132 134539334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10789 10065 1111 63 0 10726 0
vsize: 43156
[startup+530.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 19854 0 0 0 52946 60 0 0 25 0 1 0 893660962 44732416 10195 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10921 10195 1111 63 0 10858 0
vsize: 43684
[startup+540.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 19962 0 0 0 53945 61 0 0 25 0 1 0 893660962 45273088 10303 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11053 10303 1111 63 0 10990 0
vsize: 44212
[startup+550.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 20083 0 0 0 54945 62 0 0 25 0 1 0 893660962 45678592 10424 4294967295 134512640 134716908 3221224576 3221223084 134535952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11152 10424 1111 63 0 11089 0
vsize: 44608
[startup+560.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 20193 0 0 0 55944 62 0 0 25 0 1 0 893660962 46219264 10534 4294967295 134512640 134716908 3221224576 3221223360 134528780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11284 10534 1111 63 0 11221 0
vsize: 45136
[startup+570.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 20299 0 0 0 56944 63 0 0 25 0 1 0 893660962 46624768 10640 4294967295 134512640 134716908 3221224576 3221223264 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11383 10640 1111 63 0 11320 0
vsize: 45532
[startup+580.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 20430 0 0 0 57944 64 0 0 25 0 1 0 893660962 47165440 10771 4294967295 134512640 134716908 3221224576 3221223136 134542701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11515 10771 1111 63 0 11452 0
vsize: 46060
[startup+590.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 20547 0 0 0 58943 64 0 0 25 0 1 0 893660962 47570944 10888 4294967295 134512640 134716908 3221224576 3221223136 134542331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11614 10888 1111 63 0 11551 0
vsize: 46456
[startup+600.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 20662 0 0 0 59943 65 0 0 25 0 1 0 893660962 48111616 11003 4294967295 134512640 134716908 3221224576 3221223264 134523184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11746 11003 1111 63 0 11683 0
vsize: 46984
[startup+610.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 20787 0 0 0 60943 65 0 0 25 0 1 0 893660962 48652288 11128 4294967295 134512640 134716908 3221224576 3221223248 134542968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11878 11128 1111 63 0 11815 0
vsize: 47512
[startup+620.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 20909 0 0 0 61942 66 0 0 25 0 1 0 893660962 49057792 11250 4294967295 134512640 134716908 3221224576 3221223240 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11977 11250 1111 63 0 11914 0
vsize: 47908
[startup+630.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 21032 0 0 0 62941 67 0 0 25 0 1 0 893660962 49598464 11373 4294967295 134512640 134716908 3221224576 3221223216 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12109 11373 1111 63 0 12046 0
vsize: 48436
[startup+640.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 21174 0 0 0 63941 67 0 0 25 0 1 0 893660962 50139136 11515 4294967295 134512640 134716908 3221224576 3221223184 134523350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12241 11515 1111 63 0 12178 0
vsize: 48964
[startup+650.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 21294 0 0 0 64941 68 0 0 25 0 1 0 893660962 50679808 11635 4294967295 134512640 134716908 3221224576 3221223232 134536730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12373 11635 1111 63 0 12310 0
vsize: 49492
[startup+660.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 21414 0 0 0 65941 68 0 0 25 0 1 0 893660962 51220480 11755 4294967295 134512640 134716908 3221224576 3221223232 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12505 11755 1111 63 0 12442 0
vsize: 50020
[startup+670.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 21527 0 0 0 66941 68 0 0 25 0 1 0 893660962 51630080 11868 4294967295 134512640 134716908 3221224576 3221223216 134698431 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12605 11868 1111 63 0 12542 0
vsize: 50420
[startup+680.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 21640 0 0 0 67940 69 0 0 25 0 1 0 893660962 52170752 11981 4294967295 134512640 134716908 3221224576 3221223204 134698632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12737 11981 1111 63 0 12674 0
vsize: 50948
[startup+690.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 21768 0 0 0 68940 69 0 0 25 0 1 0 893660962 52711424 12109 4294967295 134512640 134716908 3221224576 3221223216 134698428 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12869 12109 1111 63 0 12806 0
vsize: 51476
[startup+700.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 21899 0 0 0 69939 70 0 0 25 0 1 0 893660962 53252096 12240 4294967295 134512640 134716908 3221224576 3221223208 134542370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13001 12240 1111 63 0 12938 0
vsize: 52004
[startup+710.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 22023 0 0 0 70939 71 0 0 25 0 1 0 893660962 53657600 12364 4294967295 134512640 134716908 3221224576 3221223220 134536691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13100 12364 1111 63 0 13037 0
vsize: 52400
[startup+720.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 22116 0 0 0 71938 72 0 0 25 0 1 0 893660962 54063104 12457 4294967295 134512640 134716908 3221224576 3221222980 134699711 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13199 12457 1111 63 0 13136 0
vsize: 52796
[startup+730.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 22208 0 0 0 72938 72 0 0 25 0 1 0 893660962 54468608 12549 4294967295 134512640 134716908 3221224576 3221223216 134698702 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13298 12549 1111 63 0 13235 0
vsize: 53192
[startup+740.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 22316 0 0 0 73938 73 0 0 25 0 1 0 893660962 54874112 12657 4294967295 134512640 134716908 3221224576 3221223232 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13397 12657 1111 63 0 13334 0
vsize: 53588
[startup+750.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 22426 0 0 0 74937 73 0 0 25 0 1 0 893660962 55279616 12767 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13496 12767 1111 63 0 13433 0
vsize: 53984
[startup+760.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 22537 0 0 0 75937 74 0 0 25 0 1 0 893660962 55820288 12878 4294967295 134512640 134716908 3221224576 3221223216 134698428 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13628 12878 1111 63 0 13565 0
vsize: 54512
[startup+770.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 22653 0 0 0 76936 74 0 0 25 0 1 0 893660962 56225792 12994 4294967295 134512640 134716908 3221224576 3221223360 134584976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13727 12994 1111 63 0 13664 0
vsize: 54908
[startup+780.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 22765 0 0 0 77936 75 0 0 25 0 1 0 893660962 56766464 13106 4294967295 134512640 134716908 3221224576 3221223216 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13859 13106 1111 63 0 13796 0
vsize: 55436
[startup+790.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 22885 0 0 0 78935 76 0 0 25 0 1 0 893660962 57171968 13226 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13958 13226 1111 63 0 13895 0
vsize: 55832
[startup+800.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 22996 0 0 0 79935 76 0 0 25 0 1 0 893660962 57712640 13337 4294967295 134512640 134716908 3221224576 3221223116 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14090 13337 1111 63 0 14027 0
vsize: 56360
[startup+810.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 23097 0 0 0 80935 77 0 0 25 0 1 0 893660962 58118144 13438 4294967295 134512640 134716908 3221224576 3221223184 134523171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14189 13438 1111 63 0 14126 0
vsize: 56756
[startup+820.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 23210 0 0 0 81935 77 0 0 25 0 1 0 893660962 58531840 13551 4294967295 134512640 134716908 3221224576 3221223228 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14290 13551 1111 63 0 14227 0
vsize: 57160
[startup+830.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 23325 0 0 0 82934 78 0 0 25 0 1 0 893660962 59072512 13666 4294967295 134512640 134716908 3221224576 3221223216 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14422 13666 1111 63 0 14359 0
vsize: 57688
[startup+840.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 23440 0 0 0 83933 79 0 0 25 0 1 0 893660962 59478016 13781 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14521 13781 1111 63 0 14458 0
vsize: 58084
[startup+850.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 23559 0 0 0 84933 79 0 0 25 0 1 0 893660962 60018688 13900 4294967295 134512640 134716908 3221224576 3221223216 134539390 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14653 13900 1111 63 0 14590 0
vsize: 58612
[startup+860.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 23677 0 0 0 85933 80 0 0 25 0 1 0 893660962 60559360 14018 4294967295 134512640 134716908 3221224576 3221223212 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14785 14018 1111 63 0 14722 0
vsize: 59140
[startup+870.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 23792 0 0 0 86932 81 0 0 25 0 1 0 893660962 60964864 14133 4294967295 134512640 134716908 3221224576 3221223136 134542306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14884 14133 1111 63 0 14821 0
vsize: 59536
[startup+880.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 23915 0 0 0 87932 81 0 0 25 0 1 0 893660962 61505536 14256 4294967295 134512640 134716908 3221224576 3221223136 134698951 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15016 14256 1111 63 0 14953 0
vsize: 60064
[startup+890.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 24035 0 0 0 88931 82 0 0 25 0 1 0 893660962 61919232 14376 4294967295 134512640 134716908 3221224576 3221223248 134543674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15117 14376 1111 63 0 15054 0
vsize: 60468
[startup+900.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 24146 0 0 0 89931 82 0 0 25 0 1 0 893660962 62459904 14487 4294967295 134512640 134716908 3221224576 3221223240 134543617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15249 14487 1111 63 0 15186 0
vsize: 60996
[startup+910.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 24262 0 0 0 90931 83 0 0 25 0 1 0 893660962 63000576 14602 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15381 14602 1111 63 0 15318 0
vsize: 61524
[startup+920.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 24377 0 0 0 91930 83 0 0 25 0 1 0 893660962 63406080 14717 4294967295 134512640 134716908 3221224576 3221223204 134698621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15480 14717 1111 63 0 15417 0
vsize: 61920
[startup+930.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 24489 0 0 0 92930 83 0 0 25 0 1 0 893660962 63811584 14829 4294967295 134512640 134716908 3221224576 3221223360 134528780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15579 14829 1111 63 0 15516 0
vsize: 62316
[startup+940.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 24601 0 0 0 93930 84 0 0 25 0 1 0 893660962 64352256 14941 4294967295 134512640 134716908 3221224576 3221223360 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15711 14941 1111 63 0 15648 0
vsize: 62844
[startup+950.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 24720 0 0 0 94930 85 0 0 25 0 1 0 893660962 64757760 15060 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15810 15060 1111 63 0 15747 0
vsize: 63240
[startup+960.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 24838 0 0 0 95929 85 0 0 25 0 1 0 893660962 65298432 15178 4294967295 134512640 134716908 3221224576 3221223168 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15942 15178 1111 63 0 15879 0
vsize: 63768
[startup+970.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 24956 0 0 0 96929 86 0 0 25 0 1 0 893660962 65703936 15296 4294967295 134512640 134716908 3221224576 3221223304 134528393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16041 15296 1111 63 0 15978 0
vsize: 64164
[startup+980.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 25078 0 0 0 97929 86 0 0 25 0 1 0 893660962 66244608 15418 4294967295 134512640 134716908 3221224576 3221223216 134613447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16173 15418 1111 63 0 16110 0
vsize: 64692
[startup+990.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 25201 0 0 0 98928 87 0 0 25 0 1 0 893660962 66785280 15541 4294967295 134512640 134716908 3221224576 3221223212 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16305 15541 1111 63 0 16242 0
vsize: 65220
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 25338 0 0 0 99928 87 0 0 25 0 1 0 893660962 67325952 15678 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16437 15678 1111 63 0 16374 0
vsize: 65748
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 25472 0 0 0 100928 88 0 0 25 0 1 0 893660962 67866624 15812 4294967295 134512640 134716908 3221224576 3221223124 134699093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16569 15812 1111 63 0 16506 0
vsize: 66276
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 25610 0 0 0 101927 89 0 0 25 0 1 0 893660962 68407296 15950 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16701 15950 1111 63 0 16638 0
vsize: 66804
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 25745 0 0 0 102927 89 0 0 25 0 1 0 893660962 68947968 16085 4294967295 134512640 134716908 3221224576 3221223292 134542828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16833 16085 1111 63 0 16770 0
vsize: 67332
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 25859 0 0 0 103926 90 0 0 25 0 1 0 893660962 69488640 16199 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16965 16199 1111 63 0 16902 0
vsize: 67860
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 25977 0 0 0 104926 91 0 0 25 0 1 0 893660962 69894144 16317 4294967295 134512640 134716908 3221224576 3221223124 134699091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17064 16317 1111 63 0 17001 0
vsize: 68256
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 26093 0 0 0 105925 91 0 0 25 0 1 0 893660962 70434816 16433 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17196 16433 1111 63 0 17133 0
vsize: 68784
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 26207 0 0 0 106925 92 0 0 25 0 1 0 893660962 70840320 16547 4294967295 134512640 134716908 3221224576 3221223116 134539301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17295 16547 1111 63 0 17232 0
vsize: 69180
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 26309 0 0 0 107925 92 0 0 25 0 1 0 893660962 71245824 16649 4294967295 134512640 134716908 3221224576 3221223184 134543756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17394 16649 1111 63 0 17331 0
vsize: 69576
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 26423 0 0 0 108925 92 0 0 25 0 1 0 893660962 71786496 16763 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17526 16763 1111 63 0 17463 0
vsize: 70104
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 26555 0 0 0 109924 93 0 0 25 0 1 0 893660962 72327168 16895 4294967295 134512640 134716908 3221224576 3221223220 134536694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17658 16895 1111 63 0 17595 0
vsize: 70632
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 26691 0 0 0 110924 94 0 0 25 0 1 0 893660962 72888320 17030 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17795 17030 1111 63 0 17732 0
vsize: 71180
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 26830 0 0 0 111923 94 0 0 25 0 1 0 893660962 73428992 17169 4294967295 134512640 134716908 3221224576 3221223184 134543700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17927 17169 1111 63 0 17864 0
vsize: 71708
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 26963 0 0 0 112923 95 0 0 25 0 1 0 893660962 73969664 17302 4294967295 134512640 134716908 3221224576 3221223264 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18059 17302 1111 63 0 17996 0
vsize: 72236
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 27105 0 0 0 113922 95 0 0 25 0 1 0 893660962 74510336 17444 4294967295 134512640 134716908 3221224576 3221223164 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18191 17444 1111 63 0 18128 0
vsize: 72764
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 27245 0 0 0 114922 96 0 0 25 0 1 0 893660962 75186176 17584 4294967295 134512640 134716908 3221224576 3221223084 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18356 17584 1111 63 0 18293 0
vsize: 73424
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 27401 0 0 0 115922 97 0 0 25 0 1 0 893660962 75866112 17740 4294967295 134512640 134716908 3221224576 3221223204 134698595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18522 17740 1111 63 0 18459 0
vsize: 74088
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 27523 0 0 0 116921 97 0 0 25 0 1 0 893660962 76271616 17862 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18621 17862 1111 63 0 18558 0
vsize: 74484
[startup+1174.93 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 11987
Raw data (stat): 11987 (bsolo_lpr-v2) R 11986 20224 20223 0 -1 0 27523 0 0 0 116921 97 0 0 25 0 1 0 893660962 76271616 17862 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18621 17862 1111 63 0 18558 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.08
CPU user time (s): 1174.07
CPU system time (s): 1.01185
CPU usage (%): 100.013
Max. virtual memory (Kb): 74484
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####