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-fpga15_15_sat_pb.cnf.cr.opb
MD5SUM	5845da453401bb95aae2b4a79f2952fc
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	16
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.082987
Number of variables	338
Total number of constraints	270
Number of constraints which are clauses	240
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	15
Trace number 39415

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 08:53:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27481 boxname=wulflinc5 idbench=39 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  5845da453401bb95aae2b4a79f2952fc  /oldhome/oroussel/tmp/wulflinc5/normalized-fpga15_15_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-fpga15_15_sat_pb.cnf.cr.opb
IDLAUNCH: 27481
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        348680 kB
Buffers:         34316 kB
Cached:         627368 kB
SwapCached:        568 kB
Active:          57164 kB
Inactive:       606540 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        348428 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            16668 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 09:13:17 (client local time) WITH STATUS 0 IN 1175.17 SECONDS
stats: 27481 7 1175.17 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 338 variables and 270 constraints.
c After prepocess the problem consists of 338 variables and 270 constraints.
c preprocess terminated 0.213 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.06 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.95 0.90 2/54 3134
Raw data (stat): 3134 (runsolver) R 3133 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891705627 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.0013 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 3132 0 0 0 988 9 0 0 25 0 1 0 891705627 15876096 3050 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3876 3050 1111 63 0 3813 0
vsize: 15504
[startup+20.0024 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 4240 0 0 0 1984 13 0 0 25 0 1 0 891705627 20471808 4158 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4998 4158 1111 63 0 4935 0
vsize: 19992
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 5632 0 0 0 2980 17 0 0 25 0 1 0 891705627 26148864 5550 4294967295 134512640 134716908 3221224560 3221223264 134528671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6384 5550 1111 63 0 6321 0
vsize: 25536
[startup+40.0024 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 6428 0 0 0 3976 21 0 0 25 0 1 0 891705627 29392896 6346 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7176 6346 1111 63 0 7113 0
vsize: 28704
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 7293 0 0 0 4972 25 0 0 25 0 1 0 891705627 33050624 7211 4294967295 134512640 134716908 3221224560 3221223120 134542306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8069 7211 1111 63 0 8006 0
vsize: 32276
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 8189 0 0 0 5969 29 0 0 25 0 1 0 891705627 36704256 8107 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8961 8107 1111 63 0 8898 0
vsize: 35844
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 8663 0 0 0 6967 31 0 0 25 0 1 0 891705627 38604800 8581 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9425 8581 1111 63 0 9362 0
vsize: 37700
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 9403 0 0 0 7965 34 0 0 25 0 1 0 891705627 41582592 9321 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10152 9321 1111 63 0 10089 0
vsize: 40608
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 9798 0 0 0 8964 35 0 0 25 0 1 0 891705627 43204608 9716 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10548 9716 1111 63 0 10485 0
vsize: 42192
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 10162 0 0 0 9962 36 0 0 25 0 1 0 891705627 44691456 10080 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10911 10080 1111 63 0 10848 0
vsize: 43644
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 11060 0 0 0 10960 39 0 0 25 0 1 0 891705627 48513024 10978 4294967295 134512640 134716908 3221224560 3221223120 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11844 10978 1111 63 0 11781 0
vsize: 47376
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 11631 0 0 0 11958 42 0 0 25 0 1 0 891705627 50810880 11549 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12405 11549 1111 63 0 12342 0
vsize: 49620
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 12281 0 0 0 12955 44 0 0 25 0 1 0 891705627 53538816 12196 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13071 12197 1111 63 0 13008 0
vsize: 52284
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 12607 0 0 0 13953 46 0 0 25 0 1 0 891705627 54890496 12520 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13401 12520 1111 63 0 13338 0
vsize: 53604
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 12836 0 0 0 14953 47 0 0 25 0 1 0 891705627 55840768 12749 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13633 12749 1111 63 0 13570 0
vsize: 54532
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 13127 0 0 0 15952 48 0 0 25 0 1 0 891705627 57061376 13038 4294967295 134512640 134716908 3221224560 3221222940 134699452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13931 13038 1111 63 0 13868 0
vsize: 55724
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 13382 0 0 0 16951 50 0 0 25 0 1 0 891705627 58142720 13292 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14195 13292 1111 63 0 14132 0
vsize: 56780
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 13685 0 0 0 17950 51 0 0 25 0 1 0 891705627 59404288 13594 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14503 13594 1111 63 0 14440 0
vsize: 58012
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 13997 0 0 0 18949 52 0 0 25 0 1 0 891705627 60760064 13905 4294967295 134512640 134716908 3221224560 3221223276 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14834 13905 1111 63 0 14771 0
vsize: 59336
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 14427 0 0 0 19947 54 0 0 25 0 1 0 891705627 62443520 14332 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15245 14332 1111 63 0 15182 0
vsize: 60980
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 14766 0 0 0 20946 55 0 0 25 0 1 0 891705627 63930368 14670 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15608 14670 1111 63 0 15545 0
vsize: 62432
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 15021 0 0 0 21945 57 0 0 25 0 1 0 891705627 65036288 14924 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15878 14924 1111 63 0 15815 0
vsize: 63512
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 15251 0 0 0 22944 58 0 0 25 0 1 0 891705627 65998848 15153 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16113 15153 1111 63 0 16050 0
vsize: 64452
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 15717 0 0 0 23942 59 0 0 25 0 1 0 891705627 68042752 15617 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16612 15617 1111 63 0 16549 0
vsize: 66448
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 16036 0 0 0 24941 61 0 0 25 0 1 0 891705627 69292032 15931 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16917 15931 1111 63 0 16854 0
vsize: 67668
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 16410 0 0 0 25940 63 0 0 25 0 1 0 891705627 70967296 16304 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17326 16304 1111 63 0 17263 0
vsize: 69304
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 16806 0 0 0 26938 65 0 0 25 0 1 0 891705627 72585216 16697 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17721 16697 1111 63 0 17658 0
vsize: 70884
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 17215 0 0 0 27937 66 0 0 25 0 1 0 891705627 74403840 17104 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18165 17104 1111 63 0 18102 0
vsize: 72660
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 17520 0 0 0 28936 67 0 0 25 0 1 0 891705627 75628544 17409 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18464 17409 1111 63 0 18401 0
vsize: 73856
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 17905 0 0 0 29934 69 0 0 25 0 1 0 891705627 77115392 17794 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18827 17794 1111 63 0 18764 0
vsize: 75308
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 18882 0 0 0 30930 73 0 0 25 0 1 0 891705627 81182720 18771 4294967295 134512640 134716908 3221224560 3221223184 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19820 18771 1111 63 0 19757 0
vsize: 79280
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 20239 0 0 0 31924 79 0 0 25 0 1 0 891705627 86724608 20128 4294967295 134512640 134716908 3221224560 3221223296 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21173 20128 1111 63 0 21110 0
vsize: 84692
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 21385 0 0 0 32920 84 0 0 25 0 1 0 891705627 91451392 21274 4294967295 134512640 134716908 3221224560 3221223152 134549591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22327 21274 1111 63 0 22264 0
vsize: 89308
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 22657 0 0 0 33915 89 0 0 25 0 1 0 891705627 96612352 22546 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23587 22546 1111 63 0 23524 0
vsize: 94348
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 23418 0 0 0 34913 91 0 0 25 0 1 0 891705627 99856384 23307 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24379 23307 1111 63 0 24316 0
vsize: 97516
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 24409 0 0 0 35909 95 0 0 25 0 1 0 891705627 103915520 24298 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25370 24298 1111 63 0 25307 0
vsize: 101480
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 25126 0 0 0 36906 99 0 0 25 0 1 0 891705627 106770432 25015 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26067 25015 1111 63 0 26004 0
vsize: 104268
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3134
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 25709 0 0 0 37903 101 0 0 25 0 1 0 891705627 109203456 25598 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26661 25598 1111 63 0 26598 0
vsize: 106644
[startup+390.012 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 3187
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 26564 0 0 0 38900 104 0 0 25 0 1 0 891705627 112717824 26453 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27519 26453 1111 63 0 27456 0
vsize: 110076
[startup+400.013 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 3187
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 27304 0 0 0 39898 107 0 0 25 0 1 0 891705627 115703808 27193 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28248 27193 1111 63 0 28185 0
vsize: 112992
[startup+410.013 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 3187
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 27778 0 0 0 40895 110 0 0 25 0 1 0 891705627 117743616 27667 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28746 27667 1111 63 0 28683 0
vsize: 114984
[startup+420.014 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 3187
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 28357 0 0 0 41894 112 0 0 25 0 1 0 891705627 120041472 28246 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29307 28246 1111 63 0 29244 0
vsize: 117228
[startup+430.014 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3187
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 28824 0 0 0 42892 114 0 0 25 0 1 0 891705627 121937920 28711 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29770 28711 1111 63 0 29707 0
vsize: 119080
[startup+440.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3187
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 29303 0 0 0 43889 117 0 0 25 0 1 0 891705627 123965440 29190 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30265 29190 1111 63 0 30202 0
vsize: 121060
[startup+450.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3187
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 29788 0 0 0 44887 119 0 0 25 0 1 0 891705627 125857792 29675 4294967295 134512640 134716908 3221224560 3221223260 134552682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30727 29675 1111 63 0 30664 0
vsize: 122908
[startup+460.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 30153 0 0 0 45886 120 0 0 25 0 1 0 891705627 127344640 30040 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31090 30040 1111 63 0 31027 0
vsize: 124360
[startup+470.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 30455 0 0 0 46885 121 0 0 25 0 1 0 891705627 128561152 30341 4294967295 134512640 134716908 3221224560 3221223100 134539301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31387 30341 1111 63 0 31324 0
vsize: 125548
[startup+480.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 30653 0 0 0 47884 122 0 0 25 0 1 0 891705627 129372160 30539 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31585 30539 1111 63 0 31522 0
vsize: 126340
[startup+490.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 31162 0 0 0 48883 124 0 0 25 0 1 0 891705627 131600384 31048 4294967295 134512640 134716908 3221224560 3221223160 134549515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32129 31048 1111 63 0 32066 0
vsize: 128516
[startup+500.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 31672 0 0 0 49881 126 0 0 25 0 1 0 891705627 133627904 31558 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32624 31558 1111 63 0 32561 0
vsize: 130496
[startup+510.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 32655 0 0 0 50877 130 0 0 25 0 1 0 891705627 137682944 32541 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33614 32541 1111 63 0 33551 0
vsize: 134456
[startup+520.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 33480 0 0 0 51874 133 0 0 25 0 1 0 891705627 141062144 33366 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34439 33366 1111 63 0 34376 0
vsize: 137756
[startup+530.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 34134 0 0 0 52871 136 0 0 25 0 1 0 891705627 143773696 34020 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35101 34020 1111 63 0 35038 0
vsize: 140404
[startup+540.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 34789 0 0 0 53869 138 0 0 25 0 1 0 891705627 146341888 34675 4294967295 134512640 134716908 3221224560 3221223164 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35728 34675 1111 63 0 35665 0
vsize: 142912
[startup+550.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 35392 0 0 0 54868 140 0 0 25 0 1 0 891705627 148918272 35278 4294967295 134512640 134716908 3221224560 3221223304 134551636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36357 35278 1111 63 0 36294 0
vsize: 145428
[startup+560.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 35920 0 0 0 55866 142 0 0 25 0 1 0 891705627 151085056 35806 4294967295 134512640 134716908 3221224560 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36886 35806 1111 63 0 36823 0
vsize: 147544
[startup+570.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 36430 0 0 0 56864 144 0 0 25 0 1 0 891705627 153128960 36316 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37385 36316 1111 63 0 37322 0
vsize: 149540
[startup+580.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 36898 0 0 0 57862 146 0 0 25 0 1 0 891705627 155033600 36784 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37850 36784 1111 63 0 37787 0
vsize: 151400
[startup+590.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 37236 0 0 0 58861 147 0 0 25 0 1 0 891705627 156520448 37122 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38213 37122 1111 63 0 38150 0
vsize: 152852
[startup+600.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 37594 0 0 0 59859 149 0 0 25 0 1 0 891705627 158044160 37480 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38585 37480 1111 63 0 38522 0
vsize: 154340
[startup+610.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 37896 0 0 0 60858 151 0 0 25 0 1 0 891705627 159260672 37782 4294967295 134512640 134716908 3221224560 3221223320 134552578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38882 37782 1111 63 0 38819 0
vsize: 155528
[startup+620.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 38195 0 0 0 61857 152 0 0 25 0 1 0 891705627 160473088 38081 4294967295 134512640 134716908 3221224560 3221223212 134536771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39178 38081 1111 63 0 39115 0
vsize: 156712
[startup+630.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 38541 0 0 0 62855 154 0 0 25 0 1 0 891705627 161820672 38427 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39507 38427 1111 63 0 39444 0
vsize: 158028
[startup+640.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 38858 0 0 0 63854 155 0 0 25 0 1 0 891705627 163172352 38744 4294967295 134512640 134716908 3221224560 3221223216 134536724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39837 38744 1111 63 0 39774 0
vsize: 159348
[startup+650.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 39298 0 0 0 64852 157 0 0 25 0 1 0 891705627 164929536 39184 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40266 39184 1111 63 0 40203 0
vsize: 161064
[startup+660.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 39568 0 0 0 65852 158 0 0 25 0 1 0 891705627 166010880 39454 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40530 39454 1111 63 0 40467 0
vsize: 162120
[startup+670.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 39937 0 0 0 66851 159 0 0 25 0 1 0 891705627 167632896 39823 4294967295 134512640 134716908 3221224560 3221223128 134535987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40926 39823 1111 63 0 40863 0
vsize: 163704
[startup+680.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 40269 0 0 0 67850 160 0 0 25 0 1 0 891705627 168849408 40155 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41223 40155 1111 63 0 41160 0
vsize: 164892
[startup+690.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 40708 0 0 0 68848 162 0 0 25 0 1 0 891705627 170741760 40594 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41685 40594 1111 63 0 41622 0
vsize: 166740
[startup+700.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 40958 0 0 0 69847 164 0 0 25 0 1 0 891705627 171712512 40844 4294967295 134512640 134716908 3221224560 3221223200 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41922 40844 1111 63 0 41859 0
vsize: 167688
[startup+710.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 41208 0 0 0 70847 164 0 0 25 0 1 0 891705627 172793856 41093 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42186 41093 1111 63 0 42123 0
vsize: 168744
[startup+720.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 41539 0 0 0 71846 165 0 0 25 0 1 0 891705627 174145536 41424 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42516 41424 1111 63 0 42453 0
vsize: 170064
[startup+730.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 41741 0 0 0 72846 165 0 0 25 0 1 0 891705627 174964736 41626 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42716 41626 1111 63 0 42653 0
vsize: 170864
[startup+740.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3189
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 42013 0 0 0 73845 166 0 0 25 0 1 0 891705627 176046080 41898 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42980 41898 1111 63 0 42917 0
vsize: 171920
[startup+750.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 42352 0 0 0 74843 168 0 0 25 0 1 0 891705627 177459200 42233 4294967295 134512640 134716908 3221224560 3221223184 134536680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43325 42233 1111 63 0 43262 0
vsize: 173300
[startup+760.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 42778 0 0 0 75842 170 0 0 25 0 1 0 891705627 179216384 42659 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43754 42659 1111 63 0 43691 0
vsize: 175016
[startup+770.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 42990 0 0 0 76841 171 0 0 25 0 1 0 891705627 180195328 42871 4294967295 134512640 134716908 3221224560 3221223184 134698689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43993 42871 1111 63 0 43930 0
vsize: 175972
[startup+780.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 43138 0 0 0 77840 172 0 0 25 0 1 0 891705627 180736000 43019 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44125 43019 1111 63 0 44062 0
vsize: 176500
[startup+790.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 43312 0 0 0 78840 173 0 0 25 0 1 0 891705627 181559296 43191 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44326 43191 1111 63 0 44263 0
vsize: 177304
[startup+800.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 43466 0 0 0 79839 173 0 0 25 0 1 0 891705627 182099968 43344 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44458 43344 1111 63 0 44395 0
vsize: 177832
[startup+810.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 43772 0 0 0 80838 174 0 0 25 0 1 0 891705627 183316480 43650 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44755 43650 1111 63 0 44692 0
vsize: 179020
[startup+820.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 43918 0 0 0 81838 174 0 0 25 0 1 0 891705627 183992320 43796 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44920 43796 1111 63 0 44857 0
vsize: 179680
[startup+830.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 44153 0 0 0 82838 175 0 0 25 0 1 0 891705627 184938496 44031 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45151 44031 1111 63 0 45088 0
vsize: 180604
[startup+840.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 44470 0 0 0 83837 177 0 0 25 0 1 0 891705627 186261504 44348 4294967295 134512640 134716908 3221224560 3221223328 134529381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45474 44348 1111 63 0 45411 0
vsize: 181896
[startup+850.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 44784 0 0 0 84835 178 0 0 25 0 1 0 891705627 187662336 44659 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45816 44659 1111 63 0 45753 0
vsize: 183264
[startup+860.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 45210 0 0 0 85834 180 0 0 25 0 1 0 891705627 189419520 45085 4294967295 134512640 134716908 3221224560 3221223152 134549742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46245 45085 1111 63 0 46182 0
vsize: 184980
[startup+870.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 45533 0 0 0 86832 182 0 0 25 0 1 0 891705627 190701568 45404 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46558 45404 1111 63 0 46495 0
vsize: 186232
[startup+880.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 45878 0 0 0 87830 183 0 0 25 0 1 0 891705627 192090112 45749 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46897 45749 1111 63 0 46834 0
vsize: 187588
[startup+890.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 46221 0 0 0 88829 185 0 0 25 0 1 0 891705627 193605632 46088 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47267 46088 1111 63 0 47204 0
vsize: 189068
[startup+900.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 46551 0 0 0 89827 187 0 0 25 0 1 0 891705627 194965504 46418 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47599 46418 1111 63 0 47536 0
vsize: 190396
[startup+910.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 47019 0 0 0 90825 189 0 0 25 0 1 0 891705627 196927488 46886 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48078 46886 1111 63 0 48015 0
vsize: 192312
[startup+920.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 47282 0 0 0 91824 191 0 0 25 0 1 0 891705627 198037504 47149 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48349 47149 1111 63 0 48286 0
vsize: 193396
[startup+930.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 47662 0 0 0 92823 192 0 0 25 0 1 0 891705627 199561216 47526 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48721 47526 1111 63 0 48658 0
vsize: 194884
[startup+940.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 47991 0 0 0 93821 194 0 0 25 0 1 0 891705627 200970240 47853 4294967295 134512640 134716908 3221224560 3221223140 134549797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49065 47853 1111 63 0 49002 0
vsize: 196260
[startup+950.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 48377 0 0 0 94820 196 0 0 25 0 1 0 891705627 202592256 48239 4294967295 134512640 134716908 3221224560 3221223324 134552684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49461 48239 1111 63 0 49398 0
vsize: 197844
[startup+960.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 48701 0 0 0 95818 197 0 0 25 0 1 0 891705627 203972608 48559 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49798 48559 1111 63 0 49735 0
vsize: 199192
[startup+970.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 49016 0 0 0 96817 199 0 0 25 0 1 0 891705627 205201408 48873 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50098 48873 1111 63 0 50035 0
vsize: 200392
[startup+980.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 49345 0 0 0 97816 200 0 0 25 0 1 0 891705627 206553088 49202 4294967295 134512640 134716908 3221224560 3221223364 134598529 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50428 49202 1111 63 0 50365 0
vsize: 201712
[startup+990.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 49684 0 0 0 98815 201 0 0 25 0 1 0 891705627 207970304 49532 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50774 49532 1111 63 0 50711 0
vsize: 203096
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 49901 0 0 0 99814 202 0 0 25 0 1 0 891705627 208916480 49749 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51005 49749 1111 63 0 50942 0
vsize: 204020
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 50056 0 0 0 100813 203 0 0 25 0 1 0 891705627 209465344 49904 4294967295 134512640 134716908 3221224560 3221223264 134528735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51139 49904 1111 63 0 51076 0
vsize: 204556
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 50401 0 0 0 101812 205 0 0 25 0 1 0 891705627 211005440 50249 4294967295 134512640 134716908 3221224560 3221223496 134588433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51515 50249 1111 63 0 51452 0
vsize: 206060
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 50635 0 0 0 102811 205 0 0 25 0 1 0 891705627 211951616 50483 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51746 50483 1111 63 0 51683 0
vsize: 206984
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 50849 0 0 0 103811 206 0 0 25 0 1 0 891705627 212901888 50697 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51978 50697 1111 63 0 51915 0
vsize: 207912
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 51038 0 0 0 104810 207 0 0 25 0 1 0 891705627 213577728 50886 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52143 50886 1111 63 0 52080 0
vsize: 208572
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 51248 0 0 0 105809 208 0 0 25 0 1 0 891705627 214519808 51096 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52373 51096 1111 63 0 52310 0
vsize: 209492
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 51385 0 0 0 106809 209 0 0 25 0 1 0 891705627 215060480 51233 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52505 51233 1111 63 0 52442 0
vsize: 210020
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 51444 0 0 0 107809 209 0 0 25 0 1 0 891705627 215363584 51291 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52579 51291 1111 63 0 52516 0
vsize: 210316
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 51729 0 0 0 108807 211 0 0 25 0 1 0 891705627 216449024 51574 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52844 51574 1111 63 0 52781 0
vsize: 211376
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 52010 0 0 0 109807 211 0 0 25 0 1 0 891705627 217731072 51846 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53157 51846 1111 63 0 53094 0
vsize: 212628
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 52417 0 0 0 110806 212 0 0 25 0 1 0 891705627 219353088 52253 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53553 52253 1111 63 0 53490 0
vsize: 214212
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 52627 0 0 0 111805 214 0 0 25 0 1 0 891705627 220233728 52458 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53768 52458 1111 63 0 53705 0
vsize: 215072
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 52843 0 0 0 112804 214 0 0 25 0 1 0 891705627 221179904 52674 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53999 52674 1111 63 0 53936 0
vsize: 215996
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 53209 0 0 0 113802 216 0 0 25 0 1 0 891705627 222662656 53040 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54361 53040 1111 63 0 54298 0
vsize: 217444
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 53331 0 0 0 114802 217 0 0 25 0 1 0 891705627 223227904 53162 4294967295 134512640 134716908 3221224560 3221223280 134535790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54499 53162 1111 63 0 54436 0
vsize: 217996
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 53577 0 0 0 115801 218 0 0 25 0 1 0 891705627 224239616 53408 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54746 53408 1111 63 0 54683 0
vsize: 218984
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 53779 0 0 0 116801 218 0 0 25 0 1 0 891705627 225050624 53610 4294967295 134512640 134716908 3221224560 3221223296 134524376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54944 53610 1111 63 0 54881 0
vsize: 219776
[startup+1174.99 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 3191
Raw data (stat): 3134 (bsolo_lpr-v2) R 3133 7266 7265 0 -1 0 53779 0 0 0 116801 218 0 0 25 0 1 0 891705627 225050624 53610 4294967295 134512640 134716908 3221224560 3221223296 134524376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54944 53610 1111 63 0 54881 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.17
CPU user time (s): 1172.87
CPU system time (s): 2.29765
CPU usage (%): 100.015
Max. virtual memory (Kb): 219776
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####