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-fpga20_19_sat_pb.cnf.cr.opb
MD5SUM	421f138371e66f1365608f6ff657e450
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	21
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.157975
Number of variables	570
Total number of constraints	438
Number of constraints which are clauses	399
Number of constraints which are cardinality constraints (but not clauses)	39
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
Maximum length of a constraint	20
Trace number 39417

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 09:01:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27483 boxname=wulflinc1 idbench=41 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  421f138371e66f1365608f6ff657e450  /oldhome/oroussel/tmp/wulflinc1/normalized-fpga20_19_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-fpga20_19_sat_pb.cnf.cr.opb
IDLAUNCH: 27483
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        293780 kB
Buffers:         34468 kB
Cached:         681108 kB
SwapCached:        668 kB
Active:          70776 kB
Inactive:       647072 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        293528 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5840 kB
Slab:            17204 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 09:21:17 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 27483 7 1175.03 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 570 variables and 438 constraints.
c After prepocess the problem consists of 570 variables and 438 constraints.
c preprocess terminated 0.456 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.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (runsolver) R 4107 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 834896728 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.0003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 2188 0 0 0 989 8 0 0 25 0 1 0 834896728 12103680 2106 4294967295 134512640 134716908 3221224560 3221223368 134558582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2955 2106 1111 63 0 2892 0
vsize: 11820
[startup+20.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 2920 0 0 0 1986 11 0 0 25 0 1 0 834896728 15052800 2838 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3675 2838 1111 63 0 3612 0
vsize: 14700
[startup+30.0008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 3638 0 0 0 2984 14 0 0 25 0 1 0 834896728 18022400 3556 4294967295 134512640 134716908 3221224560 3221223296 134523859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4400 3556 1111 63 0 4337 0
vsize: 17600
[startup+40.0006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 3848 0 0 0 3983 15 0 0 25 0 1 0 834896728 18833408 3766 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3766 1111 63 0 4535 0
vsize: 18392
[startup+50.0007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 3923 0 0 0 4981 17 0 0 25 0 1 0 834896728 19103744 3841 4294967295 134512640 134716908 3221224560 3221223188 134698632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4664 3841 1111 63 0 4601 0
vsize: 18656
[startup+60.0012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 3968 0 0 0 5981 17 0 0 25 0 1 0 834896728 19333120 3886 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4720 3886 1111 63 0 4657 0
vsize: 18880
[startup+70.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 4562 0 0 0 6979 20 0 0 25 0 1 0 834896728 21770240 4480 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5315 4480 1111 63 0 5252 0
vsize: 21260
[startup+80.0008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 4901 0 0 0 7978 21 0 0 25 0 1 0 834896728 23121920 4819 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5645 4819 1111 63 0 5582 0
vsize: 22580
[startup+90.0006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 5158 0 0 0 8977 22 0 0 25 0 1 0 834896728 24203264 5076 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5909 5076 1111 63 0 5846 0
vsize: 23636
[startup+100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 5315 0 0 0 9976 23 0 0 25 0 1 0 834896728 24879104 5233 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6074 5233 1111 63 0 6011 0
vsize: 24296
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 5502 0 0 0 10975 24 0 0 25 0 1 0 834896728 25690112 5420 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6272 5420 1111 63 0 6209 0
vsize: 25088
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 5569 0 0 0 11975 24 0 0 25 0 1 0 834896728 25960448 5487 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6338 5487 1111 63 0 6275 0
vsize: 25352
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 5649 0 0 0 12974 25 0 0 25 0 1 0 834896728 26230784 5567 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6404 5567 1111 63 0 6341 0
vsize: 25616
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 5674 0 0 0 13974 26 0 0 25 0 1 0 834896728 26365952 5592 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6437 5592 1111 63 0 6374 0
vsize: 25748
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 5740 0 0 0 14974 26 0 0 25 0 1 0 834896728 26636288 5658 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6503 5658 1111 63 0 6440 0
vsize: 26012
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 5755 0 0 0 15973 27 0 0 25 0 1 0 834896728 26636288 5673 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6503 5673 1111 63 0 6440 0
vsize: 26012
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 5806 0 0 0 16973 27 0 0 25 0 1 0 834896728 26906624 5724 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6569 5724 1111 63 0 6506 0
vsize: 26276
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 5822 0 0 0 17973 27 0 0 25 0 1 0 834896728 26906624 5740 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6569 5740 1111 63 0 6506 0
vsize: 26276
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 5867 0 0 0 18972 28 0 0 25 0 1 0 834896728 27176960 5785 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6635 5785 1111 63 0 6572 0
vsize: 26540
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 5896 0 0 0 19972 28 0 0 25 0 1 0 834896728 27176960 5814 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6635 5814 1111 63 0 6572 0
vsize: 26540
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 5963 0 0 0 20972 29 0 0 25 0 1 0 834896728 27582464 5881 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6734 5881 1111 63 0 6671 0
vsize: 26936
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6010 0 0 0 21971 30 0 0 25 0 1 0 834896728 27717632 5928 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6767 5928 1111 63 0 6704 0
vsize: 27068
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6018 0 0 0 22971 30 0 0 25 0 1 0 834896728 27717632 5936 4294967295 134512640 134716908 3221224560 3221223116 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6767 5936 1111 63 0 6704 0
vsize: 27068
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4108
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6053 0 0 0 23971 31 0 0 25 0 1 0 834896728 27852800 5971 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6800 5971 1111 63 0 6737 0
vsize: 27200
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6068 0 0 0 24970 31 0 0 25 0 1 0 834896728 27987968 5986 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6833 5986 1111 63 0 6770 0
vsize: 27332
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6115 0 0 0 25970 32 0 0 25 0 1 0 834896728 28123136 6033 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6866 6033 1111 63 0 6803 0
vsize: 27464
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6115 0 0 0 26969 33 0 0 25 0 1 0 834896728 28123136 6033 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6866 6033 1111 63 0 6803 0
vsize: 27464
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6132 0 0 0 27969 34 0 0 25 0 1 0 834896728 28258304 6050 4294967295 134512640 134716908 3221224560 3221223260 134655148 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6899 6050 1111 63 0 6836 0
vsize: 27596
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6132 0 0 0 28968 34 0 0 25 0 1 0 834896728 28258304 6050 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6899 6050 1111 63 0 6836 0
vsize: 27596
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6146 0 0 0 29968 35 0 0 25 0 1 0 834896728 28258304 6064 4294967295 134512640 134716908 3221224560 3221223296 134535832 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6899 6064 1111 63 0 6836 0
vsize: 27596
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6168 0 0 0 30967 35 0 0 25 0 1 0 834896728 28393472 6086 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6932 6086 1111 63 0 6869 0
vsize: 27728
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6187 0 0 0 31967 36 0 0 25 0 1 0 834896728 28393472 6105 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6932 6105 1111 63 0 6869 0
vsize: 27728
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6242 0 0 0 32967 36 0 0 25 0 1 0 834896728 28663808 6160 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6998 6160 1111 63 0 6935 0
vsize: 27992
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6255 0 0 0 33966 37 0 0 25 0 1 0 834896728 28663808 6173 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6998 6173 1111 63 0 6935 0
vsize: 27992
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6279 0 0 0 34966 38 0 0 25 0 1 0 834896728 28798976 6197 4294967295 134512640 134716908 3221224560 3221223192 134552673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7031 6197 1111 63 0 6968 0
vsize: 28124
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6295 0 0 0 35966 38 0 0 25 0 1 0 834896728 28934144 6213 4294967295 134512640 134716908 3221224560 3221223296 134528702 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6213 1111 63 0 7001 0
vsize: 28256
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6305 0 0 0 36965 39 0 0 25 0 1 0 834896728 28934144 6223 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6223 1111 63 0 7001 0
vsize: 28256
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6359 0 0 0 37965 39 0 0 25 0 1 0 834896728 29204480 6277 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7130 6277 1111 63 0 7067 0
vsize: 28520
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6383 0 0 0 38964 40 0 0 25 0 1 0 834896728 29204480 6301 4294967295 134512640 134716908 3221224560 3221223232 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7130 6301 1111 63 0 7067 0
vsize: 28520
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6394 0 0 0 39964 40 0 0 25 0 1 0 834896728 29339648 6312 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7163 6312 1111 63 0 7100 0
vsize: 28652
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6413 0 0 0 40964 41 0 0 25 0 1 0 834896728 29339648 6331 4294967295 134512640 134716908 3221224560 3221223184 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7163 6331 1111 63 0 7100 0
vsize: 28652
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6459 0 0 0 41963 42 0 0 25 0 1 0 834896728 29609984 6377 4294967295 134512640 134716908 3221224560 3221223212 134536839 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7229 6377 1111 63 0 7166 0
vsize: 28916
[startup+430.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6459 0 0 0 42962 42 0 0 25 0 1 0 834896728 29609984 6377 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7229 6377 1111 63 0 7166 0
vsize: 28916
[startup+440.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6460 0 0 0 43962 43 0 0 25 0 1 0 834896728 29601792 6378 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7227 6378 1111 63 0 7164 0
vsize: 28908
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6473 0 0 0 44961 44 0 0 25 0 1 0 834896728 29601792 6391 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7227 6391 1111 63 0 7164 0
vsize: 28908
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6477 0 0 0 45961 44 0 0 25 0 1 0 834896728 29601792 6395 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7227 6395 1111 63 0 7164 0
vsize: 28908
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6500 0 0 0 46961 45 0 0 25 0 1 0 834896728 29736960 6418 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7260 6418 1111 63 0 7197 0
vsize: 29040
[startup+480.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6500 0 0 0 47961 45 0 0 25 0 1 0 834896728 29736960 6418 4294967295 134512640 134716908 3221224560 3221223212 134536754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7260 6418 1111 63 0 7197 0
vsize: 29040
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6502 0 0 0 48960 46 0 0 25 0 1 0 834896728 29736960 6420 4294967295 134512640 134716908 3221224560 3221223328 134592328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7260 6420 1111 63 0 7197 0
vsize: 29040
[startup+500.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6563 0 0 0 49960 46 0 0 25 0 1 0 834896728 30007296 6481 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7326 6481 1111 63 0 7263 0
vsize: 29304
[startup+510.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6593 0 0 0 50959 47 0 0 25 0 1 0 834896728 30142464 6511 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 6511 1111 63 0 7296 0
vsize: 29436
[startup+520.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6615 0 0 0 51959 48 0 0 25 0 1 0 834896728 30142464 6533 4294967295 134512640 134716908 3221224560 3221223044 134699711 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 6533 1111 63 0 7296 0
vsize: 29436
[startup+530.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6626 0 0 0 52958 48 0 0 25 0 1 0 834896728 30277632 6544 4294967295 134512640 134716908 3221224560 3221223128 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7392 6544 1111 63 0 7329 0
vsize: 29568
[startup+540.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6664 0 0 0 53958 49 0 0 25 0 1 0 834896728 30416896 6582 4294967295 134512640 134716908 3221224560 3221223168 134543700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7426 6582 1111 63 0 7363 0
vsize: 29704
[startup+550.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6664 0 0 0 54958 49 0 0 25 0 1 0 834896728 30416896 6582 4294967295 134512640 134716908 3221224560 3221223152 134549742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7426 6582 1111 63 0 7363 0
vsize: 29704
[startup+560.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6668 0 0 0 55958 49 0 0 25 0 1 0 834896728 30416896 6586 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7426 6586 1111 63 0 7363 0
vsize: 29704
[startup+570.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6680 0 0 0 56957 50 0 0 25 0 1 0 834896728 30416896 6598 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7426 6598 1111 63 0 7363 0
vsize: 29704
[startup+580.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6681 0 0 0 57957 51 0 0 25 0 1 0 834896728 30416896 6599 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7426 6599 1111 63 0 7363 0
vsize: 29704
[startup+590.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6715 0 0 0 58956 51 0 0 25 0 1 0 834896728 30552064 6633 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7459 6633 1111 63 0 7396 0
vsize: 29836
[startup+600.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6715 0 0 0 59956 52 0 0 25 0 1 0 834896728 30552064 6633 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7459 6633 1111 63 0 7396 0
vsize: 29836
[startup+610.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6715 0 0 0 60956 52 0 0 25 0 1 0 834896728 30552064 6633 4294967295 134512640 134716908 3221224560 3221223200 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7459 6633 1111 63 0 7396 0
vsize: 29836
[startup+620.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6722 0 0 0 61955 53 0 0 25 0 1 0 834896728 30687232 6640 4294967295 134512640 134716908 3221224560 3221223264 134528623 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7492 6640 1111 63 0 7429 0
vsize: 29968
[startup+630.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6722 0 0 0 62955 53 0 0 25 0 1 0 834896728 30687232 6640 4294967295 134512640 134716908 3221224560 3221223248 134523184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7492 6640 1111 63 0 7429 0
vsize: 29968
[startup+640.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6734 0 0 0 63955 53 0 0 25 0 1 0 834896728 30687232 6652 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7492 6652 1111 63 0 7429 0
vsize: 29968
[startup+650.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6760 0 0 0 64955 54 0 0 25 0 1 0 834896728 30822400 6678 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7525 6678 1111 63 0 7462 0
vsize: 30100
[startup+660.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6787 0 0 0 65954 54 0 0 25 0 1 0 834896728 30957568 6705 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7558 6705 1111 63 0 7495 0
vsize: 30232
[startup+670.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6787 0 0 0 66954 55 0 0 25 0 1 0 834896728 30957568 6705 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7558 6705 1111 63 0 7495 0
vsize: 30232
[startup+680.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6819 0 0 0 67954 55 0 0 25 0 1 0 834896728 30957568 6737 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7558 6737 1111 63 0 7495 0
vsize: 30232
[startup+690.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6853 0 0 0 68953 56 0 0 25 0 1 0 834896728 31227904 6771 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7624 6771 1111 63 0 7561 0
vsize: 30496
[startup+700.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6853 0 0 0 69953 57 0 0 25 0 1 0 834896728 31227904 6771 4294967295 134512640 134716908 3221224560 3221223096 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7624 6771 1111 63 0 7561 0
vsize: 30496
[startup+710.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6874 0 0 0 70953 57 0 0 25 0 1 0 834896728 31227904 6792 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7624 6792 1111 63 0 7561 0
vsize: 30496
[startup+720.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6874 0 0 0 71953 57 0 0 25 0 1 0 834896728 31227904 6792 4294967295 134512640 134716908 3221224560 3221223216 134536743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7624 6792 1111 63 0 7561 0
vsize: 30496
[startup+730.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6893 0 0 0 72952 58 0 0 25 0 1 0 834896728 31363072 6811 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7657 6811 1111 63 0 7594 0
vsize: 30628
[startup+740.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6914 0 0 0 73952 58 0 0 25 0 1 0 834896728 31363072 6832 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7657 6832 1111 63 0 7594 0
vsize: 30628
[startup+750.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6914 0 0 0 74952 59 0 0 25 0 1 0 834896728 31363072 6832 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7657 6832 1111 63 0 7594 0
vsize: 30628
[startup+760.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6918 0 0 0 75952 59 0 0 25 0 1 0 834896728 31363072 6836 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7657 6836 1111 63 0 7594 0
vsize: 30628
[startup+770.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6956 0 0 0 76951 60 0 0 25 0 1 0 834896728 31633408 6874 4294967295 134512640 134716908 3221224560 3221223296 134535829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7723 6874 1111 63 0 7660 0
vsize: 30892
[startup+780.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6964 0 0 0 77950 61 0 0 25 0 1 0 834896728 31633408 6882 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7723 6882 1111 63 0 7660 0
vsize: 30892
[startup+790.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6964 0 0 0 78950 61 0 0 25 0 1 0 834896728 31633408 6882 4294967295 134512640 134716908 3221224560 3221223084 134535483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7723 6882 1111 63 0 7660 0
vsize: 30892
[startup+800.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6968 0 0 0 79950 61 0 0 25 0 1 0 834896728 31633408 6886 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7723 6886 1111 63 0 7660 0
vsize: 30892
[startup+810.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6968 0 0 0 80950 62 0 0 25 0 1 0 834896728 31633408 6886 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7723 6886 1111 63 0 7660 0
vsize: 30892
[startup+820.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6990 0 0 0 81950 62 0 0 25 0 1 0 834896728 31768576 6908 4294967295 134512640 134716908 3221224560 3221223344 134529234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7756 6908 1111 63 0 7693 0
vsize: 31024
[startup+830.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 6993 0 0 0 82949 62 0 0 25 0 1 0 834896728 31768576 6911 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7756 6911 1111 63 0 7693 0
vsize: 31024
[startup+840.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7003 0 0 0 83949 63 0 0 25 0 1 0 834896728 31768576 6921 4294967295 134512640 134716908 3221224560 3221223136 134549713 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7756 6921 1111 63 0 7693 0
vsize: 31024
[startup+850.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7026 0 0 0 84948 64 0 0 25 0 1 0 834896728 31903744 6944 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7789 6944 1111 63 0 7726 0
vsize: 31156
[startup+860.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7026 0 0 0 85948 65 0 0 25 0 1 0 834896728 31903744 6944 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7789 6944 1111 63 0 7726 0
vsize: 31156
[startup+870.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7037 0 0 0 86947 65 0 0 25 0 1 0 834896728 31903744 6955 4294967295 134512640 134716908 3221224560 3221223124 134535492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7789 6955 1111 63 0 7726 0
vsize: 31156
[startup+880.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7052 0 0 0 87947 66 0 0 25 0 1 0 834896728 32038912 6970 4294967295 134512640 134716908 3221224560 3221223200 134698743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7822 6970 1111 63 0 7759 0
vsize: 31288
[startup+890.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7063 0 0 0 88946 67 0 0 25 0 1 0 834896728 32038912 6981 4294967295 134512640 134716908 3221224560 3221223304 134523854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7822 6981 1111 63 0 7759 0
vsize: 31288
[startup+900.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7074 0 0 0 89946 67 0 0 25 0 1 0 834896728 32038912 6992 4294967295 134512640 134716908 3221224560 3221223208 134543647 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7822 6992 1111 63 0 7759 0
vsize: 31288
[startup+910.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7092 0 0 0 90945 68 0 0 25 0 1 0 834896728 32174080 7010 4294967295 134512640 134716908 3221224560 3221223116 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7855 7010 1111 63 0 7792 0
vsize: 31420
[startup+920.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7103 0 0 0 91945 69 0 0 25 0 1 0 834896728 32174080 7021 4294967295 134512640 134716908 3221224560 3221223368 134558593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7855 7021 1111 63 0 7792 0
vsize: 31420
[startup+930.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7138 0 0 0 92944 70 0 0 25 0 1 0 834896728 32309248 7056 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7888 7056 1111 63 0 7825 0
vsize: 31552
[startup+940.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7144 0 0 0 93944 70 0 0 25 0 1 0 834896728 32309248 7062 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7888 7062 1111 63 0 7825 0
vsize: 31552
[startup+950.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7144 0 0 0 94943 71 0 0 25 0 1 0 834896728 32309248 7062 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7888 7062 1111 63 0 7825 0
vsize: 31552
[startup+960.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7144 0 0 0 95943 72 0 0 25 0 1 0 834896728 32309248 7062 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7888 7062 1111 63 0 7825 0
vsize: 31552
[startup+970.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7167 0 0 0 96942 72 0 0 25 0 1 0 834896728 32444416 7085 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7921 7085 1111 63 0 7858 0
vsize: 31684
[startup+980.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7196 0 0 0 97942 73 0 0 25 0 1 0 834896728 32579584 7114 4294967295 134512640 134716908 3221224560 3221223184 134698633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7954 7114 1111 63 0 7891 0
vsize: 31816
[startup+990.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7196 0 0 0 98942 73 0 0 25 0 1 0 834896728 32579584 7114 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7954 7114 1111 63 0 7891 0
vsize: 31816
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7196 0 0 0 99941 74 0 0 25 0 1 0 834896728 32579584 7114 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7954 7114 1111 63 0 7891 0
vsize: 31816
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7196 0 0 0 100941 74 0 0 25 0 1 0 834896728 32579584 7114 4294967295 134512640 134716908 3221224560 3221223276 134552682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7954 7114 1111 63 0 7891 0
vsize: 31816
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7196 0 0 0 101941 75 0 0 25 0 1 0 834896728 32579584 7114 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7954 7114 1111 63 0 7891 0
vsize: 31816
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7196 0 0 0 102940 75 0 0 25 0 1 0 834896728 32579584 7114 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7954 7114 1111 63 0 7891 0
vsize: 31816
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7216 0 0 0 103940 76 0 0 25 0 1 0 834896728 32714752 7134 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7987 7134 1111 63 0 7924 0
vsize: 31948
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7252 0 0 0 104939 77 0 0 25 0 1 0 834896728 32808960 7170 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8010 7170 1111 63 0 7947 0
vsize: 32040
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7310 0 0 0 105939 77 0 0 25 0 1 0 834896728 33079296 7228 4294967295 134512640 134716908 3221224560 3221223408 134531486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8076 7228 1111 63 0 8013 0
vsize: 32304
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7310 0 0 0 106939 78 0 0 25 0 1 0 834896728 33079296 7228 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8076 7228 1111 63 0 8013 0
vsize: 32304
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7334 0 0 0 107938 78 0 0 25 0 1 0 834896728 33079296 7252 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8076 7252 1111 63 0 8013 0
vsize: 32304
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7334 0 0 0 108938 79 0 0 25 0 1 0 834896728 33079296 7252 4294967295 134512640 134716908 3221224560 3221223200 134698453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8076 7252 1111 63 0 8013 0
vsize: 32304
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7361 0 0 0 109937 79 0 0 25 0 1 0 834896728 33214464 7279 4294967295 134512640 134716908 3221224560 3221223020 1077374432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8109 7279 1111 63 0 8046 0
vsize: 32436
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7369 0 0 0 110937 80 0 0 25 0 1 0 834896728 33214464 7287 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8109 7287 1111 63 0 8046 0
vsize: 32436
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7398 0 0 0 111937 81 0 0 25 0 1 0 834896728 33349632 7316 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8142 7316 1111 63 0 8079 0
vsize: 32568
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7398 0 0 0 112936 81 0 0 25 0 1 0 834896728 33349632 7316 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8142 7316 1111 63 0 8079 0
vsize: 32568
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7398 0 0 0 113936 81 0 0 25 0 1 0 834896728 33349632 7316 4294967295 134512640 134716908 3221224560 3221222956 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8142 7316 1111 63 0 8079 0
vsize: 32568
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7398 0 0 0 114936 81 0 0 25 0 1 0 834896728 33349632 7316 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8142 7316 1111 63 0 8079 0
vsize: 32568
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7398 0 0 0 115936 81 0 0 25 0 1 0 834896728 33349632 7316 4294967295 134512640 134716908 3221224560 3221223216 134536738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8142 7316 1111 63 0 8079 0
vsize: 32568
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7410 0 0 0 116936 82 0 0 25 0 1 0 834896728 33484800 7328 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8175 7328 1111 63 0 8112 0
vsize: 32700
[startup+1174.85 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 4110
Raw data (stat): 4108 (bsolo_lpr-v2) R 4107 8378 8377 0 -1 0 7410 0 0 0 116936 82 0 0 25 0 1 0 834896728 33484800 7328 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8175 7328 1111 63 0 8112 0
vsize: 0

Child status: 0
Real time (s): 1174.85
CPU time (s): 1175.03
CPU user time (s): 1174.18
CPU system time (s): 0.842871
CPU usage (%): 100.015
Max. virtual memory (Kb): 32700
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####