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/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb
MD5SUM	808390b13d2d87ec4e78f628ed3af9ba
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.021995
Number of variables	750
Total number of constraints	80
Number of constraints which are clauses	50
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	25
Trace number 39383

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 07:13:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27449 boxname=wulflinc2 idbench=7 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  808390b13d2d87ec4e78f628ed3af9ba  /oldhome/oroussel/tmp/wulflinc2/normalized-chnl15_25_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-chnl15_25_pb.cnf.cr.opb
IDLAUNCH: 27449
/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:        188288 kB
Buffers:         34628 kB
Cached:         787824 kB
SwapCached:       1164 kB
Active:          67432 kB
Inactive:       757504 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        188036 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            15624 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 07:33:35 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 27449 7 1175.14 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 750 variables and 80 constraints.
c After prepocess the problem consists of 750 variables and 80 constraints.
c preprocess terminated 0.204 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.00 0.00 0.00 1/54 21501
Raw data (stat): 21501 (runsolver) R 21500 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891110931 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.9998 s]
Raw data (loadavg): 0.15 0.03 0.01 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 3525 0 14 0 944 10 0 0 25 0 1 0 891110931 17649664 3457 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4309 3457 1111 63 0 4246 0
vsize: 17236
[startup+20.0004 s]
Raw data (loadavg): 0.28 0.06 0.02 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 5181 0 14 0 1937 17 0 0 25 0 1 0 891110931 24412160 5112 4294967295 134512640 134716908 3221224576 3221223440 134598211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5960 5112 1111 63 0 5897 0
vsize: 23840
[startup+30.001 s]
Raw data (loadavg): 0.39 0.09 0.03 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 6416 0 14 0 2933 21 0 0 25 0 1 0 891110931 29421568 6346 4294967295 134512640 134716908 3221224576 3221223140 134698772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7183 6346 1111 63 0 7120 0
vsize: 28732
[startup+40.0008 s]
Raw data (loadavg): 0.49 0.12 0.04 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 7336 0 14 0 3930 25 0 0 25 0 1 0 891110931 33357824 7266 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8144 7266 1111 63 0 8081 0
vsize: 32576
[startup+50.0015 s]
Raw data (loadavg): 0.56 0.15 0.05 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 8942 0 14 0 4925 30 0 0 25 0 1 0 891110931 39841792 8872 4294967295 134512640 134716908 3221224576 3221223132 134535649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9727 8872 1111 63 0 9664 0
vsize: 38908
[startup+60.0011 s]
Raw data (loadavg): 0.63 0.18 0.06 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 10446 0 14 0 5919 36 0 0 25 0 1 0 891110931 46080000 10376 4294967295 134512640 134716908 3221224576 3221223328 134592443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11250 10376 1111 63 0 11187 0
vsize: 45000
[startup+70.0008 s]
Raw data (loadavg): 0.69 0.21 0.07 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 12234 0 14 0 6913 41 0 0 25 0 1 0 891110931 53522432 12164 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13067 12164 1111 63 0 13004 0
vsize: 52268
[startup+80.0015 s]
Raw data (loadavg): 0.73 0.23 0.08 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 13767 0 14 0 7908 47 0 0 25 0 1 0 891110931 59736064 13696 4294967295 134512640 134716908 3221224576 3221223168 134549588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14584 13696 1111 63 0 14521 0
vsize: 58336
[startup+90.0012 s]
Raw data (loadavg): 0.77 0.26 0.09 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 14883 0 14 0 8905 50 0 0 25 0 1 0 891110931 64335872 14809 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15707 14809 1111 63 0 15644 0
vsize: 62828
[startup+100.001 s]
Raw data (loadavg): 0.81 0.28 0.10 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 15818 0 14 0 9901 54 0 0 25 0 1 0 891110931 68263936 15744 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16666 15744 1111 63 0 16603 0
vsize: 66664
[startup+110.001 s]
Raw data (loadavg): 0.84 0.30 0.11 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 16780 0 14 0 10898 57 0 0 25 0 1 0 891110931 72216576 16704 4294967295 134512640 134716908 3221224576 3221223072 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17631 16704 1111 63 0 17568 0
vsize: 70524
[startup+120 s]
Raw data (loadavg): 0.86 0.33 0.12 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 17553 0 14 0 11896 60 0 0 25 0 1 0 891110931 75390976 17477 4294967295 134512640 134716908 3221224576 3221223288 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18406 17477 1111 63 0 18343 0
vsize: 73624
[startup+130 s]
Raw data (loadavg): 0.88 0.35 0.12 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 18281 0 14 0 12893 63 0 0 25 0 1 0 891110931 78532608 18203 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19173 18203 1111 63 0 19110 0
vsize: 76692
[startup+140 s]
Raw data (loadavg): 0.90 0.37 0.13 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 18759 0 14 0 13891 65 0 0 25 0 1 0 891110931 80433152 18681 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19637 18681 1111 63 0 19574 0
vsize: 78548
[startup+150 s]
Raw data (loadavg): 0.92 0.39 0.14 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 19636 0 14 0 14889 68 0 0 25 0 1 0 891110931 84033536 19555 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20516 19555 1111 63 0 20453 0
vsize: 82064
[startup+160 s]
Raw data (loadavg): 0.93 0.41 0.15 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 20584 0 14 0 15886 71 0 0 25 0 1 0 891110931 87953408 20502 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21473 20502 1111 63 0 21410 0
vsize: 85892
[startup+170 s]
Raw data (loadavg): 0.94 0.43 0.16 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 21547 0 14 0 16882 74 0 0 25 0 1 0 891110931 91877376 21465 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22431 21465 1111 63 0 22368 0
vsize: 89724
[startup+180 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 22255 0 14 0 17880 77 0 0 25 0 1 0 891110931 94785536 22169 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23141 22169 1111 63 0 23078 0
vsize: 92564
[startup+189.999 s]
Raw data (loadavg): 0.95 0.46 0.18 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 22967 0 14 0 18878 79 0 0 25 0 1 0 891110931 97624064 22881 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23834 22881 1111 63 0 23771 0
vsize: 95336
[startup+199.999 s]
Raw data (loadavg): 0.96 0.48 0.19 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 23644 0 14 0 19875 82 0 0 25 0 1 0 891110931 100487168 23558 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24533 23558 1111 63 0 24470 0
vsize: 98132
[startup+209.999 s]
Raw data (loadavg): 0.97 0.50 0.19 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 24274 0 14 0 20872 85 0 0 25 0 1 0 891110931 103071744 24188 4294967295 134512640 134716908 3221224576 3221223144 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25164 24188 1111 63 0 25101 0
vsize: 100656
[startup+219.998 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 24576 0 14 0 21872 86 0 0 25 0 1 0 891110931 104378368 24490 4294967295 134512640 134716908 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25483 24490 1111 63 0 25420 0
vsize: 101932
[startup+229.998 s]
Raw data (loadavg): 0.98 0.53 0.21 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 25432 0 14 0 22869 89 0 0 25 0 1 0 891110931 107982848 25345 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26363 25345 1111 63 0 26300 0
vsize: 105452
[startup+239.998 s]
Raw data (loadavg): 0.98 0.54 0.22 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 25945 0 14 0 23867 90 0 0 25 0 1 0 891110931 110153728 25854 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26893 25854 1111 63 0 26830 0
vsize: 107572
[startup+249.998 s]
Raw data (loadavg): 0.98 0.56 0.22 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 26654 0 14 0 24864 94 0 0 25 0 1 0 891110931 113033216 26562 4294967295 134512640 134716908 3221224576 3221223336 134592385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27596 26562 1111 63 0 27533 0
vsize: 110384
[startup+259.999 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 27250 0 14 0 25862 96 0 0 25 0 1 0 891110931 115466240 27158 4294967295 134512640 134716908 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28190 27158 1111 63 0 28127 0
vsize: 112760
[startup+269.999 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 27756 0 14 0 26859 99 0 0 25 0 1 0 891110931 117518336 27663 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28691 27663 1111 63 0 28628 0
vsize: 114764
[startup+279.998 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 28243 0 14 0 27856 102 0 0 25 0 1 0 891110931 119545856 28150 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29186 28150 1111 63 0 29123 0
vsize: 116744
[startup+289.998 s]
Raw data (loadavg): 0.99 0.61 0.26 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 28739 0 14 0 28855 104 0 0 25 0 1 0 891110931 121597952 28646 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29687 28646 1111 63 0 29624 0
vsize: 118748
[startup+299.998 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 29106 0 14 0 29853 105 0 0 25 0 1 0 891110931 123088896 29013 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30051 29013 1111 63 0 29988 0
vsize: 120204
[startup+309.998 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 29572 0 14 0 30851 108 0 0 25 0 1 0 891110931 125034496 29476 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30526 29476 1111 63 0 30463 0
vsize: 122104
[startup+319.997 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 29971 0 14 0 31850 109 0 0 25 0 1 0 891110931 126705664 29871 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30934 29871 1111 63 0 30871 0
vsize: 123736
[startup+329.998 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 30348 0 14 0 32849 110 0 0 25 0 1 0 891110931 128225280 30243 4294967295 134512640 134716908 3221224576 3221223344 134529138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31305 30243 1111 63 0 31242 0
vsize: 125220
[startup+339.998 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 30683 0 14 0 33848 111 0 0 25 0 1 0 891110931 129593344 30578 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31639 30578 1111 63 0 31576 0
vsize: 126556
[startup+349.997 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 31271 0 14 0 34845 115 0 0 25 0 1 0 891110931 132108288 31164 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32253 31164 1111 63 0 32190 0
vsize: 129012
[startup+359.998 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 31893 0 14 0 35843 116 0 0 25 0 1 0 891110931 134676480 31786 4294967295 134512640 134716908 3221224576 3221223120 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32880 31786 1111 63 0 32817 0
vsize: 131520
[startup+369.998 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 32472 0 14 0 36842 118 0 0 25 0 1 0 891110931 136974336 32365 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33441 32365 1111 63 0 33378 0
vsize: 133764
[startup+379.997 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 32934 0 14 0 37841 119 0 0 25 0 1 0 891110931 139067392 32818 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33952 32818 1111 63 0 33889 0
vsize: 135808
[startup+389.998 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 33422 0 14 0 38839 121 0 0 25 0 1 0 891110931 141094912 33306 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34447 33306 1111 63 0 34384 0
vsize: 137788
[startup+399.998 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 33768 0 14 0 39837 123 0 0 25 0 1 0 891110931 142471168 33652 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34783 33652 1111 63 0 34720 0
vsize: 139132
[startup+409.998 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 34041 0 14 0 40836 125 0 0 25 0 1 0 891110931 143585280 33924 4294967295 134512640 134716908 3221224576 3221223196 134549508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35055 33924 1111 63 0 34992 0
vsize: 140220
[startup+419.997 s]
Raw data (loadavg): 0.99 0.74 0.35 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 34317 0 14 0 41835 126 0 0 25 0 1 0 891110931 144666624 34200 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35319 34200 1111 63 0 35256 0
vsize: 141276
[startup+429.998 s]
Raw data (loadavg): 1.07 0.77 0.36 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 34609 0 14 0 42834 127 0 0 25 0 1 0 891110931 145883136 34492 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35616 34492 1111 63 0 35553 0
vsize: 142464
[startup+439.998 s]
Raw data (loadavg): 1.06 0.77 0.37 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 34911 0 14 0 43834 128 0 0 25 0 1 0 891110931 147156992 34792 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35927 34792 1111 63 0 35864 0
vsize: 143708
[startup+449.998 s]
Raw data (loadavg): 1.05 0.78 0.37 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 35256 0 14 0 44832 129 0 0 25 0 1 0 891110931 148508672 35137 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36257 35137 1111 63 0 36194 0
vsize: 145028
[startup+459.997 s]
Raw data (loadavg): 1.04 0.79 0.38 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 35606 0 14 0 45832 130 0 0 25 0 1 0 891110931 150011904 35486 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36624 35486 1111 63 0 36561 0
vsize: 146496
[startup+469.997 s]
Raw data (loadavg): 1.03 0.80 0.38 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 35911 0 14 0 46831 131 0 0 25 0 1 0 891110931 151261184 35791 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36929 35791 1111 63 0 36866 0
vsize: 147716
[startup+479.996 s]
Raw data (loadavg): 1.03 0.80 0.39 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 36459 0 14 0 47829 133 0 0 25 0 1 0 891110931 153481216 36339 4294967295 134512640 134716908 3221224576 3221223216 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37471 36339 1111 63 0 37408 0
vsize: 149884
[startup+489.996 s]
Raw data (loadavg): 1.02 0.81 0.40 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 36968 0 14 0 48827 135 0 0 25 0 1 0 891110931 155709440 36841 4294967295 134512640 134716908 3221224576 3221223072 134535442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38015 36841 1111 63 0 37952 0
vsize: 152060
[startup+499.997 s]
Raw data (loadavg): 1.02 0.81 0.40 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 37339 0 14 0 49825 137 0 0 25 0 1 0 891110931 157233152 37212 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38387 37212 1111 63 0 38324 0
vsize: 153548
[startup+509.997 s]
Raw data (loadavg): 1.02 0.82 0.41 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 37650 0 14 0 50823 139 0 0 25 0 1 0 891110931 158449664 37523 4294967295 134512640 134716908 3221224576 3221223072 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38684 37523 1111 63 0 38621 0
vsize: 154736
[startup+519.996 s]
Raw data (loadavg): 1.01 0.82 0.41 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 37952 0 14 0 51823 140 0 0 25 0 1 0 891110931 159739904 37824 4294967295 134512640 134716908 3221224576 3221223348 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38999 37824 1111 63 0 38936 0
vsize: 155996
[startup+529.996 s]
Raw data (loadavg): 1.01 0.83 0.42 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 38263 0 14 0 52822 141 0 0 25 0 1 0 891110931 160956416 38135 4294967295 134512640 134716908 3221224576 3221223312 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39296 38135 1111 63 0 39233 0
vsize: 157184
[startup+539.996 s]
Raw data (loadavg): 1.01 0.83 0.42 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 38558 0 14 0 53822 141 0 0 25 0 1 0 891110931 162238464 38421 4294967295 134512640 134716908 3221224576 3221223360 134529237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39609 38421 1111 63 0 39546 0
vsize: 158436
[startup+549.995 s]
Raw data (loadavg): 1.01 0.84 0.43 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 38876 0 14 0 54821 142 0 0 25 0 1 0 891110931 163667968 38739 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39958 38739 1111 63 0 39895 0
vsize: 159832
[startup+559.995 s]
Raw data (loadavg): 1.00 0.84 0.44 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 39194 0 14 0 55820 143 0 0 25 0 1 0 891110931 165179392 39048 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40327 39048 1111 63 0 40264 0
vsize: 161308
[startup+569.995 s]
Raw data (loadavg): 1.00 0.85 0.44 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 39468 0 14 0 56819 144 0 0 25 0 1 0 891110931 166318080 39322 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40605 39322 1111 63 0 40542 0
vsize: 162420
[startup+579.995 s]
Raw data (loadavg): 1.00 0.85 0.45 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 39727 0 14 0 57818 145 0 0 25 0 1 0 891110931 167333888 39581 4294967295 134512640 134716908 3221224576 3221223264 134536635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40853 39581 1111 63 0 40790 0
vsize: 163412
[startup+589.995 s]
Raw data (loadavg): 1.00 0.86 0.45 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 39971 0 14 0 58817 146 0 0 25 0 1 0 891110931 168275968 39825 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41083 39825 1111 63 0 41020 0
vsize: 164332
[startup+599.996 s]
Raw data (loadavg): 1.00 0.86 0.46 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 40240 0 14 0 59817 147 0 0 25 0 1 0 891110931 169357312 40094 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41347 40094 1111 63 0 41284 0
vsize: 165388
[startup+609.997 s]
Raw data (loadavg): 1.00 0.87 0.46 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 40528 0 14 0 60816 148 0 0 25 0 1 0 891110931 170508288 40381 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41628 40381 1111 63 0 41565 0
vsize: 166512
[startup+619.996 s]
Raw data (loadavg): 1.00 0.87 0.47 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 40816 0 14 0 61815 149 0 0 25 0 1 0 891110931 171843584 40660 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41954 40660 1111 63 0 41891 0
vsize: 167816
[startup+629.996 s]
Raw data (loadavg): 1.00 0.87 0.47 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 41058 0 14 0 62815 150 0 0 25 0 1 0 891110931 172838912 40902 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42197 40902 1111 63 0 42134 0
vsize: 168788
[startup+639.997 s]
Raw data (loadavg): 1.00 0.88 0.48 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 41328 0 14 0 63814 151 0 0 25 0 1 0 891110931 173969408 41170 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42473 41170 1111 63 0 42410 0
vsize: 169892
[startup+649.996 s]
Raw data (loadavg): 1.00 0.88 0.48 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 41603 0 14 0 64812 152 0 0 25 0 1 0 891110931 174964736 41445 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42716 41445 1111 63 0 42653 0
vsize: 170864
[startup+659.996 s]
Raw data (loadavg): 1.00 0.88 0.49 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 41863 0 14 0 65812 153 0 0 25 0 1 0 891110931 176115712 41703 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42997 41703 1111 63 0 42934 0
vsize: 171988
[startup+669.996 s]
Raw data (loadavg): 1.00 0.89 0.49 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 42140 0 14 0 66811 154 0 0 25 0 1 0 891110931 177278976 41980 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43281 41980 1111 63 0 43218 0
vsize: 173124
[startup+679.996 s]
Raw data (loadavg): 1.00 0.89 0.50 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 42429 0 14 0 67810 156 0 0 25 0 1 0 891110931 178360320 42269 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43545 42269 1111 63 0 43482 0
vsize: 174180
[startup+689.996 s]
Raw data (loadavg): 1.00 0.89 0.50 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 42740 0 14 0 68809 157 0 0 25 0 1 0 891110931 179998720 42575 4294967295 134512640 134716908 3221224576 3221223072 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43945 42575 1111 63 0 43882 0
vsize: 175780
[startup+699.997 s]
Raw data (loadavg): 1.00 0.90 0.51 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 42950 0 14 0 69808 158 0 0 25 0 1 0 891110931 180961280 42779 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44180 42779 1111 63 0 44117 0
vsize: 176720
[startup+709.997 s]
Raw data (loadavg): 1.00 0.90 0.51 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 43263 0 14 0 70807 159 0 0 25 0 1 0 891110931 182366208 43083 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44523 43083 1111 63 0 44460 0
vsize: 178092
[startup+719.997 s]
Raw data (loadavg): 1.00 0.90 0.52 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 43484 0 14 0 71806 160 0 0 25 0 1 0 891110931 183427072 43302 4294967295 134512640 134716908 3221224576 3221223228 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44782 43302 1111 63 0 44719 0
vsize: 179128
[startup+729.997 s]
Raw data (loadavg): 1.00 0.91 0.52 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 43690 0 14 0 72805 161 0 0 25 0 1 0 891110931 184184832 43507 4294967295 134512640 134716908 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44967 43507 1111 63 0 44904 0
vsize: 179868
[startup+739.997 s]
Raw data (loadavg): 1.00 0.91 0.53 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 43862 0 14 0 73805 161 0 0 25 0 1 0 891110931 184954880 43674 4294967295 134512640 134716908 3221224576 3221223132 134535676 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45155 43674 1111 63 0 45092 0
vsize: 180620
[startup+749.998 s]
Raw data (loadavg): 1.00 0.91 0.53 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 44027 0 14 0 74805 161 0 0 25 0 1 0 891110931 185729024 43837 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45344 43837 1111 63 0 45281 0
vsize: 181376
[startup+759.997 s]
Raw data (loadavg): 1.00 0.91 0.54 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 44200 0 14 0 75805 162 0 0 25 0 1 0 891110931 186511360 44008 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45535 44008 1111 63 0 45472 0
vsize: 182140
[startup+769.997 s]
Raw data (loadavg): 1.00 0.92 0.54 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 44295 0 14 0 76805 162 0 0 25 0 1 0 891110931 186781696 44103 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45601 44103 1111 63 0 45538 0
vsize: 182404
[startup+779.997 s]
Raw data (loadavg): 1.00 0.92 0.55 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 44568 0 14 0 77804 163 0 0 25 0 1 0 891110931 187863040 44376 4294967295 134512640 134716908 3221224576 3221223264 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45865 44376 1111 63 0 45802 0
vsize: 183460
[startup+789.997 s]
Raw data (loadavg): 1.00 0.92 0.55 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 44828 0 14 0 78803 164 0 0 25 0 1 0 891110931 188944384 44636 4294967295 134512640 134716908 3221224576 3221223360 134529269 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46129 44636 1111 63 0 46066 0
vsize: 184516
[startup+799.997 s]
Raw data (loadavg): 1.00 0.92 0.56 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 46412 0 14 0 79798 170 0 0 25 0 1 0 891110931 195465216 46219 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47721 46219 1111 63 0 47658 0
vsize: 190884
[startup+809.997 s]
Raw data (loadavg): 1.00 0.92 0.56 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 47557 0 14 0 80793 174 0 0 25 0 1 0 891110931 200261632 47360 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48892 47360 1111 63 0 48829 0
vsize: 195568
[startup+819.996 s]
Raw data (loadavg): 1.00 0.93 0.56 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 48552 0 14 0 81790 176 0 0 25 0 1 0 891110931 204316672 48355 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49882 48355 1111 63 0 49819 0
vsize: 199528
[startup+829.996 s]
Raw data (loadavg): 1.00 0.93 0.57 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 49179 0 14 0 82788 178 0 0 25 0 1 0 891110931 206880768 48982 4294967295 134512640 134716908 3221224576 3221223360 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50508 48983 1111 63 0 50445 0
vsize: 202032
[startup+839.996 s]
Raw data (loadavg): 1.00 0.93 0.57 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 50189 0 14 0 83783 183 0 0 25 0 1 0 891110931 211111936 49988 4294967295 134512640 134716908 3221224576 3221223168 134548570 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51541 49988 1111 63 0 51478 0
vsize: 206164
[startup+849.996 s]
Raw data (loadavg): 1.00 0.93 0.57 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 50775 0 14 0 84781 185 0 0 25 0 1 0 891110931 213544960 50574 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52135 50574 1111 63 0 52072 0
vsize: 208540
[startup+859.996 s]
Raw data (loadavg): 1.00 0.93 0.58 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 51385 0 14 0 85779 187 0 0 25 0 1 0 891110931 215977984 51184 4294967295 134512640 134716908 3221224576 3221223296 134535757 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52729 51184 1111 63 0 52666 0
vsize: 210916
[startup+869.996 s]
Raw data (loadavg): 1.00 0.93 0.58 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 52204 0 14 0 86776 190 0 0 25 0 1 0 891110931 219357184 52003 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53554 52003 1111 63 0 53491 0
vsize: 214216
[startup+879.996 s]
Raw data (loadavg): 1.00 0.94 0.59 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 52634 0 14 0 87774 193 0 0 25 0 1 0 891110931 221114368 52433 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53983 52433 1111 63 0 53920 0
vsize: 215932
[startup+889.996 s]
Raw data (loadavg): 1.00 0.94 0.59 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 53175 0 14 0 88771 195 0 0 25 0 1 0 891110931 223412224 52974 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54544 52974 1111 63 0 54481 0
vsize: 218176
[startup+899.997 s]
Raw data (loadavg): 1.00 0.94 0.59 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 53718 0 14 0 89769 197 0 0 25 0 1 0 891110931 225607680 53516 4294967295 134512640 134716908 3221224576 3221223244 134552682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55080 53516 1111 63 0 55017 0
vsize: 220320
[startup+909.996 s]
Raw data (loadavg): 1.00 0.94 0.60 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 54068 0 14 0 90767 199 0 0 25 0 1 0 891110931 227172352 53864 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55462 53864 1111 63 0 55399 0
vsize: 221848
[startup+919.996 s]
Raw data (loadavg): 1.00 0.94 0.60 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 54328 0 14 0 91766 199 0 0 25 0 1 0 891110931 228253696 54124 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55726 54124 1111 63 0 55663 0
vsize: 222904
[startup+929.997 s]
Raw data (loadavg): 1.00 0.94 0.61 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 55580 0 14 0 92760 205 0 0 25 0 1 0 891110931 233390080 55373 4294967295 134512640 134716908 3221224576 3221223168 134549680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56980 55373 1111 63 0 56917 0
vsize: 227920
[startup+939.997 s]
Raw data (loadavg): 1.00 0.95 0.61 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 56237 0 14 0 93757 208 0 0 25 0 1 0 891110931 236027904 56026 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57624 56026 1111 63 0 57561 0
vsize: 230496
[startup+949.999 s]
Raw data (loadavg): 1.00 0.95 0.61 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 56958 0 14 0 94754 211 0 0 25 0 1 0 891110931 239001600 56747 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58350 56747 1111 63 0 58287 0
vsize: 233400
[startup+959.999 s]
Raw data (loadavg): 1.00 0.95 0.62 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 57506 0 14 0 95752 213 0 0 25 0 1 0 891110931 241164288 57295 4294967295 134512640 134716908 3221224576 3221223200 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58878 57295 1111 63 0 58815 0
vsize: 235512
[startup+969.999 s]
Raw data (loadavg): 1.00 0.95 0.62 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 57946 0 14 0 96750 215 0 0 25 0 1 0 891110931 243056640 57735 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59340 57735 1111 63 0 59277 0
vsize: 237360
[startup+979.999 s]
Raw data (loadavg): 1.00 0.95 0.63 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 58607 0 14 0 97748 217 0 0 25 0 1 0 891110931 245760000 58396 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60000 58396 1111 63 0 59937 0
vsize: 240000
[startup+989.999 s]
Raw data (loadavg): 1.00 0.95 0.63 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 59067 0 14 0 98747 218 0 0 25 0 1 0 891110931 247652352 58856 4294967295 134512640 134716908 3221224576 3221223088 134535032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60462 58856 1111 63 0 60399 0
vsize: 241848
[startup+1000 s]
Raw data (loadavg): 1.00 0.95 0.63 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 59463 0 14 0 99745 220 0 0 25 0 1 0 891110931 249298944 59252 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60864 59252 1111 63 0 60801 0
vsize: 243456
[startup+1010 s]
Raw data (loadavg): 1.00 0.95 0.64 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 59922 0 14 0 100743 223 0 0 25 0 1 0 891110931 251191296 59711 4294967295 134512640 134716908 3221224576 3221223132 134535658 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61326 59711 1111 63 0 61263 0
vsize: 245304
[startup+1020 s]
Raw data (loadavg): 1.00 0.95 0.64 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 60339 0 14 0 101741 224 0 0 25 0 1 0 891110931 252829696 60126 4294967295 134512640 134716908 3221224576 3221223360 134529243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61726 60126 1111 63 0 61663 0
vsize: 246904
[startup+1030 s]
Raw data (loadavg): 1.00 0.95 0.64 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 60738 0 14 0 102739 226 0 0 25 0 1 0 891110931 254451712 60525 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62122 60525 1111 63 0 62059 0
vsize: 248488
[startup+1040 s]
Raw data (loadavg): 1.00 0.95 0.65 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 60963 0 14 0 103738 227 0 0 25 0 1 0 891110931 255430656 60749 4294967295 134512640 134716908 3221224576 3221223264 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62361 60749 1111 63 0 62298 0
vsize: 249444
[startup+1050 s]
Raw data (loadavg): 1.00 0.96 0.65 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 61251 0 14 0 104738 228 0 0 25 0 1 0 891110931 256540672 61036 4294967295 134512640 134716908 3221224576 3221223360 134529174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62632 61036 1111 63 0 62569 0
vsize: 250528
[startup+1060 s]
Raw data (loadavg): 1.00 0.96 0.65 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 61968 0 14 0 105735 231 0 0 25 0 1 0 891110931 259559424 61749 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63369 61749 1111 63 0 63306 0
vsize: 253476
[startup+1070 s]
Raw data (loadavg): 1.00 0.96 0.65 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 62540 0 14 0 106733 233 0 0 25 0 1 0 891110931 261857280 62321 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63930 62321 1111 63 0 63867 0
vsize: 255720
[startup+1080 s]
Raw data (loadavg): 1.00 0.96 0.66 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 62973 0 14 0 107731 235 0 0 25 0 1 0 891110931 263614464 62754 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64359 62754 1111 63 0 64296 0
vsize: 257436
[startup+1090 s]
Raw data (loadavg): 1.00 0.96 0.66 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 63605 0 14 0 108729 236 0 0 25 0 1 0 891110931 266342400 63385 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65025 63385 1111 63 0 64962 0
vsize: 260100
[startup+1100 s]
Raw data (loadavg): 1.00 0.96 0.66 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 64144 0 14 0 109727 238 0 0 25 0 1 0 891110931 268570624 63915 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65569 63915 1111 63 0 65506 0
vsize: 262276
[startup+1110 s]
Raw data (loadavg): 1.00 0.96 0.67 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 64621 0 14 0 110725 240 0 0 25 0 1 0 891110931 270462976 64392 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66031 64392 1111 63 0 65968 0
vsize: 264124
[startup+1120 s]
Raw data (loadavg): 1.00 0.96 0.67 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 65107 0 14 0 111724 241 0 0 25 0 1 0 891110931 272523264 64877 4294967295 134512640 134716908 3221224576 3221223068 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66534 64877 1111 63 0 66471 0
vsize: 266136
[startup+1130 s]
Raw data (loadavg): 1.00 0.96 0.67 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 65566 0 14 0 112722 243 0 0 25 0 1 0 891110931 274415616 65336 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66996 65336 1111 63 0 66933 0
vsize: 267984
[startup+1140 s]
Raw data (loadavg): 1.00 0.96 0.68 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 65927 0 14 0 113721 244 0 0 25 0 1 0 891110931 275902464 65697 4294967295 134512640 134716908 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67359 65697 1111 63 0 67296 0
vsize: 269436
[startup+1150 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 66363 0 14 0 114719 247 0 0 25 0 1 0 891110931 277659648 66133 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67788 66133 1111 63 0 67725 0
vsize: 271152
[startup+1160 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 66602 0 14 0 115719 247 0 0 25 0 1 0 891110931 278618112 66372 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68022 66372 1111 63 0 67959 0
vsize: 272088
[startup+1170 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 66990 0 14 0 116717 248 0 0 25 0 1 0 891110931 280276992 66760 4294967295 134512640 134716908 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68427 66760 1111 63 0 68364 0
vsize: 273708
[startup+1175.48 s]
Raw data (loadavg): 1.00 0.97 0.69 1/53 21501
Raw data (stat): 21501 (bsolo_lpr-v2) R 21500 31399 31398 0 -1 0 66990 0 14 0 116717 248 0 0 25 0 1 0 891110931 280276992 66760 4294967295 134512640 134716908 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68427 66760 1111 63 0 68364 0
vsize: 0

Child status: 0
Real time (s): 1175.48
CPU time (s): 1175.14
CPU user time (s): 1172.51
CPU system time (s): 2.6276
CPU usage (%): 99.9713
Max. virtual memory (Kb): 273708
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####