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-fpga13_12_sat_pb.cnf.cr.opb
MD5SUM	b895465c3a135658947941250991e4de
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	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	14
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.100984
Number of variables	234
Total number of constraints	193
Number of constraints which are clauses	168
Number of constraints which are cardinality constraints (but not clauses)	25
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	13
Trace number 39408

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 08:32:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27474 boxname=wulflinc2 idbench=32 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  b895465c3a135658947941250991e4de  /oldhome/oroussel/tmp/wulflinc2/normalized-fpga13_12_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-fpga13_12_sat_pb.cnf.cr.opb
IDLAUNCH: 27474
/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:        271352 kB
Buffers:         34056 kB
Cached:         705708 kB
SwapCached:       1164 kB
Active:          40068 kB
Inactive:       702136 kB
HighTotal:      131008 kB
HighFree:        17388 kB
LowTotal:       903652 kB
LowFree:        253964 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            15500 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 08:52:28 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 27474 7 1175.12 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 234 variables and 193 constraints.
c After prepocess the problem consists of 234 variables and 193 constraints.
c preprocess terminated 0.129 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.97 0.91 1/54 21930
Raw data (stat): 21930 (runsolver) R 21929 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891584322 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0007 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 3479 0 0 0 984 13 0 0 25 0 1 0 891584322 17379328 3397 4294967295 134512640 134716908 3221224560 3221223212 134536763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4243 3397 1111 63 0 4180 0
vsize: 16972
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 5077 0 0 0 1979 18 0 0 25 0 1 0 891584322 23867392 4995 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5827 4995 1111 63 0 5764 0
vsize: 23308
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 6146 0 0 0 2975 22 0 0 25 0 1 0 891584322 28348416 6064 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6921 6064 1111 63 0 6858 0
vsize: 27684
[startup+40.0016 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 7395 0 0 0 3972 25 0 0 25 0 1 0 891584322 33484800 7313 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8175 7313 1111 63 0 8112 0
vsize: 32700
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 8378 0 0 0 4968 29 0 0 25 0 1 0 891584322 37572608 8295 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9173 8295 1111 63 0 9110 0
vsize: 36692
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 9505 0 0 0 5966 32 0 0 25 0 1 0 891584322 42184704 9421 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10299 9421 1111 63 0 10236 0
vsize: 41196
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 10513 0 0 0 6963 35 0 0 25 0 1 0 891584322 46424064 10426 4294967295 134512640 134716908 3221224560 3221223264 134528668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11334 10426 1111 63 0 11271 0
vsize: 45336
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 11408 0 0 0 7961 37 0 0 25 0 1 0 891584322 50073600 11319 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12225 11319 1111 63 0 12162 0
vsize: 48900
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 12268 0 0 0 8958 40 0 0 25 0 1 0 891584322 53477376 12179 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13056 12179 1111 63 0 12993 0
vsize: 52224
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 13065 0 0 0 9955 44 0 0 25 0 1 0 891584322 56856576 12975 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13881 12975 1111 63 0 13818 0
vsize: 55524
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 13716 0 0 0 10952 46 0 0 25 0 1 0 891584322 59584512 13626 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14547 13626 1111 63 0 14484 0
vsize: 58188
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 14269 0 0 0 11950 49 0 0 25 0 1 0 891584322 61927424 14176 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15119 14176 1111 63 0 15056 0
vsize: 60476
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 14772 0 0 0 12947 52 0 0 25 0 1 0 891584322 63963136 14679 4294967295 134512640 134716908 3221224560 3221223296 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15616 14679 1111 63 0 15553 0
vsize: 62464
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 15389 0 0 0 13945 54 0 0 25 0 1 0 891584322 66547712 15296 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16247 15296 1111 63 0 16184 0
vsize: 64988
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 16147 0 0 0 14943 57 0 0 25 0 1 0 891584322 69529600 16054 4294967295 134512640 134716908 3221224560 3221223216 134536624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16975 16054 1111 63 0 16912 0
vsize: 67900
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 16835 0 0 0 15940 60 0 0 25 0 1 0 891584322 72441856 16741 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17686 16741 1111 63 0 17623 0
vsize: 70744
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 17441 0 0 0 16938 62 0 0 25 0 1 0 891584322 75046912 17343 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18322 17343 1111 63 0 18259 0
vsize: 73288
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 17991 0 0 0 17937 63 0 0 25 0 1 0 891584322 77209600 17893 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18850 17893 1111 63 0 18787 0
vsize: 75400
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 18884 0 0 0 18934 66 0 0 25 0 1 0 891584322 80859136 18786 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19741 18786 1111 63 0 19678 0
vsize: 78964
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 19627 0 0 0 19931 70 0 0 25 0 1 0 891584322 83832832 19529 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20467 19529 1111 63 0 20404 0
vsize: 81868
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 20203 0 0 0 20928 72 0 0 25 0 1 0 891584322 86269952 20105 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21062 20105 1111 63 0 20999 0
vsize: 84248
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 20613 0 0 0 21927 74 0 0 25 0 1 0 891584322 88023040 20515 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21490 20515 1111 63 0 21427 0
vsize: 85960
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 21287 0 0 0 22925 76 0 0 25 0 1 0 891584322 90755072 21189 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22157 21189 1111 63 0 22094 0
vsize: 88628
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 21884 0 0 0 23923 78 0 0 25 0 1 0 891584322 93323264 21786 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22784 21786 1111 63 0 22721 0
vsize: 91136
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 22344 0 0 0 24922 79 0 0 25 0 1 0 891584322 95080448 22246 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23213 22246 1111 63 0 23150 0
vsize: 92852
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 22675 0 0 0 25921 81 0 0 25 0 1 0 891584322 96493568 22576 4294967295 134512640 134716908 3221224560 3221223328 134529138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23558 22576 1111 63 0 23495 0
vsize: 94232
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 23048 0 0 0 26920 82 0 0 25 0 1 0 891584322 98140160 22947 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23960 22947 1111 63 0 23897 0
vsize: 95840
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 23516 0 0 0 27918 84 0 0 25 0 1 0 891584322 100151296 23410 4294967295 134512640 134716908 3221224560 3221223280 134528707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24451 23410 1111 63 0 24388 0
vsize: 97804
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 23909 0 0 0 28917 85 0 0 25 0 1 0 891584322 101761024 23798 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24844 23798 1111 63 0 24781 0
vsize: 99376
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 24263 0 0 0 29916 87 0 0 25 0 1 0 891584322 103378944 24147 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25239 24147 1111 63 0 25176 0
vsize: 100956
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 24591 0 0 0 30914 89 0 0 25 0 1 0 891584322 104730624 24475 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25569 24475 1111 63 0 25506 0
vsize: 102276
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 24984 0 0 0 31912 90 0 0 25 0 1 0 891584322 106352640 24868 4294967295 134512640 134716908 3221224560 3221223172 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25965 24868 1111 63 0 25902 0
vsize: 103860
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 25410 0 0 0 32911 92 0 0 25 0 1 0 891584322 108216320 25293 4294967295 134512640 134716908 3221224560 3221223116 134535620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26420 25293 1111 63 0 26357 0
vsize: 105680
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 25810 0 0 0 33909 94 0 0 25 0 1 0 891584322 109838336 25693 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26816 25693 1111 63 0 26753 0
vsize: 107264
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 26332 0 0 0 34906 97 0 0 25 0 1 0 891584322 112037888 26215 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27353 26215 1111 63 0 27290 0
vsize: 109412
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 26818 0 0 0 35905 98 0 0 25 0 1 0 891584322 114094080 26701 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27855 26701 1111 63 0 27792 0
vsize: 111420
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 27330 0 0 0 36903 101 0 0 25 0 1 0 891584322 116125696 27213 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28351 27213 1111 63 0 28288 0
vsize: 113404
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 28020 0 0 0 37901 103 0 0 25 0 1 0 891584322 118964224 27903 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29044 27903 1111 63 0 28981 0
vsize: 116176
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 28526 0 0 0 38898 105 0 0 25 0 1 0 891584322 120991744 28409 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29539 28409 1111 63 0 29476 0
vsize: 118156
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 28981 0 0 0 39896 108 0 0 25 0 1 0 891584322 122769408 28863 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29973 28863 1111 63 0 29910 0
vsize: 119892
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 29373 0 0 0 40894 110 0 0 25 0 1 0 891584322 124391424 29255 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30369 29255 1111 63 0 30306 0
vsize: 121476
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 29866 0 0 0 41892 112 0 0 25 0 1 0 891584322 126418944 29748 4294967295 134512640 134716908 3221224560 3221223136 134549718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30864 29748 1111 63 0 30801 0
vsize: 123456
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 30401 0 0 0 42891 114 0 0 25 0 1 0 891584322 128606208 30282 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31398 30283 1111 63 0 31335 0
vsize: 125592
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 30826 0 0 0 43889 115 0 0 25 0 1 0 891584322 130248704 30707 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31799 30707 1111 63 0 31736 0
vsize: 127196
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 31262 0 0 0 44888 117 0 0 25 0 1 0 891584322 132046848 31143 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32238 31143 1111 63 0 32175 0
vsize: 128952
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 31642 0 0 0 45887 118 0 0 25 0 1 0 891584322 133701632 31521 4294967295 134512640 134716908 3221224560 3221223212 134536763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32642 31521 1111 63 0 32579 0
vsize: 130568
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 32101 0 0 0 46885 120 0 0 25 0 1 0 891584322 135630848 31979 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33113 31979 1111 63 0 33050 0
vsize: 132452
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 32532 0 0 0 47885 121 0 0 25 0 1 0 891584322 137461760 32409 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33560 32409 1111 63 0 33497 0
vsize: 134240
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 32859 0 0 0 48884 122 0 0 25 0 1 0 891584322 138752000 32735 4294967295 134512640 134716908 3221224560 3221223052 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33875 32735 1111 63 0 33812 0
vsize: 135500
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 33169 0 0 0 49883 123 0 0 25 0 1 0 891584322 140103680 33044 4294967295 134512640 134716908 3221224560 3221223296 134552108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34205 33044 1111 63 0 34142 0
vsize: 136820
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 33496 0 0 0 50882 123 0 0 25 0 1 0 891584322 141455360 33371 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34535 33371 1111 63 0 34472 0
vsize: 138140
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 33796 0 0 0 51882 125 0 0 25 0 1 0 891584322 142585856 33670 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34811 33670 1111 63 0 34748 0
vsize: 139244
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 34099 0 0 0 52881 126 0 0 25 0 1 0 891584322 143937536 33973 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35141 33973 1111 63 0 35078 0
vsize: 140564
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 34423 0 0 0 53879 127 0 0 25 0 1 0 891584322 145334272 34293 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35482 34293 1111 63 0 35419 0
vsize: 141928
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 34732 0 0 0 54878 129 0 0 25 0 1 0 891584322 146546688 34602 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35778 34602 1111 63 0 35715 0
vsize: 143112
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 35156 0 0 0 55877 130 0 0 25 0 1 0 891584322 148496384 35026 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36254 35026 1111 63 0 36191 0
vsize: 145016
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 35427 0 0 0 56876 130 0 0 25 0 1 0 891584322 149655552 35297 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36537 35297 1111 63 0 36474 0
vsize: 146148
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 35710 0 0 0 57876 131 0 0 25 0 1 0 891584322 150781952 35580 4294967295 134512640 134716908 3221224560 3221223264 134528680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36812 35580 1111 63 0 36749 0
vsize: 147248
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 36264 0 0 0 58873 134 0 0 25 0 1 0 891584322 153079808 36134 4294967295 134512640 134716908 3221224560 3221223136 134549802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37373 36134 1111 63 0 37310 0
vsize: 149492
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 36600 0 0 0 59873 135 0 0 25 0 1 0 891584322 154431488 36470 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37703 36470 1111 63 0 37640 0
vsize: 150812
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 36909 0 0 0 60871 136 0 0 25 0 1 0 891584322 155799552 36777 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38037 36777 1111 63 0 37974 0
vsize: 152148
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 37134 0 0 0 61871 137 0 0 25 0 1 0 891584322 156610560 37002 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38235 37002 1111 63 0 38172 0
vsize: 152940
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 37412 0 0 0 62870 138 0 0 25 0 1 0 891584322 157827072 37280 4294967295 134512640 134716908 3221224560 3221223116 134535631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38532 37280 1111 63 0 38469 0
vsize: 154128
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 37650 0 0 0 63868 140 0 0 25 0 1 0 891584322 158773248 37518 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38763 37518 1111 63 0 38700 0
vsize: 155052
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 38527 0 0 0 64866 143 0 0 25 0 1 0 891584322 162422784 38395 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39654 38395 1111 63 0 39591 0
vsize: 158616
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 39307 0 0 0 65863 146 0 0 25 0 1 0 891584322 165531648 39173 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40413 39173 1111 63 0 40350 0
vsize: 161652
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 39828 0 0 0 66861 148 0 0 25 0 1 0 891584322 167694336 39694 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40941 39694 1111 63 0 40878 0
vsize: 163764
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 40304 0 0 0 67859 150 0 0 25 0 1 0 891584322 169660416 40166 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41421 40166 1111 63 0 41358 0
vsize: 165684
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 40626 0 0 0 68859 151 0 0 25 0 1 0 891584322 171012096 40488 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41751 40488 1111 63 0 41688 0
vsize: 167004
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 40923 0 0 0 69858 152 0 0 25 0 1 0 891584322 172228608 40785 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42048 40785 1111 63 0 41985 0
vsize: 168192
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 41335 0 0 0 70857 153 0 0 25 0 1 0 891584322 173850624 41197 4294967295 134512640 134716908 3221224560 3221223256 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42444 41197 1111 63 0 42381 0
vsize: 169776
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 42020 0 0 0 71854 156 0 0 25 0 1 0 891584322 176726016 41881 4294967295 134512640 134716908 3221224560 3221223272 134552570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43146 41881 1111 63 0 43083 0
vsize: 172584
[startup+730.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 42585 0 0 0 72852 158 0 0 25 0 1 0 891584322 179023872 42446 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43707 42446 1111 63 0 43644 0
vsize: 174828
[startup+740.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 42852 0 0 0 73851 159 0 0 25 0 1 0 891584322 180109312 42709 4294967295 134512640 134716908 3221224560 3221223056 134535471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43972 42709 1111 63 0 43909 0
vsize: 175888
[startup+750.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 43292 0 0 0 74850 161 0 0 25 0 1 0 891584322 181866496 43149 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44401 43149 1111 63 0 44338 0
vsize: 177604
[startup+760.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 43571 0 0 0 75849 161 0 0 25 0 1 0 891584322 183083008 43428 4294967295 134512640 134716908 3221224560 3221223168 134523168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44698 43428 1111 63 0 44635 0
vsize: 178792
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 43894 0 0 0 76848 163 0 0 25 0 1 0 891584322 184299520 43751 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44995 43751 1111 63 0 44932 0
vsize: 179980
[startup+780.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 44198 0 0 0 77847 164 0 0 25 0 1 0 891584322 185663488 44055 4294967295 134512640 134716908 3221224560 3221223056 134535477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45328 44055 1111 63 0 45265 0
vsize: 181312
[startup+790.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 44561 0 0 0 78846 165 0 0 25 0 1 0 891584322 187023360 44418 4294967295 134512640 134716908 3221224560 3221223076 134535481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45660 44418 1111 63 0 45597 0
vsize: 182640
[startup+800.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 45181 0 0 0 79845 167 0 0 25 0 1 0 891584322 189812736 45034 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46341 45034 1111 63 0 46278 0
vsize: 185364
[startup+810.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 45786 0 0 0 80842 170 0 0 25 0 1 0 891584322 192245760 45639 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46935 45639 1111 63 0 46872 0
vsize: 187740
[startup+820.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 46246 0 0 0 81840 172 0 0 25 0 1 0 891584322 194150400 46098 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47400 46098 1111 63 0 47337 0
vsize: 189600
[startup+830.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 46635 0 0 0 82839 173 0 0 25 0 1 0 891584322 195670016 46486 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47771 46486 1111 63 0 47708 0
vsize: 191084
[startup+840.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 46966 0 0 0 83838 174 0 0 25 0 1 0 891584322 197021696 46817 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48101 46817 1111 63 0 48038 0
vsize: 192404
[startup+850.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 47176 0 0 0 84837 175 0 0 25 0 1 0 891584322 197967872 47027 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48332 47027 1111 63 0 48269 0
vsize: 193328
[startup+860.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 47503 0 0 0 85837 176 0 0 25 0 1 0 891584322 199184384 47354 4294967295 134512640 134716908 3221224560 3221223196 134552682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48629 47354 1111 63 0 48566 0
vsize: 194516
[startup+870.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 47808 0 0 0 86836 177 0 0 25 0 1 0 891584322 200601600 47654 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48975 47654 1111 63 0 48912 0
vsize: 195900
[startup+880.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 48056 0 0 0 87835 178 0 0 25 0 1 0 891584322 201621504 47900 4294967295 134512640 134716908 3221224560 3221223264 134528647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49224 47900 1111 63 0 49161 0
vsize: 196896
[startup+890.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 48298 0 0 0 88835 179 0 0 25 0 1 0 891584322 202776576 48141 4294967295 134512640 134716908 3221224560 3221223152 134549742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49506 48141 1111 63 0 49443 0
vsize: 198024
[startup+900.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 48783 0 0 0 89832 181 0 0 25 0 1 0 891584322 204668928 48626 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49968 48626 1111 63 0 49905 0
vsize: 199872
[startup+910.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 49096 0 0 0 90830 183 0 0 25 0 1 0 891584322 205885440 48939 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50265 48939 1111 63 0 50202 0
vsize: 201060
[startup+920.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 49391 0 0 0 91829 185 0 0 25 0 1 0 891584322 207339520 49223 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50620 49223 1111 63 0 50557 0
vsize: 202480
[startup+930.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 49615 0 0 0 92828 186 0 0 25 0 1 0 891584322 208150528 49447 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50818 49447 1111 63 0 50755 0
vsize: 203272
[startup+940.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 49838 0 0 0 93828 186 0 0 25 0 1 0 891584322 209027072 49668 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51032 49668 1111 63 0 50969 0
vsize: 204128
[startup+950.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 50226 0 0 0 94827 188 0 0 25 0 1 0 891584322 210714624 50049 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51444 50049 1111 63 0 51381 0
vsize: 205776
[startup+960.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 50519 0 0 0 95826 188 0 0 25 0 1 0 891584322 212013056 50342 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51761 50342 1111 63 0 51698 0
vsize: 207044
[startup+970.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 50766 0 0 0 96825 189 0 0 25 0 1 0 891584322 213094400 50589 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52025 50589 1111 63 0 51962 0
vsize: 208100
[startup+980.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 51042 0 0 0 97825 190 0 0 25 0 1 0 891584322 214396928 50862 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52343 50862 1111 63 0 52280 0
vsize: 209372
[startup+990.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 51337 0 0 0 98824 191 0 0 25 0 1 0 891584322 215486464 51157 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52609 51157 1111 63 0 52546 0
vsize: 210436
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 51634 0 0 0 99823 193 0 0 25 0 1 0 891584322 216702976 51454 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52906 51454 1111 63 0 52843 0
vsize: 211624
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 51871 0 0 0 100822 193 0 0 25 0 1 0 891584322 217714688 51682 4294967295 134512640 134716908 3221224560 3221223148 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53153 51682 1111 63 0 53090 0
vsize: 212612
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 52058 0 0 0 101821 195 0 0 25 0 1 0 891584322 218525696 51869 4294967295 134512640 134716908 3221224560 3221223280 134535790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53351 51869 1111 63 0 53288 0
vsize: 213404
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 52172 0 0 0 102821 195 0 0 25 0 1 0 891584322 218992640 51983 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53465 51983 1111 63 0 53402 0
vsize: 213860
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 52308 0 0 0 103821 195 0 0 25 0 1 0 891584322 219598848 52115 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53613 52115 1111 63 0 53550 0
vsize: 214452
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 52523 0 0 0 104820 196 0 0 25 0 1 0 891584322 220680192 52321 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53877 52321 1111 63 0 53814 0
vsize: 215508
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 52661 0 0 0 105820 197 0 0 25 0 1 0 891584322 221220864 52459 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54009 52459 1111 63 0 53946 0
vsize: 216036
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 52790 0 0 0 106819 197 0 0 25 0 1 0 891584322 221818880 52588 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54155 52588 1111 63 0 54092 0
vsize: 216620
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 52938 0 0 0 107819 197 0 0 25 0 1 0 891584322 222425088 52735 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54303 52735 1111 63 0 54240 0
vsize: 217212
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 53131 0 0 0 108819 198 0 0 25 0 1 0 891584322 223301632 52922 4294967295 134512640 134716908 3221224560 3221223180 134549508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54517 52922 1111 63 0 54454 0
vsize: 218068
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 53334 0 0 0 109819 199 0 0 25 0 1 0 891584322 224145408 53125 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54723 53125 1111 63 0 54660 0
vsize: 218892
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 53534 0 0 0 110818 199 0 0 25 0 1 0 891584322 225005568 53324 4294967295 134512640 134716908 3221224560 3221223116 134535631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54933 53324 1111 63 0 54870 0
vsize: 219732
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 53681 0 0 0 111818 199 0 0 25 0 1 0 891584322 225607680 53468 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55080 53468 1111 63 0 55017 0
vsize: 220320
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 53902 0 0 0 112817 200 0 0 25 0 1 0 891584322 226484224 53680 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55294 53680 1111 63 0 55231 0
vsize: 221176
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 54036 0 0 0 113817 201 0 0 25 0 1 0 891584322 227024896 53814 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55426 53814 1111 63 0 55363 0
vsize: 221704
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 54193 0 0 0 114816 202 0 0 25 0 1 0 891584322 227729408 53969 4294967295 134512640 134716908 3221224560 3221223120 134535881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55598 53969 1111 63 0 55535 0
vsize: 222392
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 54480 0 0 0 115815 203 0 0 25 0 1 0 891584322 228945920 54256 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55895 54256 1111 63 0 55832 0
vsize: 223580
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 54762 0 0 0 116814 204 0 0 25 0 1 0 891584322 230027264 54538 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56159 54538 1111 63 0 56096 0
vsize: 224636
[startup+1174.94 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 21930
Raw data (stat): 21930 (bsolo_lpr-v2) R 21929 31399 31398 0 -1 0 54762 0 0 0 116814 204 0 0 25 0 1 0 891584322 230027264 54538 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56159 54538 1111 63 0 56096 0
vsize: 0

Child status: 0
Real time (s): 1174.94
CPU time (s): 1175.12
CPU user time (s): 1172.96
CPU system time (s): 2.15867
CPU usage (%): 100.015
Max. virtual memory (Kb): 224636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####