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_11_sat_pb.cnf.cr.opb
MD5SUM	32e3ba70c369e104da40b8d0cd94d02f
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.051991
Number of variables	215
Total number of constraints	178
Number of constraints which are clauses	154
Number of constraints which are cardinality constraints (but not clauses)	24
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 39407

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        280192 kB
Buffers:         33972 kB
Cached:         697264 kB
SwapCached:        240 kB
Active:          63516 kB
Inactive:       670192 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        279940 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6220 kB
Slab:            15104 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 08:50:22 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 27473 7 1175.09 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 215 variables and 178 constraints.
c After prepocess the problem consists of 215 variables and 178 constraints.
c preprocess terminated 0.115 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.92 1/54 8667
Raw data (stat): 8667 (runsolver) R 8666 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891559696 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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+10.0008 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 2943 0 0 0 986 11 0 0 25 0 1 0 891559696 15212544 2861 4294967295 134512640 134716908 3221224560 3221223284 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3714 2861 1111 63 0 3651 0
vsize: 14856
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 4512 0 0 0 1981 16 0 0 25 0 1 0 891559696 21569536 4430 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5266 4430 1111 63 0 5203 0
vsize: 21064
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 5495 0 0 0 2978 20 0 0 25 0 1 0 891559696 25624576 5413 4294967295 134512640 134716908 3221224560 3221223120 134698815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6256 5413 1111 63 0 6193 0
vsize: 25024
[startup+40.0011 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 6397 0 0 0 3975 23 0 0 25 0 1 0 891559696 29278208 6315 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7148 6315 1111 63 0 7085 0
vsize: 28592
[startup+50.002 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 7019 0 0 0 4973 25 0 0 25 0 1 0 891559696 31846400 6937 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7775 6937 1111 63 0 7712 0
vsize: 31100
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 7942 0 0 0 5970 28 0 0 25 0 1 0 891559696 35676160 7860 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8710 7861 1111 63 0 8647 0
vsize: 34840
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 8970 0 0 0 6967 31 0 0 25 0 1 0 891559696 40001536 8888 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9766 8888 1111 63 0 9703 0
vsize: 39064
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 9737 0 0 0 7964 34 0 0 25 0 1 0 891559696 43130880 9655 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10530 9655 1111 63 0 10467 0
vsize: 42120
[startup+90.003 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 10667 0 0 0 8959 39 0 0 25 0 1 0 891559696 46923776 10584 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11456 10584 1111 63 0 11393 0
vsize: 45824
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 11353 0 0 0 9957 41 0 0 25 0 1 0 891559696 49762304 11269 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12149 11269 1111 63 0 12086 0
vsize: 48596
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 11829 0 0 0 10956 42 0 0 25 0 1 0 891559696 51843072 11744 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12657 11744 1111 63 0 12594 0
vsize: 50628
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 12494 0 0 0 11953 45 0 0 25 0 1 0 891559696 54554624 12409 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13319 12409 1111 63 0 13256 0
vsize: 53276
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 12882 0 0 0 12952 47 0 0 25 0 1 0 891559696 56262656 12797 4294967295 134512640 134716908 3221224560 3221223116 134535676 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13736 12797 1111 63 0 13673 0
vsize: 54944
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 13505 0 0 0 13950 50 0 0 25 0 1 0 891559696 58769408 13416 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14348 13416 1111 63 0 14285 0
vsize: 57392
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 13879 0 0 0 14949 51 0 0 25 0 1 0 891559696 60428288 13789 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14753 13789 1111 63 0 14690 0
vsize: 59012
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 14265 0 0 0 15948 52 0 0 25 0 1 0 891559696 62070784 14174 4294967295 134512640 134716908 3221224560 3221223216 134536643 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15154 14174 1111 63 0 15091 0
vsize: 60616
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 14673 0 0 0 16947 53 0 0 25 0 1 0 891559696 63942656 14578 4294967295 134512640 134716908 3221224560 3221223116 134535512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15611 14578 1111 63 0 15548 0
vsize: 62444
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 15063 0 0 0 17945 55 0 0 25 0 1 0 891559696 65478656 14964 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15986 14964 1111 63 0 15923 0
vsize: 63944
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 15367 0 0 0 18945 56 0 0 25 0 1 0 891559696 66711552 15267 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16287 15267 1111 63 0 16224 0
vsize: 65148
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 15679 0 0 0 19943 57 0 0 25 0 1 0 891559696 68014080 15579 4294967295 134512640 134716908 3221224560 3221223152 134549670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16605 15579 1111 63 0 16542 0
vsize: 66420
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 15920 0 0 0 20943 58 0 0 25 0 1 0 891559696 68861952 15820 4294967295 134512640 134716908 3221224560 3221223264 134528656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16812 15820 1111 63 0 16749 0
vsize: 67248
[startup+220.008 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 16249 0 0 0 21943 58 0 0 25 0 1 0 891559696 70213632 16148 4294967295 134512640 134716908 3221224560 3221223264 134528665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17142 16148 1111 63 0 17079 0
vsize: 68568
[startup+230.008 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 16931 0 0 0 22940 61 0 0 25 0 1 0 891559696 73121792 16829 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17852 16829 1111 63 0 17789 0
vsize: 71408
[startup+240.008 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 17347 0 0 0 23939 63 0 0 25 0 1 0 891559696 74878976 17245 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18281 17245 1111 63 0 18218 0
vsize: 73124
[startup+250.009 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 17741 0 0 0 24937 64 0 0 25 0 1 0 891559696 76365824 17639 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18644 17639 1111 63 0 18581 0
vsize: 74576
[startup+260.008 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 18037 0 0 0 25937 65 0 0 25 0 1 0 891559696 77598720 17935 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18945 17935 1111 63 0 18882 0
vsize: 75780
[startup+270.008 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 18484 0 0 0 26935 67 0 0 25 0 1 0 891559696 79552512 18377 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19422 18377 1111 63 0 19359 0
vsize: 77688
[startup+280.008 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 18849 0 0 0 27934 68 0 0 25 0 1 0 891559696 81039360 18742 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19785 18742 1111 63 0 19722 0
vsize: 79140
[startup+290.008 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 19112 0 0 0 28933 69 0 0 25 0 1 0 891559696 81985536 19005 4294967295 134512640 134716908 3221224560 3221223136 134549802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20016 19005 1111 63 0 19953 0
vsize: 80064
[startup+300.009 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 19504 0 0 0 29932 70 0 0 25 0 1 0 891559696 83632128 19397 4294967295 134512640 134716908 3221224560 3221223204 134613648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20418 19397 1111 63 0 20355 0
vsize: 81672
[startup+310.009 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 19745 0 0 0 30931 72 0 0 25 0 1 0 891559696 84742144 19634 4294967295 134512640 134716908 3221224560 3221223360 134588065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20689 19634 1111 63 0 20626 0
vsize: 82756
[startup+320.009 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 20247 0 0 0 31929 73 0 0 25 0 1 0 891559696 86769664 20136 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21184 20136 1111 63 0 21121 0
vsize: 84736
[startup+330.009 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 20757 0 0 0 32927 76 0 0 25 0 1 0 891559696 88932352 20645 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21712 20645 1111 63 0 21649 0
vsize: 86848
[startup+340.009 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 21257 0 0 0 33925 78 0 0 25 0 1 0 891559696 90959872 21145 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22207 21145 1111 63 0 22144 0
vsize: 88828
[startup+350.01 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 21782 0 0 0 34923 80 0 0 25 0 1 0 891559696 93147136 21670 4294967295 134512640 134716908 3221224560 3221223068 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22741 21670 1111 63 0 22678 0
vsize: 90964
[startup+360.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 22475 0 0 0 35921 83 0 0 25 0 1 0 891559696 95850496 22363 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23401 22363 1111 63 0 23338 0
vsize: 93604
[startup+370.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 22971 0 0 0 36919 85 0 0 25 0 1 0 891559696 98009088 22859 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23928 22859 1111 63 0 23865 0
vsize: 95712
[startup+380.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 23381 0 0 0 37917 86 0 0 25 0 1 0 891559696 99631104 23269 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24324 23269 1111 63 0 24261 0
vsize: 97296
[startup+390.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 23632 0 0 0 38917 87 0 0 25 0 1 0 891559696 100790272 23516 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24607 23516 1111 63 0 24544 0
vsize: 98428
[startup+400.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 23835 0 0 0 39917 87 0 0 25 0 1 0 891559696 101601280 23719 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24805 23719 1111 63 0 24742 0
vsize: 99220
[startup+410.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 24088 0 0 0 40916 89 0 0 25 0 1 0 891559696 102588416 23970 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25046 23970 1111 63 0 24983 0
vsize: 100184
[startup+420.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 24296 0 0 0 41915 90 0 0 25 0 1 0 891559696 103653376 24176 4294967295 134512640 134716908 3221224560 3221223244 134523848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25306 24176 1111 63 0 25243 0
vsize: 101224
[startup+430.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 24477 0 0 0 42914 90 0 0 25 0 1 0 891559696 104398848 24356 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25488 24356 1111 63 0 25425 0
vsize: 101952
[startup+440.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 24728 0 0 0 43913 92 0 0 25 0 1 0 891559696 105500672 24606 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25757 24606 1111 63 0 25694 0
vsize: 103028
[startup+450.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 24932 0 0 0 44913 92 0 0 25 0 1 0 891559696 106360832 24807 4294967295 134512640 134716908 3221224560 3221223116 134535649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25967 24807 1111 63 0 25904 0
vsize: 103868
[startup+460.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 25141 0 0 0 45912 93 0 0 25 0 1 0 891559696 107249664 25016 4294967295 134512640 134716908 3221224560 3221223296 134523985 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26184 25016 1111 63 0 26121 0
vsize: 104736
[startup+470.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 25338 0 0 0 46912 94 0 0 25 0 1 0 891559696 108191744 25210 4294967295 134512640 134716908 3221224560 3221223216 134524069 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26414 25210 1111 63 0 26351 0
vsize: 105656
[startup+480.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 25542 0 0 0 47911 95 0 0 25 0 1 0 891559696 109015040 25414 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26615 25414 1111 63 0 26552 0
vsize: 106460
[startup+490.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 25713 0 0 0 48910 95 0 0 25 0 1 0 891559696 109776896 25584 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26801 25584 1111 63 0 26738 0
vsize: 107204
[startup+500.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 25879 0 0 0 49910 96 0 0 25 0 1 0 891559696 110456832 25749 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26967 25749 1111 63 0 26904 0
vsize: 107868
[startup+510.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 26049 0 0 0 50909 97 0 0 25 0 1 0 891559696 111247360 25919 4294967295 134512640 134716908 3221224560 3221223248 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27160 25919 1111 63 0 27097 0
vsize: 108640
[startup+520.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 26139 0 0 0 51909 98 0 0 25 0 1 0 891559696 111517696 26009 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27226 26009 1111 63 0 27163 0
vsize: 108904
[startup+530.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 26533 0 0 0 52907 99 0 0 25 0 1 0 891559696 113201152 26399 4294967295 134512640 134716908 3221224560 3221223344 134529168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27637 26399 1111 63 0 27574 0
vsize: 110548
[startup+540.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 26815 0 0 0 53906 101 0 0 25 0 1 0 891559696 114343936 26677 4294967295 134512640 134716908 3221224560 3221223344 134529393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27916 26677 1111 63 0 27853 0
vsize: 111664
[startup+550.015 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 27425 0 0 0 54904 103 0 0 25 0 1 0 891559696 116916224 27287 4294967295 134512640 134716908 3221224560 3221223116 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28544 27287 1111 63 0 28481 0
vsize: 114176
[startup+560.015 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 27729 0 0 0 55903 105 0 0 25 0 1 0 891559696 118161408 27587 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28848 27587 1111 63 0 28785 0
vsize: 115392
[startup+570.016 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 28039 0 0 0 56901 106 0 0 25 0 1 0 891559696 119377920 27896 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29145 27896 1111 63 0 29082 0
vsize: 116580
[startup+580.016 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 28338 0 0 0 57900 108 0 0 25 0 1 0 891559696 120594432 28195 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29442 28195 1111 63 0 29379 0
vsize: 117768
[startup+590.016 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 28729 0 0 0 58899 109 0 0 25 0 1 0 891559696 122216448 28586 4294967295 134512640 134716908 3221224560 3221223300 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29838 28586 1111 63 0 29775 0
vsize: 119352
[startup+600.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 28947 0 0 0 59898 110 0 0 25 0 1 0 891559696 123162624 28804 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30069 28804 1111 63 0 30006 0
vsize: 120276
[startup+610.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 29154 0 0 0 60897 111 0 0 25 0 1 0 891559696 124157952 29008 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30312 29008 1111 63 0 30249 0
vsize: 121248
[startup+620.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 29305 0 0 0 61897 111 0 0 25 0 1 0 891559696 124698624 29159 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30444 29159 1111 63 0 30381 0
vsize: 121776
[startup+630.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 29482 0 0 0 62897 112 0 0 25 0 1 0 891559696 125386752 29335 4294967295 134512640 134716908 3221224560 3221223188 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30612 29335 1111 63 0 30549 0
vsize: 122448
[startup+640.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 29688 0 0 0 63896 113 0 0 25 0 1 0 891559696 126353408 29540 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30848 29540 1111 63 0 30785 0
vsize: 123392
[startup+650.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 29796 0 0 0 64896 113 0 0 25 0 1 0 891559696 126758912 29648 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30947 29648 1111 63 0 30884 0
vsize: 123788
[startup+660.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 29980 0 0 0 65895 114 0 0 25 0 1 0 891559696 127500288 29829 4294967295 134512640 134716908 3221224560 3221223116 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31128 29829 1111 63 0 31065 0
vsize: 124512
[startup+670.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 30260 0 0 0 66894 116 0 0 25 0 1 0 891559696 128716800 30109 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31425 30109 1111 63 0 31362 0
vsize: 125700
[startup+680.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 30460 0 0 0 67893 116 0 0 25 0 1 0 891559696 129556480 30305 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31630 30305 1111 63 0 31567 0
vsize: 126520
[startup+690.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 30552 0 0 0 68893 117 0 0 25 0 1 0 891559696 129826816 30397 4294967295 134512640 134716908 3221224560 3221223296 134529359 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31696 30397 1111 63 0 31633 0
vsize: 126784
[startup+700.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 30890 0 0 0 69891 119 0 0 25 0 1 0 891559696 131313664 30735 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32059 30735 1111 63 0 31996 0
vsize: 128236
[startup+710.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 31045 0 0 0 70891 120 0 0 25 0 1 0 891559696 131854336 30890 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32191 30890 1111 63 0 32128 0
vsize: 128764
[startup+720.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 31289 0 0 0 71889 121 0 0 25 0 1 0 891559696 132935680 31134 4294967295 134512640 134716908 3221224560 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32455 31134 1111 63 0 32392 0
vsize: 129820
[startup+730.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 31426 0 0 0 72888 122 0 0 25 0 1 0 891559696 133476352 31271 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32587 31271 1111 63 0 32524 0
vsize: 130348
[startup+740.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 31618 0 0 0 73887 124 0 0 25 0 1 0 891559696 134152192 31463 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32752 31463 1111 63 0 32689 0
vsize: 131008
[startup+750.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 31755 0 0 0 74886 125 0 0 25 0 1 0 891559696 134709248 31600 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32888 31600 1111 63 0 32825 0
vsize: 131552
[startup+760.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 31921 0 0 0 75885 126 0 0 25 0 1 0 891559696 135385088 31766 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33053 31766 1111 63 0 32990 0
vsize: 132212
[startup+770.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 32023 0 0 0 76885 126 0 0 25 0 1 0 891559696 135938048 31868 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33188 31868 1111 63 0 33125 0
vsize: 132752
[startup+780.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 32134 0 0 0 77885 126 0 0 25 0 1 0 891559696 136364032 31978 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33292 31978 1111 63 0 33229 0
vsize: 133168
[startup+790.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 32221 0 0 0 78885 127 0 0 25 0 1 0 891559696 136769536 32065 4294967295 134512640 134716908 3221224560 3221223164 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33391 32065 1111 63 0 33328 0
vsize: 133564
[startup+800.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 32565 0 0 0 79884 128 0 0 25 0 1 0 891559696 138121216 32409 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33721 32409 1111 63 0 33658 0
vsize: 134884
[startup+810.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 32827 0 0 0 80883 129 0 0 25 0 1 0 891559696 139202560 32671 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33985 32671 1111 63 0 33922 0
vsize: 135940
[startup+820.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 33126 0 0 0 81882 130 0 0 25 0 1 0 891559696 140419072 32970 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34282 32970 1111 63 0 34219 0
vsize: 137128
[startup+830.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 33411 0 0 0 82881 131 0 0 25 0 1 0 891559696 141500416 33255 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34546 33255 1111 63 0 34483 0
vsize: 138184
[startup+840.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 33566 0 0 0 83880 132 0 0 25 0 1 0 891559696 142176256 33410 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34711 33410 1111 63 0 34648 0
vsize: 138844
[startup+850.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 33707 0 0 0 84880 132 0 0 25 0 1 0 891559696 142917632 33545 4294967295 134512640 134716908 3221224560 3221223088 134535383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34892 33545 1111 63 0 34829 0
vsize: 139568
[startup+860.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 33884 0 0 0 85880 133 0 0 25 0 1 0 891559696 143597568 33721 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35058 33721 1111 63 0 34995 0
vsize: 140232
[startup+870.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 34040 0 0 0 86879 134 0 0 25 0 1 0 891559696 144273408 33877 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35223 33877 1111 63 0 35160 0
vsize: 140892
[startup+880.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 34231 0 0 0 87879 135 0 0 25 0 1 0 891559696 144953344 34068 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35389 34068 1111 63 0 35326 0
vsize: 141556
[startup+890.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 34468 0 0 0 88878 135 0 0 25 0 1 0 891559696 146116608 34300 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35673 34300 1111 63 0 35610 0
vsize: 142692
[startup+900.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 34737 0 0 0 89878 136 0 0 25 0 1 0 891559696 147206144 34567 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35939 34567 1111 63 0 35876 0
vsize: 143756
[startup+910.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 34986 0 0 0 90877 137 0 0 25 0 1 0 891559696 148287488 34815 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36203 34815 1111 63 0 36140 0
vsize: 144812
[startup+920.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 35143 0 0 0 91876 138 0 0 25 0 1 0 891559696 148963328 34972 4294967295 134512640 134716908 3221224560 3221223116 134535964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36368 34972 1111 63 0 36305 0
vsize: 145472
[startup+930.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 35279 0 0 0 92877 138 0 0 25 0 1 0 891559696 149504000 35108 4294967295 134512640 134716908 3221224560 3221223280 134535790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36500 35108 1111 63 0 36437 0
vsize: 146000
[startup+940.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 35448 0 0 0 93876 138 0 0 25 0 1 0 891559696 150204416 35277 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36671 35277 1111 63 0 36608 0
vsize: 146684
[startup+950.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 35660 0 0 0 94875 139 0 0 25 0 1 0 891559696 151080960 35480 4294967295 134512640 134716908 3221224560 3221223164 134536784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36885 35480 1111 63 0 36822 0
vsize: 147540
[startup+960.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 35799 0 0 0 95875 140 0 0 25 0 1 0 891559696 151621632 35619 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37017 35619 1111 63 0 36954 0
vsize: 148068
[startup+970.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 35936 0 0 0 96875 140 0 0 25 0 1 0 891559696 152305664 35754 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37184 35754 1111 63 0 37121 0
vsize: 148736
[startup+980.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 36053 0 0 0 97875 141 0 0 25 0 1 0 891559696 152711168 35870 4294967295 134512640 134716908 3221224560 3221223184 134536680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37283 35870 1111 63 0 37220 0
vsize: 149132
[startup+990.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 36125 0 0 0 98875 141 0 0 25 0 1 0 891559696 153149440 35942 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37390 35942 1111 63 0 37327 0
vsize: 149560
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 36168 0 0 0 99875 141 0 0 25 0 1 0 891559696 153313280 35983 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37430 35983 1111 63 0 37367 0
vsize: 149720
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 36235 0 0 0 100875 141 0 0 25 0 1 0 891559696 153583616 36050 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37496 36050 1111 63 0 37433 0
vsize: 149984
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 36357 0 0 0 101874 142 0 0 25 0 1 0 891559696 153989120 36172 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37595 36172 1111 63 0 37532 0
vsize: 150380
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 36486 0 0 0 102874 142 0 0 25 0 1 0 891559696 154599424 36299 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37744 36299 1111 63 0 37681 0
vsize: 150976
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 36622 0 0 0 103873 143 0 0 25 0 1 0 891559696 155234304 36428 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37899 36428 1111 63 0 37836 0
vsize: 151596
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 36739 0 0 0 104873 144 0 0 25 0 1 0 891559696 155774976 36545 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38031 36545 1111 63 0 37968 0
vsize: 152124
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 36859 0 0 0 105873 144 0 0 25 0 1 0 891559696 156180480 36665 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38130 36665 1111 63 0 38067 0
vsize: 152520
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 37005 0 0 0 106872 145 0 0 25 0 1 0 891559696 156856320 36811 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38295 36811 1111 63 0 38232 0
vsize: 153180
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 37094 0 0 0 107872 145 0 0 25 0 1 0 891559696 157138944 36900 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38364 36900 1111 63 0 38301 0
vsize: 153456
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 37244 0 0 0 108872 146 0 0 25 0 1 0 891559696 157769728 37046 4294967295 134512640 134716908 3221224560 3221223212 134536837 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38518 37046 1111 63 0 38455 0
vsize: 154072
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 37357 0 0 0 109871 146 0 0 25 0 1 0 891559696 158375936 37150 4294967295 134512640 134716908 3221224560 3221223272 134552673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38666 37150 1111 63 0 38603 0
vsize: 154664
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 37477 0 0 0 110871 147 0 0 25 0 1 0 891559696 158916608 37270 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38798 37270 1111 63 0 38735 0
vsize: 155192
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 37651 0 0 0 111871 147 0 0 25 0 1 0 891559696 159592448 37444 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38963 37444 1111 63 0 38900 0
vsize: 155852
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 37726 0 0 0 112871 147 0 0 25 0 1 0 891559696 159862784 37519 4294967295 134512640 134716908 3221224560 3221223056 134535397 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39029 37519 1111 63 0 38966 0
vsize: 156116
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 37823 0 0 0 113871 148 0 0 25 0 1 0 891559696 160268288 37616 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39128 37616 1111 63 0 39065 0
vsize: 156512
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 37886 0 0 0 114871 148 0 0 25 0 1 0 891559696 160538624 37679 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39194 37679 1111 63 0 39131 0
vsize: 156776
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 37933 0 0 0 115870 149 0 0 25 0 1 0 891559696 160739328 37725 4294967295 134512640 134716908 3221224560 3221223200 134536655 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39243 37725 1111 63 0 39180 0
vsize: 156972
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 38008 0 0 0 116870 149 0 0 25 0 1 0 891559696 161009664 37800 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39309 37800 1111 63 0 39246 0
vsize: 157236
[startup+1174.92 s]
Raw data (loadavg): 1.00 0.99 0.93 1/53 8667
Raw data (stat): 8667 (bsolo_lpr-v2) R 8666 20224 20223 0 -1 0 38008 0 0 0 116870 149 0 0 25 0 1 0 891559696 161009664 37800 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39309 37800 1111 63 0 39246 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.09
CPU user time (s): 1173.52
CPU system time (s): 1.56676
CPU usage (%): 100.014
Max. virtual memory (Kb): 157236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####